Increasing property and logarithmic convexity of functions involving Dirichlet lambda function

Feng Qi; Dongkyu Lim

doi:10.1515/dema-2022-0243

Open Access Published by De Gruyter Open Access July 29, 2023

Increasing property and logarithmic convexity of functions involving Dirichlet lambda function

Feng Qi and Dongkyu Lim

From the journal Demonstratio Mathematica

https://doi.org/10.1515/dema-2022-0243

Abstract

In this article, with the help of an integral representation of the Dirichlet lambda function, by means of a monotonicity rule for the ratio of two integrals with a parameter, and by virtue of complete monotonicity and another property of an elementary function involving the exponential function, the authors find increasing property and logarithmic convexity of two functions containing the gamma function and the Dirichlet lambda function.

Keywords: Dirichlet lambda function; increasing property; logarithmic convexity; integral representation; complete monotonicity; monotonicity rule; gamma function; exponential function; zeta function

MSC 2010: Primary 11M41; Secondary 11M06; 26A48; 26A51; 33B10; 33B15; 44A10

1 Motivations and main results

In this article, we use the following notation:

Z = { 0 , ± 1 , ± 2 , … } , N = { 1 , 2 , … } , N 0 = { 0 , 1 , 2 , … } , N − = { − 1 , − 2 , … } .

According to [1, Fact 13.3], for complex number z ∈ C such that ℜ ( z ) > 1 , the Riemann zeta function ζ ( z ) can be defined by

(1.1) ζ ( z ) = ∑ k = 1 ∞ 1 k z = 1 1 − 2 − z ∑ k = 1 ∞ 1 ( 2 k − 1 ) z = 1 1 − 2 1 − z ∑ k = 1 ∞ ( − 1 ) k − 1 1 k z .

In [2, Section 3.5], the analytic continuation of the Riemann zeta function ζ ( z ) into the punctured complex plane C \ { 1 } is discussed: the only singularity z = 1 is a simple pole with residue 1.

Viewing from a subseries of the first definition in (1.1) of the Riemann zeta function ζ ( z ) , or basing on the second definition in (1.1), one considers the Dirichlet lambda function

λ ( z ) = 1 − 1 2 z ζ ( z ) = ∑ n = 0 ∞ 1 ( 2 n + 1 ) z , ℜ ( z ) > 1 .

This lambda function λ ( z ) has an integral representation

(1.2) λ ( z ) = 1 Γ ( z ) ∫ 0 ∞ t z − 1 e t − e − t d t , ℜ ( z ) > 1

in [3, p. 1046, 9.513.2] and [4, p. 604, 25.5.8], where the classical Euler gamma function Γ ( z ) can be defined by

Γ ( z ) = lim n → ∞ n ! n z ∏ k = 0 n ( z + k ) , z ∈ C \ { 0 , − 1 , − 2 , … } .

For more information and recent developments of the gamma function Γ ( z ) and its logarithmic derivatives ψ ( n ) ( z ) for n ∈ N 0 , please refer to [2, Chapter 3] and [5, Chapter 6].

In 2009, Cerone and Dragomir [6] established many inequalities and properties for the Riemann eta function ζ ( x ) and the Dirichlet lambda function λ ( x ) . In 2010, Zhu and Hua [7] presented that the sequence λ ( n ) for n ∈ N is decreasing. In [8–10], Qi used this decreasing property of λ ( n ) to establish a double inequality and monotonicity of the ratio ∣ B 2 ( n + 1 ) ∣ ∣ B 2 n ∣ for n ∈ N , where the Bernoulli numbers B 2 n for n ∈ N 0 are generated by

z e z − 1 = ∑ n = 0 ∞ B n z n n ! = 1 − z 2 + ∑ n = 1 ∞ B 2 n z 2 n ( 2 n ) ! , ∣ z ∣ < 2 π .

In 2020, Yang and Tian [11] used some properties of the Riemann zeta function ζ ( z ) and Zhu [12] used once the monotonicity of the sequence λ ( n ) to extend and sharpen the double inequality discovered in [8,9]. In 2019, Hu and Kim [13] obtained a number of infinite families of linear recurrence relations and convolution identities for the Dirichlet lambda function λ ( 2 n ) for n ∈ N .

