Author |
Topic: Derivative goes to zero (Read 2918 times) |
|
Pietro K.C.
Full Member
 
Gender: 
Posts: 213
|
 |
Derivative goes to zero
« on: Sep 29th, 2002, 10:43am » |
 Quote  Modify
|
Suppose f(t) is a continuously once-differentiable strictly decreasing positive function for all t >= 0 . Must the derivative f'(t) = 0 as t approaches infinity? Why?
// modified post to include problem statement at top - willywutang 5/21/2008
Hint:
Further hint: | hidden: | | for a function g(t) to have zero as a limit at infinity, it means that, given any r > 0, there exists an M > 0 such that |g(t)| < r for *EVERY* t > M. |
Answer:| hidden: |
consider the function f(t) = 1 + 1/(t+1); its derivative, f'(t) = -1/(t+1)2, goes to zero as t->oo. But we can make that change without altering the overall behavior that f(t) > 0, and that is the main idea.
Suppose we pick a family of intervals (an,bn) defined as:
an = 2n,
bn = an + 2-n,
and modify f inside them. Intuitively, even if we add -1 to f '(t) the intervals and change the value of f(t) at the right endpoint to make it still continuous, f(t) will remain positive for all t, because f(bn) will be changed to f(bn) - (1/2 + ... + 1/2n) > 0 since f(t) > 1 for all t.
So that is what we do. We define the function F(t) on the nonnegative reals as:
F(t) = f(t) if 0 <= t <= a1
F(t) = f(t) - 1 + 1/2n+1 if bn <= t <= an+1
The rest of the argument is just mechanic, since it amounts to finding the appropriate modification of f inside the intervals that will retain continuity and differentiability. Since we know the value o F at an and bn, plus the required value of the derivatives (which are less than 1) at these points, this amounts to fitting an appropriate cubic, which I shall NOT do, since I have no easy access to MATLAB or Mathematica right now. 
Then, by construction, F is continuous, and by its definition we know that its derivative must be at least piecewise continuous. However, we constructed it so that it was in fact continuous. And by the mean value theorem, inside each interval (an,bn) there must exist a point cn with F'(cn) < -1. Therefore we have a counterexample:
- F is continously once-differentiable;
- F is strictly decreasing for t >= 0;
- for every M > 0 there exists some t such that F'(t) < -1, so lim F'(t) is not zero.
|
|
| « Last Edit: May 21st, 2008, 3:10pm by william wu » |
 IP Logged |
"I always wondered about the meaning of life. So I looked it up in the dictionary under 'L' and there it was --- the meaning of life. It was not what I expected." (Dogbert)
|
|
|
|
RIDDLES SITE
WRITE MATH!
Home 
Help 
Search 
Members 
Login 
Register
Reply
Notify of replies
Send Topic
Print