[论文解读] Formal solution to the KP hierarchy

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

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

一句话总结

本文通过构造tau函数及其对数（即F函数）的显式级数展开，为$α$-依赖KP层次提供了完整的形式解，展开式以无限组柯西型初值数据为基准。解通过组合系数的递推关系给出，使得可从任意光滑或形式初函数$f_0(x), f_1(x), \dots$重构所有形式解，且F函数的显式公式以施urb函数和$α$-变形微分算子表示。

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.

研究动机与目标

• 以无限形式幂级数的形式，构造$α$-依赖KP层次的所有形式解。
• 解决文献中缺乏F函数（$F = \hbar^2 \log \tau$）显式级数展开的问题，尽管此类展开对可积系统与数学物理中的应用至关重要。
• 通过显式递推程序对系数进行完整表征，系数由无限组初值数据$f_0(x), f_1(x), \dots$（称为柯西型数据）确定。
• 建立严格的代数框架，利用对称函数的对偶基与$α$-微分算子，描述解空间。

提出的方法

• 通过引入$α$-变形偏导数$\partial_i^\hbar$，其推广了标准导数并编码了层次中的$α$-依赖性。
• F函数以$\hbar$的形式级数表示，使用施urb函数$s_\lambda$与由逆Kostka矩阵$\kappa_\lambda = (L^{-1})_{\lambda(k)}$导出的结构常数。
• 级数的系数通过基于F函数的Hirota双线性方程的递推程序确定，方程以$\partial_i^\hbar$-算子形式表述。
• 该方法依赖于单项对称函数$m_\lambda$与施urb函数$h_\lambda$之间的对偶基构造，从而实现级数展开的显式反演。
• 证明了对于任意给定的柯西型数据${f_0(x), f_1(x), \dots}$，解是唯一的，其中$f_k(x)$与$F$在$\mathbf{t}=0$处的第$k$个$\hbar$-导数通过$\hbar^{\ell(\lambda)-1}$阶校正项相关联。
• 通过雅可比恒等式对矩阵子式的应用，使用归纳法证明了解与tau函数的Hirota双线性恒等式一致。

实验结果

研究问题

• RQ1 如何系统地根据初值数据构造$\hbar$-KP层次的所有形式解？
• RQ2 F函数形式级数展开中系数的显式组合结构是什么？
• RQ3 $\hbar$-变形导数$\partial_i^\hbar$与KP层次中标准时间导数之间有何关系？
• RQ4 柯西型数据$f_k(x)$与$F$函数在$\mathbf{t}=0$处的第$k$个$\hbar$-导数之间的确切关系是什么？
• RQ5 能否通过闭式递推关系，从任意一组初函数$f_0(x), f_1(x), \dots$重构F函数？

主要发现

• 所有$\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函数的Hirota双线性恒等式，通过归纳法与$\partial_i^\hbar$-算子矩阵的子式雅可比恒等式证明。
• 逆关系$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$极限下，解趋于色散less KP层次，且形式级数在此极限下仍保持良好定义，即使光滑极限不存在。