[論文レビュー] Recursion Operators for Multidimensional Integrable PDEs

Artur Sergyeyev|arXiv (Cornell University)|Oct 16, 2017

Nonlinear Waves and Solitons参考文献 23被引用数 6

ひとこと要約

本稿では、スペクトルパラメータ λ に関して線形な1階微分作用素として表現された等スペクトル Lax 対を持つ2階スカラー多変数可積分PDEの再帰作用素を構成する、計算的に効率的な新手法を提示する。この手法は、Lax 対の展開と線形化に基づく体系的な手順に依拠し、既知の方程式に対して再帰作用素を効果的に導出し、2つの新たな再帰作用素を同定した。これは、従来の手法と比較して広範な適用可能性と単純さを示している。

ABSTRACT

We present a novel construction of recursion operators for scalar second-order integrable multidimensional PDEs with isospectral Lax pairs written in terms of first-order scalar differential operators. Our approach is quite straightforward and can be readily applied using modern computer algebra software. It is illustrated by examples, two of which are new.

研究の動機と目的

• 多変数可積分PDEの再帰作用素を構成する、より単純で計算的に扱いやすい手法の開発を目的とする。
• 既存手法の限界、すなわち複雑さや適用範囲の制限を是正することを目的とする。
• 等スペクトルLax対が1階微分作用素として表現される2階PDEに適用可能な体系的手続きの提供を目的とする。
• 既知の可積分方程式、特に2つが未発表のものである、新たな再帰作用素の生成を目的とする。
• 同じLax対フレームワークに従う高階方程式へ、2階PDEに限らない範囲への拡張を目的とする。

提案手法

• 本手法は、等スペクトルLax対が (2) の形をとる2階PDE (1) から出発する。ここで、作用素はスペクトルパラメータ λ に関して線形である。
• 解 ψ がLax対を満たすものとし、線形化方程式 ℓ_F(ψ) = 0 を満たすものと仮定する。これは ψ が非局所的対称性であることを示唆する。
• 形式的ローラン級数展開 ψ = Σ ψ_k λ^{-k} をLax対に代入し、ψ_k から ψ_{k+1} を定義する再帰関係式 (4) を得る。
• 再帰作用素は、対称性 U への作用を表す方程式系 (5) を用いて構成される。ここで係数 f_i^j はLax対の成分から導かれる。
• 係数 f_i^j は、再帰関係式とLax対作用素 X_i^{s,j} の構造を一致させることで決定される。
• 本手法は、コンピュータ代数システムを用いて容易に自動化可能な体系的アルゴリズムとして実装可能である。

実験結果

リサーチクエスチョン

• RQ1 等スペクトルLax対を持つ多変数可積分PDEの再帰作用素を構成する、より単純で一般性の高い手法を開発可能か？
• RQ2 パヴロフ方程式やブロイアー＝フィンレー方程式といった既知の可積分方程式の再帰作用素が、本手法によって再現可能か？
• RQ3 本手法により、形式 (1) の可積分PDEに対して、以前に未知であった新たな再帰作用素を生成可能か？
• RQ4 同様のLax対構造を持つ高階方程式へ拡張した場合、本手法は2階PDEに限らず適用可能か？
• RQ5 既存手法と比較して、本手法の適用範囲に根本的な制限は存在するか？

主な発見

• 本手法は、パヴロフ方程式、6次元ヘヴェンリー方程式、A+B+C=0 を満たすABC方程式といった既知の可積分PDEの再帰作用素を、すべて正確に再現した。
• 2つの新たな再帰作用素が導出された。1つは、文献にまだ登場していない方程式 D_z(u_y/u_x) - D_x(u_t/u_x) = 0 に対して導出された。
• もう1つの新たな再帰作用素は、m = (u_y - u_z)/u_x および n = (u_z - u_t)/u_x を用いた方程式 D_t(m) + αm D_x(n) - D_z(n) - αn D_x(m) = 0 に対して導出された。
• 本手法は2階PDEに限らず、形式 F(𝐱, u, u^{(k)}) = 0 を満たす高階方程式に対しても、Lax対が (2) の形で存在する限り適用可能であることが示された。
• 本手法は計算的に効率的であり、現代のコンピュータ代数ソフトウェアを用いた自動化にも適している。これにより、より複雑な従来手法に代わる実用的代替手段が得られた。
• 形式 (1) の方程式に対して、既知の再帰作用素が本手法で再現できない反例は一切発見されなかった。これは、本手法が広範に適用可能である可能性を示唆している。