ペアノの存在定理のソースを表示

[[数学]]の、特に[[常微分方程式]]の研究分野における'''ペアノの存在定理'''（ぺあののそんざいていり、{{lang-en|''Peano existence theorem''}}）あるいは'''コーシー・ペアノの定理'''とは、[[ジュゼッペ・ペアノ]]と[[オーギュスタン＝ルイ・コーシー]]の名にちなむ、特定の[[初期値問題]]の解の存在を保証するある基本定理のことを言う。

== 歴史 ==
ペアノは1886年に初めてこの定理を発表したが、その際の証明には間違いがあった。1890年、彼は逐次近似法を用いることで、この定理に改めて正しい証明を与えた。

== 定理 ==
''D'' を空間 '''R''' × '''R''' の[[開集合|開部分集合]]とし、
:<math>f\colon D \to \mathbb{R}</math>
を ''D'' 上の連続関数とし、
:<math>y'(x) = f\left(x,y(x)\right)</math>
を ''D'' 上定義される[[連続 (数学)|連続]]で陽的な1階[[常微分方程式]]とする。このとき、''f'' に対して <math>(x_0, y_0) \in D</math> を伴うすべての初期値問題
:<math>y\left(x_0\right) = y_0</math>
は、局所解
:<math>z\colon I \to \mathbb{R}</math>
を持つ。ここで <math>I</math> は ''x''<sub>0</sub> のある[[近傍 (位相空間論)|近傍]]であり、すべての <math> x \in I </math> に対して <math> z'(x) = f\left(x,z(x)\right) </math> が成立する。<ref>{{harv|Coddington|Levinson|1955|p=6}}</ref>

ここで、そのような解 ''z'' の一意性は保証されていないことに注意されたい。すなわち、初期値 (''x''<sub>0</sub>,''y''<sub>0</sub>) が等しいものであっても、異なる解 ''z'' が存在する場合がある。

== 拡張 ==
この定理は、''D'' がより高次元の空間 '''R''' × '''R'''<sup>''n''</sup> の部分集合である場合にも、同様に成立する。しかし、無限次元の[[バナッハ空間]]においては一般的には成立しない。

== 関連する定理 ==
ペアノの定理は、存在性に関する他の定理（{{仮リンク|ピカール・リンデレフの定理|en|Picard–Lindelöf theorem}}など）と比較される。ピカール・リンデレフの定理はペアノの定理と比べてより多くの仮定を必要とし、結果としてより多くの帰結を与える。すなわち、ペアノの定理においては連続性のみが必要とされていたが、ピカール・リンデレフの定理ではリプシッツ連続性をも必要とする一方で、その結果としては解の存在のみならず一意性までも保証される。例として、領域 <math> \left[0, 1\right]</math> 上の常微分方程式

:<math>y' = \left\vert y\right\vert^{\frac{1}{2}}</math> 

を考える。ペアノの定理に従えば、この方程式は解を持つことが分かる。しかし、この方程式の右辺は 0 を含むどのような近傍においてもリプシッツ連続ではないため、ピカール・リンデレフの定理は適用されず、したがってその解の一意性は保証されない。実際、初期値 <math>y(0)=0</math> を与えたときこの常微分方程式は二種類の解 <math>y(x)=0</math> および <math>y(x)=x^2/4</math> を持つ。任意の C に対し、<math>y=0</math> と <math>y=(x-C)^2/4</math> との間の解の変化が起こりうる。

連続性よりも弱い条件のもとでの、ペアノの存在定理の一般化として、[[カラテオドリの存在定理]]が知られている。

== 注釈 ==
<references/>

== 参考文献 ==
* G. Peano, ''Sull’integrabilità delle equazioni differenziali del primo ordine'', Atti Accad. Sci. Torino, 21 (1886) 437–445.[https://archive.org/stream/attidellaraccade21real#page/436/mode/2up/search/peano]
* G. Peano, ''Demonstration de l’intégrabilité des équations différentielles ordinaires'', [[Mathematische Annalen]], 37 (1890) 182–228. {{doi|10.1007/BF01200235}}
* W. F. Osgood, ''Beweis der Existenz einer Lösung der Differentialgleichung dy/dx = f(x, y) ohne Hinzunahme der Cauchy-Lipschitzchen Bedingung'', Monatsheft Mathematik,9 (1898) 331–345.
* {{citation | last1=Coddington | first1=Earl A. | last2=Levinson | first2=Norman | title=Theory of Ordinary Differential Equations | publisher=[[McGraw-Hill]] | location=New York | year=1955}}
* {{cite book
 | surname = Teschl
 | given = Gerald
 |authorlink=Gerald Teschl
 | title = Ordinary Differential Equations and Dynamical Systems
 | publisher=[[American Mathematical Society]]
 | place = [[Providence, Rhode Island|Providence]]
 | year = 
 | url = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}

{{Mathanalysis-stub}}
{{DEFAULTSORT:へあののそんさいていり}}
[[Category:常微分方程式]]
[[Category:ジュゼッペ・ペアノ]]
[[Category:オーギュスタン＝ルイ・コーシー]]
[[Category:数学のエポニム]]
[[Category:数学に関する記事]]