[논문 리뷰] Variational integrators of fractional Lagrangian systems in the framework of discrete embeddings

Loïc Bourdin, Jacky Cresson외 2명|arXiv (Cornell University)|2016. 01. 19.

Numerical methods for differential equations참고 문헌 17인용 수 6

한 줄 요약

이 논문은 분수계의 라그랑주 시스템을 위한 변분 적분법을 구성하기 위해 이산 매핑을 사용하는 프레임워크를 제안하며, 이산 수준에서 라그랑주 구조를 유지함을 보장한다. 가우스-그룬발트-레트니코프 매핑의 일관성을 입증하기 위해 직접 이산화 방법과 이산 라그랑주 함수 기반의 변분 적분법이 일치함을 보여, 분수 오일러-라그랑주 방정식에 대해 일관된 수치적 방법을 도출한다.

ABSTRACT

This paper is a summary of the theory of discrete embeddings introduced in [5]. A discrete embedding is an algebraic procedure associating a numerical scheme to a given ordinary differential equation. Lagrangian systems possess a variational structure called Lagrangian structure. We are specially interested in the conservation at the discrete level of this Lagrangian structure by discrete embeddings. We then replace in this framework the variational integrators developed in [10, Chapter VI.6] and in [12]. Finally, we extend the notion of discrete embeddings and variational integrators to fractional Lagrangian systems.

연구 동기 및 목표

• 기존의 이산 매핑과 변분 적분법 이론을 고전적 시스템에서 분수계 라그랑주 시스템으로 확장하기.
• 이산 수치적 방법이 분수계 라그랑주 시스템의 본질적인 변분 구조를 유지함을 보장하기.
• 직접 매핑과 변분 이산화를 통합함으로써 분수 오일러-라그랑주 방정식을 해결하기 위한 일관된 수치적 방법을 개발하기.
• 분수역학의 맥락에서 가우스-그룬발트-레트니코프 매핑의 일관성 확립하기.

제안 방법

• 연속 미분방정식에 대해 이산 궤도, 이산 도함수, 이산 함수를 대응시키는 대수적 사상으로서 이산 매핑 정의하기.
• 분수계수 α의 분수도함수를 이산화하기 위해 가우스-그룬발트-레트니코프 연산자 사용하기, 후행(σ = −) 및 전행(σ = +) 변형 포함.
• 이산 매핑을 연속 분수계 라그랑주 함수에 적용하여 이산 분수계 라그랑주 함수 기능을 구성하고, 적분 공식과 스텝 크기 h 사용하기.
• 이산 분수계 오일러-라그랑주 방정식을 이산 함수 기능의 임계점 조건으로 유도하여 변분 일관성 확보하기.
• 직접 이산 매핑과 변분 적분법이 동일한 수치적 방법을 도출함을 증명함으로써 일관성 확립하기.
• 분수계 라그랑주 시스템, 그들의 변분 원리 및 비대칭 분수도함수 하에서의 대칭성 특성에 이 프레임워크 적용하기.

실험 결과

연구 질문

• RQ1 이산 매핑 개념을 분수계 라그랑주 시스템으로 확장할 수 있으며, 이 과정에서 변분 구조가 유지되는가?
• RQ2 이산 매핑을 사용하여 분수 오일러-라그랑주 방정식에 대해 일관된 수치적 방법을 어떻게 구성할 수 있는가?
• RQ3 가우스-그룬발트-레트니코프 매핑은 일관성이 있는가? 즉, 직접 이산화와 변분 이산화 방식이 동일한 수치적 방법을 도출하는가?
• RQ4 비대칭 분수도함수(D^α_− 및 D^α_+)는 분수계에 대한 이산 변분 원리의 구성에서 어떤 역할을 하는가?
• RQ5 가우스-그룬발트-레트니코프 매핑을 통해 유도된 이산 라그랑주 함수 기능은 연속 분수계 라그랑주 함수 기능과 어떻게 관련이 있는가?

주요 결과

• 가우스-그룬발트-레트니코프 매핑(Gauss-GLEσ)이 일관성이 있음을 입증하였으며, 이는 직접 이산화 방법과 이산 라그랑주 함수 기반의 변분 적분법이 일치함을 의미한다.
• 이산 분수계 오일러-라그랑주 방정식(EL^σ,α_h)은 이산 분수계 라그랑주 함수 기능의 임계점 조건으로 도출되어 변분 일관성을 보장한다.
• 이산 분수계 라그랑주 함수 기능은 ℒ^σ,α_h(Q) = h∑_{k∈I_σ} L(Q_k, (-σΔ^α_σ Q)_k, t_k)로 주어지며, 구조 보존 수치적 공식을 제공한다.
• 이 프레임워크는 변분 적분법을 분수계 라그랑주 시스템으로 성공적으로 확장하여, 이산 수준에서 본질적인 라그랑주 구조를 유지한다.
• 비대칭 분수도함수(σ = ±)의 사용은 이산 변분 원리의 대칭적 표현을 가능하게 하여 연속 경우와 유사한 형태를 유지한다.
• 이 방법은 최적 제어, 역학 및 물리학에서 발생하는 분수 오일러-라그랑주 방정식을 해결하기 위한 일관되고 구조 보존 수치적 접근을 제공한다.