In this article, we consider

the function
(1.3) x ↦ x + α + ℓ α λ ( x + α ) λ ( x )
and its monotonicity on ( 1 , ∞ ) , where α > 0 is a constant, ℓ ∈ N 0 ,
(1.4) z w = Γ ( z + 1 ) Γ ( w + 1 ) Γ ( z − w + 1 ) , z ∉ N − , w , z − w ∉ N − 0 , z ∉ N − , w ∈ N − or z − w ∈ N − ⟨ z ⟩ w w ! , z ∈ N − , w ∈ N 0 ⟨ z ⟩ z − w ( z − w ) ! , z , w ∈ N − , z − w ∈ N 0 0 , z , w ∈ N − , z − w ∈ N − ∞ , z ∈ N − , w ∉ Z
for z , w ∈ C denotes the extended binomial coefficient, and
⟨ β ⟩ n = ∏ k = 0 n − 1 ( β − k ) = β ( β − 1 ) ⋯ ( β − n + 1 ) , n ∈ N 1 , n = 0
is called the falling factorial of β ∈ C ;
the function Γ ( x + ℓ ) λ ( x ) for ℓ ∈ N and its logarithmic convexity on ( 1 , ∞ ) .

2 Lemmas

For proving our main results in this article, we need the following lemmas.

Lemma 2.1

([14, Theorem 2.1], [15, Theorem 2.1], and [16, Theorem 3.1]) Let ϑ ≠ 0 and θ ≠ 0 be real constants and k ∈ N . When ϑ > 0 and t ≠ − ln ϑ θ or when ϑ < 0 and t ∈ R , we have

(2.1) d k d t k 1 ϑ e θ t − 1 = ( − 1 ) k θ k ∑ p = 1 k + 1 ( p − 1 ) ! S ( k + 1 , p ) 1 ϑ e θ t − 1 p ,

where

S ( k , p ) = 1 p ! ∑ q = 1 p ( − 1 ) p − q p q q k , 1 ≤ p ≤ k

denotes the Stirling numbers of the second kind.

For detailed information on the Stirling numbers of the second kind S ( k , m ) for 1 ≤ m ≤ k , please refer to [2, pp. 18–21, Section 1.3], [5, pp. 824–825, 24.1.4], the articles [17,18], or the monograph [19] and closely related references therein.

Recall from [20, Chapter XIII], [21, Chapter 1], and [22, Chapter IV] that

a function q ( x ) is said to be completely monotonic on an interval I if it is infinitely differentiable and ( − 1 ) n q ( n ) ( x ) ≥ 0 for n ∈ N 0 on I .
a positive function q ( x ) is said to be logarithmically completely monotonic on an interval I ⊆ R if it is infinitely differentiable and its logarithm ln f ( x ) satisfies ( − 1 ) k [ ln q ( x ) ] ( k ) ≥ 0 for k ∈ N on I .

Lemma 2.2

([23, p. 98] and [24, p. 395]) If a function q ( x ) is non-identically zero and completely monotonic on ( 0 , ∞ ) , then q ( x ) and its derivatives q ( k ) ( x ) for k ∈ N are impossibly equal to 0 on ( 0 , ∞ ) .

Lemma 2.3

([25, Lemma 2.8 and Remark 6.3] and [26, Remark 7.2]) Let U ( t ) , V ( t ) > 0 , and W ( t , x ) > 0 be integrable in t ∈ ( a , b ) ,

if the ratios ∂ W ( t , x ) ∕ ∂ x W ( t , x ) and U ( t ) V ( t ) are both increasing or both decreasing in t ∈ ( a , b ) , then the ratio
R ( x ) = ∫ a b W ( t , x ) U ( t ) d t ∫ a b W ( t , x ) V ( t ) d t
is increasing in x ;
if one of the ratios ∂ W ( t , x ) ∕ ∂ x W ( t , x ) and U ( t ) V ( t ) is increasing and another one of them is decreasing in t ∈ ( a , b ) , then the ratio R ( x ) is decreasing in x.

