Skip to main content

Approximation formulas related to Somos’ quadratic recurrence constant

Abstract

We present two classes of asymptotic expansions related to Somos’ quadratic recurrence constant and provide the recursive relations for determining the coefficients of each class of the asymptotic expansions by using Bell polynomials and other techniques. We also present continued fraction approximations related to Somos’ quadratic recurrence constant.

Introduction

Somos [1] (see [2, p. 446] and [3]) defined the sequence

$$ g_{0}=1,\qquad g_{n}=ng_{n-1}^{2}, \quad n \in\mathbb{N}:=\{1,2,3,\ldots \}. $$

The first few terms are

$$ g_{0}=1,\qquad g_{1}=1, \qquad g_{2}=2, \qquad g_{3}=12, \qquad g_{4}=576, \qquad g_{5}=1\text{,}658\text{,}880, \qquad \ldots. $$

The following asymptotic expansion is known in the literature:

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \biggl(1+ \frac{2}{n}-\frac{1}{n^{2}}+\frac {4}{n^{3}}-\frac{21}{n^{4}}+ \frac{138}{n^{5}}-\frac{1091}{n^{6}}+\cdots \biggr)^{-1}, \end{aligned}$$
(1.1)

where

$$ \sigma=\sqrt{1\sqrt{2\sqrt{3\cdots}}}=\prod _{n=1}^{\infty }n^{1/2^{n}}=1.66168794 \ldots $$
(1.2)

is known as Somos’ quadratic recurrence constant. Formula (1.1) was proved by Somos, and it is cited in Finch’s book [2, p. 446] as Somos’ result. Note that the coefficient of \(1/n^{5}\) in Finch’s book is 137, but actually it is incorrect and its correct value is 138 (see Weisstein, Eric W. “Somos’s Quadratic Recurrence Constant.” From MathWorld–A Wolfram Web Resource [3]). The constant σ appears in important problems from pure and applied analysis, it has motivated a large number of research papers (see, for example, [417]).

Nemes [15] studied the coefficients in the asymptotic expansion (1.1) and developed recurrence relations. More precisely, Nemes [15, Theorem 1] proved that

$$ g_{n}\sim \frac{\sigma^{2^{n}}}{n} \biggl(a_{0}+ \frac{a_{1}}{n}+\frac {a_{2}}{n^{2}}+\frac{a_{3}}{n^{3}}+\cdots \biggr)^{-1}, $$
(1.3)

where the coefficients \(a_{k}\) (for \(k\in\mathbb{N}_{0}:=\mathbb{N}\cup\{0\}\)) are given by the recurrence relation

$$ a_{0}=1, \qquad a_{1}=2, \qquad a_{2}=-1, \qquad a_{k}=\sum_{j=1}^{k-1} \biggl((-1)^{k-j}\binom {k-3}{k-j}a_{j}-a_{k-j}a_{j} \biggr)\quad\text{for } k\geq3. $$

The coefficients \(a_{k}\) also satisfy the following recurrence relation [15, Theorem 3]:

$$ a_{0}=1,\qquad a_{k}=\frac{1}{k}\sum _{j=1}^{k}(-1)^{j-1}2b_{j}a_{k-j} \quad\text{for } k\in\mathbb{N}, $$
(1.4)

where \(b_{k}\) are the ordered Bell numbers defined by the exponential generating function [18, p. 189]

$$ \frac{1}{2-e^{x}}=\sum_{k=0}^{\infty} \frac{b_{k}}{k!}x^{k}. $$
(1.5)

The ordered Bell numbers \(b_{k}\) are given explicitly by the formula

$$ b_{k}=\sum_{j=0}^{\infty} \frac{j^{k}}{2^{j+1}}. $$

The first few ordered Bell numbers are

$$ \begin{gathered} b_{0}=1,\qquad b_{1}=1, \qquad b_{2}=3,\qquad b_{3}=13,\qquad b_{4}=75,\\ b_{5}=541, \qquad b_{6}=4683,\qquad \ldots. \end{gathered} $$

Nemes [15, Theorem 2] proved that the generating function \(A(x)=\sum_{k=0}^{\infty}a_{k}x^{k}\) of the coefficients \(a_{k}\) has the following representation:

