[論文レビュー] Systems of Gibbons-Tsarev type and integrable 3-dimensional models

A. V. Odesskiĭ, В. В. Соколов|ArXiv.org|Jun 18, 2009

Nonlinear Waves and Solitons参考文献 11被引用数 10

ひとこと要約

本稿は、3次元可積分流体型系を分類する際のギブンズ＝ツァレフ型（GT型）系の普遍性を確立する。最も単純なGT型系から広範な系の族を構成することで、著者らは、準多項式係数をもつ可積分モデルを生成することを示し、関数方程式と流体還元を用いた、3次元可積分流体系を体系的かつ普遍的に分類するフレームワークを提供する。

ABSTRACT

We review the role of Gibbons-Tsarev-type systems in classification of integrable multi-dimensional hydrodynamic-type systems. Our main observation is an universality of Gibbons-Tsarev-type systems. We also constract explicitly a wide class of 3-dimensional hydrodynamic-type systems corresponding to the simplest possible Gibbons-Tsarev-type system.

研究の動機と目的

• 可積分3次元流体型系の分類において、ギブンズ＝ツァレフ型（GT型）系の普遍性を確立すること。
• 最も単純なGT型系が、準多項式係数をもつ豊富な3次元可積分系の族を生成することを示すこと。
• 流体還元を用いてGT型系から3次元可積分系を導出するための構成的フレームワークを提供すること。
• GT型系に基づく分類プロジェクトを提案し、それらを genus g = 0, 1, および g > 1 の代数曲線と関連付けること。
• リーマン面上の幾何的構造とGT型系の変数を一致させることで、可積分系の自然な座標を特定すること。

提案手法

• Riemann不変量 $ r^i $ を用いた流体還元 $ r_t^i = v^i(r) r_x^i $, $ r_y^i = w^i(r) r_x^i $ を用いる。
• 部分微分方程式で定義されるGT型系形式を適用し、$ p_i $, $ u_m $, および $ heta = rac{ heta}{ heta r^i} $ を含む。整合性条件から関数方程式が得られる。
• 解を任意関数でパrameter化するため、関数方程式 (2.19) を用いてGT型系の解を分類する。
• 補題1を用いて、対称関数と行列式を含む一般的手続きを通じて、GT型系から3次元流体型系を導出する。
• 明示的な系を生成するための行列式構成 $ S_{n,k}(g,p) = ext{det}( ext{matrix of } S_n(g,p), ext{ etc.}) $ を導入する。
• 点変換の下での系の同値性に依拠し、幾何的解釈（例：$ p_i $ を $ ext{CP}^1 $ や楕円曲線上の座標とみなす）を用いて、標準座標を特定する。

実験結果

リサーチクエスチョン

• RQ1 最も単純なGT型系は、広範な可積分3次元流体型系の族を生成できるか？
• RQ2 GT型系は、代数曲線と関連して、3次元可積分系の普遍的分類において果たす役割は何か？
• RQ3 GT型系の整合性条件から得られる関数方程式は、3次元可積分系の形をどのように制約するか？
• RQ4 GT型系の変数は、$ ext{CP}^1 $ や楕円曲線などのリーマン面上の幾何的座標として自然に解釈できるか？
• RQ5 高 genus の曲線に対するGT型系の解空間の構造は何か？ また、代数曲線のmoduli空間とはどのように関係するか？

主な発見

• 形式 (1.10) の最も単純なGT型系は、準多項式係数をもつ広範な3次元可積分流体型系の族を生成する。
• 関数方程式 (2.19) の各解に対して、補題1の一般的手続きを用いて、対応する3次元可積分系を明示的に構成できる。
• GT型系の変数 $ p_i $ は、$ ext{CP}^1 $ 上の座標として自然に解釈でき、より複雑な場合、モジュラーパrameter $ au $ をもつ楕円曲線上の座標として解釈できる。
• GT型系から3次元系を構成する手続きは、アルゴリズム的かつ普遍的であり、既知のすべての3次元可積分流体系をカバーする可能性を有する。
• genus $ g = 0 $ および $ g = 1 $ の場合、それぞれ1および3の場の標準GT型系が存在し、$ g > 1 $ の場合、$ 3g - 3 $ 個の場を持つ一意なGT型系が存在すると予想される。
• やや複雑なGT型系（例：例3および例4）は、対応する3次元系を記述するための一般化超幾何関数を必要とし、genusが増加するにつれて複雑性が増すことを示唆している。