6
$\begingroup$

For a complex sequence $\{z_n\} $ defined by the recurrence relation $$z_{n+1}=\frac12 \Bigg(z_n +\frac{1}{z_n} \Bigg) $$ where $\arg z_n \in (-\frac{\pi}{2},\frac{\pi}{2})$, prove that it converges to $1$.

$\endgroup$
5
  • 1
    $\begingroup$ What's $z{{}}$? $\endgroup$
    – Git Gud
    Commented Jun 29, 2013 at 13:30
  • $\begingroup$ Should that just be $\lim z_n = 1$? It's the same thing, but clearer. $\endgroup$ Commented Jun 29, 2013 at 13:32
  • $\begingroup$ Presumably, instead of $z$ you meant $z_0$ $\endgroup$ Commented Jun 29, 2013 at 13:34
  • 1
    $\begingroup$ @shimee Please don't use the question's body and the title's body as one. Write the whole question in question's body. $\endgroup$
    – Git Gud
    Commented Jun 29, 2013 at 13:35
  • 1
    $\begingroup$ This is a particular example of Newton Raphson method to calculate square root of $A > 0$ by iteration $$x_{n + 1} = \frac{1}{2}\left(x_{n} + \frac{A}{x_{n}}\right)$$ where initial value $x_{0}$ can be chosen as any positive number. In this question $A = 1$ so that the sequence converges to $\sqrt{1} = 1$. $\endgroup$
    – Paramanand Singh
    Commented Jul 7, 2013 at 9:40

1 Answer 1

14
$\begingroup$

From the recursion relation we get, $$\left(\frac{z_{n+1}+1}{z_{n+1}-1}\right)=\left(\frac{z_{n}+1}{z_{n}-1}\right)^2, \forall n\geq1 $$ So iteratively, we get, $$\left(\frac{z_{n+1}+1}{z_{n+1}-1}\right)=\left(\frac{z_{0}+1}{z_{0}-1}\right)^{2^{n+1}}$$ Rearranging, we get, $$z_{n+1}=\frac{1+w^{2^{n+1}}}{1-w^{2^{n+1}}}$$ where $$w=\frac{z_0-1}{z_0+1}$$ Clearly, $|w|<1$ and $\arg{w}\in[-\pi/2, \pi/2]$ (I'm omitting the proofs but they are not difficult). Hence $$\lim_{n\rightarrow \infty}w^{2^{n+1}}=0 e^{j0}=0 $$ Thus $$\lim_{n\rightarrow \infty}z_n=1 \hspace{0.6cm}\Box$$

$\endgroup$
2
  • $\begingroup$ Very beautiful solution. I think when $\arg{z_0}\in[-\pi/2, \pi/2]$ then $|w|<1$ is evident since $z_0$ is closer to $1$ than $-1$ and $|z_0-1|<|z_0+1|$. Here $\arg{w}\in[-\pi/2, \pi/2]$ is not necessary. $|w|<1$ is enough. $\endgroup$
    – Arashium
    Commented Feb 3, 2015 at 6:52
  • $\begingroup$ Yes @Arashium, $\arg w$ is not necessary here, I just mentioned that for completeness. $\endgroup$ Commented Feb 3, 2015 at 9:07

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .