Somos' quadratic recurrence constant

In mathematical analysis, Somos' quadratic recurrence constant is a constant defined as an expression of infinitely many nested square roots. It arises when studying the asymptotic behaviour of a certain sequence and is named after Michael Somos. It is defined by:

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

which gives a numerical value of approximately:

$\sigma =1.661687949633594121296\dots \;$ (sequence A112302 in the OEIS).

Sums and products

Somos' constant can be alternatively defined via the following infinite product:

$\sigma =\prod _{k=1}^{\infty }k^{1/2^{k}}=1^{1/2}\;2^{1/4}\;3^{1/8}\;4^{1/16}\dots$

This can be easily rewritten into the far more quickly converging product representation

$\sigma =\left({\frac {2}{1}}\right)^{1/2}\left({\frac {3}{2}}\right)^{1/4}\left({\frac {4}{3}}\right)^{1/8}\left({\frac {5}{4}}\right)^{1/16}\dots$

which can then be compactly represented in infinite product form by:

$\sigma =\prod _{k=1}^{\infty }\left(1+{\frac {1}{k}}\right)^{1/2^{k}}$

Another product representation is given by:

$\sigma =\prod _{n=1}^{\infty }\prod _{k=0}^{n}(k+1)^{(-1)^{k+n}{\binom {n}{k}}}$

Expressions for $\ln \sigma$ include:

$\ln \sigma =\sum _{k=1}^{\infty }{\frac {\ln k}{2^{k}}}$

$\ln \sigma =\sum _{k=1}^{\infty }{\frac {(-1)^{k+1}}{k}}{\text{Li}}_{k}\left({\tfrac {1}{2}}\right)$

Integrals

Integrals for $\ln \sigma$ are given by:

$\ln \sigma =\int _{0}^{1}{\frac {1-x}{(x-2)\ln x}}dx$

$\ln \sigma =\int _{0}^{1}\int _{0}^{1}{\frac {-x}{(2-xy)\ln(xy)}}dxdy$

Other formulas

The constant $\sigma$ arises when studying the asymptotic behaviour of the sequence

$g_{0}=1$

$g_{n}=ng_{n-1}^{2},\qquad n\geq 1$

with first few terms 1, 1, 2, 12, 576, 1658880, ... (sequence A052129 in the OEIS). This sequence can be shown to have asymptotic behaviour as follows:

$g_{n}\sim {\sigma ^{2^{n}}}\left(n+2-n^{-1}+4n^{-2}-21n^{-3}+138n^{-4}+O(n^{-5})\right)^{-1}$

Guillera and Sondow give a representation in terms of the derivative of the Lerch transcendent $\Phi (z,s,q)$:

$\ln \sigma =-{\frac {1}{2}}{\frac {\partial \Phi }{\partial s}}\!\left(1/2,0,1\right)$

If one defines the Euler-constant function (which gives Euler's constant for $z=1$) as:

$\gamma (z)=\sum _{n=1}^{\infty }z^{n-1}\left({\frac {1}{n}}-\ln \left({\frac {n+1}{n}}\right)\right)$

one has:

$\gamma ({\tfrac {1}{2}})=2\ln {\frac {2}{\sigma }}$

Generalizations

The generalized Somos' constant may be given by:

$\sigma _{t}=\prod _{k=1}^{\infty }k^{1/t^{k}}=1^{1/t}\;2^{1/t^{2}}\;3^{1/t^{3}}\;4^{1/t^{4}}\dots$

for $t>1$.

The following series holds:

$\ln \sigma _{t}=\sum _{k=1}^{\infty }{\frac {\ln k}{t^{k}}}$

We also have a connection to the Euler-constant function:

$\gamma ({\tfrac {1}{t}})=t\ln \left({\frac {t}{(t-1)\sigma _{t}^{t-1}}}\right)$

and the following limit, where $\gamma$ is Euler's constant:

$\lim _{t\to 0^{+}}t\sigma _{t+1}^{t}=e^{-\gamma }$

See also

• Euler's constant
• List of mathematical constants