|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 不 ： [ふ] 1. (n-pref) un- 2. non- 3. negative prefix ・ 不等 ： [ふとう] 1. (adj-na,n) disparity 2. inequality ・ 不等式 ： [ふどうしき, ふとうしき] (n) (gen) (math) (expression of) inequality ・ 等 ： [など] 1. (suf) and others 2. et alia 3. etc. (ら) ・ 等式 ： [とうしき] (n) (gen) (math) equality ・ 式 ： [しき] 1. (n,n-suf) (1) equation 2. formula 3. expression 4. (2) ceremony 5. (3) style
数学の分野におけるグロンウォールの不等式（ぐろんうぉーるのふとうしき、）は、あるあるいは積分不等式をみたす関数を、対応する微分方程式あるいは積分方程式の解によって評価する結果として得られる不等式のことである。微分型のものと積分型のものの二種類が存在し、後者にはいくつかの変形版が存在する。 グロンウォールの不等式は、常微分方程式および確率微分方程式の理論において、様々な解の評価を得るために用いられる。特に、初期値問題の解のを証明する際によく用いられる（例えばを参照されたい）。 この不等式は、スウェーデンの数学者である (1877–1932) の名にちなむ。スウェーデン語での彼の名前の表記は「Grönwall」であるが、アメリカ合衆国に異動したのちの彼の出版物においては「Gronwall」の表記が用いられている。 この不等式の微分型に関する証明は、1919年にグロンウォールによって行われた。 積分型に関する証明は、1943年に応用数学者のリチャード・E・ベルマンによって行われた。 グロンウォールの不等式の非線形系への一般化は、として知られている。 == 微分型 == 実数 ''a'' < ''b'' に対し、 : を満たすならば、関数 ''u'' は対応する微分方程式 の解によって上から評価される。すなわち : が、区間 ''I'' に含まれるすべての ''t'' に対して成立する。 注意: ここでは関数 ''β'' および ''u'' の符号に関して何の仮定も置いていない。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「グロンウォールの不等式」の詳細全文を読む スポンサード リンク
|