[논문 리뷰] On the existence of Hamiltonian paths connecting Lagrangian submanifolds

Nassif Ghoussoub, Abbas Moameni|ArXiv.org|2005. 08. 18.

Geometric Analysis and Curvature Flows참고 문헌 6인용 수 9

한 줄 요약

이 논문은 2N차원 위상공간 내에서 두 라그랑주 부분다양체를 연결하는 해밀턴 경로의 존재성을, 반자기적자연의 라그랑주안에 기반한 새로운 변분법을 통해 증명한다. 최소값이 0인 함수를 정의하고 키-판의 보조정리를 적용함으로써, 해밀턴함수의 볼록성과 이차하향 성장 조건 하에서 존재성을 증명한다. 성장률에 대한 명시적 경계는 강제성과 컴팩트성 보장한다.

ABSTRACT

We use a new variational method --based on the theory of anti-selfdual Lagrangians developed in [2] and [3]-- to establish the existence of solutions of convex Hamiltonian systems that connect two given Lagrangian submanifolds in $\R^{2N}$. We also consider the case where the Hamiltonian is only semi-convex. A variational principle is also used to establish existence for the corresponding Cauchy problem. The case of periodic solutions will be considered in a forthcoming paper [5].

연구 동기 및 목표

• 2N차원 위상공간 내에서 주어진 두 라그랑주 부분다양체를 연결하는 볼록 해밀턴계의 해 존재성을 확립한다.
• 변분 접근법을 준볼록 해밀턴함수와 초기값 문제(Cauchy initial value problem)로 확장한다.
• 표준 오일러-라그랑주 이론에 의존하지 않는, 반자기적자연의 라그랑주를 기반으로 한 새로운 존재 프레임워크를 제공한다.
• 레전드레-펜셸 변환과 함수해석학을 이용해 이러한 연결 경로의 존재에 필요한 조건을 유도한다.

제안 방법

• 반자기적자연의 라그랑주를 사용하여, 작용 함수의 최소값이 정확히 0이 되는 새로운 변분 원리를 구성한다.
• 해밀턴계는 쌍대함수 $ H^* $ 를 이용해 재구성되며, 경계항으로서 $ \psi_1 $, $ \psi_2 $ 와 그 쌍대함수를 포함하는 함수 $ I(p,q) $ 가 정의된다.
• Sobolev 노름과 $ p(0) $, $ q(T) $, 그리고 그 도함수들에 대한 파이오카레 유형 부등식을 이용한 추정을 통해 함수의 강제성을 확립한다.
• 약한 하향 연속성과 컴팩트성에 기반해 함수 $ L(r,s;p,q) $ 에 키-판의 보조정리를 적용함으로써 최소화자 존재성을 증명한다.
• 편미분을 통해 $ H_\epsilon = H + \frac{\epsilon}{2}(|p|^2 + |q|^2) $ 를 도입함으로써 $ H^*_\epsilon $ 가 전영역에서 유한함을 보장하고, 이론적 이중성 이론 적용 가능하게 한다.
• 핵심 추정은 $ L(0,0;p,q) \to \infty $ 를 $ \|p\| + \|q\| \to \infty $ 일 때 유도하며, 이는 $ \beta < \frac{1}{2\max(2T^2,1)} $ 과 $ \psi_1, \psi_2 $ 의 강제성에 기반한다.

실험 결과

연구 질문

• RQ1 볼록 해밀턴함수의 해가 두 라그랑주 부분다양체(볼록 함수 $ \psi_1 $, $ \psi_2 $ 로 정의됨)를 연결하는 경로를 가지기 위한 조건은 무엇인가?
• RQ2 전통적인 오일러-라그랑주 이론에 의존하지 않고 이러한 연결 경로의 존재성을 어떻게 증명할 수 있는가?
• RQ3 해밀턴함수와 경계 잠재력의 성장 및 강제성 조건은 어떻게 컴팩트성과 최소화자의 존재를 보장하는가?
• RQ4 이 변분법은 준볼록 해밀턴함수와 초기치 문제로 확장 가능한가?
• RQ5 반자기적자연의 라그랑주 구조는 작용 함수의 최소값이 정확히 0이 되도록 하는 데 어떤 역할을 하는가?

주요 결과

• 함수 $ I(p,q) $ 는 0 이상으로 유계이며, 그 최소값은 정확히 0이며 최소화자에서 도달된다.
• 함수 $ I(p,q) $ 의 최소화자는 거의 모든 $ (0,T) $ 에서 해밀턴계 $ \dot{p} \in \partial_2 H(p,q) $, $ -\dot{q} \in \partial_1 H(p,q) $ 를 만족한다.
• 최소화자에서 경계조건 $ q(0) \in \partial\psi_1(p(0)) $, $ -p(T) \in \partial\psi_2(q(T)) $ 가 만족된다.
• 조건 $ \beta < \frac{1}{2\max(2T^2,1)} $ 를 만족할 경우 존재성 결과가 성립하며, 여기서 $ \beta $ 는 $ H $ 의 이차하향 성장률을 제어한다.
• $ \psi_1 $ 또는 $ \psi_2 $ 의 강제성, 즉 $ \liminf_{|p|\to\infty} \frac{\psi_i(p)}{|p|^2} > 2T $ 는 함수의 강제성을 보장한다.
• 해밀턴함수 $ H $ 가 $ -\alpha \leq H(p,q) \leq \beta(|p|^r + |q|^r + 1) $ 를 만족하고 $ 1 < r < 2 $ 이며, $ \beta $ 가 동일한 경계를 만족할 경우 이 방법이 적용된다.