2
$\begingroup$

How to compute $$\sqrt{(1\sqrt{(2\sqrt{(3\dots)})})}$$ & $$\sqrt{(1+\sqrt{(2+\sqrt{(3+\cdots)})})}$$?

I understand that $$\sqrt{(1\sqrt{(2\sqrt{(3\dots)})})}=(1^{1/2})(2^{1/4})(3^{1/8})\cdots$$

and

$$\sqrt{(1+\sqrt{(2+\sqrt{(3+\cdots)})})}=(1+(2+(3+(\cdots))^{1/8})^{1/4})^{1/2} $$

How to Proceed further?

  • 1
    If *compute* has the sense of *determine the value of*, I see no reason why this should be possible (do you have any?). On the other hand, one can show that these iterative definitions indeed converge (is this in fact your question?).2012-09-23
  • 0
    I understand that the above expressions converge.But I want to know how to determine the value of above expressions.2012-09-23
  • 0
    Then we are back to my first question: do you have any reason to suspect that one can determine their value?2012-09-23
  • 0
    Yes. Because both the above expressions converge(to my knowledge). If we take the first expression though the magnitude of the terms increase with deeper nesting so does the power which keeps on decreasing i.e., 4th root, 8th root, etcetera2012-09-23
  • 0
    The same applies to $\sum\limits_{n\geqslant1}10^{-n!}$, which has no known expression.2012-09-23
  • 0
    @did: Your comments would be more constructive if you yourself had some reason to believe that this was similar in form to other expressions that could or could not not be evaluated in closed form. Your comments would be more well defined if you talked about "closed form in terms of ..." (with ... being some specified constants and operations) rather than "known expression."2012-09-24
  • 0
    @BenCrowell Surely you noticed that the example I provided fulfills the conditions Ranjan presented as arguments for the existence of closed forms. // Unfortunately, I fail to see the net mathematical input your comment represents, hence you might want to explain what your point is exactly.2012-09-24

3 Answers 3

7

$$\sqrt{1+\sqrt{2+\sqrt{3+\sqrt{4+\cdots}}}}=C$$

Where $C \approx 1.7579$ (OEIS A072449) is the nested radical constant. No closed form of this constant is known.


$$\sqrt{1\sqrt{2\sqrt{3\sqrt{4\cdots}}}}=\sigma$$

where $\sigma \approx 1.6616$ (OEIS A112302) is Somos's Quadratic Recurrence Constant.

$\sigma$ has an alternate form (I hesitate to call it a "closed form") of $$\sigma = \exp\left[-2^n \frac{\partial \operatorname{Li_n\left(\frac{1}{2}\right)}}{\partial n}\bigg|_{n=0}+\frac{1}{2} \frac{\partial \Phi\left(\frac{1}{2},s,n+1\right)}{\partial s}\bigg|_{s=0}\right]$$

where $\operatorname{Li}_n(z) = \sum^\infty_{n=1} \frac{z^k}{k^n}$ is the polylogarithm and $\Phi(z,s,a)=\sum_{k=0}^\infty \frac{z^k}{(a+k)^s}$ is the Lerch transcendent, and

$$\sigma = \exp\left[\int_0^1 \frac{1-x}{(x-2)\log x}\, \mathrm{d}x\right]$$

3

For the first:

Well, if it converges, we may compute its logarithm. Thus, $\log x = \sum_{k=1}^\infty \frac{\log k}{2^k}$ Now, looking at this, it is evident that this actually DO converge, (the numerators are eventually dominated by $1.5^k$ so $\log x < K + \sum_{k=1}^\infty \frac{1.5^k}{2^k}$ for some finite constant $K.$ Now, this sum is geometric and converges).

Now, computing the VALUE of this is trickier, and it is most probably not a rational number or some "nice" expression. In fact, $x$ converges to about 1.66169 (Mathematica), and is the exponential of some expression involving a Polylogarithm.

EDIT: Mixing recursion and different arithmetic operations usually result in constants that have no nice expressions. For example, $1/F_1 + 1/F_2 + 1/F_4+\dots$ converges to a number which is unknown to be rational or not, irrational $F_i$ is the i'th Fibonacci number, http://en.wikipedia.org/wiki/Reciprocal_Fibonacci_constant

  • 0
    Nice example in the Edit! Do you know any reference for it?2012-09-23
  • 0
    @did [This](http://math.stackexchange.com/questions/157479/evaluate-the-sum-sum-limits-n-0-infty-frac1f-2n) may be what you want. However, it seems the closed form $$\frac{7-\sqrt{5}}{2}$$ is in fact irrational!2012-09-23
  • 0
    I added link to what I meant, seems like I remembered it wrong, but still, there is no known nice closed form of the sum of reciprocal fibonacci numbers.2012-09-23
  • 0
    @Paxinum That may be. The sum of the reciprocals of the Fibonacci numbers converges to a constant known as the reciprocal [Fibonacci constant](http://en.wikipedia.org/wiki/Reciprocal_Fibonacci_constant) ($\psi \approx 3.35988$), which has been shown to be irrational.2012-09-23
-1

Let $A=(1^{1/2})(2^{1/4})(3^{1/8})...\implies \log A= \sum_{i=1}^{\infty}\frac{\log i}{2^i}$ and this sum converges to $\approx 0.507834$

http://www.wolframalpha.com/share/clip?f=d41d8cd98f00b204e9800998ecf8427em8adj6o2qa

$\implies (1^{1/2})(2^{1/4})(3^{1/8})...$ converges to $\approx e^{0.507834}$.

  • 0
    The sum converges!2012-09-23
  • 0
    @Paxinum,@did: i rectified the answer2012-09-23