• 検索結果がありません。

KdV 方程式の初期値問題

N/A
N/A
Protected

Academic year: 2021

シェア "KdV 方程式の初期値問題"

Copied!
13
0
0

読み込み中.... (全文を見る)

全文

(1)

KdV

方程式の初期値問題

A03SA018

野津 章弘

2007 2 16

(2)

1 KdV

方程式とは

運河など広くて浅い川の水面において観察される、形を変えることなく進行していく波

(

浅水波

)

の波形が満たす非線形微分方程式であり、次の式で与えられる。

u t 6uu x + u xxx = 0 (1)

ここで

u(x, t)

は位置

x

、時刻

t

における波の高さとする。

(3)

2 KdV

方程式の初期値問題

KdV

方程式は非線形であるので簡単には解けないが、以下では初期値

u(x, 0)

t = 0

での解に持つような

KdV

方程式の解

u(x, t)

を構成する。

(4)

3

解の構成の手順

初期値

Schr odinger ¨

方程式

−−−−−−−−−−−−−−→

  散乱データ

u(x, 0) ←−−−−−−−−−−−−−−

GL

方程式

j , c j }

? ?

 解

GL

方程式

←−−−−−−−−−−−−−−

時刻

t

での散乱データ

u(x, t) j (t), c j (t)}

時刻

t

での散乱データ

j (t), c j (t)}

は、

η j (t) = η j , c j (t) = c j e

j3

t (2)

としておき、この散乱データから解

u(x, t)

を求めるには、

u(x, t) = −2 d 2

dx 2 log∆(x) (3)

(5)

とする。ここで

∆(x, t)

は次のような散乱データから決まる行列式

∆(x, t) = det(δ jk + c j (t)e −(η

j

(t)+η

k

(t))x

η j (t) + η k (t) ) (4)

である。

(6)

4

散乱の直接問題

u(x) = u(x, 0)

Z

−∞

(1 + |x|)|u(x)|dx < (5)

を満たすとする。この時

Schr¨odinger

方程式

−f 00 (x, ζ) + u(x)f (x, ζ) = ζ 2 f (x, ζ) (ζ C) (6)

の解

f (x, ζ)

のうちで

x → ∞

e iζx

とふるまうものは、積分核

K (x, t)

を用いて次のよ うに表される。

f (x, ζ) = e iζx (1 +

Z

0

K (x, t)e 2iζt dt) (7)

ここで、積分核

K (x, t)

は次の積分方程式を満たす。

K(x, t) =

Z

x+t

u(s)ds + Z t

0

{ Z

x+t−s

u(τ )K (τ, s)dτ }ds (8)

このような解を右

Jost

解という。同様に

x → −∞

e −ıζx

とふるまう解を左

Jost

解と いい、それぞれ

f + , f

とあらわす。

(7)

この時、

f +

f

Wronski

行列式

f + 0 f f + f 0 (9)

の零点となるような

ζ = C

Imζ > 0

は有限個ですべて純虚数であることが分かる。そ れらを

1 , iη 2 , · · · , iη n

とする。つまり

ζ = j

の時、

f +

f

は一次従属で

x → ±

指数関数的に減少し、

2

乗可積分となる。よって次のように

c j

を定義する。

c j = ( Z

−∞

f (x, iη j ) 2 dx) −1 (10)

以上のように定まる

2n

個の正の実数

j , c j

(j = 1, 2, · · · )} (11)

を散乱データと呼ぶ。

(8)

5

散乱の逆問題

積分核

K (x, t)

は次の

Gelfand-Levitan

方程式

K (x, t) + F (x + t) +

Z

0

F (x + t + s)K (x, s)ds = 0 (t > 0) (12)

を満たす。ここで

F (x) = 2 X n

j=1

c j e −2η

j

x (13)

とする。逆に与えられた

2n

個の正の実数

j , c j (j = 1, 2, · · · , n)}

に対し、

K (x, t)

を次 のようにおく。

K(x, t) = X n j=1

f j (x)e −2η

j

