[논문 리뷰] Matched pairs of discrete dynamical systems

Oğul Esen, Serkan Sütlü|arXiv (Cornell University)|2018. 09. 03.

Nonlinear Waves and Solitons참고 문헌 35인용 수 4

한 줄 요약

이 논문은 매칭된 리 군oids 쌍 위에서 이산 동역계를 위한 기하적 프레임워크를 개발하며, 오일러-라그랑주 방정식을 두 상호작용하는 하위계로 분해하고 그 상호작용으로 인해 발생하는 추가 항을 포함한다. 주요 기여는 매칭된 리 군oids 위에서 이산 오일러-라그랑주 방정식을 유도하는 것으로, 이는 아이와사와 분해를 통해 트ivial 군oids와 SL(2,C)에 적용된 사례를 통해 설명된다.

ABSTRACT

Matched pairs of Lie groupoids and Lie algebroids are studied. Discrete Euler-Lagrange equations are written for the matched pairs of Lie groupoids. As such, a geometric framework to analyse a discrete system by decomposing it into two mutually interacting subsystems is established. Two examples are provided to illustrate this strategy; the discrete dynamics on the trivial groupoid, and the discrete dynamics on the special linear group.

연구 동기 및 목표

• 매칭된 쌍의 구조를 통해 이산 동역계를 두 상호작용하는 하위계로 분해함으로써 분석하기 위한 기하적 프레임워크를 수립하기 위해.
• 리 군oids와 리 앨베로이드를 사용하여 연속적인 경우에서 이산적인 경우로 매칭된 쌍의 역학 이론을 확장하기 위해.
• 매칭된 쌍 리 군oids 위에서 명시적인 이산 오일러-라그랑주 방정식을 도출하며, 상호작용 항을 포함하기 위해.
• 구체적인 사례를 통해 프레임워크를 시현하기 위해: 트ivial 군oids와 아이와사와 분해를 통해 SL(2,C)를 사용하기 위해.
• 리 앨베로이드 위에서 매칭된 쌍 라그랑주 동역계에 대한 향후 연구의 기초를 마련하기 위해.

제안 방법

• 리 군oids와 리 앨베로이드의 매칭된 쌍 이론을 활용하여, 반직접곱 구성의 일반화를 수행한다.
• 리 군oids 위에서 이산 변분 원리를 적용하며, 라그랑지안의 방향 도함수를 왼쪽 및 오른쪽 불변 벡터장 沿해 계산한다.
• 매칭된 리 군oids 위에서의 이산 오일러-라그랑주 방정식을 개별 하위계 방정식의 합과 상호작용 항의 합으로 유도한다.
• SL(2,C)의 아이와사와 분해를 통해 SU(2)와 단순연결 부분군 K로 분해함으로써 동역계를 분해한다.
• 공대칭 작용과 수반 표현을 나타내는 유도된 연산자 $\mathfrak{a}_B^*$, $\mathfrak{b}_A^*$, 및 $A^*\triangleright$를 통해 상호작용을 계산한다.
• 작용 사상의 전치를 사용하여 최종 오일러-라그랑주 방정식의 상호작용 항을 표현한다.

실험 결과

연구 질문

• RQ1 매칭된 리 군oids 위에서의 이산 오일러-라그랑주 방정식은 어떻게 그 구성 요소인 하위계의 방정식들로 분해될 수 있는가?
• RQ2 매칭된 쌍의 구조에서 두 상호작용하는 이산 동역계 간의 상호작용으로 인해 발생하는 추가 항은 무엇인가?
• RQ3 SL(2,C)의 SU(2)와 K로의 매칭된 쌍 분해는 이산 오일러-라그랑주 방정식의 구조에 어떻게 영향을 미치는가?
• RQ4 상호작용 보정 항이 있는 행동 군oids와 군oids 성분으로부터 트ivial 군oids 위의 이산 동역계를 완전히 재구성할 수 있는가?
• RQ5 아이와사와 분해는 SL(2,C) 위에서 이산 동역계의 매칭된 쌍 형식화를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 매칭된 리 군oids 위에서의 이산 오일러-라그랑주 방정식은 개별 하위계 방정식의 합에 상호작용 항이 더해진 형태로 표현된다.
• 트ivial 군oids의 경우, 동역계는 행동 군oids와 군oids 성분의 방정식으로 분해되며, 그 상호작용으로 인한 상호작용 항이 발생한다.
• SL(2,C)에서는 SU(2)와 K로의 매칭된 쌍 분해가 수반 및 쌍대수적 작용의 항을 명시적으로 포함하는 이산 오일러-라그랑주 방정식을 유도한다.
• 상호작용 항은 $\mathfrak{a}_B^*$, $\mathfrak{b}_A^*$, 및 $A^*\triangleright$와 같은 전치 연산자를 통해 표현되며, 이는 군 작용에서 유도된다.
• SL(2,C)에서의 최종 오일러-라그랑주 방정식은 비선형 시스템으로서 $\mathop{\rm Ad}^*_{A_k}\Phi_k$, $T^*r_{B_k}$, 및 $\mathop{\rm Rot}_{A_{k+1}}^*$를 포함하며, 비자명한 결합을 반영한다.
• 이 프레임워크는 연속적인 매칭된 쌍 역학을 이산적 상황으로 성공적으로 일반화하였으며, 기하적 구조를 유지하면서 복잡한 시스템의 모듈러 분석을 가능하게 한다.