[논문 리뷰] On certain analytical methods in finding integrable systems and their interconnections

R. Mohanasubha, V. K. Chandrasekar외 2명|arXiv (Cornell University)|2015. 02. 13.

Quantum chaos and dynamical systems참고 문헌 6인용 수 4

한 줄 요약

이 논문은 두 번째 차수 비선형 상미분방정식의 적분을 찾는 데 사용되는 여섯 가지 분석 방법—리 점 대칭, λ-대칭, 수반 대칭, 적분 인자, 다르부 다항식, 자코비 최후 승수—를 연결하는 종합적인 프레임워크를 수립한다. 이들 양상들이 모두 확장된 프렐레-시에지 절차를 통해 상호 연결되어 있음을 보여주며, 영형식과 적분 인자가 기초가 되어 통합된 알고리즘적 도표를 통해 대칭, 승수, 첫 번째 적분을 유도함을 보여준다.

ABSTRACT

In this paper, to begin with, we review six different analytical methods which are widely used to derive symmetries, integrating factors, multipliers, Darboux polynomials and integrals of second order nonlinear ordinary differential equations. We illustrate the algorithm behind each method by considering a nonlinear oscillator equation as an example. In the second part of this paper, we examine the interconnections between these methods. We establish a road map between extended Prelle-Singer procedure with all other methods cited above and thereby demonstrate the interplay between Lie point symmetries, $λ$-symmetries, adjoint symmetries, null forms, integrating factors, Darboux polynomials, and Jacobi multipliers of second order integrable ODEs. The interconnections are illustrated with the same example finally.

연구 동기 및 목표

• 두 번째 차수 비선형 상미분방정식의 적분을 찾는 데 사용되는 여섯 가지 주요 분석 방법을 체계화하고 비교하기.
• 통합 시스템에서 대칭, 적분 인자, 승수, 다르부 다항식, 적분 간의 상호관계를 명확히 하기.
• 확장된 프렐레-시에지 절차가 나머지 모든 양상을 파생하는 통합 프레임워크로 기능함을 보여주기.
• 한 가지 예제를 통해 영형식, 적분 인자, 대칭 간의 일관된 알고리즘적 도표 제공하기.
• 비선형 진동자 방정식에 대한 명시적 계산을 통해 이론적 상호관계 검증하기.

제안 방법

• 핵심 방법으로 확장된 프렐레-시에지 절차를 적용하여 영형식과 적분 인자를 사용해 다른 양상을 유도한다.
• 이 방법은 상미분방정식의 구조에서 유도된 영형식 $ B $, 적분 인자 $ R $, 잠재함수 $ W $ 를 위한 연립방정식을 푸는 것을 포함한다.
• 리 점 대칭, λ-대칭, 수반 대칭의 결과 표현과 비교함으로써 상호관계를 설정한다.
• 수승승수 $ M $ 에 대한 관계 $ F = \frac{1}{M} $ 를 사용해 적분 인자와 승수의 비율에서 다르부 다항식을 도출한다.
• 수반 대칭 $ \theta $ 는 적분 인자 $ R $ 과 동치이며, $ R = \Lambda $ 를 만족함으로써 두 개별 형식론을 연결한다.
• 일관성과 검증을 위해 전체 과정에서 동일한 예제(비선형 진동자)를 사용하여 모든 방법 간의 결과를 계산하고 비교한다.

실험 결과

연구 질문

• RQ1 프렐레-시에지 프레임워크에서 리 점 대칭, λ-대칭, 수반 대칭은 적분 인자와 영형식과 어떻게 관련되어 있는가?
• RQ2 두 번째 차수 상미분방정식에서 자코비 최후 승수, 다르부 다항식, 적분 인자 간의 정확한 수학적 관계는 무엇인가?
• RQ3 확장된 프렐레-시에지 방법은 나머지 모든 적분 가능성 관련 양상을 유도하는 통합 프레임워크로 기능할 수 있는가?
• RQ4 알고리즘에서 적분 인자와 영형식로부터 공인자와 다르부 다항식은 어떻게 유도되는가?
• RQ5 다른 방법으로부터 도출된 대칭과 승수가 동일한 상미분방정식에 적용되었을 때 일관된 결과를 도출하는 정도는 어느 정도인가?

주요 결과

• 확장된 프렐레-시에지 절차는 영형식과 적분 인자가 기초가 되어 λ-대칭, 리 점 대칭, 다르부 다항식, 수반 대칭을 파생하는 통합 프레임워크를 제공한다.
• 적분 인자 $ R $ 는 수반 대칭 $ \Lambda $ 와 수학적으로 동치이며, $ R = \Lambda $ 를 확인함으로써 두 개별 형식론이 연결됨을 확인한다.
• 두 리 점 대칭에서 형성된 행렬식의 역수는 자코비 최후 승수 $ M = \frac{1}{\Delta} $ 를 제공하며, 이는 예제에서의 승수 $ M_1 $ 과 일치한다.
• 다르부 다항식은 $ F = \Delta $ 로 얻어지며, 여기서 $ \Delta $ 는 리 대칭에서 유도된 행렬식이며, 그 공인자들은 $ D[f_i]/f_i = \alpha_i $ 를 만족함으로써 첫 번째 적분 구성에서의 역할을 확인한다.
• 동일한 비선형 진동자 방정식은 모든 방법에서 일관된 결과를 도출한다: $ \Delta_{12} = \frac{1}{2}(\dot{x}^2 + 4x^4) $, 이에 따라 $ M_1 = \frac{1}{\Delta_{12}} $ 이며, 모든 다른 양상은 일관되게 도출된다.
• 명시적 계산을 통해 상호관계가 검증되었으며, $ \lambda $-대칭은 영형식 $ S = -Y $ 로부터 도출되었고, 모든 양상은 이론적 도표와 일치한다.