数学の分野におけるグロンウォールの不等式（ぐろんうぉーるのふとうしき）は、あるあるいは積分不等式をみたす関数を、対応する微分方程式あるいは積分方程式の解によって評価する結果として得られる不等式のことである。微分型のものと積分型のものの二種類が存在し、後者にはいくつかの変形版が存在する。

グロンウォールの不等式は、常微分方程式および確率微分方程式の理論において、様々な解の評価を得るために用いられる。特に、初期値問題の解のを証明する際によく用いられる（例えばピカール＝リンデレーフの定理を参照されたい）。

この不等式は、スウェーデンの数学者である (1877–1932) の名にちなむ。スウェーデン語での彼の名前の表記は「Grönwall」であるが、アメリカ合衆国に異動したのちの彼の出版物においては「Gronwall」の表記が用いられている。

この不等式の微分型に関する証明は、1919年にグロンウォールによって行われた。積分型に関する証明は、1943年に応用数学者のリチャード・E・ベルマンによって行われた。

グロンウォールの不等式の非線形系への一般化は、として知られている。

微分型 
実数 a < b に対し、[a, ∞) か [a, b] あるいは [a, b) のいずれかの形をとる実軸上の区間を I で表す。β および u を、区間 I 上で定義される実数値連続関数とする。もし関数 u が区間 I の内部 I o で微分可能であり、微分不等式

を満たすならば、関数 u は対応する微分方程式  の解によって上から評価される。すなわち

が、区間 I に含まれるすべての t に対して成立する。

注意: ここでは関数 β および u の符号に関して何の仮定も置いていない。

証明 

関数

を定義する。ここで v(a) = 1 であり、v(t) > 0 が区間 I の任意の t に対して成立するとともに

が成立することに注意されたい。今、関数の商の微分法則により

が成立するため、平均値の定理を応用することにより

が得られるが、これは求める不等式に他ならない。

連続関数に対する積分型 
実数 a < b に対し、[a,∞) か [a,b] あるいは [a,b) のいずれかの形をとる実軸上の区間を I とする。α、β および u を、区間 I 上定義される実数値関数とする。関数 β および u は連続であるとし、関数 α の負の部分は区間 I に含まれるすべての閉の有界部分区間において積分可能であるとする。

(a) もし関数 β が非負であり、関数 u が積分不等式

を満たすなら

が成立する。
(b) さらにもし関数 α が非減少関数であるなら

が成立する。

注意:
 関数 α および u の符号に関しては何の仮定も置いていない。
 微分型の場合とは異なり、積分型においては関数 u の微分可能性は求められていない。
 関数 β および u の連続性を必要としない場合については、次節の内容を参照されたい。

証明 
(a) 関数

を定義する。関数の積の微分公式、連鎖法則、指数関数の微分公式および微分積分学の基本定理を用いることにより、微分

を得ることが出来る。ここで式の上からの評価のために、定理の仮定で現れた積分不等式を用いている点に注意されたい。関数 β および指数関数は非負であるため、この式は関数 v の微分に対する上からの評価を与えていることが分かる。v(a) = 0 であるため、この不等式を a から t まで積分することにより

を得る。この不等式と、指数関数の関数方程式および関数 v(t) の定義を用いることにより

が得られる。これを仮定に現れた積分不等式に代入することにより、求めるグロンウォールの不等式が得られる。

(b) もし関数 α が非減少関数であるなら、(a) および不等式 α(s) ≤ α(t) が成立すること、および微分積分学の基本定理により

が得られ、証明が完成される。

局所有限測度を持つ積分型 
実数  に対し、 か  あるいは  の形を持つ実軸上の区間を  で表す。 および  を区間  上で定義される可測関数とする。 を、区間  のボレルσ-代数上の局所有限測度とする（区間  のすべての  に対して  である必要がある）。関数  には次の成立を仮定し、その意味において測度  に関して積分可能であるとする:

また関数  は積分不等式

を満たすとする。さらに、もし
 関数  は非負である。あるいは
 関数  は区間  の  について連続であり、関数  は

 

