Let $0 < a < b < \infty$. Define $x_1=a$, $x_2=b$, and $x_{n+2} = \frac{x_n + x_{n+1}}{2}$ for $n \geq 1$. Does $\{x_n\}$ converge? If so, to what limit?
Does $x_{n+2} = (x_{n+1} + x_{n})/2$ converge?
-
0First find out what's going on. Then you can probably do it yourself. Put points $a$, $b$ on the $x$-axis. Where is $x_3$? Where is $x_4$? where is $x_5$? If at first you cant't do it for general $a$ and $b$, use $2$ and $15$. – 2012-11-28
2 Answers
HINT: Note that $\dfrac{x_n+x_{n+1}}2$ is just the arithmetic mean of $x_n$ and $x_{n+1}$, so geometrically it’s their midpoint: it’s halfway between $x_n$ and $x_{n+1}$. Now make a rough sketch of the first few terms:
-|------------------------------|--------|---|---|--------------|----
a = x(0) x(2) x(4) | x(3) b = x(1)
x(5)
This should suggest the following program:
Show that the subsequence $\langle x_{2n}:n\in\Bbb N\rangle$ is strictly increasing, the subsequence $\langle x_{2n+1}:n\in\Bbb N\rangle$ is strictly decreasing,
$$x_0 and $$\lim_{n\to\infty}(x_{2n}-x_{2n+1})=0\;.$$ These imply that $\langle x_n:n\in\Bbb N\rangle$ converges; why? To get the actual limit, consider the series $$\sum_{n\ge 0}\frac{(-1)^n}{2^n}\;;$$ can you see how to relate it to the original problem?
-
2*To get the actual limit*... one can also note that $2x_{n+1}+x_n$ is independent of $n$. – 2012-11-28
$$x_3 = \dfrac{a+b}2$$ $$x_4 = \dfrac{a+3b}4$$ $$x_5 = \dfrac{3a+5b}8$$ $$x_6 = \dfrac{5a+11b}{16}$$ $$x_7 = \dfrac{11a+21b}{32}$$ In general, (by induction) $$x_n = \dfrac{J_{n-2} a + J_{n-1}b}{2^{n-2}}$$ where $J_n$'s are Jacobsthal sequence i.e. they satisfy the recurrence $$J_{n+1} = J_n + 2J_{n-1}$$ with $J_0 = 0$ and $J_1 = 1$. Once we have this recurrence, it is not hard (by induction) to find that $$J_n = \dfrac{2^n - (-1)^n}3$$ Hence, $$x_n = \dfrac{(2^{n-2} - (-1)^{n-2})a + (2^{n-1} - (-1)^{n-1})b}{3 \cdot 2^{n-2}} \to \dfrac{a + 2b}{3}$$
-
0wow, cooool is this! – 2012-12-26