[논문 리뷰] On commuting Tonelli Hamiltonians: Time-periodic case

Xiaojun Cui|arXiv (Cornell University)|2010. 01. 08.

Quantum chaos and dynamical systems참고 문헌 5인용 수 4

한 줄 요약

이 논문은 두 개의 상호작용하는 시간 주기적 Tonelli 해밀토니안이 동일한 Aubry 집합, Mañé 집합 및 장벽 함수를 공유함을 입증한다. 이는 자동적 경우에서의 결과를 시간 주기적 설정으로 확장한 것이다. 에너지 적분이 존재하지 않는 상황에서도 저강도 KAM 이론과 시간에 의존하는 레이지에르 변환을 사용하여, 약한 최소화자, 임계 하위해결함수, 작용 함수 등 동역학적 구조들이 공통의 교환 조건을 통해 유지됨을 증명한다.

ABSTRACT

We show that the Aubry sets, the Mañé sets and Mather's barrier functions are the same for two commuting time-periodic Tonelli Hamiltonians.

연구 동기 및 목표

• 자기적 시간 주기적 Tonelli 해밀토니안 이론을 에너지 적분이 존재하지 않고 Lax-Oleinik 반군이 수렴하지 않는 시간 주기적 설정으로 확장한다.
• 시간에 독립적인 에너지 보존이 없는 것이 시간 주기적 시스템에서의 불변 집합, 예를 들어 Aubry 집합과 Mañé 집합의 구조에 미치는 영향을 조사한다.
• 시간 주기적 설정에서 두 해밀토니안의 교환 조건 $[H_1, H_2] = 0$ 하에 핵심 동역학 대상인 Aubry 집합, Mañé 집합, 장벽 함수의 불변성을 확립한다.
• 시간 의존성으로 인해 개별 동역학으로부터 직접 유도할 수 없는 합해밀토니안 $H_1 + H_2$ 의 동역학에 대한 영향을 탐색한다.
• 두 개의 상호작용하는 시간 주기적 해밀턴-자코비 방정식에 대해 공통의 $C^{1,1}$ 임계 하위해결함수 존재에 대한 추측을 수립한다.

제안 방법

• 폐쇄된 리만다이안 다양체 위에서 시간 주기적 Tonelli 해밀토니안의 동역학을 분석하기 위해 저강도 KAM 이론과 마이어 이론을 활용한다.
• 교환 조건을 브라켓을 통해 정의한다: $[H_1, H_2] = \{H_1, H_2\} + \partial_t H_1 - \partial_t H_2 = 0$, 이는 시간에 의존하는 시스템으로 일반화된 파아송 브라켓을 나타낸다.
• 라그랑지안과 해밀토니안 동역학을 연결하기 위해 레이지에르 변환 $\mathcal{L}_H$ 를 적용하여, 접선 및 코타angent 번들의 약한 최소화자와 불변 측도를 상호 변환한다.
• 작용 함수 $h_H^{T}$ 와 그 극한 $h_H$ 를 정의하며, 장벽 함수 $\rho_H$ 는 $\rho_H(q_1,[t_1], q_2,[t_2]) = h_H((q_1,[t_1]),(q_2,[t_2])) + h_H((q_2,[t_2]),(q_1,[t_1]))$ 로 정의된다.
• 점근적 행동이 일치하는 하위해결함수 쌍에 대한 최소값을 통해 $\mathcal{S}^+_H$ 와 $\mathcal{S}^-_H$ 의 공간을 이용하여 장벽 함수를 정의한다.
• Massart 와 Bernard 의 $C^1$ 및 $C^{1,1}$ 임계 하위해결함수에 관한 결과에 기반하여 시간 주기적 저강도 KAM 정리의 버전을 적용한다.

실험 결과

연구 질문

• RQ1 두 개의 상호작용하는 시간 주기적 Tonelli 해밀토니안은 동일한 Aubry 집합과 Mañé 집합을 공유하는가?
• RQ2 에너지 적분의 부재가 Lax-Oleinik 반군의 수렴성과 불변 측도의 구조에 어떤 영향을 미치는가?
• RQ3 두 개의 상호작용하는 시간 주기적 해밀토니안의 장벽 함수와 작용 함수가 동일함을 입증할 수 있는가?
• RQ4 두 개의 상호작용하는 시간 주기적 해밀턴-자코비 방정식에 대해 공통의 $C^{1,1}$ 임계 하위해결함수가 존재하는가?
• RQ5 교환 조건 $[H_1, H_2] = 0$ 하에 합해밀토니안 $H_1 + H_2$ 의 동역학적 구조는 $H_1$ 과 $H_2$ 의 것과 어떻게 관련이 있는가?

주요 결과

• 두 개의 상호작용하는 시간 주기적 Tonelli 해밀토니안에 대해, Aubry 집합 $\stackrel{{\scriptstyle\ast}}{{A}}_{H_1}$ 과 $\stackrel{{\scriptstyle\ast}}{{A}}_{H_2}$ 는 일치한다.
• 교환 조건 $[H_1, H_2] = 0$ 하에 Mañé 집합 $\stackrel{{\scriptstyle\ast}}{{N}}_{H_1}$ 과 $\stackrel{{\scriptstyle\ast}}{{N}}_{H_2}$ 는 동일하다.
• 장벽 함수 $b_{H_1}$ 과 $b_{H_2}$ 는 동일하며, 작용 함수 $\rho_{H_1}$ 과 $\rho_{H_2}$ 도 동일하여, 사영된 위상공간에서 등장하는 등거리적 구조를 나타낸다.
• 약한 최소화자 집합 $\dot{W}_{H_1}$ 과 $\dot{W}_{H_2}$ 와 그 레이지에르 변환에 의한 이미지가 각각 $TM \times \mathbb{T}$ 와 $T^*M \times \mathbb{T}$ 에서 동일하다.
• 사영된 Aubry 집합과 Mañé 집합 $A_{H_1} = A_{H_2}$ 와 $N_{H_1} = N_{H_2}$ 는 $M \times \mathbb{T}$ 에서 동일하다.
• 논문은 두 개의 상호작용하는 시간 주기적 Tonelli 해밀토니안이 각각의 해밀턴-자코비 방정식에 대해 최소한 하나의 공통 $C^{1,1}$ 임계 하위해결함수를 가진다는 추측을 제기한다.