[论文解读] Lump solutions to nonlinear partial differential equations via Hirota bilinear forms

Wen‐Xiu Ma, Yuan Zhou|arXiv (Cornell University)|Jul 23, 2016

Nonlinear Waves and Solitons被引用 13

一句话总结

本文提出一种系统方法，通过Hirota双线性形式构造非线性偏微分方程的lump解——即有理的、空间局域化的解。通过将正定二次型表征为平方和，建立了此类函数满足Hirota双线性方程的充要条件，从而通过变换 $ u = 2(\ln f)_{x} $ 和 $ u = 2(\ln f)_{xx} $ 实现lump或lump型解的精确构造，并将其应用于广义KP与BKP方程。

ABSTRACT

Lump solutions are analytical rational function solutions localized in all directions in space. We analyze a class of lump solutions, generated from quadratic functions, to nonlinear partial differential equations. The basis of success is the Hirota bilinear formulation and the primary object is the class of positive multivariate quadratic functions. A complete determination of quadratic functions positive in space and time is given, and positive quadratic functions are characterized as sums of squares of linear functions. Necessary and sufficient conditions for positive quadratic functions to solve Hirota bilinear equations are presented, and such polynomial solutions yield lump solutions to nonlinear partial differential equations under the dependent variable transformations u=2(ln f)_x and u=2(ln f)_{xx}, where x is one spatial variable. Applications are made for a few generalized KP and BKP equations.

研究动机与目标

• 表征可作为Hirota双线性方程解的正定多变量二次型。
• 建立此类二次型在标准因变量变换下生成lump解的充要条件。
• 将该理论应用于广义KP与BKP方程，明确构造lump解与lump型解。
• 提供正定二次型的构造性判别准则，将其与Hilbert第17问题在二次情形下的结论相联系。
• 基于二次型矩阵的定性性质，明确区分真正lump解（在所有方向上局域化）与lump型解（仅在子空间中局域化）之间的差异。

提出的方法

• 使用Hirota双线性导数 $ D_i $、$ D_iD_j $ 和 $ D_iD_jD_kD_l $ 表达非线性PDE的双线性形式。
• 将Hirota双线性方程表示为 $ P(D)f \cdot f = 0 $，其中 $ P $ 为无常数项的偶次多项式。
• 将解 $ f $ 参数化为正定二次函数 $ f(x) = x^T A x + b^T x + c $，其中 $ A $ 为对称矩阵。
• 应用定理3.2表征 $ f $ 的正定性：$ f > 0 $ 在 $ \mathbb{R}^M $ 上成立当且仅当 $ f $ 是线性函数平方和。
• 通过变换 $ f $ 到 $ u = 2(\ln f)_x $ 或 $ u = 2(\ln f)_{xx} $ 生成非线性PDE的解。
• 通过将 $ f $ 代入双线性方程并求解系数约束，验证解的有效性。

实验结果

研究问题

• RQ1 正定二次函数满足Hirota双线性方程的充要条件是什么？
• RQ2 如何系统地构造正定二次函数，以在非线性PDE中生成局域化的有理解（即lump解）？
• RQ3 从二次型矩阵的定性性质来看，真正lump解与lump型解有何区别？
• RQ4 该理论能否应用于广义KP与BKP方程，以显式生成lump解？
• RQ5 正定二次函数与Hilbert第17问题有何关联？为何该结果无法推广至高阶多项式？

主要发现

• 正定二次函数 $ f $ 在 $ \mathbb{R}^M $ 上恒正当且仅当其为线性函数平方和，此结论由定理3.2确立。
• 若 $ f $ 的Hessian矩阵 $ A $ 为正定，则 $ u = 2(\ln f)_x $ 和 $ u = 2(\ln f)_{xx} $ 在所有方向上趋于零，从而生成真正的lump解。
• 当 $ A $ 为半正定但非正定时，解仅在子空间中衰减，导致lump型解。
• 对于广义KP方程，当 $ \sigma = -1 $ 时，若 $ (a_1 a_2 + a_5 a_6) < 0 $，或当 $ \sigma = 1 $ 时 $ (a_1 a_2 + a_5 a_6) > 0 $，则存在lump解，并给出了显式参数化。
• 当 $ a_5 = 0 $、$ a_1 = 1 $ 且选择特定 $ \alpha, \beta $ 时，BKP方程的解退化为已知的Gilson-Nimmo lump解。
• 反例表明，高阶多项式如 $ f_{mn}(x,y) = x^{2m} + (x^n y^n - 1)^2 $ 虽为正，但不被正的常数下界控制，凸显其与二次情形的关键差异。