Some integrals of the Dedekind η-function

Transcription

1 Some integrals of the Dedekind η-function arxiv:9.768v [math.nt] 22 Jan 29 Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 84 Department of Mathematics University of Colorado Boulder, CO 89 USA December 27, 28 Abstract Let η be the weight /2 Dedekind function. A unification and generalization of the integrals f(x)η n (ix)dx, n,, of Glasser [] is presented. Simple integral inequalities as well as some n 2, 4, 6, 8, 9, and 4 examples are also given. A prominent result is that η 6 (ix)dx xη 6 (ix)dx 8π ( ) Γ(/4) 2, Γ(/4) where Γ is the Gamma function. The integral x lnx η(ix)dx is evaluated in terms of a reducible difference of pairs of the first Stieltjes constant γ (a). Key words and phrases Dedekind function, integral, functional equation, Dirichlet β function, Gamma function, Gauss hypergeometric function, complete elliptic integral of the first kind 2 AMS codes F2, E2

2 . Introduction and preliminaries The Dedekind η function is a modular form of weight /2 and level, defined on the upper half plane of C, having general functional equation η ( ) aτ +b ǫ(cτ +d) /2 η(τ), cτ +d where ǫ 24, a, b, c, and d are integers, and ad bc. Indeed, ǫ ǫ(a,b,c,d) may be made explicit (e.g., Theorem.4 of [4]). If c, then simply ǫ(,b,,) exp(iπb/2). If c >, ǫ may be expressed in terms of a Dedekind sum. 2 It follows that η(τ +) e iπ/2 η(τ), η ( ) iτη(τ). (.) τ The latter relation will specifically be useful later. It follows that there are special values, for instance, for η(ji) and η(i/j), j N +. Many of these values, including η(ji), involve the factor Γ(/4), where Γ is the Gamma function. With q exp( 2πx), η has the product development η(ix) q /24 ( q n ). n This function has the series representation [2] η(ix) 2 cos[(2n+)π/6]q (2n+)2/24 q /24 ( ) n q n(n )/2, (.2) n and via Jacobi s triple identity, η (ix) n ( ) n (2n+)q (2n+)2/8 q /8 ( ) n (2n+)q n(n+)/2. (.) n We may note that in (.2), cos[(2n+)π/6]/2 is similar to a real-valued Dirichlet character χ 2 (n)modulo2. Theη functionisrelatedtoseveral thetaseries. Example sources of further information on η are Ch. 8.8 of [5] and Ch. of [4]. Then the identity transformation of the modular group Γ with b is obvious. 2 However, there is no obvious doubling formula relating η(2τ) to η(τ). n 2

3 The Dedekind eta function is of interest in number theory, combinatorics, and conformal field theory (e.g., [2,, ]). An example is that by applying the Weyl- Kac character formula and the denominator identities, it is possible to find numerous combinatorial identities. We mention such identities further in section 2. Inordertomoreeasilyconnect withotherareas, wementionq seriesandq product notation for the η function. Let (α) m (α;q) m m i ( αqi ), with q < and m an integer, so that η(τ) q /24 (q;q), where τ lnq/(2πi). Then the generating function for the number of partitions of n, p(n), is given by p(n)q n n From the Durfee square there is the identity (q;q) q/24 η(τ). n q n2 (q;q) 2 n q/24 (q;q) η(τ) ( q n ), n and this extends to n z n q n2 (q;q) n (zq;q) n (zq;q). In[],GlasserusedLaplaceandFouriertransformstogivesomeintegrals f(x)η n (ix)dx, for n and n. Other such integrals were presented in the Appendix of [] without further elaboration. In this paper, we especially unify and generalize many of the entries of that Appendix. Accordingly, we also introduce the Dirichlet β function β(s) n [ ( ( ) n (2n+) s 4 s ζ s, ) ( ζ s, )], 4 4 where ζ(s,a) is the Hurwitz zeta function. The above series holds for Re s >, but β is extended to C through analytic continuation, with the following functional equation holding: ( π ) ssin ( πs ) β( s) Γ(s)β(s). 2 2

