[論文レビュー] Multiscale expansion of the lattice potential KdV equation on functions of infinite slow-varyness order

Rafael Hernández Heredero, D. Levi+2 more|arXiv (Cornell University)|Jun 7, 2007

Advanced Mathematical Physics Problems参考文献 8被引用数 8

ひとこと要約

この論文は、無限階の緩やかに変化する関数を用いて、格子ポテンシャルKdV方程式に対する多スケール摂動解析を拡張し、すべての段階で有効なシフト作用素の形式的多スケール展開を導入する。最低次の恒等的条件により、無限階差分作用素で表された非線形格子シュレーディンガー方程式が得られ、可積分性は無限階の極限でのみ証明される。この極限では、$Î$-作用素を介してLaxペアの形式が出現する。

ABSTRACT

We present a discrete multiscale expansion of the lattice potential Korteweg-de Vries (lpKdV) equation on functions of infinite order of slow-varyness. To do so we introduce a formal expansion of the shift operator on many lattices holding at all orders. The lowest secularity condition from the expansion of the lpKdV equation gives a nonlinear lattice equation, depending on shifts of all orders, of the form of the nonlinear Schrödinger (NLS) equation

研究の動機と目的

• 緩やかに変化する関数の無限階への離散的多スケール摂動技法の一般化を目的とする。
• 緩やかに変化する関数のすべての段階で有効な、格子ポテンシャルKdV方程式の整合的な多スケール展開を導出すること。
• 得られた低次元方程式が可積分である条件を特定すること、特に緩やかに変化する関数の無限階極限における性質に注目する。
• 形式的作用素展開を通じて、lpKdV方程式の多スケール還元と離散非線形シュレーディンガー方程式との間の関係を確立すること。

提案手法

• シフト作用素 $T_n$ を無限級数として $Î$-微分作用素に展開する形式的展開を導入する。$T_n = e^{\delta_n} = \sum_{i=0}^\infty \frac{\delta_n^i}{i!}$ であり、$\delta_n = \ln(1 + \Delta_n)$ である。
• この展開を格子ポテンシャルKdV方程式に適用し、複数の緩やかに変化するスケール $n_1, n_2, \dots, n_K$ を用いた多スケール解析を実施する。
• 最低次の恒等的条件を導出し、無限階差分作用素で表された非線形格子シュレーディンガー型方程式が得られる。
• スペクトルパラメータ $\eta$ を用いた $\delta$-作用素を用いた行列Laxペアを、低次元方程式に対して構築し、緩やかに変化する関数の次数 $\ell = \infty$ のみで可積分性が証明されることを示す。
• 形式的枠組みを用いて、$\ell = 2$ のとき、[7, 9]で得られた離散NLS方程式が特殊ケースとして回復されることを示し、有限階近似では高次項が消えることを確認する。
• Laxペアの整合性を解析し、差分作用素のLeibniz則の不成立により、有限の $\ell$ では非整合的であることが判明する。

実験結果

リサーチクエスチョン

• RQ1 関数が無限階の緩やかに変化する性質を持つとき、格子ポテンシャルKdV方程式の多スケール展開の構造はいかなるものか？
• RQ2 無限階の緩やかに変化する極限が、低次元方程式の形にどのように影響を与えるか？
• RQ3 低次元方程式に対してLaxペアを構築できるか。また、その整合性はどのような条件下で成立するか？
• RQ4 得られた離散非線形シュレーディンガー方程式は可積分であるか。可積分性は緩やかに変化する関数の次数に依存するか？
• RQ5 シフト作用素の展開が、離散的・連続的可積分系を結ぶ役割を果たすか？

主な発見

• 多スケール展開の最低次の恒等的条件により、無限階差分作用素で表された非線形格子シュレーディンガー方程式が得られる。
• 低次元方程式は、緩やかに変化する関数の次数 $\ell = \infty$ のみで可積分であり、Laxペアの存在によって確認される。
• 任意の有限 $\ell$ に対して、Laxペアは差分方程式系に還元されるが、差分作用素のLeibniz則の不成立により、緩やかに変化する近似のもとで非整合的である。
• [7, 9]で得られた離散NLS方程式は $\ell = 2$ の特別な場合として回復され、従来の結果と整合的であることが確認された。
• シフト作用素 $T_n$ を $e^{\delta_n}$ として展開する形式的枠組みにより、すべての段階で離散差分作用素と微分作用素を関連付ける体系的な方法が得られる。
• 低次元方程式の行列Laxペアは $\delta$-作用素とスペクトルパラメータ $\eta$ で表され、係数 $\rho_1$ と $\rho_2$ は $\ell = \infty$ の極限でのみ実数となる。