- Grönwall's inequality
In
mathematics , Grönwall's lemma allows one to bound a function that is known to satisfy a certain differential orintegral 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 lemma is an important tool used for obtaining various estimates in
ordinary differential equation s. In particular, it is used to proveuniqueness of a solution to theinitial value problem , see thePicard-Lindelöf theorem .It is named for
Thomas Hakon Grönwall (1877–1932). It is also commonly known as Gronwall's lemma (or inequality), which is not wrong, since Grönwall spelled his name as Gronwall in his scientific publications after emigrating to the United States.The differential form was proven by Grönwall in 1919.T. H. Gronwall: Note on the derivative with respect to a parameter of the solutions of a system of differential equations, Ann. of Math 20 (1919), 292–296.] The integral form was proven by
Richard Bellman in 1943. [Richard Bellman , The stability of solutions of linear differential equations, Duke Math. J. 10 (1943), 643–647.]Differential form
Let "I" denote an interval of the
real line of the form[ "a",∞) or[ "a","b"] or[ "a","b") with "a" < "b". Let "β" and "u" be real-valuedcontinuous functions defined on "I". If "u" is differentiable in the interior "I"o of "I" (the interval "I" without the end points "a" and possibly "b") and satisfies the differential inequality:u'(t) le eta(t),u(t),qquad tin I^circ,
then "u" is bounded by the solution of the corresponding differential equation:
:u(t) le u(a) expiggl(int_a^t eta(s), mathrm{d} siggr)
for all "t" in "I".
Remark: There are no assumptions on the signs of the functions "β" and "u".
Proof
If :v(t) = expiggl(int_a^t eta(s), mathrm{d} siggr)is the solution of :v'(t) = eta(t),v(t),with "v"("a") = 1, then "v"("t") > 0 for all "t", so:frac{d}{dt}frac{u}{v} = frac{u'v-v'u}{v^2} le frac{eta u v - eta v u}{v^2} = 0 for "t">"a", so :frac{u(t)}{v(t)}le frac{u(a)}{v(a)}=u(a)which is Gronwall's inequality.
Integral form for continuous functions
Let "I" denote an interval of the real line of the form
[ "a",∞) or[ "a","b"] or[ "a","b") with "a" < "b". Let "α", "β" and "u" be real-valued functions defined on "I". Assume that "β" and "u" are continuous and that the negative part of "α" is integrable on every closed and bounded subinterval of "I".*(a) If "β" is non-negative and if "u" satisfies the integral inequality::u(t) le alpha(t) + int_a^t eta(s) u(s),mathrm{d}s,qquad tin I,:then::u(t) le alpha(t) + int_a^talpha(s)eta(s)expiggl(int_s^teta(r),mathrm{d}riggr)mathrm{d}s,qquad tin I.
*(b) If, in addition, the function "α" is constant, then::u(t) le alphaexpiggl(int_a^teta(s),mathrm{d}siggr),qquad tin I.
Remarks:
* There are no assumptions on the signs of the function "α" and "u".
* Compared to the differential form, differentiability of "u" is not needed for the integral form.
* For a version of Grönwall's inequality which doesn't need continuity of "β" and "u", see the version in the next section.Proof
(a) Define
:v(s) = expiggl({-}int_a^seta(r),mathrm{d}riggr)int_a^seta(r)u(r),mathrm{d}r,qquad sin I.
Using the
product rule , thechain rule , the derivative of theexponential function and thefundamental theorem of calculus , we obtain for the derivative:v'(s) = iggl(underbrace{u(s)-int_a^seta(r)u(r),mathrm{d}r}_{le,alpha(s)}iggr)eta(s)expiggl({-}int_a^seta(r)mathrm{d}riggr),qquad sin I,
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". Since "v"("a") = 0, integration of this inequality from "a" to "t" gives
:v(t) leint_a^talpha(s)eta(s)expiggl({-}int_a^seta(r),mathrm{d}riggr)mathrm{d}s.
Using the definition of "v"("t") for the first step, and then this inequality and the
functional equation of the exponential function, we obtain:egin{align}int_a^teta(s)u(s),mathrm{d}s&=expiggl(int_a^teta(r),mathrm{d}riggr)v(t)\&leint_a^talpha(s)eta(s)expiggl(underbrace{int_a^teta(r),mathrm{d}r-int_a^seta(r),mathrm{d}r}_{=,int_s^teta(r),mathrm{d}r}iggr)mathrm{d}s.end{align}
Substituting this result into the assumed integral inequality gives Grönwall's inequality.
(b) If the function "α" is constant, then part (a) and the fundamental theorem on calculus imply that
:egin{align}u(t)&lealpha+iggl({-}alphaexpiggl(int_s^teta(r),mathrm{d}riggr)iggr)iggr|^{s=t}_{s=a}\&=alphaexpiggl(int_a^teta(r),mathrm{d}riggr),qquad tin I.end{align}
Integral form with locally finite measures
Let "I" denote an interval of the real line of the form
[ "a",∞) or[ "a","b"] or[ "a","b") with "a" < "b". Let "α" and "u" bemeasurable function s defined on "I" and let "μ" be alocally finite measure on theBorel σ-algebra of "I" (we need "μ"([ "a","t"] ) < ∞ for all "t" in "I"). Assume that "u" is integrable with respect to "μ" in the sense that:int_a^t|u(s)|,mu(mathrm{d}s)
and that "u" satisfies the integral inequality
:u(t) le alpha(t) + int_{ [a,t)} u(s),mu(mathrm{d}s),qquad tin I.
If, in addition,
* the function "α" is non-negative or
* the function "t" → "μ"([ "a","t"] ) is continuous for "t" in "I" and the function "α" is integrable with respect to "μ" in the sense that:int_a^t|alpha(s)|,mu(mathrm{d}s)
then "u" satisfies Grönwall's inequality
:u(t) le alpha(t) + int_{ [a,t)}alpha(s)expigl(mu(I_{s,t})igr),mu(mathrm{d}s)
for all "t" in "I", where "I""s","t" denotes to open interval ("s","t").
Remarks
* There are no continuity assumptions on the functions "α" and "u".
* The integral in Grönwall's inequality is allowed to give the value infinity.
* If "α" is the zero function and "u" is non-negative, then Grönwall's inequality implies that "u" is the zero function.
* The integrability of "u" with respect to "μ" is essential for the result. For acounterexample , let "μ" denoteLebesgue measure on theunit interval [ 0,1] , define "u"(0) = 0 and "u"("t") = 1/"t" for "t" in (0,1] , and let "α" be the zero function.pecial cases
* If the measure "μ" has a density "β" with respect to Lebesgue measure, then Grönwall's inequality can be rewritten as
:u(t) le alpha(t) + int_a^t alpha(s)eta(s)expiggl(int_s^teta(r),mathrm{d}riggr),mathrm{d}s,qquad tin I.
* If the function "α" is non-negative and the density "β" of "μ" is bounded by a constant "c", then
:u(t) le alpha(t) + cint_a^t alpha(s)expigl(c(t-s)igr),mathrm{d}s,qquad tin I.
* If, in addition, the non-negative function "α" is a constant, then
:u(t) le alpha + alpha cint_a^t expigl(c(t-s)igr),mathrm{d}s=alphaexp(c(t-a)),qquad tin I.
Outline of proof
The proof is divided into three steps. In idea is to substitute the assumed integral inequality into itself "n" times. This is done in Claim 1 using mathematical induction. In Claim 2 we rewrite the measure of a simplex in a convenient form, using the permutation invariance of product measures. In the third step we pass to the limit "n" to infinity to derive the desired variant of Grönwall's inequality.
Detailed proof
Claim 1: Iterating the inequality
For every natural number "n" including zero,
:u(t) le alpha(t) + int_{ [a,t)} alpha(s) sum_{k=0}^{n-1} mu^{otimes k}(A_k(s,t)),mu(mathrm{d}s) + R_n(t)
with remainder
:R_n(t) :=int_{ [a,t)}u(s)mu^{otimes n}(A_n(s,t)),mu(mathrm{d}s),qquad tin I,
where
:A_n(s,t)={(s_1,ldots,s_n)in I_{s,t}^nmid s_1
is an "n"-dimensional
simplex and:mu^{otimes 0}(A_0(s,t)):=1.
Proof of Claim 1
We use
mathematical induction . For "n" = 0 this is just the assumed integral inequality, because theempty sum is defined as zero.Induction step from "n" to "n" + 1:Inserting the assumed integral inequality for the function "u" into the remainder gives
:R_n(t)leint_{ [a,t)} alpha(s) mu^{otimes n}(A_n(s,t)),mu(mathrm{d}s) + ilde R_n(t)
with
:ilde R_n(t):=int_{ [a,t)} iggl(int_{ [a,q)} u(s),mu(mathrm{d}s)iggr)mu^{otimes n}(A_n(q,t)),mu(mathrm{d}q),qquad tin I.
Using the Fubini-Tonelli theorem to interchange the two integrals, we obtain
:ilde R_n(t)=int_{ [a,t)} u(s)underbrace{int_{(s,t)} mu^{otimes n}(A_n(q,t)),mu(mathrm{d}q)}_{=,mu^{otimes n+1}(A_{n+1}(s,t))},mu(mathrm{d}s)=R_{n+1}(t),qquad tin I.
Hence Claim 1 is proved for "n" + 1.
Claim 2: Measure of the simplex
For every natural number "n" including zero and all "s" < "t" in "I"
:mu^{otimes n}(A_n(s,t))lefrac{igl(mu(I_{s,t})igr)^n}{n!}
with equality in case "t" → "μ"(
[ "a","t"] ) is continuous for "t" in "I".Proof of Claim 2
For "n" = 0, the claim is true by our definitions. Therefore, consider "n" ≥ 1 in the following.
Let "Sn" denote the set of all
permutation s of the indices in {1,2,...,"n"}. For every permutation "σ" in "Sn" define:A_{n,sigma}(s,t)={(s_1,ldots,s_n)in I_{s,t}^nmid s_{sigma(1)}
These sets are disjoint for different permutations and
:igcup_{sigmain S_n}A_{n,sigma}(s,t)subset I_{s,t}^n.
Therefore,
:sum_{sigmain S_n} mu^{otimes n}(A_{n,sigma}(s,t))lemu^{otimes n}igl(I_{s,t}^nigr)=igl(mu(I_{s,t})igr)^n.
Since they all have the same measure with respect to the "n"-fold product of "μ", and since there are "n"! permutations in "Sn", the claimed inequality follows.
Assume now that "t" → "μ"(
[ "a","t"] ) is continuous for "t" in "I". Then, for different indices "i" and "j" in {1,2,...,"n"}, the set:s_1,ldots,s_n)in I_{s,t}^nmid s_i=s_j}
is contained in a
hyperplane , hence by an application ofFubini's theorem its measure with respect to the "n"-fold product of "μ" is zero. Since:I_{s,t}^nsubsetigcup_{sigmain S_n}A_{n,sigma}(s,t) cup igcup_{1le i
the claimed equality follows.
Proof of Grönwall's inequality
For every natural number "n", Claim 2 implies for the remainder of Claim 1 that
:R_n(t)| le frac{igl(mu(I_{a,t})igr)^n}{n!} int_{ [a,t)} |u(s)|,mu(mathrm{d}s),qquad tin I.
Since "μ" is locally finite on "I", we have "μ"("I""a","t") < ∞. Hence, the integrability assumption on "u" implies that
:lim_{n oinfty}R_n(t)=0,qquad tin I.
Claim 2 and the series representation of the exponential function imply the estimate
:sum_{k=0}^{n-1} mu^{otimes k}(A_k(s,t))lesum_{k=0}^{n-1} frac{igl(mu(I_{s,t})igr)^k}{k!}leexpigl(mu(I_{s,t})igr).
for all "s" < "t" in "I". If the function "α" is non-negative, then it suffices to insert these results into Claim 1 to derive the above variant of Grönwall's inequality for the function "u".
In case "t" → "μ"(
[ "a","t"] ) is continuous for "t" in "I", Claim 2 gives:sum_{k=0}^{n-1} mu^{otimes k}(A_k(s,t))=sum_{k=0}^{n-1} frac{igl(mu(I_{s,t})igr)^k}{k!} oexpigl(mu(I_{s,t})igr)qquad ext{as }n oinfty
and the integrability of the function "α" permits to use the
dominated convergence theorem to derive Grönwall's inequality.References
Wikimedia Foundation. 2010.