$$ A(x)=\exp \Biggl(\sum_{k=1}^{\infty} \frac {(-1)^{k-1}2b_{k}}{k}x^{k} \Biggr). $$
(1.6)

Chen [5, Theorem 2.1] presented a class of asymptotic expansions related to Somos’ quadratic recurrence constant, which includes formula (1.1) as its special case. Let \(r\neq0\) be a given real number. The sequence \(g_{n}\) has the following asymptotic formula:

$$\begin{aligned} g_{n}= \frac{\sigma^{2^{n}}}{n} \biggl(1+\frac{c_{1}}{n}+ \cdots+\frac {c_{j}}{n^{j}}+\cdots \biggr)^{-1/r}\quad\text{as } n\to\infty \end{aligned}$$
(1.7)

with the coefficients \(c_{j}\equiv c_{j}(r)\) (\(j = 1, 2, \ldots, m\)) given by

$$\begin{aligned} c_{j}=(-1)^{j}\sum _{k_{1}+2k_{2}+\cdots+jk_{j}=j}\frac{(-2r)^{k_{1}+k_{2}+\cdots +k_{j}}}{k_{1}!k_{2}!\cdots k_{j}!} \biggl(\frac{b_{1}}{1} \biggr)^{k_{1}} \biggl(\frac{b_{2}}{2} \biggr)^{k_{2}}\cdots \biggl(\frac{b_{j}}{j} \biggr)^{k_{j}}, \end{aligned}$$
(1.8)

where \(b_{k}\) (\(k \in\mathbb{N}\)) denotes the ordered Bell numbers and the summation in (1.8) is taken over all nonnegative integers \(k_{1}, k_{2}, \ldots, k_{j}\) satisfying the equation \(k_{1}+2k_{2}+\cdots+jk_{j}=j\).

The first aim of the present paper is to give recursive relations for determining the coefficients \(c_{j}\) in (1.7) (Theorem 2.1). The second aim of the present paper is to establish a more general result, which includes expansion (1.7) as its special case (Theorem 2.2). Our last aim in this paper is to present continued fraction approximations related to Somos’ quadratic recurrence constant (Theorems 3.1 and 3.2).

Asymptotic expansions

Theorem 2.1 below gives recursive relations for determining the coefficients \(c_{j}\) in (1.7) by using the Bell polynomials.

The Bell polynomials, named in honor of Eric Temple Bell, are a triangular array of polynomials given by (see [19, pp. 133–134] and [20, 26])

$$ \begin{aligned}[b] & B_{n, k}(x_{1}, x_{2}, \ldots, x_{n-k+1}) \\ &\quad =\sum\frac{n!}{j_{1}!j_{2}!\cdots j_{n-k+1}!} \biggl(\frac{x_{1}}{1!} \biggr)^{j_{1}} \biggl(\frac {x_{2}}{2!} \biggr)^{j_{2}}\cdots \biggl(\frac{x_{n-k+1}}{(n-k+1)!} \biggr)^{j_{n-k+1}}, \end{aligned} $$
(2.1)

where the sum is taken over all sequences \(j_{1}, j_{2}, j_{3}, \ldots, j_{n-k+1}\) of nonnegative integers such that

$$ \begin{aligned} & j_{1}+j_{2}+ \cdots+j_{n-k+1}=k\quad\text{and}\quad j_{1}+2j_{2}+ \cdots+(n-k+1)j_{n-k+1}=n. \end{aligned} $$

The sum

$$ B_{n}(x_{1}, x_{2}, \ldots, x_{n})=\sum_{k=1}^{n}B_{n, k}(x_{1}, x_{2}, \ldots, x_{n-k+1}) $$
(2.2)

is sometimes called the nth complete Bell polynomial. The complete Bell polynomials satisfy the following identity:

B n ( x 1 , x 2 , , x n ) = | x 1 ( n 1 1 ) x 2 ( n 1 2 ) x 3 ( n 1 3 ) x 4 ( n 1 4 ) x 5 x n 1 x 1 ( n 2 1 ) x 2 ( n 2 2 ) x 3 ( n 2 3 ) x 4 x n 1 0 1 x 1 ( n 3 1 ) x 2 ( n 3 2 ) x 3 x n 2 0 0 1 x 1 ( n 4 1 ) x 2 x n 3 0 0 0 1 x 1 x n 4 0 0 0 0 1 x n 5 0 0 0 0 0 1 x 1 | .
(2.3)

