[논문 리뷰] From PDE Systems and Metrics to Generalized Field Theories

Constantin Udrişte, Mircea Neagu|arXiv (Cornell University)|2001. 01. 25.

Advanced Differential Geometry Research참고 문헌 5인용 수 6

한 줄 요약

이 논문은 $J^1(T,M)$ 위에 구축된 리만계량을 통해 제트 다발 위의 1차 편미분방정식계를 조화사상 문제로 변환하는 일반화된 장 이론 프레임워크를 제안한다. $S = h + \varphi + h^{-1} \ast \varphi$ 형태의 사사키안 유사 계량을 제트 공간에 부여함으로써, 편미분방정식계의 모든 $C^2$ 해는 최소제곱 라그랑지안을 최소화하는 조화사상이 되며, 이는 라그랑지안 기하학을 이용해 푸앵카레의 작업에서 영감을 얻은 일반화된 역문제를 해결한다.

ABSTRACT

The paper proved that every $C^2$-solution of a given first order PDEs system, regarded on the jet fibre bundle of order one $J^1(T,M)$, may be viewed as a "generalized harmonic map", via the least squares variational method. Our ideas are structured in the following way: 1) we find a suitable geometrical structure on $J^1(T,M)$ that convert the solutions of the given PDEs system into "generalized harmonic maps"; 2) we build a natural geometry induced by a such PDEs system; 3) we construct a field theory, in a general setting, naturally attached to this PDEs system.

연구 동기 및 목표

• 푸앵카레가 제기한 원래의 일반화된 역문제를 해결하기 위해, 기하적 구조가 부족하여 오랫동안 해결되지 않았던 문제를 해결한다.
• 주어진 편미분방정식계의 해를 조화사상으로 변환할 수 있는 첫째 단계 제트다발 $J^1(T,M)$ 위에 기하학적 프레임워크를 구축한다.
• 기저다발 $T$와 $M$ 위의 리만계량을 사용하여, 첫째 단계 편미분방정식계에 자연스럽게 연결된 일반화된 장 이론을 구축한다.
• 최소제곱 라그랑지안을 통한 변분형식을 제공함으로써, $C^2$ 해가 작용을 최소화하고 양밀스 유형의 역학을 확장한다.

제안 방법

• 제트다발 $J^1(T,M)$에 리만계량 $h$와 $\varphi$로부터 유도된 사사키안 유사 계량 $S = h + \varphi + h^{-1} \ast \varphi$를 부여한다.
• 수평 공변미분과 제트다발 $J^1(T,M)$ 위의 다중시간 스프레드 $(H,G)$를 사용하여 일반화된 로렌츠-우드리슈테 세계력 법칙을 수립하며, 성분 $H^{(i)}_{(\alpha)\beta}$와 $G^{(i)}_{(\alpha)\beta}$는 크리스토펠 기호와 외부 텐서 $F^i$를 포함한다.
• 편미분방정식계 $(1.1)$, $x^i_\alpha = X^{(i)}_{(\alpha)}(t^\gamma, x^k)$는 $C^1$-독립 텐서장 $X^{(i)}_{(\alpha)}$를 통해 제약을 받으며, 이는 적분 가능성을 보장한다.
• 물리장 $F$의 $G$-포텐셜 $\nabla$는 제트다발 $J^1(T,M)$ 위의 편미분방정식계 $(CPS')$의 해로 모델링되며, 성분 $\partial \nabla^a_{b\beta}/\partial t^\alpha = \mathcal{F}^a_{b(\alpha)(\beta)}(t^\gamma, \nabla_\mu)$는 곡률과 제약 조건에서 유도된다.
• 최소제곱 라그랑지안 $L = h^{\alpha\beta}h^{\mu\nu} \left( \partial \nabla^b_{a\alpha}/\partial t^\mu - \mathcal{F}^b_{a(\alpha)(\mu)} \right) \left( \partial \nabla^a_{b\beta}/\partial t^\nu - \mathcal{F}^a_{b(\beta)(\nu)} \right)$을 정의하며, 이의 최소화는 조화사상의 해를 산출한다.
• 기저다발 $T$ 위의 계량 $h$와 $o(q)$ 위의 칼링 형식을 사용하여 $\Lambda^1 T^* \otimes \text{End}(E)$ 위의 리만기하를 구성함으로써, 제트공간 위에 국소 리만기하를 구현한다.

실험 결과

연구 질문

• RQ1 제트다발 위의 1차 편미분방정식계는 어떻게 기하학적으로 구조화될 수 있으며, 그 $C^2$ 해들이 조화사상이 되도록 할 수 있는가?
• RQ2 사사키안 유사 계량 $S = h + \varphi + h^{-1} \ast \varphi$는 편미분방정식 해를 변분문제의 극값으로 변환하는 데 어떤 역할을 하는가?
• RQ3 제트다발에 리만계량과 최소제곱 라그랑지안을 부여함으로써, 편미분방정식계에서 일반화된 장 이론을 구성할 수 있는가?
• RQ4 제트다발 $J^1(T,M)$ 위의 최소제곱 라그랑지안은 양밀스 라그랑지안을 어떻게 일반화하며, 조화 연결의 개념을 어떻게 확장하는가?
• RQ5 $G$-포텐셜이 제약된 편미분방정식계 $(CPS')$를 만족하고 최소제곱 작용을 최소화할 때, 그 물리적 및 기하학적 의미는 무엇인가?

주요 결과

• 편미분방정식계 $x^i_\alpha = X^{(i)}_{(\alpha)}(t^\gamma, x^k)$의 모든 $C^2$ 해는 제트다발 $J^1(T,M)$ 위의 계량 $S = h + \varphi + h^{-1} \ast \varphi$에 대해 조화사상이며, 이는 최소제곱 변분문제를 최소화함을 의미한다.
• 일반화된 로렌츠-우드리슈테 세계력 법칙은 제트다발 $J^1(T,M)$ 위의 다중시간 스프레드 $(H,G)$로 기술되며, 성분 $H^{(i)}_{(\alpha)\beta} = -\frac{1}{2} H^\gamma_{\alpha\beta} x^i_\gamma$와 $G^{(i)}_{(\alpha)\beta} = \frac{1}{2} \gamma^i_{jk} x^j_\alpha x^k_\beta + h_{\alpha\beta} F^i$를 포함한다. 여기서 $F^i$는 $X^{(i)}_{(\alpha)}$의 공변미분을 포함한다.
• 물리장 $F$의 $G$-포텐셜 $\nabla$는 제약 조건 $\partial \nabla_\alpha / \partial t^\beta = f_{\alpha\beta}(t^\gamma, \nabla_\mu)$를 만족할 경우 제트다발 $J^1(T,M)$ 위의 조화사상이 되며, 이는 등가의 편미분방정식계 $(CPS')$로 표현된다.
• 제트다발 $J^1(T,M)$ 위에 정의된 최소제곱 라그랑지안 $L$은 양밀스 라그랑지안보다 더 일반적이며, 그 오일러-라그랑주 방정식은 '양밀스 방정식의 제트 확장'이라 불린다.
• 편미분방정식계 $(CPS')$의 해는 '제트-조화 양밀스 접속'이라 불리며, 작용 $\mathcal{L} = L \sqrt{h}$를 최소화함으로써 변분적 특성을 갖는다.
• 이 구축은 다중시간 기하역학 동역학을 통한 첫째 단계 편미분방정식계의 기하학적 분류를 가능하게 하며, 컴퓨터 시뮬레이션과 향후 분석에 적합하다.