[논문 리뷰] Explicitly Solvable Systems of First-order Ordinary Differential Equations with Polynomial Right-hand Sides, and Their Periodic Variants

F. Calogero, Farrin Payandeh|arXiv (Cornell University)|2021. 06. 11.

Advanced Differential Equations and Dynamical Systems인용 수 1

한 줄 요약

이 논문은 계수와 초기 조건 간의 제약 조건을 부과하여 임의의 차수 M을 가진 다항식 우변을 가진 N개의 일阶 상미분방정식(ODE) 시스템을 명시적으로 해석 가능한 형태로 제시한다. 핵심 결과는 매개변수와 초기 자료가 특정 대수적 조건을 만족할 경우, zn(t) = zn(0)(1 + Kt)^{1/(1−M)} 형태의 폐쇄형 해를 갖는 것으로, 복소 시간 변환과 주파수 변조를 통해 주기적 변형이 유도된다.

ABSTRACT

In this Letter we identify special systems of (an arbitrary number) N of first-order Ordinary Differential Equations with homogeneous polynomials of arbitrary degree M on their right-hand sides, which feature very simple explicit solutions; as well as variants of these systems--with right-hand sides no more homogeneous--which feature periodic solutions. A novelty of these findings is to consider special systems characterized by constraints involving both their parameters and their initial data.

연구 동기 및 목표

• 다항식 비선형성을 가진 일阶 ODE 시스템의 특수한 클래스를 식별하여 명시적 해석적 해를 갖는 조건을 규명한다.
• 계수만이 아니라 초기 조건까지 동시에 제약 조건을 걸어 기존의 방법과는 다른 새로운 접근법을 개발한다.
• 비주기적 해의 틀을 복소 시간 변환과 주파수 변조를 통해 주기적 해로 확장한다.
• 이러한 시스템이 임의의 N과 M에 대해 정확한 해를 갖는다는 것을 보이며, 동역학에 대한 명시적 공식을 제시한다.
• 초기 자료 조절이 가능한 물리적 및 공학적 맥락에서 이러한 시스템의 적용 가능성과 잠재력을 부각시킨다.

제안 방법

• N개의 종속 변수에서 차수 M의 동차 다항식으로 구성된 우변을 가진 N개의 일阶 ODE 시스템을 수립한다.
• 시간 진동을 탐색하기 위해 시험 해 zn(t) = zn(0)(1 + Kt)^{1/(1−M)} 형태의 해를 도입한다.
• ODE와의 일致성을 확보하기 위해 매개변수 K, 계수 cnm1…mN, 그리고 초기값 zn(0)을 연결하는 대수적 제약 조건 (3b)를 유도한다.
• 복소 시간 변환 τ = (exp(iωt) − 1)/(iω)를 적용하고, 새로운 변수 xn(t) + iyn(t) = exp(iωt/(M−1)) zn(τ)를 정의하여 주기적 해를 생성한다.
• 기존 시스템을 실수부와 허수부를 포함하는 2N개의 실수 ODE로 구성된 새로운 자율 시스템 (6a)로 변환하며, 수정된 비선형 항 Zn(t)를 포함한다.
• 유도된 제약 조건 하에서 변환된 시스템이 주기 T = 2π/|ω| 또는 그의 정수 배수를 가진 주기적 해를 갖는다는 것을 검증한다.

실험 결과

연구 질문

• RQ1 N개의 일阶 ODE 시스템이 차수 M의 동차 다항식 비선형성을 갖는 조건에서 언제 명시적 해를 갖는가?
• RQ2 계수와 초기 조건을 동시에 포함하는 제약 조건이 이러한 시스템에서 폐쇄형 해를 도출하는 데 어떻게 기여하는가?
• RQ3 변수의 치환을 통해 명시적 해 틀을 주기적 해로 확장할 수 있는가?
• RQ4 복소 시간과 주파수 변조는 비주기적 해를 갖는 시스템을 주기적 해로 변환하는 데 어떤 역할을 하는가?
• RQ5 초기 자료와 계수 간의 상호작용은 시스템의 동역학적 행동을 어떻게 제어할 수 있는가?

주요 결과

• 계수와 초기 자료가 식 (3b)에 제시된 N개의 제약 조건을 만족할 경우, 시스템 (1)은 명시적 해 zn(t) = zn(0)(1 + Kt)^{1/(1−M)}를 갖는다.
• N=2, M=4일 경우 해는 zn(t) = zn(0)[1 + Kt]^{-1/3}이며, 식 (4c)에 따라 10개의 계수 cnm 중 두 개를 나머지 여덟 개와 초기 자료로 명시적으로 표현할 수 있다.
• 주기적 변형은 (5)식의 변환을 통해 실시간 t를 복소수 τ로 매핑함으로써 구성되며, 이로 인해 주기 T = 2π/|ω|를 갖는 xn(t)과 yn(t)의 해를 가진 시스템 (6)이 도출된다.
• N=2, M=4인 주기적 경우, 해는 ζn(t) = [xn(0)+iyn(0)] exp(iωt/3) · [1 + (KR+iKI)(exp(iωt)−1)/(iω)]^{-1/3} 형태이며, 복소수 제약 조건 (8c)가 KR, KI, 초기 자료, 계수를 연결한다.
• 식 (3b)는 계수 또는 K를 구할 때 선형 제약 조건이므로 명시적 대수적 해를 가능하게 하며, 비선형 케이스의 경우 수치적 처리가 필요하다.
• 이 방법은 임의의 N과 M에 적용 가능하며, 유도된 해는 정확하고 모든 t ≥ 0에서 유효하며, 주기성은 복소 시간 매핑에 의해 자연스럽게 유도된다.