ピカール＝リンデレーフの定理

数学の微分方程式論において、ピカール＝リンデレーフの定理（Picard–Lindelöf theorem）、ピカールの存在定理（Picard's existence theorem）、コーシー＝リプシッツの定理（Cauchy–Lipschitz theorem）、または解の存在と一意性の定理（かいのそんざいといちいせいのていり、existence and uniqueness theorem）とは、初期値問題の解が一意に存在するための十分条件を与える定理である。

定理の名前は、エミール・ピカール、テンプレート:仮リンク、オーギュスタン＝ルイ・コーシー、ルドルフ・リプシッツに因む。

次の初期値問題を考える。

$y^{\prime }(t)=f(t,y(t)),y(t_0)=y_0$

関数 テンプレート:Math が テンプレート:Mvar に一様にリプシッツ連続（リプシッツ定数が テンプレート:Mvar に依らないことを意味する）であり、かつ、 テンプレート:Mvar に連続しているとすると、ある値 テンプレート:Math に対して、区間 $[t_0-\epsilon ,t_0+\epsilon ]$ 上で初期値問題の唯一の解 テンプレート:Math が存在するテンプレート:要検証。

証明の概略

この定理の証明は、微分方程式を変換し、不動点定理を応用することで行われる。両辺を積分すれば、その微分方程式を満たす関数は、積分方程式

$y(t)-y(t_0)=\underset{t_0}{\overset{t}{\int }}f(s,y(s))ds$

をも満たすことになる。解の存在と一意性の証明は、ピカールの逐次近似法によって得られる。この方法はピカール反復(Picard iteration)とも呼ばれる。

ここで関数列 テンプレート:Math を

${\phi }_0(t)=y_0,$

${\phi }_{k+1}(t)=y_0+\underset{t_0}{\overset{t}{\int }}f(s,{\phi }_k(s))ds$

と定義する。バナッハの不動点定理を用いることで、関数列 テンプレート:Math が一様収束し、その極限関数が初期値問題の解であることを示すことができる。グロンウォールの補題を テンプレート:Math （ テンプレート:Mvar と テンプレート:Mvar は2つの解）に適用すると、 テンプレート:Math となり、大域的な一意性が証明される（局所的な一意性は、バナッハ不動点の一意性の結果である）。

ピカール反復の例

解として $y(t)=\tan (t)$ を持つ初期値問題

$y^{\prime }(t)=1+y(t{)}^2,y(0)=0$

に関して実際にピカール反復を計算してみる。 ${\phi }_n(t)\to y(t)$ となるように${\phi }_0(t)=0$ から始めて、

${\phi }_{k+1}(t)=\underset{0}{\overset{t}{\int }}(1+({\phi }_k(s){)}^2)ds$

と反復すると、次のようになる。

$\begin{array}{cc}{\phi }_1(t)& =\underset{0}{\overset{t}{\int }}(1+0^2)ds=t\\ {\phi }_2(t)& =\underset{0}{\overset{t}{\int }}(1+s^2)ds=t+\frac{t^3}{3}\\ {\phi }_3(t)& =\underset{0}{\overset{t}{\int }}(1+{(s+\frac{s^3}{3})}^2)ds=t+\frac{t^3}{3}+\frac{2t^5}{15}+\frac{t^7}{63}\end{array}$

明らかに、これは既知の解 $y(t)=\tan (t)$ のテイラー級数展開を計算している。 $\tan$ は $\pm \pi /2$ に極を持つので、これは R 全体ではなく、 $|t|<\pi /2$ の範囲でのみ局所解に収束する。

非一意性の例

解の一意性を理解するために、次のような例を考えてみよう。微分方程式はテンプレート:仮リンクを持つことができる。例えば、方程式 テンプレート:Math ($a<0$) の定常解は テンプレート:Math であり、これは初期条件 テンプレート:Math で得られる。別の初期条件 テンプレート:Math から始まる解 y(t) は停留点に向かっていくが、到達には無限時間を要するので、（全ての有限時間に対する）解の一意性が保証されている。

しかし、有限時間内で定常解に到達するような方程式では、一意性は成立しない。例えば、テンプレート:Math という方程式の場合、初期条件 テンプレート:Math に対応する解が テンプレート:Math または

$y(t)=\{\begin{array}{cc}{\left(\frac{at}{3}\right)}^3& t<0\\ 0& t\ge 0\end{array}$

のように少なくとも2つ存在するため、系の前の状態は t = 0 の後の状態によって一意に決まらない。関数 テンプレート:Math は テンプレート:Math で無限の傾きを持つため、リプシッツ連続ではなく、定理の仮説に反しており、一意性定理は適用されない。

その他の存在定理

ピカール＝リンデレーフの定理は、解が存在することと、それが一意であることを示す。ペアノの存在定理は存在のみを示し、一意性は示さないが、これは テンプレート:Math がリプシッツ連続ではなく、 テンプレート:Mvar において連続であることのみを仮定している。例えば、方程式の右辺が テンプレート:Math を初期条件 テンプレート:Nowrap として計算すると、連続ではあるがリプシッツ連続ではない。実際、この方程式は一意ではなく、次の3つの解を持っている。

$y(t)=0,y(t)=\pm {\left(\frac{2}{3}t\right)}^{\frac{3}{2}}$

さらに一般的なものとしてはカラテオドリの存在定理があり、これは テンプレート:Math に関するより弱い条件の下で（より一般的な意味での）存在を証明するものである。これらの条件は十分条件でしかないが、岡村の定理のように、初期値問題の解が一意であるための必要十分条件も存在する。

関連項目

• ピカールの逐次近似法
• フロベニウスの定理 (微分トポロジー)
• 微分方程式系の可積分条件
• ニュートン法
• オイラー法
• 台形公式

参考文献

• テンプレート:Cite book.
• テンプレート:Cite journal (In that article Lindelöf discusses a generalization of an earlier approach by Picard.)
• テンプレート:Cite book

外部リンク

• Cauchy-Lipschitz theorem at Encyclopedia of Mathematics.
• Fixed Points and the Picard Algorithm, recovered from http://www.krellinst.org/UCES/archive/classes/CNA/dir2.6/uces2.6.html.
• Proof of the Picard–Lindelöf theorem