[論文レビュー] Integrable equations of the dispersionless Hirota type and hypersurfaces in the Lagrangian Grassmannian

E. V. Ferapontov, Lenos Hadjikos+1 more|arXiv (Cornell University)|May 12, 2007

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

ひとこと要約

本稿は、可積分な分散なしヒロタ型方程式とラグランジュングラスマン多様体内の超曲面との間の幾何的対応関係を確立し、可積分性が十分に多くの三重点接線部分多様体の存在に帰着することを示している。主な結果として、このような方程式のモジュライ空間は21次元であり、その上に $Sp(6)$ が開軌道をもって作用することから、これらの方程式の分類およびそれらの流体還元の統一的幾何的枠組みが得られる。

ABSTRACT

We investigate integrable second order equations of the form F(u_{xx}, u_{xy}, u_{yy}, u_{xt}, u_{yt}, u_{tt})=0. Familiar examples include the Boyer-Finley equation, the potential form of the dispersionless Kadomtsev-Petviashvili equation, the dispersionless Hirota equation, etc. The integrability is understood as the existence of infinitely many hydrodynamic reductions. We demonstrate that the natural equivalence group of the problem is isomorphic to Sp(6), revealing a remarkable correspondence between differential equations of the above type and hypersurfaces of the Lagrangian Grassmannian. We prove that the moduli space of integrable equations of the dispersionless Hirota type is 21-dimensional, and the action of the equivalence group Sp(6) on the moduli space has an open orbit.

研究の動機と目的

• 可積分な2階分散なしヒロタ型方程式の幾何的特徴付けを微分幾何学およびリー群論を用いて行うこと。
• このような方程式とラグランジュングラスマン多様体 $\Lambda(6)$ 内の超曲面との間の対応関係を確立し、可積分性の深い幾何的起源を明らかにすること。
• これらの方程式のモジュライ空間が21次元であり、等価群 $Sp(6)$ の作用が開軌道を持つことから、可積分方程式を分類すること。
• 流体還元の理解のための幾何的枠組みを構築し、恣意的な手法に代わる内禀的な微分幾何的構造を提供すること。
• すべてのこのような可積分系に共通する普遍的なマスターエqationを特定し、特異極限による幾何的還元プロセスの可能性を示唆すること。

提案手法

• 著者らは、$F(u_{xx}, u_{xy}, u_{yy}, u_{xt}, u_{yt}, u_{tt}) = 0$ の形をした2階偏微分方程式を、無限に多くの可換な $n$ 成分 $(1+1)$ 次元流体系が存在することを要件とする流体還元法によって分析する。
• それぞれのこのような方程式に対して、6次元のシンプレクティックベクトル空間内のラグランジュ3次元部分空間の空間であるラグランジュングラスマン多様体 $\Lambda(6)$ 内の超曲面を関連付ける。
• 問題の自然な同値群は $Sp(6)$ と特定され、これは2階ジェット空間 $(u, u_i, u_{ij})$ 上に作用し、21次元の空間をなす。
• 無限小の対称性を2階ジェット空間に拡張し、全微分の組み合わせによって $\partial / \partial x^i$ 項を消去することで、係数が $21 \times 21$ 行列となる。そのランクが軌道次元を決定する。
• 一般の方程式に対してランクが21に達することは、$Sp(6)$-軌道が開であることを確認し、可積分方程式のモジュライ空間が21次元であることを裏付ける。
• 超曲面に誘導される内在的な $GL(2)$ 構造を用いて、計量 $Q_{ij}$ および3次形式 $C_{ijk}$ を用いた可積分性のテンソル的特徴付けの可能性を検討する。

実験結果

リサーチクエスチョン

• RQ1 分散なしヒロタ型方程式の可積分性は、対称性やスペクトル法に依存しない幾何的特徴付けとしてどのように記述できるか？
• RQ2 形式 $F(u_{xx}, u_{xy}, u_{yy}, u_{xt}, u_{yt}, u_{tt}) = 0$ の可積分方程式のモジュライ空間の次元は何か？
• RQ3 $Sp(6)$ 群はこれらの方程式の分類に果たす役割は何か？ また、そのモジュライ空間への作用は、稠密な軌道か、あるいは開軌道をもつか？
• RQ4 すべてのこのような可積分方程式を幾何的極限によって生成する普遍的なマスターエクエーションを構成できるか？
• RQ5 関連する超曲面 $\Lambda(6)$ 内の $GL(2)$ 構造や曲率不変量を用いた、可積分性のテンソル的または不変的特徴付けは存在するか？

主な発見

• 分散なしヒロタ型可積分方程式のモジュライ空間は21次元であり、3変数における2階ジェット空間の次元に一致する。
• 問題の自然な同値群は $Sp(6)$ と同型であり、モジュライ空間上に開軌道をもつ。これは、一般の可積分方程式が適切な変換のもとで $Sp(6)$-同値であることを示唆する。
• 可積分性は、関連するラグランジュングラスマン多様体 $\Lambda(6)$ 内の超曲面に十分に多くの三重点接線部分多様体が存在することによって幾何的に特徴付けられる。
• 流体還元は、可換な流体型系のペアの存在に相当し、その存在は三重点接線の存在という幾何的条件と同値である。
• ベクトル場を2階ジェット空間に拡張し、得られる係数行列のランクを計算する手法により、$Sp(6)$-軌道の最大性を検証する実用的なアルゴリズムが得られ、21次元のモジュライ空間の確認が可能になる。
• 本稿では、すべてのこのような可積分系に共通する普遍的なマスターエクエーションの可能性を特定し、$SO(5,2)$ の下での $E^4$ 内のデュピン超曲面の分類と類似する構造的類似性を示唆しており、深い幾何的統一性を示唆している。