In order to contrast them with complete Bell polynomials, the polynomials \(B_{n, k}\) defined above are sometimes called partial Bell polynomials. The complete Bell polynomials appear in the exponential of a formal power series

$$ \exp \Biggl(\sum_{n=1}^{\infty} \frac{x_{n}}{n!}u^{n} \Biggr)=\sum_{n=0}^{\infty} \frac{B_{n}(x_{1}, \ldots, x_{n})}{n!}u^{n}. $$
(2.4)

The Bell polynomials are quite general polynomials and they have been found in many applications in combinatorics. Comtet [19] devoted much to a thorough presentation of the Bell polynomials in the chapter on identities and expansions. For more results, the reader is referred to [21, Chap. 11] and [22, Chap. 5].

Theorem 2.1

Let r be a given nonzero real number. Then the sequence \(g_{n}\) has the following asymptotic expansion:

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \Biggl(\sum _{k=0}^{\infty}\frac {c_{k}(r)}{n^{k}} \Biggr)^{-1/r} \quad\textit{as } n\to\infty, \end{aligned}$$
(2.5)

with the coefficients \(c_{k}(r)\) (for \(k \in\mathbb{N}_{0}\)) given by the recursive relation

$$ c_{0}=1\quad\textit{and}\quad c_{k}(r)= \frac{2r}{k}\sum_{\ell=0}^{k-1}(-1)^{k-\ell-1}b_{k-\ell }c_{\ell}(r), $$
(2.6)

where \(b_{k}\) (for \(k \in\mathbb{N}_{0}\)) denotes the ordered Bell numbers defined by (1.5).

Proof

From (1.3), it follows that

$$\begin{aligned} \biggl(\frac{\sigma^{2^{n}}}{ng_{n}} \biggr)^{r}\sim A^{r}(1/n). \end{aligned}$$
(2.7)

On the other hand, from the definition of \(A(x)\), it follows that

$$\begin{aligned} A^{r}(1/n)=\sum_{k=0}^{\infty} \frac{c_{k}(r)}{n^{k}}\quad\text{as } n\to\infty, \end{aligned}$$
(2.8)

where \(c_{k}(r)\) (for \(k \in\mathbb{N}_{0}\)) are real numbers to be determined. By using (1.6) and (2.4), we have

$$ \begin{aligned} A^{r}(1/n)&=\exp \Biggl(\sum _{k=1}^{\infty}\frac{(-1)^{k-1}2rb_{k}}{k }\frac{1}{n^{k}} \Biggr) \\ &=\exp \Biggl(\sum_{k=1}^{\infty} \frac {(-1)^{k-1}(k-1)!2rb_{k}}{k!}\frac{1}{n^{k}} \Biggr) \\ &=\sum_{k=0}^{\infty}\frac{B_{k} (2rb_{1},-2rb_{2}, \ldots, (-1)^{k-1}(k-1)!2rb_{k} )}{k!} \frac{1}{n^{k}}. \end{aligned} $$

Therefore it is seen that the \(c_{k}(r)\) in (2.8) can be expressed in terms of the Bell polynomials

$$ c_{k}(r)=\frac{B_{k} (2rb_{1},-2rb_{2},\ldots, (-1)^{k-1}(k-1)!2rb_{k} )}{k!}. $$
(2.9)

Bulò et al. [23, Theorem 1] proved that the complete Bell polynomials can be expressed using the following recursive formula:

$$ B_{k}(x_{1}, x_{2}, \ldots, x_{k})= \textstyle\begin{cases} \sum_{\ell=0}^{k-1}\binom{k-1}{\ell}x_{k-\ell}B_{\ell}(x_{1}, x_{2}, \ldots, x_{\ell}) & \text{if}\quad k \in\mathbb{N},\\ 1& \text{if} \quad k=0. \end{cases} $$

Thus, formula (2.9) can be rewritten as

