[論文レビュー] Solution of the KdV equation using evolutionary vessels

Andrey Melnikov|arXiv (Cornell University)|Oct 16, 2011

Nonlinear Waves and Solitons参考文献 15被引用数 5

ひとこと要約

本稿では、演算子実現とリャプノフ型方程式に基づく逆散乱法の一般化である進化的ボウエル（evolutionary vessels）を用いて、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).

研究の動機と目的

• 逆散乱法の一般化を用いて、Korteweg-de Vries（KdV）方程式を統一的に解くフレームワークを構築すること。
• Gardner-Greene-Kruskal-Miura や Zakarov-Shabat のような古典的手法を、単一の作用素論的構造に統合すること。
• ソリトン、周期的、ほぼ周期的、解析的解といった多様な解クラスが、提案された進化的ボウエル形式の特別な場合に帰着されることを示すこと。
• 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 $ に対する常微分方程式系が得られる。
• ボウエル定義におけるパrameterの修正により、非線形シュレーディンガー方程式やループ群解など、他の可積分系への一般化が可能となる。

実験結果

リサーチクエスチョン

• RQ1 逆散乱法を一般化した統一的かつ作用素論的枠組みを用いて、KdV方程式をどのように解くことができるか？
• RQ2 古典的解クラス（ソリトン、周期的、ほぼ周期的）と提案された進化的ボウエル構成との間にはどのような関係があるか？
• RQ3 KdV方程式のSegal-Wilsonループ群解は、ボウエルフレームワーク内で実現可能か？
• RQ4 進化的ボウエルを用いて、無限次元可積分系にZakarov-Shabatスキームをどのように一般化できるか？
• 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に要約されている。