선형화 변환을 통한 2차 비선형 미분방정식 해법

초록

본 논문은 2차 비선형 상미분방정식이 베르누이 방정식 형태의 첫 적분을 가질 때, 그 적분을 완전 미분 형태로 재구성하여 점 변환(PT), Sundman 변환(ST), 일반화 선형화 변환(GLT) 세 가지 선형화 변환을 체계적으로 도출하는 방법을 제시한다. 각 변환에 대한 구체적 조건과 변환식, 그리고 변환 후 얻어지는 일반 해를 제시하고, 세 가지 사례를 통해 절차를 실증한다.

상세 분석

논문은 먼저 2차 비선형 ODE가 첫 적분 I(t,x,ẋ)=A(t,x)ẋ+B(t,x)·C(t,x)ẋ+D(t,x) 형태를 가질 수 있음을 가정한다. 여기서 A, B, C, D는 아직 미정인 함수이며, 적분을 ẋ에 대한 베르누이 방정식 형태로 변형한다. 구체적으로 ẋ=ã(t)x+ b̃(t)x^q 로 정리하고, 이를 다시 원래 변수와 시간 함수 r₁…r₄, f(t) 로 표현한다. 이 과정에서 얻어진 2차 ODE의 계수 a₂, a₁, a₀은 (9a‑c) 식에 따라 r_i와 f(t)의 조합으로 정의된다.

핵심 아이디어는 첫 적분 I를 두 개의 완전 미분 함수의 비율로 쓰는 것이다. I = (dF/dt)/(dG/dt) 형태로 전개하면, w=F(t,x)와 z=∫G(t,x,ẋ)dt 라는 새로운 종속·독립 변수 쌍이 정의된다. w와 z 사이의 관계는 d²w/dz²=0, 즉 자유 입자 방정식으로 바로 선형화된다. 여기서 G가 ẋ를 포함하지 않으면 Sundman 변환, G가 완전 미분 형태이면 점 변환, G가 ẋ를 포함하면서도 완전 미분이면 일반화 선형화 변환이 된다.

점 변환을 얻기 위해서는 분자와 분모의 전치 계수가 서로 소거되도록 r₁(t)와 r₃(t) 사이에 (17)식, 즉 r₁ = (ḟ/f)(q−1)+r₃·f 관계가 필요하다. 이 조건이 만족되면 변환식 (19)은 순수히 t와 x만을 포함하는 함수들로 구성된 PT를 제공한다.

Sundman 변환은 f(t)=0인 경우에만 가능함을 보인다. 이때 적분식 (26)‑(28)은 ẋ이 1차 다항식 형태로 나타나며, 새로운 독립 변수 z는 ∫(r₃x^{1−q}+r₄)dt 로 정의된다. 결과적으로 비선형 ODE는 z에 대한 2차 선형 방정식으로 변환되고, 해는 (28)식으로 직접 적분해 얻을 수 있다.

일반화 선형화 변환(GLT)은 f(t)≠0이면서도 G가 ẋ를 포함하는 경우에 해당한다. 이때 변환식 (31)은 z = ∫