9
$\begingroup$

It's known that
$$S_2={2\over\pi} = {\sqrt{2}\over 2}{\sqrt{2+\sqrt{2}}\over 2}{\sqrt{2+\sqrt{2+\sqrt{2}}}\over 2}\dots$$

The terms in the product approaches 1, the same holds for the following convergent series, with $\phi$ the golden ratio

$$S_1 = {\sqrt{1}\over\phi}{\sqrt{1+\sqrt{1}}\over\phi}{\sqrt{1+\sqrt{1+\sqrt{1}}}\over\phi}\dots$$

Let $$S_n = {\sqrt{n}\over c_n}{\sqrt{n+\sqrt{n}}\over c_n}\dots$$

Where $c_n$ is the solution to the equation $x=\sqrt{n+x}$

Is there a simpler formula for $S_n$?

What is the asymptotic behavior (Big-O) of $S_n$ as $n->\infty$?

$\endgroup$
3
  • 3
    $\begingroup$ the tag is wrong; please fix. this question was originally asked here: math.stackexchange.com/questions/6234/… $\endgroup$
    – Suvrit
    Apr 22, 2011 at 14:00
  • $\begingroup$ Wait! What is $S_n$? $\endgroup$ Apr 23, 2011 at 15:02
  • $\begingroup$ @Suvrit: robotic's question is definitely related to mine, but different from it; I was curious about the behavior of $S_1$ specifically, whereas zie seems more curious about the asymptotics. $\endgroup$ Apr 28, 2011 at 21:50

1 Answer 1

6
$\begingroup$

I doubt there exists a closed formula for $n\ne 2$. In the case $n=2$ such formula exists only thanks to the double-angle formula for cosine.

Let $n$ be fixed and $c=c_n$. Notice that $n=c^2-c$ and $c\to\infty$ as soon as $n\to\infty$.

Denote by $p_k$ the $k$-th multiplier in the product $S_n$. It can be easily seen that $$c\cdot (p_k^2-1) = p_{k-1} - 1$$

Consider the functional equation: $$c\cdot(f(x)^2-1)=f(2cx)-1$$ with $f(0)=1$ and $f'(0)=1$. Its solution can be expressed as a series: $$f(x) = 1 + x + \frac{x^2}{2(2c-1)} + \frac{x^3}{2(2c-1)^2(2c+1)} + \frac{x^4(2c+5)}{8(2c-1)^3(2c+1)(4c^2+2c+1)} + \dots.$$ Then $$p_k = f\left(\frac{x_0}{(2c)^k}\right)$$ where $x_0$ is a solution to $f(x_0)=0$.

Now $$S_n = \prod_{k=1}^{\infty} p_k = \exp \sum_{k=1}^{\infty} \ln\left(1 + \Theta\left(\frac{x_0}{(2c)^k}\right) \right) = \exp \sum_{k=1}^{\infty} \Theta\left(\frac{x_0}{(2c)^k}\right) = \exp \Theta\left(\frac{x_0}{2c-1}\right)$$ which tends to $1$ as $c\to\infty$.

Therefore, $S_n\to 1$ as $n\to\infty$.

Example. For $n=2$, the functional equation admits the analytic solution $f(x)=\cosh(\sqrt{2x})$ for which $x_0=\frac{-\pi^2}{8}$.

$\endgroup$
2
  • $\begingroup$ This makes sense - so the behavior is $e^{Cn^{-1/2}}$ as $n\rightarrow\infty$? $\endgroup$ Apr 28, 2011 at 21:53
  • $\begingroup$ Yes. Moreover, $C=x_0/2$. $\endgroup$ Apr 29, 2011 at 8:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

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