コーシー＝コワレフスカヤの定理

コーシー=コワレフスカヤの定理(コーシー=コワレフスカヤのていり、)とは偏微分方程式の解の存在と一意性についての基礎定理。解析性についての仮定の下、局所解の存在と一意性を保証する。常微分方程式の場合と準線形な偏微分方程式の特別な場合の結果を数学者コーシーが示し、その後、数学者コワレフスカヤによって一般的な偏微分方程式の場合に証明が与えられた。
定理の内容.
("t", "x") = ("t", "x"1, "x"2..., "xn")を、"n"+1次元実ベクトル空間R"n"+1（もしくは"n"+1次元複素ベクトル空間C"n"+1）の点とし、次の形の偏微分方程式系
を初期条件
の下に考える。各"Fi" (1 ≤ "i" ≤ "m")は、左辺に現れるformula_4の項は含まず、正規形(normal form)であるとする。
ここで"Fi" (1 ≤ "i" ≤ "m")は、全変数formula_5について、(0,0...,0)の近傍で収束べき級数を持つ、すなわち解析的（Cω級）であるとし、"wik"("x") (1 ≤ "i" ≤ "m", 0 ≤ "k" ≤ "pi"-1)も"x"=0の近傍で解析的であるとする。このとき、上記の偏微分方程式の初期問題を満たす解析的な解"ui"("t", "x") (1 ≤ "i" ≤ "m")が("t","x")=(0,0)の近傍で一意的に存在する。
解が存在しない例.
無限回微分可能（C∞級）であっても、解析的（Cω級）でない場合には、解の存在は保証されない。そのような例として、1956年、数学者H. Lewyは次のような例を示した。
この例では、"x"1, "x"2, "x"3について、(0,0,0)の近傍で、1階連続微分可能な解を持つならば、"f" ("x"3)は"x"3 =0の近傍で解析的でなければならない。従って、"f" ("x"3)がC∞級であっても、解析的でなければ、局所解が存在しない。なお、この方程式は
とすれば、
の形にまとめられる。