Generalized Vieta-product - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T00:18:57Z http://mathoverflow.net/feeds/question/62619 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/62619/generalized-vieta-product Generalized Vieta-product robotic 2011-04-22T13:35:51Z 2011-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#63235 Answer by Max Alekseyev for Generalized Vieta-product Max Alekseyev 2011-04-27T21:47:11Z 2011-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>