[논문 리뷰] Application of Group Analysis to Classification of Systems of Three Second-Order Ordinary Differential Equations

Supaporn Suksern, Sibusiso Moyo외 1명|arXiv (Cornell University)|2013. 10. 19.

Nonlinear Waves and Solitons참고 문헌 8인용 수 3

한 줄 요약

이 논문은 Ovsiannikov의 방법을 사용하여 선형 3개의 2차 상미분방정식 시스템의 완전한 군 분류를 제시하며, 비퇴화된 시스템 중 비자명한 리 대칭을 가지는 4가지의 다른 케이스를 규명한다. 분류의 기초는 계수 행렬의 조르당 기약형을 활용한 결정 방정식의 해법이며, 이로 인해 시스템의 명시적 형태와 그에 해당하는 생성자들이 도출된다.

ABSTRACT

Here we give a complete group classification of the general case of linear systems of three second-order ordinary differential equations excluding the case of systems which are studied in the literature. This is given as the initial step in the study of nonlinear systems of three second-order ordinary differential equations. In addition the complete group classification of a system of three linear second-order ordinary differential equations is done. Four cases of linear systems of equations are obtained.

연구 동기 및 목표

• 기존에 연구된 바가 있거나 퇴화된 형태를 제외한 선형 3개의 2차 상미분방정식 시스템에 대한 완전한 군 분류를 제공하는 것.
• 이전에 스칼라 및 2방정식 시스템에 사용된 Ovsiannikov의 방법을 상수 계수 행렬을 가진 3방정식 시스템으로 확장하는 것.
• 행렬 A의 대수적 성질을 활용하여 비자명한 리 대칭 생성자를 가지는 모든 비퇴화된 선형 시스템을 규명하는 것.
• 계수 행렬의 조르당 형식과 동치 변환을 기반으로 이러한 시스템을 체계적으로 분류하는 프레임워크를 수립하는 것.
• 비선형 3개의 2차 상미분방정식 시스템에 대한 향후 군 분류의 기초를 마련하기 위해 먼저 선형 케이스를 해결하는 것.

제안 방법

• 일반적인 3개의 2차 상미분방정식 시스템에 Ovsiannikov의 방법을 적용하여 하나의 생성자를 단순화하고 관련 함수를 도출하는 것.
• 상수 행렬 A의 조르당 기약형을 사용하여 결정 방정식을 단순화하고 대칭 구조를 분석하는 것.
• 해결된 일阶 선형 상미분방정식 시스템(상수 계수)을 ODE 이론에서 알려진 해법 기법을 활용하여 풀이하는 것.
• 동치 변환을 활용하여 시스템을 표준형으로 단순화하고 분류의 완전성을 확보하는 것.
• 허용된 리 대칭 대수의 대수적 구조를 분석하여 비자명한 생성자들을 식별하고 시스템을 서로 다른 케이스로 분류하는 것.
• 비퇴화된 시스템 중에서 비자명한 대칭 생성자를 가진 경우가 오직 4가지 뿐임을 확인하며, 퇴화되거나 계수가 일정한 시스템을 제외하는 것.

실험 결과

연구 질문

• RQ1 비자명한 리 대칭 생성자를 하나 이상 가지는 모든 가능한 비퇴화된 선형 3개의 2차 상미분방정식 시스템은 무엇인가?
• RQ2 복잡도가 2방정식 시스템보다 높아지는 점을 감안할 때, Ovsiannikov의 방법을 체계적으로 3방정식 시스템에 적용하는 방법은 무엇인가?
• RQ3 계수 행렬 A의 조르당 기약형이 허용된 리 대칭 대칭의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ4 왜 두 방정식 시스템의 경우와 달리, 비퇴화된 3방정식 시스템 중에서 모든 비자명한 생성자가 X₀ = (A𝐲)·∇ 형태로만 존재하는 경우는 존재하지 않는가?
• RQ5 동치 변환과 행렬 A의 대수적 성질이 이러한 시스템의 군 분류 과정을 어떻게 단순화하는가?

주요 결과

• 비자명한 리 대칭 생성자를 가지는 선형 3개의 2차 상미분방정식 시스템은 총 4가지의 서로 다른 비퇴화된 케이스가 있으며, 이러한 모든 시스템은 이 4가지 형태 중 하나와 동치임이 확인된다.
• 시스템 (37)의 비자명한 허용 생성자는 ∂ₓ − αz∂_z − βu∂_u이며, 이는 x에 대한 특정 다항계수를 가진 시스템과 대응된다.
• 시스템 (38)의 비자명한 생성자는 ∂ₓ + αy∂_y + c(u∂_z − z∂_u)이며, z–u 평면에서 회전 유사 대칭을 나타낸다.
• 시스템 (39)은 생성자 ∂ₓ + αy∂_y + u∂_z를 허용하며, u 방향의 z-미분을 포함하는 다른 대칭 구조를 보인다.
• 시스템 (40)은 생성자 ∂ₓ + z∂_y + u∂_z를 가지며, 이는 e^{−αx}를 통해 x에 지수적 의존성을 가지는 시스템과 대응된다.
• 분석 결과, 두 방정식 시스템과 달리 비퇴화된 3방정식 시스템 중에서 모든 비자명한 생성자가 X₀ = (A𝐲)·∇ 형태로만 존재하는 경우는 존재하지 않으며, 이는 행렬의 교환자 조건 CA − AC = 0 에 기인한 구조적 제약 때문임이 확인된다.