Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

let $f\in C^{(1)}[a,b]$,and such that $f(a)=f(b)=0$, show that

$$\int_{a}^{b}f^2(x)dx\le (b-a)^2\int_{a}^{b}[f'(x)]^2dx\cdots\cdots (1)$$

My try: use Cauchy-Schwarz inequality

we have

$$\int_{a}^{b}[f'(x)]^2dx\int_{a}^{b}x^2dx\ge \left(\int_{a}^{b}xf'(x)dx\right)^2$$ $$\Longrightarrow \int_{a}^{b}[f'(x)]^2dx\ge\dfrac{3\left(\displaystyle\int_{a}^{b}xdf(x)\right)^2}{(b^3-a^3)}=\dfrac{3\left(\displaystyle\int_{a}^{b}f(x)dx\right)^2}{b^3-a^3}$$ so we only show that following $$\dfrac{3\left(\displaystyle\int_{a}^{b}f(x)dx\right)^2}{b^3-a^3}\ge\dfrac{\displaystyle\int_{a}^{b}f^2(x)dx}{(b-a)^2}$$ maybe this is not true. so How prove it by (1)

Thank you

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

Let $M=|f(x_0)|=\|f\|_{C[a,b]}.$ By Cauchy-Schwarz $$(b-a)^2\int_a^bf'^2(x)dx\ge (b-a)\int_{a}^{x_0}1dx\int_a^{x_0}f'^2(x)dx\ge(b-a)\left(\int_a^{x_0}f'(x)dx\right)^2$$$$=M^2(b-a)\ge \int_a^bf^2(x)dx$$ where the last inequality follows from the fact that $f^2(x)\le M^2.$ P.S. It is enough to request $f$ to vanish at one endpoint only.

share|cite|improve this answer
It's nice Thank you +1 – china math Sep 20 '13 at 3:15
Thanks. In case you are interested, this is the special case of Poincare-Friedrichs inequality (d=1), see here – leshik Sep 20 '13 at 3:21
Oh,Thank you, I forgot, I remember This inequality veryusefull in PDE? – china math Sep 20 '13 at 3:24
@china.math: Right you are. – leshik Sep 20 '13 at 3:25

We have $$\int_a^bf^2(x)dx=\int_a^b\left(\int_a^x f'(y)dy\right)^2dx$$ and by Cauchy-Schwarz $$\left(\int_a^x f'(y)dy\right)^2\leq \int_a^x[f'(y)]^2dy\int_a^x1dy=(x-a)\int_a^x[f'(y)]^2dy$$ thus we get $$\begin{align} \int_a^bf^2(x)dx &\leq \int_a^b(x-a)\int_a^x [f'(y)]^2dydx\\ &\leq \int_a^b(b-a)\int_a^b [f'(y)]^2dydx=(b-a)^2\int_a^b [f'(y)]^2dy \end{align}$$ as desired.

share|cite|improve this answer
It's nice too ,Thank you +1 – china math Sep 20 '13 at 3:16

In fact it is known that the sharp inequality is a factor of $\pi^2$ better: $$ \int_a^b f^2(x) dx \leq \frac{(b-a)^2}{\pi^2} \int_a^b [f'(x)]^2 dx $$ with equality iff $f(x) = c \sin(\pi\frac{x-a}{b-a})$ for some constant $c$. This is a form of Wirtinger's inequality, most easily proved by expanding $f$ in a Fourier sine series.

share|cite|improve this answer

other solution

let $$F(x)=\int_{a}^{x}f(t)dt$$ then $$|F(x)|\le\int_{a}^{b}|f(t)|dt\le(b-a)^{\frac{1}{2}}\left(\int_{a}^{b}f^2(t)dt\right)^{\frac{1}{2}}$$

and $$\int_{a}^{b}f^2(x)dx=-\int_{a}^{b}F(x)f'(x)dx\le (b-a)^2\int_{a}^{b}[f'(x)]^2dx$$

share|cite|improve this answer

Let $\displaystyle\;\;\lambda = \frac{\pi}{b-a}.\;\;$ Since $f(a) = f(b) = 0$ and $f \in C^1[a,b]$, the function defined by:

$$\varphi(x) = \begin{cases} \frac{f'(a)}{\lambda}, & x = a\\ \\ \\ \frac{f(x)}{\sin(\lambda(x-a))}, & a < x < b\\ \\ \\ -\frac{f'(b)}{\lambda}, & x = b \end{cases}$$ is $C^1$ over $(a,b)$ and continuous at $a$ and $b$. We have

$$\int_a^b |f'(x)|^2 dt = \int_a^b \Big(\varphi'(x) \sin(\lambda(x-a)) + \lambda \varphi(x) \cos(\lambda(x-a))\Big)^2 dx $$ Notice the cross term in the integrand can be simplified as: $$\begin{align} & 2\lambda \varphi(x)\varphi'(x) \sin(\lambda(x-a))\cos(\lambda(x-a))\\ = & \frac{\lambda}{2} (\varphi^2(x))'\sin(2\lambda(x-a))\\ = & \frac{\lambda}{2} \frac{d}{dx}\left[ \varphi^2(x) \sin(2\lambda(x-a))\right] - \lambda^2 \varphi^2(x) \cos(2\lambda(x-a)) \end{align}$$ We find $$\begin{align} & \int_a^b |f'(x)|^2 dt\\ = & \int_a^b \Big( |\varphi'(x)|^2 + \lambda^2 |\varphi(x)|^2 \Big) \sin^2(\lambda(x-a)) dx + \frac{\lambda}{2} \left[\varphi^2(x) \sin(2\lambda(x-a))\right]_a^b\\ \ge & \lambda^2 \int_a^b |\varphi(x)|^2 \sin^2(\lambda(x-a)) dx\\ = & \lambda^2 \int_a^b |f(x)|^2 dx\\ \ge & \frac{1}{(b-a)^2} \int_a^b |f(x)|^2 dx \end{align} $$

Please note that above steps actually contain a proof of Wirtinger's inequality for functions mentioned in Noam's answer. For other proofs of this inequality, please see this question and the links there.

share|cite|improve this answer

Another solution:

Use integration by parts: $$ \int_a^b f(x)^2 dx = -\int_a^b 2(x-\frac{a+b}{2})f(x)f'(x) dx $$

Use $2|x- \frac{a+b}{2}|\leq b-a$ for all $x\in [a,b]$, and Cauchy-Schwarz. Then $$ \int_a^b f(x)^2 dx \leq (b-a)\left[\int_a^b f(x)^2dx\right]^{\frac{1}{2}}\left[\int_a^b f'(x)^2 dx\right]^{\frac{1}{2}} $$

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.