On complete monotonicity of the Riemann zeta function
© Zhang; licensee Springer. 2014
Received: 29 September 2013
Accepted: 13 December 2013
Published: 9 January 2014
Under the assumption of the Riemann hypothesis for the Riemann zeta function and some Dirichlet L-series we demonstrate that certain products of the corresponding zeta functions are completely monotonic. This may provide a method to disprove a certain Riemann hypothesis numerically.
and on the rest of the complex plane by analytic continuation. It is known that the extended is meromorphic with infinitely many zeros at for (a.k.a trivial zeros) and with infinitely many zeros within the vertical strip (nontrivial zeros). The Riemann hypothesis for says that all nontrivial zeros are actually on the critical line .
is an even entire function of order 1. The celebrated Riemann hypothesis is equivalent to the statement that has only real zeros.
is an even entire function of order 1. The Riemann hypothesis for is equivalent to having only real zeros.
Given real numbers a, b with and an indefinite differentiable real valued function on , is called completely monotonic on if for all and . In this work, under the assumptions of the Riemann hypothesis for the Riemann zeta function and certain L-series, we apply the ideas from [8, 9] to prove that some products of these zeta functions are completely monotonic. This complete monotonicity may provide a method to disprove a certain Riemann hypothesis via numerical methods.
2 Main results
is completely monotonic on .
Proof It is a direct consequence of Theorem 1 of . □
Corollary 2 Under the Riemann hypothesis, let be the least positive zeros of ; then the function is completely monotonic for , is completely monotonic for , and is completely monotonic for . Let be a primitive ℓth root of unity for some positive integer ℓ; then is completely monotonic for .
Proof Notice that is a positive constant, and the claims are obtained by applying Corollary 1 to equations (2.5)-(2.8). □
Corollary 3 Assume that the Riemann hypothesis is true for and is the least positive zero of ; then the function is completely monotonic for , is completely monotonic for , and is completely monotonic for . Let be a primitive ℓth root of unity for some positive integer ℓ, then is completely monotonic for .
Proof These are consequences of Lemma 1 and equations (2.12)-(2.15). □
This research is partially supported by National Natural Science Foundation of China, grant No. 11371294.
- Abramowitz M, Stegun IA: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Natl. Bur. of Standards, New York; 1972. Tenth printing with correctionsGoogle Scholar
- Andrews GE, Askey R, Roy R: Special Functions. Cambridge University Press, Cambridge; 1999.View ArticleGoogle Scholar
- Davenport H: Multiplicative Number Theory. Springer, New York; 2000.Google Scholar
- Erdélyi A: Higher Transcendental Functions, Vol. I. Krieger, Malabar; 1985.Google Scholar
- Erdélyi A: Higher Transcendental Functions, Vol. II. Krieger, Malabar; 1985.Google Scholar
- Erdélyi A: Higher Transcendental Functions, Vol. III. Krieger, Malabar; 1985.Google Scholar
- Titchmarsh EC: The Theory of Riemann Zeta Function. 2nd edition. Clarendon Press, New York; 1987.Google Scholar
- Zhang R: Sums of zeros for certain special functions. Integral Transforms Spec. Funct. 2010,21(5):351-365. 10.1080/10652460903286231MathSciNetView ArticleGoogle Scholar
- Ismail, MEH, Zhang, R: Completely monotonic Fredholm determinants. J. Approx. Theory (submitted)Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.