広田の方法(ひろたのほうほう、英: Hirota's method)は、ソリトン方程式のソリトン解を求めるための方法の一つで、簡便にして強力なことで知られる。広田良吾が考案した。双線形化法 (bilinearization method)、直接法 (direct method) とも呼ばれる。
Log微分などによる従属変数の変数変換により、非線形偏微差分方程式を双線形方程式に変換する。変換後の従属変数はしばしば τ 関数と呼ばれる。τ 関数は行列式またはパフィアン (Pfaffian) で、双線形方程式はPlucker関係式である。
ソリトン方程式の可積分性を保ったまま方程式の独立変数を離散化する際にも重要な役割を果たしている。
広田微分
定義
二つの関数の組 f(x, t), g(x, t) に対して、
![{\displaystyle D_{x}{}^{m}D_{t}{}^{n}f\cdot g=\left.{\biggl (}{\frac {\partial }{\partial x}}-{\frac {\partial }{\partial x'}}{\biggr )}^{m}{\biggl (}{\frac {\partial }{\partial t}}-{\frac {\partial }{\partial t'}}{\biggr )}^{n}f(x,t)g(x',t')\right|_{x'=x,t'=t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1d113fc6579cbbe7d6578d230ba2c7df2a5c0338)
で定義される二項演算を広田微分と呼ぶ。演算子 Dx, Dt を広田のD演算子と呼ぶ。
実際の広田微分の計算例は次のようになる。
![{\displaystyle D_{x}f\cdot g=f_{x}g-fg_{x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0c0036400cd086a2e5d59751b056b8514de02b7)
![{\displaystyle D_{x}^{\,2}f\cdot g=f_{xx}g-2f_{x}g_{x}+fg_{xx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5fc0797f0d96c8eb98a0f870719b24106791d89c)
![{\displaystyle D_{x}^{\,3}f\cdot g=f_{xxx}g-3f_{xx}g_{x}+3f_{x}g_{xx}-fg_{xxx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e7f7f48e2af483000aeca06dec38f4b1fc39469)
![{\displaystyle D_{x}^{\,4}f\cdot g=f_{xxxx}g-4f_{xxx}g_{x}+6f_{xx}g_{xx}-4f_{x}g_{xxx}+fg_{xxxx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/66c4607220fe70173b28ae4437ff2e2a82ec2a91)
![{\displaystyle D_{x}D_{t}f\cdot g=f_{tx}g-f_{t}g_{x}-f_{x}g_{t}+fg_{tx}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7d2c2aa1ee4788f7b2e48158696b40b9721b3878)
双線形形式
二つの関数の組に、広田微分を作用させた場合、各項は二つの関数の導関数について、どちらも一次式の形になっており、これを双線形形式 (bilinear form) と呼ぶ。可積分系の非線形偏微分方程式は、適当な従属変数の変換の下、双線形形式の広田微分の方程式に変形できる。シンプルな形に表現された双線形形式の方程式に、広田微分の性質を組み合わせることで、見通しのよい計算で解を構成することが可能となる。
方程式 |
変数変換 |
双線形形式
|
KdV方程式: ![{\displaystyle u_{t}+6uu_{x}+u_{xxx}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/620ba60d8c690ef9fe72834f5cf8a429683f6a61) |
![{\displaystyle u=2{\frac {\partial ^{2}}{\partial x^{2}}}\log {f}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57f9c8bbb64a4f34029a88678a777ca8a5ef7617) |
|
mKdV方程式: ![{\displaystyle u_{t}+6u^{2}u_{x}+u_{xxx}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78ed79e0b011040dc8d5ea2fdcecc72eb027300f) |
![{\displaystyle u={\frac {g}{f}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/63ff6b7079608392643c725eefb9ba709fd239f4) |
|
非線形Schrödinger方程式: ![{\displaystyle iu_{t}+u_{xx}+2|u|^{2}u=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/53bd2594f103f2e7da3e6ca0acbce70480183832) |
( は実数値関数、 は複素数値関数) |
|
サイン・ゴルドン方程式: ![{\displaystyle u_{tx}=\sin {u}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/35a4e59fd65e185c6b397a772aa1da8f05d6ecb4) |
( は複素数値関数) |
|
戸田格子: ![{\displaystyle {\frac {d^{2}}{dt^{2}}}r_{n}=2e^{-r_{n}}-e^{-r_{n-1}}-e^{-r_{n+1}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f05a157eaaf3f63b37bb7f2a4b35664222322b4) |
![{\displaystyle V_{n}=e^{-r_{n}}-1,\,V_{n}={\frac {d^{2}}{dt^{2}}}\log {\tau _{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/559653db9d2ad40c68f9ef65b17f47cd196e6806) |
|
KP方程式: ![{\displaystyle {\frac {\partial }{\partial x}}{\bigl (}u_{t}+6uu_{x}+u_{xxx}{\bigr )}+u_{yy}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/324bf5421f695363a92f9ddd758af263db9fc1b5) |
![{\displaystyle u=2{\frac {\partial ^{2}}{\partial x^{2}}}\log {f}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/57f9c8bbb64a4f34029a88678a777ca8a5ef7617) |
|
広田の方法
広田の方法では、可積分系の非線形偏微分方程式に対し、対数微分などの従属変数の変換を行った後、広田微分を用いて、双線形形式の微分方程式に帰着させる。さらに双線形形式の微分方程式を、べき級数の形式で展開し、各べき乗のオーダーを満たす関数形を定めていくことで解を構成する。逆散乱法では、非線形偏微分方程式をシュレディンガー方程式の散乱問題に帰着させ、散乱データから元の非線形偏微分方程式の解に対応するポテンシャル関数を構成するという数学的技巧を要するが、広田の方法では直接的なアプローチで元の方程式を解くことができ、簡便性が高い。
KdV方程式の例
可積分系の代表的な例であるKdV方程式で、広田の方法を説明する。KdV方程式
![{\displaystyle u_{t}+6uu_{x}+u_{xxx}=0\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/620ba60d8c690ef9fe72834f5cf8a429683f6a61)
において、
![{\displaystyle u=2{\frac {\partial ^{2}}{\partial x^{2}}}\log {f}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b58b546bc87f2b2265d2966b32d1944b6e80da57)
なる変数変換をすると、
![{\displaystyle D_{x}(D_{t}+D_{x}^{\,3})f\cdot f=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f83008273aec3a095c340330832fd2e232829bc1)
なる双線形形式の方程式に帰着される。ここで f を
![{\displaystyle f=1+\epsilon f_{1}+\epsilon ^{2}f_{2}+\cdots \,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7569aca34e3219937c12f2e49717ca261c2986fb)
と ε によるべき級数で展開する。これを双線形形式の方程式に代入し、各べき εn のオーダー毎にまとめると、
![{\displaystyle \epsilon :\,\,D_{x}(D_{t}+D_{x}^{\,3})(f_{1}\cdot 1+1\cdot f_{1})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37fd10be1d526a994898f010f9af1553b498b645)
![{\displaystyle \epsilon ^{2}:\,\,D_{x}(D_{t}+D_{x}^{\,3})(f_{2}\cdot 1+f_{1}\cdot f_{1}+1\cdot f_{2})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/749383a0df3154a3da40cb15007b70edfd042c9a)
![{\displaystyle \epsilon ^{3}:\,\,D_{x}(D_{t}+D_{x}^{\,3})(f_{3}\cdot 1+f_{2}\cdot f_{1}+f_{1}\cdot f_{2}+1\cdot f_{3})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a2556483f3d6638f26906a8e4be66e2c8b0ace3c)
![{\displaystyle \vdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f8039d9feb6596ae092e5305108722975060c083)
となる。
- 1ソリトン解
1ソリトン解を構成するには次のような解の構成を行う。まず、
![{\displaystyle f_{1}=e^{2(\kappa x-\omega t)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3c4e5a0a484cd0521ad10e2dcfef6a60539aa85f)
として、ε1 の項を考えると
![{\displaystyle \omega =4\kappa ^{3}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3fdd1f0ed3a58da3305833d8fe81cea779201d0b)
の関係が満される必要があることがわかる。また、高次の εn の項については、特解として、
![{\displaystyle f_{n}=0\quad n\geq 2}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dedae7a4bb71d44b30b3e10156aa4ad83643459f)
をとることができる。よって、解 u としては
![{\displaystyle u=2{\frac {\partial ^{2}}{\partial x^{2}}}\log {(1+e^{2(\kappa x-4\kappa ^{3}t)})}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19dbfcc759c3c899dd07c75f3d2be18e9c4c27e3)
となる。
参考文献
関連事項