[논문 리뷰] Exact solutions to homogeneous and quasi-homogeneous systems of nonlinear ODEs

Andrei D. Polyanin, Alexei I. Zhurov|arXiv (Cornell University)|2021. 07. 22.

Nonlinear Waves and Solitons참고 문헌 2인용 수 5

한 줄 요약

이 논문은 거듭제곱법 및 지수법 가정을 사용하여 1차 비선형 상미분방정식의 준동차 및 2차 비선형 상미분방정식의 동차 시스템에 대한 정확한 해석적 해를 제시한다. 해가 초등함수로 존재할 조건을 유도하였으며, 주요 결과로는 해가 초기 조건과 시스템 내 임의의 함수 사이의 대수적 제약 조건에 따라 결정됨을 보여준다.

ABSTRACT

This note considers fairly general quasi-homogeneous systems of first-order nonlinear ODEs and homogeneous systems of second-order nonlinear ODEs that contain arbitrary functions of several arguments. It presents several exact solutions to these systems in terms of elementary functions.

연구 동기 및 목표

• 기존 비선형 상미분방정식 시스템 해법을 일반화하여 임의의 함수를 포함한 준동차 및 동차 구조로 확장하기.
• 넓은 범위의 비선형 상미분방정식 시스템에 대해 초등함수를 이용한 닫힌 형태의 정확한 해를 제공하기.
• 특히 初기 조건에 대한 대수적 제약 조건을 통해 정확한 해가 존재할 조건을 설정하기.
• 다항비선형성을 가진 동차 시스템에 관한 이전 결과들을 통합하고 일반화하기.
• 대칭성 가정 하에 2차 시스템을 풀 수 있는 2차 상미분방정식으로 감소시키기.

제안 방법

• 1차 시스템에 대해 거듭제곱법 가정을 제안: $ x_n(t) = a_n(1 + Ct)^{-1/m_n} $, 이는 初기 조건 $ a_n $ 에 대한 대수적 제약 조건을 유도한다.
• 2차 시스템을 단일 2차 상미분방정식 $ y(t) $ 에 감소시키기 위해 비례해 풀이하는 가정 $ x_n(t) = a_n y(t) $ 를 적용한다.
• 감소된 2차 상미분방정식 유도: $ y'' = y^m (y')^k F_n(\text{비율}) $, 특정 매개변수 조건 하에서 해가 가능하다.
• 매개변수 $ m + k - 1 \neq 0 $ 인 경우 $ y = A(1 + Ct)^\rho $ 를 가정하고, $ m + k - 1 = 0 $ 인 경우 $ y = B e^{Ct} $ 를 가정하여 명시적 해를 도출한다.
• 임의의 함수 $ F_n $, 初기 조건 $ a_n $, 매개변수 $ C, A, B $ 사이의 일致 조건을 대수적 또는 초월적 방정식을 통해 도출한다.
• 함수 값이 초기 비율에서 상수 $ \lambda $ 와 일致할 경우, 감소된 상미분방정식이 일치함을 보여준다.

실험 결과

연구 질문

• RQ1 준동차 1차 비선형 상미분방정식 시스템이 초등함수로 정확한 해를 가지는 조건은 무엇인가?
• RQ2 동차 2차 비선형 상미분방정식 시스템은 어떻게 단일 해가 가능한 2차 상미분방정식으로 감소시킬 수 있는가?
• RQ3 비율의 임의의 함수를 포함한 2차 시스템에 대해 거듭제곱 비선형성에 대한 정확한 해는 어떤 형태인가?
• RQ4 비선형 항에서 매개변수 $ m $ 과 $ k $ 는 정확한 해의 존재성과 형태에 어떤 영향을 미치는가?
• RQ5 시스템이 척도 대칭성을 보일 경우 정확한 해를 구성할 수 있으며, 초기 조건에 어떤 제약 조건이 발생하는가?

주요 결과

• 시스템 (1) 은 $ x_n(t) = a_n(1 + Ct)^{-1/m_n} $ 의 형태로 정확한 해를 가지며, 상수 $ a_n $ 은 대수적 제약 조건 $ a_n^{m_n} m_n F_n(\text{비율}) + C = 0 $ 를 만족한다.
• 동차 경우 $ m_1 = \cdots = m_N = m $ 에서는 해의 형태가 $ x_n(t) = a_n(1 + Ct)^{-1/m} $ 로 단순화되며, $ a_n $ 은 $ a_n^m m F_n(\text{비율}) + C = 0 $ 의 제약 조건을 만족한다.
• 특수한 경우 $ m = 0 $ 에서는 해가 지수함수 형태: $ x_n(t) = a_n e^{-Ct} $ 로 주어지며, $ F_n(\text{비율}) + C = 0 $ 이다.
• 2차 시스템의 경우 해 $ x_n(t) = a_n y(t) $ 를 통해 시스템이 $ y(t) $ 에 대한 단일 상미분방정식으로 감소되며, $ m + k - 1 \neq 0 $ 일 때 거듭제곱해 $ y = A(1 + Ct)^\rho $ 를 갖는다.
• $ m + k - 1 = 0 $ 인 경우 해는 지수함수 형태: $ y = B e^{Ct} $ 로 주어지며, $ \lambda = C^{2-k} $ 이다.
• $ m = -3, k = 0 $ 인 경우 해는 $ x_n(t) = a_n (C_1 t^2 + C_2 t + C_3)^{1/2} $ 로 주어지며, $ C_1 C_3 - \frac{1}{4} C_2^2 = \lambda $ 이고, $ a_n $ 은 초기 비율에서 평가된 $ F_n $ 을 포함한 제약 조건을 만족한다.