$$\begin{aligned}& c_{0}=1\quad\text{and} \\& \begin{aligned} c_{k}(r)&=\frac{1}{k!}\sum _{\ell=0}^{k-1}\binom{k-1}{\ell }(-1)^{k-\ell-1}(k- \ell-1)!2rb_{k-\ell} \\ &\quad{}\times B_{\ell}\bigl(2rb_{1},-2rb_{2}, \ldots, (-1)^{\ell-1}(\ell-1)!2rb_{\ell}\bigr) \\ &=\frac{1}{k!}\sum_{\ell=0}^{k-1} \binom{k-1}{\ell}(-1)^{k-\ell -1}(k-\ell-1)!2rb_{k-\ell} \ell!c_{\ell}(r) \\ &=\sum_{\ell=0}^{k-1}\frac{(-1)^{k-\ell-1}2rb_{k-\ell}}{k }c_{\ell}(r) \quad\text{for } k\in\mathbb{N}. \end{aligned} \end{aligned}$$

The proof of Theorem 2.1 is complete. □

Remark 2.1

The representation using a recursive algorithm for the coefficients \(c_{j}\) in (1.7) is more practical for numerical evaluation than the expression in (1.8). We can directly calculate \(c_{k}(r)\) in (2.9) by using identity (2.3).

Remark 2.2

We find that a special case of (2.5) when \(r=1\) yields immediately the asymptotic formula (1.1). Here, taking \(r=-1\) and \(-1/2\) in (2.5), respectively, we give two explicit expressions

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \biggl(1- \frac{2}{n}+\frac{5}{n^{2}}-\frac {16}{n^{3}}+\frac{66}{n^{4}}- \frac{348}{n^{5}}+\cdots \biggr)\quad\text{as } n\to\infty \end{aligned}$$
(2.10)

and

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \biggl(1- \frac{1}{n}+\frac{2}{n^{2}}-\frac {6}{n^{3}}+\frac{25}{n^{4}}+\cdots \biggr)^{2}\quad\text{as } n\to\infty. \end{aligned}$$
(2.11)

Theorem 2.2 establishes a more general result, which includes Theorem 2.1 as its special case.

Theorem 2.2

Let r be a given nonzero real number and m be a given nonnegative integer. Then the sequence \(g_{n}\) has the following asymptotic expansion:

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \Biggl(\sum _{k=0}^{\infty}\frac {d_{k}(r,m)}{n^{k}} \Biggr)^{-n^{m}/r} \quad\textit{as } n\to\infty, \end{aligned}$$
(2.12)

with the coefficients \(d_{k}(r,m)\) (for \(k \in\mathbb{N}_{0}\)) given by the recursive relation

$$ d_{0}=1\quad\textit{and}\quad d_{k}(r,m)= \frac{r}{k}\sum_{j=1}^{k-m} \frac{(-1)^{j-1}2b_{j}(j+m)}{j}d_{k-m-j}(r, m), $$
(2.13)

where \(b_{k}\) (for \(k \in\mathbb{N}_{0}\)) denotes the ordered Bell numbers defined by (1.5).

Proof

From (2.5), it follows that

$$\begin{aligned} A^{r}(1/n)\sim \Biggl(\sum _{k=0}^{\infty}\frac{d_{k}(r, m)}{n^{k}} \Biggr)^{n^{m}} \quad\text{as } n\to\infty, \end{aligned}$$
(2.14)

where \(d_{k}(r, m)\) (for \(k \in\mathbb{N}_{0}\)) are real numbers to be determined.

Taking the logarithm of (2.14) and applying (1.6) yields

$$\begin{aligned} r \Biggl(\sum_{k=1}^{\infty}\frac{(-1)^{k-1}2b_{k}}{k} \frac {1}{n^{k+m}} \Biggr)\sim\ln \Biggl(\sum_{k=0}^{\infty} \frac{d_{k}(r, m)}{n^{k}} \Biggr)\quad\text{as } n\to\infty. \end{aligned}$$

Replacing n by x gives

$$\begin{aligned} r \Biggl(\sum_{k=1}^{\infty}\frac{(-1)^{k-1}2b_{k}}{k} \frac {1}{x^{k+m}} \Biggr)\sim\ln \Biggl(\sum_{k=0}^{\infty} \frac{d_{k}(r, m)}{x^{k}} \Biggr). \end{aligned}$$

Differentiating each side with respect to x yields

