15
$\begingroup$

Let $a>0$ . How we can find the limit of :

$$\sqrt{a+\sqrt{2a+\sqrt{3a+\ldots}}}$$

Thanks in advance for your help

  • 1
    see http://en.wikipedia.org/wiki/Nested_radical (if only for a general introduction)2011-06-29
  • 0
    And http://mathworld.wolfram.com/NestedRadical.html Formulas 26-28 have some resemblance2011-06-29
  • 0
    Define a sequence recursively. Then you can show the sequence is monotone increasing (since you assumed a>0), so that the limit exists. Then , by continuity of sqr, you can introduce the limit inside of the square root, and use the fact that $a_{n-1} \rightarrow {a_n}$2011-06-29
  • 0
    What do you mean by limit? Your expression seems to be between $\sqrt{a} +\sqrt{1/2}$ and $2a+1$, approaching the lower bound as $a$ increases and the higher bound as $a$ decreases towards $0$.2011-06-29
  • 0
    @Henry: Define $x_n = \sqrt{a + \sqrt{2a + \sqrt{\dots + \sqrt{na}}}}$.2011-06-29
  • 3
    See Bill Dubuque's answer here: http://math.stackexchange.com/questions/7204/limit-of-nested-radical/7216#7216 which mentions Vijayaraghavan's result.2011-06-29

4 Answers 4

12

In general, this is not known (as far as I know, at least). This is an extension of the so-called Kasner Number, and there is a good paper on the problems of finding closed forms of the Number can be found here (the paper also discusses infinite nested radicals).

This sequence does converge, at least. It's monotone increasing and bounded, so that's handy.

As an interesting note, many people are familiar with the work of Kasner without knowing it. It was Kasner who gave the name "googol" to the number 1 followed by 100 zeroes. Cool.

  • 2
    actually it was kasner's (9yrold at the time) nephew who gave $10^{100}$ its fancy name2011-06-29
  • 1
    @yoyo: I heard! It's such a funny story.2011-06-29
5

For the case $a=1$, see OEIS sequence A072449.

5

Define $a_n$ to be the sequence presented. Then we have the following (for $n$ large enough such that $an>1$): $$ a_n < \sqrt{1+\sqrt{2+..+\sqrt{(n-1)a+na}}}\stackrel{not}=b_n$$

$$b_{n+1}=\sqrt{1+\sqrt{2+...+\sqrt{(n-1)a+\sqrt{na+(n+1)a}}}} $$

For $n$ large enough we have that $b_{n+1}\leq b_n$ since $na\geq \sqrt{(2n+1)a}$ for $n \geq N_0$. Since $a_n$ is bounded above by a decreasing sequence, and $(a_n)$ is clearly increasing, it is convergent. However, I think its limit does not have a closed form. Even the case $a=1$ presented in the other answer does not have a closed form.

2

Define the sequence $a_n$ recursively by:

$a_1$:=$\sqrt{a}$

$a_n$= $\sqrt{a+a_{n-1}}$

This sequence is monotone non-decreasing, and bounded so the limit exists, and it is equal to y.

Now use the fact that $\sqrt{x}$ is continuous for $x>0$, so that it is sequentially-continuous;

then, lim

$\ \lim_{x\to\infty} \sqrt{a + \sqrt{a_{n-1}}} $=

$\sqrt{\ \lim_{x\to\infty}(a+\sqrt{a_{n-1}}) }$=

$\sqrt{a+\sqrt{\ \lim_{x\to\infty}(a_{n-1})}}$

By convergence, $a_{n-1}\rightarrow$y

  • 0
    Wow, I think I finally got the formatting right!. I am so exhausted, I will nap for a whole week.2011-06-29
  • 0
    You are defining a different sequence: $\sqrt{a + \sqrt{a + \dots}}$, isn't it? What you have defined has a closed form, as the root of a quadratic, I believe. See: http://math.stackexchange.com/questions/11945/limit-of-sqrt7-sqrt7-sqrt7-cdots2011-06-29
  • 0
    Yes, you are right, but I think a small change may save the amswer for this question2011-06-29
  • 1
    How embarrassing to be so absent-minded and answer questions that haven't been asked. I'll switch from a single shotof espresson to a quadruppio. Sorry to all.2011-06-29
  • 0
    Happens to all, don't worry :-)2011-06-29