# problem on continuous and differentiable function

$f$ is continuous on $[0,\infty)$ and differentiable on $(0,\infty)$ and $f(0) \geq 0$ and $f^\prime(x) \geq f(x)$ to show $f(x)\geq 0 \forall x \in (0,\infty)$

my answer: if $\exists x_0 \in (0,\infty)$ s.t. $f(x_0)<0$ then $\frac{f(x_0)-f(0)}{x_0} = f^\prime(a_1) \leq 0$ now $a_1 \in (0,x_0)$

$\frac{f(a_1)-f(0)}{a_1}=f^\prime(a_2) \leq 0$

continuing this way we get a sequence $(a_i) \rightarrow 0$ s.t.$f^\prime(a_i)\leq 0 \leq f(a_i)$ which is a contradiction

is this correct or not?

-
1 - How do you prove that $a_i\rightarrow 0$? 2 - Why is $f'(a_i)\leq 0\leq f(a_i)$? – Tomás Jan 23 '13 at 18:11
+1 I'm having a lot more trouble with this question than I expected. I can prove it for $f$ analytic; but there must be some easy trick. – user7530 Jan 23 '13 at 18:47

$f$ satisfies the ODE $$u'(x) = u(x) + g(x)$$ with initial conditions $u(0) = f(0)$, and where $g(x) = f'(x)-f(x) \geq 0.$
This ODE has a solution $$u(x) = f(0)e^x + e^x\int_0^x e^{-y}g(y)\,dy$$ which is clearly positive everywhere. Uniqueness isn't immediate since $g(x)$ is not necessarily continuous, but since $0$ is the unique solution to the ODE $$(f-u)' = (f-u)$$ with initial conditions $(f-u)(0) = 0$, it follows that $f=u$.
Looks fine to me. Also, I think it might be possible to show $g(x)$ is actually continuous since otherwise there would need to be an essential discontinuity for $f'$, which means that it would be oscillating a lot and this violates $f'(x) \geq f(x)$ immediately. – Marek Jan 24 '13 at 10:00
Also, as you said, it is not hard to prove this for analytic $f$ (since $f$ behaves like $x^k$ and $f'$ like $x^{k-1}$ near a zero of $f$). I think this generalizes to arbitrary differentiable functions but I can't really come up with the proof. Any ideas? – Marek Jan 24 '13 at 10:16
I'm not sure... even a $C^{\infty}$ function can have a Taylor series with radius of convergence 0 at its roots, in which case the series can't be used to extend the positive-ness of $f$ past the root. – user7530 Jan 24 '13 at 16:18