4
$\begingroup$

The sequence is defined as follows :

Start : $(x_0,y_0)$ with $ 0 < x_0 < y_0 $

Step : $x_{n+1} = \frac {x_n+y_n} {2}$ , $y_{n+1}= \sqrt{x_{n+1}y_n} $

Find $\lim_{n\to \infty}(x_n,y_n)$ .


I have proved that the sequences do converge by showing that the sequences are monotone bounded sequences. The prove goes as follows , First we will prove that: If $0<x_k<y_k<a$ then $0<x_{k} < x_{k+1} < y_{k+1} < y_k < a$.

$0<\frac {x_k+x_k} 2 = x_k <x_{k+1} = \frac {x_k+y_k} 2 < \frac {y_k+y_k} {2}=y_k$ and $x_{k+1}=\sqrt{x_{k+1}x_{k+1}} <y_{k+1} =\sqrt{x_{k+1}y_k} < \sqrt{y_ky_k}=y_k<a$

Thus $\,0<x_k<x_{k+1}<y_{k+1}<y_k<a$. It follows that $0<x_n<x_{n+1}<y_{n+1}<y_n<y_0$. Hence the $x_n$ and $y_n$ are monotone bounded sequence. Hence the sequence $(x_n,y_n)$ converges. Let

$\lim_{x \to \infty } x_n=\lim_{x\to \infty} x_{n+1}=l$

$\lim_{x \to \infty } y_n=\lim_{x\to \infty} y_{n+1}=w$

$l=\lim_{x\to \infty}x_{n+1}=\lim_{x\to \infty} \frac {x_n+y_n} {2}=\frac{\lim_{x\to \infty} x_n+\lim_{x\to \infty} y_n} {2}=0.5l+0.5w$. Hence $l=w$.I am unable to find the convergent value. I would like some assistance on this.

I think $\lim_{x\to \infty}(x_n,y_n)$ exists for a more general recursion

Start : $(x_0,y_0)$ with $ 0 < x_0 < y_0 $

Step : $x_{n+1}=tx_n+(1-t)y_n $ with $t\in(0,1)$ , $y_{n+1}= \sqrt{x_{n+1}y_n} $

In this case what is the value of $\lim_{x\to \infty}(x_n,y_n)$ ?

Any insight /answer is greatly appreciated !

Thanks

$\endgroup$
2
$\begingroup$

A partial answer (for $t=\frac{1}{2}$): notice that from $$ y_{n+1}=\sqrt{\frac{x_n+y_n}{2}y_n}$$ it follows that: $$ y_{n+1}^2 - x_{n+1}^2 = \frac{1}{4}(y_n^2-x_n^2).\tag{1} $$ Now notice that if $$ x = \frac{2}{2^m \tan\frac{\pi}{2^m}},\quad y = \frac{2}{2^m \sin\frac{\pi}{2^m}}$$ then: $$\frac{x+y}{2}=\frac{2}{2^{m+1}\tan\frac{\pi}{2^{m+1}}},\quad \sqrt{\frac{x+y}{2}y}=\frac{2}{2^{m+1}\sin\frac{\pi}{2^{m+1}}},\tag{2}$$ so starting from $x_0=0$ and $y_0=1$ we have convergence towards $\frac{2}{\pi}$. In general, if: $$ x_0 = \frac{\alpha}{\tan\theta},\qquad y_0=\frac{\alpha}{\sin\theta} $$ with $\alpha\in\mathbb{R}^+$ and $\theta\in(0,\pi/2]$, we have convergence towards $\frac{\alpha}{\theta}$, so:

$$\lim_{n\to +\infty} x_n = \lim_{n\to +\infty} y_n= \frac{\sqrt{y_0^2-x_0^2}}{\arccos\frac{x_0}{y_0}}.$$

Notice that this is just the Archimedean algorithm for finding approximation of $\pi$ by computing the perimeters of the inscribed and circumscribed regular $2^n$-agons in the unit circle.

$\endgroup$
1
$\begingroup$

since note $$\left(\dfrac{x_{n+1}}{y_{n+1}}\right)^2=\dfrac{x^2_{n+1}}{x_{n+1}y_{n}}=\dfrac{x_{n+1}}{y_{n}}=\dfrac{1}{2}\left(\dfrac{x_{n}}{y_{n}}+1\right)$$ so let $\dfrac{x_{n}}{y_{n}}=\cos{c_{n}},c_{n}\in(0,\dfrac{\pi}{2})$ use this $$\dfrac{1}{2}\left(\cos{2x}+1\right)=\cos^2{x}$$ so $$\cos{c_{n+1}}=\cos{\dfrac{c_{n}}{2}}\Longrightarrow c_{n+1}=\dfrac{c_{n}}{2}$$ so $$c_{n}=\dfrac{c_{0}}{2^n}\Longrightarrow \dfrac{x_{n}}{y_{n}}=\cos{\dfrac{c_{0}}{2^n}}$$ then use following well know identity $$\cos{\dfrac{x}{2}}\cdots\cdots\cos{\dfrac{x}{2^n}}=\dfrac{sin{x}}{2^n\sin{\dfrac{x}{2^n}}}$$ then easy have limits

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.