Abstract
The asymptotic behavior of the gamma function for large values of its argument can be summarized as follows: for any a ≥ 0, we have the following asymptotic equivalences (see Titchmarsh (The Theory of Functions, 2nd edn. Oxford University Press, Oxford, 1939, Section 1.87))
where both formulas (6.2) and (6.3) are known by the name Stirling’s formula.
You have full access to this open access chapter, Download chapter PDF
The asymptotic behavior of the gamma function for large values of its argument can be summarized as follows: for any a ≥ 0, we have the following asymptotic equivalences (see Titchmarsh [96, Section 1.87])
where both formulas (6.2) and (6.3) are known by the name Stirling’s formula .
In this chapter, we investigate the asymptotic behaviors of the multiple \(\log \Gamma \)-type functions and provide analogues of the formulas above.
More specifically, for these functions we establish analogues of Wendel’s inequality, Stirling’s formula, and Burnside’s formula for the gamma function. We also introduce the concept of the asymptotic constant, an analogue of Stirling’s constant, and an analogue of Binet’s function related to the log-gamma function, and we show how all these generalized concepts can be used in the asymptotic analysis of multiple \(\log \Gamma \)-type functions. We also establish a general asymptotic equivalence for these functions.
We revisit Gregory’s summation formula, with an integral form of the remainder, and show how it can be derived very easily in this context. Using this formula, we then introduce a generalization of Euler’s constant and provide a geometric interpretation.
6.1 Generalized Wendel’s Inequality
Recall that if a function g lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\), then the function Σg lies in \(\mathcal {R}^{p+1}_{\mathbb {R}}\) by Proposition 5.6. At first glance, this observation may seem rather unimportant. However, its explicit statement tells us that for any a ≥ 0 we have
or equivalently,
This is actually a nice convergence result that reveals the asymptotic behavior of the difference Σg(x + a) − Σg(x) for large values of x. The special case when p = 1 was established by Webster [98, Theorem 6.1].
When \(g(x)=\ln x\) and p = 1, this result reduces to
which is precisely the additive version of the asymptotic equivalence given in (6.1). We thus observe that (6.4) immediately provides an analogue of the asymptotic equivalence (6.1) for all the multiple \(\log \Gamma \)-type functions.
Now, we observe that formula (6.1) was also established by Wendel [99], who first provided a short and elegant proof of the following double inequality
or equivalently, in the additive notation,
where
We can readily see that this double inequality is actually a simple application of Lemma 2.7 to the log-gamma function with p = 1. Its generalization to all the multiple \(\log \Gamma \)-type functions is then straightforward and we present it in the following theorem. We call it the generalized Wendel inequality.
Theorem 6.1 (Generalized Wendel’s Inequality)
Let g lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and let ± stand for 1 or − 1 according to whether g lies in \(\mathcal {K}^p_+\) or \(\mathcal {K}^p_-\) . Let also x > 0 be so that g is p-convex or p-concave on [x, ∞) and let a ≥ 0. Then we have
with equalities if a ∈{0, 1, …, p}. In particular, \(\rho _x^{p+1}[\Sigma g](a)\to 0\) as x →∞. If p ≥ 1, we also have
with equalities if a ∈{0, 1, …, p − 1}. In particular, \(\rho _x^p[g](a)\to 0\) as x →∞.
Proof
Negating g if necessary, we can assume that it is p-convex on [x, ∞). By the existence Theorem 3.6, the function Σg is then p-concave on [x, ∞). By Lemma 2.5 and Proposition 4.11, the function Δp g is negative and increases to zero on [x, ∞). Thus, for any a ≥ 0 we have
We then derive the first inequalities by applying Lemma 2.7 to f = Σg. Suppose now that p ≥ 1. By Corollary 4.19, we have that g is (p − 1)-concave on [x, ∞). We then derive the remaining inequalities by applying Lemma 2.7 to f = g. □
A symmetrized version of the generalized Wendel inequality can be easily obtained simply by taking the absolute value of each of its sides. This provides a coarsened, but simplified form of the generalized Wendel inequality. For instance, when \(g(x)=\ln x\) and p = 1 we then obtain the following inequality
that is, in the multiplicative notation,
We then have the following immediate corollary, which provides a symmetrized version of the generalized Wendel inequality.
Corollary 6.2
Let g lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Let also x > 0 be so that g is p-convex or p-concave on [x, ∞) and let a ≥ 0. Then we have
with equalities if a ∈{0, 1, …, p}. In particular, \(\rho _x^{p+1}[\Sigma g](a)\to 0\) as x →∞. If p ≥ 1, we also have
with equalities if a ∈{0, 1, …, p − 1}. In particular, \(\rho _x^p[g](a)\to 0\) as x →∞.
Example 6.3
Applying Theorem 6.1 and Corollary 6.2 to the function \(g(x)=\ln x\), for which we have p = 1 +deg g = 1 and \(\Sigma g(x)=\ln \Gamma (x)\), we immediately retrieve the inequalities (6.5)–(6.9) and hence also the asymptotic equivalence (6.1). Further inequalities can actually be obtained by considering higher values of p. For instance, since g also lies in \(\mathcal {D}^2\cap \mathcal {K}^2\), we can set p = 2 in Corollary 6.2 and we then obtain the inequalities
Thus, we can see that the central function in these inequalities can always be “sandwiched” by finite products of powers of rational functions. For further inequalities involving this central function, see, e.g., Srivastava and Choi [93, pp. 106–107]. \(\lozenge \)
Discrete Version of the Generalized Wendel Inequality
The restrictions to the natural integers of the generalized Wendel inequality and its symmetrized form are obtained by setting \(x=n\in \mathbb {N}^*\) in the inequalities of Theorem 6.1 and Corollary 6.2. In view of identity (5.4), the symmetrized forms then reduce to those of the existence Theorem 3.6.
For instance, when \(g(x)=\ln x\) and p = 1, the symmetrized version of generalized Wendel’s inequality is given in (6.8) while its discrete version can take the form
where
This latter inequality clearly generalizes Gauss’ limit (1.6), which simply expresses that
6.2 The Asymptotic Constant
We now introduce a new important concept that will play a key role in our theory, namely the asymptotic constant. This concept will actually be used intensively throughout the rest of this book.
Definition 6.4 (Asymptotic Constant)
The asymptotic constant associated with a function \(g\in \mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) is the number
Using Definition 6.4, we can readily see that the following identity holds for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\)
Indeed, both sides are functions of x that have the same derivative and the same value at x = 1.
Example 6.5 (Raabe’s Formula)
Taking \(g(x)=\ln x\) in (6.10), we obtain
Combining this result with (6.11), we obtain the following more general identity
This identity is known by the name Raabe’s formula (see, e.g., Cohen and Friedman [30]). We will discuss this formula and investigate its analogues in Sect. 8.5. \(\lozenge \)
Identity (6.11) will also play a very important role in this work. In this respect, it is clear that the integral
cancels out the cyclic variations of any 1-periodic additive component of Σg in the sense that the function
is constant for any 1-periodic function \(\omega \colon \mathbb {R}_+\to \mathbb {R}\). Thus, the integral (6.12) can be interpreted as the trend of the function Σg, just as a moving average enables one to decompose a time series into its trend and its seasonal variation. In this light, identity (6.11) simply tells us that the trend of the function Σg is precisely the antiderivative of g (up to an additive constant).
Let us end this section with the following two technical results related to the asymptotic constant.
Proposition 6.6
Let g 1 and g 2 lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and let \(c_1,c_2\in \mathbb {R}\) . If c 1 g 1 + c 2 g 2 lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) , then
Moreover, we have \(\sigma [\boldsymbol {1}]=\frac {1}{2}\) , where \(\boldsymbol {1}\colon \mathbb {R}_+\to \mathbb {R}\) is the constant function 1(x) = 1.
Proof
The first part of the statement is an immediate consequence of Proposition 5.7. Now, we clearly have Σ1 = x − 1 and hence \(\sigma [\boldsymbol {1}]=\frac {1}{2}\). □
Proposition 6.7
Let g lie in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) , let a ≥ 0, and let \(h\colon \mathbb {R}_+\to \mathbb {R}\) be defined by the equation h(x) = g(x + a) for x > 0. Then
Proof
Using Proposition 5.8 we obtain
We then get the result using (6.11). □
6.3 Generalized Binet’s Function
The Binet function related to the log-gamma function is the function \(J\colon \mathbb {R}_+\to \mathbb {R}\) defined by the equation (see, e.g., Cuyt et al. [31, p. 224])
Using identity (6.7) and Raabe’s formula (see Example 6.5), we can easily provide the following integral form of Binet’s function
This latter identity motivates the following definition, in which we introduce a generalization of Binet’s function. Recall first that, for any \(q\in \mathbb {N}\) and any x > 0, the function \(t\mapsto \rho _x^q[g](t)\) is continuous whenever so is g. In this case, since it also vanishes at t = 0, it must be integrable on (0, 1).
Definition 6.8 (Generalized Binet’s Function)
For any \(g\in \mathcal {C}^0\) and any \(q\in \mathbb {N}\), we define the function \(J^q[g]\colon \mathbb {R}_+\to \mathbb {R}\) by the equation
We say that the function J q[g] is the generalized Binet function associated with the function g and the parameter q.
Taking \(g=\ln \circ \Gamma \) and q = 1 +deg g = 2 in identity (6.14), we thus simply retrieve the Binet function \(J(x)=J^2[\ln \circ \Gamma ](x)\) related to the log-gamma function, as defined in (6.13).
In the following two propositions, we collect a few immediate properties of the generalized Binet function. To this end, recall first that, for any \(n\in \mathbb {N}\), the nth Gregory coefficient (also called the nth Bernoulli number of the second kind) is the number G n defined by the equation (see, e.g., [20,21,22, 72])
The first few values of G n are: \(1, \frac {1}{2}, -\frac {1}{12}, \frac {1}{24}, -\frac {19}{720},\ldots \). These numbers are decreasing in absolute value and satisfy the equations
Proposition 6.9
Let \(g\in \mathcal {C}^0\) and \(q\in \mathbb {N}\) . Then, for any x > 0, we have
In particular,
Proof
Identity (6.16) follows immediately from (1.7). The other two identities are trivial. □
Proposition 6.10
Let g lie in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) and let \(q\in \mathbb {N}\) . Then, for any x > 0 and any \(n\in \mathbb {N}^*\) , we have
In particular,
and
Proof
Identity (6.18) follows from (6.11) and (6.16). Identity (6.19) follows from (5.4) and (6.14). The remaining identities are trivial. □
As we will see in the rest of this book, many subsequent definitions and results can be expressed in terms of the generalized Binet function.
6.4 Generalized Stirling’s Formula
Interestingly, the Binet function \(J(x)=J^2[\Sigma \ln ](x)\) defined in (6.13) clearly satisfies the following identity (compare with Artin [11, p. 24])
and hence Stirling’s formula (6.2) simply states that J(x) → 0 as x →∞. This observation seems to reveal a way to find a counterpart of Stirling’s formula for any continuous multiple \(\log \Gamma \)-type function. In fact, we only need to show that the function J p+1[ Σg] vanishes at infinity whenever g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). In the next theorem and its corollary, we establish this fact by simply integrating each side of the generalized Wendel inequality and its symmetrized version on a ∈ (0, 1).
Let us first define the sequence \(n\mapsto \overline {G}_n\) by the equations
In view of (6.15), we see that the sequence \(n\mapsto \overline {G}_n\) decreases to zero. Its first values are: \(1, \frac {1}{2}, \frac {5}{12}, \frac {3}{8}, \frac {251}{720},\ldots \). Moreover, from the straightforward identity (see, e.g., Graham et al. [41, p. 165])
we easily derive
We now have the following two results, which immediately follow from Theorem 6.1, Corollary 6.2, and identities (6.20).
Theorem 6.11
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and let ± stand for 1 or − 1 according to whether g lies in \(\mathcal {K}^p_+\) or \(\mathcal {K}^p_-\) . Let also x > 0 be so that g is p-convex or p-concave on [x, ∞). Then we have
In particular, J p+1[ Σg](x) → 0 as x →∞. If p ≥ 1, we also have
In particular, J p[g](x) → 0 as x →∞.
Corollary 6.12
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Let also x > 0 be so that g is p-convex or p-concave on [x, ∞). Then we have
In particular, J p+1[ Σg](x) → 0 as x →∞. If p ≥ 1, we also have
In particular, J p[g](x) → 0 as x →∞.
Both Theorem 6.11 and Corollary 6.12 state that J p+1[ Σg] vanishes at infinity whenever g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). This result is precisely the analogue of Stirling’s formula for all the continuous multiple \(\log \Gamma \)-type functions. As it is one of the central results of our theory, we state it explicitly in the following theorem. We call it the generalized Stirling formula. We also include the property that J p[g] vanishes at infinity.
Theorem 6.13 (Generalized Stirling’s Formula)
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Then both functions J p+1[ Σg] and J p[g] vanish at infinity. More precisely, we have
and
Proof
By Theorem 6.11, the functions J p+1[ Σg] and J p[g] vanish at infinity when p ≥ 0 and p ≥ 1, respectively. The function J p[g] also vanishes at infinity when p = 0; indeed, in this case |g(x)| eventually decreases to zero and we have
Formulas (6.21) and (6.22) then immediately follow from (6.16) and (6.18). □
The generalized Stirling formula (6.21) is actually the highlight of this chapter. It enables one to investigate the asymptotic behavior of the function Σg for large values of its argument. It also justifies the name “asymptotic constant” given to the quantity σ[g] introduced in Definition 6.4. Moreover, combining (6.4) with (6.21), we immediately derive the asymptotic behavior of Σg(x + a) for any a ≥ 0. We also observe that alternative formulations of (6.21) in the case when p = 1 were established by Krull [54, p. 368] and later by Webster [98, Theorem 6.3].
In the special case when g lies in \(\mathcal {D}^{-1}\cap \mathcal {K}^0\), the generalized Stirling formula and the asymptotic constant take very special forms. We present them in the following proposition.
Proposition 6.14
If g lies in \(\mathcal {D}^{-1}\cap \mathcal {K}^0\) , then we have
If, in addition, we have \(g\in \mathcal {C}^0\) , then g is integrable at infinity and
Proof
By definition of the map Σ, we have
where the second series tends to zero as x →∞ by Theorem 3.13. The claimed expression for σ[g] then immediately follows from formula (6.21). □
Example 6.15
Let us apply our results to the concave function \(g(x)=\ln x\) with p = 1. Using (6.16) and (6.18), we first obtain
Now, Theorem 6.11 provides the following inequalities for any x > 0
That is, in the multiplicative notation,
Thus, we retrieve Stirling’s formula (6.2) and (6.3), together with the well-known asymptotic equivalence (compare with Artin [11, p. 20])
It is actually quite remarkable that the first two inequalities in (6.24) and (6.25) are precisely what we get when we “integrate” the additive version of the Wendel inequality (6.5) on the unit interval (0, 1).
Now, the coarsened inequality
given in Corollary 6.12 takes the following simple form (in the multiplicative notation)
Note that tighter inequalities can also be obtained by considering higher values of p in Corollary 6.12. For instance, taking p = 2 we obtain
Taking p = 3 we obtain
Thus, we see that the central function in these inequalities can always be bracketed by finite products of radical functions. \(\lozenge \)
In the last part of Example 6.15, we have illustrated the possibility of obtaining closer bounds for the generalized Binet function \(J^{p+1}[\Sigma \ln ](x)\) by considering in Corollary 6.12 any value of p that is higher than 1 +deg g. Actually, it is not difficult to see that this feature applies to every continuous multiple \(\log \Gamma \)-type function. We discuss this topic in Appendix D and show that the inequalities actually get tighter and tighter as p increases.
Remark 6.16
We observe that Theorem 6.11 together with the generalized Stirling formula (Theorem 6.13) have been immediately obtained by “integrating” the generalized Wendel inequality (Theorem 6.1) on the unit interval. In turn, the generalized Wendel inequality is a straight application of Lemma 2.7 to the function f = Σg. These remarkable facts show the considerable importance of Lemma 2.7 in this theory: it was first crucial to derive our uniqueness and existence results, and now it provides very nice counterparts of Wendel’s inequality and Stirling’s formula, with short and elegant proofs. We will use Lemma 2.7 again in Sect. 6.7 for an in-depth investigation of Gregory’s summation formula. \(\lozenge \)
Improvements of Stirling’s Formula
The following estimate of the gamma function is due to Gosper [40]
and is more accurate than Stirling’s formula. On the basis of this alternative approximation, Mortici [76] provided the following narrow inequalities
where \(\alpha =\frac {1}{3}\) and β = (391∕30)1∕3 − 2 ≈ 0.353. We actually observe that the quest for finer and finer bounds and approximations for the gamma function has gained an increasing interest during this last decade (see [26, 28, 29, 36, 65, 75,76,77,78, 100, 101] and the references therein). Some of these investigations could be generalized to various multiple Γ-type functions. New results along this line would be welcome.
Webster’s Double Inequality
We have seen that Theorems 6.1 and 6.11 provide very useful bounds for both quantities \(\rho _x^{p+1}[\Sigma g](a)\) and J p+1[ Σg](x). It is actually possible to provide tighter bounds for these quantities using again the p-convexity or p-concavity properties of the function g. For instance, one can show that if g lies in \(\mathcal {D}^1\cap \mathcal {K}^1\) and if x > 0 and a > 0 are so that g is concave on [x + a, ∞), then the following double inequality hold
This inequality was actually provided by Webster [98, Eq. (6.4)] to establish the limit (6.4) in the case when p = 1.
Now, assuming that g is continuous, we can integrate every expression in the inequalities above on a ∈ (0, 1), and we then obtain the following bounds for J 2[ Σg](x)
For instance, for \(g(x)=\ln x\), we obtain (in the multiplication notation)
which provides a better lower bound in the inequalities (6.25).
In Appendix E, we discuss this interesting issue and provide a generalization to multiple \(\log \Gamma \)-type functions of the Webster double inequality (6.26) and its “integrated” version (6.27).
Generalized Stirling’s Constant
The number \(\sqrt {2\pi }\) arising in Stirling’s formula (6.2) and Example 6.15 is called Stirling’s constant (see, e.g., Finch [37]). For certain multiple Γ-type functions, analogues of Stirling’s constant can be easily defined as follows.
Definition 6.17 (Generalized Stirling’s Constant)
For any function \(g\in \mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) that is integrable at 0, we define the number
We say that the number \(\exp (\overline {\sigma }[g])\) is the generalized Stirling constant associated with g.
When g is integrable at 0, the generalized Stirling constant exists and hence the generalized Stirling formula (6.21) can take the following form
It is important to note that, contrary to the generalized Stirling constant, the asymptotic constant σ[g] exists for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\), even if it is not integrable at 0. For instance, for the function \(g(x)=\frac {1}{x}\), we have that σ[g] is the Euler constant γ (see Example 8.19) while \(\overline {\sigma }[g]\) does not exist.
This shows that the asymptotic constant is the “good” constant to consider in this new theory. It actually enables us to derive for multiple \(\log \Gamma \)-type functions analogues of several properties of the gamma function. For instance, we have seen that it was very useful to derive the generalized Stirling formula. To give a second example, we will see in Sect. 8.6 that it also enables us to derive analogues of Gauss’ multiplication formula for the gamma function.
6.5 Analogue of Burnside’s Formula
Let us recall Burnside’s formula , which states that
This formula actually provides a much better approximation of the gamma function than Stirling’s formula. It was first established by Burnside [27] (see also Mortici [75]) and then rediscovered by Spouge [91]. In this section, we provide an analogue of Burnside’s formula for any continuous Γp-type function when p = 0 and p = 1, and we note that such an analogue no longer exists when p ≥ 2.
Let us first state the following corollary, which particularizes the generalized Stirling formula when the function g lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\). This corollary actually follows immediately from (6.11) and (6.21).
Corollary 6.18
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\) . Then
Equivalently,
Corollary 6.18 tells us that, when g lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\), the function Σg(x) coincides asymptotically with its trend (i.e., the integral (6.12)) and, in a sense, behaves asymptotically like the antiderivative of function g.
It is natural to think that a more accurate trend of Σg can be obtained by considering the centered version of the integral (6.12), namely
On this matter, in the following proposition we provide a double inequality that shows that Σg(x) coincides asymptotically with this latter trend whenever g lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\) or in \(\mathcal {C}^0\cap \mathcal {D}^1\cap \mathcal {K}^1\). However, it is not difficult to see that in general this result no longer holds when g lies in \(\mathcal {C}^0\cap \mathcal {D}^2\cap \mathcal {K}^2\). The logarithm of the Barnes G-function (see Sect. 10.5) could serve as an example here.
Proposition 6.19
Let p ∈{0, 1}, \(g\in \mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) , and x > 0 be so that g is p-convex or p-concave on [x, ∞). Then
In particular,
or equivalently,
Proof
Using Corollary 6.12, we see that it is enough to prove the first inequality. Let
Consider first the case when p = 0 and suppose for instance that g lies in \(\mathcal {K}_+^0\); hence Σg is decreasing on [x, ∞). If h(x) ≥ 0, then we clearly have
If h(x) ≤ 0, then we have
and it is geometrically clear that the latter quantity is less than J 1[ Σg](x).
Suppose now that p = 1 and for instance that g lies in \(\mathcal {K}_+^1\); hence Σg is concave on [x, ∞). Applying the Hermite-Hadamard inequality to Σg on the interval [x, x + 1], we obtain that h(x) ≥ 0. Applying the trapezoidal rule to Σg on the intervals \([x,x+\frac {1}{2}]\) and \([x+\frac {1}{2},x+1]\), we obtain the following inequality
where the right-hand quantity is exactly − J 2[ Σg](x). This completes the proof. □
Applying Proposition 6.19 to the function \(g(x)=\ln x\) with p = 1, we retrieve Burnside’s formula (6.29). Thus, Proposition 6.19 gives an analogue of Burnside’s formula for any continuous Γp-type function when p ∈{0, 1}. It also shows that this new formula provides a better approximation than the generalized Stirling formula whenever g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) with p ∈{0, 1}.
6.6 A General Asymptotic Equivalence
The following result provides a sufficient condition for a continuous multiple \(\log \Gamma \)-type function to be asymptotically equivalent to its (possibly shifted) trend.
Proposition 6.20
Let g lie in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) and let a ≥ 0 and \(c\in \mathbb {R}\) . When c + Σg vanishes at infinity, we also assume that
Then we have
If g does not lie in \(\mathcal {D}^{-1}_{\mathbb {N}}\) , then we also have
Proof
Let us first prove that (6.30) holds for any g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\), even if c + Σg does not vanish at infinity. Of course, this result clearly holds if g is eventually a polynomial (since so is Σg in this case). Thus, we will now assume that g is not eventually a polynomial.
Suppose first that p = 1 +deg g = 0. If g lies in \(\mathcal {D}^{-1}_{\mathbb {N}}\), then (6.30) follows immediately from (6.23). If g lies in \(\mathcal {D}^0_{\mathbb {N}}\setminus \mathcal {D}^{-1}_{\mathbb {N}}\), then it is not integrable at infinity by the integral test for convergence. By the generalized Stirling formula (6.21), it follows that the eventually monotone sequence n↦ Σg(n) is unbounded. This sequence is actually eventually strictly monotone; indeed, otherwise the function \(\Delta \Sigma g=g\in \mathcal {K}^0\) would vanish in any unbounded interval of \(\mathbb {R}_+\), and hence would eventually be identically zero, a contradiction. We then obtain
and hence (6.30) holds whenever p = 0.
Suppose now that p = 1 +deg g ≥ 1. In this case, we have that Δp g lies in \(\mathcal {D}^0\cap \mathcal {K}^0\). By the uniqueness Theorem 3.1, we also have
for some \(c_p\in \mathbb {R}\), and it is clear (by minimality of p) that this latter function cannot vanish at infinity. Moreover, we can show as above that the sequence n↦ Σ Δp g(n) is eventually strictly monotone. In view of the first case, we then have
Let us now show that the sequence
exists for large values of n and converges to 1. By minimality of p, the function Δp−1 Σg lies in \(\mathcal {D}^2_{\mathbb {N}}\setminus \mathcal {D}^1_{\mathbb {N}}\) and hence the sequence n↦ Δp−1 Σg(n) is unbounded. Moreover, we can show as above that this sequence is eventually strictly monotone. Hence, the sequence above eventually exists and, using the Stolz-Cesàro theorem (see Lemma 5.20), we have that
Iterating this process, we finally see that condition (6.30) holds for any \(p\in \mathbb {N}\).
We can now easily see that
Indeed, this result clearly holds if both x and a are integers. For instance we have
Otherwise, assuming for instance that Σg is eventually increasing and nonnegative, for sufficiently large x we have
and (6.32) then follows by the squeeze theorem.
Finally, assuming again that Σg is eventually increasing and nonnegative, for sufficiently large x we have
and, using again the squeeze theorem, we immediately obtain the first claimed asymptotic equivalence.
Now, if g does not lie in \(\mathcal {D}^{-1}_{\mathbb {N}}\), then Σg(x) tends to infinity as x →∞. Using (6.11), we then have
which completes the proof. □
Remark 6.21
Let us show that the assumption on the function c + Σg cannot be ignored in Proposition 6.20. Consider the functions \(f\colon \mathbb {R}_+\to \mathbb {R}\) and \(g\colon \mathbb {R}_+\to \mathbb {R}\) defined by the equations
It is clear that f lies in \(\mathcal {D}^0_{\mathbb {N}}\) and that g lies in \(\mathcal {D}^{-1}_{\mathbb {N}}\). Moreover, it is not difficult to see that the inequalities
eventually hold, which shows that both f and g lie in \(\mathcal {K}^0\). By the uniqueness theorem it follows that f = Σg. However, we can readily see that the sequence
does not converge, which shows that (6.30) does not hold when c = 0. It is then possible to show that the equivalence (6.31) does not hold either.
Now, to see that the last asymptotic equivalence in Proposition 6.20 need not hold if g lies in \(\mathcal {D}^{-1}_{\mathbb {N}}\), take for instance
We then have
\(\lozenge \)
6.7 The Gregory Summation Formula Revisited
Let \(g\in \mathcal {C}^0\), \(q\in \mathbb {N}\), and let 1 ≤ m ≤ n be integers. Integrating both sides of identity (3.8) on x ∈ (0, 1), we immediately obtain the following identity
where
Identity (6.33) is nothing other than Gregory’s summation formula (see, e.g., [17, 50, 73]) with an integral form of the remainder. Note that, just like identity (2.10), Eq. (6.33) is a pure identity in the sense that it holds without any restriction on the form of g(x), except that here we asked g to be continuous.
Combining (6.14) with (6.34) we immediately see that this identity can be simply written in terms of the generalized Binet function as
Equivalently, if g lies in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma g)\), using (6.19) and (6.34) we see that this identity can also take the form
The next lemma, which is yet another straightforward consequence of Lemma 2.7, provides an upper bound for \(|R^q_{m,n}[g]|\) when g is q-convex or q-concave on [m, ∞). Under this latter assumption, we can then use Gregory’s formula (6.33) as a quadrature method for the numerical computation of the integral of g over the interval [m, n).
Lemma 6.22
Let g lie in \(\mathcal {C}^0\cap \mathcal {K}^q\) for some \(q\in \mathbb {N}\) and let \(m\in \mathbb {N}^*\) be so that g is q-convex or q-concave on [m, ∞). Then, for any integer n ≥ m, we have
Proof
This result is an immediate consequence of Lemma 2.7. Indeed, we can write
where the latter sum clearly telescopes to Δq g(n) − Δq g(m). □
Example 6.23
Let us compute numerically the integral
using Gregory’s summation formula (6.33) and the upper bound (6.37) of its remainder. Using an appropriate linear change of variable, we obtain
Taking n = 20 and q = 10 for instance, we obtain
and (6.37) gives \(|R^{10}_{1,20}[g]|\leq 5.9\times 10^{-11}\). \(\lozenge \)
In the following result, we give sufficient conditions on the function g for the sequence \(q\mapsto R^q_{m,n}[g]\) to converge to zero. Gregory’s formula (6.33) then takes a special form.
Proposition 6.24
Let \(g\in \mathcal {C}^0\cap \mathcal {K}^{\infty }\), \(p\in \mathbb {N}\) , and let 1 ≤ m ≤ n be integers. Suppose that, for every integer q ≥ p, the function g is q-convex or q-concave on [m, ∞). Suppose also that the sequence q↦ Δ q g(n) − Δ q g(m) is bounded. Then we have
or equivalently,
If g lies in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma g)\) , then the latter identity also takes the form
Proof
Under the assumptions of this proposition, the sequence \(q\mapsto R^q_{m,n}[g]\) converges to zero by Lemma 6.22. (Recall that the sequence \(n\mapsto \overline {G}_n\) converges to zero.) The result then immediately follows from Gregory’s formula (6.33). The last part then follows from identity (5.2). □
Example 6.25
Taking \(g(x)=\ln x\) and m = p = 1 in Proposition 6.24, we obtain the following identity
which holds for any \(n\in \mathbb {N}^*\). \(\lozenge \)
A Geometric Interpretation of Gregory’s Formula
For any \(g\in \mathcal {C}^0\) and any \(q\in \mathbb {N}\), we let \(\overline {P}_q[g]\colon [1,\infty )\to \mathbb {R}\) denote the piecewise polynomial function whose restriction to any interval [k, k + 1), with \(k\in \mathbb {N}^*\), is the interpolating polynomial of g with nodes at k, k + 1, …, k + q. That is,
or equivalently, using (2.9),
In the following proposition, we provide an integral expression for the remainder \(R^q_{m,n}[g]\) in terms of the function \(\overline {P}_q[g]\).
Proposition 6.26
For any \(g\in \mathcal {C}^0\) , any \(q\in \mathbb {N}\) , and any integers 1 ≤ m ≤ n, we have
Proof
Using (2.11) and (6.14) we then obtain
The result then follows from (6.35). □
Proposition 6.26 immediately provides an interesting interpretation of Gregory’s formula as a quadrature method. It actually shows that Gregory’s formula approximates the integral of g over the interval [m, n) by replacing g with the piecewise polynomial function \(\overline {P}_q[g]\). In particular, the remainder \(R^q_{m,n}[g]\) reduces to zero whenever g is a polynomial of degree less than or equal to q.
We also observe that Gregory’s formula reduces to the “left” rectangle method (left Riemann sum) when q = 0, and the trapezoidal rule when q = 1. However, it does not reduce to Simpson’s rule when q = 2. In fact, Gregory’s formula does not correspond to a Newton-Cotes quadrature rule when q ≥ 2.
Now, if g is q-convex or q-concave on [m, ∞), then for any k ∈{m, m + 1, …, n − 1} and any t ∈ [0, 1), using Lemma 2.7 and identity (2.11) we obtain
where ± stands for 1 or − 1 according to whether g is q-convex or q-concave on [m, ∞). This observation provides the following additional geometric interpretation. It shows that, on the interval [k, k + 1), the graph of g lies over or under that of \(\overline {P}_q[g]\) according to whether ± (−1)q is 1 or − 1. As an immediate consequence, the quantity |J q+1[g](k)| is precisely the surface area between both graphs over the interval [k, k + 1) while the remainder \(|R^q_{m,n}[g]|\) is the surface area between both graphs over the interval [m, n).
Example 6.27
With the function \(g(x)=\ln x\) and the parameter q = 1 we associate the piecewise linear function
Since g is concave, for any integer n ≥ 1 the graph of g on [1, n) lies over (or on) that of \(\overline {P}_1[g]\), which is the polygonal line through the points (k, g(k)) for k = 1, …, n. The value (see (6.36))
where J(x) is Binet’s function defined in (6.13), is then nothing other than the remainder in the trapezoidal rule on [1, n) with the integer nodes 1, …, n. Geometrically, it measures the surface area between the graph of g and the polygonal line. \(\lozenge \)
Alternative Integral Form of the Remainder
The following proposition yields an alternative integral form of the remainder \(R^q_{m,n}[g]\) when g lies in \(\mathcal {C}^{q+1}\) for some \(q\in \mathbb {N}^*\). Consider first the (kernel) function \(K^q_{m,n}\colon \mathbb {R}_+\to \mathbb {R}\) defined by the equation
It is not difficult to show that this function lies in \(\mathcal {C}^{q-1}\) and has the compact support [m, n + q − 1].
Proposition 6.28
Suppose that g lies in \(\mathcal {C}^{q+1}\) for some \(q\in \mathbb {N}^*\) and let 1 ≤ m ≤ n be integers. Then we have
Proof
By Taylor’s theorem, the following identity
holds on the interval [m, n + q − 1] for some polynomial P q of degree less than or equal to q. The result then follows from the definition of the remainder \(R^q_{m,n}[g]\) and the fact that \(R^q_{m,n}[P_q]=0\). □
Interestingly, if the function \(K^q_{m,n}\) does not change in sign (and we conjecture that \((-1)^q{\,}K^q_{m,n}\) is nonnegative), then by the mean value theorem for definite integrals the remainder also takes the form
for some ξ ∈ [m, n + q − 1].
Remark 6.29
We observe that Jordan [50, p. 285] claimed that
for some ξ ∈ (m, n). However, taking for instance g(x) = x 2 and (q, m, n) = (0, 1, 2), we can see that this form of the remainder is not correct. Nevertheless, several examples suggest that Jordan’s statement could possibly be corrected by assuming that ξ ∈ (m − 1, n − 1). This question thus remains open. \(\lozenge \)
General Gregory’s Formula and Euler-Maclaurin’s Formula
The following proposition provides Gregory’s formula in its general form using our integral expression for the remainder.
Proposition 6.30 (General Form of Gregory’s Formula)
Let \(a\in \mathbb {R}\), \(n,q\in \mathbb {N}\) , h > 0, and \(f\in \mathcal {C}^0([a,\infty ))\) . Then we have
where
Moreover, if f is q-convex or q-concave on [a, ∞), then
Here, Δ [h] denotes the forward difference operator with step h > 0.
Proof
This formula can be obtained immediately from (6.33) and (6.34) replacing n with n + 1 and then setting m = 1 and g(x) = f(a + (x − 1)h). The last part follows from Lemma 6.22. □
The general Gregory formula is often compared with the corresponding Euler-Maclaurin summation formula. We will use the latter in Chap. 8, so we now state it in its general form (for background see, e.g., Apostol [8], Gel’fond [39], Lampret [62], Mariconda and Tonolo [67], and Srivastava and Choi [93]).
Recall first that the Bernoulli numbers B 0, B 1, B 2, … are defined implicitly by the single equation (see, e.g., Gel’fond [39, Chapter 4] and Graham et al. [41, p. 284])
The first few values of B n are: \(1, -\frac {1}{2}, \frac {1}{6}, 0, -\frac {1}{30}, 0,\ldots \). Recall also that, for any \(n\in \mathbb {N}\), the nth degree Bernoulli polynomial B n(x) is defined by the equation
Proposition 6.31 (Euler-Maclaurin’s Formula)
Let \(N\in \mathbb {N}^*\), \(f\in \mathcal {C}^1([a,b])\) , and h = (b − a)∕N, for some real numbers a < b. Then we have
If, in addition, \(f\in \mathcal {C}^{2q}([a,b])\) for some \(q\in \mathbb {N}^*\) , then
where
and
Here \(f\in \mathcal {C}^k([a,b])\) means that \(f\in \mathcal {C}^k(I)\) for some open interval I containing [a, b].
Remark 6.32
We observe (to paraphrase Jordan [50, p. 285]) that Euler-Maclaurin’s formula is more advantageous than Gregory’s formula if we deal with functions whose derivatives are less complicated than their differences. However, there are functions for which Euler-Maclaurin’s formula leads to divergent series while the corresponding Gregory’s formula-based series (see Proposition 6.24) are convergent. For instance, this may be due to the fact that, for any x > 0, the sequence \(n\mapsto D^n\frac {1}{x}\) is unbounded while the sequence \(n\mapsto \Delta ^n\frac {1}{x}\) converges to zero.\(\lozenge \)
6.8 Generalized Euler’s Constant
In this section, we introduce and discuss an analogue of Euler’s constant for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\). We first consider a lemma.
Lemma 6.33
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and let \(m\in \mathbb {N}^*\) . Then the sequence \(n\mapsto R^p_{m,n}[g]\) for n ≥ m converges. Denoting its limit by \(R^p_{m,\infty }[g]\) , we have
Proof
The proof is an immediate consequence of (6.36) and the generalized Stirling formula (Theorem 6.13). □
Under the assumptions of Lemma 6.33, using (6.34), (6.35), and (6.39) we immediately obtain the following identities
and
Moreover, if g is p-convex or p-concave on [m, ∞), the inequality (6.37) reduces to
which is also an immediate consequence of Corollary 6.12 (where a tighter inequality is also provided when p ≥ 1).
Let us now provide a geometric interpretation of the remainder \(R^p_{m,\infty }[g]\) when g is p-convex or p-concave on [m, ∞). Suppose for instance that g is p-convex on [m, ∞). The interpretation of Gregory’s formula discussed in Sect. 6.7 shows that, on the whole of the interval [m, ∞), the graph of g lies over or under that of \(\overline {P}_p[g]\) according to whether p is even or odd, and the remainder \(|R^p_{m,\infty }[g]|\) is precisely the surface area between both graphs. Interestingly, the fact that this surface area converges to zero as \(m\to _{\mathbb {N}}\infty \) by (6.42) provides a direct interpretation of the restriction of the generalized Stirling formula to integer values.
This interpretation is particularly visual when p = 0 or p = 1. Consider for instance the case p = 1 and suppose that g is concave on [m, ∞) (e.g., \(g(x)=\ln x\)). Then, the graph of g on [m, ∞) lies over (or on) the polygonal line through the points (k, g(k)) for all integers k ≥ m. The value \(|R^p_{m,\infty }[g]|\) is then the surface area between the graph of g and this polygonal line. It is also the absolute value of the remainder in the trapezoidal rule on [m, ∞).
We are now able to introduce an analogue of Euler’s constant for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\). We call it the generalized Euler constant.
Definition 6.34 (Generalized Euler’s Constant)
The generalized Euler constant associated with a function \(g\in \mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) is the number
where p = 1 +deg g.
For instance, if g lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\), then using (6.33) we obtain
and this value represents the remainder in the “left” rectangle method on [1, ∞) with the integer nodes k = 1, 2, …. Similarly, if g lies in \(\mathcal {C}^0\cap \mathcal {D}^1\cap \mathcal {K}^1\) and deg g = 0, then we get
and this value represents the remainder in the trapezoidal rule on [1, ∞) with the integer nodes k = 1, 2, ….
Thus defined, the number γ[g] generalizes to any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) not only the classical Euler constant γ (obtained when \(g(x)=\frac {1}{x}\)) but also the generalized Euler constant γ[g] associated with a positive and strictly decreasing function g as defined in (6.43) (see, e.g., Apostol [8] and Finch [37, Section 1.5.3]). Moreover, as we will see in Sect. 8.2, this number plays a central role in the Weierstrassian form of Σg (which also justifies the choice m = 1 in the definition of γ[g]).
The definition of γ[g] does not require g to be p-convex or p-concave on [1, ∞). However, if this latter condition holds, then by (6.42) we have the inequality
and by Corollary 6.12 the following tighter inequality also holds when p ≥ 1
We also provide and discuss finer bounds for γ[g] in Appendix E (see Remark E.7).
Example 6.35
If g(x) = 1∕x, then γ[g] reduces to Euler’s constant γ, as expected. Indeed, in this case we obtain
Using (6.43), we then retrieve the well-known formula
and its classical geometric interpretation. If \(g(x)=\ln x\), then the associated generalized Euler constant is
and we can see that it coincides with the associated asymptotic constant σ[g] (see Example 6.5). Moreover, using (6.44) we obtain the following formula
The value |γ[g]| = −γ[g] can then be interpreted as the surface area between the graph of g on the unbounded interval [1, ∞) and the polygonal line through the points (k, g(k)) for all integers k ≥ 1. Moreover, Eq. (6.46) provides the following inequality
\(\lozenge \)
A Conversion Formula Between γ[g] and σ[g]
The following proposition, which immediately follows from (6.18) and the identity
shows how the numbers γ[g] and σ[g] are related and provides an alternative way to compute the value of γ[g].
Proposition 6.36
For any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) , we have
where p = 1 +deg g.
An Integral Form of γ[g]
The following proposition shows that the classical integral representation of the Euler constant
can be generalized to the constant γ[g] for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\).
Proposition 6.37
For any \(g\in \mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) , where p = 1 +deg g, we have
In particular, when deg g = −1, we have
Proof
Using (6.16) and (6.41), we obtain
which immediately provides the claimed formula. □
The Principal Indefinite Sum of the Generalized Binet Function
If g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\), then the function J p+1[ Σg] lies in \(\mathcal {D}^0_{\mathbb {R}}\) by Theorem 6.13, and hence so does
If, in addition, J p+1[ Σg] lies in \(\mathcal {K}^0\), then by the uniqueness Theorem 3.1 we have that
Thus, if p = 1 +deg g, then we obtain the identity
Now, suppose that we wish to show that a given function \(f\colon \mathbb {R}_+\to \mathbb {R}\) satisfies the equation f = J p+1[ Σg] for some function g lying in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\), with p = 1 +deg g. Using the uniqueness theorem with identity (6.47), we see that it is then enough to show that Δf = J p+1[g], f(1) = −γ[g], and \(f\in \mathcal {K}^0\).
Example 6.38
Let \(f\colon \mathbb {R}_+\to \mathbb {R}\) be defined by the equation \(f(x)=\psi (x)-\ln x\) for x > 0. To see that f = J 1[ψ], it is enough to observe that f lies in \(\mathcal {K}^0\), that f(1) = −γ, and that
is precisely the function J 1[g](x) when g(x) = 1∕x. \(\lozenge \)
Example 6.39
Binet established the following integral representation (see, e.g., Sasvári [89])
Equation (6.47) then provides a possible (though not immediate) proof of this identity. \(\lozenge \)
References
T. M. Apostol. An elementary view of Euler’s summation formula. Amer Math Monthly, 106(5):409–418, 1999.
E. Artin. The gamma function. Dover Books on Mathematics. Dover Publications Inc., New York, 2015.
I. S. Berezin and N. P. Shidkov. Computing methods. Vols. I, II. Pergamon Press, London, 1965.
I. V. Blagouchine. Expansions of generalized Euler’s constants into the series of polynomials in π −2 and into the formal enveloping series with rational coefficients only. J. Number Theory, 158: 365–396, 2016.
I. V. Blagouchine. A note on some recent results for the Bernoulli numbers of the second kind. J. Integer Seq., 20(3), Art. 17.3.8, 2017.
I. V. Blagouchine and M.-A. Coppo. A note on some constants related to the zeta-function and their relationship with the Gregory coefficients. Em Ramanujan J., 47(2):457–473, 2018.
T. Burić. Improvements of asymptotic approximation formulas for the factorial function. Appl. Anal. Discrete Math., 13(3):895–904, 2019.
W. Burnside. A rapidly convergent series for \(\log N!\). Messenger Math., 46:157–159, 1917.
C.-P. Chen and J.-Y. Liu. Inequalities and asymptotic expansions for the gamma function. J. Number Theory, 149:313–326, 2015.
C.-P. Chen and L. Lin. Inequalities and asymptotic expansions for the gamma function related to Mortici’s formula. J. Number Theory, 162:578–588, 2016.
H. Cohen and E. Friedman. Raabe’s formula for p-adic gamma and zeta functions. Ann. Inst. Fourier (Grenoble), 58(1):363–376, 2008.
A. Cuyt, V. B. Vigdis, B. Verdonk, H. Waadeland, and W. B. Jones. Handbook of continued fractions for special functions. With contributions by F. Backeljauw and C. Bonan-Hamada. Springer, New York, 2008.
L. Feng and W. Wang. A continued product approximation for the gamma function. Integral Transforms Spec. Funct., 24(10):831–839, 2013.
S. R. Finch. Mathematical constants. Encyclopedia of Mathematics and its Applications 94. Cambridge University Press, Cambridge, UK, 2003.
A. O. Gel’fond. Calculus of finite differences. Translated from the Russian. International Monographs on Advanced Mathematics and Physics. Hindustan Publishing Corp., Delhi, 1971.
R. W. Gosper. Decision procedure for indefinite hypergeometric summation. Proc. Nat. Acad. Sci. U.S.A., 75(1):40–42, 1978.
R. L. Graham, D. E. Knuth, and O. Patashnik. Concrete mathematics: a foundation for computer science. 2nd edition. Addison-Wesley Longman Publishing Co., Boston, MA, USA, 1994.
Ch. Jordan. Calculus of finite differences. 3rd Edition. Chelsea Publishing Company, New York, 1965.
W. Krull. Bemerkungen zur Differenzengleichung g(x + 1) − g(x) = φ(x). (German). Math. Nachr., 1:365–376, 1948.
V. Lampret. The Euler-Maclaurin and Taylor formulas: twin, elementary derivations. Math. Mag., 74(2):109–122, 2001.
D. Lu, X. Liu, and T. Qu. Continued fraction approximations and inequalities for the gamma function by Burnside. Ramanujan J., 42(2):491–500, 2017.
C. Mariconda and A. Tonolo. Discrete calculus. Methods for counting. Unitext, 103. Springer, 2016.
D. Merlini, R. Sprugnoli, M. C. Verri. The Cauchy numbers. Discrete Mathematics, 306:1906–1920, 2006.
L. M. Milne-Thomson The calculus of finite differences. Macmillan and Co. LTD, London, 1951.
C. Mortici. A class of integral approximations for the factorial function. Comput. Math. Appl., 59(6):2053–2058, 2010.
C. Mortici. On Gospers formula for the gamma function. J. Math. Inequal., 5(4):611–613, 2011.
C. Mortici. On the monotonicity and convexity of the remainder of the Stirling formula. Appl. Math. Lett., 24(6):869–871, 2011.
C. Mortici. New sharp bounds for gamma and digamma functions. An. Ştiinţ. Univ. Al. I. Cuza Iaşi. Mat. (N.S.), 57(1):57–60, 2011.
Z. Sasvári. An elementary proof of Binet’s formula for the gamma function. Amer. Math. Monthly, 106(2):156–158, 1999.
J. L. Spouge. Computation of the gamma, digamma, and trigamma functions. SIAM J. Numer. Anal., 31(3):931–944, 1994.
H. M. Srivastava and J. Choi. Zeta and q-zeta functions and associated series and integrals. Elsevier, Inc., Amsterdam, 2012.
E. C. Titchmarsh. The theory of functions. Second edition. Oxford University Press, Oxford, 1939.
R. Webster. Log-convex solutions to the functional equation f(x + 1) = g(x)f(x): Γ-type functions. J. Math. Anal. Appl., 209:605–623, 1997.
J. G. Wendel. Note on the gamma function. Amer. Math. Monthly, 55:563–564, 1948.
A. Xu, Y. Hu, and P. Tang. Asymptotic expansions for the gamma function. J. Number Theory, 169:134–143, 2016.
Z.-H. Yang and J.-F. Tian. On Burnside type approximation for the gamma function. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, 113(3):2665–2677, 2019.
Author information
Authors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Marichal, JL., Zenaïdi, N. (2022). Asymptotic Analysis. In: A Generalization of Bohr-Mollerup's Theorem for Higher Order Convex Functions. Developments in Mathematics, vol 70. Springer, Cham. https://doi.org/10.1007/978-3-030-95088-0_6
Download citation
DOI: https://doi.org/10.1007/978-3-030-95088-0_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-95087-3
Online ISBN: 978-3-030-95088-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)