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

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

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

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

関数がに一様にリプシッツ連続（リプシッツ定数がに依らないことを意味する）であり、かつ、に連続しているとすると、ある値に対して、区間上で初期値問題の唯一の解が存在する, Theorem I.3.1。

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

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

ここで関数列を

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

ピカール反復の例解としてを持つ初期値問題

に関して実際にピカール反復を計算してみる。となるようにから始めて、

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

明らかに、これは既知の解のテイラー級数展開を計算している。はに極を持つので、これは R 全体ではなく、の範囲でのみ局所解に収束する。

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

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

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

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

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

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

Źródło i licencja