Abstract
As discussed in the first chapter, the main objective of our work is to generalize Krull-Webster’s theory to multiple \(\log \Gamma \)-type functions and explore the properties of these functions that are analogues of classical properties of the gamma function.
You have full access to this open access chapter, Download chapter PDF
As discussed in the first chapter, the main objective of our work is to generalize Krull-Webster’s theory to multiple \(\log \Gamma \)-type functions and explore the properties of these functions that are analogues of classical properties of the gamma function.
In the previous chapters, we have presented and discussed several results related to these functions, including their differentiation and integration properties as well as important results on their asymptotic behaviors.
We are now in a position to explore further properties of multiple \(\log \Gamma \)-type functions. More precisely, in this chapter we provide for these functions analogues of Euler’s infinite product, Euler’s reflection formula, Gauss’ multiplication formula, Gautschi’s inequality, Raabe’s formula, Wallis’s product formula, Webster’s functional equation, and Weierstrass’ infinite product for the gamma function. We also discuss analogues of Fontana-Mascheroni’s series and Gauss’ digamma theorem and provide a Gregory’s formula-based series representation, a general asymptotic expansion formula, and a few related results.
8.1 Eulerian Form
Let g lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). As we already observed in Chap. 1, the representation of Σg as the pointwise limit of the sequence \(n\mapsto f^p_n[g]\) is the analogue of Gauss’ limit for the gamma function. Using identity (3.8), we immediately see that this form of Σg can be translated into a series, namely
It is a simple exercise to see that, when \(g(x)=\ln x\) and p = 1, this latter formula reduces to the following series representation of the log-gamma function
Its multiplicative version is nothing other than the classical Eulerian form (or Euler’s product form) of the gamma function (see, e.g., Srivastava and Choi [93, p. 3]). We recall this form in the following proposition.
Proposition 8.1 (Eulerian Form of the Gamma Function)
The following identity holds
We thus see that, for any multiple \(\log \Gamma \)-type function, the series representation (8.1) is the analogue of the Eulerian form of the gamma function in the additive notation. Moreover, we have shown in Theorem 7.5 that this series can be differentiated term by term on \(\mathbb {R}_+\). We have also shown in Proposition 5.18 that this series can be integrated term by term on any bounded interval of [0, ∞). Let us state these important facts in the following theorem.
Theorem 8.2 (Eulerian Form)
Let g lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . The following assertions hold.
-
(a)
For any x > 0 we have
$$\displaystyle \begin{aligned} \Sigma g(x) ~=~ -g(x)+\sum_{j=1}^p{\textstyle{{{x}\choose{j}}}}{\,}\Delta^{j-1}g(1) - \sum_{k=1}^{\infty}\left(g(x+k)-\sum_{j=0}^p{\textstyle{{{x}\choose{j}}}}{\,}\Delta^jg(k)\right) \end{aligned}$$and the series converges uniformly on any bounded subset of [0, ∞).
-
(b)
If g lies in \(\mathcal {C}^0\) , then Σg lies in \(\mathcal {C}^0\) and the series above can be (repeatedly) integrated term by term on any bounded interval of [0, ∞).
-
(c)
If g lies in \(\mathcal {C}^r\cap \mathcal {K}^{\max \{p,r\}}\) for some \(r\in \mathbb {N}\) , then Σg lies in \(\mathcal {C}^r\) and the series above can be differentiated term by term up to r times.
Proof
Assertion (a) follows from identity (3.8) and the existence Theorem 3.6 (see also Remark 3.7). Assertion (b) follows from Proposition 5.18, especially its assertion (c2), and Remark 5.19. Assertion (c) follows from Theorem 7.5. □
Example 8.3
Let us apply Theorem 8.2 to \(g(x)=\ln x\) and p = 1. We immediately retrieve identity (8.2). Upon differentiation, we also obtain
and, for any \(r\in \mathbb {N}^*\),
Integrating on (0, x), we obtain
Integrating once more on (0, x), we obtain
We can actually integrate both sides on (0, x) repeatedly as we wish. \(\lozenge \)
8.2 Weierstrassian Form
In the following proposition, we recall an alternative infinite product representation of the gamma function, which was proposed by Weierstrass. This representation is usually called the Weierstrass factorization of the gamma function or the Weierstrass canonical product form of the gamma function (see Artin [11, pp. 15–16] and Srivastava and Choi [93, p. 1]).
Proposition 8.4 (Weierstrassian Form of the Gamma Function)
The following identity holds
We now show that this factorization can be generalized to any \(\log \Gamma _p\)-type function that is of class \(\mathcal {C}^p\). This new result is presented in the following two theorems, which deal with the cases p = 0 and p ≥ 1 separately. We observe that the special case when p = 1 was previously established by John [49, Theorem B’] and in the multiplicative notation by Webster [98, Theorem 7.1].
It is important to note that, just as in Theorem 8.2, the partial sums that define the series of the theorems below are nothing other than the sequence \(n\mapsto f^p_n[g](x)\). Thus, these series can be integrated and differentiated term by term.
Theorem 8.5 (Weierstrassian Form When deg g = −1)
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\) . The following assertions hold.
-
(a)
We have γ[g] = σ[g].
-
(b)
For any x > 0 we have
$$\displaystyle \begin{aligned} \Sigma g(x) ~=~ \sigma[g]-g(x)-\sum_{k=1}^{\infty}\left(g(x+k)-\int_k^{k+1}g(t){\,}dt\right) \end{aligned}$$and the series converges uniformly on any bounded subset of [0, ∞).
-
(c)
The function Σg lies in \(\mathcal {C}^0\) and the series above can be (repeatedly) integrated term by term on any bounded interval of [0, ∞).
-
(d)
If g lies in \(\mathcal {C}^r\cap \mathcal {K}^r\) for some \(r\in \mathbb {N}\) , then Σg lies in \(\mathcal {C}^r\) and the series above can be differentiated term by term up to r times.
Proof
Assertion (a) follows from Proposition 6.36. Assertion (b) follows from Theorem 8.2 and identity (6.43). Assertions (c) and (d) follow from Theorem 8.2. □
To establish the second theorem (the case when deg g ≥ 0), we need the following technical lemma.
Lemma 8.6
Let g lie in \(\mathcal {C}^1\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}^*\) . Then
If, in addition, \(g\in \mathcal {C}^{p-1}\) , then
Proof
By Proposition 4.12, we have that g′ lies in \(\mathcal {C}^0\cap \mathcal {D}^{p-1}\cap \mathcal {K}^{p-1}\). The first convergence result then follows immediately from the application of (6.22) to g′. That is,
Let us now assume that \(g\in \mathcal {C}^{p-1}\). By Propositions 4.11 and 4.12, for every i ∈{0, …, p − 2} the function
lies in \(\mathcal {C}^1\cap \mathcal {D}^2\cap \mathcal {K}^2\) and hence, applying the first result to g i, we obtain that
Summing these limits for i = 0, …, p − 2, we obtain the claimed limit. □
Theorem 8.7 (Weierstrassian Form When deg g ≥ 0)
Let g lie in \(\mathcal {C}^p\cap \mathcal {D}^p\cap \mathcal {K}^p\) with deg g = p − 1 for some \(p\in \mathbb {N}^*\) . The following assertions hold.
-
(a)
We have γ[g (p)] = σ[g (p)] = g (p−1)(1) − ( Σg)(p)(1).
-
(b)
For any x > 0 we have
$$\displaystyle \begin{aligned} \begin{array}{rcl} \Sigma g(x) & =&\displaystyle \sum_{j=1}^{p-1}{\textstyle{{{x}\choose{j}}}}{\,}\Delta^{j-1}g(1)+{\textstyle{{{x}\choose{p}}}}(\Sigma g)^{(p)}(1)\\ & &\displaystyle -g(x)- \sum_{k=1}^{\infty}\left(g(x+k)-\sum_{j=0}^{p-1}{\textstyle{{{x}\choose{j}}}}{\,}\Delta^jg(k)-{\textstyle{{{x}\choose{p}}}}g^{(p)}(k)\right) \end{array} \end{aligned} $$and the series converges uniformly on any bounded subset of [0, ∞).
-
(c)
The function Σg lies in \(\mathcal {C}^p\) and the series above can be (repeatedly) integrated term by term on any bounded interval of [0, ∞).
-
(d)
If g lies in \(\mathcal {C}^{\max \{p,r\}}\cap \mathcal {K}^{\max \{p,r\}}\) for some \(r\in \mathbb {N}\) , then Σg lies in \(\mathcal {C}^{\max \{p,r\}}\) and the series above can be differentiated term by term up to \(\max \{p,r\}\) times.
Proof
By Proposition 4.12, we have that g (p) lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\). Assertion (a) then follows from Propositions 6.36 and 7.7. Now, using (6.43) we get
Using Theorem 8.2, we then obtain
where the latter limit is zero by Lemma 8.6. This proves assertion (b). Assertions (c) and (d) follow from Theorem 8.2. □
Example 8.8
Let us apply Theorem 8.7 to \(g(x)=\ln x\) and p = 1. We immediately get
which is the additive version of the Weierstrassian form (8.3) of the gamma function. It is remarkable that we can now retrieve this formula in an effortless way. Upon differentiation, we also obtain (see, e.g., Srivastava and Choi [93, p. 24])
Integrating on (0, x), we obtain
Integrating once more on (0, x), we obtain
Just as in Example 8.3, we can integrate both sides on (0, x) repeatedly as we wish. \(\lozenge \)
Let us end this section with an aside about some potential consequences of the technical Lemma 8.6.
Remark 8.9
If g lies in \(\mathcal {C}^1\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}^*\), then by Propositions 4.8 and 4.12 we have \(g'\in \mathcal {R}^{p-1}_{\mathbb {R}}\). That is, for any a ≥ 0
Combining this result with the first part of Lemma 8.6, we can derive surprising limits. For instance, we obtain for any p ∈{1, 2, 3}
This latter limit has the following interpretation. The mean value theorem tells us that Δg(x) = g′(x + ξ x) for some ξ x ∈ (0, 1). The limit above then says that
In particular, if g lies in \(\mathcal {C}^2\) and for instance eventually satisfies g″(x) ≥ c for some c > 0, then
which shows that \(\xi _x\to \frac {1}{2}\) as x →∞. \(\lozenge \)
8.3 Gregory’s Formula-Based Series Representation
The following proposition provides series expressions for Σg and σ[g] in terms of Gregory’s coefficients (see also Proposition D.2 in Appendix D). This proposition follows from the next lemma, which in turn immediately follows from Corollary 6.12.
Lemma 8.10
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^q\) for some \(p,q\in \mathbb {N}\) such that p ≤ q. Let x > 0 be so that for k = p, …, q the function g is k-convex or k-concave on [x, ∞). Then we have
Proposition 8.11
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^{\infty }\) for some \(p\in \mathbb {N}\) . Let x > 0 be so that for every integer q ≥ p the function g is q-convex or q-concave on [x, ∞). Suppose also that the sequence q↦ Δ q g(x) is bounded. Then we have
that is,
In particular, if the assumptions above are satisfied for x = 1, then we have
Proof
This result is an immediate consequence of Lemma 8.10 and the fact that the sequence \(n\mapsto \overline {G}_n\) decreases to zero. Identity (8.4) then follows from (6.18). □
Example 8.12
Applying Proposition 8.11 to the function \(g(x)=\ln x\) with p = 1, we obtain the following series representation of the log-gamma function for x > 0
where we have used the classical identity (see, e.g., Graham et al. [41, p. 188])
Equivalently, using the Binet function J(x), identity (8.6) can take the form
where, for any \(n\in \mathbb {N}^*\), the inner sum also reduces to the following integral (see, e.g., [41, p. 192])
In particular,
In the multiplicative notation, identity (8.6) takes the following form
Further infinite product representations and approximations of the gamma function can be found for instance in Feng and Wang [36]. \(\lozenge \)
8.4 Analogue of Fontana-Mascheroni’s Series
Interestingly, when \(g(x)=\frac {1}{x}\) and p = 0, identity (8.5) reduces to the well-known formula
where γ is Euler’s constant and the series is called Fontana-Mascheroni’s series (see, e.g., Blagouchine [20, p. 379]). Thus, the series representation of the asymptotic constant σ[g] given in (8.5) provides the analogue of Fontana-Mascheroni’s series for any function g satisfying the assumptions of Proposition 8.11.
Example 8.13
The analogue of Fontana-Mascheroni’s series for the function \(g(x)=\ln x\) can be obtained by setting x = 1 in (8.6). We obtain
or equivalently (see Example 8.12),
♢
The following proposition provides a way to construct a function g(x) that has a prescribed associated asymptotic constant σ[g] given in the form (8.5).
Proposition 8.14
Suppose that the series
converges for a given real sequence n↦s n and let \(g\colon \mathbb {R}_+\to \mathbb {R}\) be such that
If g satisfies the assumptions of Proposition 8.11 with x = 1, then the following assertions hold.
-
(a)
S = σ[g].
-
(b)
\(\Sigma g(n) = \sum _{k=1}^{n-1}{n-1\choose k}{\,} s_k\) for any \(n\in \mathbb {N}^*\).
-
(c)
s n = Δ n−1 g(1) = Δ n Σg(1) for any \(n\in \mathbb {N}^*\).
Proof
Identity (8.7) can take the following alternative form
Using the classical inversion formula (Graham et al. [41, p. 192]), we then obtain
This establishes assertion (c) and then assertion (a) by Proposition 8.11. Assertion (b) is straightforward using (5.2). □
Example 8.15
Let us apply Proposition 8.14 to the series
that is,
Let \(g\colon \mathbb {R}_+\to \mathbb {R}\) be a function such that
or equivalently (see Graham et al. [41, p. 281] or Merlini et al. [72, Lemma 4.1]),
We naturally take \(g(x)=\frac {1}{x}{\,}H_x\) , from which we can derive (see, e.g., Graham et al. [41, p. 280])
Thus, we have S = σ[g]. Combining this result with the definition of σ[g], we derive the surprising identity (compare with Blagouchine and Coppo [22, pp. 469–470])
Proceeding similarly, with a bit of computation one also finds
Those formulas are worth comparing with the well-known identities (see Sect. 10.2)
For similar formulas, see also Blagouchine and Coppo [22]. \(\lozenge \)
Example 8.16
Let us apply Proposition 8.14 to the series
where a > 0. For this series, we can take
where (x, y)↦B(x, y) is the beta function. We then derive the identity
Using the definition of the beta function as an integral, this identity also reads
Setting \(a=\frac {1}{2}\) for instance, we obtain
We also observe that the decimal expansion of the latter integral is the sequence A094691 in the OEIS [90]. \(\lozenge \)
8.5 Analogue of Raabe’s Formula
Recall that Raabe’s formula yields, for any x > 0, a simple explicit expression for the integral of the log-gamma function over the interval (x, x + 1). We state this result in the following proposition (see Example 6.5). For recent references on Raabe’s formula, see, e.g., Cohen and Friedman [30, p. 366] and Srivastava and Choi [93, p. 29].
Proposition 8.17 (Raabe’s Formula)
The following identity holds
Clearly, identities (6.10) and (6.11) provide the analogue of Raabe’s formula for any continuous multiple \(\log \Gamma \)-type function Σg. We recall this important and useful formula in the next proposition.
Proposition 8.18 (Analogue of Raabe’s Formula)
For any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) , we have
where σ[g] is the asymptotic constant associated with g and defined by the equation
The challenging part in this context is to find a nice expression for σ[g]. For instance, setting x = 1 in Raabe’s formula (8.8), we obtain the identity
However, in general such a closed-form expression for σ[g] is not easy to derive.
An expression for σ[g] as a limit can be obtained using Proposition 5.18(c2). Specifically, if g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\), then we have
which is nothing other than the restriction of the generalized Stirling formula (6.21) to the natural integers.
Series expressions for σ[g] can also be obtained by integrating on the interval (0, 1) the series representations of Σg + g given in Theorems 8.2 and 8.7. For instance, we have
Note also that, under certain assumptions, the latter series converges to zero as \({p\to _{\mathbb {N}}\infty }\). In this case, (8.12) reduces to the analogue of Fontana-Mascheroni’s series; see Proposition 8.11.
Example 8.19
Applying (8.11) and (8.12) to \(g(x)=\frac {1}{x}\) and p = 0, we obtain
which is Euler’s constant γ. Identity (8.9) then immediately provides the following analogue of Raabe’s formula
♢
The following proposition provides interesting identities that involve the antiderivative of Σg, where g is any function lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\). It also yields a formula for ΣG, where G is the antiderivative of g. This result is worth comparing with Example 7.19.
Proposition 8.20
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and define the function \(G\colon \mathbb {R}_+\to \mathbb {R}\) by the equation
Then G lies in \(\mathcal {C}^1\cap \mathcal {D}^{p+1}\cap \mathcal {K}^{p+1}\) . Moreover, for any x > 0 we have
and
Proof
We have that G lies in \(\mathcal {C}^1\cap \mathcal {D}^{p+1}\cap \mathcal {K}^{p+1}\) by Proposition 4.12. We then obtain
by Proposition 7.7. This establishes the first formula. Combining it with (8.9), we obtain
that is, the second formula. □
Example 8.21
Apply Proposition 8.20 to the function \(g(x)=\ln x\) with p = 1, we obtain
Using Raabe’s formula (8.8) in the left-hand side, we finally obtain
from which we immediately derive a closed-form expression for \(\Sigma _x(x\ln x)\); see also Sect. 12.5. \(\lozenge \)
We now present a proposition, immediately followed by a corollary that provides interesting characterizations of multiple Γ-type functions based on the analogue of Raabe’s formula. Example 8.24 below illustrates this characterization in the special case of the log-gamma function.
Proposition 8.22
Let h lie in \(\mathcal {C}^1\cap \mathcal {D}^{p+1}\cap \mathcal {K}^{p+1}\) for some \(p\in \mathbb {N}\) and let \(f\colon \mathbb {R}_+\to \mathbb {R}\) be a function. Then f lies in \(\mathcal {C}^0\cap \mathcal {K}^p\) and satisfies the equation
if and only if f = ( Σh)′.
Proof
The sufficiency is trivial. Let us prove the necessity. Differentiating both sides of (8.13), we obtain Δf = h′. Using the existence Theorem 3.6 and then Proposition 7.7, we then see that f = c + ( Σh)′ for some \(c\in \mathbb {R}\). Using (8.13) again, we then see that c must be 0. □
Corollary 8.23 (A Characterization Result)
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) and let \(f\colon \mathbb {R}_+\to \mathbb {R}\) be a function. Then f lies in \(\mathcal {C}^0\cap \mathcal {K}^p\) and satisfies the equation
if and only if f = Σg.
Proof
The sufficiency is trivial by (8.9). Let us prove the necessity. Define the function \(h\colon \mathbb {R}_+\to \mathbb {R}\) by the equation
Then, h clearly lies in \(\mathcal {C}^1\cap \mathcal {D}^{p+1}\cap \mathcal {K}^{p+1}\). Using Proposition 8.22 and then Proposition 8.20, we immediately obtain that f = ( Σh)′ = Σg. □
Example 8.24
Applying Corollary 8.23 to the function \(g(x)=\ln x\) with p = 1, we obtain the following alternative characterization of the gamma function. A function \(f\colon \mathbb {R}_+\to \mathbb {R}\) lies in \(\mathcal {C}^0\cap \mathcal {K}^1\) and satisfies the equation
if and only if \(f(x)=\ln \Gamma (x)\). \(\lozenge \)
8.6 Analogue of Gauss’ Multiplication Formula
In the following proposition, we recall the Gauss multiplication formula for the gamma function, also called Gauss’ multiplication theorem (see Artin [11, p. 24]).
Proposition 8.25 (Gauss’ Multiplication Formula)
For any integer m ≥ 1, we have the following identity
When m = 2, identity (8.14) reduces to Legendre’s duplication formula
Remark 8.26
For any fixed m ≥ 2, the Gauss multiplication formula (8.14) enables one to retrieve easily the value of the asymptotic constant associated with the function \(g(x)=\ln x\). In particular, this value can be retrieved from Legendre’s duplication formula. Indeed, taking the logarithm of both sides of (8.14) and then integrating on x ∈ (0, 1), we obtain
Using the change of variable \(t=\frac {x+j}{m}\) in the left-hand integral, we then obtain almost immediately the following identity
Combining this result with (8.9), we retrieve \(\sigma [\ln ]=-1+\frac {1}{2}\ln (2\pi )\). \(\lozenge \)
Webster [98, Theorem 5.2] showed how an analogue of Gauss’ multiplication formula can be partially constructed for any Γ-type function. His proof is very short and essentially relies on the uniqueness and existence theorems in the special case when p = 1. We now show how Webster’s approach can be further extended to all multiple Γ-type functions. As usual, we use the additive notation.
Theorem 8.27 (Analogue of Gauss’ Multiplication Formula)
Let g lie in dom( Σ) and let \(m\in \mathbb {N}^*\) . Define also the function \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) by the equation
Then we have
and
Proof
Let g lie in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). Then g m also lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) by Corollary 4.21. Now, we can readily check that the function \(f\colon \mathbb {R}_+\to \mathbb {R}\) defined by
is a solution to the equation Δf = g m that lies in \(\mathcal {K}^p\) and such that f(1) = 0. By the uniqueness Theorem 3.1, it follows that f = Σg m. This establishes (8.15). The last identity follows immediately. □
Theorem 8.27 actually provides a partial solution to the problem of finding the analogue of Gauss’ multiplication formula. A more complete result would also provide a closed-form expression for the right-hand side of identity (8.15).
Unfortunately, no general method to provide simple or compact expressions for Σg m seems to be known. However, such expressions can sometimes be found.
For instance, when \(g(x)=\ln x\), we obtain
Substituting this latter expression in identity (8.15), we immediately obtain the formula
that is, in the multiplicative notation,
It remains to find a nice expression for the latter product, and more generally for the right-hand sum of identity (8.15). On this issue, we have the following useful result.
Proposition 8.28
Let g lie in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) and let \(m\in \mathbb {N}^*\) . Define also the function \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) by the equation \(g_m(x)=g(\frac {x}{m})\) for x > 0. Then we have
Proof
The first identity can be proved simply by integrating both sides of (8.15) on x ∈ (m, m + 1). Indeed, using the change of variable \(t=\frac {x+j}{m}\) and identity (8.10), the left-hand side reduces to
The second identity then follows from a simple application of (8.9). □
Example 8.29
Let us apply Proposition 8.28 to the function \(g(x)=\ln x\). We obtain
Substituting this expression in (8.16) and then translating the resulting formula into the multiplicative notation, we retrieve Gauss’ multiplication formula (8.14). \(\lozenge \)
In the following proposition, we provide a convergence result for the function defined in the left-hand side of (8.15), which does not require the computation of Σg m. This result simply reduces to the generalized Stirling formula when m = 1.
Proposition 8.30
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}^*\) . Define also the function \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) by the equation \(g_m(x)=g(\frac {x}{m})\) for x > 0. Then we have
as x →∞, where
Proof
Theorem 8.27 and Proposition 8.28 provide the following identity
The result is then an immediate application of the generalized Stirling formula (Theorem 6.13) to the function Σg m (recall that g m lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\)). □
We end this section with three corollaries. Corollaries 8.31 and 8.32 yield properties of the derivatives and antiderivatives of the function g in the context of the analogue of Gauss’ multiplication formula. Corollary 8.33 shows how the antiderivative of g can be expressed as a limit involving the function Σg m.
Corollary 8.31
Let g lie in \(\mathcal {C}^r\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,r\}}\) for some \(p\in \mathbb {N}\) and \(r\in \mathbb {N}^*\) . Let also \(m\in \mathbb {N}^*\) and define the function \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) by the \(g_m(x)=g(\frac {x}{m})\) . Then the equation obtained by replacing g with g (r) in (8.15) can also be obtained by differentiating r times both sides of (8.15).
Proof
Differentiating r times both sides of (8.15), multiplying through by m r, and then using (7.1), we obtain
Setting x = 1, we then get
Subtracting this latter equation from the former one, we finally get
which is precisely the equation obtained by replacing g with g (r) in (8.15). □
Corollary 8.32
Let \(p\in \mathbb {N}\), \(m\in \mathbb {N}^*\), \(c\in \mathbb {R}\) , and \(g\in \mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) . Define also the functions \(G,g_m,G_m\colon \mathbb {R}_+\to \mathbb {R}\) by the equations
Then both functions G and G m lie in \(\mathcal {C}^1\cap \mathcal {D}^{p+1}\cap \mathcal {K}^{p+1}\) . Moreover, for any x > 0 we have
Proof
The first part follows immediately from Proposition 8.20 and Corollary 4.21. Now, by definition of G m we have
The claimed identity can then be established easily using Proposition 8.20 and then applying identity (8.9). □
Corollary 8.33
Let g lie in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\) . Define also the functions \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) \((m\in \mathbb {N}^*)\) by the equation \(g_m(x)=g(\frac {x}{m})\) for x > 0. Then we have
Moreover, if g is integrable at 0, then
Proof
Replacing x with mx in (8.15) and dividing through by m, we obtain
Letting \(m\to _{\mathbb {N}}\infty \) in this identity and using (8.9), we see that the first Riemann sum on the right side converges to
while the second one converges (if g is integrable at 0) to
This establishes the corollary. □
8.7 Asymptotic Expansions and Related Results
In this section, we provide and investigate asymptotic expansions of (higher order differentiable) multiple \(\log \Gamma \)-type functions. We also establish and discuss some important consequences of these expansions, including a variant of the generalized Stirling formula and an extension of the so-called Liu formula to multiple \(\log \Gamma \)-type functions.
To begin with, let us first recall the asymptotic expansion of the log-gamma function (see, e.g., Gel’fond [39, p. 342] and Srivastava and Choi [93, p. 7]).
Proposition 8.34
For any \(q\in \mathbb {N}^*\) , we have the following asymptotic expansion as x →∞
For instance, setting q = 4 in equation (8.17), we obtain
We now provide a generalization of this result to multiple \(\log \Gamma \)-type functions. Even more generally, in the next proposition we provide for any integer \(m\in \mathbb {N}^*\) an asymptotic expansion of the function
Proposition 8.35
-
(a)
Let g lie in \(\mathcal {C}^1\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,1\}}\) for some \(p\in \mathbb {N}\) . Then, for any \(m\in \mathbb {N}^*\) and any x > 0, we have
$$\displaystyle \begin{aligned} \frac{1}{m}\sum_{j=0}^{m-1}\Sigma g\left(x+\frac{j}{m}\right) ~=~ \int_x^{x+1}\Sigma g(t){\,}dt -\frac{1}{2m}{\,}g(x) + R_m(x){\,},{} \end{aligned}$$with
$$\displaystyle \begin{aligned} R_m(x) ~=~ \frac{1}{m}\,\int_0^1B_1(\{mt\}){\,}(\Sigma g)'(x+t){\,}dt \end{aligned}$$and
$$\displaystyle \begin{aligned} |R_m(x)| ~\leq ~ \frac{1}{2m}\,\int_0^1|(\Sigma g)'(x+t)|{\,}dt{\,}. \end{aligned}$$For large x the latter integral reduces to |g(x)|.
-
(b)
If g lie in \(\mathcal {C}^{2q}\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,2q\}}\) for some \(p\in \mathbb {N}\) and some \(q\in \mathbb {N}^*\) . Then, for any \(m\in \mathbb {N}^*\) and any x > 0, we have
with
$$\displaystyle \begin{aligned} R^q_m(x) ~=~ -\frac{1}{m^{2q}}\,\int_0^1\frac{B_{2q}(\{mt\})}{(2q)!}{\,}(\Sigma g)^{(2q)}(x+t){\,}dt \end{aligned}$$and
$$\displaystyle \begin{aligned} |R^q_m(x)| ~\leq ~ \frac{1}{m^{2q}}{\,}\frac{|B_{2q}|}{(2q)!}\,\int_0^1|(\Sigma g)^{(2q)}(x+t)|{\,}dt{\,}. \end{aligned}$$For large x the latter integral reduces to |g (2q−1)(x)|.
Proof
Let us prove assertion (b) first. The first part follows from a straightforward application of Euler-Maclaurin’s formula (Proposition 6.31) to f = Σg, with a = x, b = x + 1, and N = m. Now, we see that the function ( Σg)(2q) lies in \(\mathcal {K}^{(p-2q)_+}\) by Proposition 4.12, and hence also in \(\mathcal {K}^{-1}\) by Proposition 4.7. Thus, for sufficiently large x we obtain
By Proposition 7.7, the latter expression reduces to
Assertion (a) can be proved similarly. Here we observe that ( Σg)′ lies in \(\mathcal {K}^{(p-1)_+}\) and hence also in \(\mathcal {K}^{-1}\). Thus, for sufficiently large x we obtain
This completes the proof. □
Setting m = 1 in Proposition 8.35, we derive immediately an asymptotic expansion of the function Σg in terms of its trend and the higher order derivatives of g. As this special case is very important for the applications, we state it in the next proposition (in which we also use (8.9) to evaluate the integral of Σg on (x, x + 1)).
Proposition 8.36
The following assertions hold.
-
(a)
Let g lie in \(\mathcal {C}^1\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,1\}}\) for some \(p\in \mathbb {N}\) . Then, for any x > 0 we have
$$\displaystyle \begin{aligned} \Sigma g(x) ~=~ \sigma[g]+\int_1^xg(t){\,}dt -\frac{1}{2}{\,}g(x) + R_1(x){\,},{} \end{aligned}$$with
$$\displaystyle \begin{aligned} R_1(x) ~=~ \int_0^1B_1(t){\,}(\Sigma g)'(x+t){\,}dt \end{aligned}$$and
$$\displaystyle \begin{aligned} |R_1(x)| ~\leq ~ \frac{1}{2}\,\int_0^1|(\Sigma g)'(x+t)|{\,}dt{\,}. \end{aligned}$$For large x the latter integral reduces to |g(x)|.
-
(b)
If g lie in \(\mathcal {C}^{2q}\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,2q\}}\) for some \(p\in \mathbb {N}\) and some \(q\in \mathbb {N}^*\) . Then, for any x > 0 we have
$$\displaystyle \begin{aligned} \Sigma g(x) ~=~ \sigma[g]+\int_1^xg(t){\,}dt -\frac{1}{2}{\,}g(x)+\sum_{k=1}^q\frac{B_{2k}}{(2k)!}{\,}g^{(2k-1)}(x) + R^q_1(x){\,}, \end{aligned} $$(8.19)with
$$\displaystyle \begin{aligned} R^q_1(x) ~=~ -\int_0^1\frac{B_{2q}(t)}{(2q)!}{\,}(\Sigma g)^{(2q)}(x+t){\,}dt \end{aligned}$$and
$$\displaystyle \begin{aligned} |R^q_1(x)| ~\leq ~ \frac{|B_{2q}|}{(2q)!}\,\int_0^1|(\Sigma g)^{(2q)}(x+t)|{\,}dt{\,}. \end{aligned}$$For large x the latter integral reduces to |g (2q−1)(x)|.
Example 8.37
Taking \(g(x)=\ln x\) and p = 1 in (8.19), we retrieve immediately the asymptotic expansion given in (8.17). The following equivalent, but more concise, formulation of this expansion is given in terms of Binet’s function. For any \(q\in \mathbb {N}^*\), we have
♢
Remark 8.38
The following alternative asymptotic expansion of the Riemann sum (8.18) can be immediately obtained using the general form of Gregory’s formula (Proposition 6.30). If g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) and if it is q-convex or q-concave on [x, ∞) for every integer q ≥ p, then we have
where
(Compare with Proposition 8.30.) If we set m = 1 in this latter expansion, then we immediately retrieve the inequality of Lemma 8.10 as well as the Gregory formula-based series expression for Σg given in (8.4). It is then important to note that the asymptotic expansion (8.19) often leads to divergent series, contrary to its “cousin” formula (8.4), as already observed in Remark 6.32. For instance, setting x = 1 in (8.17) leads to a divergent series whereas setting x = 1 in the “cousin” formula (8.6) leads to an analogue of Fontana-Mascheroni’s series. In this regard, we observe that the Gregory coefficients have the asymptotic behavior
while the Bernoulli numbers satisfy
see, e.g., Graham et al. [41, p. 286]. \(\lozenge \)
A Variant of the Generalized Stirling Formula
Interestingly, from Proposition 8.35 we can easily derive the following variant of the generalized Stirling formula.
Proposition 8.39 (A Variant of the Generalized Stirling Formula)
Let g lie in \(\mathcal {C}^{2q}\cap \mathcal {D}^p\cap \mathcal {K}^{2q}\) for some \(q\in \mathbb {N}^*\cup \{\frac {1}{2}\}\) and some \(p\in \mathbb {N}\) satisfying p ≤ 2q − 1. For any \(m\in \mathbb {N}^*\) we have
In particular,
Proof
For every k ∈{p, …, 2q} we clearly have that g lies in \(\mathcal {D}^k\cap \mathcal {K}^k\) and hence g (k) vanishes at infinity by Theorem 4.14(b). The result then follows from Proposition 8.35. The particular case is obtained by setting m = 1. □
It is clear that the convergence result (8.20) coincides with the generalized Stirling formula (6.21) whenever p = 0 or p = 1. Thus, it does not bring anything new in these cases.
Now, we observe that if g lies in \(\mathcal {C}^{\max \{2q,r\}}\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{2q,r\}}\) for some \(q\in \mathbb {N}^*\cup \{\frac {1}{2}\}\) and some \(p\in \mathbb {N}\) satisfying p ≤ 2q − 1, then the convergence result in (8.20) still holds if we replace g with g (r) and p with (p − r)+. Moreover, this modified result can also be obtained by differentiating r times both sides of (8.20) and then removing the terms that vanish at infinity. This important fact can be easily proved similarly as for the generalized Stirling formula (see Proposition 7.12 and the comment that follows it).
Remark 8.40
We now see that the generalized Stirling formula (6.21) could also be established similarly as its variant (8.20), i.e., using the Gregory formula-based asymptotic expansion of Σg as discussed in Remark 8.38. However, formula (6.21) is a very elementary consequence of Lemma 2.7, as commented in Remark 6.16. Its proof is elementary, elegant, and leads to the whole Theorem 6.11, which is a strong result that also provides inequalities. \(\lozenge \)
The restriction of the limit (8.20) to the natural integers provides the following alternative formula to compute the asymptotic constant σ[g]. Under the assumptions of Proposition 8.39, we have
Analogue of Liu’s Formula
Liu [64] (see also Mortici [75]) established the following formula. For any \(n\in \mathbb {N}^*\) we have
This formula provides an exact (as opposed to asymptotic) expression for the gamma function with an integer argument.
We now propose a generalization of this identity to multiple \(\log \Gamma \)-type functions with real arguments. We call it the generalized Liu formula. Recall first the following Dirichlet test for convergence of improper integrals (see, e.g., Titchmarsh [96, p. 21]).
Lemma 8.41 (Dirichlet’s Test)
Let a ≥ 0 and let \(f\colon \mathbb {R}_+\to \mathbb {R}\) be so that the function \(x\mapsto \int _a^x f(t){\,}dt\) is bounded on [a, ∞). Let also g lie in \(\mathcal {C}^1\cap \mathcal {D}^0\cap \mathcal {K}^0\) . Then the improper integral
converges.
Proposition 8.42 (Generalized Liu’s Formula)
-
(a)
If g lies in \(\mathcal {C}^2\cap \mathcal {D}^1\cap \mathcal {K}^2\) , then for any x > 0 we have
$$\displaystyle \begin{aligned} \Sigma g(x) ~=~ \sigma[g]+\int_1^x g(t){\,}dt -\frac{1}{2}{\,}g(x)+\int_0^{\infty}\textstyle{\left(\frac{1}{2}-\{t\}\right)g'(x+t){\,}dt}. \end{aligned}$$ -
(b)
If g lies in \(\mathcal {C}^{2q+1}\cap \mathcal {D}^{2q}\cap \mathcal {K}^{2q+1}\) for some \(q\in \mathbb {N}^*\) , then for any x > 0 we have
$$\displaystyle \begin{aligned} \begin{array}{rcl} \Sigma g(x) & =&\displaystyle \sigma[g]+\int_1^x g(t){\,}dt -\frac{1}{2}{\,}g(x)+\sum_{k=1}^q\frac{B_{2k}}{(2k)!}{\,}g^{(2k-1)}(x)\\ & &\displaystyle + \int_0^{\infty}\frac{B_{2q}(\{t\})}{(2q)!}{\,}g^{(2q)}(x+t){\,}dt. \end{array} \end{aligned} $$
Proof
Let us prove assertion (b) first. We apply assertion (b) of Proposition 8.36 to the function g with p = 2q. Thus, for any x > 0 and any \(n\in \mathbb {N}\) we have
By Proposition 7.7, we have
and hence we obtain
where
Now, we observe that the sequence \(n\mapsto S^q_n(x)\) converges by Dirichlet’s test (see Lemma 8.41). Indeed, g (2q) lies in \(\mathcal {C}^1\cap \mathcal {D}^0\cap \mathcal {K}^0\) by Proposition 4.12, and for every u ≥ x we have that
where we have used the well-known fact that the integral on (0, 1) of the Bernoulli polynomial B 2q is zero.
Let us now show that the sequence \(n\mapsto T^q_n(x)\) approaches zero as n →∞. Using integration by parts, we obtain
Since ( Σg)(2q+1) lies in \(\mathcal {K}^{-1}\), for large n we obtain
which approaches zero as n →∞ by Theorem 4.14(b). This proves assertion (b).
Assertion (a) can be proved similarly by applying assertion (a) of Proposition 8.36 to function g with p = 1. For any x > 0 and any \(n\in \mathbb {N}\) we have
where
We now see that the sequence n↦S n(x) converges by Dirichlet’s test. Moreover, the sequence n↦T n(x) approaches zero as n →∞. Indeed, using integration by parts we obtain
and we conclude the proof as in assertion (b) since g′ lies in \(\mathcal {C}^1\cap \mathcal {D}^0\cap \mathcal {K}^0\). □
Example 8.43
Let us apply assertion (a) of Proposition 8.42 to \(g(x)=\ln x\). We obtain
or equivalently,
which extends the original Liu formula to a real argument. \(\lozenge \)
Example 8.44
Applying assertion (a) of Proposition 8.42 to \(g(x)=\frac {1}{x}\), we obtain the following integral expression for the digamma function
This expression seems to be previously unknown. \(\lozenge \)
Setting x = 1 in Proposition 8.42, we immediately derive an integral representation of the asymptotic constant σ[g]. We state this observation in the following corollary.
Corollary 8.45
-
(a)
If g lies in \(\mathcal {C}^2\cap \mathcal {D}^1\cap \mathcal {K}^2\) , then we have
$$\displaystyle \begin{aligned} \sigma[g] ~=~ \frac{1}{2}{\,}g(1)+\int_1^{\infty}\textstyle{\left(\{t\}-\frac{1}{2}\right)g'(t){\,}dt}. \end{aligned}$$ -
(b)
If g lies in \(\mathcal {C}^{2q+1}\cap \mathcal {D}^{2q}\cap \mathcal {K}^{2q+1}\) for some \(q\in \mathbb {N}^*\) , then we have
$$\displaystyle \begin{aligned} \sigma[g] ~=~ \frac{1}{2}{\,}g(1)-\sum_{k=1}^q\frac{B_{2k}}{(2k)!}{\,}g^{(2k-1)}(1) - \int_1^{\infty}\frac{B_{2q}(\{t\})}{(2q)!}{\,}g^{(2q)}(t){\,}dt. \end{aligned}$$
Remark 8.46
Proposition 8.42 and Corollary 8.45 enable one to evaluate certain improper integrals involving polynomial functions of the fractional part of the integration variable. For example, to establish the identity
(Srivastava and Choi [93, p. 600, Problem 11]), we simply use assertion (a) of Corollary 8.45 with \(g(x)=\frac {1}{2}\ln (2x+1)\). In this case, we have
and the integral is simply equal to \(\sigma [g]-\frac {1}{2} g(1)\). \(\lozenge \)
Remark 8.47
In Proposition 8.42, we could substitute σ[g] from its expression given in Corollary 8.45. But then, the restriction to the natural integers of the resulting formulas will simply reduce to the application of Euler-Maclaurin’s formula (Proposition 6.31) to g, with a = 1, b = n, h = 1, and N = n − 1. \(\lozenge \)
8.8 Analogue of Wallis’s Product Formula
In the following proposition, we recall one of the different versions of Wallis’s product formula (see, e.g., Finch [37, p. 21]).
Proposition 8.48 (Wallis’s Product Formula)
The following limit holds
In the additive notation, identity (8.22) becomes
The following proposition gives an analogue of this latter formula for any function g lying in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\).
Proposition 8.49
Let g lie in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Let \(\tilde {g}\colon \mathbb {R}_+\to \mathbb {R}\) be the function defined by the equation \(\tilde {g}(x)=2{\,}g(2x)\) for x > 0. Let also \(h\colon \mathbb {N}^*\to \mathbb {R}\) be the sequence defined by the equation
Then we have
Proof
The function \(\tilde {g}\) lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) by Corollary 4.21. By (5.2), for any \(n\in \mathbb {N}^*\) we thus have
Using the discrete version of the generalized Stirling formula (8.11), we get
and
This establishes the claimed formula. □
Formula (8.23) actually holds for infinitely many sequences n↦h(n). Indeed, if it holds for a sequence h(n), then it also holds for instance for the sequence h(n) + n −q for any \(q\in \mathbb {N}^*\). Thus, to obtain an elegant analogue of Wallis’s product formula, it is advisable to choose h among the simplest functions. For instance, we could consider the sequence obtained from the series expansion for h(n) about infinity after removing all the summands that vanish at infinity.
Example 8.50
Let us apply Proposition 8.49 to \(g(x)=\ln x\) with p = 1. We obtain
Replacing h(n) with \(\frac {1}{2}\ln (\pi n)\) in (8.23) as recommended above, we retrieve the original Wallis product formula (8.22). \(\lozenge \)
Example 8.51
Let us apply Proposition 8.49 to the harmonic number function g(x) = H x with p = 1. After a bit of calculus we get
We then obtain the following analogue of Wallis’s product formula
which provides an alternative definition of Euler’s constant γ. \(\lozenge \)
Example 8.52
Let us apply Proposition 8.49 to the harmonic number function of order 2
with p = 1. After some algebra we obtain the following analogue of Wallis’s product formula
♢
Remark 8.53
Alternative sequences for h(n) may be considered in Proposition 8.49. For instance, if g lies in \(\mathcal {C}^0\cap \mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\), then it is easy to see that
where \(\tilde {g}\colon \mathbb {R}_+\to \mathbb {R}\) is the function defined by the equation \(\tilde {g}(x)=\Delta g(2x-1)\) for x > 0. Thus, assuming that \(\tilde {g}\) lies in \(\mathcal {K}^0\), identity (8.23) also holds for
Similarly, we can easily see that
where \(\tilde {g}\colon \mathbb {R}_+\to \mathbb {R}\) is the function defined by the equation \(\tilde {g}(x)=\Delta g(2x)\) for x > 0. Thus, assuming again that \(\tilde {g}\) lies in \(\mathcal {K}^0\), identity (8.23) also holds for
It is clear that the most appropriate function h among these possibilities strongly depends on the form of the function g. \(\lozenge \)
Remark 8.54
Using summation by parts with the classical indefinite sum operator (see, e.g., Graham et al. [41, p. 55]), it is not difficult to show that
(provided both sides exist). More generally, for any \(m\in \mathbb {N}^*\), we can show that
For instance, using (8.24) we obtain
As this example demonstrates, formula (8.24) can sometimes be very useful in Proposition 8.49 for the computation of \(\sigma [\tilde {g}]\). \(\lozenge \)
8.9 Analogue of Euler’s Reflection Formula
Recall that the identity
holds for any \(z\in \mathbb {C}\setminus \mathbb {Z}\). This identity, known by the name Euler’s reflection formula (see, e.g., Artin [11, p. 26] and Srivastava and Choi [93, p. 3]), can be proved for instance using the Weierstrassian form of the gamma function.
Motivated by this and similar examples, it is then natural to wonder if an analogue of Euler’s reflection formula holds for any multiple \(\log \Gamma \)-type function, at least on \(\mathbb {R}\setminus \mathbb {Z}\), or even on the interval (0, 1). However, this question seems rather difficult and reflection formulas as beautiful as (8.25) are relatively exceptional.
Now, if we logarithmically differentiate both sides of (8.25), we obtain the following reflection formula for the digamma function (see [93, p. 25])
Using an appropriate integration, we also obtain the following reflection formula for the Barnes G-function (see [93, p. 45])
These and other examples show that the reflection formulas usually share a common pattern. Their right sides typically include 1-periodic functions or integrals of 1-periodic functions while their left sides are of one the following forms
for some appropriate functions g.
In this section, we investigate this important topic in the light of our theory. To get straight to the point, we have not found an analogue of Euler’s reflection formula that is systematically applicable to any multiple \(\log \Gamma \)-type function. We nevertheless present a few interesting results that could hopefully be the starting point of a larger theory.
First of all, due to the presence of the arguments x and 1 − x in most of the reflection formulas, it is important to see how the domain of the functions considered in this work can be extended to a larger set. Since many functions g involved in the difference equation Δf = g have singularities at 0 (e.g., \(g(x)=\frac {1}{x}\)), we suggest extending the domain of all these functions to the set \(\mathbb {R}\setminus \{0\}\). Due to the nature of the difference operator Δ, any solution f is then required to be defined on \(\mathbb {R}\setminus (-\mathbb {N})\). The domains of many other associated functions and identities of this theory can be extended likewise. For instance, for any \(p\in \mathbb {N}\) and any \(n\in \mathbb {N}^*\), the domain of the function \(f_n^p[g]\) defined in (1.4) can be extended to \(\mathbb {R}\setminus (-\mathbb {N})\). Similarly, for any \(p\in \mathbb {N}\) and any \(a\in \mathbb {R}\setminus \{0\}\), the domain of the function \(\rho _a^p[g]\) defined in (1.7) can be extended to \(\mathbb {R}\setminus \{-a\}\).
We now have the following important result.
Lemma 8.55
Let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be a function whose restriction \(g|{ }_{\mathbb {R}_+}\) to \(\mathbb {R}_+\) lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Then, there exists a unique function \(f\colon \mathbb {R}\setminus (-\mathbb {N})\to \mathbb {R}\) such that Δf = g and \(f|{ }_{\mathbb {R}_+}=\Sigma (g|{ }_{\mathbb {R}_+})\) . Moreover,
Proof
For any \(m\in \mathbb {N}\) and any solution \(f\colon \mathbb {R}\setminus (-\mathbb {N})\to \mathbb {R}\) to the equation Δf = g, we must have
This clearly establishes the first part of the lemma.
Let us now prove that for any \(x\in \mathbb {R}_+\setminus \mathbb {N}\) and any integers 0 ≤ m ≤ n we have
On the one hand, for j = 1, …, p, we have
and hence using (1.7) we obtain
On the other hand, using this latter identity and subtracting the right side of (8.29) from the left side, using (1.4) we obtain
which is identically zero. This establishes (8.29).
Let us now show that the sequence \(n\mapsto \rho ^p_n[g](x-k)\) converges to zero for any \(x\in \mathbb {R}_+\setminus \mathbb {N}\) and any \(k\in \mathbb {N}\). By (2.12) it is actually enough to show that the sequence
converges to zero. However, by Lemma 2.5 this latter sequence can be sandwiched between the sequences
and
which both converge to zero by (2.12).
Finally, let \(f\colon \mathbb {R}\setminus (-\mathbb {N})\to \mathbb {R}\) be the unique function defined in the first part of this lemma. Using (8.28) and (8.29), since g lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) we obtain
which establishes the second part of the lemma. □
Lemma 8.55 shows that the domain of the function Σg can be extended to \(\mathbb {R}\setminus (-\mathbb {N})\) whenever g is defined on \(\mathbb {R}\setminus \{0\}\). We then use the same symbol Σg for this extended function. Moreover, in this case we have
and the Eulerian form (8.1) of Σg extends similarly. Actually, when g is a function of a complex variable, Lemma 8.55 can be easily adapted to extend the function Σg to an appropriate complex domain.
Let us now establish reflection formulas on \(\mathbb {R}\setminus \mathbb {Z}\) for functions Σg when the restriction of g to \(\mathbb {R}_+\) lies in \(\mathcal {D}^0\cap \mathcal {K}^0\). The result is presented in the following two propositions, which deal separately with the cases when \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is odd or even. The proofs of these propositions are similar and we therefore omit the second one.
Proposition 8.56
Let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be such that \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {D}^0\cap \mathcal {K}^0\) and let \(\omega \colon \mathbb {R}\setminus \mathbb {Z}\to \mathbb {R}\) be the function defined by the equation
Then the following assertions are equivalent.
-
(i)
The function \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is odd.
-
(ii)
The function ω is 1-periodic.
-
(iii)
We have that \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) vanishes at −∞ and
$$\displaystyle \begin{aligned} \omega(x) ~=~ \lim_{N\to\infty}\sum_{|k|\leq N}g(x+k),\qquad x\in\mathbb{R}\setminus\mathbb{Z}. \end{aligned}$$
Proof
The equivalence (i) ⇔ (ii) is trivial since Δω(x) = g(x) + g(−x). Let us prove the implication (iii) ⇒ (ii). We have
Finally, let us prove the implication (i) ⇒ (iii). Using Lemma 8.55 we obtain
This completes the proof. □
Proposition 8.57
Let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be such that \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {D}^0\cap \mathcal {K}^0\) and let \(\omega \colon \mathbb {R}\setminus \mathbb {Z}\to \mathbb {R}\) be the function defined by the equation
Then the following assertions are equivalent.
-
(i)
The function \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is even.
-
(ii)
The function ω is 1-periodic.
-
(iii)
We have that \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) vanishes at −∞ and
$$\displaystyle \begin{aligned} \omega(x) ~=~ -g(x)+\lim_{N\to\infty}\sum_{1\leq |k|\leq N}(g(k)-g(x+k)),\qquad x\in\mathbb{R}\setminus\mathbb{Z}. \end{aligned}$$
Example 8.58 (The Digamma Function)
Consider the odd function g(x) = 1∕x on \(\mathbb {R}\setminus \{0\}\) for which we have the identity Σg(x) = ψ(x) + γ (see Sect. 10.2). This identity actually holds not only on \(\mathbb {R}_+\) but also on \(\mathbb {R}\setminus (-\mathbb {N})\) since by Lemma 8.55 the digamma function ψ extends to this larger domain through the following Eulerian form (see also Srivastava and Choi [93, p. 24])
Now, using Proposition 8.56 we immediately obtain the identity
where the right-hand function is 1-periodic. Finally, it can be proved (see, e.g., Aigner and Ziegler [3, Chapter 26], Berndt [18, p. 4], and Graham et al. [41, Eq. (6.88)]) that this function reduces to \(-\pi \cot {}(\pi x)\). We then retrieve the reflection formula (8.26) for the digamma function. \(\lozenge \)
Example 8.59 (A Variant of the Digamma Function)
Consider the even function g(x) = 1∕|x| on \(\mathbb {R}\setminus \{0\}\). Using Lemma 8.55, we then obtain the following expression for Σg on \(\mathbb {R}\setminus (-\mathbb {N})\)
or equivalently,
where the first series reduces to ψ(x) + γ. If x > 0, then the second series is zero. If x < 0, it reduces to
Using Proposition 8.57, we then obtain that the function
is 1-periodic. Using the reflection formula for ψ, we also obtain
which provides a closed expression for this periodic function. \(\lozenge \)
Example 8.60
Consider the function \(g\colon \mathbb {R}\to \mathbb {R}\) defined by the equation
We observe that both functions g(x) and \(\tilde {g}(x)=g(-x)\) have restrictions to \(\mathbb {R}_+\) that lie in \(\mathcal {D}^0\cap \mathcal {K}^0\). However, the function g is neither even nor odd. Denoting its even and odd parts by g + and g −, respectively, we have
and we can derive a reflection formula for each of these functions.
Now, it is not difficult to see that (see Example 5.10)
Using Propositions 8.56 and 8.57, we then see that both functions
are 1-periodic. Moreover, their sum \(\Sigma g(x)+\Sigma \tilde {g}(1-x)\) is also 1-periodic. Equivalently, the function
is 1-periodic. However, we do not have a reflection formula for Σg or \(\Sigma \tilde {g}\). \(\lozenge \)
Although Propositions 8.56 and 8.57 constitute major steps in the investigation of reflection formulas, they do not provide closed-form expressions for the 1-periodic functions involved in these formulas. For instance, considering the reflection formula for the digamma function (see Example 8.58), we see that Proposition 8.56 does not yield the right-hand side of identity (8.26). Moreover, it seems that such an expression, obtained for example using Herglotz’s trick (see Aigner and Ziegler [3, Chapter 26]), is very specific to the case when g(x) = 1∕x. Now, finding a closed-form expression in the general case remains a very interesting open problem: such a result would provide an analogue of Euler’s reflection formula for a wide class of functions. In this regard, we observe that Herglotz’s trick uses an analogue of Legendre’s duplication formula in the additive notation. Thus, a suitable adaptation of this trick could be helpful to tackle this problem.
Let us now investigate the more general case when the function \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). We observe that some reflection formulas can be obtained by integrating or differentiating both sides of a given reflection formula. Thus, if \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {C}^1\cap \mathcal {D}^1\cap \mathcal {K}^1\) for instance, we know from Proposition 4.12 that \(g'|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {C}^0\cap \mathcal {D}^0\cap \mathcal {K}^0\) and we may try to find a reflection formula for Σg′ using Propositions 8.56 and 8.57. Since Σg′ and ( Σg)′ differ by a constant by Proposition 7.7, a reflection formula for Σg can then be obtained by integrating both sides of the reflection formula for Σg′. This approach is inspired from the elevator method (as discussed in Sect. 7.3).
For instance, integrating both sides of (8.26) on \((\frac {1}{2},x)\), where \(\frac {1}{2}<x<1\), we get the identity
Thus, we retrieve Euler’s reflection formula on the interval \((\frac {1}{2},x)\) and this formula can be extended to the complex domain \(\mathbb {C}\setminus \mathbb {Z}\) by analytic continuation. The identity (8.27) can be obtained similarly, observing that
Now, let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be a function such that \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\). Let also \(\omega _+[g]\colon \mathbb {R}\setminus \mathbb {Z}\to \mathbb {R}\) and \(\omega _-[g]\colon \mathbb {R}\setminus \mathbb {Z}\to \mathbb {R}\) be the functions defined by the equation
We then observe that
It follows that ω + (resp. ω −) is 1-periodic if and only if \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is even (resp. odd).
The following proposition provides an explicit expression for the function ω ±[g] whenever it is 1-periodic. This expression is constructed from the very definition of Σg.
Proposition 8.61
Let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be such that \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {D}^p\cap \mathcal {K}^p\) for some \(p\in \mathbb {N}\) . Then the following assertions hold.
-
(a)
If \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is odd, then the function ω −[g] is 1-periodic and is equal to
$$\displaystyle \begin{aligned} \lim_{n\to\infty}\bigg(-\sum_{|k|\leq n-1}g(x+k)-g(x-n) +\sum_{j=1}^p\left({\textstyle{{{x}\choose{j}}}}-{\textstyle{{{1-x}\choose{j}}}}\right)\Delta^{j-1}g(n)\bigg). \end{aligned}$$ -
(b)
If \(g|{ }_{\mathbb {R}\setminus \mathbb {Z}}\) is even, then the function ω +[g] is 1-periodic and is equal to
$$\displaystyle \begin{aligned}\displaystyle \lim_{n\to\infty}\bigg(-g(x)+\sum_{1\leq |k|\leq n-1}(g(k)-g(x+k))\\\displaystyle -g(x-n)+\sum_{j=1}^p\left({\textstyle{{{x}\choose{j}}}}+{\textstyle{{{1-x}\choose{j}}}}\right)\Delta^{j-1}g(n)\bigg). \end{aligned} $$
Proof
Let us prove assertion (a). That ω −[g] is 1-periodic is clear from the discussion above. Now, using Lemma 8.55 we obtain
This proves assertion (a). Assertion (b) can be established similarly. □
Example 8.62
Consider the odd function \(g\colon \mathbb {R}\to \mathbb {R}\) defined by the equation
The function \(g|{ }_{\mathbb {R}_+}\) clearly lies in \(\mathcal {D}^2\cap \mathcal {K}^2\) and we have (see Example 5.10)
By Proposition 8.61, the function
is 1-periodic and is equal to the limit
where h(x) = g(x) − x. \(\lozenge \)
Example 8.63 (Euler’s Reflection Formula)
Consider the even function \(g\colon \mathbb {R}\setminus \{0\}\) defined by the equation \(g(x) = \ln |x|\) for \(x\in \mathbb {R}\setminus \{0\}\). The function \(g|{ }_{\mathbb {R}_+}\) clearly lies in \(\mathcal {D}^1\cap \mathcal {K}^1\) and, since \(\Delta _x\ln |\Gamma (x)|=\ln |x|\) on \(\mathbb {R}\setminus (-\mathbb {N})\), we must have
By Proposition 8.61, the function | Γ(x) Γ(1 − x)| on \(\mathbb {R}\setminus \mathbb {Z}\) is 1-periodic and is equal to
Euler’s reflection formula then shows that this limit is also \(|\pi \csc {}(\pi x)|\), as expected (see Artin [11, p. 27]). \(\lozenge \)
Remark 8.64
We observe the following interesting link between the analogue of Euler’s reflection formula and the logarithm of the generalized Stirling constant (see Definition 6.17). Let \(g\colon \mathbb {R}\setminus \{0\}\to \mathbb {R}\) be an even function such that \(g|{ }_{\mathbb {R}_+}\) lies in \(\mathcal {C}^0\cap \mathrm {dom}(\Sigma )\). Assume also that g is integrable at 0. Then, we have
that is,
For instance, for the function \(g(x) = \ln |x|\) (see Example 8.63), we obtain
and it is not difficult to see that this expression reduces to \(\frac {1}{2}\ln (2\pi )\). \(\lozenge \)
8.10 Analogue of Gauss’ Digamma Theorem
The following formula, due to Gauss, enables one to compute the values of the digamma function ψ for rational arguments. If \(a,b\in \mathbb {N}^*\) with a < b, then we have
(see, e.g., Knuth [53, p. 95] and Srivastava and Choi [93, p. 30]). This formula can be extended to all integers \(a,b\in \mathbb {N}^*\) by means of the difference equation ψ(x + 1) − ψ(x) = 1∕x.
For instance, we have
It is natural to wonder if an analogue of formula (8.30) holds for any multiple \(\log \Gamma \)-type function. Finding an analogue as beautiful as this formula seems to be hard. However, we have the following partial result.
Proposition 8.65
Let \(g\in \mathcal {D}^0\cap \mathcal {K}^0\) and let \(a,b\in \mathbb {N}^*\) with a < b. Then
where
Proof
By definition of the map Σ, we have
where u b(k) = 1, if b divides k, and u b(k) = 0, otherwise; that is,
This completes the proof. □
Proposition 8.65 provides a first step in the search for an explicit expression for \(\Sigma g(\frac {a}{b})\). Depending upon the function g, more computations may be necessary to obtain a useful expression. In this respect, the derivation of formula (8.30) by means of Proposition 8.65 can be found in Marichal [66, p. 13].
Example 8.66
Let us apply Proposition 8.65 to the function g s(x) = −x −s, where s > 1. This function lies in \(\mathcal {D}^0\cap \mathcal {K}^0\) and we have Σg s(x) = ζ(s, x) − ζ(s); see Example 1.7. Let \(a,b\in \mathbb {N}^*\) with a < b. For j = 0, …, b − 1, we then have
where
is the polylogarithm function. Using Proposition 8.65, we then obtain
The inverse conversion formula is simply given by
♢
8.11 Generalized Gautschi’s Inequality
Gautschi [38] showed that the following double inequality holds for any 0 ≤ a ≤ 1
As a consequence, since \(\psi (x)<\ln x\) for any x > 0, he also obtained that
which is also a straightforward consequence of the Wendel inequality (6.5). We refer to these inequalities as the Gautschi inequality.
We now provide an analogue of Gautschi’s inequality for certain multiple \(\log \Gamma \)-type functions and for any a ≥ 0. We call it the generalized Gautschi’s inequality. As usual, we use the additive notation.
Proposition 8.67 (Generalized Gautschi’s Inequality)
Suppose that g lie in \(\mathcal {C}^2\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,2\}}\) for some \(p\in \mathbb {N}\) and let a ≥ 0 and x > 0 be so that Σg is convex on [x + ⌊a⌋, ∞). Then we have
(The inequalities are to be reversed if Σg is concave on [x + ⌊a⌋, ∞).)
Proof
We follow the same steps as in Gautschi’s proof. We can assume that k ≤ a < k + 1 for some fixed \(k\in \mathbb {N}\). Let x > 0 be fixed so that Σg is convex on [x + k, ∞). Let also \(f\colon [k,k+1)\to \mathbb {R}\) and \(\varphi \colon [k,k+1)\to \mathbb {R}\) be the functions defined by the equations
and
for k ≤ a < k + 1. We then observe that
It then follows that
and
We also have
where
Since Σg is convex on [x + k, ∞), its derivative is increasing on [x + k, ∞), and hence we must have φ(k) ≤ 0 and φ′(a) ≥ 0. Since φ(k + 1) = 0, it follows that the function φ is nonpositive and hence that the function f is decreasing. Using L’Hospital’s rule and the fact that φ(k) ≤ 0, we then obtain the following chain of inequalities
This proves the result. □
Example 8.68
Applying Proposition 8.67 to \(g(x)=\ln x\) and p = 1, we obtain for any a ≥ 0 and any x > 0
If we assume that 0 ≤ a ≤ 1, then we retrieve the original Gautschi inequality. \(\lozenge \)
Remark 8.69
If we wish to bracket the function Σg(x + a) − Σg(x + 1) in Proposition 8.67, we can use the identity
which immediately follows from (5.3). For instance, for \(g(x)=\ln x\) we obtain the double inequality
which holds for any a ≥ 0 and any x > 0. \(\lozenge \)
We end this section with the following corollary, which is obtained by integrating on a ∈ (0, 1) the expressions in the generalized Gautschi inequality (Proposition 8.67).
Corollary 8.70
Suppose that g lie in \(\mathcal {C}^2\cap \mathcal {D}^p\cap \mathcal {K}^{\max \{p,2\}}\) and let x > 0 be so that Σg is convex on [x, ∞). Then we have
(The inequalities are to be reversed if Σg is concave on [x, ∞).) In particular, the following assertions hold.
-
(a)
If Σg is not eventually identically zero and if
$$\displaystyle \begin{aligned} \lim_{x\to\infty}\frac{g(x)}{\Sigma g(x)} ~=~ 0, \end{aligned} $$(8.31)then
$$\displaystyle \begin{aligned} \lim_{x\to\infty}\frac{(\Sigma g)'(x)}{\Sigma g(x)} ~=~ 0\qquad \mathit{\mbox{and}}\qquad \Sigma g(x) ~\sim ~ \int_x^{x+1}\Sigma g(t){\,}dt\quad \mathit{\mbox{as }}x\to\infty. \end{aligned}$$ -
(b)
If g is not eventually identically zero and if
$$\displaystyle \begin{aligned} \lim_{x\to\infty}\frac{g(x+1)}{g(x)} ~=~ 1, \end{aligned}$$then
$$\displaystyle \begin{aligned} \lim_{x\to\infty}\frac{(\Sigma g)'(x)}{g(x)} ~=~ 1\qquad \mathit{\mbox{and}}\qquad \lim_{x\to\infty}\frac{\int_x^{x+1}\Sigma g(t){\,}dt -\Sigma g(x)}{g(x)} ~=~ \frac{1}{2}{\,}. \end{aligned}$$
Proof
The inequalities are obtained by integrating on a ∈ (0, 1) the expressions in the generalized Gautschi inequality. Let us now prove assertion (a); the second one can be established similarly. If Σg is not eventually identically zero, then it eventually never vanishes since it lies in \(\mathcal {K}^0\). If condition (8.31) holds, then we must have
We then complete the proof by dividing all the expressions in the inequalities by Σg(x + 1) and letting x →∞. □
8.12 Generalized Webster’s Functional Equation
In the framework of Γ-type functions, Webster [98, Section 8] investigated the multiplicative version of the functional equation
and, more generally, of the functional equation
for any \(m\in \mathbb {N}^*\), where \(h\colon \mathbb {R}_+\to \mathbb {R}\) is a given function satisfying certain conditions.
In this section, we extend Webster’s result by considering and solving the more general equation
where a > 0 is also a given parameter. We call it the generalized Webster functional equation. For instance, we can prove that the unique monotone solution \(f\colon \mathbb {R}_+\to \mathbb {R}\) to the equation
is given by
Our general result is stated in the following theorem, a variant of which was established by Webster [98, Theorem 8.1] in the special case when p = 1 and \(a=\frac {1}{m}\).
Theorem 8.71 (Generalized Webster’s Functional Equation)
Let \(p\in \mathbb {N}\), \(m\in \mathbb {N}^*\) , a > 0, and \(h\in \mathcal {D}^q\cap \mathcal {K}^q\) for some integer q ≥ p. Define also the function \(h_a\colon \mathbb {R}_+\to \mathbb {R}\) by the equation
If Δh a lies in \(\mathcal {D}^p\cap \mathcal {K}^p_+\cap \mathcal {K}^q\) (resp. \(\mathcal {D}^p\cap \mathcal {K}^p_-\cap \mathcal {K}^q\) ), then there is a unique solution to equation (8.32) lying in \(\mathcal {K}^p\) , namely
Moreover, this solution lies in \(\mathcal {K}^p_-\) (resp. \(\mathcal {K}^p_+\) ).
Proof
Suppose for instance that Δh a lies in \(\mathcal {D}^p\cap \mathcal {K}^p_+\cap \mathcal {K}^q\) and let \(g_a^m\colon \mathbb {R}_+\to \mathbb {R}\) be defined by the equation \(g_a^m(x)=\Delta h_a(mx)\) for x > 0. By Corollary 4.21, the function \(g_a^m\) lies in \(\mathcal {D}^p\cap \mathcal {K}^p_+\cap \mathcal {K}^q\). Suppose that \(f\colon \mathbb {R}_+\to \mathbb {R}\) is a solution to equation (8.32). Then necessarily
If f lies in \(\mathcal {K}^p\), then by the uniqueness and existence theorems we have that
and f must lie in \(\mathcal {K}^p_-\). Since both \(g_a^m\) and h lie in \(\mathcal {D}^q\cap \mathcal {K}^q\), by Propositions 5.7 and 5.8 we then have
or equivalently,
for some \(c\in \mathbb {R}\). But the function f specified by (8.33) satisfies (8.32) if and only if c = 0; indeed, we then have
This completes the proof. □
Example 8.72
Theorem 8.71 shows that the unique eventually monotone or eventually log-convex solution to the functional equation
is the function
This result was established by Thielman [95] (see also Anastassiadis [5]). The special case when p = 1 was previously shown by Mayer [70]. \(\lozenge \)
Combining both Theorems 8.27 and 8.71, we can derive immediately the following corollary, which in a sense provides yet another characterization of multiple Γ-type functions. For a similar result on the gamma function, see Artin [11, p. 35].
Corollary 8.73
Let \(p\in \mathbb {N}\), \(m\in \mathbb {N}^*\) , and \(g\in \mathcal {D}^p\cap \mathcal {K}^{p+1}\) . Define also the function \(g_m\colon \mathbb {R}_+\to \mathbb {R}\) by the equation \(g_m(x)=g(\frac {x}{m})\) for x > 0. Then the function f = Σg is the unique solution lying in \(\mathcal {K}^p\) to the equation
Example 8.74
For any \(m\in \mathbb {N}^*\) the gamma function is the unique log-convex solution \(f\colon \mathbb {R}_+\to \mathbb {R}_+\) to the equation
Equivalently, for any \(m\in \mathbb {N}^*\) the gamma function is the unique log-convex solution \(f\colon \mathbb {R}_+\to \mathbb {R}_+\) to the equation
♢
References
M. Aigner and G. M. Ziegler. Proofs from the Book. Sixth edition. Springer, Berlin, 2018.
J. Anastassiadis. Remarques sur quelques équations fonctionnelles. (French). C. R. Acad. Sci. Paris, 250:2663–2665, 1960.
E. Artin. The gamma function. Dover Books on Mathematics. Dover Publications Inc., New York, 2015.
B. C. Berndt. Chapter 8 of Ramanujan’s second notebook. J. Reine Angew. Math., 338:1–55, 1983.
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 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.
H. Cohen and E. Friedman. Raabe’s formula for p-adic gamma and zeta functions. Ann. Inst. Fourier (Grenoble), 58(1):363–376, 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.
W. Gautschi. Some elementary inequalities relating to the gamma and incomplete gamma function. J. Math. and Phys., 38:77–81, 1959/60.
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. 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.
F. John. Special solutions of certain difference equations. Acta Math., 71:175–189, 1939.
D. E. Knuth. The Art of computer programming. Volume 1: Fundamental algorithms. 3rd edition. Addison-Wesley, Bonn, Germany, 1997.
Z. Liu. A new version of the Stirling formula. Tamsui Oxf. J. Math. Sci., 23(4):389–392, 2007.
J.-L. Marichal. On indefinite sums weighted by periodic sequences. Results Math., 74(3), Paper No. 95, 15 pp., 2019.
A. E. Mayer. Konvexe Lösung der Funktionalgleichung 1∕f(x + 1) = xf(x). (German). Acta Math., 70(1):57–62, 1939.
D. Merlini, R. Sprugnoli, M. C. Verri. The Cauchy numbers. Discrete Mathematics, 306:1906–1920, 2006.
C. Mortici. A class of integral approximations for the factorial function. Comput. Math. Appl., 59(6):2053–2058, 2010.
N. J. A. Sloane (editor). The on-line encyclopedia of integer sequences. http://www.oeis.org
H. M. Srivastava and J. Choi. Zeta and q-zeta functions and associated series and integrals. Elsevier, Inc., Amsterdam, 2012.
H. P. Thielman. On the convex solution of a certain functional equation. Bull. Amer. Math. Soc., 47:118–120, 1941.
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.
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). Further Results. 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_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-95088-0_8
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)