4 The famous and ubiquitous value β(2) G is the Catalan constant, such that [8] G π2 8 6π 2 k p mod 4 p 2 p 2 + π2 2 p mod 4 p 2 + p 2 2 x coshx dx [ ( ) ( )] γ k γ k [ ( ) ( )] ψ ψ, k! and γ k (a) are the Stieltjes constants [8, 7, 9] to be recollected in section 5. The products in this equation are taken over prime numbers p. We recall the polygamma functions ψ (j) (z) d j+ lnγ/dz j+. In particular for the digamma and trigamma functions at positive integer argument l, ψ(l) γ + l k k, ψ (l) π2 l 6 k 2, k where γ ψ() is the Euler constant. More generally, the polygamma functions at positive integer argument evaluate in terms of values of the Riemann zeta function ζ(s) ζ(s,) and generalized harmonic numbers H (r) n n k /kr : ψ (j) (n+) ( ) j+ j! [ ] ζ(j +) H n (j+), wherein ψ (j) () ( ) j+ j!ζ(j + ). In addition, ψ (j) (/2) may be determined in terms of the zeta function values ζ(j + ). The polygamma functions have several functional equations and many integral representations, including for j > ψ (j) (z) t z ln j t t dt. Reference [4] has considered integrals ( ) i4x η e b2x t(x)dx, π ( ) i4x η 6 t(x)dx, π wherein t(x) sin cx or cos cx. The method there is the application of Poisson summation. Below we mention a connection with our results in the very special case of c in Theorem.2 in [4]. While, for example, (.4) there is referred to 4

5 as Poisson summation, the trapezoidal sum T a n bf(n) readily follows from Euler summation according to the Fourier series for the periodized first and second Bernoulli polynomials B (x [x]) and B 2 (x [x]), where [.] is the greatest integer function. No integrals with η 2 (ix), η 4 (ix), η 6 (ix), or η 8 (ix) in the integrand appear in []. We provide such example results in the next section. Then we give another major result which unifies, depending upon the point of view, at least three of the entries of the Appendix of []. In a later section we show several equivalences of pairs or of triples, even of quintuples, of entries of that Appendix. This paper often uses the interchange of infinite series and integral. The various series involve functions e kn2x with a prefactor O(n) and fixed k > as n. As such, the interchange is justified on the basis of Levi s theorem for series of Lebesgueintegrable functions. 2. Integrals η k (ix)dx, k 2,4,6,8,9 The evaluations η(ix)dx 2π/ and η (ix)dx are known. We first provide an expression for η 2 (ix)dx in terms of a single-index infinite trigonometric series. Then we discuss and provide specific expressions for x j η 6 (ix)dx. Proposition. Let cos[(2m+)π/6] C {cot[( 5+i(2m+))π/2]+tan[( 5+i(2m+))π/2]}. 2m+ Then m n,m η 2 (ix)dx Im C. From (.2) we have η 2 (ix)dx 4 [ ] [ ] (2n+)π (2m+)π cos cos q [(2n+)2 +(2m+) 2 ]/24 dx π n,m cos[(2n + )π/6] cos[(2m + )π/6]. 2n(n+)+2m(m+)+ 5

6 The sum over n or m may be performed in terms of differences of pairs of digamma functions ψ Γ /Γ. With ψ(z) ψ( z) πcotπz, there results hence the evaluation. Proposition 2. (a) Let C 2 η 2 (ix)dx i (C C ), ( ) (2m+)π ( ) m (2m+)sech 2 m 8π ( ) 2 Γ(/4). Γ(/4) Then (b) (c) Let xη 6 (ix)dx η 6 (ix)dx C 2. η 6 (ix)dx C 2. C 2π Then m ( ) m sech [(m+/2)π)((2m+)π( +cosh(2m+)π)+2cosh((2m+)π)] (2m+) 2. (d) Let a,b >. Then the integral may be expressed in closed form. x 2 η 6 (ix)dx C. η (iax)η (ibx)dx (e) Let C 4 2 n [ cos (2n+) π ] sech 6 [ ] (2n+)π 2 6

