カラテオドリの存在定理のソースを表示

[[数学]]の分野における、'''カラテオドリの存在定理'''（からておどりのそんざいていり、{{lang-en|''Carathéodory's existence theorem''}}）は、ある[[常微分方程式]]の解は比較的弱い条件下でも存在しうる、ということを述べた定理である。[[ペアノの存在定理]]の一般化として知られる。ペアノの存在定理では、常微分方程式の右辺は[[連続 (数学)|連続]]であることが必要とされたが、カラテオドリの存在定理では、いくつかの不連続な方程式に対しても（より一般的に拡張された意味で）その解が存在することが示される。定理の名は、数学者の[[コンスタンティン・カラテオドリ]]にちなむ。

== 導入 ==
微分方程式
:<math> y'(t) = f(t,y(t)) \, </math>
および初期条件
:<math> y(t_0) = y_0, \, </math>
を考える。ここで関数 ƒ は長方形領域
:<math> R = \{ (t,y) \in \mathbf{R}\times\mathbf{R}^n \,:\, |t-t_0| \le a, |y-y_0| \le b \} </math>
上で定義されている。ペアノの存在定理は、もし ƒ が連続関数であるならば、この微分方程式は初期条件のある近傍において少なくとも一つの解を持つ、ということを保証している。<ref>{{harvtxt|Coddington|Levinson|1955}}, Theorem 1.1.2</ref> しかし、右辺が不連続であるような微分方程式を考える場合も当然あり得る。そのような例として
:<math> y'(t) = H(t), \quad y(0) = 0 </math>
が挙げられる。ただし ''H'' は
:<math> H(t) = \begin{cases} 0, & \text{if } t \le 0; \\ 1, & \text{if } t > 0 \end{cases} </math>
により定義される[[ヘビサイド関数]]とする。この時、微分方程式の解は、[[ランプ関数]]
:<math> y(t) = \int_0^t H(s) \,\mathrm{d}s = \begin{cases} 0, & \text{if } t \le 0; \\ t, & \text{if } t > 0 \end{cases} </math>
となる。しかし、この関数は <math>t=0</math> で微分可能でないため、厳密にいえば微分方程式を満たさない。このような例は、至るところで微分可能ではないような解に対しても、微分方程式の解としての概念を拡張する必要性を示唆し、結果として次のような定義が考えられるきっかけとなった。

もし関数 ''y'' が[[絶対連続]]であり、[[ほとんど (数学)|ほとんど至るところで]]微分方程式 <math>y' = f(t,y)</math> を満たし、また初期条件 <math>y(t_0)=y_0</math> を満たすなら、''y'' はそのような微分方程式の''拡張された意味での解'' と呼ばれる。<ref>{{harvtxt|Coddington|Levinson|1955}}, page 42</ref> 関数 ''y'' の絶対連続性は、その微分がほとんど至るところで存在することを意味する。<ref>{{harvtxt|Rudin|1987}}, Theorem 7.18</ref>

== 定理の内容 ==
微分方程式
:<math> y'(t) = f(t,y(t)), \quad y(t_0) = y_0, \, </math>
を考える。ここで ƒ は前述の長方形領域 ''R'' 上で定義される関数とする。もし ƒ が次の三つの条件
* |''y'' &minus; ''y''<sub>0</sub>| ≤ ''b'' を満たすようなすべての ''y'' に対して、ƒ( ·, ''y'') は[[可測関数]]である。
* |''t'' &minus; ''t''<sub>0</sub>| ≤ ''a'' を満たすようなすべての ''t'' に対して、ƒ(''t'', ·) は連続関数である。
* すべての (''t'', ''x'') ∈ ''R'' に対して |ƒ(''t'', ''x'')| ≤ ''m''(''t'') を満たすような、[''t''<sub>0</sub> &minus; ''a'', ''t''<sub>0</sub> + ''a''] 上の[[ルベーグ積分|ルベーグ可積分]]関数 ''m'' が存在する。
を満たすならば、その微分方程式は、初期条件のある近傍に少なくともひとつの「拡張された意味での解」を持つ。<ref>{{harvtxt|Coddington|Levinson|1955}}, Theorem 2.1.1</ref>

== 注釈 ==
<references/>

== 参考文献 ==
* {{Citation | last1=Coddington | first1=Earl A. | last2=Levinson | first2=Norman | title=Theory of Ordinary Differential Equations | publisher=[[McGraw-Hill]] | location=New York | year=1955}}.
* {{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and complex analysis | publisher=[[McGraw-Hill]] | location=New York | edition=3rd | isbn=978-0-07-054234-1 | mr=924157 | year=1987}}.

{{Mathanalysis-stub}}
{{DEFAULTSORT:からておとりのそんさいていり}}
[[Category:常微分方程式]]
[[Category:コンスタンティン・カラテオドリ]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]