リッカチの微分方程式

提供: testwiki
ナビゲーションに移動 検索に移動

リッカチの微分方程式(リッカチのびぶんほうていしき、テンプレート:Lang-en-short)は、 非線形1階常微分方程式の1つである。ヤコポ・リッカチが考察した微分方程式である。 リッカチ微分方程式ということもある。リッカチの微分方程式は解が動く真性特異点を持たない1階の常微分方程式として 理論上重要である[1]

定義

リッカチの微分方程式は、狭義の意味では、次のような形の非線形1階常微分方程式である[2]

y+y2=bxα,y:=dy(x)dx.α,b=const.

リッカチが議論したのは、この形の微分方程式である[2]。 現在はより一般化された

y+X(x)y2+X1(x)y+X2(x)=0,

の形をした微分方程式もリッカチの微分方程式と呼んでいる[3] [1]。 ただし、X(x),X1(x),X2(x) は与えられた x の関数を表す。

2階線形常微分方程式との関係

リッカチの微分方程式は、X(x) が恒等的に 0 でなければ、変数変換

uu=X(x)y,

によって、uに関する2階線形常微分方程式

u+(X1(x)X(x)X(x))u+X(x)X2(x)u=0,

へ変換できる[1]。 また逆に、この u に関する常微分方程式の独立な2解をそれぞれ u1(x),u2(x) とする時、 それらの比 z(x):=u1(x)/u2(x) はリッカチの微分方程式を満足する[1]

解法

リッカチの微分方程式の一般解を初等関数によって代数的に求積法で解く事は一般にできないことが、リウヴィルによって証明されている[3][4]。 しかし、何らかの方法で特解を求めることができた場合は、一般解を以下のようにして 構成できる[3]。今、特解を y1 としたとき、y=:y1+z によって新たな従属変数 z(x) を導入すると、z(x) は次の方程式に従う。

z+(X1+2Xy1)z+Xz2=0.

これはベルヌーイの微分方程式であるので、常法に従って u:=1/z と変数変換すると u に関する 1階の線形微分方程式

u(X1+2Xy1)uX=0,

へ変換できる。この微分方程式はすぐに解けて、

u=Cf(x)+g(x),f(x):=exp(dx(X1+2Xy1)),g(x):=f(x)dxX1f(x),

を得る。ただし、C は積分定数である。よって、元のリッカチの微分方程式の一般解は、

y=y1+1u=y1+1Cf(x)+g(x),

として得られる。なお、リウヴィルによる証明はたとえば文献[5]の中で解説されている。

初等関数によって代数的に求積法で解けるための条件

狭義のリッカチの微分方程式が初等関数によって代数的に求積法で解けるのは、以下の場合に限られることがリウヴィルによって証明されている[6][4]。 (ただし、b=0 の場合は変数分離形であり直ちに解けるので除外する。)

  1. α=2 の場合。
  2. α=4n/(2n1),n=1,2, の場合。
  3. α=4n/(2n+1),n=1,2, の場合。

KdV方程式の初期値問題に現れるリッカチの微分方程式

変形KdV方程式[7]

vt6v2vx+vxxx=0,vt:=v(x,t)t,vx:=v(x,t)x,vxxx:=3v(x,t)x3,

は、Miura変換[8][9]

u=vx+v2,

によって、KdV方程式

ut6uux+uxxx=(2v+x)(vt6v2vx+vxxx),

の関係で結ばれる[8]。したがって、変形KdV方程式の解はKdV方程式の解である。Miura変換において、u を既知関数、 v を未知関数と見なせば、これはリッカチの微分方程式である。上述のように、リッカチの微分方程式は v=ψx/ψ によって2階の線形常微分方程式へ変換でき[8]

ψxxuψ=0,

さらに、KdV方程式がガリレイ変換

x=x6λt,t=t,u(x,t)=u(x,t)λ,

の下で不変であることを用いると[8]、定常シュレディンガー方程式

ψxx+uψ=λu,

を得る。この式を出発点として、逆散乱法(固有値 λ は時間に依存しないと仮定し、ψ(x,t) について散乱データ(x での入力波と x での透過係数、x での反射係数)を与えて、そこからポテンシャル u(x,t) の形を決定する問題を解く。)によってKdV方程式の初期値問題の解を求めることができる。

出典

テンプレート:Reflist

  1. 1.0 1.1 1.2 1.3 数学セミナー増刊「数学・物理100の方程式」日本評論社、1989年、ISBN 4-535-70409-0、p. 62.
  2. 2.0 2.1 吉田耕作著「微分方程式の解法 第2版」岩波全書、1978年、ISBN 4-00-021554-X、p. 21.
  3. 3.0 3.1 3.2 吉田「微分方程式の解法 第2版」p. 20.
  4. 4.0 4.1 J. Liouville, Journal de Mathematiques Pure et Appliquees Tome 6(1841).
  5. G. N. Watson, A Treatise on the Theory of Bessel Functions(reprint), Cambridge University Press, 1996, ISBN 0-521-48391-3, section 4.7, 4.71, 4.72, 4.73, 4.74, 4.75
  6. 吉田「微分方程式の解法 第2版、pp. 21-22.
  7. 和達三樹著「現代物理学叢書 非線形波動」岩波書店、2000年、ISBN 4-00-006741-9、pp. 15, 58.
  8. 8.0 8.1 8.2 8.3 和達三樹「非線形波動」p. 59.
  9. R. Miura は日系3世である。 戸田盛和著「物理学30講シリーズ3 波動と非線形問題30講」朝倉書店、1995年、ISBN 4-254-13633-1, p. 50.