[논문 리뷰] The Morse index theorem for regular Lagrangian systems

Chaofeng Zhu|ArXiv.org|2001. 09. 18.

Geometric and Algebraic Topology참고 문헌 18인용 수 7

한 줄 요약

이 논문은 무한한 모르스 지수와 정의되지 않은 공액점 중복도 문제를 해결하기 위해 마스лов 유형 지수와 스펙트럴 플로우를 활용하여, 자기수반 경계 조건을 갖는 정규 라그랑주안계에 대해 일반화된 모르스 지수 정리를 수립한다. 주요 결과는 모르스 지수를 끝점에서의 마스лов 유형 지수의 차이로 식별함으로써 기하역학에서의 변분 문제에 대해 안정적이고 유한차원의 불변량을 제공한다.

ABSTRACT

In this paper, we prove a Morse index theorem for the index form of regular Lagrangian system with selfadjoint boundary condition.

연구 동기 및 목표

• 고전적 모르스 지수 정리를 자기수반 경계 조건을 갖는 정규 라그랑주안계로 확장하기.
• 행동 함수의 이차 변분에서 발생하는 무한한 모르스 지수 문제를 해결하기.
• 가능성이 없는 공액점 중복도가 존재하더라도 유한하고 잘 구성된 지수 불변량을 정의하기.
• 프레임 변환 하에서 모르스 지수와 마스볼 유형 지수 간의 관계를 수립하기.
• 일반적인 경계 제약 조건을 갖는 다양체에서의 변분 문제에 대한 지수 계산을 위한 통합 프레임워크 제공하기.

제안 방법

• Sobolev 공간 $ H^1 $ 상에서 행동 함수의 이차 변분의 지수 형식을 사용하여 이중선형 형식이 잘 정의되도록 보장한다.
• 곡선 沿해 프레임 $ e $ 를 도입하여 국소 좌표에서의 변동을 표현하고, 지수 형식을 행렬 미분 연산자로 변환한다.
• 대칭성 및 비퇴화 조건을 만족하는 행렬 값 함수 $ p, q, r $ 를 통해 지수 형식을 표현한다.
• 스ymplectic 군 $ \mathrm{Sp}(2n,\mathbb{C}) $ 내의 연산자 경로의 스펙트럴 플로우를 통해 마스볼 유형 지수를 활용하여 모르스 지수를 특성화한다.
• 프레임 변경에 따른 마스볼 유형 지수의 변환 법칙을 $ \mathrm{diag}(a^*, a^{-1}) $ 에 의한 코너지션을 통해 유도하여, 서로 다른 경계 조건 하에서의 지수를 연결한다.
• 모르스 지수를 끝점에서의 마스볼 유형 지수의 차이로 정의한다: $ i_{W(R)}(\gamma_1) = \dim(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim(\mathrm{Gr}(a(T)^{-1}) \cap R) $.

실험 결과

연구 질문

• RQ1 이차 변분이 무한한 지수를 갖는 경우, 정규 라그랑주안계에 대해 모르스 지수를 어떻게 의미 있게 정의할 수 있는가?
• RQ2 자기수반 경계 조건의 맥락에서 모르스 지수와 마스볼 유형 지수 간의 관계는 무엇인가?
• RQ3 곡선에 따라 프레임을 변경할 경우 모르스 지수는 어떻게 변화하는가?
• RQ4 이 설정에서 스펙트럴 플로우를 이용해 모르스 지수를 계산할 수 있는가?
• RQ5 끝점에서의 라그랑주 부분공간을 통해 모르스 지수의 정확한 공식은 무엇인가?

주요 결과

• 이차 변분의 모르스 지수는 유한하며, 스펙트럴 플로우를 통해 정의된 마스볼 유형 지수 $ i_{W(R)}(\gamma_1) $ 와 일치한다.
• 지수는 $ \dim_\mathbb{C}(\mathrm{Gr}(a(0)^{-1}) \cap R) - \dim_\mathbb{C}(\mathrm{Gr}(a(T)^{-1}) \cap R) $ 로 주어지며, 여기서 $ \mathrm{Gr}(a(t)^{-1}) $ 는 역프레임의 그래프이다.
• 프레임 $ a(t) $ 의 변경에 따라 모르스 지수는 $ \dim_\mathbb{C}(\mathrm{Gr}(I) \cap R') - \dim_\mathbb{C}(\mathrm{Gr}(I) \cap R) $ 를 더함으로써 변형되며, 이는 경계 조건의 이동을 반영한다.
• 지수 형식은 $ D^2E(c)(X,Y) = \int_0^T \left( (p\dot{x} + qx, \dot{y}) + (q^*\dot{x}, y) + (rx, y) \right) dt $ 로 표현되며, $ p, r $ 는 대칭이고 $ p $ 는 가역적이다.
• 프레임 변경에 따른 기본해 $ \gamma_1 $ 의 변환은 $ \gamma_1' = \mathrm{diag}(a^*, a^{-1}) \gamma_1 \mathrm{diag}(a(0)^{*-1}, a(0)) $ 로 주어지며, 이는 심플렉틱 구조를 유지한다.
• 결과는 두이스터마트의 정리를 정규 라그랑주안계로 일반화하며, 준리만 및 부분리만 설정에서의 지수 계산을 위한 강력한 프레임워크를 제공한다.