$$\begin{aligned} r \Biggl(\sum_{k=0}^{\infty}\frac{d_{k}(r, m)}{x^{k}} \Biggr) \Biggl(\sum_{k=1}^{\infty} \frac {(-1)^{k-1}2b_{k}(k+m)}{k}\frac{1}{x^{k+m+1}} \Biggr)\sim\sum_{k=1}^{\infty} \frac{kd_{k}(r, m)}{x^{k+1}}. \end{aligned}$$

Hence,

$$ \begin{aligned} kd_{k}(r, m)=r\sum _{j=1}^{k-m}\frac{(-1)^{j-1}2b_{j}(j+m)}{j}d_{k-m-j}(r, m) \end{aligned} $$

and formula (2.13) follows. The proof of Theorem 2.2 is complete. □

Remark 2.3

Setting \((r, m)=(-1, 1)\) and \((r, m)=(1, 1)\) in (2.12), respectively, we give two explicit expressions

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \biggl(1- \frac{2}{n^{2}}+\frac{3}{n^{3}}-\frac {20}{3n^{4}}+\cdots \biggr)^{n}\quad \text{as } n\to\infty \end{aligned}$$
(2.15)

and

$$\begin{aligned} g_{n}&\sim \frac{\sigma^{2^{n}}}{n} \biggl(1+ \frac{2}{n^{2}}-\frac{3}{n^{3}}+\frac {32}{3n^{4}}-\frac{87}{2n^{5}}+\cdots \biggr)^{-n}\quad \text{as } n\to\infty. \end{aligned}$$
(2.16)

Remark 2.4

Setting \(c_{k}(r):=d_{k}(r, 0)\), we obtain from (2.13) that

$$ c_{0}=1\quad\text{and}\quad c_{k}(r)= \frac{r}{k}\sum_{j=1}^{k}(-1)^{j-1}2b_{j}c_{k-j}(r). $$
(2.17)

It is easy to see that (2.6) is equivalent to (2.17). Setting \(a_{k}:=c_{k}(1)\), (2.17) becomes (1.4).

Continued fraction approximations

We define the sequence \((u_{n})_{n\in\mathbb{N}}\) by

$$ u_{n}=\frac{ng_{n}}{\sigma^{2^{n}}}- \biggl(1+\frac{a}{n+b+\frac {c}{n+d+\frac{p}{n+q}}} \biggr). $$
(3.1)

We are interested in finding fixed parameters a, b, c, d, p, and q such that \((u_{n})_{n\in\mathbb{N}}\) converges as fast as possible to zero. This provides the best approximations of the form

$$ g_{n}\approx\frac{\sigma^{2^{n}}}{n} \biggl(1+ \frac{a}{n+b+\frac {c}{n+d+\frac{p}{n+q}}} \biggr). $$
(3.2)

Our study is based on the following lemma, which is useful for accelerating some convergences, or in constructing some better asymptotic expansions.

Lemma 3.1

([24, 25])

If the sequence \((\lambda_{n})_{n\in\mathbb{N}}\) converges to zero and if the following limit

$$ \lim_{n\to\infty}n^{k}(\lambda_{n}- \lambda_{n+1})=l\in\mathbb{R}, \quad k>1 $$

exists, then

$$ \lim_{n\to\infty}n^{k-1}\lambda_{n}= \frac{l}{k-1},\quad k>1, $$

where \(\mathbb{R}\) denotes the set of real numbers.

Theorem 3.1

Let the sequence \((u_{n})_{n\in\mathbb{N}}\) be defined by (3.1). Then, for

$$ a=-2,\qquad b=\frac{5}{2}, \qquad c=-\frac{7}{4}, \qquad d=\frac{69}{14},\qquad p=-\frac{376}{49},\qquad q= \frac{5171}{658}, $$
(3.3)

we have

$$ \lim_{n\to\infty}n^{8}(u_{n}-u_{n+1})=- \frac{158\text{,}319}{47}\quad \textit{and}\quad\lim_{n\to\infty}n^{7}u_{n}=- \frac{22\text{,}617}{47}. $$
(3.4)

The speed of convergence of the sequence \((u_{n})_{n\in\mathbb{N}}\) is given by the order estimate \(O (n^{-7} )\) as \(n\to\infty\).

Proof

First of all, we write the difference \(u_{n}-u_{n+1}\) as the following power series in \(n^{-1}\):

