[논문 리뷰] On the exact discrete Lagrangian function for variational integrators: theory and applications

Juan Carlos Marrero, David Martı́n de Diego외 1명|arXiv (Cornell University)|2016. 08. 04.

Numerical methods for differential equations참고 문헌 11인용 수 10

한 줄 요약

이 논문은 리 군oids와 리 대수다발을 이용하여 변분 적분기법의 정확한 이산 라그랑지안을 엄밀하게 구성하며, 다양한 기계 시스템에서 기하학적 수치적 통합을 분석하는 통합 프레임워크를 제공한다. 주요 기여는 정확한 이산 궤적과 이산 궤적 간의 차이를 정량화하는 변분 오차 분석이며, 이는 대칭 공간에서의 오일러-포이누아르 및 라그랑주-포이누아르 방정식에 응용된다.

ABSTRACT

In this paper, we will give a rigorous construction of the exact discrete Lagrangian formulation associated to a continuous Lagrangian problem. Moreover, we work in the setting of Lie groupoids and Lie algebroids which is enough general to simultaneously cover several cases of interest in discrete and continuous descriptions as, for instance, Euler-Lagrange equations, Euler-Poincaré equations, Lagrange-Poincaré equations... The construction of an exact discrete Lagrangian is of considerable interest for the analysis of the error between an exact trajectory and the discrete trajectory derived by a variational integrator.

연구 동기 및 목표

• 리 군oids와 리 대수다발을 사용하여 정확한 이산 라그랑지안을 일반적이고 기하학적으로 구성하는 것.
• 오일러-포이누아르 및 라그랑주-포이누아르 방정식을 포함한 다양한 기계 시스템에서 변분 적분기법의 통일된 처리를 위한 프레임워크 확립.
• 변분 적분기법이 생성하는 이산 궤적과 정확한 연속 궤적 간의 비교를 통해 정밀한 변분 오차 분석을 가능하게 하는 것.
• 이차 미분 방정식에 대한 리 대수다발 위에서의 볼록성 정리 수립: 이산 작용 원리의 잘 정의됨을 보장하기 위해.
• 리 군oids 설정에서의 이산 오일러-라그랑주 방정식과 이산 레이지앙드르 변환에 대한 내재적 기하학적 표현 제공

제안 방법

• 리 대수다발과 리 군oids 위에서 연속 및 이산 라그랑지안 역학을 형식화하여, 표준 탄성다발과 리 군 위의 역학을 일반화한다.
• 구성 공간 내 두 점을 연결하는 정확한 해 곡선을 따라 정확한 이산 라그랑지안을 연속 라그랑지안의 작용 적분으로 정의한다.
• 리 대수다발 이론과 그 관련된 왼쪽 불변 벡터장 이론을 활용하여 이산 역학의 내재적 표현을 유도한다.
• 리 대수다발 위에서 이차 미분 방정식에 대한 볼록성 정리를 적용하여 이산 오일러-라그랑주 방정식의 해가 존재하고 유일함을 보장한다.
• 이산 레이지앙드르 변환을 구성하고 리 군oids 프레임워크 내에서 이산 진화 연산자의 심플렉틱성을 분석한다.
• 정확한 이산 라그랑지안과 변분 적분기법의 작용 합을 비교하여 변분 오차 분석을 수행하고 국소 절단 오차를 정량화한다.

실험 결과

연구 질문

• RQ1 리 군oids와 리 대수다발의 일반적 설정에서 정확한 이산 라그랑지안을 어떻게 엄밀하게 구성할 수 있는가?
• RQ2 이 프레임워크 내에서 이산 오일러-라그랑주 방정식의 해가 존재하고 유일하기 위한 필수 및 충분한 조건은 무엇인가?
• RQ3 정확한 이산 라그랑지안은 변분 적분기법에 대한 정밀한 변분 오차 분석을 어떻게 가능하게 하는가?
• RQ4 리 군oids와 리 대수다발 형식은 오일러-포이누아르 및 라그랑주-포이누아르 방정식과 같은 다양한 기계 시스템의 처리를 어떻게 통합하는가?
• RQ5 리 대수다발 위에서 이산 라그랑지안 형식의 정규성과 안정성을 보장하는 볼록성 조건은 무엇인가?

주요 결과

• 정확한 이산 라그랑지안은 연속 시스템의 정확한 해 곡선을 따라 작용 적분으로 구성되며, 오차 분석의 기준점이 된다.
• 정확한 이산 라그랑지안에서 유도된 이산 오일러-라그랑주 방정식은 정확한 역학을 재현하며, 오차는 적분기의 국소 절단 오차로 제한된다.
• 리 대수다발 위에서 이차 미분 방정식에 대한 볼록성 정리는 이산 변분 문제의 해가 정규적이고 유일함을 보장한다.
• 이산 레이지앙드르 변환은 잘 정의되어 있으며 심플렉틱성을 유지하여 연속 시스템의 기하학적 구조를 보존한다.
• 이 프레임워크는 오일러-포이누아르 및 라그랑주-포이누아르 방정식으로 일반화되며, 행렬 리 군과 자명한 주요 배치에 대해 명시적인 구성이 제공된다.
• 변분 오차 분석은 정확한 궤적과 이산 궤적 간의 오차가 리 군oids의 기하학성과 라그랑지안의 정(regularity)에 의해 정량적으로 제어됨을 보여준다.