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

On the fourth page of their 1967 paper Local Behavior of Solutions of Quasilinear Parabolic Equations, Aaronson and Serrin comment: "Consider a strongly differentiable function $w$ of the real variable $x$, $0 < x < d$. Then obviously

$$|w(x)|^{2} \leq \frac{2}{d}\int_{0}^{d}|w|^{2}\ dx + 2d\int_{0}^{d}|w_{x}|^{2}\ dx$$


And obviously I don't get it, and am wondering what background I need to fill in before I can read this paper.

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

This is I think just a very loose bound of the max norm by the norm of the function and the norm of the (strong) derivative. For any function $f$ defined over $(0,d)$ we have $$|f(x)| \leq \text{min}|f(t)| + \int_0^d |f'(t)| dt \leq \frac{1}{d}\int_0^d|f(t)|dt + \int_0^d |f'(t)| dt $$ All you need now is to replace $f(x)$ by $w^2(x)$. Note by AM-GM inequality $$\frac{1}{d}\int_0^d|w|^2dt + d\int_0^d|w_t|^2dt \geq 2\int_0^d|w\cdot w_t|dt=\int_0^d|(w^2(t)'|dt$$ and the inequality follows.

You probably don't need more back ground. You just need to treat each of the "obviously", "easy too see" etc statements as an exercise and try to solve it.

share|cite|improve this answer

Alternatively $$ w(x)^2-w(y)^2=\int_y^x (w(u)^2)^{\prime}du = 2 \int_y^x w(u) w^\prime(u) du $$ Since $2ab \leq a^2/t +t b^2$ for any $t$, we have \begin{eqnarray*} w(x)^2&\leq& w(y)^2 + \frac{1}{t}\int_y^x w^2(u)du +t \int_{y}^{x} (w')^2(u)du \\ &\leq& w(y)^2 + \frac{1}{t}\int_0^d w^2(u)du +t \int_{0}^{d} (w')^2(u) du \end{eqnarray*} Now integrate this inequality with respect to $y$ between $0$ and $d$ $$ d w(x)^2 \leq \int_0^d w(y)^2dy + \frac{d}{t}\int_0^d w^2(u)du +dt \int_{0}^{d} (w')^2(u)du $$ divide both sided by $d$ and choose $t=d$ to obtain $$ w(x)^2 \leq \frac{2}{d}\int_0^d w(y)^2dy + d \int_{0}^{d} (w')^2(u)du. $$

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.