が成立するという意味において、測度  について積分可能であるならば、関数  はグロンウォールの不等式

を区間  のすべての  に対して満足する。ここで  は開区間  を表す。

注意 
 関数  および  に対しては連続性に関する仮定は置かれていない。
 グロンウォールの不等式における積分の値は無限であっても許される。
 もし関数  がゼロ関数であり、関数  が非負であるなら、グロンウォールの不等式により関数  はゼロ関数となる。
 関数  の測度  に関する積分可能性は、上述の結果を得る上で本質的である。たとえば反例として、 を単位区間  上のルベーグ測度とし、 および  で関数  を定義し、関数  をゼロ関数とした場合が挙げられる。

 S. Ethier および T. Kurtz の著書に現れる結果では、より強い仮定として関数  は非負の定数とし関数  は有限区間上で有界であるとする一方で、測度  の局所有限性は仮定していない。この記事の以下で与えられる証明との違いとして、彼らの証明では残部  の挙動に関する議論を行っていないことが挙げられる。

特別な場合 
 もし測度  がルベーグ測度に関する密度  を持つなら、グロンウォールの不等式は

 

と書き換えられる。

 もし関数  は非負で、測度  の密度  は定数  により評価されているなら

 

が成立する。

 さらにもし、その非負関数  が非減少であるなら

 

が得られる。

証明の概略 
証明は三つの段階に分けられる。アイデアとしては、仮定に現れた積分不等式をそれ自身に  回代入するという方法が考えられ、これは数学的帰納法を用いることにより、以下の「主張1」において行われる。「主張2」では、積測度の順列の不変性を用いることにより、単体の測度をある便利な形状へと書き換える。最後に、求めるグロンウォールの不等式の変形版を得るために、 を無限大とすることを考える。

証明の詳細

主張1: 不等式の反復
ゼロを含む任意の自然数 n に対して

が成立する。ここで残部は

とし

は n-次元単体とし

としている。

主張1 の証明 
数学的帰納法を用いる。 の場合、空和がゼロであることにより、これはそのまま仮定で現れた積分不等式となる。

 での成立を仮定したときの、 の場合について考える: 関数  に関する仮定で現れた積分不等式を残部に代入することにより

を得る。ここで

とする。フビニ・トネリの定理を二つの積分の交換のために用いることで、

を得る。したがって主張1 は  についても成立する。

主張2: 単体の測度 
ゼロを含む任意の自然数  および、区間  に含まれる任意の  に対し

が成立する。ここで等号は、関数  が区間  に含まれる  について連続である場合に成立する。

主張2 の証明
 の場合、定義により主張は成立する。したがって以下では  の場合を考える。

 を  に含まれる元のすべての組み合わせからなる集合とする。 に含まれる任意の組み合わせ  に対し、

を定義する。異なる組み合わせに対するそれらの集合は互いに素となり、

が成立する。したがって

が成立する。測度  の -重積に関して、それらはすべて等しい測度を持ち、集合  には  個の組み合わせが含まれていることにより、主張されている不等式が成立する。

今、関数 t → μ([a,t]) が区間 I に含まれる t について連続であると仮定する。このとき、{1,2,...,n} に含まれる異なる添え字i および j に対して、集合

は超平面に含まれ、したがってフビニの定理を応用することにより、その  の -重積に関する測度はゼロとなる。

であることにより、主張の不等式は成立する。

グロンウォールの不等式の証明
任意の自然数  に対し、主張 2 により、主張 1 に現れる残部に対して

が成立することが分かる。今、測度  は区間  上で局所有限であるため、 である。したがって、関数  の積分可能性に関する仮定により

が得られる。主張 2 および指数関数の級数展開により、評価

が、区間  に含まれるすべての  に対して得られる。もし関数  が非負であるなら、これらの結果を主張 1 に代入することにより、関数  についての求めるグロンウォールの不等式の変形版が得られる。

関数  が区間  に含まれる  について連続である場合、主張 2  により

が得られ、したがって関数  の積分可能性により、ルベーグの優収束定理を用いることで求める不等式が得られる。