[論文レビュー] 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

ひとこと要約

本稿では、非線形偏微分方程式に対するラムプ解（有理的で空間的に局在する解）を構成するための体系的技法を開発する。ヒロタ双線形形式を用い、正定値二次関数を二乗の和として特徴付けることで、その関数がヒロタ双線形方程式を満たすための必要十分条件を確立する。これにより、変換 $ u = 2(\ln f)_{x} $ および $ u = 2(\ln f)_{xx} $ を用いて、正確なラムプ解またはラムプ型解が得られる。応用例として一般化された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.

研究の動機と目的

• ヒロタ双線形方程式の解として機能可能な正定値多変数二次関数を特徴付けること。
• 標準的な従属変数変換の下で、このような二次関数がラムプ解を生じるための必要十分条件を確立すること。
• 理論を一般化されたKPおよびBKP方程式に適用し、ラムプ解およびラムプ型解の明示的構成を示すこと。
• 二次関数の正定値性を特徴付ける構成的基準を提示し、二次の場合のヒルベルトの17番目の問題と関連付けること。
• 二次形式行列の定性に基づいて、真のラムプ解（すべての方向で局在するもの）とラムプ型解（部分空間でのみ局在するもの）の違いを明確にすること。

提案手法

• 非線形PDEの双線形形式を表すために、ヒロタ双線形微分作用素 $ D_i $, $ D_iD_j $, および $ D_iD_jD_kD_l $ を用いる。
• ヒロタ双線形方程式を $ P(D)f \cdot f = 0 $ の形に表現する。ここで $ P $ は定数項を持たない偶数多項式である。
• 解 $ f $ を正定値二次関数 $ f(x) = x^T A x + b^T x + c $ としてパラメータ化し、$ A $ を対称行列とする。
• 定理3.2を応用して $ f $ の正定値性を特徴付ける：$ f > 0 $ on $ \mathbb{R}^M $ であるための必要十分条件は、$ f $ が一次関数の二乗の和であるということ。
• $ u = 2(\ln f)_x $ や $ u = 2(\ln f)_{xx} $ への変換により、非線形PDEの解を生成する。
• 係数制約を求めるために、$ f $ を双線形方程式に代入し、解の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 正定値二次関数がヒロタ双線形方程式を満たすための必要十分条件は何か？
• RQ2 正定値二次関数を体系的に構成することで、非線形PDEにおける局在的有理的解（ラムプ解）をどのように得られるか？
• RQ3 二次形式行列の定性に基づいて、真のラムプ解とラムプ型解の違いは何か？
• RQ4 この理論は一般化されたKPおよびBKP方程式に適用可能であり、明示的なラムプ解の生成が可能か？
• RQ5 二次関数の正定値性はヒルベルトの17番目の問題とどのように関係するか？また、なぜこの結果は高次多項式に拡張されないのか？

主な発見

• 定理3.2により、正定値二次関数 $ f $ は $ \mathbb{R}^M $ 上で正であるための必要十分条件が、一次関数の二乗の和であることである。
• 関数 $ f $ のヘッセ行列 $ A $ が正定値であれば、$ u = 2(\ln f)_x $ および $ u = 2(\ln f)_{xx} $ はすべての方向にゼロに収束し、真のラムプ解が得られる。
• $ A $ が正定値でないが半正定値である場合、解は部分空間でのみ減衰するため、ラムプ型解が得られる。
• 一般化されたKP方程式では、$ \sigma = -1 $ のとき $ (a_1 a_2 + a_5 a_6) < 0 $、$ \sigma = 1 $ のとき $ > 0 $ であればラムプ解が存在し、明示的なパラメータ化が与えられる。
• BKP方程式の解は、$ a_5 = 0 $、$ a_1 = 1 $ および特定の $ \alpha, \beta $ を選ぶと、既知のギルソン＝ニモのラムプ解に簡約される。
• 反例として、$ f_{mn}(x,y) = x^{2m} + (x^n y^n - 1)^2 $ のような高次多項式は正であるが、正の定数より下限されないことが示され、二次の場合とは顕著な違いを示す。