Differentiable and Continuous functions on [0,1] with 'weird' conditions.

I've been stuck on this one for a while. Comes from an analysis qual question.

Let f be a function that is continuous on $\left[0,1\right]$ and differentiable on $(0,1)$. Show that if $f(0)=0$ and $|f'(x)| \leq |f(x)|$ for all $x \in (0,1)$, then $f(x)=0$ for all $x \in \left[0,1\right]$.

What I've tried doing so far is see if there was anything I could do with MVT. I didn't really see anything to do with definitions either..to which I have a feeling I'll be playing around with them. Drawing a picture was a little difficult with these conditions as well

Any hints/suggestions?


It suffices to show that $f=0$ on every interval $[0,b]\subsetneq [0,1]$ (because of continuity). To show this, let $x_0$ be the maximum of $|f|$ on $[0,b]$. Then,

$$|f(x_0)|=\left|\int_0^{x_0}f'(t)\, dt\right|\leqslant \int_0^{x_0}|f'(t)|\, dt\leqslant\int_0^{x_0}|f(t)|\, dt\leqslant x_0 |f(x_0)|$$

Since $x_0<1$, this implies that $|f(x_0)|=0$, and so $f=0$.


There is also a proof using the MVT:

Let $x_{0} \in (0,1)$. The MVT implies that $\left | f(x_{0}) - f(0) \right | = \left| f'(x_{1}) \right| \left| x_{0} - 0 \right|$ for some $x_{1} \in (0,x_{0}).$ Also, $$ |f(x_{0})| = |x_{0}||f'(x_{1})| \leq |x_{0}| |f(x_{1})|$$ by assumption. Applying the MVT again gives $$ |f(x_{0})| \leq |x_{0}| |x_{1}| |f(x_{2})| $$ for some $x_{2} \in (0,x_{1}).$ Continuing in this way, we obtain a sequence of points $(x_{n})$ such that $x_{n} \to 0$ as $n \to \infty$ and $$ 0 \leq |f(x_{0})| \leq |x_{0}| ...|x_{n}| |f(x_{n+1})|.$$ But $f(x_{n}) \to 0$ as $n \to \infty$ (by continuity), so the squeeze theorem gives that $f(x_{0})=0.$ Thus $f(x)=0$ on $[0,1).$

Continuity then implies that $f(1)=0,$ completing the proof.


Here's an approach that's a little ad-hoc, but it works. Let $A=\max |f|$. Use MVT to bound $|f|$ under $Ax$, then look at $f(1/2)$ and show that it's too small...