Grönwall 不等式 | Codeboy's Blog

形式陈述

设 $T>0$ ， $a\ge 0$ ， $u:[0,T]\to[0,\infty)$ 连续， $b\in L^1([0,T])$ 且 $b\ge0$ 几乎处处。若对每个 $t\in[0,T]$ ，

u(t)\le a+\int_0^t b(s)u(s)\,ds,

则

u(t)\le a\exp\!\left(\int_0^t b(s)\,ds\right) \qquad(0\le t\le T).

连续性并不是唯一可用的正则性条件。更一般地，若 $u$ 可测、非负， $bu\in L^1([0,T])$ ，且上述不等式几乎处处成立，则同一结论几乎处处成立。这里的 $bu\in L^1$ 不能省略：仅有“ $u$ 可测、 $b\in L^1$ ”并不保证积分 $\int bu$ 有限。

令

v(t)=a+\int_0^t b(s)u(s)\,ds, \qquad B(t)=\int_0^t b(s)\,ds.

由于 $bu\in L^1$ ，绝对连续性给出

v'(t)=b(t)u(t)\le b(t)v(t) \quad\text{几乎处处}.

于是

\frac{d}{dt}\bigl(e^{-B(t)}v(t)\bigr) =e^{-B(t)}\bigl(v'(t)-b(t)v(t)\bigr)\le0

几乎处处。绝对连续函数的微积分基本定理允许积分此不等式，得到

e^{-B(t)}v(t)\le v(0)=a.

再由 $u\le v$ 即得结论。证明没有除以 $v$ ，所以 $a=0$ 也无需另行处理。

常用的非齐次版本是：若

u(t)\le \alpha(t)+\int_0^t b(s)u(s)\,ds

且 $\alpha$ 非负、非减，则

u(t)\le \alpha(t)\exp\!\left(\int_0^t b(s)\,ds\right).

若 $\alpha$ 不单调，需要使用保留卷积项的精细版本，不能直接把 $\alpha(t)$ 提到所有较早时刻。

直觉

不等式允许当前误差由“初始误差 + 过去误差的加权积累”控制。Grönwall 不等式把这种自引用封闭成指数上界：每一小段时间都可能按比例放大现有量，连续复合后形成指数因子。

辅助函数 $v$ 的作用是把右侧积分变成一个可微对象。关键逻辑链是

u\le v,\qquad v'=bu\le bv,

随后乘积分因子消去 $bv$ 。若没有证明 $bu$ 可积，就不能合法地声称 $v$ 绝对连续或 $v'=bu$ ；这正是很多过度简写证明的缺口。

例子与边界

若

u(t)\le 2+3\int_0^t u(s)\,ds,

则 $b\equiv3$ ，因而

u(t)\le2e^{3t}.

这给出的是所有满足积分不等式函数的统一上界，不要求 $u$ 本身满足等号微分方程。

若两条 ODE 解之差满足

\|x(t)-y(t)\| \le \|x(0)-y(0)\| +L\int_0^t\|x(s)-y(s)\|\,ds,

便得到

\|x(t)-y(t)\|\le e^{Lt}\|x(0)-y(0)\|.

当初值相同，右侧为零，于是推出解唯一。

$b\ge0$ 用于从 $u\le v$ 推出 $bu\le bv$ 。若 $b$ 允许取负，应改用正部 $b_+=\max(b,0)$ 获得安全上界，或从具体微分不等式重新推导。指数界也未必锋利：它只利用比例增长结构，可能丢掉耗散、符号抵消或更强的能量信息。

离散递推

u_n\le a+\sum_{k<n}b_k u_k

有离散 Grönwall 版本，通常给出乘积 $\prod_{k<n}(1+b_k)$ 或其指数上界；不能把连续积分证明逐字符照搬。

推论与应用

Grönwall 不等式是常微分方程唯一性、连续依赖、数值误差传播和偏微分方程能量估计的标准收尾工具。Lebesgue 积分提供可积系数与几乎处处微分框架，绝对连续函数则保证积分辅助量可以恢复其导数。

使用时应先核对四项：积分是否有限、比较函数是否非负、系数符号是否允许比较、结论是逐点还是几乎处处。把这些条件写清通常比改进常数更重要。

参考资料

Gerald Teschl, Ordinary Differential Equations and Dynamical Systems, American Mathematical Society, 2012, §2.2.
Lawrence C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010, Appendix B.
Haim Brezis, Functional Analysis, Sobolev Spaces and Partial Differential Equations, Springer, 2011, Chapter 8.