# second-differentiable function proving help

• May 9th 2013, 08:20 AM
orir
second-differentiable function proving help
f is a second-differentiable function at $\displaystyle (0,\infty)$ so $\displaystyle f''(x)>0$ to every $\displaystyle x\in(0,\infty)$
i need to prove that if:$\displaystyle lim{}_{x\rightarrow\infty}f(x)=\ell$ $\displaystyle (\ell$ is finite), so -
(1)$\displaystyle f'(x)<0$ to every $\displaystyle x\in(0,\infty)$
(2)$\displaystyle sup\: f'((0,\infty))=0$
(3)$\displaystyle lim{}_{x\rightarrow\infty}f'(x)=0$
• May 9th 2013, 07:18 PM
hollywood
Re: second-differentiable function proving help
Here's some ideas on how to prove them:

1. If $\displaystyle f'(x_0) = r > 0$ for some $\displaystyle x_0\in(0,\infty)$, then f'(x) would have to be greater than r for all $\displaystyle x > x_0$, which would mean it is unbounded as $\displaystyle x \to \infty$.

2. If the sup is not zero, then it must be less than zero. So the derivative is less than some fixed negative number, which again means f(x) is unbounded.

3. This follows immediately from #1 and #2.

- Hollywood
• May 9th 2013, 07:55 PM
orir
Re: second-differentiable function proving help
it's greating getting ideas and clues.. that's what's the best. thx!
but i didn't quite understand you well.. can you repeat your ideas in other way?
• May 10th 2013, 11:43 PM
hollywood
Re: second-differentiable function proving help
Let's start with #1. I should have said $\displaystyle f'(x_0)=r\ge{0}$, by the way, and "it" at the end is f(x):
1. If $\displaystyle f'(x_0) = r \ge 0$ for some $\displaystyle x_0\in(0,\infty)$, then f'(x) would have to be greater than r for all $\displaystyle x > x_0$, which would mean f(x) is unbounded as $\displaystyle x \to \infty$.

The proof is by contradiction, so you assume that $\displaystyle f'(x_0)\ge{0}$ for some real number $\displaystyle x_0$.

If you look at the graph of f'(x) vs. x, you know that it always goes up as it goes to the right (that's what f''(x)>0 means). So if $\displaystyle (x_0,r)$ is a point on the graph, every point to the right of $\displaystyle x=x_0$ is above $\displaystyle y=r$. To prove this rigorously, use the Mean Value Theorem (for f'(x) between $\displaystyle x_0$ and x, where x is some real number greater than $\displaystyle x_0$). So in this first part, you should prove that if $\displaystyle f'(x_0)\ge{0}$ for some real number $\displaystyle x_0$, then $\displaystyle f'(x)>0$ for all $\displaystyle x>x_0$.

The second half is essentially the same argument using f(x) instead of f'(x). You choose $\displaystyle x_1>x_0$, so $\displaystyle f'(x_1)>0$ and prove that $\displaystyle f(x)>f(x_1)+f'(x_1)(x-x_1)$ for all $\displaystyle x>x_1$. Since $\displaystyle f'(x_1)$ is positive, the right-hand side is unbounded, so the left-hand side is unbounded. This contradicts the hypothesis that $\displaystyle \lim_{x\to\infty}f(x)=\ell$. Therefore the assumption that $\displaystyle f'(x_0)\ge{0}$ for some real number $\displaystyle x_0$ is false.

- Hollywood
• May 11th 2013, 09:25 AM
orir
Re: second-differentiable function proving help
great! i got all, thank you.. except -
Quote:

Originally Posted by hollywood
You choose $\displaystyle x_1>x_0$, so $\displaystyle f'(x_1)>0$ and prove that $\displaystyle f(x)>f(x_1)+f'(x_1)(x-x_1)$ for all $\displaystyle x>x_1$. Since $\displaystyle f'(x_1)$ is positive, the right-hand side is unbounded, so the left-hand side is unbounded.

• May 11th 2013, 10:50 AM
hollywood
Re: second-differentiable function proving help
You need to move from $\displaystyle x_0$ to $\displaystyle x_1$ because $\displaystyle f'(x_0)$ could be zero, and we need the derivative to be greater than zero.

You can use the Mean Value Theorem from $\displaystyle x_0$ to $\displaystyle x_1$ to prove that $\displaystyle f'(x_1)>0$. Then use the Mean Value Theorem (again!) to prove my inequality. Remember $\displaystyle f''(x)$ is always positive, so if $\displaystyle c>x_1$, $\displaystyle f'(c)>f'(x_1)$.

As x goes to infinity, $\displaystyle f'(x_1)$ and $\displaystyle f(x_1)$ are fixed, and $\displaystyle f'(x_1)$ is positive. So for any M, you can determine an x for which $\displaystyle f(x)>M$. This is inconsistent with $\displaystyle \lim_{x\to\infty}f(x)=\ell$.

- Hollywood
• May 15th 2013, 11:10 PM
orir
Re: second-differentiable function proving help
ok.. got it!
and what about number 2 - sup f'((0,infty))=0
• May 16th 2013, 06:47 AM
hollywood
Re: second-differentiable function proving help
By (1) you have $\displaystyle \sup{f'(x)}\le{0}$. So you need to show that $\displaystyle f'(x)>-\epsilon$ for all $\displaystyle \epsilon>0$. Suppose this were not true - that there is some $\displaystyle \epsilon>0$ for which $\displaystyle f'(x)\le-\epsilon$ for all $\displaystyle x \in (0,\infty)$. You can use the same argument as #1 to show that $\displaystyle f(x)$ goes to $\displaystyle -\infty$, which contradicts $\displaystyle \lim_{x\to\infty}f(x)=\ell$.

- Hollywood
• May 16th 2013, 07:47 AM
orir
Re: second-differentiable function proving help
great! and now, how #3 follows immediately from #1 and #2?
sorry i can't figure it out by my own...
• May 16th 2013, 08:26 AM
hollywood
Re: second-differentiable function proving help
Well, maybe not so immediately. Let $\displaystyle \epsilon>0$. From #2, you can conclude that there is an N such that $\displaystyle f'(N)>-\epsilon$. If x>N, then you can use the mean value argument to prove that $\displaystyle f'(x)>-\epsilon$ (since f''(x)>0). Of course, you have (from #1) that f'(x)<0. So you have what you need to prove the limit - for all $\displaystyle \epsilon$, there is an N such that if x>N, $\displaystyle |f(x)|<\epsilon$.

- Hollywood