[論文レビュー] Holomorphic eigenfunctions of the vector field associated with the dispersionless Kadomtsev-Petviashvili equation

P. G. Grinevich, P. M. Santini|arXiv (Cornell University)|Nov 18, 2011

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

ひとこと要約

本稿は、分散なしカドムツェフ＝ペトビアシュヴィリ（dKP）方程式に関連するベクトル場に対する正則固有関数の存在を証明し、それらが |Im λ| > C₀ の領域でスペクトルパラメータ λ に関して正則であることを示している。この構成は、固有関数の等高線から導かれる複素の強制されたホフ方程式に依拠しており、複素係数を伴う多次元可積分系へスペクトル法を拡張するものである。

ABSTRACT

Vector fields naturally arise in many branches of mathematics and physics. Recently it was discovered that Lax pairs for many important multidimensional integrable partial differential equations (PDEs) of hydrodynamic type (also known as dispersionless PDEs) consist of vector field equations. These vector fields have complex coefficients and their analytic, in the spectral parameter, eigenfunctions play an important role in the formulations of the direct and inverse spectral transforms. In this paper we prove existence of eigenfunctions of the basic vector field associated with the celebrated dispersionless Kadomtsev-Petviashvili equation, which are holomorphic in the spectral parameter $\lambda$ in the strips $|\Im\lambda|> C_0$.

研究の動機と目的

• dKP方程式の枠組みにおけるベクトル場 L̂₁ に対する解析的固有関数の存在を確立すること。
• 可積分系における直接的・逆変換の鍵をなす複素スペクトルパラメータ λ に対するスペクトル理論を拡張すること。
• 無限遠における特定の漸近的挙動 Ψ₁ → λ および Ψ₂ → x − λy を示す固有関数 Ψ₁ と Ψ₂ を構成すること。
• ベクトル場のラクス対を備えた他の可積分偏微分方程式へ適用可能な手法を提供すること、例としてヘヴェンリー方程式や分散なしToda方程式を挙げる。

提案手法

• 固有関数 Ψ の等高線から複素強制ホフ方程式 (15) を導出し、それらをハミルトニアン＝ヤコビ形式と関連付ける。
• 実数の場合における固有関数方程式 L̂₁Ψ = 0 と力学系 (10) の等価性を用い、その後、解析接続により複素 λ へ拡張する。
• 関数解析的道具を適用する：ソボレフ空間 W^{2,2±ϵ}、バナッハ代数の性質、および ∂z∂̄⁻¹ などの擬微分作用素の有界性。
• 重み付きソボレフ空間における演算子 (1 − q∂z∂̄⁻¹) の可逆性を確立し、非線形リーマン＝ヒルベルト問題を解く。
• 1/λ における漸近展開を用いて、固有関数の |Im λ| が大きい場合の明示的挙動を導出し、正則性を確認する。
• ハウスドルフ＝ヤングおよびヤングの不等式を用いて Lp ノルムを制御し、解空間内での収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 dKP方程式のベクトル場 L̂₁ に対して、複素スペクトルパラメータの帯域 |Im λ| > C₀ で正則固有関数を構成できるか？
• RQ2 無限遠における漸近的挙動 Ψ₁ → λ および Ψ₂ → x − λy は、解構造にどのような制約をもたらすか？
• RQ3 複素強制ホフ方程式 (15) は、固有関数の特徴づけおよびスペクトル変換の実現に果たす役割は何か？
• RQ4 この手法は、ベクトル場ラクス対を備えた他の多次元可積分偏微分方程式へどの程度一般化可能か？

主な発見

• 固有関数 Ψ₁(x, y, λ) は |Im λ| > C₀ において λ に関して正則であり、|Im λ| → ∞ のときの漸近展開は Ψ₁ = λ + u/λ − ∂ₓ⁻¹u_y/λ² + ∂ₓ⁻²u_yy/λ³ + O(1/λ⁴) となる。
• 固有関数 Ψ₂(x, y, λ) は同様に同じ帯域で正則であり、展開は Ψ₂ = x − λy − yu/λ + ∂ₓ⁻¹(yu)_y/λ² + (yu²/2 − ∂ₓ⁻²(yu)_yy)/λ³ + O(1/λ⁴) である。
• 複素強制ホフ方程式 (15) の解は、固有関数が指定された帯域で λ に関して正則であることを保証し、スペクトル理論の枠組みを裏付けている。
• 逆演算子 (1 − q∂z∂̄⁻¹) は、小さな ϵ₁ に対して W^{2,2+ϵ₁} 空間で一様有界であり、非線形リーマン＝ヒルベルト問題の解法を可能にする。
• H^l(R²) のバナッハ代数性および乗法作用素の有界性により、ソボレフ空間内での反復的解法スキームの収束が保証される。
• この手法は、ヘヴェンリー方程式、2次元分散なしToda方程式、および Martinez-Alonso–Shabat–Pavlov 方程式を含む、他の可積分偏微分方程式へ一般化可能である。