[논문 리뷰] Discrete dynamics in implicit form

David Iglesias, J.C. Marrero외 2명|arXiv (Cornell University)|2010. 11. 16.

Numerical methods for differential equations참고 문헌 13인용 수 4

한 줄 요약

이 논문은 리 군oids 위에서 이산 은닉 차분 방정식의 기하학적 프레임워크를 제안하며, 이는 이산 라그랑주 역학과 비환원성 역학을 일반화한다. 앞으로와 뒤로 일致하는 해를 추출하기 위한 통합성 알고리즘을 제시하고, 이로써 리 군oids 위의 이산 라그랑주 시스템이 코탄젠트 군oids 위의 라그랑주 은닉 차분 방정식과 대응됨을 증명하며, 고전적 이산 역학과 기하적 적분기법을 확장한다.

ABSTRACT

A notion of implicit difference equation on a Lie groupoid is introduced and an algorithm for extracting the integrable part (backward or/and forward) is formulated. As an application, we prove that discrete Lagrangian dynamics on a Lie groupoid $G$ may be described in terms of Lagrangian implicit difference equations of the corresponding cotangent groupoid $T^*G$. Other situations include finite difference methods for time-dependent linear differential-algebraic equations and discrete nonholonomic Lagrangian systems, as particular examples.

연구 동기 및 목표

• 리 군oids 위에서 이산 은닉 차분 방정식의 기하학적 이론을 개발하여 고전적 이산 역학을 일반화한다.
• 은닉 차분 시스템으로부터 통합 가능한(앞으로와/또가지로의) 해를 추출하기 위한 알고리즘을 제시한다.
• 리 군oids G 위의 이산 라그랑주 역학이 코탄젠트 군oids T*G 위의 라그랑주 은닉 차분 방정식과 대응됨을 보인다.
• 이 프레임워크를 시간에 의존하는 선형 미분-대수방정식의 유한 차분 방법과 이산 비환원성 시스템을 포함하도록 확장한다.
• 연속 라그랑주 시스템을 위한 기하적 적분기법을 구성하기 위한 기하학적 기초를 제공한다.

제안 방법

• 논문은 G가 리 군oids일 때, D ⊂ G × G의 부분다양체로 은닉 차분 방정식을 정의하며, 이는 탄젠트 배ndl 위의 은닉 미분 방정식 개념을 일반화한다.
• 투영과 탄젠트 리프트를 기반으로 하는 재귀적 알고리즘을 도입한다: D^k = D^{k-1} ∩ T C^{k-1}, 여기서 C^k = τ_G(D^k), τ_G는 목적지 투영이다.
• 부드러움 조건 하에서 알고리즘이 유한한 단계 후에 안정화되며, 이로써 통합 가능한 부분 D̄ = D^k̄를 얻는다. 이는 일致하는 이산 궤도를 지지한다.
• 이산 라그랑주 시스템의 경우, 라그랑주언 L: G → ℝ에서 유도된 이산 레이저 변환 F⁺L과 F⁻L을 구성하며, 리 대수oid AG*의 쌍대공간으로 사상한다.
• L이 정칙일 경우, 이산 오일러-라그랑주 방정식이 T*(TG) 내의 라그랑주 부분다양체를 정의함을 증명하며, 툴츠치에프의 심플렉틱 접근법을 이산 역학으로 확장한다.
• 비환원성 시스템의 경우, 제약 분포 D_c와 제약 부분다양체 M_c를 포함하며, 제약 공간으로의 역학을 제한하는 수정된 레이저 지도 F±(L, M_c, D_c)를 도입한다.

실험 결과

연구 질문

• RQ1 리 군oids 위에서 은닉 차분 방정식을 어떻게 기하학적으로 제안할 수 있으며, 이는 탄젠트 배ndl 위의 은닉 미분 방정식을 일반화하는가?
• RQ2 리 군oids 위의 은닉 차분 시스템으로부터 일치하는 앞으로와 뒤로의 이산 궤도를 추출하기 위해 어떤 알고리즘이 보장하는가?
• RQ3 리 군oids G 위의 이산 라그랑주 역학은 코탄젠트 군oids T*G 위의 라그랑주 은닉 차분 방정식과 어떻게 대응되는가?
• RQ4 이 프레임워크는 시간에 의존하는 선형 미분-대수방정식의 유한 차분 스킴을 특수한 경우로 수용할 수 있는가?
• RQ5 비환원성 이산 시스템은 은닉 차분 방정식 프레임워크 내에서 어떻게 기술되며, 제약 분포와 부분다양체는 어떤 역할을 하는가?

주요 결과

• 부드러움 조건 하에서 통합성 알고리즘이 유한한 단계 후에 안정화되며, 일치하는 이산 궤도를 지지하는 유일한 통합 가능한 부분 D̄ ⊆ D를 도출한다.
• 리 군oids G 위의 이산 라그랑주 역학은 코탄젠트 군oids T*G 위의 라그랑주 은닉 차분 방정식과 등가이며, 툴츠치에프의 심플렉틱 접근법을 일반화한다.
• 정칙 라그랑주언의 경우, 이산 레이저 변환 F⁺L과 F⁻L는 국소 미분동형사상이며, 이로써 이산 진화 연산자 Υ_L의 존재성과 유일성을 보장한다.
• 라그랑주언이 초정칙일 경우, 이산 진화 연산자는 Υ_L = (F⁻L)⁻¹ ∘ F⁺L로 전역적으로 주어지며, 해밀토니안 진화는 Υ̃_L = F⁺L ∘ (F⁻L)⁻¹로 주어진다.
• 비환원성의 경우, 이산 오일러-라그랑주 방정식은 조건 F⁻(L, M_c, D_c)(h) = F⁺(L, M_c, D_c)(g)과 등가이며, 제약 분포와의 일致성을 보장한다.
• 이 프레임워크는 시간에 의존하는 선형 미분-대수방정식의 유한 차분 방법을 특수한 경우로 포함하며, 광범위한 적용 가능성을 보여준다.