7 Then n n,2,,5,6,8,9, mod 2 (f) We have the identity 5 n [ ] (2n+)π (±)sech 2 [ (6n+)π ( ) n sech 2 η 4 (ix)dx C 4. η 8 (iy)dy e iπ/ (a) The series follows from the use of (.), so that η 6 (ix)dx 2 π n,m ]. ( η 8 ix+ ) dx. 2 ( ) n+m (2n+)(2m+) 2n(n+)+2m(m+)+. For the closed form evaluation, we put y π in Entry 6(i) of Ch. 7 of [5]. Then C 2 z2 x( x), 2 where x /2 and z 2 F ( 2, 2 ;; 2 ) Γ(/4) 2πΓ(/4), and 2 F is the Gauss hypergeometric function [,, 2]. or (b) This result is equivalent to the summation identity n,m ( ) n+m (2n+)(2m+) [2n(n+)+2m(m+)+] 2 π ( ) (2m+)π ( ) m (2m+)sech π 2 8 m (c) Generally for integer j, x j η 6 (ix)dx 2j+ j! π j+ n,m n,m ( ) n+m (2n+)(2m+) [2n(n+)+2m(m+)+] 2, [ ( ) m csc 2 ] 4 (+i(2m+)π) sec2 4 (+i(2m+)π) m ( ) n+m (2n+)(2m+) [2n(n+)+2m(m+)+] j+. 7

8 When summed over n, pairs of differences of polygamma functions ψ (j), and of lower orders appear. The arguments of these functions are 4 ± i 4 (2m+) and 4 ± i 4 (2m+). As such, these difference pairs may be reduced. In the case of j 2, x 2 η 6 (ix)dx 6 π n,m ( ) n+m (2n+)(2m+) [2n(n+)+2m(m+)+]. When summed over n, there are two pairs of ψ and six pairs of ψ at the aforementioned arguments. Upon simplification, C results. (d) We have η (iax)η (ibx)dx n,m ( ) n+m (2n+)(2m+) q (2n+)2 /8 (ax)q (2m+)2 /8 (bx)dx 4 ( ) n+m (2n+)(2m+) π a(2n+) 2 +b(2m+) 2 n,m ( ) b ( ) m (2m+)sech a a (2m+)π. 2 m We now use entry 6(i) of Ch. 7 of [5] with y π. The result of the integration is where x is found from y via 2a z2 x( x), b a y π 2 F (/2,/2;; x). 2F (/2,/2;,x) Then k x, k x, K K(k), K K(k ), y πk /K, and z 2 π K. (e) Method. From (.2) and (.) we obtain η 4 (ix)dx 2 π m,n [ cos (2n+) π ] ( ) m (2m+) 6 [m 2 +n 2 +m+n+] C 4. 8

9 Method 2. We may use the Laplace transform e xy η (ix)dx ((4) or (A.) in []) and the unilateral and bilateral series in (.2). For instance, putting y (2n+) 2 π/2, and summing over n with the (2/ )cos[(2n+)π/6] coefficient, 2 [ cos (2n+) π ] 6 n n e (2n+)2 πx/2 η (ix)dx 2 [ ] (2n+)π [ sech 2 cos (2n+) π ]. 6 η 4 (ix)dx Method. We may put c in (.4) of Theorem. of [4], in which case A b and B there, giving the Laplace transform η (iy)e b2 πy/4 dy coshπb/2. Then we use the bilateral series in (.2) with b 2 4n(n )+/. Then summing over n we obtain η 4 (iy)dy n n [ cosh π 2 ( ) n ] 4n(n )+/ ( ) [ n ]. π cosh 2 (6n ) (f) This follows from application of the identity coming from either the product or series developments of η, ( η 8 (τ)+6η 8 (4τ) e iπ/ η 8 τ + ). 2 Remarks. An alternative series for C 2 is C 2 π ( ) m (2m+)Γ m [ 2 + i ] [ 2 (2m+) Γ 2 i ] 2 (2m+). The value of z above in part (a) comes from the complete elliptic integral of the first kind K K(/ 2). When y π as above, the modulus k / 2 k, the complementary modulus. 9