We call Lemma 2.3 the monotonicity rule for the ratio of two integrals with a parameter.

3 Increasing property and logarithmic convexity

We are now in a position to state and prove our main results in this article.

Theorem 3.1

Let α > 0 be a constant and let ℓ ∈ N 0 . Then the function defined in (1.3) is increasing from ( 1 , ∞ ) onto ( 0 , ∞ ) . Consequently, for fixed ℓ ∈ N , the function Γ ( x + ℓ ) λ ( x ) is logarithmically convex in x ∈ ( 1 , ∞ ) .

Proof

From (2.1) in Lemma 2.1 for θ = ± ϑ = 1 , we obtain

d k d t k 1 e t ∓ 1 = ( − 1 ) k ∑ p = 1 k + 1 ( ± 1 ) p + 1 ( p − 1 ) ! S ( k + 1 , p ) 1 e t ∓ 1 p .

Hence, it follows that

d k d t k 1 e t − e − t = 1 2 d k d t k 1 e t − 1 + 1 e t + 1 = ( − 1 ) k 2 ∑ p = 1 k + 1 ( p − 1 ) ! S ( k + 1 , p ) 1 e t − 1 p − ( − 1 ) p 1 e t + 1 p .

This implies that

t k + 1 d k d t k 1 e t − e − t → ( − 1 ) k k ! 2 , t → 0 + 0 , t → ∞

for k ∈ N 0 , where we used S ( k + 1 , k + 1 ) = 1 for k ∈ N 0 .

It is immediate that

1 e t − e − t = e − t 1 − e − 2 t = ∑ k = 0 ∞ e − ( 2 k + 1 ) t ,

which implies that the function 1 e t − e − t is completely monotonic on ( 0 , ∞ ) . Further considering Lemma 2.2, we conclude that

( − 1 ) k d k d t k 1 e t − e − t > 0 , t ∈ ( 0 , ∞ ) , k ∈ N 0 .

Making use of the recurrence relation Γ ( z + 1 ) = z Γ ( z ) , using the integral representation (1.2), and integrating by parts yield

Γ ( x + α + 1 ) Γ ( x + 1 ) λ ( x + α ) λ ( x ) = Γ ( x + α + 1 ) Γ ( x + 1 ) 1 Γ ( x + α ) ∫ 0 ∞ t x + α − 1 e t − e − t d t 1 Γ ( x ) ∫ 0 ∞ t x − 1 e t − e − t d t = ( x + α ) ∫ 0 ∞ t x + α − 1 e t − e − t d t x ∫ 0 ∞ t x − 1 e t − e − t d t = ∫ 0 ∞ 1 e t − e − t ( t x + α ) t ′ d t ∫ 0 ∞ 1 e t − e − t ( t x ) t ′ d t = 1 e t − e − t t x + α t → 0 + t → ∞ − ∫ 0 ∞ 1 e t − e − t ′ t x + α d t 1 e t − e − t t x t → 0 + t → ∞ − ∫ 0 ∞ 1 e t − e − t ′ t x d t = ∫ 0 ∞ 1 e t − e − t ′ t α t x d t ∫ 0 ∞ 1 e t − e − t ′ t x d t .

Consecutively and inductively, we obtain

Γ ( x + α + ℓ ) Γ ( x + ℓ ) λ ( x + α ) λ ( x ) = ∫ 0 ∞ 1 e t − e − t ( ℓ ) t α t x + ℓ − 1 d t ∫ 0 ∞ 1 e t − e − t ( ℓ ) t x + ℓ − 1 d t , ℓ ∈ N .

Applying Lemma 2.3 to

U ( t ) = 1 e t − e − t ( ℓ ) t α , V ( t ) = 1 e t − e − t ( ℓ ) > 0 , W ( t , x ) = t x + ℓ − 1 > 0 ,

and ( a , b ) = ( 0 , ∞ ) , since U ( t ) V ( t ) = t α and ∂ W ( t , x ) ∕ ∂ x W ( t , x ) = ln t are both increasing on ( 0 , ∞ ) , we conclude that the function

