Inequality Problem: Prove f^2 ≤ 1/4 (f')^2

  • Thread starter Thread starter boombaby
  • Start date Start date
  • Tags Tags
    Inequality
boombaby
Messages
129
Reaction score
0

Homework Statement


Let f\in C^{1} on [0,1], and f(0)=f(1)=0, prove that
\int_{0}^{1}(f(x))^{2}dx \leq \frac{1}{4} \int_{0}^{1} (f'(x))^{2}dx


Homework Equations





The Attempt at a Solution


what is the trick to produce a 1/4 there? and how to make use of f(0)=f(1)=0? well I know that f(0)=0 gives a formula like f(x)=\int_{0}^{x} f'(t)dt and f(1)=0 gives f(x)= -\int_{x}^{1} f'(t)dt. But seems that I cannot go further.
Any small hint would be great, thanks!
 
Physics news on Phys.org
anyone?...
 
Isn't this Wirtinger's Inequality?
 
yea, I'm reading it. cool. Thanks guys!
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top