|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 存在 : [そんざい] 1. (n,vs) existence 2. being ・ 定理 : [ていり] 【名詞】 1. theorem 2. proposition ・ 理 : [り] 【名詞】 1. reason
数学の分野における、カラテオドリの存在定理(からておどりのそんざいていり、)は、ある常微分方程式の解は比較的弱い条件下でも存在しうる、ということを述べた定理である。ペアノの存在定理の一般化として知られる。ペアノの存在定理では、常微分方程式の右辺は連続であることが必要とされたが、カラテオドリの存在定理では、いくつかの不連続な方程式に対しても(より一般的に拡張された意味で)その解が存在することが示される。定理の名は、数学者のコンスタンティン・カラテオドリにちなむ。 == 導入 == 微分方程式 : および初期条件 : を考える。ここで関数 ƒ は長方形領域 : 上で定義されている。ペアノの存在定理は、もし ƒ が連続関数であるならば、この微分方程式は初期条件のある近傍において少なくとも一つの解を持つ、ということを保証している。〔, Theorem 1.1.2〕 しかし、右辺が不連続であるような微分方程式を考える場合も当然あり得る。そのような例として : が挙げられる。ただし ''H'' は : により定義されるヘビサイド関数とする。この時、微分方程式の解は、ランプ関数 : となる。しかし、この関数は で微分可能でないため、厳密にいえば微分方程式を満たさない。このような例は、至るところで微分可能ではないような解に対しても、微分方程式の解としての概念を拡張する必要性を示唆し、結果として次のような定義が考えられるきっかけとなった。 もし関数 ''y'' が絶対連続であり、ほとんど至るところで微分方程式 を満たし、また初期条件 を満たすなら、''y'' はそのような微分方程式の''拡張された意味での解'' と呼ばれる。〔, page 42〕 関数 ''y'' の絶対連続性は、その微分がほとんど至るところで存在することを意味する。〔, Theorem 7.18〕 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「カラテオドリの存在定理」の詳細全文を読む スポンサード リンク
|