Grönwall's inequality explained

In mathematics, Grönwall's inequality (also called Grönwall's lemma or the Grönwall–Bellman inequality) allows one to bound a function that is known to satisfy a certain differential or integral inequality by the solution of the corresponding differential or integral equation. There are two forms of the lemma, a differential form and an integral form. For the latter there are several variants.

Grönwall's inequality is an important tool to obtain various estimates in the theory of ordinary and stochastic differential equations. In particular, it provides a comparison theorem that can be used to prove uniqueness of a solution to the initial value problem; see the Picard–Lindelöf theorem.

It is named for Thomas Hakon Grönwall (1877–1932). Grönwall is the Swedish spelling of his name, but he spelled his name as Gronwall in his scientific publications after emigrating to the United States.

The inequality was first proven by Grönwall in 1919 (the integral form below with and being constants).Richard Bellman proved a slightly more general integral form in 1943.

A nonlinear generalization of the Grönwall–Bellman inequality is known as Bihari–LaSalle inequality. Other variants and generalizations can be found in Pachpatte, B.G. (1998).[1]

Differential form

Let

I

denote an interval of the real line of the form

[a,infty)

or

[a,b]

or

[a,b)

with

a<b

. Let

\beta

and

u

be real-valued continuous functions defined on

I

. If 

u

is differentiable in the interior

I\circ

of

I

(the interval

I

without the end points

a

and possibly

b

) and satisfies the differential inequality

u'(t)\le\beta(t)u(t),    t\inI\circ,

then

u

is bounded by the solution of the corresponding differential equation

v'(t)=\beta(t)v(t)

:

u(t)\leu(a)

t
\expl(\int
a

\beta(s)dsr)

for all

t\inI

.

Remark: There are no assumptions on the signs of the functions

\beta

and 

u

.

Proof

Define the function

v(t)=

t
\expl(\int
a

\beta(s)dsr),    t\inI.

Note that

v

satisfies

v'(t)=\beta(t)v(t),    t\inI\circ,

with

v(a)=1

and

v(t)>0

for all

t\inI

. By the quotient rule
d
dt
u(t)
v(t)

=

u'(t)v(t)-v'(t)u(t)
v2(t)

=

u'(t)v(t)-\beta(t)v(t)u(t)
v2(t)

\le0,    t\inI\circ,

Thus the derivative of the function

u(t)/v(t)

is non-positive and the function is bounded above by its value at the initial point

a

of the interval

I

:
u(t)
v(t)

\le

u(a)
v(a)

=u(a),    t\inI,

which is Grönwall's inequality.

Integral form for continuous functions

Let denote an interval of the real line of the form or or with . Let, and be real-valued functions defined on . Assume that and are continuous and that the negative part of is integrable on every closed and bounded subinterval of .

u(t)\le\alpha(t)+

t
\int
a

\beta(s)u(s)ds,    \forallt\inI,

then

u(t)\le\alpha(t)+

t\beta(r)drr)ds,   
\int
s

t\inI.

u(t)\le

t\beta(s)dsr),   
\alpha(t)\expl(\int
a

t\inI.

Remarks:

Proof

(a) Define

v(s)=

s\beta(r)u(r)dr,   
\expl({-}\int
a

s\inI.

Using the product rule, the chain rule, the derivative of the exponential function and the fundamental theorem of calculus, we obtain for the derivative

v'(s)=

s\beta(r)u(r)dr}
l(\underbrace{u(s)-\int
\le\alpha(s)
s\beta(r)drr),   
r)\beta(s)\expl({-}\int
a

s\inI,

where we used the assumed integral inequality for the upper estimate. Since and the exponential are non-negative, this gives an upper estimate for the derivative of

v(s)

. Since

v(a)=0

, integration of this inequality from to gives

v(t)

s\beta(r)drr)ds.
\le\int
a

Using the definition of

v(t)

from the first step, and then this inequality and the property

eaeb=ea+b

, we obtain
s\beta(r)dr}
\begin{align}\int
t\beta(r)dr
=\int
s

r)ds. \end{align}

Substituting this result into the assumed integral inequality gives Grönwall's inequality.

(b) If the function is non-decreasing, then part (a), the fact, and the fundamental theorem of calculus imply that

t\beta(r)drr)r)r|
\begin{align}u(t)& \le\alpha(t)+\alpha(t)\int
s
s=t
s=a
t\beta(r)drr),   
\\ &=\alpha(t)\expl(\int
a

t\inI.\end{align}

Integral form with locally finite measures

Let denote an interval of the real line of the form or or with . Let and be measurable functions defined on  and let be a continuous non-negative measure on the Borel σ-algebra of satisfying

Notes and References

  1. Book: Pachpatte. B.G.. Inequalities for differential and integral equations. 1998. Academic Press. San Diego. 9780080534640.