2
$\begingroup$

An exercise says: if the real sequence $(x_n)$ is defined by $x_{n+1}=F(x_n)$ for some $F$, $x_n\to x$ and $F'(x)=0$, prove that $x_{n+2}-x_{n+1}=o(x_{n+1}-x_n)$.

The textbook says assume $F$ is continuously differentiable and apply the mean-value theorem. It's straightforward: $$\frac{x_{n+2}-x_{n+1}}{x_{n+1}-x_n}=\frac{F(x_{n+1})-F(x_n)}{x_{n+1}-x_n}=F'(y_n)$$ for $x_n

How can it be proved without assuming the continuity of the derivative? It holds (by differentiability and continuity of $F$ at $x$) that $$0\gets \frac{F(x_n)-F(x)}{x_n-x} = \frac{x_{n+1}-x}{x_n-x}$$ Can the limit of $$\frac{x_{n+2}-x_{n+1}}{x_{n+1}-x_n}$$ be obtained from here?

2 Answers 2

1

We may suppose $x=0$. So the question is: given a sequence $(x_n)$ such that $x_{n+1}/x_n \to 0$, does this imply $$\frac{x_{n+1}-x_{n+2}}{x_{n}-x_{n+1}} \to 0 ?$$ The answer is yes. Take any $\epsilon \in (0,\frac{1}{2})$. Then there exists $N$ such that$|x_{n+1}/x_n| < \epsilon$ for $n>N$. So if $n>N$, we have $|x_n-x_{n+1}| > |(1-\epsilon)x_n|$, and $|x_{n+1}-x_{n+2}| < |(1+\epsilon)x_{n+1}|$. This gives $$|\frac{x_{n+1}-x_{n+2}}{x_{n}-x_{n+1}}| < |\frac{1+\epsilon}{1-\epsilon}\frac{x_{n+1}}{x_n}| < |3\frac{x_{n+1}}{x_n}| < 3\epsilon$$

4

Consider the ratios $$ w_n=\frac{x_{n+2}-x_{n+1}}{x_{n+1}-x_n},\quad u_n=\frac{x_{n+1}-x}{x_{n}-x}. $$ Then $$ w_n=u_n\frac{u_{n+1}-1}{u_n-1}, $$ your hypothesis is that $u_n\to0$ and your aim is to show that $w_n\to0$. Well...

  • 0
    Much neater than my answer2011-03-18
  • 0
    Neat indeed. One of those tricks I still seem uncapable of finding.2011-03-18
  • 1
    @TonyK Thanks. But Weltschmerz disagrees with you.2011-03-18
  • 0
    I like both solutions very much. It was more of a coin toss, really.2011-03-18