[논문 리뷰] The modified simplest equation method to look for exact solutions of nonlinear partial differential equations

Olga Yu. Efimova|arXiv (Cornell University)|2010. 11. 20.

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

한 줄 요약

이 논문은 비선형 편미분방정식(PDE)의 정확한 해를 유도하기 위해 간단한 방정식 방법의 수정된 버전을 제안한다. 이는 이동파 해를 넘어서는 접근법을 확장한다. 선형 보조 방정식의 해를 이용해 해를 표현하고, 이를 바탕으로 유도된 대수적 시스템을 풀어, 세제곱 항을 포함한 일반화된 코르테웨그-데 브리즈 방정식과 기름기 있는 기포가 포함된 유체에서 비선형 파동을 모델링하는 삼차 Kudryashov-Sinelshchikov 방정식에 대해 새로운 정확한 해를 도출한다.

ABSTRACT

The modification of simplest equation method to look for exact solutions of nonlinear partial differential equations is presented. Using this method we obtain exact solutions of generalized Korteweg-de Vries equation with cubic source and exact solutions of third-order Kudryashov-Sinelshchikov equation describing nonlinear waves in liquids with gas bubbles.

연구 동기 및 목표

• 이동파 해를 초월하는 비선형 PDE에 적용 가능한 가장 단순한 방정식 방법의 일반화된 버전을 개발하는 것.
• Maple과 같은 기호 계산 도구를 사용하여 해법 과정을 완전 자동화하는 것.
• 유체역학 및 수학물리학에서 나타나는 두 가지 중요한 비선형 PDE에 대한 정확한 해석적 해를 도출하는 것.
• 방정식의 매개수에 대한 제약 조건을 도출하여 정확한 해가 존재하는 조건을 설정하는 것.
• 액체-기체 혼합물에서 압력파를 기술하는 Kudryashov-Sinelshchikov 방정식에 대한 새로운 정확한 해를 제시하는 것.

제안 방법

• 비선형 PDE의 해가 알려진 해를 가진 선형 보조 방정식의 해들의 유한한 급수 형태로 표현될 수 있다고 가정한다.
• 보조 방정식은 $ Z_{x}^{(l)} = b_1 Z_{x}^{(l-1)} + \cdots + b_{l-1} Z $ 및 $ Z_t = c_1 Z_{x}^{(l-1)} + \cdots + c_{l-1} Z $ 로 정의되며, 여기서 $ Z $ 는 선형 PDE 시스템을 만족한다.
• 원래 PDE의 극점/영점 차수 분석을 바탕으로 해를 구성하며, 형태로 $ u = a_0 + a_1 \frac{Z_x}{Z} $ 또는 $ u = a_0 + a_1 Z + \cdots + a_n Z^n $ 를 사용한다.
• 가정식을 원래 PDE에 대입하면, $ Z $ 와 그 도함수들의 거듭제곱 항 계수를 비교함으로써 대수적 시스템이 유도된다.
• 대수적 시스템을 풀면 매개수 $ p_i $, $ \alpha $, $ \beta $, $ \sigma $ 및 계수 $ a_i $, $ b_j $, $ c_j $ 에 대한 제약 조건이 도출된다.
• 최종 해는 보조 선형 PDE 시스템의 해를 통해 표현되며, 다양한 매개수 영역에 대해 명시적인 형태가 유도된다.

실험 결과

연구 질문

• RQ1 가장 단순한 방정식 방법은 이동파 해를 초월하는 비선형 PDE의 정확한 해를 찾는 데 일반화될 수 있는가?
• RQ2 이 방법을 통해 정확한 해가 존재하기 위해 일반화된 코르테웨그-데 브리즈 방정식의 매개수에 필요한 조건은 무엇인가?
• RQ3 Kudryashov-Sinelshchikov 방정식이 수정된 가장 단순한 방정식 접근법을 통해 정확한 해를 갖기 위한 매개수 제약 조건은 무엇인가?
• RQ4 Maple과 같은 기호 계산 환경을 사용하여 이 방법을 완전히 자동화할 수 있는가?
• RQ5 Kudryashov-Sinelshchikov 방정식에 대해 유도된 정확한 해는 새로운가? 그리고 물리적으로 의미 있는가?

주요 결과

• 세제곱 항을 포함한 일반화된 코르테웨그-데 브리즈 방정식의 경우, 제약 조건 $ p_6 = p_1 + 2p_5 $ 하에서 정확한 해를 도출할 수 있으며, $ p_2^2 - 4p_3 $ 의 부호에 따라 세 가지의 서로 다른 해 유형이 존재한다.
• 만약 $ p_2^2 - 4p_3 > 0 $ 이면, 해는 실수 지수 $ \lambda_{1,2} = \frac{-p_2 \pm \sqrt{p_2^2 - 4p_3}}{2} $ 를 가진 지수 함수를 포함하는 유리 하이퍼볼릭 함수 형태이다.
• 만약 $ p_2^2 - 4p_3 = 0 $ 이면, 해는 변수 $ \bar{x} $ 에 대한 선형 및 지수 함수를 포함하는 유리 함수 형태로 간소화된다. 여기서 $ \lambda = -p_2/2 $ 이다.
• 만약 $ p_2^2 - 4p_3 < 0 $ 이면, 해는 삼각함수 $ \sin $ 과 $ \cos $ 를 포함하며, 변수 $ \tilde{x} $ 에서 복소수 유사 진동 행동을 보인다.
• Kudryashov-Sinelshchikov 방정식의 경우, 다섯 가지의 서로 다른 매개수 영역에서 정확한 해를 도출할 수 있으며, 이는 $ \beta = -1, n = 2 $ 및 $ \sigma = -1, \beta = 2 $ 등의 경우를 포함하며, 각각 $ b_1, b_2, c_1, c_2 $ 에 대한 특정 제약 조건이 수반된다.
• $ \beta = -2 $ 인 경우, $ \alpha $ 의 값에 따라 하이퍼볼릭, 다항식, 삼각함수 형태의 해가 존재하며, $ C_1, C_2 $ 와 시간에 의존하는 변수 $ z_1, z_2 $ 를 포함하는 명시적 표현이 유도된다.