[論文レビュー] Simple identification of fake Lax pairs

Samuel Butler, Mike Hay|arXiv (Cornell University)|Nov 11, 2013

Model Reduction and Neural Networks参考文献 11被引用数 19

ひとこと要約

本稿では、可積分性を示さないが真のLax対に似た振る舞いを示す偽Lax対を特定する2つの単純で広く適用可能な手法を提示する。1つ目の手法は、従属変数を消去するゲージ変換を用いて偽Lax対を検出するものであり、2つ目の手法は系に余剰な自由度が存在するかどうかを特定するものである。主な貢献は、離散的・連続的・行列的・スカラー的系のすべてに適用可能な実用的で一般的なテストを提供することにある。

ABSTRACT

Two simple ways to identify and explain fake Lax pairs are provided. The two methods are complementary, one involves finding a gauge transformation which can be used to remove the associated nonlinear system's dependent variable(s) from a fake Lax pair. The second method shows that excess degrees of freedom exist in fake Lax pairs. We provide several examples to illustrate both tests. The tests proposed here can be applied to all types of Lax pairs, including scalar or matrix linear problems associated with ordinary or partial difference and/or differential systems.

研究の動機と目的

• 可積分系研究分野において、偽Lax対が真のLax対として誤って発表されるという広範な問題に対処すること。
• 既存の手法が限界や複雑さを示す分野においても、偽Lax対と真のLax対を区別できる単純で汎用性の高い手法を提供すること。
• あらゆる種類のLax対定式化において、偽Lax対を同定するのに十分（ただし必要ではない）な基準を確立すること。
• 偽Lax対は両方のテストに失敗し、真のLax対は両方に合格することを示し、信頼性の高い診断ツールを提供すること。
• 偽Lax対は可積分性を示さないが、コール・ホプフ変換のような変換を介した線形化など、間接的な有用性を有することがあることを明確にすること。

提案手法

• 1つ目の手法は、Lax方程式からすべての従属変数（例：u, ū, ŝ）を消去するゲージ変換を適用することで、偽Lax対を検出する。これは、整合性条件を用いて系を簡略化することで実現される。
• もし、G が存在して Ĝ⁻¹LG = C および Ĝ⁻¹MG = D（C および D が従属変数に依存しない定数行列）を満たすならば、Lax対は偽物と分類される。
• 2つ目の手法は、系に余剰な自由度が存在するかどうかを特定することで、偽Lax対を同定するものである。
• この手法は、整合性条件を分析して、任意または余剰なパラメータが許容されるかどうかを検討することで実行され、一意な非線形系が存在しないことを示す。
• 両手法は、スカラーおよび行列Lax対、離散的および連続的設定において適用可能であり、消去できないスペクトルパラメータが存在する限り有効である。
• 文献からの例を通じて手法の有効性が示され、バーガー方程式のLax対やその他の非線形系の例において、両方のテストが偽物であることを確認している。

実験結果

リサーチクエスチョン

• RQ1 構造的に類似しているにもかかわらず、真のLax対と偽Lax対を信頼性高く区別する方法は何か？
• RQ2 離散的・連続的・行列的・スカラー的系のすべてに適用可能な、最小限で一般的かつ計算的に実行可能な基準として、偽Lax対を同定するには何が必要か？
• RQ3 整合性条件を満たしても可積分性を示さないLax対が存在する理由は何か？そして、そのような状況を示す構造的特徴は何か？
• RQ4 偽Lax対は、逆散乱法を用いない場合でも、非線形系の解法においてどれほど有用である可能性があるか？
• RQ5 余剰自由度の存在、またはゲージ変換による従属変数の消去可能性が、偽物の明確な指標として用いられる可能性はあるか？

主な発見

• 既知のすべての偽Lax対は、提示された両方のテストに失敗する。
• ゲージ変換手法は、偽Lax対が存在する場合には、すべての従属変数を正しく消去し、定数係数の線形方程式系に還元する。
• バーガー方程式のLax対の例では、整合性条件が不定方程式系を導き、余剰自由度テストにより偽物として確認される。
• この手法は、系が複雑に見えたり、コール・ホプフ変換などの既知の変換から導かれていても、有効である。この変換は系を線形化するが、逆散乱法による可積分性を示すわけではない。
• テストは広範に適用可能である：離散的・連続的系、行列的・スカラー的Lax対、スペクトルパラメータの有無に関わらず（ただし、そのパラメータが消去不能である場合に限る）有効である。
• 著者らは、非消去可能なスペクトルパラメータを持たないLax対は、おそらく偽物であると結論づける。なぜなら、それらはスペクトル解析や逆散乱法をサポートできないからである。