10 The summation of part (a) agrees with the degenerate case of c, A(n,c ) n, and B in (.7) of [4]. Then in the notation of that reference with χ(n) χ 4 (n), n η 6 (iy)dy n χ(n)n cosh(πn/2) k χ(n)n cosh(πn/2) cosh 2 (πn/2) k (2k +)( ) k coshπ(2k +)/2. (2k +)χ(2k +) coshπ(2k +)/2 Reference [4] mentions that the right sides of its (.6) and (.7) are not expressible in terms of elementary functions. But this is entirely expected, and does not rule out the possibility of closed form evaluation in certain instances in terms of special functions as parts (a) and (d) indicate. Part (d) is a partial answer to the challenge posed at the end of [4]. In addition, based upon the Weyl-Kac character formula, we have identities such as ([], p. 7) η(8τ)η(6τ) m,n Z m n ( ) m q (2m+)2 2n 2, and η(2τ)η(2τ) m,n Z m 2n ( ) m+n q (m+)2 (6n+) 2, have η(24τ)η(96τ) m,n Z 2m n ( ) n(n+)/2 q 8(m+)2 (2n+) 2 ( q 24(2m+) ). These lead to summation expressions and integral inequalities. For instance, we 2π ( 8 ( )) π 2πcot 8π 4 < η(8ix)η(6ix)dx < 2 2π. This follows by separating the m n term, so that η(8ix)η(6ix)dx 8 η(iy)η(2iy)dy Otherwise these equations are referred to as (.4) and (.5). q(x)dx+2 n n m n ( ) m q (2m+)2 2n 2 dx

