Let $f:[-1,1] \to \mathbb{R}$ be differentiable 3 times, let $f(0)=0$ and $f(x) \ge 0 \ \forall x \in [-1,1]$.
Prove: $\exists M>0 \ , \ s.t \ f(x) \le Mx^2$.
I separated the proofs to two cases:
- $f(x)=0 \forall x \in [-1,1]$, so we are done.
- $\exists x \in [-1,1] \ s.t \ f(x) \ne 0$, so we can say that $x=0$ is an extremum, so $f'(0)=0$.
I have expanded the function using Taylor expansion: $$f(x)=f(0)+f'(0)x+\frac{f''(0)x^2}{2}+\frac{f'''(c_x)x^3}{6}=\frac{f''(0)x^2}{2}+\frac{f'''(c_x)x^3}{6}$$ where $c_x \in (-1,1)$.
I don't know how to continue...
Please help, thank you!
You're on the right track, but I believe all you need to use is that $f$ is $C^2$ ($f''$ is continuous). Use the first degree Taylor polynomial with remainder to get $$f(x)=f(0)+f'(0)x+\frac12 f''(c_x)x^2 \quad\text{for some } x_c \text{ between $0$ and $x$}.$$ But we know there is an $M$ so that $f''\le M$ on $[-1,1]$.