解が無数にある常微分方程式
単純な常微分方程式についても, 解の一意性は必ずしも成り立たないことを本記事では紹介します:
次の常微分方程式の初期値問題を考えましょう
⎧⎩⎨dxdt(t)=−2|x(t)|−−−−√,x(0)=1.
まずは, これを変数分離法を用いて解いてみましょう. x≥0 のときは |x(t)|=x(t) としてよいから,
−x−1/22dxdt=1
により, 両辺を t について区間 [0,t] まで定積分を行えば,
−x(t)−−−√+x(0)−−−−√=t
がわかり, 初期条件 x(0)=1 を思い出すと,
x(t)=(1−t)2
を得ます.
しかしながら, この関数は 0≤t<1 のときに方程式を満たす一方で, t>1 のときには常微分方程式の解ではありません.
実際に計算をすれば, dxdt(t)=−2(1−t) である一方, −2|x(t)|−−−−√=−2(t−1) であり方程式を満たさないことがわかります.
x≥0 という仮定が強すぎたのでしょうか？
とにかく, 変数分離法による解き方がうまく適応できないことがわかりました.
実は, この常微分方程式は解の一意性が成り立たない方程式です.
例えば次のような関数 x1=x1(t), x2=x2(t) はともにそれぞれ常微分方程式の解です.
x1(t)={(1−t)2,0,0≤t≤1 のとき,t≥1 のとき,
x2(t)={(1−t)2,−(t−1)2,0≤t≤1 のとき,t≥1 のとき.
(他にも無数の解が作れます. 余裕のある方はさがしてみましょう！)
どちらの関数も１階連続微分可能な関数として方程式を満たしているため, どちらが間違いということは言えません.
このような”簡単な”常微分方程式でさえ, 一意性がないことは不思議なことですね.
こういうことを聞くと一気に不安になってきますね
我々が大学や高専などの講義で習う解法では, そのような一意性のない方程式の解のうちの1つを取り出しているに過ぎず,
本当はもっとあるあずの色々な解を見落としてしまっているのではないか.
あるいは, そのような無数にある解のうち特徴的な1つのみを無意識のうちに選択してしまっているのではないか.
そんなことが不安になってきます.
実は, ある程度一般的な形で解の一意性を保証することができます.
そのうちの1つの考え方が, リプシッツ連続という制限を加えてしまうものです.
まずは関数 f=f(x) を使って, 常微分方程式を一般的な形に書き直しましょう.
⎧⎩⎨dxdt(t)=f(x(t)),x(0)=x0.(1)
ここで, f(x)=−2|x|−−√, x0=1 とすれば表題の常微分方程式となります.
まずは関数のリプシッツ連続を定義しましょう.
次の形で一意性が成立します.
f がリプシッツ連続であるとき, 常微分方程式
(1) の解は一意に存在する.
解の存在性の証明はコーシーの折れ線近似法によるものやピカールの逐次近似法によるものが知られていますが, 証明は割愛します
定評のある常微分方程式の教科書には証明がついているので, それを読むとよいでしょう.
それでは一意性を証明しましょう. x=x(t), y=y(t) をともに (1) の解であるとします.
さらに, τ>0として, 方程式 (1) を変数 t について両辺 [0,τ] の区間で定積分をしましょう.
すると, x, y はそれぞれ,
x(τ)=x0+∫τ0f(x(s))ds,y(τ)=x0+∫τ0f(y(s))ds
を満たします. このとき, f がリプシッツ連続なので,
|x(τ)−y(τ)|=∣∣∣∫τ0(f(x(s))−f(y(s)))ds∣∣∣≤∫τ0|f(x(s))−f(y(s))|ds≤K∫τ0|x(s)−y(s)|ds
を得ます.
F(τ)=∫τ0|x(s)−y(s)|ds とおくと, 微分積分の基本定理を用いれば, さきほどの計算を繰り返すことで,
F′(τ)=|x(τ)−y(τ)|≤K∫τ0|x(s)−y(s)|ds=KF(τ)
を得ます. 両辺 e−Kτ を掛けて, 左辺にまとめると,
ddτ(e−KτF(τ))≤0
となります. ここで, 任意の t>0 を取ります. 両辺を変数 τ について [0,t] で定積分すれば,
e−KtF(t)−F(0)≤0
を得ます.
F の定義を思い出せば, F(0)=0 かつ F(t)≥0 により F(t)=0 がいえます.
つまり x(t)=y(t) が任意の t>0 に対して証明されたので, 方程式の解は一意です. (証明終)
最後の関数 F を導入する以降はやや技巧的に感じられますが, 一意性を示す際にはしばしば用いられる論法であり, グロンウォールの補題として一言でまとめられることが多いです.
まとめ
常微分方程式の解の一意性を保証する十分条件に, リプシッツ連続というものがあります.
最初の一意性が成り立たない例では, f は連続ですが原点でリプシッツ連続ではありません.
それゆえ, 前述の一般論からは一意性が導けず, 実際に無数の解が現れる例になっています.
The following two tabs change content below.
サイエンスが好き。
数理の力を役立たせる場面がないかと色々と画策中。最近は計算機アルゴリズムの実装に興味があります。
