wu :: forums « wu :: forums - Derivative goes to zero » Welcome, Guest. Please Login or Register. Aug 8th, 2022, 4:29pm RIDDLES SITE WRITE MATH! Home Help Search Members Login Register wu :: forums  riddles  putnam exam (pure math) (Moderators: SMQ, Icarus, towr, Eigenray, william wu, Grimbal)  Derivative goes to zero « Previous topic | Next topic » Author Topic: Derivative goes to zero  (Read 2892 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:
 hidden: not necessarily.

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.

 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