グロンウォールの不等式
数学の分野におけるグロンウォールの不等式（ぐろんうぉーるのふとうしき、）は、あるあるいは積分不等式をみたす関数を、対応する微分方程式あるいは積分方程式の解によって評価する結果として得られる不等式のことである。微分型のものと積分型のものの二種類が存在し、後者にはいくつかの変形版が存在する。
グロンウォールの不等式は、常微分方程式および確率微分方程式の理論において、様々な解の評価を得るために用いられる。特に、初期値問題の解のを証明する際によく用いられる（例えばを参照されたい）。
この不等式は、スウェーデンの数学者である (1877–1932) の名にちなむ。スウェーデン語での彼の名前の表記は「Grönwall」であるが、アメリカ合衆国に異動したのちの彼の出版物においては「Gronwall」の表記が用いられている。
この不等式の微分型に関する証明は、1919年にグロンウォールによって行われた。 積分型に関する証明は、1943年に応用数学者のリチャード・E・ベルマンによって行われた。
グロンウォールの不等式の非線形系への一般化は、として知られている。
実数 "a" ["a", ∞) か ["a", "b"] あるいは ["a", "b") のいずれかの形をとる実軸上の区間を "I" で表す。"β" および "u" を、区間 "I" 上で定義される実数値連続関数とする。もし関数 "u" が区間 "I" の "I" で微分可能であり、微分不等式
を満たすならば、関数 "u" は対応する微分方程式 の解によって上から評価される。すなわち
が、区間 "I" に含まれるすべての "t" に対して成立する。
注意: ここでは関数 "β" および "u" の符号に関して何の仮定も置いていない。
関数
を定義する。ここで "v"("a") = 1 であり、"v"("t") > 0 が区間 "I" の任意の "t" に対して成立するとともに
が成立することに注意されたい。今、関数のにより
が成立するため、平均値の定理を応用することにより
が得られるが、これは求める不等式に他ならない。
実数 "a" ["a",∞) か ["a","b"] あるいは ["a","b") のいずれかの形をとる実軸上の区間を "I" とする。"α"、"β" および "u" を、区間 "I" 上定義される実数値関数とする。関数 "β" および "u" は連続であるとし、関数 "α" の負の部分は区間 "I" に含まれるすべての閉の有界部分区間において積分可能であるとする。注意:
(a) 関数
を定義する。関数の積の微分公式、連鎖法則、指数関数の微分公式および微分積分学の基本定理を用いることにより、微分
を得ることが出来る。ここで式の上からの評価のために、定理の仮定で現れた積分不等式を用いている点に注意されたい。関数 "β" および指数関数は非負であるため、この式は関数 "v" の微分に対する上からの評価を与えていることが分かる。"v"("a") = 0 であるため、この不等式を "a" から "t" まで積分することにより
を得る。この不等式と、指数関数の関数方程式および関数 "v"("t") の定義を用いることにより
が得られる。これを仮定に現れた積分不等式に代入することにより、求めるグロンウォールの不等式が得られる。
(b) もし関数 "α" が非減少関数であるなら、(a) および不等式 α(s) ≤ α(t) が成立すること、および微分積分学の基本定理により
が得られ、証明が完成される。
実数 に対し、 か あるいは の形を持つ実軸上の区間を で表す。 および を区間 上で定義される可測関数とする。 を、区間 のボレルσ-代数上の局所有限測度とする（区間 のすべての に対して である必要がある）。関数 には次の成立を仮定し、その意味において測度 に関して積分可能であるとする:
また関数 は積分不等式
を満たすとする。さらに、もし
が成立するという意味において、測度 について積分可能であるならば、関数 はグロンウォールの不等式
を区間 のすべての に対して満足する。ここで は開区間 を表す。
証明は三つの段階に分けられる。アイデアとしては、仮定に現れた積分不等式をそれ自身に 回代入するという方法が考えられ、これは数学的帰納法を用いることにより、以下の「主張1」において行われる。「主張2」では、積測度の順列の不変性を用いることにより、単体の測度をある便利な形状へと書き換える。最後に、求めるグロンウォールの不等式の変形版を得るために、 を無限大とすることを考える。
ゼロを含む任意の自然数 "n" に対して
が成立する。ここで残部は
は "n"-次元単体とし
数学的帰納法を用いる。 の場合、空和がゼロであることにより、これはそのまま仮定で現れた積分不等式となる。
を得る。ここで
とする。フビニ・トネリの定理を二つの積分の交換のために用いることで、
を得る。したがって主張1 は についても成立する。
ゼロを含む任意の自然数 および、区間 に含まれる任意の に対し
が成立する。ここで等号は、関数 が区間 に含まれる について連続である場合に成立する。
の場合、定義により主張は成立する。したがって以下では の場合を考える。
を定義する。異なる組み合わせに対するそれらの集合は互いに素となり、
が成立する。したがって
が成立する。測度 の -重積に関して、それらはすべて等しい測度を持ち、集合 には 個の組み合わせが含まれていることにより、主張されている不等式が成立する。
今、関数 "t" → "μ"(["a","t"]) が区間 "I" に含まれる "t" について連続であると仮定する。このとき、{1,2...,"n"} に含まれる異なる添え字"i" および "j" に対して、集合
は超平面に含まれ、したがってフビニの定理を応用することにより、その の -重積に関する測度はゼロとなる。
であることにより、主張の不等式は成立する。
任意の自然数 に対し、 により、 に現れる残部に対して
が成立することが分かる。今、測度 は区間 上で局所有限であるため、 である。したがって、関数 の積分可能性に関する仮定により
が得られる。 および指数関数の級数展開により、評価
が、区間 に含まれるすべての に対して得られる。もし関数 が非負であるなら、これらの結果を に代入することにより、関数 についての求めるグロンウォールの不等式の変形版が得られる。
関数 が区間 に含まれる について連続である場合、 により
が得られ、したがって関数 の積分可能性により、ルベーグの優収束定理を用いることで求める不等式が得られる。