5
$\begingroup$

If I have a function, say $f(x)$, and I can prove that the function decreases with $x$, and that it converges to a constant when $x = \infty$, does that prove that it decreases at a decreasing rate? In other words, does $f(i+1) < f(i) \text { and } f(\infty) = c \to f(i+1) - f(i+2) < f(i)-f(i+1)$ ? I don't see how it could be any other way, but I often overlook things. Also, would this be the same as saying that, if I can prove the first derivative is negative and that the function converges, that the second derivative must be positive?

3 Answers 3

4

The rate of decrease will tend to zero in the limit, but that doesn't mean the rate of decrease is itself always decreasing. In other words, $f\to c$ implies $\Delta f\to0$ (the forward difference) and monotonicity ensures $\Delta f<0$, but it's still possible for $\Delta^2 f $ (the second difference) to alternate sign.

Here's a graphic to visualize how it's possible (on a local scale): mspaint

In the above, the black dots represent a monotone decreasing sequence (which we'll say converges to something). We put in between each black term a green term: each green term is slightly lower than the previous black dot, and slightly higher than the next black dot (I put red and blue lines in to make this more apparent), so the green and black dots together create a new monotone decreasing sequence. However, look at the slopes of the orange and purple lines: the slopes get smaller and bigger and smaller and bigger and so on, alternating. But the slopes represent the forward difference $\Delta a_n = a_{n+1}-a_n$, so this means second forward difference $\Delta^2a_n$ is changing sign!

  • 0
    Wow, thanks so much, the visuals really helped!2011-09-18
3

In other words, does $f(i+1) < f(i) \text { and } f(\infty) = c \to f(i+1) - f(i+2) < f(i)-f(i+1)$?

No. Consider, for example: $ f(2n) = 5\times2^{-n} $ $ f(2n+1) = 3\times2^{-n}$ This is strictly decreasing $\mathbb N\to \mathbb Q$ and converges towards 0, but the first differences keep oscillating up and down.

  • 0
    @JandR He split it up for even and odd cases.2011-09-18
1

I'm going to rephrase a bit.

If you have a monotone function that has a finite limit, then you must also have that the limit of the derivative is 0 (and the second derivative too, to address your convexity question).

Why? Assume not - lead to a contradiction. It comes quickly.

I wanted to note that the monotone condition is important here - even a function that does have a limit but is not monotone might have crazy derivatives with highly nonintuitive behavior.

  • 2
    @JandR No, it doesn't. Think of a downward zigzag with a geometric series style scaling factor (so that it converges). The derivative will be getting steeper, less steep, steeper, less steep all the time. Negative, yes. Concave? No.2011-09-18