∫ 0 ∞ 1 e t − e − t ( ℓ ) t α t x + ℓ − 1 d t ∫ 0 ∞ 1 e t − e − t ( ℓ ) t x + ℓ − 1 d t = Γ ( x + α + ℓ ) Γ ( x + ℓ ) λ ( x + α ) λ ( x ) = Γ ( α + 1 ) x + α + ℓ − 1 α λ ( x + α ) λ ( x )

is increasing in x ∈ ( 1 , ∞ ) for ℓ ∈ N , where we used Definition (1.4).

Because the function

Γ ( x + α + ℓ ) Γ ( x + ℓ ) λ ( x + α ) λ ( x ) = Γ ( x + α + ℓ ) λ ( x + α ) Γ ( x + ℓ ) λ ( x )

for ℓ ∈ N is increasing in x ∈ ( 0 , ∞ ) , its first derivative

Γ ( x + α + ℓ ) Γ ( x + ℓ ) λ ( x + α ) λ ( x ) ′ = Γ ( x + α + ℓ ) λ ( x + α ) Γ ( x + ℓ ) λ ( x ) ′ = [ Γ ( x + α + ℓ ) λ ( x + α ) ] ′ [ Γ ( x + ℓ ) λ ( x ) ] − [ Γ ( x + α + ℓ ) λ ( x + α ) ] [ Γ ( x + ℓ ) λ ( x ) ] ′ [ Γ ( x + ℓ ) λ ( x ) ] 2

is positive for x ∈ ( 0 , ∞ ) . Hence, we have

[ Γ ( x + α + ℓ ) λ ( x + α ) ] ′ Γ ( x + α + ℓ ) λ ( x + α ) > [ Γ ( x + ℓ ) λ ( x ) ] ′ [ Γ ( x + ℓ ) λ ( x ) ] ,

that is, the logarithmic derivative

( ln [ Γ ( x + ℓ ) λ ( x ) ] ) ′ = [ Γ ( x + ℓ ) λ ( x ) ] ′ [ Γ ( x + ℓ ) λ ( x ) ]

is increasing in x ∈ ( 0 , ∞ ) . Consequently, for ℓ ∈ N , the function Γ ( x + ℓ ) λ ( x ) is logarithmically convex in ( 1 , ∞ ) . The proof of Theorem 3.1 is complete.□

4 Conclusion

Our main results are included in Theorem 3.1. One of our main tools is Lemma 2.3. The ideas, approaches, and techniques used in this article have also been used in the articles [10,27–29]. This means that the ideas, approaches, and techniques used in this article are deep and applicable.

honest.john.china@gmail.com

# Dedicated to Professor Dr. Gradimir V. Milovanović at the Mathematical Institute of the Serbian Academy of Sciences and Arts.

Acknowledgement

The authors are thankful to anonymous referees for their careful corrections to and helpful comments on the original version of this article.

Funding information: The corresponding author, D. Lim, was supported by the National Research Foundation of Korea under Grant NRF-2021R1C1C1010902, Republic of Korea.
Author contributions: The authors have accepted responsibility for the entire content of this manuscript and approved its submission.
Conflict of interest: The authors declare that they have no conflict of competing interests.
Ethical approval: The conducted research is not related to either human or animal use.
Data availability statement: Data sharing is not applicable to this article as no datasets were generated or analyzed during this study.

References

[1] D. S. Bernstein, Scalar, Vector, and Matrix Mathematics: Theory, Facts, and Formulas, Revised and expanded edition, Princeton University Press, Princeton, NJ, 2018. 10.1515/9781400888252Search in Google Scholar

[2] N. M. Temme, Special Functions: An Introduction to Classical Functions of Mathematical Physics, A Wiley-Interscience Publication, John Wiley & Sons, Inc., New York, 1996, DOI: https://doi.org/10.1002/9781118032572. 10.1002/9781118032572Search in Google Scholar

[3] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Translated from the Russian, Translation edited and with a preface by Daniel Zwillinger and Victor Moll, Eighth edition, Revised from the seventh edition, Elsevier/Academic Press, Amsterdam, 2015, DOI: https://doi.org/10.1016/B978-0-12-384933-5.00013-8. 10.1016/B978-0-12-384933-5.00013-8Search in Google Scholar

