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

数学の微分方程式論において、ピカール＝リンデレーフの定理（Picard–Lindelöf theorem）、ピカールの存在定理（Picard's existence theorem）、コーシー＝リプシッツの定理（Cauchy–Lipschitz theorem）、または解の存在と一意性の定理（かいのそんざいといちいせいのていり、existence and uniqueness theorem）とは、初期値問題の解が一意に存在するための十分条件を与える定理である。
定理の名前は、エミール・ピカール、、オーギュスタン＝ルイ・コーシー、ルドルフ・リプシッツに因む。
次の初期値問題を考える。
関数 が に一様にリプシッツ連続（リプシッツ定数が に依らないことを意味する）であり、かつ、 に連続しているとすると、ある値 に対して、区間 formula_2 上で初期値問題の唯一の解 が存在する。
証明の概略.
この定理の証明は、微分方程式を変換し、不動点定理を応用することで行われる。両辺を積分すれば、その微分方程式を満たす関数は、積分方程式
をも満たすことになる。解の存在と一意性の証明は、ピカールの逐次近似法によって得られる。この方法はピカール反復(Picard iteration)とも呼ばれる。
ここで関数列 を
と定義する。バナッハの不動点定理を用いることで、関数列 が一様収束し、その極限関数が初期値問題の解であることを示すことができる。グロンウォールの補題を （ と は2つの解）に適用すると、 となり、大域的な一意性が証明される（局所的な一意性は、バナッハ不動点の一意性の結果である）。
ピカール反復の例.
解として formula_6 を持つ初期値問題
に関して実際にピカール反復を計算してみる。 formula_8 となるようにformula_9 から始めて、
と反復すると、次のようになる。
明らかに、これは既知の解 formula_6 のテイラー級数展開を計算している。 formula_13 は formula_14 に極を持つので、これは R 全体ではなく、 formula_15 の範囲でのみ局所解に収束する。
非一意性の例.
解の一意性を理解するために、次のような例を考えてみよう。微分方程式はを持つことができる。例えば、方程式 (formula_16) の定常解は であり、これは初期条件 で得られる。別の初期条件 から始まる解 "y"("t") は停留点に向かっていくが、到達には無限時間を要するので、（全ての有限時間に対する）解の一意性が保証されている。
しかし、有限時間内で定常解に到達するような方程式では、一意性は成立しない。例えば、 という方程式の場合、初期条件 に対応する解が または
のように少なくとも2つ存在するため、系の前の状態は "t" = 0 の後の状態によって一意に決まらない。関数 は で無限の傾きを持つため、リプシッツ連続ではなく、定理の仮説に反しており、一意性定理は適用されない。
その他の存在定理.
ピカール＝リンデレーフの定理は、解が存在することと、それが一意であることを示す。ペアノの存在定理は存在のみを示し、一意性は示さないが、これは がリプシッツ連続ではなく、 において連続であることのみを仮定している。例えば、方程式の右辺が を初期条件 として計算すると、連続ではあるがリプシッツ連続ではない。実際、この方程式は一意ではなく、次の3つの解を持っている。
さらに一般的なものとしてはカラテオドリの存在定理があり、これは に関するより弱い条件の下で（より一般的な意味での）存在を証明するものである。これらの条件は十分条件でしかないが、岡村の定理のように、初期値問題の解が一意であるための必要十分条件も存在する。