[논문 리뷰] Higher order Lagrange-Poincaré and Hamilton-Poincaré reductions

François Gay–Balmaz, Darryl D. Holm외 1명|arXiv (Cornell University)|2014. 07. 01.

Nonlinear Waves and Solitons참고 문헌 13인용 수 5

한 줄 요약

이 논문은 k차 미분을 포함하는 라그랑지안이 정의된 k차 탄성다발 위에서의 변분 및 해밀턴 감소 프레임워크를 개발하여 고차 시스템으로 기하학적 역학을 확장한다. 고차 라그랑주-포앙카레 및 해밀턴-포앙카레 방정식을 유도하고, 옥스트로그라스키-리-파울슨 및 옥스트로그라스키-해밀턴-포앙카레 시스템을 도입하며, 관련 파울슨 괄목을 수립하여 대칭 감소를 고차 기계 시스템에 적용할 수 있게 한다. 이는 영상 정렬 및 자료 융합에 응용된다.

ABSTRACT

Motivated by the problem of longitudinal data assimilation, e.g., in the registration of a sequence of images, we develop the higher-order framework for Lagrangian and Hamiltonian reduction by symmetry in geometric mechanics. In particular, we obtain the reduced variational principles and the associated Poisson brackets. The special case of higher order Euler-Poincaré and Lie-Poisson reduction is also studied in detail.

연구 동기 및 목표

• 라그랑지안이 최대 k차 시간 도함수에 의존하는 고차 기계 시스템으로 대칭에 의한 라그랑주 및 해밀턴 감소를 일반화한다.
• 구성 다발 $ Q $ 위의 자유이고 적절한 작용을 하는 리군 $ G $ 를 통해 $ T^{(k)}Q/G $ 위에서 k차 라그랑주-포앙카레 방정식을 유도한다. 이는 고전적 감소 프레임워크를 일반화한다.
• 구성 다발이 리군 $ Q = G $ 인 경우 $ k\mathfrak{g} $ 위에서 고차 올드로그라스키-포앙카레 방정식을 제시하고, 이에 관련된 제약 조건이 붙은 변분 원리를 수립한다.
• 옥스트로그라스키 운동량을 통해 해밀턴 측면을 구성하며, 이는 $ T^*(T^{(k-1)}Q)/G $ 위에서 옥스트로그라스키-해밀턴-포앙카레 방정식을 이끌어낸다.
• 감소된 파울슨 괄목의 구조를 유도하며, 이는 곡률 및 게이지 항을 포함하여 게이지된 리-파울슨 괄목을 고차 시스템으로 일반화한다.

제안 방법

• k차 탄성다발 $ T^{(k)}Q $ 를 사용하여 최대 k차 도함수를 포함하는 시스템을 기술하며, 이는 k차까지의 등가류를 갖는 곡선의 집합으로 정의된다.
• 구성 다발 $ Q $ 위에서 리군 $ G $ 가 자유이고 적절하게 작용함으로써 대칭 감소를 적용하며, 이는 몫공간 $ T^{(k)}Q/G $ 를 이끈다.
• 제약 조건이 붙은 변분 원리를 $ T^{(k)}Q/G $ 위에서 적용하여 k차 라그랑주-포앙카레 방정식을 유도하며, 이는 일阶 경우를 일반화한다.
• 옥스트로그라스키 운동량은 $ T^{(2k-1)}Q $ 에서 $ T^*(T^{(k-1)}Q) $ 로의 레지오드라스키 변환을 통해 도입되며, 해밀턴 형식을 가능하게 한다.
• $ T^*(T^{(k-1)}Q)/G $ 위에서 표준 심플렉틱 형식의 파울슨 감소를 통해 옥스트로그라스키-해밀턴-포앙카레 방정식을 유도한다.
• 감소된 파울슨 괄목은 표준 괄목의 합과 함께, 쌍대 작용 및 곡률 2형식 $ \tilde{\mathcal{B}} $ 을 포함하는 추가 항들을 포함하며, 게이지된 리-파울슨 구조를 고차 시스템으로 일반화한다.

실험 결과

연구 질문

• RQ1 고전적 라그랑주-포앙카레 및 해밀턴-포앙카레 감소 프레임워크는 k차 라그랑지안을 포함하는 고차 기계 시스템으로 어떻게 일반화될 수 있는가?
• RQ2 구성 다발이 리군 $ G $ 인 경우, k차 올드로그라스키-포앙카레 방정식의 명시적 형태는 무엇이며, 변분 구조와의 관계는 어떠한가?
• RQ3 옥스트로그라스키 운동량을 사용하여 고차 시스템의 해밀턴 형식은 어떻게 구성되며, 그 결과로 도출되는 옥스트로그라스키-해밀턴-포앙카레 방정식은 무엇인가?
• RQ4 $ T^*(T^{(k-1)}Q)/G $ 위에서 감소된 파울슨 괄목의 구조는 어떠한가? 그리고 게이지된 리-파울슨 괄목을 어떻게 일반화하는가?
• RQ5 이 프레임워크는 계산 해부학에서의 종방향 자료 융합 및 영상 정렬과 같은 응용에 미치는 영향은 무엇인가?

주요 결과

• 논문은 $ T^{(k)}Q/G $ 위에서 k차 라그랑주-포앙카레 방정식을 도출하였으며, 이는 고전적 일계 방정식을 고차 도함수로 일반화한다.
• 구성 다발이 $ Q = G $ 인 경우, k차 올드로그라스키-포앙카레 방정식은 $ k\mathfrak{g} $ 위에서 도출되며, 리군 위에서 고차 시스템의 대칭 감소된 변분 형식을 제공한다.
• 해밀턴 측면은 옥스트로그라스키 운동량을 통해 구성되며, 이는 $ T^*(T^{(k-1)}Q)/G $ 위에서 옥스트로그라스키-해밀턴-포앙카레 방정식을 이끌어내며, 이는 표준 해밀턴 방정식을 일반화한다.
• 감소된 파울슨 괄목은 표준 괄목의 합과 함께 쌍대 작용 및 곡률 항을 포함하며, 게이지된 리-파울슨 구조를 고차 시스템으로 일반화한다.
• 특수한 경우에 이 형식은 기존의 시스템으로 축소된다: $ k=1 $ 일 때 표준 해밀턴-포앙카레 방정식으로, $ Q = G $ 일 때 옥스트로그라스키-리-파울슨 방정식으로.
• 이 형식은 일관되며, 비환원 및 바코노믹 고차 시스템에 대한 향후 연구를 위한 기초를 제공한다.