$$\begin{aligned} u_{n}-u_{n+1}&=-\frac{a+2}{n^{2}}+\frac{12+a+2ab}{n^{3}}- \frac {65-3ac+a+3ab+3ab^{2}}{n^{4}} \\ &\quad{}+\frac{382+a-8abc-4acd+4ab-6ac+6ab^{2}+4ab^{3}}{n^{5}} \\ &\quad{}- \bigl(2587-5acd^{2}+a+5acp-15cab^{2}-20abc-10acd-10abcd \\ &\quad{}+5ab-10ac+10ab^{2}+10ab^{3}+5ac^{2}+5ab^{4} \bigr)\frac {1}{n^{6}} \\ &\quad{}+ \bigl(20\text{,}600-15acd^{2}+a+15acp-45cab^{2}-40abc-20acd \\ &\quad{}-30abcd-18cdab^{2}+12abcp-12abcd^{2}+6acpq+12acdp \\ &\quad{}+6ab-15ac+15ab^{2}+20ab^{3}+12ac^{2}d+18abc^{2}-24cab^{3} \\ &\quad{}-6acd^{3}+15ac^{2}+15ab^{4}+6ab^{5} \bigr)\frac{1}{n^{7}} \\ &\quad{}- \bigl(192\text{,}649-35acd^{2}+a+35acp-105cab^{2}-70abc-7ac^{3}+7acpq^{2} \\ &\quad{}+42c^{2}dab+21apcd^{2}-28cdab^{3}+21ab^{2}cp-21ab^{2}cd^{2}-14abcd^{3} \\ &\quad{}-14ac^{2}p+42c^{2}ab^{2}-35cab^{4}-35acd-70abcd-63cdab^{2} \\ &\quad{}+42abcp-42abcd^{2}+21acpq+42acdp+7ab-21ac+21ab^{2} \\ &\quad{}+35ab^{3}+42ac^{2}d+63abc^{2}-84cab^{3}-21acd^{3}+35ac^{2} \\ &\quad{}+35ab^{4}+21ab^{5}-7acp^{2}-7acd^{4}+21c^{2}d^{2}a+14abcpq \\ &\quad{}+14acdpq+7ab^{6}+28abcdp \bigr)\frac{1}{n^{8}} +O \biggl( \frac {1}{n^{9}} \biggr). \end{aligned}$$
(3.5)

The fastest sequence \((u_{n})_{n\in\mathbb{N}}\) is obtained when the first six coefficients of this power series vanish. In this case

$$ a=-2,\qquad b=\frac{5}{2}, \qquad c=-\frac{7}{4}, \qquad d=\frac{69}{14},\qquad p=-\frac{376}{49},\qquad q= \frac{5171}{658}, $$

we have

$$ u_{n}-u_{n+1}=-\frac{158\text{,}319}{47n^{8}}+O \biggl( \frac{1}{n^{9}} \biggr). $$

Finally, by using Lemma 3.1, we obtain assertion (3.4) of Theorem 3.1. □

Solution (3.3) provides the best approximation of type (3.2),

$$ g_{n}\approx\frac{\sigma^{2^{n}}}{n} \biggl( 1+ \frac{-2}{n+\frac{5}{2}+\frac{-\frac{7}{4}}{n+\frac {69}{14}+\frac{-\frac{376}{49}}{n+\frac{5171}{658}}}} \biggr). $$
(3.6)

Now we define the sequence \((v_{n})_{n\in\mathbb{N}}\) by

$$ v_{n}=\frac{ng_{n}}{\sigma^{2^{n}}}-\exp \biggl(\frac{a_{1}}{n+b_{1}+\frac {c_{1}}{n+d_{1}+\frac{p_{1}}{n+q_{1}+\frac{r_{1}}{n+s_{1}}}}} \biggr). $$
(3.7)

We are interested in finding fixed parameters \(a_{1}\), \(b_{1}\), \(c_{1}\), \(d_{1}\), \(p_{1}\), \(q_{1}\), \(r_{1}\), and \(s_{1}\) such that \((v_{n})_{n\in\mathbb{N}}\) converges as fast as possible to zero. This provides the best approximations of the form

