Abstract
A generalized modular relation of the form \(F(z, w, \alpha )=F(z, iw,\beta )\), where \(\alpha \beta =1\) and \(i=\sqrt{-1}\), is obtained in the course of evaluating an integral involving the Riemann \(\Xi \)-function. This modular relation involves a surprising new generalization of the Hurwitz zeta function \(\zeta (s, a)\), which we denote by \(\zeta _w(s, a)\). We show that \(\zeta _w(s, a)\) satisfies a beautiful theory generalizing that of \(\zeta (s, a)\). In particular, it is shown that for \(0<a<1\) and \(w\in \mathbb {C}\), \(\zeta _w(s, a)\) can be analytically continued to Re\((s)>-1\) except for a simple pole at \(s=1\). The theories of functions reciprocal in a kernel involving a combination of Bessel functions and of a new generalized modified Bessel function \({}_1K_{z,w}(x)\), which are also essential to obtain the generalized modular relation, are developed.
Similar content being viewed by others
Notes
Note that there is a typo in this formula in that \(\pi \) should not be present.
The interchange of the order of \(\lim _{w\rightarrow 0}\) and integration can be easily justified.
This result is, in fact, true for Re\((a)>1\).
We do not give the details of the argument here as a similar one is established in full detail in Lemma 5.1.1.
This formula, which is given for \(b>0\) in [52], can be seen to be true for Re\((b)>0\) by analytic continuation.
This result actually holds for \(\text{ Re }(a)>0\) and \(\text{ Re }(s)>-1, s\ne 1\), by analytic continuation.
According to Remark 7 below, this result is actually valid for \(-1<\mathrm {Re}(s)<2\).
Koshliakov [40] stated them only for \(-\frac{1}{2}<z<\frac{1}{2}\), however, they are easily seen to be true for \(-\frac{1}{2}<\text{ Re }(z)<\frac{1}{2}\).
Throughout the analysis z and w will be fixed complex numbers in some domains of their respective complex planes.
The integrals \(\int _0^\infty x^{-s} \int _0^\infty \psi (t,z, w)\left( \sin (\pi z)J_{2z}(4\sqrt{xt})-\cos (\pi z)L_{2z}(4\sqrt{xt}))\right) {\text {d}}t\,{\text {d}}x\) and \(\int _0^\infty \psi (t,z, w)\) \(\times \int _0^\infty x^{-s}\left( \sin (\pi z)J_{2z}(4\sqrt{xt})-\cos (\pi z)L_{2z}(4\sqrt{xt}))\right) {\text {d}}x\,{\text {d}}t\) are absolutely convergent for \(\frac{3}{4}<\)Re\((s)<1-|\)Re(z)|. So the result follows from Fubini’s theorem.
There is a typo on page 1117 of [25], namely, all instances of |Re(z)|/2 should be replaced by |Re(z)|.
The conditions in the corresponding theorem given in [24], namely Theorem 1.9, are too restrictive. It is actually valid for \(z, w\in \mathbb {C}\), and \(|\arg (x)|<\pi \).
There is typo in the argument of \({}_0F_2\). It should be \(-\frac{a^2y}{4}\) instead of \(-\frac{a^2y}{2}\). Also, \(y^{z-1/2}\) is missing from the integrand.
In [25, Lemma 4.2], the condition given was \(-1<\mathrm {Re}(z)<1\) which is not correct.
Even though this result is true only for \(-\frac{3}{4}<\text{ Re }(z)<\frac{3}{4}\), later while actually using the reciprocal functions in this result, we will replace z by z/2, in which case the result then actually holds for \(-\frac{3}{2}<\text{ Re }(z)<\frac{3}{2}\).
This result also holds for Re\((s)<1\) if \(0<a<1\). See [5, p. 257, Theorem 12.6].
References
Abou-Rjeily, C.: Performance analysis of power line communication systems with diversity combining under correlated lognormal fading and Nakagami noise. IET Commun. 11(3), 405–413 (2017)
Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions: with Formulas, Graphs, and Mathematical Tables. Dover, New York (1972)
Andrews, G.E., Askey, R., Roy, R.: Special Functions, Encyclopedia of Mathematics and its Applications, vol. 71. Cambridge University Press, Cambridge (1999)
Andrews, G.E., Berndt, B.C.: Ramanujan’s Lost Notebook, Part IV. Springer, New York (2013)
Apostol, T.M.: Introduction to Analytic Number Theory, Undergraduate Texts in Mathematics. Springer, New York (1976)
Balasubramanian, R., Kanemitsu, S., Tsukada, H.: Contributions to the theory of the Lerch zeta-function, The Riemann zeta function and related themes: papers in honour of Professor K. Ramachandra, 29–38, Ramanujan Math. Soc. Lect. Notes Ser., 2. Ramanujan Math. Soc., Mysore (2006)
Berndt, B.C.: On the Hurwitz zeta-function. Rocky Mountain J. Math. 2(1), 151–157 (1972)
Berndt, B.C.: Ramanujan’s Notebooks, Part III. Springer, New York (1991)
Berndt, B.C., Dixit, A.: A transformation formula involving the Gamma and Riemann zeta functions in Ramanujan’s Lost Notebook. In: Alladi, K., Klauder, J., Rao, C.R. (eds.) The Legacy of Alladi Ramakrishnan in the Mathematical Sciences, pp. 199–210. Springer, New York (2010)
Berndt, B.C., Dixit, A., Roy, A., Zaharescu, A.: New pathways and connections in number theory and analysis motivated by two incorrect claims of Ramanujan. Adv. Math. 304, 809–929 (2017)
Burchnall, J.L., Chaundy, T.W.: Expansions of Appell’s double hypergeometric functions (II). Quart. J. Math. 12, 112–128 (1941)
Cohen, H.: Some formulas of Ramanujan involving Bessel functions, Publications Mathématiques de Besançon. Algèbre et Théorie des Nombres, pp. 59–68 (2010)
Conway, J.B.: Functions of One Complex Variable, 2nd edn. Springer, New York (1978)
Copson, E.T.: Theory of Functions of a Complex Variable. Oxford University Press, Oxford (1935)
Darses, S., Hillion, E.: An exponentially-averaged Vasyunin formula, submitted for publication. arXiv:2004.10086 (2020)
de Bruijn, N.G.: The roots of trigonometric integrals. Duke Math. J. 17, 197–226 (1950)
Dixit, A.: Series transformations and integrals involving the Riemann \(\Xi \)-function. J. Math. Anal. Appl. 368, 358–373 (2010)
Dixit, A.: Analogues of a transformation formula of Ramanujan. Int. J. Number Theory 7(5), 1151–1172 (2011)
Dixit, A.: Transformation formulas associated with integrals involving the Riemann \(\Xi \)-function. Monatsh. Math. 164(2), 133–156 (2011)
Dixit, A.: Analogues of the general theta transformation formula. Proc. R. Soc. Edinb. Sect. A 143, 371–399 (2013)
Dixit, A.: Modular-type transformations and integrals involving the Riemann \(\Xi \)-function. Math. Student 87(3–4), 47–59 (2018)
Dixit, A., Moll, V.H.: Self-reciprocal functions, powers of the Riemann zeta function and modular-type transformations. J. Number Theory 147, 211–249 (2015)
Dixit, A., Roy, A., Zaharescu, A.: Error functions, Mordell integrals and an integral analogue of a partial theta function. Acta Arith. 177(1), 1–37 (2017)
Dixit, A., Kesarwani, A., Moll, V.H.: A generalized modified Bessel function and a higher level analogue of the theta transformation formula. J. Math. Anal. Appl. (with an appendix by N. M. Temme) 459, 385–418 (2018)
Dixit, A., Robles, N., Roy, A., Zaharescu, A.: Koshliakov kernel and identities involving the Riemann zeta function. J. Math. Anal. Appl. 435, 1107–1128 (2016)
Dunster, T.M.: Bessel functions of purely imaginary order, with an application to second-order linear differential equations having a large parameter. SIAM. J. Math. Anal. 21(4), 995–1018 (1990)
Dyson, F.J.: A walk through Ramanujan’s garden. In: Berndt, B.C., Rankin, R.A. (eds.) Ramanujan: Essays And Surveys. History of Mathematics, vol. 22. American Mathematical Society, Providence (2001)
Eichler, M., Zagier, D.: The Theory of Jacobi Forms, vol. 55. Birkhäuser, Basel (1985)
Ghorpade, S.R., Limaye, B.V.: A Course in Multivariable Calculus and Analysis. Springer, Berlin (2010)
Gradshteyn, I.S., Ryzhik, I.M. (eds.): Table of Integrals, Series, and Products, 8th ed., Edited by D. Zwillinger, V.H. Moll. Academic Press, New York (2015)
Hardy, G.H.: Some multiple integrals, Quart. J. Math. (Oxford) (2)5 (1908), 357–375; Collected Papers of G. H. Hardy, Vol. V, pp. 434–452 (1972)
Hardy, G.H.: Sur les zéros de la fonction \(\zeta (s)\) de Riemann. Comptes Rendus 158, 1012–14 (1914)
Hardy, G.H.: Note by Mr. G.H. Hardy on the preceding paper. Quart. J. Math. 46, 260–261 (1915)
Hardy, G.H.: Mr. S. Ramanujan’s mathematical work in England, J. Indian Math. Soc. 9, 30–45 (1917); (also a Report to the University of Madras, 1916, privately printed)
Hardy, G.H.: Notes on some points in the integral calculus LII: On some definite integrals considered by Mellin, Mess. Math. 49, 85–91, (1920); Collected Papers of G. H. Hardy, Vol. 7, The Clarendon Press, Oxford University Press, New York, 1979, pp. 99–105
Kanemitsu, S., Tanigawa, Y., Tsukada, H., Yoshimoto, M.: Contributions to the theory of the Hurwitz zeta-function. Hardy-Ramanujan J. 30, 31–55 (2007)
Kanemitsu, S., Tsukada, H.: Contributions to the Theory of Zeta-Functions. The Modular Relation Supremacy, Series on Number Theory and its Applications, vol. 10. World Scientific, New Jersey (2015)
Kapteyn, W.: Sur le calcul numérique de la série \({\sum }_{s=0}^{\infty }\frac{1}{({\alpha }^2+\beta ^2s^2)^{\frac{q}{2}}}\), Mém. del la Soc. R. des Sci. de Liège, (3) VI., no. 9. (1906)
Koshliakov, N.S.: On Voronoi’s sum-formula. Mess. Math. 58, 30–32 (1929)
Koshliakov, N.S.: Note on certain integrals involving Bessel functions. Bull. Acad. Sci. URSS Ser. Math. 2(4), 417–420; English text 421–425 (1938)
Magnus, W., Oberhettinger, F., Soni, R.P.: Formulas and Theorems for the Special Functions of Mathematical Physics. Springer, Berlin (1966)
Kumar, R.: The generalized modified Bessel function and its connection with Voigt line profile and Humbert functions. Adv. Appl. Math. 114, 101986 (2020)
Lang, S.: Undergraduate Analysis, 2nd edn. Springer, New York (1997)
Lewis, J.: Spaces of holomorphic functions equivalent to the even Maass cusp form. Invent. Math. 127, 271–306 (1997)
Lewis, J., Zagier, D.: Period functions for Maass wave forms. I. Ann. Math. 153(1), 191–258 (2001)
Newman, C.M.: Fourier transforms with only real zeroes. Proc. Am. Math. Soc. 61, 246–251 (1976)
Oberhettinger, F.: Tables of Mellin Transforms. Springer, New York (1974)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Paris, R.B., Kaminski, D.: Asymptotics and Mellin–Barnes Integrals, Encyclopedia of Mathematics and its Applications, vol. 85. Cambridge University Press, Cambridge (2001)
Pólya, G.: Über trigonometrische Integralemit nur reelen Nullstellen. J. Reine Angew. Math. 58, 6–18 (1927)
Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, Vol 1. Elementary Functions. Gordan and Breach, New York (1986)
Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, Volume 2: Special Functions. Gordon and Breach, New York (1992)
Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series, Vol. 3: More Special Functions. Gordan and Breach, New York (1990)
Ramanujan, S.: New expressions for Riemann’s functions \(\xi (s)\) and \(\Xi (t)\). Quart. J. Math. 46, 253–260 (1915)
Ramanujan, S.: The Lost Notebook and Other Unpublished Papers. Narosa, New Delhi (1988)
Rodgers, B., Tao, T.: The De Bruijn–Newman constant is non-negative. Forum Math. Pi 8(e6), 62 (2020)
Rudin, W.: Principles of Mathematical Analysis, vol. 3. McGraw-hill, New York (1964)
Salerno, S., Vitolo, A., Zannier, U.: Functional equations for Dirichlet series with periodic coefficients. Ricerche mat. 40(2), 209–222 (1991)
Temme, N.M.: Special Functions: An Introduction to the Classical Functions of Mathematical Physics. Wiley-Interscience Publication, New York (1996)
Titchmarsh, E.C.: The Theory of Functions, Revised by D. R. Heath-Brown, 2nd edn. Oxford University Press, London (1999)
Titchmarsh, E.C.: The Theory of the Riemann Zeta Function. Clarendon Press, Oxford (1986)
Watson, G.N.: Some self-reciprocal functions. Q. J. Math. 2, 298–309 (1931)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, London (1966)
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis, 4th edn. Cambridge University Press, Cambridge (1935)
Yu, K.W.: On value distribution theory of second order non-homogeneous periodic ODEs and the Lommel Functions, Ph.D. Thesis, The Hong Kong University of Science and Technology (2010)
Acknowledgements
The authors sincerely thank the referee for his/her important suggestions which improved the readability of the paper. They also thank Nico M. Temme for his help, Neer Bhardwaj for providing them a copy of [58], and Richard B. Paris, Don Zagier, M. Lawrence Glasser, Robert Maier, Alexandru Zaharescu and Alexandre Kisselev for interesting discussions. The first author’s research is partially supported by the SERB-DST Grant ECR/2015/000070 and partially by the SERB MATRICS Grant MTR/2018/000251. He sincerely thanks SERB for the support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Dixit, A., Kumar, R. Superimposing theta structure on a generalized modular relation. Res Math Sci 8, 41 (2021). https://doi.org/10.1007/s40687-021-00277-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-021-00277-0
Keywords
- Riemann zeta function
- Hurwitz zeta function
- Bessel functions
- Theta transformation formula
- Hermite’s formula
- Modular relation