[논문 리뷰] First integrals of ordinary difference equations beyond Lagrangian methods

В. А. Дородницын, Е. И. Капцов외 2명|arXiv (Cornell University)|2013. 11. 07.

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

한 줄 요약

이 논문은 변분(라그랑지안 또는 해밀토니안) 형식을 갖지 않는 상수차분방정식에 대한 첫 번째 적분을 구성하기 위해 새로운 고유방정식 방법을 제시한다. 대칭성, 이산 고유방정식의 해, 첫 번째 적분을 연결함으로써, 이 방법은 비변분형 매핑과 미분방정식의 이산화, 특히 비선형 및 삼차 방정식의 정확한 해를 기능적으로 독립적인 첫 번째 적분을 이용한 대수적 축소를 통해 가능하게 한다.

ABSTRACT

A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established identity which links symmetries of the underlying discrete equations, solutions of the discrete adjoint equations and first integrals. The method is applied to invariant mappings and discretizations of a second order and a third order ODEs. In examples the set of independent first integrals makes it possible to find the general solution of the discrete equations. The method is compared to a direct method of constructing first integrals.

연구 동기 및 목표

• 변분(라그랑지안 또는 해밀토니안) 형식을 갖지 않는 상수차분방정식에 대한 첫 번째 적분을 찾는 데 위한 방법을 개발하는 것.
• 이전에 미분방정식에 사용된 고유방정식 방법을 이산계통, 특히 매핑과 격자상의 차분형식에 확장하는 것.
• 완전한 기능적으로 독립적인 첫 번째 적분 집합이 대수적으로 유도될 수 있음을 보여주어 이산방정식의 일반해를 도출하는 것.
• 고유성 조건이 유지되는 미분방정식의 이산화가 수정된 매개수를 도입할 경우 정확한 해를 얻을 수 있음을 보여주는 것, 특히 비선형 및 삼차 방정식의 경우에 중점적으로 다룸.

제안 방법

• 이 방법은 이산방정식의 리 점 대칭성, 그 이산 고유방정식의 해, 그리고 첫 번째 적분을 연결하는 새로운 항등식을 수립한다.
• 이산 고유방정식을 적용하여 고유해를 적분인자로 사용함으로써 첫 번째 적분을 구성한다.
• 스칼라 매핑의 경우, 이 방법은 네점 방정식으로 특수화되며, 대칭성과 고유해를 이용해 첫 번째 적분을 생성한다.
• 미분방정식의 이산화에서 유도된 차분계통의 경우, 연속 대칭성의 구조를 이용해 고유성 조건이 유지되는 계획과 그 첫 번째 적분을 유도한다.
• 이 방법은 비변분형 매핑과 2차 및 3차 미분방정식의 이산화, 특히 샤우츠방 방정식과 조화진동자에 대해 검증된다.
• 좌표 변환과 적분을 피하고, 대신 대칭성과 고유해를 이용한 대수적 연산에 의존한다.

실험 결과

연구 질문

• RQ1 변분형식을 갖지 않는 상수차분방정식에 대해 첫 번째 적분을 체계적으로 구성할 수 있는가?
• RQ2 고유방정식 방법을 미분방정식에서 이산방정식, 특히 매핑과 차분형식으로 어떻게 적응시킬 수 있는가?
• RQ3 고유성 조건이 유지되는 미분방정식의 이산화가 정확한 해를 제공할 수 있으며, 어떤 조건에서 그러한 해를 얻을 수 있는가?
• RQ4 대칭성과 고유해는 이산계통의 기능적으로 독립적인 첫 번째 적분 집합을 생성하는 데 어떤 역할을 하는가?
• RQ5 이 방법은 미분-차분방정식 및 편차분방정식으로 얼마나 일반화될 수 있는가?

주요 결과

• 고유방정식 방법은 이산방정식에 대해 완전한 기능적으로 독립적인 첫 번째 적분 집합을 성공적으로 구성하여, 대수적 연산을 통해 일반해를 도출할 수 있게 한다.
• 비변분형 네점 이산방정식의 경우, 이 방법은 두 개의 독립된 첫 번째 적분을 도출하여 일반해를 닫힌 형태로 표현할 수 있게 한다.
• 매개수 M을 M_mod로 수정할 경우, 삼차 샤우츠방 미분방정식의 이산화에 대해 정확한 해를 도출할 수 있으며, M_mod → M as h → 0이다.
• 조화진동자의 경우, 매개수를 M_mod = −(2/h²) sinh²(√(−M/2) h)로 조정하면 고유성 조건이 유지되는 이산화가 정확한 해를 제공한다.
• M = 0인 경우, 샤우츠방 미분방정식의 이산화가 매개수 조정 없이도 정확한 해를 제공하며, 연속해와 일치한다.
• 이 방법은 변분형 대칭이 아닌 경우에도 효과적이며, 노이터 정리와 라그랑지안 기반 접근법의 범위를 초월한다.