$$ g_{n}\approx\frac{\sigma^{2^{n}}}{n}\exp \biggl( \frac{a_{1}}{n+b_{1}+\frac {c_{1}}{n+d_{1}+\frac{p_{1}}{n+q_{1}+\frac{r_{1}}{n+s_{1}}}}} \biggr). $$
(3.8)

Following the same method used in the proof of Theorem 3.1, we can prove Theorem 3.2, we omit it.

Theorem 3.2

Let the sequence \((v_{n})_{n\in\mathbb{N}}\) be defined by (3.7). Then, for

$$ \begin{aligned} &a_{1}=-2,\qquad b_{1}=\frac{3}{2}, \qquad c_{1}=-\frac{25}{12}, \qquad d_{1}=\frac{219}{50}, \\ & p_{1}=- \frac{15\text{,}653}{1875},\qquad q_{1}=\frac {5\text{,}676\text{,}423}{782\text{,}650},\qquad r_{1}=-\frac{645\text{,}255\text{,}151\text{,}929}{34\text{,}302\text{,}297\text{,}260},\\ & s_{1}= \frac {113\text{,}583\text{,}705\text{,}304\text{,}934\text{,}619}{11\text{,}222\text{,}420\text{,}992\text{,}382\text{,}930}, \end{aligned} $$
(3.9)

we have

$$ \lim_{n\to\infty}n^{10}(v_{n}-v_{n+1})=- \frac {34\text{,}622\text{,}675\text{,}505\text{,}712\text{,}426\text{,}801}{175\text{,}652\text{,}791\text{,}358\text{,}450} $$
(3.10)

and

$$ \lim_{n\to\infty}n^{9}(v_{n}-v_{n+1})=- \frac {34\text{,}622\text{,}675\text{,}505\text{,}712\text{,}426\text{,}801}{1\text{,}580\text{,}875\text{,}122\text{,}226\text{,}050}. $$
(3.11)

The speed of convergence of the sequence \((v_{n})_{n\in\mathbb{N}}\) is given by the order estimate \(O (n^{-9} )\) as \(n\to\infty\).

Solution (3.9) provides the best approximation of type (3.8)

$$ g_{n}\approx\frac{\sigma^{2^{n}}}{n}\exp \biggl( \frac{-2}{n+\frac {3}{2}+\frac{-\frac{25}{12}}{n+\frac{219}{50}+\frac{-\frac {15\text{,}653}{1875}}{n+\frac{5\text{,}676\text{,}423}{782\text{,}650}+\frac{-\frac {645\text{,}255\text{,}151\text{,}929}{34\text{,}302\text{,}297\text{,}260}}{n+\frac {113\text{,}583\text{,}705\text{,}304\text{,}934\text{,}619}{11\text{,}222\text{,}420\text{,}992\text{,}382\text{,}930}}}}} \biggr). $$
(3.12)

Conclusions

In this paper, we give asymptotic expansions related to the generalized Somos’ quadratic recurrence constant (Theorems 2.1 and 2.2). We present continued fraction approximations related to Somos’ quadratic recurrence constant (Theorems 3.1 and 3.2).

