Abstract
An exact transformation, which we call the master identity, is obtained for the first time for the series \(\sum _{n=1}^{\infty }\sigma _{a}(n)e^{-ny}\) for \(a\in {\mathbb {C}}\) and Re\((y)>0\). New modular-type transformations when a is a nonzero even integer are obtained as its special cases. The precise obstruction to modularity is explicitly seen in these transformations. These include a novel companion to Ramanujan’s famous formula for \(\zeta (2m+1)\). The Wigert–Bellman identity arising from the \(a=0\) case of the master identity is derived too. When a is an odd integer, the well-known modular transformations of the Eisenstein series on \(SL _{2}\left( {\mathbb {Z}}\right) \), that of the Dedekind eta function as well as Ramanujan’s formula for \(\zeta (2m+1)\) are derived from the master identity. The latter identity itself is derived using Guinand’s version of the Voronoï summation formula and an integral evaluation of N. S. Koshliakov involving a generalization of the modified Bessel function \(K_{\nu }(z)\). Koshliakov’s integral evaluation is proved for the first time. It is then generalized using a well-known kernel of Watson to obtain an interesting two-variable generalization of the modified Bessel function. This generalization allows us to obtain a new modular-type transformation involving the sums-of-squares function \(r_k(n)\). Some results on functions self-reciprocal in the Watson kernel are also obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Bessel functions of the first and second kinds of order \(\nu \) are defined by [90, p. 40, 64]
along with \(Y_n(z)=\lim _{\nu \rightarrow n}Y_\nu (z)\) for \(n\in {\mathbb {Z}}\). Here, \(\Gamma (s)\) denotes Euler’s gamma function.
The modified Bessel functions of the first and second kinds are defined by [90, p. 77, 78]
respectively. When \(\nu =n\in {\mathbb {Z}}\), \(K_{n}(z)\) is interpreted as the limit \(\nu \rightarrow n\) of the right-hand side of (1.4).
Several generalizations of the Bessel functions exist in the literature, for example, see [33, 34, 53, 54, 66], to list a few. A new generalization of the modified Bessel function of the second kind \(K_{\nu }(z)\) was obtained by Koshliakov [60] through an interesting integral evaluation, and it seems to have gone unnoticed. One of the goals of this paper is to bring it to light. It has an application in obtaining an explicit modular-type transformation for an infinite series involving the generalized divisor function \(\sigma _a(n):=\sum _{d|n}d^{a}\), where \(a\in {\mathbb {C}}\). See Theorems 2.4 and 2.5. This is the main focus of this paper, for, this transformation gives, as corollaries, not only important results in the theory of modular forms but also surprising identities that were hitherto unknown.
In [60], Koshliakov studied integrals involving the kernels
where
The special case \(\nu =0\) of some of his integrals involving the kernel in (1.5) was previously obtained by Dixon and Ferrar [39].
In the same paper [60, Equation (8)], Koshliakov proved a remarkable result that \(K_{\nu }(t)\) is self-reciprocal in the kernel (1.5), that is, for \(-\tfrac{1}{2}<\nu <\tfrac{1}{2}\),
It is easy to see though that this identity is valid for complex \(\nu \) such that \(-\tfrac{1}{2}<Re (\nu )<\tfrac{1}{2}\). Prior to this, the special case \(\nu =0\) of (1.8) was stated and proved by Dixon and Ferrar [39, p. 164, Equation (4.1)] though they surmise in their paper that although Koshliakov does not give a reference to the formula itself, it is clear that he is familiar with the result.
In [12, p. 897], the kernel in (1.5) is called the first Koshliakov kernel, and the integral
the first Koshliakov transform of \(f(t, \nu )\). It is important in the context of the Voronoï summation formula for \(\sigma _a(n)\), see for example [12]. It must be mentioned here that there are few functions in the literature whose Koshliakov transforms have closed-form evaluations. However, it is always desirable to have such closed form evaluations, whenever possible, in view of their applications in number theory. Dixon and Ferrar [39, p. 161] evaluated such integrals for the special case \(\nu =0\) of the Koshliakov kernel, and recently further such evaluations were obtained in [33, 34, 37] along with their applications given.
In the same paper [60, Equation (15)], Koshliakov gives a more general resultFootnote 1 of which (1.8) is a special case, that is, forFootnote 2\(\mu >-1/2\) and \(\nu >-\tfrac{1}{2}+|\mu |\),
where, for \(b_j\notin {\mathbb {Z}}^{-}\cup \{0\}, 1\le j\le q\), and \((a)_n:=a(a+1)\cdots (a+n-1)=\Gamma (a+n)/\Gamma (a)\),
is the generalized hypergeometric series. It is well known [3, p. 62, Theorem 2.1.1] that the above series converges absolutely for all z if \(p\le q\) and for \(|z|<1\) if \(p=q+1\), and it diverges for all \(z\ne 0\) if \(p>q+1\) and the series does not terminate.
Indeed, letting \(\mu =-\nu \) in (1.9) gives (1.8) as the right-hand side reduces to
Thus, either side of (1.9) can be conceived to be a one-variable generalization of \(K_{\nu }(x)\).
Equation (1.9) is the identity of Koshliakov [60] whose importance seems to have gone unnoticed. Koshliakov does not prove the identity but only indicates that it can be obtained by considering \(\int _{0}^{\infty }\left( \sin (\nu \pi )J_{\nu }(xu)+\cos (\nu \pi )Y_{\nu }(xu)\right) \frac{u^{2\mu +\nu }\, du}{(u^2+1)^{\mu +\nu +1}}\). He does not even evaluate the above integral, unlike its special case \(\mu =-\nu \), for which he [60, Equation (7)] gives the evaluation as \(-K_{\nu }(x)\), again without proof. Since (1.9) has never been proved in the literature, we do so by deriving it as a special case of a more general result. See Corollary 5.1 of Sect. 5. Its number-theoretic application is given in Sect. 2.
Our generalization of Koshliakov’s result (1.9) naturally leads us to a new two-variable generalization of the modified Bessel function. The latter allows us to derive a novel modular-type transformation involving \(r_k(n)\), the number of representations of n as a sum of k squares, where representations with different orders or signs of the summands are regarded as distinct, i.e.
See Theorem 2.2.
The two-variable generalization of \(K_{\nu }(x)\) is achieved by first obtaining a common extension of the first and the second Koshliakov kernels in (1.5) and (1.6), respectively. This common extension is in terms of the hyper-Bessel functions \({}_0F_{3}\) whose theory, in the general case, that is for \({}_0F_{n}\), was initiated by Delerue in a series of five papers [27,28,29,30,31]. The hyper-Bessel functions have been found useful in many applications, for example, they are used to understand the wavefields and the elements of the non-adiabatic transition matrix and the tunnelling loss matrix [92].
Let \(x>0\), \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \) and \(w\in {\mathbb {C}}\). We define the generalization of the two Koshliakov kernels in (1.5) and (1.6) by
The two expressions inside the square brackets in (1.13) are entire functions ofFootnote 3\(\nu \) and w. As a function of \(\nu \), \({\mathscr {G}}_{\nu }(x, w)\) has a simple pole at every nonzero integer and a removable singularity at 0.
The kernel \({\mathscr {G}}_{\nu }(x, w)\) is not new. In fact, it is a special case of the well-known kernel introduced by Watson in [89], namely,
Watson formally studied how this kernel gives rise to a transform. Letting \(A=y=1\) in the above kernel, using Hanumanta Rao’s formula [89] with \(\rho =0, a=x\), and \(b=1\) to express \(\varpi _{\mu , \nu }(x)\) in the form of two \({}_0F_{3}s\), replacing \(\nu \) by \(w+\nu -\frac{1}{2}\) and then \(\mu \) by \(w-\nu -\frac{1}{2}\) in the resulting identity, we see that for \(|Re (\nu )|<Re (w)+1\),
However, note that the definition of the function \({\mathscr {G}}_{\nu }(x, w)\) in (1.13) itself makes sense for any \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \) and \(w\in {\mathbb {C}}\). Henceforth, we call \({\mathscr {G}}_{\nu }(x, w)\) as the Watson kernel only.
Observe that \(\varpi _{\mu , \nu }(xy)\) is the resultantFootnote 4 of the kernels \(\sqrt{t}J_{\nu }(t)\) and \(t^{-3/2}J_{\mu }(1/t)\), and that a simple change of variable shows that
The literature on Watson’s kernel is vast. Bhatnagar [17, 19] obtained a necessary and sufficient condition for a function in a certain class \(A(\omega , a)\) considered by Hardy and Titchmarsh [51] to be self-reciprocal in \(\varpi _{\mu , \nu }(xy)\). Among other things, he [17, Theorem 8] also obtained a theorem where functions reciprocal in the Hankel transform give rise to other functions reciprocal in the Watson kernel and vice-versa. See also [19, Theorem 7]. In the same paper [19], Bhatnagar also obtained the inverse Mellin transform representation of \(\varpi _{\mu , \nu }(x)\) although in Theorem 4.3, we re-derive it with maximum possible domain where it is valid. Watson’s kernel was further generalized by him in [17, 20], and in a different direction by Olkha and Rathie in [71]. An expansion of the generalized Watson kernel \(\varpi _{\mu _1,\ldots , \mu _n}(x)\) in terms of Jacobi polynomials was obtained by Dahiya [26]. A representation of \(\varpi _{\mu , \nu }(x)\) (more generally for \(\varpi _{\mu _1,\ldots , \mu _n}(x)\)) in terms of the Meijer-G function was given by Narain [68, Section 4(b)].
That \(\varpi _{\mu , \nu }(x)=O(x^{-1/4})\) as \(x\rightarrow \infty \) was established by Watson [89, p. 308]. Mainra and Singh [64] derived the differential equation satisfied by \(\varpi _{\mu , \nu }(x)\) and then used it to obtain its asymptotic expansion as \(x\rightarrow \infty \). Numerous integrals containing \(\varpi _{\mu , \nu }(x)\) in its integrand have been evaluated by Singh in [82, 83].
In spite of so much work done on Watson’s kernel, its importance from the point of view of number theory has not been recognized before. For example, while it is known [50, p. 5, Example 3] that for \(x>0\),
it has not been noticed before that when \(w=0\) and 1, the kernel \(\varpi _{w-\nu -\frac{1}{2}, w+\nu -\frac{1}{2}}(x)\), or equivalently \({\mathscr {G}}_{\nu }(x, w)\), reduces, respectively, to the first and second Koshliakov kernels defined in (1.5) and (1.6). See Theorem 4.1 of Sect. 4. Earlier, this was known [64, Section 4] only when we additionally consider \(\nu =0\). These kernels are useful in number theory.
Our generalization of Koshliakov’s modified Bessel function is defined for \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \), and \(z, \mu , w\in {\mathbb {C}}\) such that \(\mu +w\ne -\frac{1}{2}, -\frac{3}{2}, -\frac{5}{2},\ldots \), by
with \({}_{\mu }K_{0}(z, w)=\lim _{\nu \rightarrow 0}{}_{\mu }K_{\nu }(z, w)\). When \(w=0\), \({}_{\mu }K_{\nu }(z, w)\) reduces to Koshliakov’s generalized modified Bessel function of the second kind whose special case when z is a positive real number x occurs on the right-hand side of (1.9). Clearly, from (1.11) and (1.17),
2 Main results
Our first result is a generalization of Koshliakov’s identity (1.9). It gives an integral representation for \({}_{\mu }K_{\nu }(z, w)\).
Theorem 2.1
Let \(x>0\), \(Re (w)>-1/2\) and \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \). Let \({\mathscr {G}}_{\nu }(x, w)\) be defined in (1.13). If \(\mu \ne -\nu \), then for \(Re (\mu ), Re (\nu ), Re (\mu +\nu )>-Re (w)-\frac{1}{2}\), we have
otherwise, for \(-Re (w)-\frac{1}{2}<Re (\nu )<Re (w)+\frac{1}{2}\), we have
The above integral evaluations are proved using the theory of Mellin transforms, in particular, Parseval’s formula (3.3). Equations (2.1) and (2.2), and the special case (1.9) due to Koshliakov, are crucial in obtaining the main theorems of this section.
It must be noted that the second part of Theorem 2.1, that is (2.2), is not new. In fact, Bhatnagar [20, Section 3, (1) (i)] obtained it as a special case of a more general identity proved by him in [19], but only for real values of w and \(\nu \). Varma [87, p. 103, Example 2] considered the special case \(w=\nu \) of (2.2) whereas Mitra [67, Example 2] did the same for \(w=1/2\). However, to the best of our knowledge, (2.1) has not appeared in the literature before.
We now give a new modular-type transformation between two infinite series involving \(r_k(n)\) as an application of Theorem 2.1.
Theorem 2.2
Let \(k\in {\mathbb {N}},k\ge 2\) and \(Re (z)>0\). Let \(r_k(n)\) be defined in (1.12). Define \({\mathfrak {R}}(\mu , k, z)\) by
Then for \(\mathrm {Re}(\mu )>-\frac{1}{2}\) or \(\mu =-1/2\), the following transformation holds:
There are a number of transformations involving infinite series of \(r_k(n)\) and modified Bessel functions in the literature. See, for example, [89, Equation (4)], [38, Equation (3.12)] or its generalization [11, Corollary 4.6]. However, a transformation for the series \(\sum _{n=1}^\infty r_k(n)n^{\mu +1}K_{\mu }(nz)\), given in Theorem 2.2, is obtained for the first time.
Theorem 2.2 gives, as a special case, the well-known modular transformation [24, Equation (64)] recorded below.
Corollary 2.3
Let k be an integer such that \(k\ge 2\) and let \(Re (z)>0\). Then,
Let \(a\in {\mathbb {C}}\). Consider the series
When \(a=2m+1, m\in {\mathbb {N}}\) and \(y=-2\pi iz\) (so that \(z\in {\mathbb {H}}\), the upper half-plane), either of the above series essentially represents the Eisenstein series of weight \(2m+2\) on the full modular group \(SL _{2}\left( {\mathbb {Z}}\right) \). When \(a=-2m-1, m\in {\mathbb {N}}\), the series \(\sum _{n=1}^{\infty }\sigma _a(n)e^{2\pi inz}\) represents the Eichler integral corresponding to the weight \(2m+2\) Eisenstein series [14, Section 5]. Moreover, while \(\sum _{n=1}^{\infty }\sigma _{1}(n)e^{2\pi inz}\) is essentially the quasi-modular form \(E_2(z)\), that is, the Eisenstein series of weight 2, the series \(\sum _{n=1}^{\infty }\sigma _{-1}(n)e^{2\pi inz}\) is what appears in the modular transformation of logarithm of the Dedekind eta function \(\eta (z)\) [13, Equation (3.10)].
In all of the above cases, that is, when a is an odd integer, the series \(\sum _{n=1}^\infty \sigma _a(n)e^{-ny}\) satisfies a modular transformation, and hence plays a fundamental role in the theory of modular forms. However, an explicit transformation for the series \(\sum _{n=1}^\infty \sigma _a(n)e^{-ny}\) when a is an even integer is conspicuously absent from the literature except in the special case \(a=0\); see, for example, the paper by Kanemitsu, Tanigawa and Tsukada [56, Theorem 2] or [70, p. 33], [93, Equation. 3.7]. Using the concept of transseries [42], Dorigoni and Kleinschmidt [40] have considered the case when a is negative even integer (see [40, Equation (2.43)]). However, as special cases of our master identity (see Theorem 2.5 ), we not only obtain the identity for negative even integer a (see Theorem 2.12) but also when a is a non-negative even integer.
For Re\((a)>2\), Ramanujan [10, p. 416] obtained a transformation for the series in (2.5) which shows how the modularity is obstructed by means of the appearance of an extra integral. Later, Guinand [45, Section 7] also studied the series \(\sum _{n=1}^\infty \sigma _{2k}(n)e^{-ny}\) for \(k\in {\mathbb {R}},\) such that \(k+\frac{1}{2}\notin {\mathbb {Z}}\) and obtained [45, Theorem 8] similar results for \(Re (y)>0\). However, these transformations are not explicit in the sense that apart from the series getting transformed and the residual terms, certain extra objects appear, for example, contour integrals or principal value integrals etc.
Berndt [7, Theorem 2.2] derived an important modular-type transformation for a vast generalization of Eisenstein series. We rewrite one case of this transformation in the version given by O’Sullivan [73, Equation (1.23)], namely, for \(z\in {\mathbb {H}}\) and \(k\in {\mathbb {Z}}\),
where \(\zeta (s)\) is the Riemann zeta function. When \(k=1-2m, m\in {\mathbb {Z}}\), it results in
thus incorporating Euler’s formula [85, p. 5, Equation (1.14)] whereas on letting \(k=-2m,m\in {\mathbb {Z}}\backslash \{0\}\), it gives Ramanujan’s formula for \(\zeta (2m+1)\) [79, p. 173, Ch. 14, Entry 21(i)], [80, pp. 319–320, formula (28)], [8, pp. 275–276], namely, forFootnote 5\(\alpha ,\ \beta >0\) with \(\alpha \beta =\pi ^2\),
Note, however, that (2.6) does not give any transformation for \(\sum _{n=1}^{\infty }\sigma _{-2m}(n)e^{-ny}\), \(m\in {\mathbb {Z}}\).
Ramanujan’s formula encodes the transformation properties of Eisenstein series on \(SL _2\left( {\mathbb {Z}}\right) \) as well as their Eichler integrals [14]. Guinand [45, Theorem 9 (iv)] rediscovered the above formula.
Let \(y=\log (1/q)\) and let \(\mathcal {P}\) denote the set of integer partitions. Then for functions \(f:\mathcal {P}\rightarrow {\mathbb {C}}\), the q-brackets are the power series
which represent ‘weighted average’ of f. Also let \(\mathcal {H}_t(\lambda )\) be the multiset of partition hook numbers which are multiples of t, where the hook number of a hook in the Ferrers diagram of a partition is the number of dots in its arm and leg together. Recently, Han [48], Han and Ji [49] showed that the series \(\sum _{n=1}^{\infty }\sigma _{1-a}(n)e^{-ny}\) are the q-brackets of \(f_{a,t}(\lambda )\), where
Bringmann, Ono and Wagner [22] showed that for even \(a\ge 2\), the series \(\sum _{n=1}^{\infty }\sigma _{1-a}(n)e^{-ny}\) are pieces of weight \(2-a\) sesquiharmonic and harmonic Maass forms, whereas for odd \(a\le -1\), they are holomorphic quantum modular forms. For more details, see [22, Theorems 1.2, 1.6].
The series \(\sum _{n=1}^{\infty }d(n)e^{-ny}\), or, in general, \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\), where \(a\in {\mathbb {C}}\), is also instrumental in the study of moments of the Riemann zeta function and have long been employed for this purpose. See, for example, [86, p. 163, Theorem 7.15] or [61]. Lukkarinen [63] obtained meromorphic continuation of the modified Mellin transform of \(\left| \zeta (1/2+ix)\right| ^{2}\), defined for \(Re (s)>1\), by
by using a transformation for \(\sum _{n=1}^{\infty }d(n)e^{-ny}\). Period functions, in general, are real analytic functions \(\Psi (x)\) satisfying the three-term recurrence relations \(\Psi (x)=\Psi (x+1)+(x+1)^{-2s}\Psi \left( \frac{x}{x+1}\right) \), where \(s=1/2+it\). In an interesting paper, Bettin and Conrey [15] studied the period function of the series \(\sum _{n=1}^{\infty }\sigma _a(n)e^{2\pi inz}\), where \(a\in {\mathbb {C}}\) and \(z\in {\mathbb {H}}\), showing that it can be analytically continued to \(|\arg (z)|<\pi \), and as an application of their result they gave a simple proof of the Voronoï summation formula as well as an exact asymptotic expansion for the smoothly weighted second moment of the Riemann zeta function on the critical line, namely,
as \(\delta \rightarrow 0\), in the form of a convergent asymptotic series.
However, in the above results, either an asymptotic estimate for the series \(\sum _{n=1}^{\infty }\sigma _a(n)e^{2\pi inz}\) is given or a transformation involving a line integral, and hence an explicit transformation is missing. We fill this gap and obtain an explicit transformation for the series \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\) first, for any \(a\in {\mathbb {C}}\) such that \(Re (a)>-1\), and then for Re\((a)>-2m-3\), where \(m\in {\mathbb {N}}\cup \{0\}\), by analytic continuation. We then obtain, as corollaries, not only the well-known results in the theory of modular forms but also a transformation between \(\sum _{n=1}^{\infty }\sigma _{2m}(n)e^{-ny}\) and the series
where m is any integer and Re\((y)>0\). Note, of course, that when m is a non-positive integer, the finite sum over j in the summand of (2.9) is empty. Here, the functions \(\mathrm {Shi}(z)\) and \(\mathrm {Chi}(z)\) are the hyperbolic sine and cosine integrals defined by [72, p. 150, Equation (6.2.15), (6.2.16)]
where \(\gamma \) is Euler’s constant. (Observe that \(\mathrm {Shi}'(z)=\sinh (z)/z\) and \(\mathrm {Chi}'(z)=\cosh (z)/z\).) We note that \(Shi (z)\) is an entire function of z whereas \(Chi (z)\) is analytic in \({\mathbb {C}}\backslash (-\infty ,0]\). The series in (2.9) is a natural analogue of the series
which appears in the corresponding modular transformation satisfied by \(\sum _{n=1}^{\infty }\sigma _{2m+1}(n)e^{-ny}\).
Let \(\Phi _{k, \ell }(z):=\sum _{n=1}^{\infty }n^{k}\sigma _{\ell -k}(n)q^{n}\) be a function considered by Ramanujan [78]. In [16, Corollary 1], Bhand and Shankhadhar recently showed that for \(k+\ell \) even and any \(c\in {\mathbb {C}}\), the function \(c+\Phi _{k,\ell }(z)\) is not a quasimodular form of any weight and depth (and hence, obviously, not a modular form). Note that when \(k=0\), this gives \(\sum _{n=1}^{\infty }\sigma _{\ell }(n)q^n\) for \(\ell \) even. However, as expressed in the concluding remarks of [16], no transformation property for the latter series is known. In Theorem 2.11, we obtain the precise transformation that this series satisfies. It shows explicitly the obstruction to modularity.
When \(a=2m\), \(m\in {\mathbb {Z}}^{-}\), or \(a=0\), we also obtain simplified versions of the transformations for the series in (2.9). This is achieved using a recent result [32, Theorem 2.2], valid for \(Re (u)>0\):
where \(\psi (z):=\Gamma '(z)/\Gamma (z)\) is the logarithmic derivative of \(\Gamma (z)\). See (2.19) and (2.22) for the same.
Our transformation for the series \(\sum _{n=1}^\infty \sigma _a(n)e^{-ny}\) is now given. It is proved using Guinand’s version of the Voronoï summation formula (see Theorem 8.3).
Theorem 2.4
Let \(Re (y)>0\). For \(Re (a)>-1\), the following transformation holds:
Remark 1
With \({}_\mu K_{\nu }(z,w)\) defined in (1.17), the right-hand side of the above transformation is nothing but \( 2\sqrt{2\pi }y^{-1-\frac{a}{2}}\sum _{n=1}^{\infty }\sigma _a(n)n^{-\frac{a}{2}}{}_{\frac{1}{2}}K_{\frac{a}{2}}\left( \frac{4\pi ^2n}{y},0\right) \).
Through analytic continuation, the identity in Theorem 2.4 can be extended to the half-plane \(\mathrm {Re}(a)>-2m-3\), where m is any non-negative integer.
Theorem 2.5
Let \(m\in {\mathbb {N}}\cup \{0\}\) and \(Re (y)>0\). Then for \(\mathrm {Re}(a)>-2m-3\), we have
where
It is the above transformation that we call the master identity, for, it gives numerous well-known as well as new results as corollaries. Note, of course, that if we let \(m=0\) in Theorem 2.5, we get Theorem 2.4.
We now give a special case of the above theorem.
Corollary 2.6
Ramanujan’s formula (2.8) holds for \(m>0\).
Theorem 2.4 gives below the modular transformation satisfied by the Eisenstein series on \(SL _{2}\left( {\mathbb {Z}}\right) \) as a special case.
Corollary 2.7
Let \(m>1\) be a natural number. If \(Re (\alpha ), Re (\beta )>0\) and \(\alpha \beta =\pi ^2\),
Next, we give a corollary of Theorem 2.5 which is equivalent to the transformation formula satisfied by the logarithm of the Dedekind eta function [13, Equation (3.10)].
Corollary 2.8
If \(\alpha ,\beta \) are such that \(Re (\alpha )>0, Re (\beta )>0\) and \(\alpha \beta =\pi ^2\), then
The limiting case \(a\rightarrow 1\) of Theorem 2.4 gives an equivalent form of the transformation satisfied by the weight-2 Eisenstein series \(E_2(z)\) on \(SL _{2}\left( {\mathbb {Z}}\right) \), namely, \(E_2\left( \frac{-1}{z}\right) =z^2E_2(z)+\frac{6z}{\pi i}\).
Corollary 2.9
Let \(\alpha ,\beta \) be such that \(Re (\alpha )>0, Re (\beta )>0\) and \(\alpha \beta =\pi ^2\). Then,
Note that Corollary 2.9 is also deducible from Ramanujan’s formula (2.8). The transformation for \(\sum _{n=1}^{\infty }d(n)e^{-ny}\), where d(n) is the number of positive divisors of n, also results as a special case of the master identity.
Corollary 2.10
For \(Re (y)>0\), we have
Equivalently,
The equivalent version of (2.18) given above was first discovered by Wigert [91, p. 203, Equation (A)], who considered it as ‘la formule importante’ (an important formula).
The modular-type transformation for \(\sum _{n=1}^{\infty }\sigma _{2m}(n)e^{-ny}, m>0,\) is now given.
Theorem 2.11
Let \(m\in {\mathbb {N}}\). Then for \(\mathrm {Re}(y)>0\), we have
Note that the \(m=1\) case of the series on the left-hand side above is connected with the generating function for plane partitions considered by MacMahon [2, p. 184] in that, with \(y=\log (1/q)\) and \(F(q):=\displaystyle \prod _{n=1}^{\infty }\frac{1}{(1-q^n)^n}\), we have \(\displaystyle \sum _{n=1}^\infty \sigma _{2}(n)e^{-ny}=q\frac{d}{dq}\log F(q)\).
We now state a transformation for \(\sum _{n=1}^{\infty }\sigma _{2m}(n)e^{-ny}\) when \(m<0\).
Theorem 2.12
Let \(m\in {\mathbb {N}}\). Then for \(\mathrm {Re}(y)>0\), the following transformation holds:
Equivalently,
The above theorem gives a companion to Ramanujan’s formula (2.8) which is new. The reason we call this as a companion to (2.8) is because its left-hand side involves even zeta values \(\zeta (2m)\) and the series \(\sum _{n=1}^\infty \frac{n^{-2m}}{e^{2n\alpha }-1}\), whereas that in (2.8) involves the odd zeta values \(\zeta (2m+1)\) and \(\sum _{n=1}^\infty \frac{n^{-2m-1}}{e^{2n\alpha }-1}\). However, we note that while the latter series transforms to itself (with \(\alpha \) replaced by \(\beta \)), the former transforms into a combination of the higher Herglotz functions of Vlasenko and Zagier [88] (see also Radchenko and Zagier [77]).
Corollary 2.13
Let \(m\in {\mathbb {N}}\). If \(\alpha \) and \(\beta \) are complex numbers such that \(Re (\alpha )>0\), \(Re (\beta )>0\), and \(\alpha \beta =\pi ^2\), then
Character analogues of Ramanujan’s formula for \(\zeta (2m+1)\) have been obtained by Katayama [57] and Berndt [6, Section 5]. Berndt [5, Section 11] and Bradley [21, Theorem 1] gave generalizations and/or analogues of Ramanujan’s formula for \(\zeta (2m+1)\) for periodic sequences. See also Equation (3.12) of Berndt [7]. In all these results, series similar to the one on the left-hand side of (2.23) appear. Yet, (2.23) is quite different in nature from each of these results. This is because, in the series similar to that on the left-hand side of (2.23) in the aforementioned results of Katayama, Berndt and Bradley, one cannot put the periodic function (or, the Dirichlet character, in the case of Dirichlet L-functions) to be identically equal to 1 as their results in this setting hold when the periodic function or the Dirichlet character is odd.
New results concerning functions self-reciprocal in Watson’s kernel are given in Sect. 6.
3 Nuts and bolts
We will be frequently using the duplication and reflection formulas for \(\Gamma (s)\) [85, p. 46]:
Let \({\mathfrak {F}}(s)=M[f;s]\) and \({\mathfrak {G}}(s)=M[g;s]\) denote the Mellin transforms of functions f(x) and g(x), respectively. Let \(c=Re (s)\). If \(M[f;1-c-it]\in L(-\infty , \infty )\) and \(x^{c-1}g(x)\in L[0,\infty )\), then Parseval’s formula [74, p. 83] is given by
Here, the vertical line Re\((s) = c\) lies in the common strip of analyticity of the Mellin transforms \({\mathfrak {F}}(1-s)\) and \({\mathfrak {G}}(s)\).
We need Slater’s theorem [65, p. 56-59] to evaluate inverse Mellin transforms of certain functions. We give its statement below to make the paper self-contained. We need some notations to begin with. Let \(|\arg (z)|<\pi \). Let \({}_{p}F_{q} \left( \genfrac{}{}{0.0pt}{}{a_1, a_2,\ldots , a_p}{b_1,b_2,\ldots , b_q} \bigg | {z} \right) \) be defined in (1.10). Let
Theorem 3.1
(Slater’s Theorem) Let
where the vectors (a), (b), (c) and (d) have, respectively, A, B, C and D components \(a_j\), \(b_k\), \(c_l\) and \(d_m\). Then, if the following two groups of conditions hold:
where
then for these s we have
\(\Sigma _A(1) = \Sigma _B(1)\) if \(A+D=B+C\), Re\((\eta ) +C-A+1<0, A \ge C\).
Corollary 3.2
[65, p. 58] Under the conditions (3.5) and (3.6), the inverse Mellin transform of the function in (3.4) is a function H(x) of hypergeometric type given by
\({\mathscr {H}}(1) = \Sigma _A(1) = \Sigma _B(1)\) if \(A+D=B+C\), Re\((\eta ) +C-A+1<0, A \ge C\).
Remark 2
As given in [65, Remark 2], whenever we have \(|A+D-B-C|>1, A+B=C+D\), the condition \(Re (s(A+D-B-C)) < -Re (\eta )\) can be weakened to \(Re (s(A+D-B-C)) < 1/2-Re (\eta )\).
We will also be making use of the following asymptotic formula for it as \(z\rightarrow \infty \) [92, Equation (28)], namely,
where \(\theta =3/2-a-b-c\).
The asymptotic formulas for the modified Bessel function \(K_{\mu }(z)\) are required as well and hence are noted below. As \(|z|\rightarrow \infty , |\arg (z)|<\pi \), we have [90, p. 202]
whereas as for \(z\rightarrow 0\), we have [1, p. 375, Equations (9.6.8), (9.6.9)], [41, Equation (2.14)]
We will also frequently make use of the well-known fact that
4 The Watson kernel \({\mathscr {G}}_{\nu }(x, w)\)
As discussed in the introduction, the kernel \({\mathscr {G}}_{\nu }(x, w)\) defined in (1.13) is a simultaneous generalization of the Koshliakov kernels and (essentially) the Hankel kernel, all of which are quite important from the point of view of their applications in number theory. This section is devoted to obtaining some properties of this kernel.
Theorem 4.1
Let \(x>0\). Let \({\mathscr {G}}_{\nu }(x, w)\) be defined in (1.13), and \(M_{\nu }(x)\) and \(L_{\nu }(x)\) in (1.7). Then
Proof
We only prove (4.1). Then, (4.2) can be proved similarly. In the second step, use (3.1) twice and the fact \(2^{2k}k!(1/2)_k=(2k)!\) to see that
However, from the definitions (1.1) and (1.3),
so that from (1.13), (4.3) and (4.4),
where in the last step we used (1.4). Now the fact that
can be proved using the definition of \(Y_{\nu }(z)\) in (1.2). Finally, (4.5) and (4.6) together imply (4.1). \(\square \)
In [12, p. 842], it was remarked that \(\cos (\pi \nu ) M_{2\nu }(2 \sqrt{x}) -\sin (\pi \nu ) J_{2\nu }(2 \sqrt{x})\), that is, the first Koshliakov kernel, is an even function of \(\nu \). While it is not trivial to prove this directly using properties of Bessel functions, it is so when viewed through the Watson kernel in (1.13) since, by definition,
and hence, in particular, this is true for \(w=0\).
The following big-O result for small positive values of x is used in the sequel. The bound for the case \(\nu =0\) has not appeared in the literature although the bound for the case \(\nu \in {\mathbb {C}}\backslash {\mathbb {Z}}\) has been considered by Dahiya, see [25, Section 1 (iii)] in conjunction with (1.14) and (1.15). However, we prove both the cases to make the paper self-contained.
Theorem 4.2
Let \(x>0\) and \(w\in {\mathbb {C}}\). As \(x\rightarrow 0^{+}\),
Proof
By the definition of a \({}_0F_3\), as \(x\rightarrow 0\),
we see that \({\mathscr {G}}_{\nu }(x, w)=O_{\nu , w}\left( x^{Re (w)-|Re (\nu )|}\right) \) when \(\nu \in {\mathbb {C}}\backslash {\mathbb {Z}}\).
However, for \(\nu =0\), observe that \({\mathscr {G}}_{\nu }(x, w)\) admits \(\frac{0}{0}\) form. So we, of course, mean
For brevity, let \(f(\nu )\) be defined by
Then,
Clearly, the \({}_0F_{3}\) converges uniformly in a neighbourhood of \(\nu =0\). Hence by [81, p. 152, 7.17],
where \(\psi (x)=\Gamma '(x)/\Gamma (x)\). Now let \(\nu \rightarrow 0\) on both sides and use [81, p. 149, 7.11] so that
From (4.7) and (4.8), we conclude that as \(x\rightarrow 0\),
\(\square \)
Remark 3
Theorem 4.2 with \(w=0\) gives a well-known result [36, Equation (2.11)] for \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \).
The Mellin transform of \({\mathscr {G}}_{\nu }(x, w)\) was first given by Bhatnagar in [18, p. 23]Footnote 6 However, he did not give a proof of it. We prove it here using Theorem 3.1 of Slater. Here, and throughout the sequel, we use \(\int _{(c)}\) to denote the line integral \(\int _{c-i\infty }^{c+i\infty }\).
Theorem 4.3
For \(-Re (w)\pm Re (\nu )<Re (s)<\frac{3}{4}\),
Proof
We prove the equivalent statement, namely, for \(-Re (w)\pm Re (\nu )<c=Re (s)<\frac{3}{4}\),
This is obtained by first employing the change of variable \(s=2s_1\) in the integral on the left-hand side of the above equation. Then, use Theorem 3.1 with \(A=2, B=0, C=0, D=2, a_1=\frac{1}{2}(w-\nu ), a_2=\frac{1}{2}(w+\nu ), d_1=\frac{1}{2}(1-\nu +w), d_2=\frac{1}{2}(1+\nu +w)\), and \(z=(xt)^2/16\). This establishes (4.9) for \(-Re (w)\pm Re (\nu )<Re (s)<\frac{1}{2}\). However, observe that the Remark 2 applies here and thus we can extend the region of validity to \(-Re (w)\pm Re (\nu )<Re (s)<\frac{3}{4}\). \(\square \)
When \(w=0\) and 1, the above result, respectively, gives Lemmas 5.1 and 5.2 from [35] as special cases as can be seen from Theorem 4.1 and the standard properties of \(\Gamma (s)\).
5 Proofs of Theorem 2.1 and its corollaries
In this section, we prove Theorem 2.1 and Corollaries 5.1, 5.2 and 5.3.
Proof of Theorem 2.1
First, let \(\mu \ne -\nu \). We prove (2.1). We begin by showing that the integral on the left-hand side of (2.1) converges for the said values of the variables \(\mu , \nu \) and w. That the convergence at the upper limit of integration is secured can be clearly seen from (3.7) and (3.8). To show that it is also secured at 0, we consider two cases - first, \(\nu \in {\mathbb {C}}\backslash {\mathbb {Z}}\) and the second, \(\nu =0\).
Case 1: \(\nu \in {\mathbb {C}}\backslash {\mathbb {Z}}\)
-
(i)
Let \(Re (\mu )>0\) and Re\((\nu )>0\). From (3.9) and Theorem 4.2, we see that the integrand
$$\begin{aligned} K_{\mu }(t)t^{\mu +\nu +w} {\mathscr {G}}_{\nu }(xt, w)&= O_{\mu , \nu , w, x}\left( t^{-Re (\mu )+Re (\mu +\nu +w)+Re (w)-|Re (\nu )|}\right) \nonumber \\&=O_{\mu , \nu , w, x}\left( t^{2Re (w)}\right) , \end{aligned}$$as \(t\rightarrow 0\), so that Re\((w)>-\frac{1}{2}\) is needed.
-
(ii)
Let \(Re (\mu )<0\) and Re\((\nu )>0\). Then we replace \(\mu \) by \(-\mu \) in (3.9) and then use the fact \(K_{-\mu }(t)=K_{\mu }(t)\) so that as \(t\rightarrow 0\),
$$\begin{aligned} K_{\mu }(t)t^{\mu +\nu +w} {\mathscr {G}}_{\nu }(xt, w)&= O_{\mu , \nu , w, x}\left( t^{Re (\mu )+Re (\mu +\nu +w)+Re (w)-|Re (\nu )|}\right) \nonumber \\&=O_{\mu , \nu , w, x}\left( t^{2Re (\mu +w)}\right) , \end{aligned}$$so that we need Re\((\mu )>-Re (w)-\frac{1}{2}\).
-
(iii)
When \(Re (\mu )>0\) and Re\((\nu )<0\), one can similarly see that we require Re\((\nu )>-Re (w)-\frac{1}{2}\).
-
(iv)
Now let \(Re (\mu )<0\) and Re\((\nu )<0\). As \(t\rightarrow 0\),
$$\begin{aligned} K_{\mu }(t)t^{\mu +\nu +w} {\mathscr {G}}_{\nu }(xt, w)&= O_{\mu , \nu , w, x}\left( t^{Re (\mu )+Re (\mu +\nu +w)+Re (w)+Re (\nu )}\right) \nonumber \\&=O_{\mu , \nu , w, x}\left( t^{2Re (\mu +\nu +w)}\right) , \end{aligned}$$so that Re\((\mu +\nu )>-Re (w)-\frac{1}{2}\) is required.
Similarly in the remaining five cases \(Re (\mu )=0, Re (\pm \nu )>0\) or \(Re (\pm \mu )>0, Re (\nu )=0\) or \(Re (\mu )=Re (\nu )=0\), we see that we require \(Re (w)>-1/2, Re (\mu )>-Re (w)-\frac{1}{2}, Re (\nu )>-Re (w)-\frac{1}{2}\) and Re\((\mu +\nu )>-Re (w)-\frac{1}{2}\).
Case 2: \(\nu =0\)
-
(i)
Let \(Re (\mu )\ge 0\). Using Theorem 4.2 and (3.9), it is clear that as \(t\rightarrow 0\),
$$\begin{aligned} K_{\mu }(t)t^{\mu +\nu +w} {\mathscr {G}}_{\nu }(xt, w)= O_{\mu , w, x}\left( t^{2Re (w)}(1+|\log t|)\right) . \end{aligned}$$Hence as long as \(Re (w)>-1/2\), the convergence is secured.
-
(ii)
Similarly when \(Re (\mu )<0\), it can be seen that we need \(Re (\mu +w)>-1/2\).
Thus, we conclude that the integral on the left-hand side of (2.1) converges when \(Re (w)>-1/2\) and \(Re (\mu ), Re (\nu ), Re (\mu +\nu )>-Re (w)-1/2\).
We now prove (2.1). Apart from the conditions
we initially require one more condition
This additional restriction is removed later.
Let \(I=I(\mu , \nu , x, w)\) denote the integral on the left-hand side of (2.1). For Re\((s)>\pm Re (\mu )\) and \(a>0\), we have [69, p. 115, Equation (11.1)],
From Theorem 4.3, (5.3), and an application of Parseval’s formula (3.3), we see that for \(c=\)Re\((s)<\min {(Re (1+\nu +w), Re (1+2\mu +\nu +w))}\) and Re\((-w\pm \nu )<c=Re (s)<3/4\),
Now employ the change of variable \(s=2\xi +\nu \) so that for \(\max {\left( -Re \left( \frac{w}{2}\right) , -Re \left( \frac{w}{2}+\nu \right) \right) }<c_1=Re (\xi )<\min {\left( Re \left( \frac{1+w}{2}\right) , Re \left( \mu +\frac{w+1}{2}\right) , \frac{3}{8}-\frac{1}{2}Re (\nu )\right) }\), we have
It is important to note here that (5.1) and (5.2) imply that the strip in the \(\xi \)-complex plane in the sentence above (5.4) is of nonzero width.
Now we evaluate the inverse Mellin transform in (5.4) using Slater’s theorem, that is, Theorem 3.1, with \(A=2, B=1, C=0, D=1, a_1=w/2, a_2=\nu +w/2, b_1=\mu +(w+1)/2\) and \(d_1=-\nu +(w+1)/2\). Note that (5.1) and (5.2) imply that the conditions (3.5) in the hypotheses of Slater’s theorem are satisfied.
This indeed gives (2.1) upon simplification when the conditions in (5.1) and (5.2) are satisfied.
However, using (3.9), Theorem 4.2 and [85, p. 30, Theorem 2.3], we see that the left-hand side of (2.1) is analytic in \(\nu \) as long as \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \) and the conditions in (5.1) are met. Since the right-hand side of (2.1) too is analytic in \(\nu \) when these conditions hold, by the principle of analytic continuation, (2.1) holds when \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \), \(Re (w)>-1/2\) and \(Re (\mu ), Re (\nu ), Re (\mu +\nu )>-Re (w)-1/2\).
Equation (2.2) can be derived by simply letting \(\mu =-\nu \) in (2.1) and then using (1.18).
\(\square \)
Koshliakov’s (1.8) and (1.9) can now be derived simply as special cases of Theorem 2.1.
Corollary 5.1
Let \(x>0\). For \(\mu \ne -\nu \), Eq. (1.9) holds for \(Re (\mu )>-1/2\), \(Re (\nu )>-1/2\), \(\nu \notin {\mathbb {Z}}^{+}\), and \(Re (\mu +\nu )>-1/2\), otherwise, Eq. (1.8) holds for \(-\tfrac{1}{2}<Re (\nu )<\tfrac{1}{2}\).
Proof
Let \(w=0\) in Theorem 2.1 and make use of the first identity in Theorem 4.1, namely, Eq. (4.1). \(\square \)
A companion to (1.9) can also be derived from Theorem 2.1.
Corollary 5.2
Let \(x>0\). For \(\mu \ne -\nu \), if \(Re (\mu )>-3/2\), \(Re (\nu )>-3/2, \nu \notin {\mathbb {Z}}^{+}\cup \{-1\}\), and \(Re (\mu +\nu )>-3/2\), we have
otherwise, for \(-3/2<Re (\nu )<3/2\), we haveFootnote 7
Proof
Let \(w=1\) in Theorem 2.1 use the second identity in Theorem 4.1, that is, Eq. (4.2). \(\square \)
Yet another corollary of Theorem 2.1 gives explicit evaluations of the Hankel transforms of well-known functions.
Corollary 5.3
Let \(x>0\). If \(\mu \ne -1/2\), then for \(Re (w)>-1/2\), \(Re (\mu )>-Re (w)-1/2\),
else, for \(Re (w)>0\),
Proof
Let \(\nu =1/2\) in Theorem 2.1 and use (1.16) to obtain (5.5). In the second half of the theorem, use (1.18) and (3.10). \(\square \)
6 Self-reciprocal functions in the Watson kernel and a modular relation
In (2.2), we found an example of a function which is self-reciprocal in the Watson kernel \({\mathscr {G}}_{\nu }(xt, w)\). Letting \(\nu =z/2\) in (2.2) and replacing x and t by \(2\pi x\) and \(2\pi t\), respectively, we have an equivalent form
valid for \(x>0\) and Re\((w)>max \left( -\frac{1}{2}, \frac{1}{2}(|Re (z)|-1)\right) \).
Several criteria have been derived for a function to be self-reciprocal in the Watson kernel, for example, see [17, 19]. Here, in the case of a non-negative integer w, we obtain a new criterion that seems to have been missed. This result is given in the following theorem.
Theorem 6.1
Let w be a non-negative integer and \(z\in {\mathbb {C}}\) such that \(|Re (z)|<2w+1\). Suppose there exist functions f(t, z, w) and F(s, z, w) with the following three properties:
- (i):
-
\(F(s, z, w)=F(1-s, z, w)\);
- (ii):
-
For \(-w\pm Re \left( \frac{z}{2}\right)<Re (s)<1+w\pm Re \left( \frac{z}{2}\right) \), the Mellin transform of f(t, z, w) is
$$\begin{aligned} \int _{0}^{\infty }t^{s-1}f(t, z, w)\, dt=F(s, z, w)\zeta \left( 1-s-\frac{z}{2}\right) \zeta \left( 1-s+\frac{z}{2}\right) \left( \frac{s}{2}-\frac{z}{4}\right) _{\frac{w}{2}}\left( \frac{s}{2}+\frac{z}{4}\right) _{\frac{w}{2}}, \end{aligned}$$(6.2)if w is even, and
$$\begin{aligned} \int _{0}^{\infty }t^{s-1}f(t, z, w)\, dt&=\frac{F(s, z, w)}{2\left( \cos \left( \frac{\pi z}{2}\right) +\cos (\pi s)\right) }\zeta \left( 1-s-\frac{z}{2}\right) \zeta \left( 1-s+\frac{z}{2}\right) \nonumber \\&\quad \times \left( \frac{s}{2}-\frac{z}{4}+\frac{1}{2}\right) _{\frac{w-1}{2}}\left( \frac{s}{2}+\frac{z}{4}+\frac{1}{2}\right) _{\frac{w-1}{2}}, \end{aligned}$$(6.3)if w is odd;
- (iii):
-
The Mellin transform of f(t, z, w), namely \(M[f;c+it]\) and given by the right-hand sides of (6.2) and (6.3), satisfies \(M[f;1-c-it]\in L(-\infty ,\infty )\).
Then f is self-reciprocal (up to the constant \(2\pi \)) in the Watson kernel, that is,
When \(w=0\) and \(w=1\), Theorem 6.1 reduces to Theorems 5.3 and 5.5 from [35], respectively.
Proof of Theorem 6.1
We prove only the case when w is even. The case when w is odd can be similarly proved. Replacing \(\nu \) by z/2, x by \(2\pi x\) and t by \(2\pi t\) in (4.9), we see that if \(-w\pm Re \left( \frac{z}{2}\right)<Re (s)<\frac{3}{4}\), then
Observe that the hypothesis \(|Re (z)|<2w+1\) ensures that \(-w\pm Re \left( \frac{z}{2}\right)<\frac{1}{2}<\frac{3}{4}\) and hence we can use (6.4).
From (6.2), hypothesis (iii), (6.4) and Parseval’s formula (3.3), for \(-w\pm Re \left( \frac{z}{2}\right)<c=Re (s)<\min {\left( \frac{1}{2}, 1+w\pm Re \left( \frac{z}{2}\right) \right) }\), we have
where in the last step we used \(F(s, z, w)=F(1-s, z, w)\).
Next, use the asymmetric form of the functional equation of the Riemann zeta function [4, p. 259, Theorem 12.7]
twice, once with s replaced by \(s+\frac{z}{2}\), and then by \(s-\frac{z}{2}\) resulting in
Now substitute (6.7) in (6.5) and use both (3.1) and (3.2) twice thereby deducing
where the last step follows from (6.2). \(\square \)
Remark 4
In the case when w is a non-negative integer, (6.1) can also be derived as a corollary of Theorem 6.1. To see this, take \(f(t, z, w)=t^{w}K_{\frac{z}{2}}(2\pi t)\) and
and show that the hypotheses of the theorem are satisfied if \(|Re (z)|<2w+1\) and \(-w\pm Re \left( \frac{z}{2}\right)<Re (s)<1+w\pm Re \left( \frac{z}{2}\right) \). Thus, we note that the function F(s, z, w) may have two different expressions depending on the parity of w.
Remark 5
Note that (6.1) is valid for any w such that Re\((w)>max \left( -\frac{1}{2}, \frac{1}{2}(|Re (z)|-1)\right) \), whereas Theorem 6.1 gives (6.1) only for a natural number w because of its hypotheses.
Our last result of this section is the following modular relation between two integrals.
Theorem 6.2
Let w be a non-negative integer and \(z\in {\mathbb {C}}\) such that \(|Re (z)|<2w+1\). Let f(t, z, w) be as in the previous theorem. Then for \(\alpha , \beta >0\) such that \(\alpha \beta =1\), we have
When \(w=0\) and \(w=1\), the above theorem reduces to Corollaries 5.4 and 5.6 in [35]. An example of a function self-reciprocal in the first Koshliakov kernel, other than \(K_{\frac{z}{2}}(x)\), has been considered in [12, Theorem 15.6], which leads to the above modular relation in the special case \(w=0\).
Proof of Theorem 6.2
We are given \(w\in {\mathbb {N}}\cup \{0\}\), \(\alpha ,\beta >0\) such that \(\alpha \beta =1\). Replace x and t in (6.1) by \(\alpha x\) and \(\beta y\), respectively, so that for \(|Re (z)|<2w+1\),
Multiply both sides of the above equation by \(\sqrt{\alpha }f(x, z, w)\), integrate both sides with respect to x and use the fact \(\alpha \beta =1\) so as to get
where in the last step, we used Theorem 6.1. The interchange of the order of integration in the second step is justified because of (3.8), (1.13) and (3.7). \(\square \)
7 A transformation involving series of the sums-of-squares function \(r_k(n)\)
In this section, we prove Theorem 2.2. We begin with a lemma which gives an asymptotic estimate for \({}_\mu {K}_{\nu }\left( z,w\right) \) as \(z\rightarrow \infty \). This will be crucially required in the results established in both this and the next sections.
Lemma 7.1
Let \(|\arg (-z)|\le \pi \) and \(m\in {\mathbb {N}}\cup \{0\}\). As \(z\rightarrow \infty \),
where \(A_m(\mu , \nu ,w;z)\) is defined in (2.14) and
Proof
From [72, p. 412, Formula 16.11.8], for \(|\arg (-z)|\le \pi \), as \(z\rightarrow \infty \),
where
\(\lambda =a_1-b_1-b_2+\frac{1}{2}\), and
with \(c_0=1\), \(b_3=1\) and
Let \(a_1=\mu +w+\frac{1}{2},\ b_1=w+\frac{1}{2}-\nu ,\ b_2=1-\nu \) and replace z by \(\frac{-z^2}{4}\) in (7.3) and (7.4) to get
Taking \(e^{-\pi i}=-1\), we see that
where \(c_0=1\) and
From (7.2), (7.6) and (7.7), as \(z\rightarrow \infty \),
where
Similarly, letting \(a_1=\mu +\nu +w+\frac{1}{2},\ b_1=w+\frac{1}{2},\ b_2=1+\nu \), replacing z by \(\frac{z^2}{4}\) in (7.2) and simplifying, we see that as \(z\rightarrow \infty \),
Here,
and
with \(c_k\) defined in (7.5) and \(e_{k,m}\) resulting from (7.8). Also,
From the definition of \({}_\mu {K}_{\nu }\left( z,w\right) \) in (1.17), (7.9), (7.10) and the observation that the terms containing \(e^z\) completely cancel out each other, we deduce that
Upon using the definitions of (2.14) and (7.1), we see that the proof of Lemma 7.1 is complete. \(\square \)
Lemma 7.2
LetFootnote 8\(k\in {\mathbb {N}}\). Then,
Proof
First let \(Re (\mu )>-\frac{1}{2}\). The idea is to introduce the exponential dampening factor \(e^{-\pi ^2x^2y}, y>0,\) in the integrand, evaluate the resulting integral explicitly, then let \(y\rightarrow 0\) and finally invoke Lebesgue’s dominated convergence theorem.
From [44, p. 814, Formula 7.522.5], for \(p<q\) and Re\((s)>0\), we have
First replace x by \(\pi ^2yx^2\) and then let \({\delta }=\pi ^2/4y,\ p=1,\ q=2\) in the above equation so that
Letting \(s=\frac{k}{4}\) and \(a_1=\mu +\frac{k}{4}+\frac{1}{2},\ b_1=\frac{k}{4}\) and \(b_2=\frac{1}{2}\) in the above equation, we get
Again use (7.12) with \(s=\frac{k}{4}+\frac{1}{2}\) and \(a_1=\mu +\frac{k}{4}+1,\ b_1=\frac{k}{4}+\frac{1}{2}\) and \(b_2=\frac{3}{2}\) to get
Therefore from (7.13), (7.14) and the definition of \({}_\mu K_{\nu }(z, w)\) in (1.17), we have
Now express the right-hand side of the above equation in terms of the Tricomi confluent hypergeometric function U(a; c; z) defined by [85, p. 176, Equation (7.14)]
so as to get
Let \(y\rightarrow 0\) on both sides of (7.16). Using Lemma 7.1 with \(\nu =1/2, w=k/4\) and z replaced by \(\pi ^2x\) and then invoking Lebesgue’s dominated convergence theorem in order to interchange the order of limit and summation, we have
From [85, p. 174, Equation (7.13)], as \(z\rightarrow \infty \),
Let \(a=\mu +\frac{k}{4}+\frac{1}{2},\ c=\frac{1}{2}\) and \(z=\frac{\pi ^2}{4y}\) in (7.18); then as \(y\rightarrow 0\),
Therefore from (7.17) and (7.19), for \(\mathrm {Re}(\mu )>-\frac{1}{2}\), we arrive at
It remains to prove the result for \(\mu =-1/2\). From (1.18), we have
where we used (3.10). Hence,
using the well-known integral representation for Gamma function. This proves Lemma 7.2. \(\square \)
In order to prove Theorem 2.2, we now employ the following transformation of Guinand [47, p. 264, Equation (10.7)] (also known to Popov [75, Equation (3)]) in a rigorous formulation given in [11, Theorem 1.5]. The phrase ‘f(x) is an integral’ means f is an integral of some function, that is, f can be written in the form \(f(x)=\int _{a}^{x}h(t)\, dt\) for some function h and \(-\infty \le a<x\).
Theorem 7.3
Let k be a positive integer greater than 3 and let \(m=\left\lfloor \frac{1}{2}k\right\rfloor -1\). Let \(F(x), F'(x)\), \(F''(x), \dots , F^{(2m-1)}(x)\) be integrals, and \(F(x), xF'(x), x^2F''(x), \dots , x^{2m}F^{(2m)}(x)\) belong to \(L^{2}(0,\infty )\). Moreover, as \(x\rightarrow \infty \), let
for some fixed \(\tau >0\). Let the function G be defined by
and assume that it satisfies
for \(\tau >0\), as \(y\rightarrow \infty \). Then
For \(k=2\) and 3, (7.23) holds if F is continuous on \([0,\infty )\), \(F(x), xF'(x)\in L^{2}(0,\infty )\), and F satisfies (7.20), and if G is defined in (7.21) and satisfies (7.22).
Proof of Theorem 2.2
We first prove the result for \(z>0\) and then extend it to \(Re (z)>0\) by analytic continuation. The idea is to invoke Theorem 7.3 with
To that end, we need to show that all of the hypotheses of Theorem 7.3 are satisfied.
Since F is infinitely differentiable on \((0,\infty )\), all of its derivatives, in particular, F(x), \(F'(x)\), \(\dots , F^{(2m-1)}(x)\), are integrals. We next show that \(F(x), xF'(x), x^2F''(x), \dots , x^{2m}F^{(2m)}(x)\) belong to \(L^{2}(0,\infty )\) provided \(Re (\mu )>-\frac{k}{8}-\frac{1}{2}\).
First, (3.8) clearly implies that the convergence of the integral of \(\left| x^{n}F^{(n)}(x)\right| ^2\) at the upper limit of integration is always secured. Next, from (3.9) and [23, p. 36, Formula 1.14.1.1]
for any \(n\in {\mathbb {N}}\cup \{0\}\), as \(x\rightarrow 0\), we have
This implies \(F(x), xF'(x), x^2F''(x), \dots , x^{2m}F^{(2m)}(x)\) belong to \(L^{2}(0,\infty )\), provided \(Re (\mu )\ge -\frac{k}{8}-\frac{1}{2}\). Further, (1.1), (1.3) and (1.4) imply that F is continuous on \([0,\infty )\).
Replace x by \(\pi ^2x/z\) in Theorem 2.1 and t by tz, then let \(\nu =\frac{1}{2}\) and \(w=\frac{k}{4}\) in the resulting equation, and use (1.16), so that for \(\mathrm {Re}(\mu )>-\frac{k}{4}-\frac{1}{2}\),
From (7.21), (7.24) and (7.25),
Equation (3.8) clearly shows that the bound in (7.20) holds for our choice of F in (7.24). Also, Lemma 7.1 with \(m=0\) implies that as \(x\rightarrow \infty \), \(G(x)=O_{\mu , k, z}\left( x^{-\frac{k}{4}-2\mu -\frac{3}{4}}\right) =O_{\mu , k, z}\left( x^{-\frac{k}{4}-\frac{1}{2}-\tau }\right) \) for \(\tau >0\), provided Re\((\mu ) >-1/2\). But when \(\mu =-1/2\), along with our assumption \(\nu =1/2\) and (1.18), we see that \(G(x)=\left( \frac{\pi ^2x}{z}\right) ^{k/4}K_\frac{1}{2}\left( \frac{\pi ^2x}{z}\right) =O_{k, z}\left( x^{-\frac{k}{4}-\frac{1}{2}-\tau }\right) \) for \(\tau >0\), as can be clearly seen from (3.8). Hence, (7.22) is also satisfied when Re\((\mu )>-1/2\) or \(\mu =-1/2\).
From the above analysis, we conclude that the hypotheses of Theorem 7.3 are satisfied for any integer \(k\ge 2\) whenever Re\((\mu )>-1/2\) or \(\mu =-1/2\). Therefore invoking Theorem 7.3, Lemma 7.2 and (5.3), we find that
where \({\mathfrak {R}}(\mu , k, z)\) is defined in (2.3). The transformation in (2.4) now follows for \(z>0\) upon using (3.1) in the second expression on the left-hand side of the above equation.
To see that the result is valid for Re\((z)>0\), note first that the series on the left-hand side of (2.4) is analytic for Re\((z)>0\) as can be seen from (3.8). Also, Lemma 7.1 with \(m=0\) and the bound \(r_k(n)=O_{k}\left( n^{\frac{k}{2}-1+\epsilon }\right) \) for any integer \(k\ge 2\) and \(\epsilon >0\), see for example, [11, Equation (2.9)], imply that
which clearly shows that as long as Re\((\mu )\ge -1/2+\delta \), for any \(\delta >0\), the series
converges uniformly in Re\((z)>0\). Since the summand of this series is clearly analytic in Re\((z)>0\), the series itself represents an analytic function in Re\((z)>0\) as long as Re\((\mu )>-1/2\). Moreover, (1.18) implies that the same is true for \(\mu =-1/2\). Since all other functions in (2.4) are clearly analytic for Re\((z)>0\), by analytic continuation, (2.4) holds for Re\((z)>0\). \(\square \)
Proof of Corollary 2.3
Let \(\mu =-1/2\) in Theorem 2.2, use (1.18) and simplify. \(\square \)
8 A transformation formula associated with the generalized divisor function \(\sigma _a(n)\)
This section is devoted to proving Theorem 2.4 and several corollaries resulting from it. We first obtain some lemmas which are interesting in their own right.
Lemma 8.1
Let \(y>0\). For \(\mathrm {Re}(a)>-1\), we have
Proof
Note that one cannot separately integrate each of the two expressions in the integrand as both diverge. As in Lemma 7.2, the idea is to introduce the exponential dampening factor \(e^{-ux^2}, u>0\), and evaluate the new integral. Then at the end, we let \(u\rightarrow 0\) and appeal to Lebesgue’s dominated convergence theorem.
Let \(p=1,\ q=2\), \(a_1=1, b_1=\frac{1}{2}(1-a)\), \(b_2=1-\frac{1}{2}a\) in (7.11), replace x by \(x^2u\), and then let \(s=\frac{1}{2},\ {\delta }=\frac{4\pi ^4}{uy^2}, u>0,\) in the resulting equation to arrive at
For \(\mathrm {Re}(s)>0 \) and \(\mathrm {Re}(c)>0\), we have [69, p. 47, Equation (5.30)]
Let \(s=a+1,\ c=u\) and \(b=\frac{i4\pi ^2}{y}\) in (8.3) and apply Kummer’s transformation \({}_1F_{1}(\alpha _1;\alpha _2;z)=e^{z}{}_1F_{1}(\alpha _2-\alpha _1;\alpha _2;-z)\) so as to get, for Re\((a)>-1\),
For \(\alpha \ne {\mathbb {Z}}\cup \{0\}\) and \(-\frac{3}{2}\pi<\arg (z)<\frac{\pi }{2}\), Kim [58] has obtained the following asymptotic expansion as \(z\rightarrow \infty \):
where, with \( \nu =1+\alpha -\rho _1-\rho _2\),
Hence letting \(\alpha =\frac{1}{2},\ \rho _1=\frac{1-a}{2},\ \rho _2=1-\frac{a}{2}\) and \(z=\frac{4\pi ^4}{uy^2}\) in (8.6), we find that as \(u\rightarrow 0\),
From [85, p. 189, Exercise (7.7)], for \(-\frac{3}{2}\pi<\arg (z)<\frac{\pi }{2}\), as \(z\rightarrow \infty \),
Let \(b=\frac{1+a}{2},\ c=\frac{1}{2}\) and \(z=\frac{4\pi ^4}{uy^2}\) in (8.8) and observe that the infinite series in the first expression on the right-hand side is nothing but \({}_2F_0\left( -\frac{a}{2},\frac{1-a}{2};-;\frac{4\pi ^4}{uy^2}\right) \), so that, as \(u\rightarrow 0\),
Using (8.7) and (8.9) and observing that the expressions involving \({}_2F_{0}\) completely cancel out, we deduce that
where in the penultimate step, we used (3.1) as well as the well-known variant of the reflection formula in (3.2), namely, \(\Gamma \left( \frac{1+a}{2}\right) \Gamma \left( \frac{1-a}{2}\right) =\frac{\pi }{\cos \left( \frac{\pi a}{2}\right) }\).
Finally, let \(u\rightarrow 0\) in (8.5), invoke (8.10) and use dominated convergence theorem of Lebesgue to arrive at
Now multiply both sides of the above equation by \(\frac{2\pi }{y\sin \left( \frac{\pi a}{2}\right) }\) to obtain (8.1). \(\square \)
Lemma 8.2
Let \(y>0\). Then, for \(-1<\mathrm {Re}(a)<1\), we have
Proof
Let \(p=1,\ q=2\), \(a_1=1, b_1=\frac{1}{2}(1-a)\), \(b_2=1-\frac{1}{2}a\) in (7.11), replace x by \(x^2u\), and then in the resulting equation let \(s=\frac{1-a}{2},\ {\delta }=\frac{4\pi ^4}{uy^2}\) so that for Re\((a)<1\),
Let \(s=1,\ c=u\) and \(b=\frac{4\pi ^2i}{y}\) in (8.3) to get
From (8.12) and (8.13), for Re\((a)<1\), we find that
Let \(b=1,\ c=1-\frac{a}{2}\) and \(z=\frac{4\pi ^4}{uy^2}\) in (8.8). Observe that only the constant term of the first infinite series on the right-hand of (8.8) survives, so that as \(u\rightarrow 0\),
Using (8.15), we see that for \(-1<Re (a)<1\),
Now let \(u\rightarrow 0\) in (8.14), invoke Lebesgue’s dominated convergence theorem and then employ (8.16) to complete the proof of (8.11). \(\square \)
We are now ready to prove our new transformation involving infinite series of the generalized divisor function \(\sigma _a(n)\). We do this by employing the following analogue of Voronoï summation formula for \(\sigma _a(n)\) due to Guinand [46, Equation (1)].
Theorem 8.3
Let \(-\frac{1}{2}<Re (a)<\frac{1}{2}\). Let \(M_a(x)\) be defined in (1.7). If f(x) and \(f'(x)\) are integrals, f tends to zero as \(x\rightarrow \infty ,f(x),xf'(x)\) and \(x^2f''(x)\) belong to \(L^2(0,\infty )\), and
then the following transformation holds:
Proof of Theorem 2.4
We first prove the result for \(0<a<\frac{1}{2}\) and \(y>0\), and then extend it to \(Re (a)>-1\) and Re\((y)>0\) by analytic continuation.
Let \(w=0, \mu =\frac{1}{2},\nu =\frac{a}{2}\) and replace x by \(4\pi ^2 x\) in Theorem 2.1 (or, equivalently, \(\mu =\frac{1}{2},\nu =\frac{a}{2}\) and replace x by \(4\pi ^2 x\) in (1.9)) and then use (3.10) and (4.1) in the resulting equation to obtain
where we used the fact that \({}_0F_1(-;1/2;x^2)=\cosh (2x).\)
Replace t by yt and replace x by \(\frac{x}{y}\) in the above equation to get
We would like to now put \(f(x):=e^{-xy}x^{\frac{a}{2}}\) in Theorem 8.3. To that end, observe that f(x) and \(f'(x)\) are integrals. Also, it is easy to see that \(f(x)\rightarrow 0\) as \(x\rightarrow \infty \), and that \(f(x),\ xf'(x)\) and \(x^2f''(x)\) belong to \(L^2(0,\infty )\).
From (8.17) and (8.19), we have
Our next task is to evaluate the four integrals in (8.18) for \(0<a<1/2\). To that end, note that
Further, from (8.20), Lemmas 8.1 and 8.2,
Thus, from (8.18), (8.21) and (8.22) and the elementary fact \(\sigma _{-a}(n)n^{a}=\sigma _{a}(n)\), for \(0<a<\frac{1}{2}\) and \(y>0\),
Now use the functional equation (6.6) with \(s=-a\) twice to write \(\zeta (1+a)\) in the above equation in terms of \(\zeta (-a)\) thereby obtaining (2.12) after simplification. This proves Theorem 2.4 for \(0<a<1/2\) and \(y>0\).
Next, we show the validity of the transformation for \(Re (a)>-1\). From Remark 1, the series on the right-hand side of (2.12) is \(\sum _{n=1}^{\infty }\sigma _a(n)n^{-\frac{a}{2}}{}_{\frac{1}{2}}K_{\frac{a}{2}}\left( \frac{4\pi ^2n}{y},0\right) \). Now Lemma 7.1 gives \({}_{\frac{1}{2}}K_{\frac{a}{2}}\left( \frac{4\pi ^2n}{y},0\right) =O_{a,y}\left( n^{-\frac{1}{2}Re (a)-2}\right) \) as \(n\rightarrow \infty \). Along with the elementary bound \(\sigma _a(n)n^{-\frac{a}{2}}=O\left( n^{\frac{1}{2}|Re (a)|+\epsilon }\right) \) which is valid for every \(\epsilon >0\), we see that \(\sum _{n=1}^{\infty }\sigma _a(n)n^{-\frac{a}{2}}{}_{\frac{1}{2}}K_{\frac{a}{2}}\left( \frac{4\pi ^2n}{y},0\right) \) converges uniformly as long as Re\((a)>-1\). Since the summand of the series is also analytic for Re\((a)>-1\), by Weierstrass’ theorem on analytic functions, we see that it represents an analytic function of a when Re\((a)>-1\).
Since the left-hand side of (2.12) is analytic for \(Re (a)>-1\), by the principle of analytic continuation, we see that (2.12) holds for \(Re (a)>-1\) and \(y>0\). Using similar method as above, both sides of (2.12) are seen to be analytic, as a function of y, in Re\((y)>0\). Therefore by the principle of analytic continuation, (2.12) holds for \(Re (a)>-1\) and \(Re (y)>0\).
\(\square \)
Theorem 2.4, which we just proved, can be analytically continued to \(\mathrm {Re}(a)>-2m-3\), where m is any non-negative integer. This is done in Theorem 2.5 and is crucial in deriving Corollary 2.8 and Theorem 2.12.
Proof of Theorem 2.5
From Theorem 2.4 and Remark 1, we have \(Re (a)>-1\),
We rewrite the above identity as
Using the definition of \(A_m\) in (2.14) and employing (3.1), we see that
where in the last step we used formula [86, p. 8, Equation (1.3.1)] \(\sum _{n=1}^\infty \frac{\sigma _z(n)}{n^s}=\zeta (s)\zeta (s-z)\), valid for Re\((s)>{\max }\{1,\ 1+\mathrm {Re}(z)\}\). Hence from (8.23) and (8.24), for Re\((a)>-1\),
Invoking Lemma 7.1 and the fact \(B_m\left( \frac{1}{2},\frac{a}{2},0;\frac{4\pi ^2n}{y}\right) =0\), we see that for any \(\epsilon >0\),
This implies that the series
is uniformly convergent in Re\((a)\ge -2m-3+\epsilon \) for any \(\epsilon >0\). Since the summand of the above series is analytic in Re\((a)>-2m-3\), we see by Weierstrass’ theorem that this series represents an analytic function of a for Re\((a)>-2m-3\).
Since the left-hand side of (8.25) as well as the finite sum on its right-hand side are also analytic in Re\((a)>-2m-3\), by the principle of analytic continuation, we see that (8.25) holds for Re\((a)>-2m-3\) for any \(m\ge 0\). This completes the proof of Theorem 2.5. \(\square \)
9 Transformation formulas for \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\) for a even
Here, we derive some lemmas crucial in obtaining the transformations for \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\) for \(a=2m\) as well as \(-2m\).
Lemma 9.1
Let \(\mathrm {Re}(w)>0\). Let \(Shi (z)\) and \(Chi (z)\) be defined in (2.10). Then
Proof
First, let \(w>0\). From [76, p. 395, Formula 2.5.9.12],
where \(Ei (x)\) is the exponential integral given [76, p. 788] for \(x>0\) by \(Ei (x):=\int _{-\infty }^{x}e^{t}/t\, dt,\) or, as can be equivalently seen from [52, p. 1], by \(Ei (-x):=-\int _{x}^{\infty }e^{-t}/t\, dt\). Also, from [44, p. 884, 8.214.1, 8.214.2],
Hence from (9.2) and (9.3), for \(w>0\),
where in the last step, we used the series representations of \(\mathrm {Shi}(x)\) and \(\mathrm {Chi}(x)\), namely,
which can be easily derived from their definitions in (2.10). Thus, (9.1) is established for \(w>0\). Using (9.4), we see that both sides of (9.1) are analytic for Re\((w)>0\) Hence by analytic continuation, (9.1) holds for Re\((w)>0\). \(\square \)
Lemma 9.2
Let \(m\in {\mathbb {N}}\cup \{0\}\). Then forFootnote 9\(Re (z)>0\),
Proof
Note that
Changing the index of summation from j to k with \(k=j+m\) on the right-hand side of the above equation, we see that
However, from [32, Lemma 3.2] and Lemma 9.1, for Re\((z)>0\),
Now substitute (9.7) in (9.6) to arrive at (9.5). \(\square \)
9.1 A transformation for \(\sum _{n=1}^{\infty }\sigma _{2m}(n)e^{-ny}, m\in {\mathbb {N}}\)
Lemma 9.3
Let \(n\in {\mathbb {N}}\), \(m\in {\mathbb {N}}\cup \{0\}\) and \(y\in {\mathbb {C}}\). Then
Proof
Using the series definition of \({}_1F_2\) and (3.1) in the first step, we see that
We evaluate the derivative in the above equation at \(a=2m\) to get
where in the last step, we used the fact that \(\lim _{a\rightarrow 2m}\displaystyle \frac{\psi (1+2m-2j-a)}{\Gamma (1+2m-2j-a)}=(2j-1)!\) as well as Lemma 9.2 with \(m=0\) and \(z=2\pi ^2n/y\). \(\square \)
We are now ready to prove Theorem 2.11.
Proof of Theorem 2.11
First, using the series definition of \({}_1F_{2}\), we have
Using the above identity, we see that right-hand side of(2.12) has \(\frac{0}{0}\) form. Also due to the term \(\displaystyle \frac{\zeta (-a)}{\sin \left( \frac{\pi a}{2}\right) }\), the left-hand side of (2.12) has \(\frac{0}{0}\) form. Therefore in order to let \(a\rightarrow 2m\) in Theorem 2.4, we use L’Hopital’s rule. First note that
Let \(a\rightarrow 2m\) in (9.9), then invoke Lemma 9.3 with \(z=\frac{2\pi ^2n}{y}\) and then use (9.8) so as to arrive at
We wish to take limit \(a\rightarrow 2m\) on both sides of (2.12). First, the right-hand side is evaluated using L’Hopital’s rule and (9.10).
We now evaluate the left-hand side of (2.12) as \(a\rightarrow 2m\). Using \(\zeta (-2m)=0\), we have
where in the last step we used [55, Equation (1)]
as well as [4, p. 264, Equation (17)]
Hence from (9.11) and (9.12), we obtain (2.20). \(\square \)
9.2 A transformation for \(\sum _{n=1}^{\infty }\sigma _{-2m}(n)e^{-ny}, m\in {\mathbb {N}}\)
Lemma 9.4
Let \(m\in {\mathbb {N}}\cup \{0\}\). Let \(Shi (z)\) and \(Chi (z)\) be defined in (2.10). Then for \(Re (z)>0\),
Proof
Using the series definition of \({}_1F_2\), we have
Thus,
Using Lemma 9.2 in the above equation, we arrive at (9.15). \(\square \)
Lemma 9.5
Let \(m\in {\mathbb {N}}\cup \{0\}\), \(n\in {\mathbb {C}}\) and \(y\in {\mathbb {C}}\backslash \{0\}\),
Proof
Using the series definition of \({}_1F_{2}\), it is easy to see that
Use (9.17) with \(a=0,\ b=m,\ c=m-1/2\) and \(x=4\pi ^4n^2/y^2\) to see that
Again invoke (9.17) with \(a=0,\ b=m-1,\ c=m-3/2\) and \(x=4\pi ^4n^2/y^2\) on the right-hand side of the above equation to get
Iterating this process using (9.17) and employing the elementary fact \({}_1F_2\left( 1;1,\frac{1}{2};\frac{4\pi ^4n^2}{y^2}\right) =\cosh \left( \frac{4\pi ^2n}{y}\right) \), we deduce that
Using (3.1) twice and then dividing both sides by \(\Gamma (2m+1)\), we arrive at (9.16). \(\square \)
We are now ready to prove Theorem 2.12.
Proof of Theorem 2.12
Using (1.17) and (2.14), we rewrite (2.13) as
We wish to take \(a\rightarrow -2m\) in (9.18). We show that we have \(\frac{0}{0}\) form on both sides of (9.18) at \(a=-2m\). By invoking Lemma 9.5, we observe that
Also,
where, in the first step we separated out the term \(k=m-1\) from the summation to cancel out the first term of the right-hand side, in the penultimate step we let \(k=m-2-j\), and in the last step we used the fact that \(\zeta (s)\) has zeros at negative even integers.
By using (9.19), (9.20) and the fact that \(\sin (m\pi )=0\), we see that we have \(\frac{0}{0}\) form on both sides of (9.18). Therefore, we use L’Hopital’s rule after letting \(a\rightarrow -2m\) on both sides of (9.18). To that end,
where we separate the \(k=m-1\) term in each of the two sums. Thus,
where we employed (9.13) in the last step. Next, invoking Lemma 9.4 with \(z=\frac{2\pi ^2n}{y}\) and Lemma 9.5, we see upon simplification that
Now let \(a\rightarrow -2m\) in (9.18), interchange the order of limit and summation on both sides, which is permissible because of uniform convergence, and then use (9.21) and (9.22) so as to obtain
Finally, to get to (2.21) from the above identity, note that \(-\frac{1}{y}\zeta (2m+1)\) can be inducted into the finite sum thereby resulting in its upper index of summation being \(m-1\).
We now simplify (2.21) further and represent it in the equivalent form given in (2.22). Note that the right-hand side of (2.21) can be written using (9.1) in the form
where we used (2.11) with \(u=\frac{4\pi ^2d}{y}\) in the last step. Using the fact that \(\zeta '(s)=-\sum _{n=1}^{\infty }\log n/n^s\) whenever Re\((s)>1\), we see that
Finally, substitute (9.23) and (9.24) in (2.21), replace k by \(m-1-k\) in the finite sum of the resulting identity and then use Euler’s formula in (2.7) to arrive at (2.22) upon simplification. \(\square \)
We now use (2.22) to obtain a nice companion to Ramanujan’s formula (2.8). See also (11.1).
Proof of Corollary 2.13
Let \(y=2\alpha , \alpha \beta =\pi ^2\) in (2.22) and multiply both sides by \(\alpha ^{-\left( m-\frac{1}{2}\right) }\) to arrive at (2.23) after simplification. \(\square \)
As special cases of (2.22), we obtain two following corollaries involving \(\zeta (3)\) and \(\zeta (5)\).
Corollary 9.6
For \(\mathrm {Re}(y)>0\), we have
Proof
Let \(m=1\) in (2.22). \(\square \)
Corollary 9.7
Let \(\mathrm {Re}(y)>0\). Then
Proof
Let \(m=2\) in (2.22). \(\square \)
Remark 6
Corollaries 9.6 and 9.7 together give the following representation for \(\zeta (5)\):
which is valid for \(\mathrm {Re}(y)>0\).
9.3 A transformation for \(\sum _{n=1}^{\infty }d(n)e^{-ny}\)
Proof of Corollary 2.10
Let \(a\rightarrow 0\) in Theorem 2.4. This gives
We first evaluate the limit on the right-hand side. Note that since \({}_1F_2\left( 1;\frac{1}{2},1;\frac{4\pi ^4n^2}{y^2}\right) =\cosh \left( \frac{4\pi ^2n}{y}\right) \), we have \(\frac{0}{0}\) form. Hence, we need to use L’Hopital’s rule. To that end, use Lemma 9.3 with \(m=0\) so as to obtain
We next evaluate the limit on the left-hand side of (9.26). Using the well-known power-series expansions of \(\zeta (-a), \zeta (1-a), (2\pi )^{1+a}, y^{-(1+a)}\) and \(\csc \left( \frac{\pi a}{2}\right) \), as \(a\rightarrow 0\), we find that
Finally, from (9.26), (9.27) and (9.28) and the fact that \(\zeta (0)=-1/2\), we arrive at the first identity in (2.18).
To obtain (2.19), we invoke Lemma 9.1 with \(w=4\pi ^2n/y\) in the first step below and then use (2.11) with \(u=4\pi ^2n/y\) in the second step so that
This completes the proof of (2.19). \(\square \)
As an equivalent form of Corollary 2.10, we obtain a result of Wigert and Bellman given in [56, Theorem 2]Footnote 10.
Corollary 9.8
Let U(a; c; z) be defined in (7.15). For \(Re (y)>0\),
Proof
In view of (2.18), it suffices to show that for Re\((x)>0\),
First let \(x>0\). From [56, p. 612], \(U(1;1;x)=e^x\Gamma (0,x)\). Also, from [44, p. 902, Equation 8.359.1], \(\Gamma (0,x)=-Ei (-x)\). Hence,
The equality in (9.29) now follows for \(x>0\) from (9.30) and by equating the right-hand sides of (9.1) and (9.2). By analytic continuation, it holds for Re\((x)>0\). \(\square \)
10 Transformation formulas for \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\) for a odd
As discussed in Sect. 2, we get some results in modular forms as corollaries of our master identity, that is, Theorem 2.5. These results are derived in this section.
10.1 Modular transformation for Eisenstein series on \(SL _{2}({\mathbb {Z}})\)
Proof of Corollary 2.7
Let \(a=2m-1, m>1,\) in Theorem 2.4. Using (9.14), the fact that \(\zeta (-2m)=0,\ m\in {\mathbb {N}}\), and noting that
we see that
This gives
To prove (2.15), let \(y=2\alpha \) with \(\alpha \beta =\pi ^2\) in (10.2) and simplify. \(\square \)
10.2 Transformation formula for weight-2 Eisenstein series on \(SL _{2}({\mathbb {Z}})\)
Proof of Corollary 2.9
Let \(a=1\) in Theorem 2.4. Using the well-known special values \(\zeta (-1)=-1/12,\ \zeta (0)=-1/2\) and invoking (10.1), we see that
Letting \(y=2\alpha \) with \(\alpha \beta =\pi ^2\) then leads to (2.17). \(\square \)
10.3 Ramanujan’s famous formula for \(\zeta (2m+1)\)
We begin with a lemma which evaluates \({}_{\frac{1}{2}}K_{\frac{-2m-1}{2}}(z,0)\) in terms of elementary functions.
Lemma 10.1
Let \(z\in {\mathbb {C}}\) and \(m\in {\mathbb {N}}\cup \{0\}\). Then
Proof
Using the definition of \({}_{\mu }K_{\nu }(z, w)\) from (1.17), we see that
Now it can be proved along the similar lines as in the proof of Lemma 9.5 that
Substitute (10.5) in (10.4) to arrive at (10.3). \(\square \)
Proof of Corollary 2.6
Let \(a=-2m-1\) in Theorem 2.5 to get
By using (10.3) with \(z=4\pi ^2n/y\) and the definition of \(A_m\) in (2.14), we see that
where in the last step, we replaced k by \(m-k\) in the finite sum and then used (2.7) and (9.14). Now use (2.7) on the left-hand side of (10.8) to obtain
Now multiply both sides of the above expression by \(\left( \frac{y}{2}\right) ^{-m}\) and simplify to see that
Finally let \(y=2\alpha \) and \(\alpha \beta =\pi ^2\) and simplify to get (2.8). \(\square \)
10.4 Transformation formula for the logarithm of the Dedekind eta function
Proof of Corollary 2.8
Let \(m=0\) in Theorem 2.5 and then let \(a\rightarrow -1\) so that
Using the limit evaluations \(\displaystyle \lim _{a\rightarrow -1}\frac{\zeta (a+2)}{\Gamma \left( \frac{-1-a}{2}\right) }=-\frac{1}{2}\) and
in the above identity, invoking (1.18) with \(\nu =-1/2\) and using \(\zeta (2)=\pi ^2/6\), we are led to
upon simplification. To obtain (2.16), simply let \(y=2\alpha \) and use the fact that \(\alpha \beta =\pi ^2\) in the above identity. \(\square \)
11 Concluding remarks and future directions
Koshliakov [60] studied an integral transform with respect to the \(w=0\) case of Watson’s kernel \({\mathscr {G}}_{\nu }(x, w)\), that is, the first Koshliakov kernel (1.5), which motivated us to obtain an explicit transformation formula for \(\sum _{n=1}^{\infty }\sigma _a(n)e^{-ny}\) for any \(a\in {\mathbb {C}}\) and Re\((y)>0\) that was missing in the literature. The wealth of information that this transformation contains is evident from the numerous corollaries derived from it in Sect. 2. These include the modular properties of Eisenstein series on \(SL _{2}\left( {\mathbb {Z}}\right) \) as well as explicit transformations for the series \(\sum _{n=1}^{\infty }\sigma _{2m}(n)e^{-ny}, m\in {\mathbb {Z}}\). They include a novel companion of Ramanujan’s famous formula for \(\zeta (2m+1)\) given in Corollary 2.13.
Are there any applications of results such as (2.19) or (9.25) from the point of view of transcendental number theory? Note that Erdös [43] has shown that the series \(\sum _{n=1}^{\infty }d(n)q^{-n}\) is irrational for any integer q with \(|q|\ge 2\). Now observe that, if we let \(y=\log (2)\) in (2.19), the left-hand side becomes \( \sum _{n=1}^\infty \frac{1}{e^{n\log 2}-1}=\sum _{n=1}^\infty d(n)2^{-n}\) so that, Erdös result implies that it is an irrational number and hence (2.19), in turn, implies that
is irrational.
The two-variable extension of the modified Bessel function, namely, \({}_{\mu }K_{\nu }(z, w)\), is instrumental in generalizing the well-known modular transformations (as well as modular-type) appearing in the results of Sect. 2, and hence deserves further study. In this paper, we have restricted ourselves to obtaining only those properties of \({}_{\mu }K_{\nu }(z, w)\) relevant to deriving various transformations.
Ramanujan conceived an overarching generalization of his formula (2.8). See [9, pp. 429–432] for its rigorous formulation and a proof. In the same spirit, it may be interesting to look at the corresponding generalization of (2.13).
Our companion to Ramanujan’s formula for \(\zeta (2m+1)\), namely Eq. (2.23), contains the higher Herglotz function of Vlasenko and Zagier. We note that the Herglotz as well as the higher Herglotz functions are useful in algebraic as well as analytic number theory. Thus, it would be of merit to study (2.23) from this viewpoint.
Letting \(\alpha =\beta =\pi \) in Corollary 2.13 implies that the hyperbolic cotangent Dirichlet series and \(\sum _{n=1}^{\infty }\left( \psi (in)+\psi (-in)\right) n^{-2m}\) are intimately connected at even positive integers \(s=2m\), that is,
Equation (11.1) is an analogue of Lerch’s formula [62], namely, when \(m\in {\mathbb {N}}\) is odd,
This suggests further work, in the setting of (11.1), along the lines in [59, 84].
Finally, it may be worthwhile extending our Theorem 2.1 wherein the kernel \({\mathscr {G}}_{\nu }(x, w)\), or equivalently \(\varpi _{\mu , \nu }(x)\), is replaced by its generalizations, for example, those studied in [17, 20, 71].
Data availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Koshliakov inadvertently missed the factor \(\pi \) in front on the right-hand side.
It will be shown later that when \(\mu \ne -\nu \), this result actually holds for \(\nu \in {\mathbb {C}}\backslash \left( {\mathbb {Z}}\backslash \{0\}\right) \), \(Re (\mu )>-1/2\), \(Re (\nu )>-1/2\) and \(Re (\mu +\nu )>-1/2\); otherwise, it holds for \(-1/2<Re (\nu )<1/2\).
One might as well take x in the definition of \({\mathscr {G}}_{\nu }(x, w)\) to be such that \(-\pi<\arg (x)<\pi \), thereby having analyticity in x as well. However, in this paper, we will be working with \(x>0\) only.
For the definition of a resultant of two kernels, see [50].
Ramanujan’s formula is actually valid for any complex \(\alpha , \beta \) such that \(Re (\alpha )>0, Re (\beta )>0\) and \(\alpha \beta =\pi ^2\).
The condition for the validity of the Mellin transform given in this paper, namely \(-Re (w)\pm Re (\nu )<Re (s)<\frac{1}{4}\), is too restrictive. Here, we extend the region of validity.
This integral evaluation was obtained by Koshliakov [60, Equation (13)].
This lemma is valid even if k is complex such that \(Re (k)>0\).
This result is actually true for all \(z\in {\mathbb {C}}\). Note that at any non-positive real number z, the right-hand side has a removable singularity.
In the statement of their theorem, the \(1/\pi ^2\) appearing in front of the summation on the right-hand side should be \(1/\pi \).
References
Abramowitz, M., Stegun, I.A.: Handbook of Mathematical Functions, with Formulas, Graphs, and Mathematical Tables, 9th edn. Dover, New York (1970)
Andrews, G.E., The Theory of Partitions. Addison-Wesley, New York. Reissued, p. 1998. Cambridge University Press, New York (1976)
Andrews, G.E., Askey, R., Roy, R.: Special Functions, Encyclopedia of Mathematics and its Applications, vol. 71. Cambridge University Press, Cambridge (1999)
Apostol, T.M.: Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics. Springer, New York-Heidelberg (1976)
Berndt, B.C.: Periodic Bernoulli numbers, summmation formulas and applications. In: Askey, R.A. (ed.) Theory and Application of Special Functions, pp. 143–189. Academic Press, New York (1975)
Berndt, B.C.: On Eisenstein series with characters and the values of Dirichlet \(L\)-functions. Acta Arith. 28(3), 299–320 (1975)
Berndt, B.C.: Modular transformations and generalizations of several formulae of Ramanujan. Rocky Mt. J. Math. 7, 147–189 (1977)
Berndt, B.C.: Ramanujan’s Notebooks, Part II. Springer, New York (1989)
Berndt, B.C.: Ramanujan’s Notebooks, Part IV. Springer, New York (1994)
Berndt, B.C.: Ramanujan’s Notebooks, Part V. Springer, New York (1998)
Berndt, B.C., Dixit, A., Kim, S., Zaharescu, A.: Sums of squares and products of Bessel functions. Adv. Math. 338, 305–338 (2018)
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)
Berndt, B.C., Lee, Y., Sohn, J.: The formulas of Koshliakov and Guinand in Ramanujan’s lost notebook. In: Alladi, K. (ed.) Surveys in Number Theory, Series: Developments in Mathematics, vol. 17, pp. 21–42. Springer, New York (2008)
Berndt, B.C., Straub, A.: Ramanujan’s Formula for \(\zeta (2n+1)\), Exploring the Riemann zeta Function, pp. 13–34. Springer, Cham (2017)
Bettin, S., Conrey, J.B.: Period functions and cotangent sums. Algebra Number Theory 7(1), 215–242 (2013)
Bhand, A., Shankhadhar, K.D.: On Dirichlet series attached to quasimodular forms. J. Number Theory 202, 91–106 (2019)
Bhatnagar, K.P.: On certain theorems on self-reciprocal functions. Acad. R. Belgique Bull. Cl. Sci. (5) 39, 42–69 (1953)
Bhatnagar, K.P.: On self-reciprocal functions. Ganita 4, 19–37 (1953)
Bhatnagar, K.P.: On self-reciprocal functions and a new transform. Bull. Calcutta Math. Soc. 46, 179–199 (1954)
Bhatnagar, K.P.: Some self-reciprocal functions. Bull. Calcutta Math. Soc. 46, 245–250 (1954)
Bradley, D.M.: Series acceleration formulas for Dirichlet series with periodic coefficients. Ramanujan J. 6, 331–346 (2002)
Bringmann, K., Ono, K., Wagner, I.: Eichler integrals of Eisenstein series as q-brackets of weighted t-hook functions on partitions. Ramanujan J. (2021)(https://doi.org/10.1007/s11139-021-00453-4)
Brychkov, A.Y.: Handbook of special functions: derivatives, integrals, series and other formulas. CRC Press, Boca Raton (2008)
Chandrasekharan, K., Narasimhan, R.: Hecke’s functional equation and arithmetical identities. Ann. Math. 74, 1–23 (1961)
Dahiya, R.S.: A note on Watson’s kernel, Gazeta Matematica Soc. de stiinte matematica din Rep. Soc. Romania Ser. A LXXV(3), 81–83 (1970)
Dahiya, R.S.: On some results involving Jacobi polynomials and the generalized function \({\tilde{\omega }}_{\mu _1, \cdots, \mu _n}(x)\). Proc. Japan Acad. 46, 605–608 (1970)
Delerue, P.: Note sur une formule opératoire nouvelle en calcul symbolique (French). C. R. Acad. Sci. Paris 229, 1197–1199 (1949)
Delerue, P.: Sur l’utilisation des fonctions hyperbesséliennes à la résolution d’une équation différentielle et au calcul symbolique à \(n\) variables (French). C. R. Acad. Sci. Paris 230, 912–914 (1950)
Delerue, P.: Note sur les propriétés des fonctions hyperbesséliennes (French). C. R. Acad. Sci. Paris 230, 1333–1335 (1950)
Delerue, P.: Sur le calcul symbolique à \(n\) variables et sur les fonctions hyperbesséliennes. Ann. Soc. Sci. Bruxelles Ser. 1 67, 83–104 (1953)
Delerue, P.: Sur le calcul symbolique à \(n\) variables et sur les fonctions hyperbesséliennes Deuxieme Partie. Fonctions hyperbessliennes. Ann. Soc. Sci. Bruxelles Ser. 1 67, 229–274 (1953)
Dixit, A., Gupta, R., Kumar, R., Maji, B.: Generalized Lambert series, Raabe’s cosine transform and a generalization of Ramanujan’s formula for \(\zeta (2m+1)\). Nagoya Math. J. 239, 232–293 (2020)
Dixit, A., Kesarwani, A., Moll, V.H.: A generalized modified Bessel function and a higher level analogue of the theta transformation formula (with an appendix by N. M. Temme). J. Math. Anal. Appl. 459, 385–418 (2018)
Dixit, A., Kumar, R.: Superimposing theta structure on a generalized modular relation. Res. Math. Sci. 8(3), Paper No. 41 (2021)
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., Robles, N., Roy, A., Zaharescu, A.: Koshliakov kernel and identities involving the Riemann zeta function. J. Math. Anal. Appl. 435(2), 1107–1128 (2016)
Dixit, A., Roy, A.: Analogue of a Fock-type integral arising from electromagnetism and its applications in number theory. Res. Math. Sci. 7(25), 1–33 (2020)
Dixon, A.L., Ferrar, W.L.: Some summations over the lattice points of a circle(I). Quart. J. Math. 5, 48–63 (1934)
Dixon, A.L., Ferrar, W.L.: Infinite integrals of Bessel functions. Quart. J. Math. 1, 161–174 (1935)
Dorigoni, D., Kleinschmidt, A.: Resurgent expansion of Lambert series and iterated Eisenstein integrals. Commun. Number Theory Phys. 15(1), 1–57 (2021)
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)
Edgar, G.A.: Transseries for beginners. Real Anal. Exchange 35(2), 253–309 (2010)
Erdös, P.: On arithmetical properties of Lambert series. J. Indian Math. Soc. (N.S.) 12, 63–66 (1948)
Gradshteyn, I.S., Ryzhik, I.M.: eds.: Table of Integrals, Series, and Products. In: D. Zwillinger, V. H. Moll (eds.), 8th edn. Academic Press, New York (2015)
Guinand, A.P.: Functional equations and self-reciprocal functions connected with Lambert series. Quart. J. Math. 15, 11–23 (1944)
Guinand, A.P.: Some rapidly convergent series for the Riemann \(\Xi \)-function. Quart. J. Math. 6, 156–160 (1955)
Guinand, A.P.: Concordance and the harmonic analysis of sequences. Acta Math. 101(3), 235–271 (1959)
Han, G.-N.: The Nekrasov–Okounkov hook length formula: refinement, elementary proof, extension and applications. Ann. Inst. Fourier 60, 1–29 (2010)
Han, G.-N., Ji, K.Q.: Combining hook length formulas and BG-ranks for partitions via the Littlewood decomposition. Trans. Am. Math. Soc. 363(2), 1041–1060 (2011)
Hardy, G.H.: The resultant of two Fourier kernels. Math. Proc. Camb. Philos. Soc. 31, 1–6 (1935)
Hardy, G.H., Titchmarsh, E.C.: Self-reciprocal functions. Quart. J. Math. Ser. 1, 196–231 (1930)
Jahnke, E., Emde, F.: Tables of Functions with Formulae and Curves, 4th edn. Dover, New York (1945)
de Jekhowsky, B.: Étude sur les fonctions de Bessel modifiées de première espèce d’ordre \(k\) entier à deux variables. J. Math. Pures Appl. IX. S’er. 41, 319–337 (1962)
de Jekhowsky, B.: Les fonctions de Bessel modifiées de première espèce d’ordre \(k\) entier à deux variables considérées comme les dégénérescences des fonctions hypergéométriques de P. Appell. Acad. Serbe Sci. Arts Bull. 45, Cl. Sci. math. natur., Sci. math., n. Sér. No. 7 , 1–8 (1969)
Kanemitsu, S., Tanigawa, Y., Yoshimoto, M.: On rapidly convergent series for the Riemann zeta-values via the modular relation. Abh. Math. Sem. Univ. Hambg. 72, 187–206 (2002)
Kanemitsu, S., Tanigawa, Y., Tsukada, H.: Some number theoretic applications of a general modular relation. Int. J. Number Theory 2(4), 599–615 (2006)
Katayama, K.: Ramanujan’s formulas for \(L\)-functions. J. Math. Soc. Japan 26(2), 234–240 (1974)
Kim, S.K.: The asymptotic expansion of a hypergeometric function \({}_2F_2(1; \alpha ; \rho _1; \rho _2; z)\). Math. Comp. 26(120) (1972)
Komori, Y., Matsumoto, K., Tsumura, H.: Barnes multiple zeta-functions, Ramanujan’s formula, and relevant series involving hyperbolic functions. J. Ramanujan Math. Soc. 28(1), 49–69 (2013)
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)
Laurinc̆ikas, A.: One transformation formula related to the Riemann zeta-function. Integral Transforms Spec. Funct. 19(8), 577–583 (2008)
Lerch, M.: Sur la fonction \(\zeta (s)\) pour valeurs impaires de l’argument. J. Sci. Math. Astron. pub. pelo Dr. F. Gomes Teixeira Coimbra 14, 65–69 (1901)
Lukkarinen, M.: The Mellin transform of the square of Riemann’s zeta-function and Atkinson’s formula. Ann. Acad. Sci. Fenn. Math. Diss. 140 (2005), Suomalainen Tiedeakatemia, Helsinki
Mainra, V.P., Singh, B.: On the asymptotic expansion of \({\tilde{\omega }}_{\mu ,\gamma }(x)\). J. Birla Inst. Tech. Sci. 2, 64–70 (1970)
Marichev, O.I.: Handbook of Integral Transforms of Higher Transcendental Functions: Theory and Algorithmic Tables, The Ellis Horwood Series in Mathematics and its Applications: Statistics and Operational Research, E. Horwood (1983)
Masirević, D.J., Parmar, R.K., Pogany, T.K.: \((p, q)\)-Extended Bessel and modified Bessel functions of the first kind. Results Math. 72(1–2), 617–632 (2017)
Mitra, S.C.: On a theorem in the generalised Fourier transform. Can. Math. Bull. 10(5), 699–709 (1967)
Narain, R.: The \(G\)-functions as unsymmetrical Fourier kernels. I. Proc. Am. Math. Soc. 13(6), 950–959 (1962)
Oberhettinger, F.: Tables of Mellin Transforms. Springer, New York (1974)
Oberhettinger, F., Soni, K.L.: On some relations which are equivalent to functional equations involving the Riemann zeta-function. Math. Z. 127, 17–34 (1972)
Olkha, G.S., Rathie, P.N.: On a generalized Bessel function and an integral transform. Math. Nachr. 51, 231–240 (1971)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
O’Sullivan, C.: Formulas for non-holomorphic Eisenstein series and for the Riemann zeta function at odd integers. Res. Number Theory 4, 36 (2018)
Paris, R.B., Kaminski, D.: Asymptotics and Mellin-Barnes Integrals, Encyclopedia of Mathematics and its Applications, 85. Cambridge University Press, Cambridge (2001)
Popov, A.I.: On some summation formulas (in Russian). Bull. Acad. Sci. L’URSS 7, 801–802 (1934)
Prudnikov, A.P., Brychkov, Y.A., Marichev, O.I.: Integrals and Series. Elementary Functions, vol. 1. Gordan and Breach, New York (1986)
Radchenko, D., Zagier, D.: Arithmetic properties of the Herglotz Function, submitted for publication, arXiv:2012.15805, https://arxiv.org/abs/2012.15805
Ramanujan, S.: On certain arithmetical functions. Trans. Camb. Philos. Soc. 22(9), 159–184 (1916)
Ramanujan, S.: Notebooks (2 volumes). Tata Institute of Fundamental Research, Bombay, 1957; 2nd edn (2012)
Ramanujan, S.: The Lost Notebook and Other Unpublished Papers. Narosa, New Delhi (1988)
Rudin, W.: Principles of Mathematical Analysis. International Series in Pure and Applied Mathematics, 3rd edn. McGraw-Hill, New York (1976)
Singh, B.: On certain expansions and integrals involving \({\tilde{\omega }}_{\mu, \nu }(x)\). Proc. Rajasthan Acad. Sci. 9, 9–22 (1962)
Singh, B.: On certain integrals involving \({\tilde{\omega }}_{\mu, \nu }(x)\). Mitt. Verein. Schweiz. Versich.-Math. 65, 55–62 (1965)
Straub, A.: Special values of trigonometric Dirichlet series and Eichler integrals. Ramanujan J. 41(1–3), 269–285 (2016)
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 the Riemann Zeta Function. Clarendon Press, Oxford (1986)
Varma, V.S.: On self-reciprocal functions involving infinite series. Math. Z. 81, 99–107 (1961)
Vlasenko, M., Zagier, D.: Higher Kronecker “limit’’ formulas for real quadratic fields. J. Reine Angew. Math. 679, 23–64 (2013)
Watson, G.N.: Some self-reciprocal functions. Quart. J. Math. 2, 298–309 (1931)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, 2nd edn. Cambridge University Press, London (1944)
Wigert, S.: Sur la série de Lambert et son application \(\grave{a}\) la théorie des nombres. Acta Math. 41, 197–218 (1916)
Witte, N.S.: Exact solution for the reflection and diffraction of atomic de Broglie waves by a travelling evanescent laser wave. J. Phys. A: Math. Gen. 31, 807–832 (1998)
Yakubovich, S.: A general class of Voronoi’s and Koshliakov–Ramanujan’s summation formulas involving \(d_k(n)\). Integral Transforms Spec. Funct. 22(11), 801–821 (2011)
Acknowledgements
The authors sincerely thank the referees for giving very nice suggestions which improved the exposition of the paper. They would also like to thank Olivia da Costa Maya, Professors Alexandru Zaharescu, Lin Jiu and Gaurav Dwivedi, respectively, for sending them the copies of references [17, 25, 53, 64]. They also thank Becky Burner, a library staff at the University of Illinois at Urbana-Champaign, for procuring the copies of [20, 82], Dr. T. S. Kumbar, the librarian at IIT Gandhinagar for obtaining a copy of [18] and Suresh Kumar, the librarian at the Harish-Chandra Research Institute, for arranging a copy of [19]. The first author’s research was supported by the CRG grant CRG/2020/002367. He sincerely thanks SERB for the support. The third author’s research was supported by the Grant IBS-R003-D1 of the IBS-CGP, POSTECH, South Korea and by IIT Gandhinagar. He sincerely thanks both the institutes for the support.
Author information
Authors and Affiliations
Corresponding author
Additional information
In memory of Srinivasa Ramanujan.
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., Kesarwani, A. & Kumar, R. Explicit transformations of certain Lambert series. Res Math Sci 9, 34 (2022). https://doi.org/10.1007/s40687-022-00331-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40687-022-00331-5
Keywords
- Bessel functions
- Watson kernel
- Modular transformations
- Ramanujan’s formula for odd zeta values
- Sums-of-squares function