[논문 리뷰] Solution of the KdV equation using evolutionary vessels

Andrey Melnikov|arXiv (Cornell University)|2011. 10. 16.

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

한 줄 요약

이 논문은 연산자 실현과 리아푸노프 유형 방정식을 기반으로 한 산란 역방법의 일반화인 진화 선형체를 사용하여 코르테웨그-데 브리스(Korteweg-de Vries, KdV) 방정식을 해결하기 위한 통합 프레임워크를 제안한다. 주요 기여는 행렬 값 함수 $ S(\lambda) $ 와 관련된 연산자들을 통해 솔리톤, 주기적, 거의 주기적, 해석적 해를 포함한 다양한 해의 체계적인 구성이다. 잠재력 $ q(x,t) $ 는 타우 함수 $ \tau(x,t) = \det(\mathbb{X}_0^{-1}\mathbb{X}(x,t)) $ 로부터 유도되며, 이는 $ q(x,t) = -2\partial_x^2 \tau(x,t) $ 를 만족하여 KdV 방정식을 충족시킨다.

ABSTRACT

In this work we present a new method for solving of the Korteweg-de Vries (KdV) equation q'_t = - \dfrac{3}{2} q q'_x + \dfrac{1}{4} q"'_{xxx}. The proposed method is a particular case of the theory of evolutionary vessels, developed in this work. Inverse scattering of the Sturm-Liouville operator and evolution of its potential are the basic ingredients, similar to the existing methods developed by Gardner-Greene-Kruskal-Miura (1967), Zacharov-Shabbath (1974) and Peter Lax (1977). Evolutionary KdV vessel may be considered as a generalization of these previous works. The advantage of the new method is that it produces a unified approach to existing solutions of the KdV equation. For example, odd or even analytic, periodic, almost periodic solutions are shown to be particular cases of this theory. Generalizing this method we can also produce many PDEs, associated with integrable systems, in an arbitrary number of variables (in the spirit of Zakarov-Shabat).

연구 동기 및 목표

• KdV 방정식을 산란 역방법의 일반화인 진화 선형체를 사용하여 통합 프레임워크로 개발하는 것.
• 가든어-그린-크루스칼-미우라 및 자카로프-샤바트의 고전적 접근 방식을 단일 연산자 이론적 구조에 통합하여 확장하는 것.
• 다양한 해 클래스—솔리톤, 주기적, 거의 주기적, 해석적 해—가 제안된 진화 선형체 형식의 특수한 경우임을 보여주는 것.
• KdV 방정식의 홀수 대칭 해와 KdV 진화 선형체의 표준 구성 간의 1:1 대응 관계를 설정하는 것.
• 이 프레임워크가 고차원 통합 가능한 체계 및 기타 편미분 방정식으로 일반화될 잠재력을 탐색하는 것.

제안 방법

• 해리만 공간 $ \mathcal{H} $, 연산자 $ A, \mathbb{X}_0, B_0 $, 행렬 $ \sigma_1, \sigma_2, \gamma $ 를 포함하는 실현을 통해 $ 2\times2 $ 행렬 함수 $ S(\lambda) $ 를 구성하며, 리아푸노프 유형 방정식을 만족시킨다.
• 시간과 공간에 따라 $ B(x,t) $, $ \mathbb{X}(x,t) $ 와 그 도함수의 미분 방정식을 통해 시스템을 진화시키며, $ x $ 와 $ t $ 에서 모두 리아푸노프 방정식을 유지한다.
• 해의 잠재력 $ q(x,t) $ 는 타우 함수 $ \tau(x,t) = \det(\mathbb{X}_0^{-1}\mathbb{X}(x,t)) $ 로부터 유도되며, $ q(x,t) = -2\partial_x^2 \tau(x,t) $ 를 만족한다.
• 초기 자료로 유한 차원 또는 무한 차원 힐버트 공간을 사용하며, 연산자 $ A, B(x,t), \mathbb{X}(x,t) $ 의 진화를 통해 라크스 쌍 유사한 구조를 사용한다.
• 홀수 대칭 해의 경우, $ -k_N = k_{-N} $ 와 $ \Gamma + \Gamma = \Gamma $ 와 같은 조건을 도입하여 $ |b_N(t)|^2 $ 를 위한 상미분 방정식의 체계를 이끌어낸다.
• 선형체 정의의 매개변수 조정을 통해 비선형 슈뢰딩거 방정식 및 루프 군 해와 같은 다른 통합 가능한 체계로 이론을 일반화할 수 있다.

실험 결과

연구 질문

• RQ1 산란 역방법을 일반화한 통합 연산자 이론적 프레임워크를 통해 KdV 방정식을 어떻게 해결할 수 있는가?
• RQ2 고전적 해 클래스(솔리톤, 주기적, 거의 주기적)와 제안된 진화 선형체 구성 간의 관계는 무엇인가?
• RQ3 KdV 방정식의 세갈-윌슨 루프 군 해는 선형체 프레임워크 내에서 어떻게 실현될 수 있는가?
• RQ4 진화 선형체를 사용하여 자카로프-샤바트 체계를 무한 차원 통합 가능한 체계로 어떻게 일반화할 수 있는가?
• RQ5 KdV 방정식의 홀수 대칭 해가 선형체 매개변수로부터 유도되는 조건은 무엇인가?

주요 결과

• KdV 방정식은 타우 함수 $ \tau(x,t) = \det(\mathbb{X}_0^{-1}\mathbb{X}(x,t)) $ 를 통해 해결되며, $ q(x,t) = -2\partial_x^2 \tau(x,t) $ 는 KdV 방정식을 만족한다.
• 행렬 함수 $ S(\lambda) $ 의 유한 차원 실현은 정리 9에 의해 솔리톤 해를 유도한다.
• 홀수 대칭 해는 $ -k_N = k_{-N} $ 와 $ \Gamma + \Gamma = \Gamma $ 를 만족하는 선형체와 대응하며, 이는 $ |b_N(t)|^2 $ 를 위한 상미분 방정식의 체계를 이끈다.
• 정규화 조건 $ \sum_N \frac{1}{k_N^2} \frac{d|b_N(t)|^2}{dt} = 0 $ 은 해의 가정의 일관성을 보장한다.
• 계수의 시간 진화를 제어하는 미분 방정식은 $ \frac{1}{k_N^2} \frac{d|b_N(t)|^2}{dt} = -\frac{3}{2} \sum_{k_n + k_m = k_N} \frac{|b_n(t)b_m(t)|^2}{k_n k_m} \cos(6k_n k_m k_N t) $ 이다.
• 이 방법은 홀수 대칭 해 클래스와 표준 KdV 진화 선형체 사이의 1:1 대응 관계를 제공하며, 표 1에 요약되어 있다.