arXiv:1912.01199v1 [math.NT] 3 Dec 2019 ewrsadphrases. and Keywords 2,p 3 qain(..) o Re( for (2.1.1)] Equation 13, p. [23, ucinlequation. functional yaayi continuation. analytic by andi ytasomn h elntasomrepresentat transform Mellin the transforming by it tained ti elkonta for that well-known is It n h eeecsteen(e lo[0) n[,Scin4] Section [9, In [10]). also (see therein references the and eto ]fudasotpofo 11 yuigteboundedly the using by (1.1) exam for of found, proof be short can ⌊ a proof found This 5] Section latter. the evaluating then xetfrasml oeat pole simple a for except h bv eutas holds also result above The hoe 1.1. Theorem (2.17.3)]. Equation 37, p. [23, 2,p 36] p. [23, x ⌋− 1 eea roso 11 r vial nteltrtr.For literature. the in available are (1.1) of proofs Several 2010 n ftefnaetlrslsi h hoyof theory the in results fundamental the of One ent htwhen that note We h uwt eafunction zeta Hurwitz The e 1 .27 hoe 12.6]. Theorem 257, p. [1, See ζ x ( NHRIZZT UCINADLME FUNCTIONS LOMMEL AND FUNCTION ZETA HURWITZ ON ahmtc ujc Classification. Subject Mathematics ,a s, + oua-yetasomto novn nnt eiso H functions. of Lommel series involving those infinite involving transformation modular-type einn ihHriesfrua h i st eelanice a reveal to is aim The formula. Hermite’s with beginning Abstract. n pca aeo h omlfunction Lommel the of case special a and 2 1 = ) erfrterae neetdi nwn h aiu proof various the knowing in interested reader the refer We . eiae oPoesrBueC ento h caino his of occasion the on Berndt C. Bruce Professor to Dedicated 2Γ(1 (2 For π eoti e ro fHrizsfruafrteHrizzet Hurwitz the for formula Hurwitz’s of proof new a obtain We ) − 1 uwt eafnto,Lme ucin,Reanzt func zeta Riemann functions, Lommel function, zeta Hurwitz 0 − s s a < ) a ( ,teaoefruardcst h ucinleuto of equation functional the to reduces formula above the 1, = ζ sin ( ≤ 1 ,a s, s for 1 ihrsde1 n that and 1, residue with 1 = TLDXTADRHLKUMAR RAHUL AND DIXIT ATUL ζ a eaayial otne oteentire the to continued analytically be can ) and ( 1 2 ,a s, Re( πs ζ sdfie o Re( for defined is ) Re( ( s s ,a s, 1. ) ) n X rmr 10,1M5 eodr 31,33C47. 33C10, Secondary 11M35; 11M06, Primary ∞ =1 < < s Introduction := ) ) 1 .wihcnte ese ob refrall for true be to seen be then can which 0. cos(2 < if 0 n n X S , 0 ∞ 1 1 =0 µ,ν − πna < a < s ( ( z n .Ti oncini sdt ehaea rephrase to used is connection This ). ζ ) + ( 1 cos + ,a s, a 1 s ) . ) s stefloigfruao Hurwitz of formula following the is ) . rizzt ucini em of terms in function zeta urwitz > o of ion ζ aeis,Tngw,Tsukada Tanigawa, Kanemitsu, , ( and 1 2 1 s, πs oncinbetween connection xml,Hrizhmefob- himself Hurwitz example, )= 1) l,i 2,p 7.Brd [4, Berndt 37]. p. [23, in ple, ζ ovretFuirsre of series Fourier convergent ( n X ,a s, a ∞ =1 0hbirthday 80th ζ ∈ ( salo nerland integral loop a as ) s sin(2 C fti oml o[9] to formula this of s function a ). in emt’ formula, Hermite’s tion, \{ n 1 x πna − s s ∈ cmlxplane -complex R ) ζ ζ ) ( ( : ,a s, ,a s, . x ) ) ≤ s 0 (1.1) } ζ ∈ ( by s C ) 2 ATUL DIXIT AND RAHUL KUMAR and Yoshimoto obtained a new proof of (1.1). Their proof commences with employing [9, Equation (4.1)] (see also [11, Equation (47)]) 1 a1−s ζ(s, a)= a−s + 2 s 1 ∞ − e−2πina e2πina + Γ(1 s, 2πina)+ Γ(1 s, 2πina) , ( 2πina)1−s − − (2πina)1−s − n=1 X − which is a special case of the Ueno-Nishizawa formula [24] and then invoking the Fourier series of the Dirac-delta function δ(s). The aim of this note is to give a yet another new proof of (1.1) beginning with Hermite’s well-known formula for ζ(s, a) [16, p. 609, Formula 25.11.29], valid for Re(a) > 0 and s = 1: 6 1 a1−s ∞ sin(s tan−1(x/a)) dx ζ(s, a)= a−s + + 2 . (1.2) 2 s 1 (a2 + x2)s/2 (e2πx 1) − Z0 − The novelty of this proof is that it reveals the connection between Hurwitz zeta function and the Lommel functions sµ,ν(z) and Sµ,ν(z) which, to the best of our knowledge, seems to have been unnoticed before. The Lommel functions are defined by [25, p. 346, equation (10)] zµ+1 1 1 3 1 1 3 1 s (z)= F 1; µ ν + , µ + ν + ; z2 . (1.3) µ,ν (µ ν + 1)(µ + ν + 1) 1 2 2 − 2 2 2 2 2 −4 − and [25, p. 347, equation (2)]
µ−1 µ−ν+1 µ+ν+1 2 Γ 2 Γ 2 S (z)= s (z)+ (1.4) µ,ν µ,ν sin(νπ ) 1 1 cos (µ ν)π J (z) cos (µ + ν)π J (z) × 2 − −ν − 2 ν for ν / Z, and ∈ µ ν + 1 µ + ν + 1 S (z)= s (z) + 2µ−1Γ − Γ (1.5) µ,ν µ,ν 2 2 1 1 sin (µ ν)π J (z) cos (µ ν)π Y (z) × 2 − ν − 2 − ν for ν Z, where Jν(z) and Yν(z) are Bessel functions of the first and second kinds respectively. The Lommel∈ functions are the solutions of an inhomogeneous form of the Bessel differential equation [25, p. 345], namely, d2y dy z2 + z + (z2 ν2)y = zµ+1. dz2 dz − Lommel functions arise in mathematics, for example, in the theory of positive trigonometric sums[12]. Outside of mathematics, Lommel functions have been found to be very useful in physics as well as mathematical physics. See, for example, [2, 7, 20, 22]. Lewis [14] studied a special case of Sµ,ν(z), that is,
s(z)= √zΓ(2s + 1)S 1 1 (z), (1.6) C −2s− 2 , 2 and represented it in terms of the incomplete gamma function. Lewis and Zagier [13] repre- sented the period functions for Maass wave forms with spectral parameter s in terms of an infinite series of s(z), and in the course of which they gave different representations for this special case of theC Lommel function. See [13, p. 214, Proposition 1]. ONHURWITZZETAFUNCTIONANDLOMMELFUNCTIONS 3
In the present work, we require a new integral representation for this special case of the Lommel function Sµ,ν(z) which, to the best of our knowledge, does not seem to have been explicitly stated anywhere including [13]. This is derived in Lemma 2.1. Another ingredient needed in our proof of (1.1) is a recent result of Mairevi [15, Theorem 2.1] (see also [3, p. 176, Theorem 5.23]) which states that for all m N 0 , ν R, x (0, 2π) and µ> max ν 1,ν 2, 1 , ∈ ∪ { } ∈ ∈ − − − − 2 ∞ s (kx) xµ+1 1+ µ ν 1+ µ + ν µ,ν = Γ − Γ k2m+µ+1 4 2 2 Xk=1 ( 1)mπ x 2m−1 − × 2Γ(m +1+(µ ν)/2)Γ(m +1+(µ + ν)/2) 2 − m ( 1)nζ(2m 2n) x 2n + − − . (1.7) Γ(n +1+(1+ µ ν)/2)Γ(n +1+(1+ µ + ν)/2) 2 ! Xn=0 − 2. A new proof of Hurwitz’s formula using Hermite’s formula (1.2) Here we prove Theorem 1.1. To do that, however, we first need a lemma which evaluates an integral in terms of the Lommel function Sµ,ν(z). This lemma seems to be new.
Lemma 2.1. Let the Lommel function Sµ,ν(z) be defined in (1.4) and (1.5). For k N and a> 0, we have ∈ ∞ −2πkx −1 e sin(s tan (x/a)) s− 1 dx = s√a(2πk) 2 S 1 1 (2πak). (2.1) (a2 + x2)s/2 −s− 2 , 2 Z0 Proof. We first prove the above result for Re(s) < 0 and then extend it to all s C by analytic continuation. ∈ Using the inverse Mellin transform representation of the exponential function, for c1 := Re(ξ) > 0 and k > 0, 1 Γ(ξ) y−ξ dξ = e−2πky, (2.2) 2πi (2πk)ξ Z(c1) d+i∞ where here, and throughout the paper, (d) will always mean the integral d−i∞ . Also, from [17, p. 193, Formula 5.19], for 1 < c := Re(ξ) < Re(s), R − 2 R −1 y 1 Γ(s ξ)Γ(ξ) πξ ξ−s −ξ sin s tan a − sin a y dξ = s . (2.3) 2πi Γ(s) 2 (y2 + a2) 2 Z(c2) From (2.2), (2.3) and Parseval’s identity [18, p. 82, Equation (3.1.11)] ∞ 1 g(x)h(x) dx = G(1 s)H(s) ds, 2πi − Z0 Z(c) where G and H are Mellin transforms of g and h respectively, for c := Re(ξ) < Re(s) and 1 < Re(ξ) < 1, − ∞ e−2πkx sin(s tan−1(x/a)) 2 Γ(ξ)Γ(1 ξ)Γ(s ξ) πξ 2 dx = − − sin aξ−s dξ (a2 + x2)s/2 2πi (2πk)1−ξ Γ(s) 2 Z0 Z(c) a−s 1 πΓ(s ξ) = − (2πk)ξ−1aξ dξ Γ(s) 2πi (c) πξ Z cos 2 4 ATUL DIXIT AND RAHUL KUMAR
a−s 1 1+ ξ 1 ξ = Γ Γ − Γ(s ξ)(2πk)ξ−1aξ dξ, Γ(s) 2πi 2 2 − Z(c) where we used the reflection formula for the gamma function. Replacing ξ by ξ, we see that for c := Re(ξ) > Re(s) and 1 < Re(ξ) < 1, − − − ∞ e−2πkx sin(s tan−1(x/a)) a−s 1 1+ ξ 1 ξ 2 dx = Γ Γ − Γ(s + ξ)(2πak)−ξ dξ. (a2 + x2)s/2 2πkΓ(s) 2πi 2 2 Z0 Z(c) (2.4) To evaluate the integral on the right-hand side of the above equation, first consider 1 1+ ξ 1 ξ I (z) := Γ Γ − Γ(s + ξ)z−ξ dξ, (2.5) s 2πi 2 2 Z(c) where c = Re(ξ). We evaluate the above integral first for z < 1, z / ( 1, 0] and then extend it later to all z C ( , 0] by analytic continuation.| | Consider∈ − the contour formed by the line segments∈ [c \iT,−∞ c + iT ], [c + iT, λ + iT ], [ λ + iT, λ iT ] and [ λ iT, c iT ], where λ / Z,λ> 1.− Observe that the integrand− on− the right-hand− − side of (2.5)− −has simple− poles at ∈ λ−1 ξ = s m, 0 m λ Re(s) , and ξ = 2n 1, where 0 n 2 due to Γ(s ξ) − −1+ξ ≤ ≤ ⌊ − ⌋ − − ≤ ≤ ⌊ ⌋ − and Γ 2 respectively. (Note that since Re(s) < 0, there will not be any pole of order 2.) (−1)mzm+sπ The residues of the integrand at these poles can be easily calculated to be π and m! cos( 2 (m+s)) 2( 1)nz2n+1Γ( 1 2n + s) respectively. By employing Stirling’s formula in a vertical strip α − c β [16,− p. 141,− Formula 5.11.9], namely, ≤ ≤ 1 1 1 1 Γ(c + iT ) = (2π) 2 T c− 2 e− 2 π|T | 1+ O , (2.6) | | | | T | | as T , we see that the integrals along horizontal segments go to 0 as T . Hence by| Cauchy’s|→∞ residue theorem, we obtain → ∞
− ⌊ λ 1 ⌋ ⌊λ−Re(s)⌋ m 2 s ( z) n 2n Is(z)= πz − + 2z ( 1) z Γ( 1 2n + s) m! cos π (m + s) − − − m=0 2 n=0 X X 1 1+ ξ 1 ξ + Γ Γ − Γ(s + ξ)z−ξ dξ. (2.7) 2πi 2 2 Z(−λ) Next, we show that as λ , →∞ 1 1+ ξ 1 ξ Γ Γ − Γ(s + ξ)z−ξ dξ 0. (2.8) 2πi 2 2 → Z(−λ) By (2.6), we find that as t , | |→∞ 1 λ it π Γ ± − = O t ±λ/2e− 4 |t| , (2.9) 2 λ | | and
π Γ(s λ + it) = O (t + Im(s)) −λ+Re(s)−1/2e− 2 |(t+Im(s))| . (2.10) | − | | | ONHURWITZZETAFUNCTIONANDLOMMELFUNCTIONS 5
Upon making change of variable ξ = λ + it and then using (2.9) and (2.10), we see that − 1+ ξ 1 ξ Γ Γ − Γ(s + ξ)z−ξ dξ (−λ) 2 2 Z 1 ∞ 1 λ + it 1+ λ it = Γ − Γ − Γ( s λ + it)zλ−it dt i 2 2 − Z−∞ M −λ+Re(s)−1/2 π π = z λ O(1) dt + z λ O (t + Im(s)) e− 2 |t|− 2 |(t+Im(s))| dt | | −M | | |t|≥M | | Z Z = O( z λ), | | where M is a large enough positive real number. Since z < 1, as λ , we arrive at (2.8). Therefore by (2.7) and (2.8), for z < 1, z / ( 1, 0], | | →∞ | | ∈ − ∞ m ∞ s ( z) n 2n Is(z)= πz −π + 2z ( 1) z Γ( 1 2n + s). (2.11) m! cos 2 (m + s) − − − mX=0 nX=0 Now observe that both sides of above equation are analytic, as functions of z, in C ( , 0]. Therefore (2.11) holds for all z C ( , 0] by analytic continuation. Hence letting\ −∞z = 2πak, a > 0, k N, in (2.11) and∈ simplifying\ −∞ the resulting first sum by splitting it into two sums, one over∈ even m and other over odd m and by rephrasing the resulting second sum into a 1F2 using the reflection and duplication formulas of the gamma function, we obtain 2π(2πak)s π s 3 s I (2πak)= sin (4ak + s) + 4πakΓ(s 1) F 1; 1 , − ; a2π2k2 . s sin(πs) 2 − 1 2 − 2 2 − (2.12) Equation (2.1) now follows from (1.3), (1.4), (2.4), (2.5) and (2.12). This completes the proof for Re(s) < 0. Now using an argument similar to that in [26, p. 269-270], one can show that the left-hand side of (2.1) is an entire function of s. The right-hand side of (2.1) is also analytic in the whole s-complex plane except for possible poles at s = 1, 2, 3 . However, · · · as shown in [25, p. 347-349], the Lommel function Sµ,ν(z) has a limit when µ + ν or µ ν are odd negative integers. Since the positive integer values of s render the µ + ν and µ − ν − of our special case of the Lommel function, namely, S 1 1 (2πak), to fall precisely in this −s− 2 , 2 category, we see that s = 1, 2, 3, are indeed removable singularities of the right-hand side. Therefore both sides of (2.1) are· · entire · functions of s, and hence the equality follows for all s C by analytic continuation. ∈ We are now ready to prove Theorem 1.1. Proof of Theorem 1.1. The proof is divided into two cases.
Case 1: 0
(2.13), we have, for a> 0 and s = 1, 6 1−s ∞ 1 1 1 a 1 S−s− , (2πak) −s s− 2 2 2 ζ(s, a)= a + + 2s√a(2π) 1 2 s 1 k 2 −s − Xk=1 1−s ∞ 1 1 1 a 1 1 s−s− , (2πak) −s s− 2 2 2 = a + + 2√a(2π) Γ(s + 1) 1 2 s 1 Γ(s) k 2 −s − Xk=1 (2π)s sin π (4ak + s) + 2 , (2.14) sin(πs) k1−s where in the second step, we used (1.4). This is the first instance where the infinite series on the right-hand side of (1.1) makes its conspicuous presence. 1 1 Now let m = 0, µ = s 2 , ν = 2 and x = 2πa in (1.7) and then use ζ(0) = 1/2 to deduce that for s< 0 and− 0− ∞ s 1 1 (2πak) 1−s −s− 2 , 2 1 1 −s a 1 = − 1 a + . (2.15) k 2 −s 2s√a(2π)s− 2 2 s 1 Xk=1 − Hence from (2.14) and (2.15), ∞ (2π)s sin π (4ak + s) ζ(s, a)= 2 , Γ(s) sin(πs) k1−s k=1 X which readily gives (1.1). This completes the proof of Theorem 1.1 for s < 0. Since both sides of (1.1) are analytic for Re(s) < 0, we conclude that (1.1) is valid for Re(s) < 0. If 0 Case 2: a = 1. We first prove the result for s< 1 and then extend it to all complex s by analytic continu- ation. From (2.14) and the fact that− ζ(s, 1) = ζ(s) for all s C, we have ∈ ∞ 1 1 s π 1 1 1 1 s−s− , (2πk) (2π) sin (4k + s) s− 2 2 2 2 ζ(s)= + + 2(2π) Γ(s + 1) 1 + 1−s . 2 s 1 Γ(s) 2 −s sin(πs) k − k=1 k X (2.16) ∞ s 1 1 (2πk) −s− 2 , 2 We now wish to evaluate in closed form the series 1 , which is indeed conver- 2 −s k=1 k ∞ s−1 π X gent for s< 1 since k=1 k sin 2 (4k + s) converges for s< 1. However, one− should be careful as (1.7) cannot be applied here. This− is because, it requires x (0, 2π), whereas hereP we need x in (1.7) to be 2π. Thankfully, Mairevi has also obtained ∈ ONHURWITZZETAFUNCTIONANDLOMMELFUNCTIONS 7 the following result [15, Theorem 2.2] where 0 x 2π,m N and µ> 0: ≤ ≤ ∈ ∞ 3 1 m n−1 sµ− , (kx) 1 1 π ( 1) ζ(2n) 2 2 m−1 2m+µ− 2 1 = ( 1) x Γ(µ 1) − + 2 − 2n . 2m+µ− 2 2 − − xΓ(2m + µ) Γ(2m + µ + 1 2n)x k=1 k n=0 − ! X X (2.17) Even though x can equal 2π in the above result, note that m has to be a natural number, ∞ s 1 1 (2πk) −s− 2 , 2 whereas, to evaluate the series 1 using (2.17), we would require m = 0. To 2 −s k=1 k circumvent this problem, we firstX employ the well-known result [8, p. 946, Formula 8.575.1], s (z)= zµ+1 [(µ + 1)2 ν2]s (z). (2.18) µ+2,ν − − µ,ν Use (2.18) with µ = s 5/2, ν = 1/2 and z = 2πk so that − − ∞ ∞ 3 2 ∞ s 1 1 (2πk) −s− 2 s 5 1 (2πk) −s− 2 , 2 (2πk) 3 1 −s− 2 , 2 1 = 1 s + 1 . (2.19) k 2 −s k 2 −s − ( 2 − 4) k 2 −s Xk=1 Xk=1 Xk=1 We now transform the second series on the right-hand side of the above equation using (2.17). Before we do that, however, we need the well-known result ζ(0) = 1/2, which can be proved without using the functional equation of ζ(s) so that circular reasoning− is avoided. For example, one can put s = 0 in the following formula [23, p. 14, Equation (2.1.4)] ∞ [x] x + 1/2 1 1 ζ(s)= s − dx + + (Re(s) > 1), xs+1 s 1 2 − Z1 − to conclude that ζ(0) = 1/2. Let m = 1, x = 2π and−µ = s 1 in (2.17) so that for s< 1, − − − ∞ s−s− 5 , 1 (2πk) 1 1 1 1 1 2 2 2 −s 1 = (2π) Γ( s 2) + + , (2.20) k 2 −s 2 − − −2Γ(1 s) Γ(2 s) 12Γ( s) Xk=1 − − − ∞ 1 2 where we used ζ(0) = 1/2 and ζ(2) = 2 = π /6. − k=1 k Substitute (2.20) in (2.19) and simplify using the functional equation of the gamma function to arrive at P ∞ s 1 1 (2πk) −s− 2 , 2 1 1 1 1 = 1 + . (2.21) k 2 −s −2s(2π)s− 2 2 s 1 Xk=1 − Comparing the above equation with (2.15), we see that (2.15) holds for a = 1 too. Using (2.21) in (2.16), we arrive at 2Γ(1 s) πs ζ(s)= − sin ζ(1 s) (2π)1−s 2 − for s< 1. The result then follows for all complex s by analytic continuation. − 3. A modular-type transformation involving the Lommel function S 1 1 (z) −s− 2 , 2 Modular-type transformations are the ones governed by the map α β, where αβ = 1. An equivalent way to say this using the language of modular forms is→ that they consist of functions which transform nicely under z 1/z, Im(z) > 0. But they may not transform nicely under z z +1, hence the nomenclature→− modular-type transformations. For a detailed survey on modular-type→ transformations, the reader is referred to [6]. 8 ATUL DIXIT AND RAHUL KUMAR The following modular-type transformation involving infinite series of Hurwitz zeta func- tion was obtained by the first author in [5, Theorem 1.4] as a generalization of a transforma- tion of Ramanujan [5, Theorem 1.1] on page 220 of the Lost Notebook [19]. Theorem 3.1. Let 0 < Re(s) < 2. Define ϕ(s,x) by 1 x1−s ϕ(s,x) := ζ(s,x) x−s + . − 2 1 s − If α and β are any positive numbers such that αβ = 1, ∞ ∞ s ζ(s) ζ(s 1) s ζ(s) ζ(s 1) α 2 ϕ(s,nα) − = β 2 ϕ(s,nβ) − − 2αs − (s 1)α − 2βs − (s 1)β n=1 − ! n=1 − ! X s−4 X 8(4π) 2 ∞ s 2+ it s 2 it t + i(s 1) = Γ − Γ − − Ξ − Γ(s) 4 4 2 Z0 t i(s 1) cos 1 t log α Ξ − − 2 dt, × 2 s2 + t2 1 where Ξ(t) := ξ 1 + it with ξ(s)= 1 s(s 1)π− 2 sΓ( 1 s)ζ(s). 2 2 − 2 In view of the first equality in (2.14), the modular-type transformation in the above result can be rephrased in the following form. s Corollary 3.2. Let 0 < Re(s) < 2 and let σs(n)= d|n d . Let Sµ,ν(z) be defined in (1.4). If α and β are any positive numbers such that αβ = 1, P ∞ s s− 1 s− 1 ζ(s) ζ(s 1) α 2 2s(2π) 2 √α σ1−s(m)m 2 S 1 1 (2πmα) − −s− 2 , 2 − 2αs − (s 1)α m=1 − ! X ∞ s s− 1 s− 1 ζ(s) ζ(s 1) = β 2 2s(2π) 2 β σ1−s(m)m 2 S 1 1 (2πmβ) − . −s− 2 , 2 − 2βs − (s 1)β m=1 ! p X − Proof. The result follows at once if we observe that from (2.14), ∞ ∞ ∞ 1 S−s− 1 , 1 (2πnkα) s− 2 2 2 ϕ(s,nα) = 2s(2π) √α √n 1 2 −s n=1 n=1 k=1 k X X∞ X s− 1 1−s s− 1 = 2s(2π) 2 √α n (nk) 2 S 1 1 (2πnkα) −s− 2 , 2 n,kX=1 ∞ s− 1 s− 1 = 2s(2π) 2 √α σ1−s(m)m 2 S 1 1 (2πmα). −s− 2 , 2 mX=1 Remark 1. The series in Corollary 3.2 should be compared with the series considered by ∞ s−1/2 Lewis and Zagier in [13, Equation (2.11)], namely, n=1 n An s(2πna), where s(z) is defined by (1.6). C C P Acknowledgements The first author’s research is partially supported by the SERB MATRICS grant MTR/2018/000251. He sincerely thanks SERB for the support. ONHURWITZZETAFUNCTIONANDLOMMELFUNCTIONS 9 References [1] Apostol, T.M.: Introduction to Analytic Number Theory, Springer-Verlag, New York (1998). [2] N. T. Adelman, Y. Stavsky and E. Segal, Axisymmetric vibrations of radially polarized piezoelectric ceramic cylinders, Journal of Sound and Vibration 38, no. 2 (1975), 245–254. [3] A.´ Baricz, D. J. Mairevi and T. K. Pogany, Series of Bessel and Kummer-type functions, Lecture Notes in Mathematics, 2207, Springer, Cham, 2017. [4] B. C. Berndt, On the Hurwitz zeta-function, Rocky Mountain J. Math. 2 No. 1 (1972), 151–157. [5] A. Dixit, Analogues of a transformation formula of Ramanujan, Int. J. Number Theory 7, No. 5 (2011), 1151-1172. [6] A. Dixit, Modular-type transformations and integrals involving the Riemann Ξ-function, Math. Student 87 Nos. 3-4 (2018), 47–59. [7] S. Goldstein, On the Vortex Theory of Screw Propellers, Proc. R. Soc. Lond. A 123 (1929), 440–465. [8] I.S. Gradshteyn and I. M. Ryzhik, eds., Table of Integrals, Series, and products, 7th ed., Edited by A. Jeffrey and D. Zwillinger, Academic Press, New York, 2007. [9] S. Kanemitsu, Y. Tanigawa, H. Tsukada and M. Yoshimoto, Contributions to the theory of the Hurwitz zeta-function, Hardy-Ramanujan J. 30 (2007), 31–55. [10] S. Kanemitsu and H. Tsukada, 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. [11] S. Kanemitsu, K. Chakraborty and H. Tsukada, Ewald expansions of a class of zeta-functions, Springer- Plus 5 No. 1 (2016). [12] S. Koumandos and M. Lamprecht, The zeros of certain Lommel functions, Proc. Amer. Math. Soc. 140 No. 9 (2012), 3091–2100. [13] J. Lewis and D. Zagier, Period functions for Maass wave forms. I, Ann. Math. 153, No. 1 (2001), 191–258. [14] J. Lewis, Spaces of holomorphic functions equivalent to the even Maass cusp form, Invent. Math. 127 (1997), 271–306. [15] D. J. Mairevi, Summations of Schlmilch series containing some Lommel functions of the first kind terms, Integral Transforms Spec. Funct. 27(2), 153-162. [16] F. W. J. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, eds., NIST Handbook of Mathematical Functions, Cambridge University Press, Cambridge, 2010. [17] F. Oberhettinger, Tables of Mellin Transforms, Springer-Verlag, New York, 1974. [18] R. B. Paris and D. Kaminski, Asymptotics and Mellin-Barnes Integrals, Encyclopedia of Mathematics and its Applications, 85. Cambridge University Press, Cambridge, 2001. [19] S. Ramanujan, The Lost Notebook and Other Unpublished Papers, Narosa, New Delhi, 1988. [20] M. R. Sitzer, Stress distribution in rotating aeolotropic laminated heterogeneous disc under action of a time-dependent loading, Z. Angew. Math. Phys. 36 (1985), 134–145. [21] N. M. Temme, Special functions: An introduction to the classical functions of mathematical physics, Wiley-Interscience Publication, New York, 1996. − [22] B. K. Thomas and F. T. Chan, Glauber e + He elastic scattering amplitude: A useful integral represen- tation, Phys. Rev. A 8, 252–262. [23] E. C. Titchmarsh, The Theory of the Riemann Zeta Function, Clarendon Press, Oxford, 1986. [24] K. Ueno and M. Nishizawa, Quantum groups and zeta-functions, in Quantum Groups: Formalism and Applications, Lubkierski et al (eds), Proceedings of the Thirtieth Karpacz Winter School (Karpacz) (1994), Polish Sci. Publ. PWN, Warsaw, pp 115–126. [25] G.N. Watson, A Treatise on the Theory of Bessel Functions, second ed., Cambridge University Press, London, 1994. [26] E. T. Whittaker and G. N. Watson, A Course of Modern Analysis, Cambridge University Press, 1996. Department of Mathematics, Indian Institute of Technology, Gandhinagar, Palaj, Gandhi- nagar 382355, Gujarat, India E-mail address: [email protected]; [email protected]