May 06, 2018 / / In news

A nice proof of Grönwall's inequality

Let $J$ denote an interval of the real line of the form $[a,\infty)$ or $[a,b]$ or $[a,b)$, with $a<b$. Let $u$ and $\beta$ be continuous real-valued functions on $J$, and let $\alpha$ be a Riemann integrable real-valued function on $J$. Assume also that $\beta$ is nonnegative. A fairly general version of Grönwall’s inequality states that if

then

Remark: no assumptions are needed on the signs of the functions $\alpha$ or $u$.

Here is a nice proof of Grönwall’s inequality, which I learned from Hans Lundmark here.

Define $I(t):= \int_a^t \beta(s)u(s)\, ds$. Then $\dot{I}:=\frac{d}{dt}I = \beta u \leq \beta(\alpha + I),$ with the last inequality following since $\beta \geq 0$. (Here we used the continuity of $u,\beta$ to invoke part 1 of the fundamental theorem of calculus, FTC-1 hereafter.) Hence

Define the antiderivative $B(t):= \int_{a}^t\beta(s)\,ds.$ (Here continuity of $\beta$ is again required, in anticipation of another invocation of FTC-1.) Multiplying both sides of the above inequality by the integrating factor $e^{-B(t)}$, we obtain

Integrating both sides from $a$ to $t$ (this is where we require integrability of $\alpha$) and using the fact that $B(a) = 0$, we obtain

Since $u(t) \leq \alpha(t) + I(t)$, we obtain

$\square$

Note that if we additionally assume that $\alpha$ is nondecreasing, then we obtain

and therefore we obtain the special case