[논문 리뷰] On the existence of orbits satisfying periodic or conormal boundary conditions for Euler-Lagrange flows

Luca Asselle|arXiv (Cornell University)|2015. 11. 24.

Quantum chaos and dynamical systems참고 문헌 9인용 수 3

한 줄 요약

이 박사학위논문은 변분법을 이용하여 컴acts 매니폴드 위의 오일러-라그랑주 흐름에 대해 주기적이고 공정면 경계 조건 궤도의 존재성을 확립한다. 자유시간 작용함수를 분석하고 최소화 원리 적용을 통해 초임계 및 임계 이하 에너지 수준에서의 임계 존재 결과를 증명하며, 루스테니크-페트 정리의 일반화와 2-토러스 위의 자기장 흐름으로의 확장까지 다룬다.

ABSTRACT

Let $(M,g)$ be a closed Riemannian manifold and $L:TM ightarrow \mathbb R$ be a Tonelli Lagrangian. In this thesis we study the existence of orbits of the Euler-Lagrange flow associated with $L$ satisfying suitable boundary conditions. We first look for orbits connecting two given closed submanifolds of $M$ satisfying the conormal boundary conditions: We introduce the Mañé critical value that is relevant for the problem and prove existence results for supercritical and subcritical energies; we also complement these with counterexamples, thus showing the sharpness of our results. We then move to the problem of finding periodic orbits: We provide an existence result of periodic orbits for non-aspherical manifolds generalizing the Lusternik-Fet Theorem, and a multiplicity result in case the configuration space is the 2-torus.

연구 동기 및 목표

• 두 부분매니폴드 $ Q_0 $와 $ Q_1 $을 연결하는 궤도의 존재성을 공정면 경계 조건 하에서 변분 기법을 이용해 확립하기.
• 루스테니크-페트 정리를 공정면 경계 조건과 에너지 수준의 설정으로 일반화하기.
• 특히 진동하는 자기장 조건 하에서 2-토러스 $ \mathbb{T}^2 $ 위의 자기장 흐름에 대한 주기적 궤도를 조사하기.
• 자기형식 $ \sigma $의 약하게 정확하고 닫혀 있지만 정확하지 않은 경우로 존재 결과를 확장하기.
• 임계 이하 에너지 영역에서 이러한 궤도가 존재하지 않을 수 있는 반례를 제공하기.

제안 방법

• 힐버트 매니폴드 $ \mathcal{M}_Q = H^1_Q([0,1],M) \times (0,\infty) $ 위에서 자유시간 작용함수 $ \mathbb{A}_k $를 정식화하고, 시간 스케일링을 통한 경로 식별하기.
• 변분 설정에서 최소화 수열의 수렴을 보장하기 위해 팔라이스-스무스 조건 적용하기.
• 에너지 수준를 분류하고 초임계와 임계 이하 영역을 구분하기 위해 마냐에 임계값 사용하기.
• 비틀림 이론과 상대 호모토피 군을 이용해 작용함수의 임계점을 탐지하기 위한 최소화 클래스 구성하기.
• 팔라이스-스무스 수열의 행동을 제어하기 위해 스트루베 타입의 단조성 원리 적용하기.
• 공정면 배럴이 $ T^*M $의 라그랑주 부분매니폴드임을 활용하고, 리우빌 1-form 이 그것 위에서 항등적으로 0이 되므로 기하학적 호환성 확보하기.

실험 결과

연구 질문

• RQ1 오일러-라그랑주 방정식의 해가 두 부분매니폴드 $ Q_0 $와 $ Q_1 $을 공정면 경계 조건 하에서 연결하기 위한 조건은 무엇인가?
• RQ2 마냐에 임계값은 이러한 궤도의 존재성에 어떻게 영향을 미치며, 특히 초임계와 임계 이하 에너지 영역에서 어떻게 다를까?
• RQ3 루스테니크-페트 정리는 공정면 경계 조건을 만족하는 궤도를 포함하도록 일반화될 수 있는가?
• RQ4 진동하는 자기장 조건 하에서 $ \mathbb{T}^2 $ 위의 주기적 궤도는 어떻게 행동하는가? 그리고 자기형식 $ \sigma $는 존재성에 어떤 영향을 미치는가?
• RQ5 공정면 경계 조건 궤도가 존재하지 않을 수 있는 경우가 있으며, 만약 그렇다면 어떤 조건에서 그러한 경우가 발생하는가?

주요 결과

• 초임계 에너지 영역에서는 자유시간 작용함수 위에서 최소화 원리를 적용함으로써 공정면 경계 조건을 만족하는 궤도의 존재가 보장된다.
• 임계 이하 영역에서는 이러한 궤도의 존재가 보장되지 않으며, 저자는 존재하지 않는다는 것을 보여주는 반례를 제시한다.
• 일반화된 루스테니크-페트 정리가 확립되어, 마냐에 임계값을 초월하는 에너지 수준일 경우 공정면 경계 조건을 만족하는 주기적 궤도의 존재를 보장한다.
• 2-토러스 $ \mathbb{T}^2 $ 위의 진동하는 자기장 조건에서는 국소 최소화자가 존재함을 증명하였으며, 스트루베 타입의 단조성 원리가 최소화 수열의 수렴을 보장한다.
• 증명에서 사용된 최소화 클래스는 쌍 $ (D^k, \partial D^k) $ 의 상대 호모토피 군을 통해 구성되어 비자명한 임계 클래스를 보장한다.
• 공정면 배럴 $ N^*Q $ 가 $ T^*M $ 의 라그랑주 부분매니폴드임을 보였으며, 리우빌 1-form 이 그것 위에서 항등적으로 0이 되므로 변분 구조에 있어 필수적이다.