4
$\begingroup$

Let $p>0$ and suppose that the sequence $\{x_n\}$ is defined recursive as $$ x_1 = \sqrt{p}, \quad x_{n+1} = \sqrt{p + x_n}, $$ for all $n \in \mathbb{N}$.

How can I show that $x_n$ converges, and find its limit?

I can see that one upper bound is obviously $1 + 2\sqrt{p}$. Can I use this fact somehow?

$\endgroup$

marked as duplicate by rtybase, José Carlos Santos real-analysis Jun 6 '18 at 17:50

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    $\begingroup$ So you are telling me that $(x_n) = (\sqrt{p})$ for every $n$? Or do you mean $x_0 = \sqrt{p}$. If it is the latter case, show that the sequence is bounded and monotone. You will have to use induction somewhere. $\endgroup$ – IAmNoOne Feb 21 '14 at 19:22
8
$\begingroup$

Plan. We are going to show that $\{x_n\}_{n\in\mathbb N}$ is an increasing and upper bounded sequence, which shall imply that $\{x_n\}_{n\in\mathbb N}$ converges. Next we shall find the limit using the recursion relation.

A. First, $\{x_n\}_{n\in\mathbb N}$ is an increasing sequence. This can be shown inductively:

For $k=1$: $x_1=\sqrt{p+x_0}>\sqrt{p}=x_0$.

If $x_{k-1}<x_{k}$, then $\sqrt{p+x_{k-1}}<\sqrt{p+x_{k}}$, and thus $x_k<x_{k+1}$.

B. Next, we observe that $\{x_n\}$ is upper bounded by $1+2\sqrt{p}$. Indeed $x_0=\sqrt{p}<1+2\sqrt{p}$. Assume that $x_k<1+2\sqrt{p}$. Then $$ x_{k+1}=\sqrt{p+x_k}<\sqrt{p+1+2\sqrt{p}}=1+\sqrt{p}<1+2\sqrt{p}. $$

But an increasing and upper bounded sequence converges.

C. Let $x_n\to x$. Clearly, $x\ge x_0=\sqrt{p}>0$.

Then $x_{n+1}=\sqrt{x_n+p}\to\sqrt{p+x}$.

But $\lim x_{n+1}=x$, and hence $$ x=\sqrt{p+x} $$ or $$ x^2=x+p, $$ or $$ x=\frac{1\pm \sqrt{1+4p}}{2}. $$ We choose the one with the plus sign since the other one is negative.

Hence $$ x=\frac{1+ \sqrt{1+4p}}{2}. $$

$\endgroup$
  • 3
    $\begingroup$ Next, we observe that {xn} is upper bounded by 1+2p√.How is this found guessed? $\endgroup$ – GorillaApe Sep 5 '14 at 17:42
  • $\begingroup$ @Yiorgos S. Symrlis I would also like to know how you arrived at the "obvious" upper bound? $\endgroup$ – user389056 Dec 1 '16 at 1:31
  • 1
    $\begingroup$ @user389056 It is clearly larger than the limit. First, we find the limit and then we observe that the sequence is increasing, and finally we find an upper bound. There are many other choices of course, for example $1+2p$. $\endgroup$ – Yiorgos S. Smyrlis Dec 2 '16 at 7:03
2
$\begingroup$

If I understand, you should get something like $$ \sqrt{p + \sqrt{p + \sqrt{p + \ldots}}} $$

Note that if the limit is $x$, then $x^2 = p + x$ which you can solve directly.

$\endgroup$
  • 1
    $\begingroup$ Note that this holds IF the limit exists. You can prove that the limits does exist using either induction or the fixpoint theorem. $\endgroup$ – EricAm Feb 21 '14 at 19:32
  • 1
    $\begingroup$ @EricAm yes, hence the text in the answer "if the limit is $x$" $\endgroup$ – gt6989b Feb 21 '14 at 19:34
  • 1
    $\begingroup$ Yes, I just wanted to clarify that to the OP since it could easily be overlooked. $\endgroup$ – EricAm Feb 21 '14 at 19:35

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