9
$\begingroup$

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?

$\endgroup$
13
$\begingroup$

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$.

$\endgroup$
  • $\begingroup$ This is nice, thanks. I also found an alternate solution that I don't quite understand, I'll try to digest it, maybe post it if people are interested. $\endgroup$ – DaveNine Aug 22 '13 at 6:12
3
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ Just a tip, you can edit your previous post instead of deleting it. That way you can also keep the upvotes on the post :). $\endgroup$ – Dan Rust Feb 8 '14 at 12:38
1
$\begingroup$

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...

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.