[論文レビュー] Integrable pseudopotentials related to elliptic curves

Alexander Odesskii, В. В. Соколов|ArXiv.org|Oct 21, 2008

Nonlinear Waves and Solitons参考文献 16被引用数 7

ひとこと要約

本稿では、複数変数の楕円的超幾何関数を用いて定義される擬ポテンシャルを通じて、可積分な(2+1)次元流体型系および(1+1)次元流体還元を構築する。著者らは、theta関数とρ微分を含む、整合的で過剰決定的なPDE系の解としてこれらの関数を導出し、有理的超幾何擬ポテンシャルを楕円曲線へ一般化する。主な結果として、欠陥0およびk > 0の擬ポテンシャルの構成、および流体還元を用いた可積分性の証明が得られる。

ABSTRACT

We construct integrable pseudopotentials with an arbitrary number of fields in terms of elliptic generalization of hypergeometric functions in several variables. These pseudopotentials yield some integrable (2+1)-dimensional hydrodynamic type systems. An interesting class of integrable (1+1)-dimensional hydrodynamic type systems is also generated by our pseudopotentials.

研究の動機と目的

• 有理的曲線から楕円曲線への可積分擬ポテンシャル理論の拡張を、楕円的超幾何関数の導入によって行う。
• これらの擬ポテンシャルを用いて(2+1)次元可積分流体型系を構築する。
• 楕円曲線のモジュラスτを動的場として含むように擬ポテンシャル枠組みを一般化する。
• 流体還元の存在を根拠として、得られた系の可積分性を確立する。
• 分散なしLax形式および流体還元理論を用いて、擬ポテンシャルの整合性と可積分性を証明する。

提案手法

• theta関数とその対数微分ρ(z) = θ′(z)/θ(z)を含む、整合的で過剰決定的なPDE系の解として楕円的超幾何関数を定義する。
• PDE系の解の積分を用いて、theta関数の積と指数因子を核とするパラメトリック形式の擬ポテンシャルを構築する。
• PDE系の異なる解の基底を用いて、欠陥0およびk > 0の擬ポテンシャルを定義し、それぞれ異なる積分表現を有する。
• 分散なしLax形式を用いて、擬ポテンシャルを(1+1)次元流体型可積分系と関連付ける。
• 任意のN ∈ ℕに対して、1変数関数2N個でパrameter化される流体還元の存在を示すことにより、可積分性を検証する。
• リーマン不変量の再パラメトライゼーションにおけるゲージ不変性と共有される流体還元を用いて、擬ポテンシャルの整合性を証明する。

実験結果

リサーチクエスチョン

• RQ1 可積分流体系の擬ポテンシャルは、有理的曲線からどのように楕円曲線へ一般化できるか？
• RQ2 複数変数における楕円的超幾何関数の構造は何か？ また、PDE系を用いてどのように定義されるか？
• RQ3 欠陥k > 0の擬ポテンシャルは、欠陥0のものと比べて解空間およびパラメトリゼーションの点でどのように異なるか？
• RQ4 これらの擬ポテンシャルから構築された(2+1)次元流体系の可積分性を保証する条件は何か？
• RQ5 流体還元は、得られた系および擬ポテンシャルの可積分性をどのように特徴付けるか？

主な発見

• 著者らは、n+1変数における楕円的超幾何関数を用いて定義される擬ポテンシャルを用いて、可積分な(2+1)次元流体型系を構築し、楕円曲線のモジュラスτを動的場として含む。
• 欠陥0の楕円的擬ポテンシャルは、theta関数とρ微分を含む整合的で過剰決定的なPDE系の線形独立解の積分を用いて定義される。
• k > 0の場合、異なる解の基底を用い、S_n,k(g,ξ)と指数因子を含む明示的な積分表現を持つ擬ポテンシャルが構築される。
• 任意のN ∈ ℕに対して、1変数関数2N個でパラメータ化される流体還元の存在を示すことにより、系の可積分性が証明される。
• 整合的擬ポテンシャルA₁とA₂は、それらの整合性条件から3次元可積分系を生成し、任意の定数c₁, c₂に対してA = c₁A₁ + c₂A₂も可積分である。
• 本理論は、以前の有理的擬ポテンシャルに関する結果を一般化し、s₁ = ... = sₙ = r = 0およびη₀ → 0の極限でそれらを特別な場合として含む。