Generalized Vieta-product - MathOverflow most recent 30 from http://mathoverflow.net2013-06-20T00:18:57Zhttp://mathoverflow.net/feeds/question/62619http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/62619/generalized-vieta-productGeneralized Vieta-productrobotic2011-04-22T13:35:51Z2011-04-28T18:33:17Z
<p>It's known that<br>
$$S_2={2\over\pi} = {\sqrt{2}\over 2}{\sqrt{2+\sqrt{2}}\over 2}{\sqrt{2+\sqrt{2+\sqrt{2}}}\over 2}\dots$$ </p>
<p>The terms in the product approaches 1, the same holds for the following convergent series, with $\phi$ the golden ratio </p>
<p>$$S_1 = {\sqrt{1}\over\phi}{\sqrt{1+\sqrt{1}}\over\phi}{\sqrt{1+\sqrt{1+\sqrt{1}}}\over\phi}\dots$$ </p>
<p>Let $$S_n = {\sqrt{n}\over c_n}{\sqrt{n+\sqrt{n}}\over c_n}\dots$$ </p>
<p>Where $c_n$ is the solution to the equation $x=\sqrt{n+x}$ </p>
<p>Is there a simpler formula for $S_n$? </p>
<p>What is the asymptotic behavior (Big-O) of $S_n$ as $n->\infty$? </p>
http://mathoverflow.net/questions/62619/generalized-vieta-product/63235#63235Answer by Max Alekseyev for Generalized Vieta-productMax Alekseyev2011-04-27T21:47:11Z2011-04-28T18:33:17Z<p>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.</p>
<p>Let $n$ be fixed and $c=c_n$. Notice that $n=c^2-c$ and $c\to\infty$ as soon as $n\to\infty$.</p>
<p>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$$</p>
<p>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$.</p>
<p>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$.</p>
<p>Therefore, $S_n\to 1$ as $n\to\infty$.</p>
<p><strong>Example</strong>. For $n=2$, the functional equation admits the analytic solution $f(x)=\cosh(\sqrt{2x})$ for which $x_0=\frac{-\pi^2}{8}$.</p>