Take the 2-minute tour ×
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.

Let $f$ be a $C^2$ function on $[0,1]$ such that

$f(0)=f(1)=f'(0)=0,f'(1)=1.$ Prove that

$\int_0^1[f''(x)]^2dx\ge4.$

Find all $f$ for equality to occur.

share|improve this question
2  
@ZachL. Are you sure it's a duplicate? The link you give is about the integral of $|f''(x)|$, not its square. –  Davide Giraudo Oct 25 '12 at 20:30
    
@DavideGiraudo: Thanks for pointing this out. I also did not catch that they were two different questions. My apologies to the OP. –  JavaMan Oct 25 '12 at 20:31
4  
How on earth does it have 4 close votes? You have to read things people. –  Graphth Oct 25 '12 at 21:27
    
Please go and review questions for close votes and vote Do Not Close. After (I think) 5 of us do that, the close votes will go away. I already did it so we need 4 more or less. –  Graphth Oct 25 '12 at 21:28
    
@ DavideGiraudo Thanks for pointing that out. Deleted the old comment. –  Zach L. Oct 25 '12 at 22:05

1 Answer 1

up vote 8 down vote accepted

First a variational argument. Assume that this expression is minimal for some smooth function $f$. Then let $\delta: [0,1] \to \mathbb{R}$ be twice differentiable and such that $\delta(0) = \delta'(0) = \delta'(1) = \delta(1) = 0$ and consider $f + t \cdot \delta$ for a real number $t$. This function also satisfies the boundary conditions, so

$$ \int_0^1 \left(f''(x) + t\cdot \delta''(x)\right)^2 dx $$

is minimal for $t = 0$. This implies that

$$ \int_0^1 f''(x) \delta''(x) dx = 0. $$

Apply partial integration twice to get

$$ \int_0^1 f^{(4)}(x) \delta(x) dx = 0. $$

Since this must hold for any such function $\delta$ it follows that $f^{(4)}$ is identically zero on $[0,1]$ and so must be a polynomial of degree at most three. The only such polynomial that satisfies the boundary conditions is

$$ f(x) = x^2 (x - 1). $$

For this $f$ you obtain the lower bound

$$ \int_0^1 \left(f''(x)\right)^2 dx = 4. $$

This argument has produced a nice candidate minimal function. Once this candidate is found the claim follows easily. Let $f$ be the polynomial above and take $g \in C^2[0,1]$ satisfying the boundary conditions as stated in the problem. Then $g = f + (g - f)$ and if we define $\delta = g - f$ then $\delta$ has the properties assumed above. In particular, by partial integration, we know that

$$ \int_0^1f''(x)\delta''(x) dx = 0. $$

Then

$$ \int_0^1\left(g''(x)\right)^2 dx = \int_0^1\left(f''(x) + \delta''(x)\right)^2 dx = 4 + \int_0^1 \left(\delta''(x)\right)^2 dx \geq 4 $$

with equality only for $\delta'' = 0$. The latter implies $\delta = 0$ since $\delta'(0) = \delta(0) = 0$. So equality only holds when $g = f$.

share|improve this answer
    
Does it matter that we only know $f$ to be $C^2$? –  mjqxxxx Oct 25 '12 at 21:43
    
@mjqxxxx Sure it matters. It means my argument doesn't apply. And I have to edit it a bit anyway. Thanks for pointing this out. –  WimC Oct 26 '12 at 4:44
    
Fixed it... I hope. :-) –  WimC Oct 26 '12 at 18:34

Your Answer

 
discard

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.