[논문 리뷰] Contact geometric mechanics: the Tulczyjew triples

Katarzyna Grabowska, Janusz Grabowski|arXiv (Cornell University)|2022. 09. 07.

Homotopy and Cohomology in Algebraic Topology인용 수 5

한 줄 요약

이 논문은 선형 배럴 $L \to M$ 의 단면의 제트 배럴 $J^1L$ 에서의 표준 접촉 구조를 코타angent 배럴의 심플렉틱 구조로 대체하여 고전적 Tulczyjew 삼중성을 접촉 다양체로 일반화한다. 접촉 기하학을 통해 해밀턴 및 라그랑주 형식을 통합하는 접촉 Tulczyjew 삼중성, 접촉 레이지에르 변환, 그리고 선형 배럴의 단면을 해밀턴 및 라그랑주 생성자로 사용하는 $J^1L$ 상에서의 암묵적 동역학을 정의한다. 주요 기여는 비자명한 위상적 경우를 포함한 접촉 역학계에 대한 기하학적이고 자연스러운 프레임워크를 제공하는 것이다.

ABSTRACT

We propose a generalization of the classical Tulczyjew triple as a geometric tool in Hamiltonian and Lagrangian formalisms which serves for contact manifolds. The rôle of the canonical symplectic structures on cotangent bundles in Tulczyjew's case is played by the canonical contact structures on the bundles $J^1L$ of first jets of sections of line bundles $L o M$. Contact Hamiltonians and contact Lagrangians are understood as sections of certain line bundles, and they determine (generally implicit) dynamics on the contact phase space $J^1L$. We also study a contact analog of the Legendre map and the Legendre transformation of generating objects in both contact formalisms. Several explicit examples are offered.

연구 동기 및 목표

• 손실 또는 스케일링 대칭성을 갖는 역학계를 위해 고전적 Tulczyjew 삼중성 형식을 심플렉틱 기하학에서 접촉 기하학으로 확장하는 것.
• 선형 배럴 $L \to M$ 의 첫 번째 제트 배럴 $J^1L$ 에서의 표준 접촉 구조를 사용하여 접촉 해밀턴 및 라그랑주 역학에 대한 기하학적 프레임워크를 제공하는 것.
• 고전적 레이지에르 변환의 일반화로서, $J^1L$ 상에서 해밀턴 및 라그랑주 생성 객체를 연결하는 접촉 레이지에르 변환을 정의하는 것.
• 적절한 선형 배럴의 단면을 통해 생성되는 접촉 벡터장들을 이용하여 $J^1L$ 상에서 암묵적 동역학의 존재를 확립하는 것.
• 위상적으로 비자명한 접촉 구조를 다루기 위해 $R^\times$-주 배럴과 그에 관련된 Atiyah 대수다발을 사용하여 국소 좌표를 초월한 전역적 기술을 가능하게 하는 것.

제안 방법

• 선형 배럴 $L \to M$ 의 단면의 제트 배럴 $J^1L$ 을 접촉 위상공간으로 사용하며, 이는 이중 배럴 $L^\times$ 상의 $R^\times$-작용으로부터 기인한 표준 접촉 구조를 갖는다.
• 접촉 해밀턴 및 라그랑주를 각각 $J^1L$ 과 Atiyah 대수다발 $A(L^\times)$ 상의 선형 배럴의 단면으로 표현하여 $R^\times$-동차성과의 호환성을 확보한다.
• 표준 매핑 $\alpha$ 와 $\beta$ 를 포함한 이중 벡터다발 준동형의 가환 다이어그램으로 접촉 Tulczyjew 삼중성을 구성하며, 이는 심플렉틱 경우와 유사하지만 접촉 기하학에 적응된 형태이다.
• 접촉 형식 $\eta$ 와 해밀턴 단면 $h$ 를 사용하여 접촉 해밀턴 벡터장을 정의하며, 조건 $\iota_{X_h}\eta = -dh$ 와 $\iota_{X_h}d\eta = dh$ 를 만족한다.
• 고전적 레이지에르 변환의 일반화로서, 접촉 위상공간과 Atiyah 대수다발 사이의 준동형으로서의 접촉 레이지에르 변환을 정의한다.
• 비자명한 접촉 다양체, 예를 들어 $S^1$ 상의 $J^1B$ 에 이 형식을 적용하며, $π$-반주기 함수를 사용하여 해밀턴 및 라그랑주의 전역 일致성을 확보한다.

실험 결과

연구 질문

• RQ1 고전적 Tulczyjew 삼중성은 어떻게 심플렉틱 구조를 접촉 구조로 대체함으로써 접촉 다양체로 일반화될 수 있는가?
• RQ2 $R^\times$-주 배럴과 그에 관련된 제트 배럴은 어떻게 $J^1L$ 상에 표준 접촉 구조를 구성하는가?
• RQ3 해밀턴 및 라그랑주가 각각 $J^1L$ 과 $A(L^\times)$ 상의 선형 배럴의 단면으로서 전역적으로 타당하게 정의될 수 있는가?
• RQ4 접촉 레이지에르 변환의 구조는 무엇이며, 접촉 설정에서 해밀턴 및 라그랑주 생성 객체를 어떻게 연결하는가?
• RQ5 위상적 장애물(예: 비자명한 $S^1$-배럴)은 정규 해밀턴 및 라그랑주의 존재성과 형태에 어떻게 영향을 미치는가?

주요 결과

• 표준 접촉 구조는 $T^*L^\times / R^\times$ 의 몫으로 자연스럽게 유도되며, 이는 $L^\times$ 가 $L$ 의 영이 아닌 단면들의 $R^\times$-배럴일 때, $T^*M$ 상의 심플렉틱 구조를 일반화한다.
• 접촉 해밀턴은 $J^1L$ 상의 선형 배럴의 단면이며, 그에 대응하는 접촉 벡터장은 접촉 형식 $\eta$ 와 조건 $\iota_{X_h} d\eta = dh$, $\iota_{X_h}\eta = -dh$ 를 통해 정의된다.
• $J^1B$ 상에서 $S^1$ 상의 비정칙 해밀턴 $h(q,p,z) = \cos(q)\frac{p^2}{2} + \lambda z$ 가 구성되며, $h(q+\pi,-p,-z) = -h(q,p,z)$ 를 만족하여 비자명한 배럴 상에서의 전역 일치성을 보장한다.
• 라그랑주 형식의 생성 가족은 $L_O(q, \dot{q}, t, p, z) = p\dot{q} + tz - \cos(q)\frac{p^2}{2} - \lambda z$ 로 주어지며, $(p,z)$ 에 따라 매개변수화되는 사상의 가족을 정의하며 접촉 구조와 일致한다.
• 접촉 레이지에르 변환은 $J^1L$ 과 Atiyah 대수다발 $A(L^\times)$ 사이의 준동형으로 정의되며, 고전적 레이지에르 변환의 접촉 설정으로의 일반화이다.
• 이 형식은 비자명한 위상적 접촉 다양체, 예를 들어 $S^1$ 상의 $J^1B$ 를 성공적으로 처리하며, 정규 해밀턴은 존재하지만 $π$-반주기성 제약 조건으로 인해 복잡한 형태를 띠는 경우도 포함한다.