References

  1. Somos, M.: Several constants related to quadratic recurrences (1999) unpublished note

  2. Finch, S.R.: Mathematical Constants. Cambridge University Press, Cambridge (2003)

    Book  Google Scholar 

  3. http://mathworld.wolfram.com/SomossQuadraticRecurrenceConstant.html

  4. Chen, C.P.: Sharp inequalities and asymptotic series related to Somos’ quadratic recurrence constant. J. Number Theory 172, 145–159 (2017)

    MathSciNet  Article  Google Scholar 

  5. Chen, C.P.: New asymptotic expansions related to Somos’ quadratic recurrence constant. C. R. Acad. Sci. Paris, Ser. I 351, 9–12 (2013)

    MathSciNet  Article  Google Scholar 

  6. Chen, C.P., Han, X.F.: On Somos’ quadratic recurrence constant. J. Number Theory 166, 31–40 (2016)

    MathSciNet  Article  Google Scholar 

  7. Guillera, J., Sondow, J.: Double integrals and infinite products for some classical constants via analytic continuations of Lerch’s transcendent. Ramanujan J. 16, 247–270 (2008)

    MathSciNet  Article  Google Scholar 

  8. Pilehrood, K.H., Pilehrood, T.H.: Arithmetical properties of some series with logarithmic coefficients. Math. Z. 255, 117–131 (2007)

    MathSciNet  Article  Google Scholar 

  9. Pilehrood, K.H., Pilehrood, T.H.: Vacca-type series for values of the generalized Euler constant function and its derivative. J. Integer Seq. 13, Article 10.7.3 (2010)

    MathSciNet  MATH  Google Scholar 

  10. Hirschhorn, M.D.: A note on Somos’ quadratic recurrence constant. J. Number Theory 131, 2061–2063 (2011)

    MathSciNet  Article  Google Scholar 

  11. Lampret, V.: Approximation of Sondow’s generalized-Euler-constant function on the interval \([-1,1]\). Ann. Univ. Ferrara 56, 65–76 (2010)

    MathSciNet  Article  Google Scholar 

  12. Lu, D., Song, Z.: Some new continued fraction estimates of the Somos’ quadratic recurrence constant. J. Number Theory 155, 36–45 (2015)

    MathSciNet  Article  Google Scholar 

  13. Ma, X.S., Chen, C.P.: Inequalities and asymptotic expansions related to the generalized Somos’ quadratic recurrence constant. J. Inequal. Appl. 2018, 147 (2018)

    MathSciNet  Article  Google Scholar 

  14. Mortici, C.: Estimating the Somos’ quadratic recurrence constant. J. Number Theory 130, 2650–2657 (2010)

    MathSciNet  Article  Google Scholar 

  15. Nemes, G.: On the coefficients of an asymptotic expansion related to Somos’ quadratic recurrence constant. Appl. Anal. Discrete Math. 5, 60–66 (2011)

    MathSciNet  Article  Google Scholar 

  16. Sondow, J., Hadjicostas, P.: The generalized-Euler-constant function \(\gamma(z)\) and a generalization of Somos’s quadratic recurrence constant. J. Math. Anal. Appl. 332, 292–314 (2007)

    MathSciNet  Article  Google Scholar 

  17. You, X., Chen, D.R.: Improved continued fraction sequence convergent to the Somos’ quadratic recurrence constant. J. Math. Anal. Appl. 436, 513–520 (2016)

    MathSciNet  Article  Google Scholar 

  18. Wilf, H.S.: Generating Functionology, 3rd. edn. AK Peters, Wellesley (2006)

    Google Scholar 

  19. Comtet, L.: Advanced Combinatorics. Reidel, Dordrecht (1974)

    Book  Google Scholar 

  20. http://en.wikipedia.org/wiki/Bell_polynomials

  21. Charalambides, C.A.: Enumerative Combinatorics. CRC Press Series on Discrete Mathematics and Its Applications. Chapman & Hall/CRC, Boca Raton (2002)

    MATH  Google Scholar 

  22. Riordan, J.: Combinatorial Identities. Krieger, Huntington (1979). Reprint of the 1968 original

    MATH  Google Scholar 

  23. Bulò, S.R., Hancockb, E.R., Azizb, F., Pelilloa, M.: Efficient computation of Ihara coefficients using the Bell polynomial recursion. Linear Algebra Appl. 436, 1436–1441 (2012)

    MathSciNet  Article  Google Scholar 

  24. Mortici, C.: New approximations of the gamma function in terms of the digamma function. Appl. Math. Lett. 23, 97–100 (2010)

    MathSciNet  Article  Google Scholar 

  25. Mortici, C.: Product approximations via asymptotic integration. Am. Math. Mon. 117, 434–441 (2010)

    MathSciNet  Article  Google Scholar 

  26. Cvijović, D.: New identities for the partial Bell polynomials. Appl. Math. Lett. 24, 1544–1547 (2011)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

We thank the editor and referees for their careful reading and valuable suggestions to make the article easier to read.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

Both authors contributed equally to this work. Both authors read and approved the final manuscript.

Corresponding author

Correspondence to Chao-Ping Chen.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Zhang, B., Chen, CP. Approximation formulas related to Somos’ quadratic recurrence constant. J Inequal Appl 2018, 266 (2018). https://doi.org/10.1186/s13660-018-1859-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-018-1859-8

MSC

  • 40A05
  • 41A60

Keywords

  • Somos’ quadratic recurrence constant
  • Asymptotic formula
  • Bell polynomials
  • Ordered Bell numbers