MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to derive a Gronwall-type inequality from the inequality below. Here all the functions are nonnegative, continuous and if you need some assumptions you may use that. $$ f^2(t) \leqslant g^2(t) + \int_0^t (f(s) +c) f(s) ds \;\;\;\; (t \in [0,T]) $$ So please help!

share|cite|improve this question
up vote 1 down vote accepted

Consider the function $$h(t):=\int_0^t f(s)e^{t-s}ds\,,$$ which solves the ODE $h'=h+f$ with $h(0)=0$, so $$h(t):=\int_0^t \Big(h(s)+f(s)\Big)ds\, .$$ Adding the term $-c\, h(t)$ to both sides, your inequality takes a more familiar form of a Gronwall inequality: $$f(t)^2-c\;h(t)\le g(t)^2 + \int_0^t \Big(f(s)^2 -c\;h(s) \Big)ds $$ relative to the function $f(t)^2-c\; h(t)$.

share|cite|improve this answer

Consider g=0, c=2, f(t)=t.

By the way, what did you mean by "if you need some assumptions?" Are there folks out there who prove things without them?

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.