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.
Similar content being viewed by others
1 Introduction
Somos [1] (see [2, p. 446] and [3]) defined the sequence
The first few terms are
The following asymptotic expansion is known in the literature:
where
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, [4–17]).
Nemes [15] studied the coefficients in the asymptotic expansion (1.1) and developed recurrence relations. More precisely, Nemes [15, Theorem 1] proved that
where the coefficients \(a_{k}\) (for \(k\in\mathbb{N}_{0}:=\mathbb{N}\cup\{0\}\)) are given by the recurrence relation
The coefficients \(a_{k}\) also satisfy the following recurrence relation [15, Theorem 3]:
where \(b_{k}\) are the ordered Bell numbers defined by the exponential generating function [18, p. 189]
The ordered Bell numbers \(b_{k}\) are given explicitly by the formula
The first few ordered Bell numbers are
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:
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:
with the coefficients \(c_{j}\equiv c_{j}(r)\) (\(j = 1, 2, \ldots, m\)) given by
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).
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])
where the sum is taken over all sequences \(j_{1}, j_{2}, j_{3}, \ldots, j_{n-k+1}\) of nonnegative integers such that
The sum
is sometimes called the nth complete Bell polynomial. The complete Bell polynomials satisfy the following identity:
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
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:
with the coefficients \(c_{k}(r)\) (for \(k \in\mathbb{N}_{0}\)) given by the recursive relation
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
On the other hand, from the definition of \(A(x)\), it follows that
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
Therefore it is seen that the \(c_{k}(r)\) in (2.8) can be expressed in terms of the Bell polynomials
Bulò et al. [23, Theorem 1] proved that the complete Bell polynomials can be expressed using the following recursive formula:
Thus, formula (2.9) can be rewritten as
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
and
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:
with the coefficients \(d_{k}(r,m)\) (for \(k \in\mathbb{N}_{0}\)) given by the recursive relation
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
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
Replacing n by x gives
Differentiating each side with respect to x yields
Hence,
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
and
Remark 2.4
Setting \(c_{k}(r):=d_{k}(r, 0)\), we obtain from (2.13) that
It is easy to see that (2.6) is equivalent to (2.17). Setting \(a_{k}:=c_{k}(1)\), (2.17) becomes (1.4).
3 Continued fraction approximations
We define the sequence \((u_{n})_{n\in\mathbb{N}}\) by
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
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
If the sequence \((\lambda_{n})_{n\in\mathbb{N}}\) converges to zero and if the following limit
exists, then
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
we have
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}\):
The fastest sequence \((u_{n})_{n\in\mathbb{N}}\) is obtained when the first six coefficients of this power series vanish. In this case
we have
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),
Now we define the sequence \((v_{n})_{n\in\mathbb{N}}\) by
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
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
we have
and
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)
References
Somos, M.: Several constants related to quadratic recurrences (1999) unpublished note
Finch, S.R.: Mathematical Constants. Cambridge University Press, Cambridge (2003)
http://mathworld.wolfram.com/SomossQuadraticRecurrenceConstant.html
Chen, C.P.: Sharp inequalities and asymptotic series related to Somos’ quadratic recurrence constant. J. Number Theory 172, 145–159 (2017)
Chen, C.P.: New asymptotic expansions related to Somos’ quadratic recurrence constant. C. R. Acad. Sci. Paris, Ser. I 351, 9–12 (2013)
Chen, C.P., Han, X.F.: On Somos’ quadratic recurrence constant. J. Number Theory 166, 31–40 (2016)
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)
Pilehrood, K.H., Pilehrood, T.H.: Arithmetical properties of some series with logarithmic coefficients. Math. Z. 255, 117–131 (2007)
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)
Hirschhorn, M.D.: A note on Somos’ quadratic recurrence constant. J. Number Theory 131, 2061–2063 (2011)
Lampret, V.: Approximation of Sondow’s generalized-Euler-constant function on the interval \([-1,1]\). Ann. Univ. Ferrara 56, 65–76 (2010)
Lu, D., Song, Z.: Some new continued fraction estimates of the Somos’ quadratic recurrence constant. J. Number Theory 155, 36–45 (2015)
Ma, X.S., Chen, C.P.: Inequalities and asymptotic expansions related to the generalized Somos’ quadratic recurrence constant. J. Inequal. Appl. 2018, 147 (2018)
Mortici, C.: Estimating the Somos’ quadratic recurrence constant. J. Number Theory 130, 2650–2657 (2010)
Nemes, G.: On the coefficients of an asymptotic expansion related to Somos’ quadratic recurrence constant. Appl. Anal. Discrete Math. 5, 60–66 (2011)
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)
You, X., Chen, D.R.: Improved continued fraction sequence convergent to the Somos’ quadratic recurrence constant. J. Math. Anal. Appl. 436, 513–520 (2016)
Wilf, H.S.: Generating Functionology, 3rd. edn. AK Peters, Wellesley (2006)
Comtet, L.: Advanced Combinatorics. Reidel, Dordrecht (1974)
Charalambides, C.A.: Enumerative Combinatorics. CRC Press Series on Discrete Mathematics and Its Applications. Chapman & Hall/CRC, Boca Raton (2002)
Riordan, J.: Combinatorial Identities. Krieger, Huntington (1979). Reprint of the 1968 original
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)
Mortici, C.: New approximations of the gamma function in terms of the digamma function. Appl. Math. Lett. 23, 97–100 (2010)
Mortici, C.: Product approximations via asymptotic integration. Am. Math. Mon. 117, 434–441 (2010)
Cvijović, D.: New identities for the partial Bell polynomials. Appl. Math. Lett. 24, 1544–1547 (2011)
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
Contributions
Both authors contributed equally to this work. Both authors read and approved the final manuscript.
Corresponding author
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.
About this article
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
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1859-8