[論文レビュー] Formal solution to the KP hierarchy

S. M. Natanzon, A. Zabrodin|arXiv (Cornell University)|Sep 15, 2015

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

ひとこと要約

本稿では、無限個のコーシー型初期データを用いた、$\alpha$-依存KP階層の完全な形式的解を構成することで、$\tau$-関数およびその対数（$F$-関数）の明示的級数展開を提供する。解は係数の組み合わせ的再帰関係によって与えられ、任意の滑らかまたは形式的初期関数 $f_0(x), f_1(x), \dots$ からすべての形式的解を再構成可能であり、$F$-関数はシュール関数と$\alpha$-変形微分作用素を用いて明示的に記述される。

ABSTRACT

We find all formal solutions to the $\hbar$-dependent KP hierarchy. They are characterized by certain Cauchy-like data. The solutions are found in the form of formal series for the tau-function of the hierarchy and for its logarithm (the F-function). An explicit combinatorial description of the coefficients of the series is provided.

研究の動機と目的

• $\hbar$-KP階層のすべての形式的解を無限形式的べき級数の形で構成すること。
• 組み込み系や数学的物理における応用にとって不可欠であるにもかかわらず、文献において$F$-関数（$F = \hbar^2 \log \tau$）の明示的級数展開が不足している問題に対処すること。
• 無限個の初期データ $f_0(x), f_1(x), \dots$（コーシー型データと呼ばれる）によって定まる、係数の明示的再帰的手続きにより解空間の完全な特徴付けを提供すること。
• 対称関数の双対基底と$\alpha$-微分作用素を用いた代数的枠組みを確立し、解空間を記述すること。

提案手法

• 解は、階層の$\alpha$-依存性を符号化する$\alpha$-変形偏導関数 $\partial_i^\hbar$ を導入することで構成される。
• $F$-関数は、シュール関数 $s_\lambda$ と逆コスティカ行列 $\kappa_\lambda = (L^{-1})_{\lambda(k)}$ から導かれる構造定数を用いて、$\hbar$ の形式的級数として表現される。
• 係数は、$\partial_i^\hbar$-作用素を用いて記述された$F$-関数のヒロタ双線形方程式に基づく再帰的手続きによって決定される。
• 重み付き単項対称関数 $m_\lambda$ とシュール関数 $h_\lambda$ 間の双対基底構成に依存し、級数展開の明示的逆行列化が可能になる。
• 任意の与えられたコーシー型データ $\{f_0(x), f_1(x), \dots\}$ に対して解が一意に定まることを証明しており、$f_k(x)$ は $\mathbf{t}=0$ における $F$ の $k$-番目の $\hbar$-微分と、$\hbar^{\ell(\lambda)-1}$ 次の補正項によって関連づけられる。
• 行列の小行列式に関するヤコビの恒等式を用いた帰納的証明により、$\tau$-関数のヒロタ双線形恒等式との解の整合性が確立される。

実験結果

リサーチクエスチョン

• RQ1 $\hbar$-KP階層のすべての形式的解は、初期データに基づいてどのように体系的に構成可能か？
• RQ2 $F$-関数の形式的べき級数展開における係数の明示的組み合わせ的構造は何か？
• RQ3 $\hbar$-変形微分作用素 $\partial_i^\hbar$ は、KP階層における標準的時間微分とどのように関係するか？
• RQ4 コーシー型データ $f_k(x)$ と $\mathbf{t}=0$ における $F$-関数の $k$-番目の $\hbar$-微分との正確な関係は何か？
• RQ5 $F$-関数は、任意の初期関数 $f_0(x), f_1(x), \dots$ から閉形式の再帰的手続きを用いて再構成可能か？

主な発見

• $\hbar$-KP階層のすべての形式的解は、無限個のコーシー型データ $\{f_0(x), f_1(x), \dots\}$ によって一意に定まる。ここで $f_0(x) = F(x; \mathbf{0})$ である。
• $F$-関数は明示的展開 $F(x; \mathbf{t}) = \sum_{k=1}^\infty \sum_{|\lambda|=k} \frac{\kappa_\lambda}{\rho(\lambda)} f_\lambda^\hbar(x) \hbar^{\ell(\lambda)-1}$ を持つ。ここで $\kappa_\lambda = (L^{-1})_{\lambda(k)}$ であり、係数の完全な組み合わせ的記述が得られる。
• $\hbar$-変形微分作用素 $\partial_i^\hbar$ は $\partial_i^\hbar = \partial_{t_i} + \frac{\hbar}{2} \sum_{j=1}^\infty \frac{1}{j} \partial_{t_j} \partial_{t_{i+j}} + \cdots$ によって定義され、標準的時間微分を一般化する。
• 解はヒロタ双線形恒等式を満たしており、行列の小行列式に関するヤコビ恒等式を用いた帰納的証明により、$\tau$-関数の恒等式と整合的であることが示された。
• 逆関係 $f_k^\hbar(x) = \partial_k F|_{\mathbf{t}=0} - k \sum_{|\lambda|=k, \ell(\lambda)>1} \frac{\kappa_\lambda}{\rho(\lambda)} f_\lambda^\hbar(x) \hbar^{\ell(\lambda)-1}$ を用いることで、$F$-関数の微分から$\hbar$-変形データを再構成可能である。
• $\hbar \to 0$ の極限において、解は分散なしKP階層に収束し、滑らかな極限が存在しない場合でも形式的級数はこの極限で正しく定義されたままとなる。