広田の方法
広田の方法(ひろたのほうほう)は、数学者・
物理学者である広田良吾博士によって考案された、ソリトン方程式をはじめとする非線形
可積分系の方程式の厳密解、特にソリトン解を見つけるための強力な解析手法です。この方法は、その簡便さと有効性から広く用いられており、双線形化法(bilinearization method)や直接法(direct method)とも呼ばれています。
原理と広田微分
広田の方法の核心は、対象となる非線形
偏微分方程式、あるいは偏差分方程式を、適切な従属変数の変換によって「双線形形式」の方程式へと変換することにあります。
従属変数の変換
この変換には、対数微分などが用いられます。変換された新しい従属変数は、しばしば「τ関数」(タウ関数)と呼ばれます。驚くべきことに、このτ関数は、行列式やパフィアン(Pfaffian)といった代数的な構造と関連しており、変換後の双線形方程式は、グラフィックプログラミングや代数幾何学において重要な役割を果たすプリュッカー関係式(Plucker relation)の形をとることが多いです。
広田微分(D演算子)
双線形形式への変換において中心的な役割を果たすのが、広田微分、または広田のD演算子と呼ばれる特別な微分演算子です。
二つの関数 f(x, t) と g(x, t) に対して、広田微分 D
xmD
tnf・g は、元の変数とプライム付きの変数を導入し、それぞれの変数に関する導関数の差をとってからプライム付き変数を元の変数に戻す、という特殊な方法で定義されます。
例えば、x方向への1階の広田微分は D
xf・g = f
xg - fg
x となります。これは関数 f の導関数と g 自身、そして f 自身と g の導関数という二つの項から成り立っています。また、D
x2f・g = f
xxg - 2f
xg
x + fg
xx のように、高階の微分も定義されます。
この定義からわかるように、広田微分を二つの関数に作用させると、得られる式の各項は、それぞれの関数の導関数に関して一次式(つまり、f の導関数と g の導関数の積の線形結合)となります。この性質から、「双線形形式」と呼ばれます。
広田の方法の手順
広田の方法による解の構成は、典型的には以下のステップで行われます。
1. 解きたい非線形
可積分系の方程式に対し、対数微分などの適切な変数変換を行い、従属変数をτ関数に変換します。
2. 変換後のτ関数に関する方程式が、広田微分を用いた双線形形式で表現されていることを確認します。
3. τ関数を微小パラメータεを用いたべき級数、例えば τ = 1 + ετ₁ + ε²τ₂ + ... の形に展開します。
4. この展開式を双線形方程式に代入し、εの各べき乗のオーダーごとに方程式を整理します。
5. εの最低次の項から順に、τ₁, τ₂, ... を満たす関数形を決定していきます。
6. 全てのオーダーで方程式が満たされるような解が構成できれば、元の非線形方程式の解が得られます。
逆散乱法との比較
ソリトン方程式の解法としては、逆散乱法(Inverse Scattering Method)も有名です。逆散乱法が、元の非線形方程式をシュレディンガー方程式などの散乱問題に帰着させ、散乱データから解を逆構成するという間接的で高度な数学的技巧を要するのに対し、広田の方法は変数変換と代数的な操作、べき級数展開によって直接的に解を構成できるという利点があります。この直接性が、広田の方法の簡便さとして高く評価されています。
非線形
可積分系の典型例である
KdV方程式 ∂u/∂t + 6u ∂u/∂x + ∂³u/∂x³ = 0 を考えます。広田の方法では、u = 2 ∂²/∂x² log f という変数変換を行うと、この方程式は D
x(D
t + D
x³) f・f = 0 という双線形形式に帰着されます。
ここで、f を ε べき級数で展開し、各オーダーで方程式を満たすように f の各項を決定していくことで解が得られます。例えば、f = 1 + εe
2(κx - ωt) のような簡単な試行解をε¹のオーダーに代入することで、分散関係 ω = 4κ³ が導出されます。この関係を満たし、かつ高次項がゼロとなるような解(例えば、ε²以降の項をすべてゼロとする)を探すことで、元の
KdV方程式の1ソリトン解が構成されます。
広田の方法は、ソリトン解だけでなく、多ソリトン解、リーマンθ関数解など、様々な厳密解を構成する上で強力なツールとなっています。
関連事項
ソリトン
無限次元グラスマン多様体 (Infinite-dimensional Grassmannian)
プリュッカー関係式 (Plucker relation)
行列式
パフィアン (Pfaffian)
可積分アルゴリズム