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

コーシー=コワレフスカヤの定理(コーシー=コワレフスカヤのていり、)とは偏微分方程式の解の存在と一意性についての基礎定理。解析性についての仮定の下、局所解の存在と一意性を保証する。常微分方程式の場合と準線形な偏微分方程式の特別な場合の結果を数学者コーシーが示し、その後、数学者コワレフスカヤによって一般的な偏微分方程式の場合に証明が与えられた。

定理の内容
(t, x) = (t, x1, x2,..., xn)を、n+1次元実ベクトル空間Rn+1（もしくはn+1次元複素ベクトル空間Cn+1）の点とし、次の形の偏微分方程式系

を初期条件

の下に考える。各Fi (1 ≤ i ≤ m)は、左辺に現れるの項は含まず、正規形(normal form)であるとする。

ここでFi (1 ≤ i ≤ m)は、全変数について、(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は次のような例を示した。

この例では、x1, x2, x3について、(0,0,0)の近傍で、1階連続微分可能な解を持つならば、f (x3)はx3 =0の近傍で解析的でなければならない。従って、f (x3)がC∞級であっても、解析的でなければ、局所解が存在しない。なお、この方程式は

とすれば、

の形にまとめられる。

参考文献
 H. Lewy, Ann. of Math. (2) 66 (1957), p.155
 溝畑茂『偏微分方程式論』岩波書店(1965年)

関連項目
偏微分方程式
ソフィア・コワレフスカヤ

偏微分方程式
解析学の定理
数学に関する記事
数学のエポニム