[論文レビュー] Integrability study of a four-dimensional eighth-order nonlinear wave equation

Sergei Sakovich|arXiv (Cornell University)|Jul 28, 2016

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

ひとこと要約

本稿は、特異的アフィンリー代数 $\nabla_6^{(1)}$ に関連する4次元8次非線形波動方程式の可積分性を、Painlevé解析を用いて調査している。マルチソリトン解を有するが、共鳴 $n=14$ における非ゼロの整合性条件により、Painlevéテストに失敗し、Laxの意味での可積分性を欠くことが示唆されるが、低次の可積分的還元が存在する可能性がある。

ABSTRACT

We study the integrability of the four-dimensional eighth-order nonlinear wave equation of Kac and Wakimoto, associated with the exceptional affine Lie algebra ${\mathfrak e}_6^{(1)}$. Using the Painlevé analysis for partial differential equations, we show that this equation must be non-integrable in the Lax sense but very likely it possesses a lower-order integrable reduction.

研究の動機と目的

• 特異的アフィンリー代数 $\nabla_6^{(1)}$ に関連するKac–Wakimotoの4次元8次非線形波動方程式の可積分性を評価すること。
• 先行文献で提示された可積分性にもかかわらず、マルチソリトン解を有するという事実を踏まえ、Lax表現が存在するかどうかを特定すること。
• 4次元での可積分性に欠けるにもかかわらずマルチソリトン解が存在する理由を説明できる、低次元の可積分的還元が存在するかを調査すること。
• 任意のパラメータ $a$, $b$, $c$ を含む高次元・高次の非発展型PDEに対して、Painlevé解析を適用すること。
• 非可積分性が、$y$-, $z$-, $t$-独立な還元に対しても一貫して成立するかを調査すること。

提案手法

• Kac–Wakimoto方程式のHirota双線形形式を、場変数 $u = 2\tau_x / \tau$ における非線形PDEに変換した。
• 得られた非線形PDEに対してPainlevé解析を適用し、特異的でない超曲面 $\rho = x + \rho(y,z,t)$ におけるローラン型特異展開を仮定した。
• 特異的挙動の3つの異なる分岐を特定し、先行項の指数が $\rho^{-1}$ で、係数が $u_0 = 2, 4, 6$ であることを特定した。
• 各分岐における共鳴位置を計算し、$u_0 = 2$（一般分岐）では $r = -1,1,2,3,4,5,8,14$ を得た。
• 再帰関係を用いてローラン展開における係数 $u_n$ を計算し、共鳴位置における整合性条件を確認した。
• 共鳴 $n=14$ における非ゼロの整合性条件を発見し、展開に対数項が必要であることを示し、これは非可積分性の明確な兆候である。

実験結果

リサーチクエスチョン

• RQ1 特異的アフィンリー代数 $\nabla_6^{(1)}$ に関連する4次元8次非線形波動方程式は、可積分性のためのPainlevéテストに合格するか？
• RQ2 Laxペアが既知でないにもかかわらずマルチソリトン解が存在することは、どのように説明できるか？
• RQ3 この方程式の低次元還元のうち、可積分なものが存在するか、それがマルチソリトン構造の説明に寄与するか？
• RQ4 共鳴位置 $n=14$ における整合性条件は恒等的に満たされるか、それとも解空間に非自明な制約を課すか？
• RQ5 $n=14$ におけるローラン展開での対数的分岐が、Lax可積分性を明確に排除するか？

主な発見

• Painlevé解析により、Kac–Wakimoto方程式は共鳴 $n=14$ における非ゼロの整合性条件により、可積分性テストに失敗することが判明した。
• 共鳴 $n=14$ における整合性条件は $u_8 = \frac{1}{u_3^2} P[u_1,u_2,u_3,u_4,u_5; a,b,c]$ の形を取り、$P$ は非自明な多項式である。これは、対数項なしではローラン展開が有効でないことを示唆する。
• 解の展開における対数的分岐の出現は、Laxの意味での非可積分性を強く示す、逆転不能な兆候である。
• パrameter $a$, $b$, $c$ のすべての値に対して非可積分性の結果は成立し、元のケース $a = -280\bar{6}$, $b = 210$, $c = -240\bar{2}$ および $y$-, $z$-, $t$-独立な還元に対しても同様である。
• $z$-独立還元は $\nabla_4^{(3)}$ に関連する方程式に対応し、これもPainlevéテストに失敗し、非可積分である。
• 非可積分性にもかかわらず、方程式は低次元の可積分的還元を有する可能性がある。非自明な整合性条件は8つの任意関数のうち1つしか固定しないため、残りの7つの関数は3つの変数に依存する自由度を有する。