[4] F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, New York, 2010, http://dlmf.nist.gov/. Search in Google Scholar

[5] M. Abramowitz and I. A. Stegun (Eds), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards, Applied Mathematics Series, vol. 55, 10th Printing, Washington, 1972. Search in Google Scholar

[6] P. Cerone and S. S. Dragomir, Some convexity properties of Dirichlet series with positive terms, Math. Nachr. 282 (2009), no. 7, 964–975, DOI: https://doi.org/10.1002/mana.200610783. 10.1002/mana.200610783Search in Google Scholar

[7] L. Zhu and J.-K. Hua, Sharpening the Becker-Stark inequalities, J. Inequal. Appl. 2010 (2010), Article ID 931275, 4 pages, DOI: https://doi.org/10.1155/2010/931275. 10.1155/2010/931275Search in Google Scholar

[8] F. Qi, A double inequality for the ratio of two non-zero neighbouring Bernoulli numbers, J. Comput. Appl. Math. 351 (2019), 1–5, DOI: https://doi.org/10.1016/j.cam.2018.10.049. 10.1016/j.cam.2018.10.049Search in Google Scholar

[9] F. Qi, Notes on a double inequality for ratios of any two neighbouring non-zero Bernoulli numbers, Turkish J. Anal. Number Theory 6 (2018), no. 5, 129–131, DOI: https://doi.org/10.12691/tjant-6-5-1. 10.12691/tjant-6-5-1Search in Google Scholar

[10] Y. Shuang, B.-N. Guo, and F. Qi, Logarithmic convexity and increasing property of the Bernoulli numbers and their ratios, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115 (2021), no. 3, Paper No. 135, 12 pages, DOI: https://doi.org/10.1007/s13398-021-01071-x. 10.1007/s13398-021-01071-xSearch in Google Scholar

[11] Z.-H. Yang and J.-F. Tian, Sharp bounds for the ratio of two zeta functions, J. Comput. Appl. Math. 364 (2020), 112359, 14 pages, DOI: https://doi.org/10.1016/j.cam.2019.112359. 10.1016/j.cam.2019.112359Search in Google Scholar

[12] L. Zhu, New bounds for the ratio of two adjacent even-indexed Bernoulli numbers, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114 (2020), no. 2, Paper No. 83, 13 pages, DOI: https://doi.org/10.1007/s13398-020-00814-6. 10.1007/s13398-020-00814-6Search in Google Scholar

[13] S. Hu and M.-S. Kim, On Dirichlet’s lambda function, J. Math. Anal. Appl. 478 (2019), no. 2, 952–972, DOI: https://doi.org/10.1016/j.jmaa.2019.05.061. 10.1016/j.jmaa.2019.05.061Search in Google Scholar

[14] B.-N. Guo and F. Qi, Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind, J. Comput. Appl. Math. 272 (2014), 251–257, DOI: https://doi.org/10.1016/j.cam.2014.05.018. 10.1016/j.cam.2014.05.018Search in Google Scholar

[15] B.-N. Guo and F. Qi, Some identities and an explicit formula for Bernoulli and Stirling numbers, J. Comput. Appl. Math. 255 (2014), 568–579, DOI: http://dx.doi.org/10.1016/j.cam.2013.06.020. 10.1016/j.cam.2013.06.020Search in Google Scholar

[16] A.-M. Xu and Z.-D. Cen, Some identities involving exponential functions and Stirling numbers and applications, J. Comput. Appl. Math. 260 (2014), 201–207, DOI: https://doi.org/10.1016/j.cam.2013.09.077. 10.1016/j.cam.2013.09.077Search in Google Scholar

[17] F. Qi, An explicit formula for the Bell numbers in terms of the Lah and Stirling numbers, Mediterr. J. Math. 13 (2016), no. 5, 2795–2800, DOI: https://doi.org/10.1007/s00009-015-0655-7. 10.1007/s00009-015-0655-7Search in Google Scholar

