[논문 리뷰] On Solving Some Classes of Second Order ODEs

Rami AlAhmad, Mohammadkheer Al-Jararha|arXiv (Cornell University)|2017. 05. 23.

Gyrotron and Vacuum Electronics Research참고 문헌 5인용 수 5

한 줄 요약

이 논문은 물리학 및 공학에서 발생하는 두 번째 차수의 상미분방정식(OED) 세 가지 유형을 해석적으로 풀기 위한 방법을 제시한다: 체비셰프 유형 ODE, 상수 계수를 가진 f-유형 ODE, 정확한 방정식으로 변환 가능한 f-유형 ODE. 이 방법은 변수 변환, 적분인자, 정확성 조건을 사용하여 복잡한 비선형 ODE를 해결 가능한 일계 형태로 감소시키며, 일반화된 체비셰프, 코시-오일러, 그리고 초함수 유형의 방정식에 대한 닫힌 형태의 해를 가능하게 한다.

ABSTRACT

In this paper, we introduce some analytical techniques to solve some classes of second order differential equations. Such classes of differential equations arise in describing some mathematical problems in Physics and Engineering.

연구 동기 및 목표

• 변분법과 물리적 모델링에서 발생하는 광범위한 두 번째 차수 ODE를 해결하기 위한 해석 기법을 개발하는 것.
• 기존의 체비셰프, 코시-오일러, 초함수 방정식을 통합된 프레임워크로 일반화하는 것.
• f-유형 ODE와 정확한 두 번째 차수 방정식으로 변환 가능한 방정식을 체계적으로 해결하기 위한 방법을 제공하는 것.
• 변수 치환, 적분인자, 첫 번째 적분 계산을 통해 닫힌 형태의 해를 가능하게 하는 것.

제안 방법

• 체비셰프 유형 ODE를 해결 가능한 형태로 변환하기 위해 $ z = \sqrt{p(x)} y' $ 를 사용하는 변환을 도입한다.
• 비정확한 두 번째 차수 ODE에 적분인자를 적용하여 계수 조건을 만족할 경우 정확한 방정식으로 변환한다.
• 정확성 조건을 사용한다: $ \frac{\partial a_2}{\partial z} = \frac{\partial a_1}{\partial z'} $, $ \frac{\partial a_2}{\partial x} = \frac{\partial a_0}{\partial z'} $, 그리고 $ \frac{\partial a_1}{\partial x} = \frac{\partial a_0}{\partial z} $.
• 선적분을 통해 정확한 방정식의 첫 번째 적분을 유도한다: $ \int_{x_0}^x a_0 d\alpha + \int_{z_0}^z a_1 dx_0 d\beta + \int_{z_0'}^{z'} a_2 dx_0 dz_0' = c $.
• 특정 방정식, 예를 들어 $ xe^y(2x + e^y)(y'' + (y')^2) + \cdots = 0 $ 에 이 방법을 적용하여 $ z = e^y $ 를 사용하고 적분인자를 찾는다.
• 선형 비동차 ODE의 경우 $ W(a_2, a_1) = a_0 a_2 $ 를 만족할 때 $ \mu(x) = 1/a_2(x) $ 를 적분인자로 사용하여 방정식을 첫 번째 적분 형태로 감소시킨다.

실험 결과

연구 질문

• RQ1 일반화된 변환을 통해 체비셰프 유형의 두 번째 차수 ODE를 체계적으로 어떻게 풀 수 있는가?
• RQ2 상수 계수를 가진 f-유형 두 번째 차수 ODE가 어떤 조건에서 해결 가능한 형태로 감소할 수 있는가?
• RQ3 비선형 f-유형 두 번째 차수 ODE는 변수 치환을 통해 정확한 방정식으로 변환할 수 있는가?
• RQ4 비정확한 f-유형 두 번째 차수 ODE에 대해 적분인자가 존재하는 조건은 무엇인가?
• RQ5 정확한 두 번째 차수 ODE의 첫 번째 적분은 어떻게 계산하고, 이를 통해 차수를 낮출 수 있는가?

주요 결과

• 변환 $ z = \sqrt{p(x)}y' $ 를 통해 $ p(x)y'' + \frac{1}{2}p'(x)y' + f(\sqrt{p(x)}y', y) = 0 $ 형태의 체비셰프 유형 ODE는 일계 시스템으로 감소되어 해결 가능하다.
• 상수 계수를 가진 f-유형 ODE의 경우, $ a_2(f'y'' + (y')^2 f'') + a_1 f' y' + a_0 f(y) = g(x) $ 는 $ z = f(y) $ 를 사용한 변환 후 첫 번째 적분을 얻을 수 있으며, 이는 해를 허용한다.
• 방정식 $ p(x)(f'y'' + (y')^2 f'') + \frac{1}{2}p'(x)f' y' + a_0 f(y) = 0 $ 는 $ z = f(y) $ 로 변환하여 일계 방정식으로 변환하여 해결 가능하다.
• 비선형 ODE $ xe^y(2x+e^y)(y'' + (y')^2) + \cdots = 0 $ 에 대해 $ \mu(x,z) = \frac{1}{xz(2x+z)} $ 인 적분인자를 발견하였으며, $ z = e^y $ 로 치환한 후 정확한 형태로 변환된다.
• 변환된 정확한 방정식 $ z'' + \frac{x+z}{z(2x+z)}z' + \frac{3x+z}{x(2x+z)} = 0 $ 의 첫 번째 적분은 $ z' + \ln(xz\sqrt{2x+z}) = c $ 로 주어지며, 표준 방법으로 해결 가능하다.
• 선형 비동차 ODE의 경우, 적분인자 $ \mu(x) = e^{-x} $ 를 사용하여 $ e^x y'' + \cos x y' - (\cos x + \sin x)y = h(x) $ 를 $ y'' + e^{-x}\cos x y' - e^{-x}(\cos x + \sin x)y = h(x)e^{-x} $ 로 감소시키며, 이의 첫 번째 적분은 $ y' + e^{-x}\cos x y = \int h(\xi)e^{-\xi} d\xi + c_1 $ 로 주어진다.