t (14)

これらを

(12)

に代入すると、次の連立

1

次方程式を得る。

c −1 j f j (x) + e −2η

j

x X n

k=1

1

η j + η k f k (x) = −2 (j = 1, 2, · · · , n) (15)

(9)

この方程式の解

f j (x)

は、

f j (x) = 2 ∆ j (x)

∆(x)

(16)

と表せる。ここで、

j (x)

∆(x)

j

列を微分で置き換えたものである。この時

u(x) := ∂K

∂x (x, 0) = X n

j=1

f j 0 (x) = −2 d 2

dx 2 log∆(x) (17)

とおくと、

u(x)

の散乱データは

j , c j (j = 1, 2, · · · , n)}

に一致する。よって散乱データ から

KdV

方程式の解を構成できる。

(10)

6

具体例

では実際に

j , c j }

を具体的に考えて解を作ってみる。

1. 1

ソリトン解

η = 1 , c = 2 (18)

とすると、

∆(x, t) = 1 + e −2(x−4t) (19)

なので、

u(x, 0) = −2sech 2 x

u(x, t) = −2sech 2 (x 4t) (20)

となる。この

u(x, t)

のふるまいは次のようになる。

(11)

-7.5 -5 -2.5 2.5 5 7.5 u 0.5

1 1.5 2 2.5 x

1 u(x, 0)

1

つの波

0.5

1

1.5

2

2.5

x

(12)

2.2

ソリトン解

η 1 = 1 , η 2 = 2

c 1 = 6 , c 2 = 12 (21)

とすると、

∆(x, t) = 1 + 3e −2(x−4t) + 3e −4(x−16t) + e −6(x−12t) (22)

なので、

u(x, 0) = −6sech 2 x

u(x, t) = −12 3 + 4 cosh{2(x 4t)} + cosh{4(x 16t)}

(3 cosh(x 28t) + cosh{3(x 12t)}) 2

(23)

となる。このときの

u(x, t)

は次のようになる。

(13)

-7.5 -5 -2.5 2.5 5 7.5 u 1

2 3 4 5 6 7 8 x

3 u(x, 0)

1

つの波

2

3

4

5

6

7

8

x

参照

関連したドキュメント

( 書いた当時はそれなりに頑張ったので、作り直すにもかなり手間がかかる、ということです。 )

Iwamiya, Global existence of solutions to nonautonomous differential equations in Ba- nach spaces, Hiroshima Math.. Kato, Some remarks on nonlinear ordinary differential equations in

安定性に優れている。A-安定な公式は陽的 Runge-Kutta 法では実現不可能である

参考文献 伊理正夫,藤野和建, 1985,「数値計算の常識」 共立出版, ISBN 4320013433 などの式.この式は単純に数値積分では解けない.この式を解くにはニュートン法を使うなどの工 夫が必要である.具体的な手順は,まずt= 0のとき dx dt =x′とする.このとき初期値x0を用いて fx′ =x′−sin x′+x0 のfx′ =

その一方で,とりあえずオイラー法があれば十分であるとの考え方や,とりあえず ルンゲ・クッタ法1 を使えば高精度解が得られるという考え方,さらには古典的な ミルン法2 が改変されないまま用いられていたりという狭量な見識が多いという のもまた事実である.. 実際の問題では適切な解法を用いて解くべきであるが, 本ノートでは狭量な見識

GFDワークノート 常微分方程式の初期値問題 2 関数fx, tが滑らかな関数3 ならば, 1式と2式を満たすような関数xtが一 意に定まる.. 連立常微分方程式4 の場合も基本的な考え方は一緒であり, d dtxit =fix1t,

10 100 1000 10000 0.0001 0.001 0.01 .1 1 このグラフから、誤差= ON−1 N → +∞ であることが読みとれます。実はこれは Euler 法の持つ一般的な性質です。 実は Euler 法は収束があまり速くないので、実際には特殊な場合を除いて使われていませ ん。そこで、、、、 3 Runge–Kutta ルンゲ –

[r]