[18] F. Qi, Diagonal recurrence relations, inequalities, and monotonicity related to the Stirling numbers of the second kind, Math. Inequal. Appl. 19 (2016), no. 1, 313–323, DOI: https://doi.org/10.7153/mia-19-23. 10.7153/mia-19-23Search in Google Scholar

[19] J. Quaintance and H. W. Gould, Combinatorial Identities for Stirling Numbers, The unpublished notes of H. W. Gould. With a foreword by George E. Andrews. World Scientific Publishing Co. Pte. Ltd., Singapore, 2016. 10.1142/9821Search in Google Scholar

[20] D. S. Mitrinović, J. E. Pečarić, and A. M. Fink, Classical and New Inequalities in Analysis, Kluwer Academic Publishers, Dordrecht-Boston-London, 1993, DOI: https://doi.org/10.1007/978-94-017-1043-5. 10.1007/978-94-017-1043-5Search in Google Scholar

[21] R. L. Schilling, R. Song, and Z. Vondraček, Bernstein Functions, 2nd ed., de Gruyter Studies in Mathematics, vol. 37, Walter de Gruyter, Berlin, Germany, 2012, DOI: https://doi.org/10.1515/9783110269338. 10.1515/9783110269338Search in Google Scholar

[22] D. V. Widder, The Laplace Transform, Princeton University Press, Princeton, 1946. Search in Google Scholar

[23] J. Dubourdieu, and Sur un théorème de M. S. Bernstein relatif á la transformation de Laplace-Stieltjes, Compositio Math. 7 (1939), 96–111, http://www.numdam.org/item?id=CM_1940__7__96_0. (French)Search in Google Scholar

[24] H. van Haeringen, Completely monotonic and related functions, J. Math. Anal. Appl. 204 (1996), no. 2, 389–408, DOI: https://doi.org/10.1006/jmaa.1996.0443. 10.1006/jmaa.1996.0443Search in Google Scholar

[25] F. Qi, Decreasing properties of two ratios defined by three and four polygamma functions, C. R. Math. Acad. Sci. Paris 360 (2022), 89–101, DOI: https://doi.org/10.5802/crmath.296. 10.5802/crmath.296Search in Google Scholar

[26] F. Qi, W.-H. Li, S.-B. Yu, X.-Y. Du, and B.-N. Guo, A ratio of finitely many gamma functions and its properties with applications, Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Math. RACSAM 115 (2021), no. 2, Paper No. 39, 14 pages, DOI: https://doi.org/10.1007/s13398-020-00988-z. 10.1007/s13398-020-00988-zSearch in Google Scholar

[27] B.-N. Guo and F. Qi, Increasing property and logarithmic convexity of functions involving Riemann zeta function, 2022, https://doi.org/10.48550/arXiv.2201.06970 or https://doi.org/10.48550/arXiv.2201.06970. Search in Google Scholar

[28] D. Lim and F. Qi, Increasing property and logarithmic convexity of two functions involving Dirichlet eta function, J. Math. Inequal. 16 (2022), no. 2, 463–469, DOI: http://dx.doi.org/10.7153/jmi-2022-16-33. 10.7153/jmi-2022-16-33Search in Google Scholar

[29] F. Qi and Y.-H. Yao, Increasing property and logarithmic convexity concerning Dirichlet beta function, Euler numbers, and their ratios, Hacet. J. Math. Stat. 52 (2023), no. 1, 17–22, DOI: https://doi.org/10.15672/hujms.1099250. 10.15672/hujms.1099250Search in Google Scholar

Received: 2022-03-30

Revised: 2023-02-10

Accepted: 2023-05-16

Published Online: 2023-07-29

This work is licensed under the Creative Commons Attribution 4.0 International License.

Increasing property and logarithmic convexity of functions involving Dirichlet lambda function

Abstract

1 Motivations and main results

2 Lemmas

Lemma 2.1

Lemma 2.2

Lemma 2.3

3 Increasing property and logarithmic convexity

Theorem 3.1

Proof

4 Conclusion

Acknowledgement

References

Journal and Issue

Articles in the same Issue