11 2π + 2 π n n m n ( ) m [(2m+) 2 2n 2 ]. The left inequality follows by applying the result of partial fractions so that, from the m term, Similarly, n 2n 2 ( 8 ( )) π 2πcot η 2 (2ix)dx < 2π. In fact, for the latter integral, from Proposition we have Then Proposition. Let C 9 m,n η 2 (2ix)dx 2 η 2 (ix)dx 2 Im C. ) 2m(m+)+2n(n+)+ ( ) (2m+)(2n+)sech( m+n π. 2 η 9 (ix)dx C 4. We note that C 9 may be reducible to a one-dimensional sum via the use of entry 6(i) of Ch. 7 [5]. This is in reference to the use of the values K and K of the complete elliptic integral of the first kind. We have η 9 (ix)dx 4 π l,m,n After summing over l and simplifying, we obtain C 9. ( ) l+m+n (2l+)(2m+)(2n+) [4l(l+)+4m(m+)+4n(n+)+]. Omitting the proof, we mention the inequalities contained in the following. Proposition 4. (a) For j >, η j (ix)dx η j (ix)dx and (b) η j (ix)dx 2. (c)moregenerallythan(a),forj > andn, x n η j (ix)dx x n η j (ix)dx. πj 2.2 The value 2 F (/2,/2;,/2)

12 We discuss this factor which occurs in C 2 (cf. [], pp , 6). Through transformation formulae for 2 F, only herein very briefly mentioned (e.g., [2], p. 4), values 2 F (z) relate to those of 2 F [z/(z )]. Therefore, 2 F ( ) is proportional to 2 F (/2), and in the subject case, Kummer s identity applies, 2F (a,b;a b+; ) Γ(a b+)γ(a/2+) Γ(a+)Γ(a/2 b+). We also have the following elegant specialization of 2 F (a,b;2a; x): ( 2F 2, ) ( ) [ /2 2 2 ;; x 2F +x 4, ( ) ] 2 x 4 ;;. +x There results several identities, including with the complete elliptic integral of the first kind K: ( 2F 2, 2 ;, ) 2 ( 2F 2 4, 4 ;; 9 π Γ 2 (/4) 2 ( ) π K. 2 ) There are several other quadratic transformations of the function 2 F, but we refrain from further elaboration.. Generalization of A.2 and A.4 of [] The following generalizes the two subject entries, with several corollaries, including A.. Proposition 5. Let Re p >. Then η (ix)dx (x+a) y p /2 η (iy)dy p (+ay) p 2 x 2p e ax2 /π dx. π p (p )! coshx In the Appendix A of [], A.2 is the special case of p and A.4 is the special case of p /2, when ( /2)! Γ(/2) π. Corollary. x p η (ix)dx 4 π p Γ(2p) Γ(p) β(2p). 2

13 This follows as the a case of Proposition 4, Corollary 2. Noting that x p η (ix)dx 2 x 2p π p (p )! coshx dx. Γ(s) s γ +O(s), as s, Γ(2p) Γ(p) /2+O(p), and β(p) /2+O(p) as p, the p limit of Corollary gives as stated in A.4 of []. η (ix)dx, The importance of the variable p in Proposition 4 includes that we can then differentiate and/or integrate with respect to it, and/or sum over it. An example of the latter is the following. Corollary. Let f(p) coskp and sinkp and consider There results: and 2 π 2 π p f(p)η (ix) (x+a) p dx. [(a+x)cosk ] +(a+x) 2 2(a+x)cosk η (ix)dx xe ax2 /pi coshx cos(k +x2 sink/π)[cosh(x 2 cosk/π)+sinh(x 2 cosk/π]dx i (e 2ik )(a+x) 2 (e ik x a)((a+x)e ik ) η (ix)dx xe ax2 /π coshx sin(k +x2 sink/π)[cosh(x 2 cosk/π)+sinh(x 2 cosk/π]dx In regard to Proposition 5, we briefly mention the use of binomial expansion along withtheuseofthecorrectedformofa.5, thelatterwhichisdiscussed inthefollowing

14 section, η (ix)dx (x+a) ( p )a p l η (ix)x l dx p l l ( ) p a p l4l+ l! β(2l+). l πl+ l There are then many routes to Proposition 5 as the integral representation ζ(s,a) Γ(s) for Re s > and Re a >, gives for Re s > x s e (a )x dx, e x β(s) y s e y Γ(s) e 2y + dy y s dy 2Γ(s) coshy. The second equality inthepropositionfollows fromthe changeof variabley /x and the use of (.). We may then put a j and sum on j from to in Proposition 5 to have Corollary 4. η (ix)ζ(p,x)dx y /2 η (iy)ζ(p,/y)dy 2 x 2p dx π p (p )! coshx( e x2 /π ). In particular, this includes the cases for n, ζ( n,x) B n+ (x)/(n+), where B n (x) is the nth Bernoulli polynomial. 4. Integral equivalences Proposition 6. Integrals A., A.5, A.6, A.5, and A. of [] are equivalent. Here being also (4) in the text of [], e xy η (ix)dx sech πy, x /2 e a/x η (ix)dx sech πa, (A.) (A.5) 4

15 and e xy η (ix) dx x 2 π πy xsechx dx. (A.6) We have y e xy dy e xy /x for Re x >. Accordingly integrating both sides of (A.) and making a simple substitution on the right side shows the equivalence of (A.) and (A.6). We next use the substitution v /x in A.5 to write x /2 e a/x η (ix)dx v /2 e av η ( i v e av η (iv)dv sech πa. ) dv In the second step, we employed the second functional equation on the right side of (.). The equivalence of A. and A.5 is shown in Proposition 8. For the equivalence of A. and A.5 we use the generating function ze z e 2z + sechz n z n E n, z < π/2, n! where E n are the Euler numbers. The first nonzero few of these numbers are E, E 2, E 4 5, and E 6 6. Then by expanding both sides of A. in powers of y and using that E 2n+, we find that x n η (ix)dx ( ) n n! (2n)! πn E 2n 4n+ n! β(2n+). πn+ Therefore, the equivalence of all five integrals is shown. and Proposition 7. Integrals A.8 and A. of [] are equivalent. Here ( a x /2 cos η x) (ix)dx 2 cos πa/2cosh πa/2 cos πa+cosh 2πa, cos(xy)η (ix)dx cosh πy/2cos πy/2 sinh 2 πy/2+cos 2 πy/2. We make the change of variable v /x in A.8 and use (.) so that ( a x /2 cos η x) (ix)dx cos(av)η (iv)dv. (A.8) (A.) 5

16 Lastlythereisthetrigonometricidentitysinh 2 x+cos 2 x (/2)(cosh2x+cos2x). Proposition 8. Integrals A. and A.5 (corrected) of [] are equivalent. Here, for ν >, and x ν η (ix)dx 4 π ν Γ(2ν) Γ(ν) β(2ν), x n η (ix)dx 4n+ n! β(2n+). π (A.5) n+ Again the second functional equation of (.) is used, so that x ν η (ix)dx v ν 2 η ( i v ) dv v ν /2 η (iv)dv. (A.) Then we put n ν /2 and apply the duplication formula for the Gamma function, ( Γ(2n+) 22n Γ n+ ) Γ(n+). π 2 Remark. Similarly with the aid of (.) we may transform the left side of A. to ( ) a x /2 e a/x erfc η (ix)dx x e av erfc( av)η (iv)dv, where erfc is the complementary error function. v /2 e av erfc( av)η ( i v ) dv Proposition 9. Entries A. and A.2 may obtained from entry A.5 (as corrected). We demonstrate this briefly obtaining an equivalent form of A. from A.5: cos(xy)η (ix)dx j y 2j( )j (2j)! x 2j η (ix)dx 4 ( 2j+ 4 ( ) j y π) 2j β(4j +) j { [ ] cot 4 (π +(+i) 2πy) 6 [ ] +tan 4 (π ( i) 2πy)

17 [ +tan 4 (π +( i) 2πy) 2 { sec [ (+i) ] [ ]} +tan 4 (π +(+i) 2πy) ] [ ]} πy πy +sech (+i) Connection with the Stieltjes coefficients (b) Proposition. (a) η(ix) x dx 4coth. lnx η(ix) x dx [ 2 ln(2 ( ) ( ) ( ) ( )] 5 7 )(γ +ln(4π)) γ +γ +γ γ (a) We write (7) in [] in terms of the L-series so that L 2 (s) [ ( ζ s, ) ( ζ s, 5 ) ( ζ s, 7 ) ( +ζ s, )], 2 s Taking the limit as s in (5.), x s η(ix)dx 8 πγ(2s ) L (4π) s 2 (2s ). (5.) Γ(s) x η(ix)dx [ ( ) ( ) ( ) ψ +ψ +ψ ψ ( )]. 2 Upon simplication of the differences of the pairs of digamma function values, we obtain the stated result. (b) We take the derivative of both sides of (5.) and then put s. Let γ (a) be the first Stieltjes constant as appears in the regular part of the Laurent expansion of the Hurwitz zeta function [6, 7], ζ(s,a) s + n ( ) n γ n (a)(s ) n, s. n! 7

18 Then lnx η(ix) x dx [ 2 ln(2 ( ) ( ) ( ) ( ) 5 7 )(γ +ln(576π)) γ +γ +γ γ Remark. We could further use an evaluation based upon [7] (Proposition ) in order toreplacethepairsofdifferences ofγ valueswithalinear combinationofvalues ζ (,k/2) with k,5,7,. The following may be useful in conjunction with the quasi-periodicity of η shown in (.), η(ix±j) e ±iπj/2 η(ix) for j N. Lemma. (a) and (b) Then η(ix)dx 2π 2 π η (ix)dx 4 π n n ( ) n (6n ) 2e (6n )2 π/2 ( ) n (2n+) e (2n+)2 π/4. These are easy consequences of (.2) and (.), using the value β() π/4. In addition, j+ j η(ix)dx 2 π j j+ j n η(ix)dx [ ] e jπ(6n )2 /2 e (j+)π(6n )2 /2 ( ) n (6n ) 2. η(ix)dx 2 π n ( ) n (6n ) 2π. 2 This method is quite distinct from how the evaluation (9) was obtained in []. 6. A future direction: an example of another lacunary case of η A q series is lacunary if the arithmetic density of its coefficients is zero. There is a result of Serre [6] showing that the only even values of d for which η d (τ) is lacunary are d 2,4,6,8,,4, and 26. It seems to be unknown whether there are any odd values of d, other than and, for which η d (τ) is lacunary. 8

19 The following holds in the case of d 4. Proposition. giving 8 η 4 (ix)dx 24π m,m 2 Based upon a mention by Winquist [7], ( ) m Im[(6m +2+i (4m 2 +) 6 ] (6m +2) 2 +(4m 2 +) 2. b(a 2 b 2 )a(a 2 9b 2 ) a 5 b a b +9ab 5 6 Im[(a+ib ) 6 ], a 2,mod6;b,mod4 Integrating both sides of this relation, 8 the result follows. ( ) (a 2)/6 Im[(a+ib ) 6 ]q (a2 +b 2 )/2 8 η 4 (τ). η 4 (ix)dx 24π a 2,mod6;b,mod4 ( ) (a 2)/6Im[(a+ib ) 6 ], (a 2 +b 2 ) Acknowledgement Useful correspondence with M. L. Glasser is gratefully acknowledged. 9

20 References [] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Washington, National Bureau of Standards (964). [2] G. E. Andrews, The theory of partitions, Cambridge University Press (998). [] G. E. Andrews, R. Askey, and R. Roy, Special functions, Cambridge University Press (999). [4] T. Apostol, Modular functions and Dirichlet series in number theory, Springer (99). [5] B. C. Berndt, Ramanujan s notebooks, part III, Springer (99). [6] M. W. Coffey, Series representations of the Riemann and Hurwitz zeta functions and series and integral representations of the first Stieltjes constant, arxiv:6.547 (2). [7] M. W. Coffey On representations and differences of Stieltjes coefficients, and other relations, Rocky Mtn. J. Math. 4, (2). [8] M. W. Coffey, Summatory relations and prime products for the Stieltjes constants, and other results, arxiv:7.764 (27). [9] M. W. Coffey, Functional relations for the Stieltjes constants, Ramanujan J. 9, (26). [] J. Fuchs, Affine Lie algebras and quantum groups, Cambridge University Press (992). [] M. L. Glasser, Some integrals of the Dedekind η-function, J. Math. Analy. Appls. 54, 49 (29). 2

21 [2] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Academic Press, New York (98). [] V. Kac, Infinite-dimensional algebras, Dedekind s η-function, classical Möbius function and the very strange formula, Adv. Math., 85-6 (978). [4] A. E. Patkowski, Some remarks on Glaisher-Ramanujan type integrals, arxiv55.5v (25); A. E. Patkowski and M. Wolf, Comp. Methods Sci. Tech. 22, -8 (26). [5] R. Roy, Elliptic and modular functions from Gauss to Dedekind to Hecke, Cambridge University Press (27). [6] J.-P. Serre, Sur la lacunarité des puissances de η, Glasgow Math. J. 27, 2-22 (985). [7] L. Winquist, An elementary proof of p(m + 6) (mod ), J. Combin. Theory 6, (969). 2