f is a second-differentiable function at so to every

i need to prove that if: is finite), so -

(1) to every

(2)

(3)

Printable View

- May 9th 2013, 08:20 AMorirsecond-differentiable function proving help
f is a second-differentiable function at so to every

i need to prove that if: is finite), so -

(1) to every

(2)

(3) - May 9th 2013, 07:18 PMhollywoodRe: second-differentiable function proving help
Here's some ideas on how to prove them:

1. If for some , then f'(x) would have to be greater than r for all , which would mean it is unbounded as .

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 PMorirRe: 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 PMhollywoodRe: second-differentiable function proving help
Let's start with #1. I should have said , by the way, and "it" at the end is f(x):

1. If for some , then f'(x) would have to be greater than r for all , which would mean f(x) is unbounded as .

The proof is by contradiction, so you assume that for some real number .

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 is a point on the graph, every point to the right of is above . To prove this rigorously, use the Mean Value Theorem (for f'(x) between and x, where x is some real number greater than ). So in this first part, you should prove that if for some real number , then for all .

The second half is essentially the same argument using f(x) instead of f'(x). You choose , so and prove that for all . Since is positive, the right-hand side is unbounded, so the left-hand side is unbounded. This contradicts the hypothesis that . Therefore the assumption that for some real number is false.

- Hollywood - May 11th 2013, 09:25 AMorirRe: second-differentiable function proving help
- May 11th 2013, 10:50 AMhollywoodRe: second-differentiable function proving help
You need to move from to because could be zero, and we need the derivative to be greater than zero.

You can use the Mean Value Theorem from to to prove that . Then use the Mean Value Theorem (again!) to prove my inequality. Remember is always positive, so if , .

As x goes to infinity, and are fixed, and is positive. So for any M, you can determine an x for which . This is inconsistent with .

- Hollywood - May 15th 2013, 11:10 PMorirRe: second-differentiable function proving help
ok.. got it!

and what about number 2 - sup f'((0,infty))=0 - May 16th 2013, 06:47 AMhollywoodRe: second-differentiable function proving help
By (1) you have . So you need to show that for all . Suppose this were not true - that there is some for which for all . You can use the same argument as #1 to show that goes to , which contradicts .

- Hollywood - May 16th 2013, 07:47 AMorirRe: 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 AMhollywoodRe: second-differentiable function proving help
Well, maybe not so immediately. Let . From #2, you can conclude that there is an N such that . If x>N, then you can use the mean value argument to prove that (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 , there is an N such that if x>N, .

- Hollywood