arxiv: v6 [math.ca] 6 Sep 2017

Transcription

1 SPECIAL VALUES AND INTEGRAL REPRESENTATIONS FOR THE HURWITZ-TYPE EULER ZETA FUNCTIONS SU HU, DAEYEOUL KIM, AND MIN-SOO KIM arxiv:58484v6 [athca] 6 Sep 7 Abstract The Hurwitz-type Euler zeta function is defined as a deforation of the Hurwitz zeta function: n ζ E s,x = n+x s n= In this paper, by using the ethod of Fourier expansions, we shall evaluate several integrals with integrands involving Hurwitz-type Euler zeta functions ζ E s,x Furtherore, the relations between the values of a class of the Hurwitz-type or Lerch-type Euler zeta functions at rational arguents have also been given Introduction The Hurwitz zeta function is defined by ζs, x = n+x s n= for s C and x,,,, and the series converges for Res >, so that ζs,x is an analytic function of s in this region Setting x = in, it reduces to the Rieann zeta function ζs = n= n s Fro the well-known identity ζs, = s ζs, we see that the only real zeroes of ζs,x with x = are s =,, 4, Its special values at nonpositive integers are Bernoulli polynoials, that is, 3 ζ,x = B x, N see [5, p 6, 9] Here the Bernoulli polynoials B x are defined by their generating function 4 ze xz e z = = B x z, z < π! Matheatics Subject Classification 33B5, 33E, M35, B68, S8 Key words and phrases Hurwitz zeta functions, Euler polynoials, Integrals, Fourier series

2 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Bernoulli polynoials have any interesting properties and arise in various areas of atheatics see [9, 34, 35] Setting x = in 4, we get the Bernoulli nubers B = B, N = N {} Fro an easy anipulations of the generating function 4, we see that B = B and B = B, where N see [3, p 48, 3] and [34, p 59, 7] The Hurwitz zeta function is a fundaental tool for studying Stark s conjectures of algebraic nuber fields, since it represents the partial zeta function of cyclotoic field see eg, [8, p 993, 4] or [3, p 448] It also plays a role in the evaluation of fundaental deterinants that appears in atheatical physics see [4] or [5, p 6, 4 and 5] In this paper, we consider the Hurwitz-type Euler zeta function, which is defined as a deforation of the Hurwitz zeta function 5 ζ E s,x = n= n n+x s, for s C and x,,, This series converges for Res >, and it can be analytically continued to the coplex plane without any pole It also represents a partial zeta function of cyclotoic fields in one version of Stark s conjectures in algebraic nuber theory see [3, p 449, 63], and its special case, the alternative series, 6 ζ E s = n= n n s, is also a particular case of Witten s zeta functions in atheatical physics See [3, p 48, 34] We here ention that several properties of ζ E s can be found in [, 6, ] For exaple, in the for on [, p 8], the left hand side is the special values of the Rieann zeta functions at positive integers, and the right hand side is the special values of Euler zeta functions at positive integers Using the Fourier expansion forula 7 ζs,x = Γ s π s n= sin nπx+ πs, n s Espinosa and Moll [5] evaluated several fundaental integrals with integrands involving Hurwitz zeta functions, where Γ is the Euler gaafunction see, eg, [3] or [35, Chapter 43], who studied the Hurwitz transfor eaning an integral over [, ] of a Fourier series ultiplied by the Hurwitz zeta function ζs, x, and obtained nuerous results for those which aries fro the Hurwitz forula Mező [9] deterined the Fourier series expansion of the log-barnes function, which is the analogue of the classical result of Kuer and Malsten Applying this expansion, he also got soe integrals siilar to the Espinosa Moll log Gaa integrals with respect to logg in [5, 6], where G is Barnes G function

3 Recently, Shpot, Chaudhary and Paris [37] evaluated two integrals over x [,] involving products of the function ζ s,x = ζs,x x a for Res > As an application, they also calculated the Og weak-coupling expansion coefficient c ǫ of the Casiir energy for a fil with Dirichlet- Neuann boundary conditions, first stated by Syanzik [38] under the fraework of gφ 4 4 ǫ theory in quantu physics Here we will follow the approach of Espinosa and Moll in [5] to evaluate several integrals with integrands involving Hurwitz-type Euler zeta functions ζ E s,x Our ain tool is the following Fourier expansion of ζ E s,x 8 ζ E s,x = Γ s π s n= sin n+πx+ πs n+ s coparing with 7 above This expression, valid for Res < and < x, is derived by Willias and Zhang [4, p 36, 7] The paper is organized as follows In Section 3, we deterine the Fourier coefficients of ζ E s,x In Section 4, we evaluate integrals with integrands consisting of products of two Hurwitz-type Euler zeta functions These will iply soe classical relations for the integral of products of two Euler polynoials see Proposition 48 and 4 We also evaluate the oents of the Hurwitz-type Euler zeta functions and the Euler polynoials see Proposition 49 and 4 In Section 5, we prove several further consequences of integrals with integrands consisting of products of the Hurwitz-type Euler zeta functions, the exponential function, the power of sine and cosine In Section 6, we obtain an Euler-type forula for the Dirichlet beta function β and consider the Catalan s constant G copiled by Adachik in [, Entry 9] Fro this, we get a finite closed-for expression for any β in ters of the eleentary functions see [4] In Section 7, we prove the relations between values of a class of the Hurwitz-type or Lerch-type Euler zeta functions at rational arguents 3 Preliinaries The ethods eployed in this section ay also be used to derive several results of the Hurwitz-type Euler zeta functions, which are analogous of the known results for Hurwitz zeta functions The series expansion 5 for ζ E s,x has a eaning if Res > In the following, we recall soe basic results of this functions given in [4] Fro5,wecaneasily derivethefollowingbasicpropertiesforζ E s,x ζ E s,x+ζ E s,x+ = x s, k ζ E s,kx = k s n ζ E s, n k +x n= for k odd,

4 4 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM 3 ζ E s,x x s = n= s ζ E s+nx n n see [4, 5, 6 and 7] For fixed s, the series in 3 converges absolutely for x < For Res >, and 6 are connected by the following equation 4 ζ E s = s ζs In [4, 3], Willias and Zhang established the following integral representation 5 ζ E s,x = e πis Γ s e xz z s dz, πi C e z + where C is the contour consisting of the real axis fro + to ǫ, the circle z = ǫ and the real axis fro ǫ to + By 5 and the generating function of the Euler polynoials e xz 6 e z + = E n x zn, z < π, n! we have that is, n= ζ E,x =! 4πi z =ǫ n= E n x n! z n z +dz, 7 ζ E,x = E x = E x, N coparing with 3 above Setting s = in 4, fro 3 and 7 it is easy to see that 8 E = E = + B + + see [34, p 59, 6] The above expansion 7 has also been derived in [4, p 4, 38] The integers E = E, N, are called -th Euler nubers For exaple, E =,E =,E 4 = 5, and E 6 = 6 Notice that the Euler nubers with odd subscripts vanish, that is, E + = for all N The Euler polynoials can be expressed in ters of the Euler nubers in the following way: Ei 9 E x = x i i i i= see [34, p 53, 9] Soe properties of Euler polynoials can be easily derived fro their generating functions, for exaple, fro 6, we have E x++e x = x, N,

5 which have nuerous applications see [3, p 489, 54] and [34, p 53, 3 and 4] For further properties of the Euler polynoials and nubers including their applications, we refer to [, 8, 7,, 34] It ay be interesting to point out that there is also a connection between the generalized Euler nubers and the ideal class group of the p n+ -th cyclotoic field when p is a prie nuber For details, we refer to a recent paper [9], especially [9, Proposition 34] The result ζ E s,xdx = 4Γ s π s cos πs λ s, valid for Res <, follows directly fro the representation 8 Here λs is the Dirichlet labda function λs = n+ = s s ζs, Res >, n= where ζs is the Rieann zeta function see [, p 87, 3] and [35, p 3, Eq 3:6:] If we put s = with N in and use 7, then we obtain 3 E xdx = 8! λ+ π + If we replace by and let n = in 45 below, then the left hand side of 3 becoes 4 E xdx =! +! E +, where N Fro 3 and 4, the values of the Dirichlet labda function at even positive integers is given as 5 λ = π 4! E, where N In particular, if we put =, = and = 3 in 5, then we have the first few values λ = π π4 π6,λ4 = and λ6 = see [, p 88] 3 The Fourier expansion of ζ E s,x In this section, by using the Fourier expansion 8 for ζ E s,x, we shall evaluate definite integrals of the Hurwitz-type transfor Hf,s = fxζ E s,xdx The expansion is valid for Res < For the basics we refer the reader to definite integrals of the Hurwitz transfor, eg, [5] and [5] The following is the Fourier coefficients of ζ E s,x, as a direct consequence of 8 see eg, [5, p 64, Proposition ] 5

6 6 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Proposition 3 The Fourier coefficients of ζ E s,x are given by 3 sink +πxζ E s,xdx = πs k + s πs csc Γs and 3 cosk +πxζ E s,xdx = πs k + s sec Γs πs Reark 3 Recently, Luo[7], Bayad[7], Navas, Francisco and Varona[33] investigated Fourier expansions of the Apostol-Bernoulli polynoials, which are special values of Hurwitz-Lerch zeta function at non-positive integers[, Lea ] Proof of Proposition 3 The proof follows fro the siilar arguent with [5, Proposition ], by applying the orthogonality of the trigonoetric functions and the expansion 8 above In the following proposition, we shall copute the Hurwitz-type transfor of powers of sine and cosine, including soe related integrals see [5, ] Proposition 33 Let s R =,] and n N Then we have 33 n and 34 sin n πxζ E s,xdx = Γ s πs π s cos n cos n πxζ E s,xdx = Γ s πs π s sin n k= n k= k n k + s n k n k + s n k Proof The proofs follow fro the siilar arguents with[5, Exaples and ], which is based on 3 and 3, and the integral representation 35 sin n πx = n n k sink +πx n n k by Kogan in [7, p 3, 3] k= As in Espinosa and Moll [5], we ay evaluate the integrals using the Fourier expansions of functions The following result about this idea will becoe the basic tool for the proofs of the results in this paper Theore 34 Let fw,x be defined for x [,] and a paraeter w Let 36 fw,x = a n wcosn+πx+b n wsinn+πx n= be its Fourier expansion, so that 37 a n w = fw,xcosn+πxdx,

7 7 38 b n w = Then, for s R, we have 39 fw,xζ E s,xdx = Γ s sin π s and 3 where fw,xζ E s, xdx = Γ s cos π s Cs,w = n= fw,xsinn+πxdx πs Cs,w+cos πs Ss,w sin a n w n+ s and Ss,w = n= πs Ss, w πs Cs, w, b n w n+ s Proof The proof follows fro the siilar arguent with [5, Theore ], by ultiplying the forula 36 by ζ E s,x and integatationg both sides fro to, then applying 3 and 3 4 Integral representations of Hurwitz-type Euler zeta functions In this section, we shall evaluate integrals with integrands consisting of products of Hurwitz-type Euler zeta functions These will iply soe integral representations for the function and classical relations for the integral of products of two Euler polynoials Theore 4 Let s,s R Then we have 4 ζ E s,xζ E s,xdx = Γ sγ s λ s s cos π s s Siilarly, we have 4 ζ E s,xζ E s, xdx = Γ sγ s λ s s cos π s s πs s πs+s Proof In view of 34, 37 and 38, the expansion 8 shows that the coefficients of ζ E s,x are given by a n s = Γ s sin πs, π 43 s n+ s b n s = Γ s cos πs π s n+ s

8 8 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Fro, 39 and 43, we obtain 44 ζ E s,xζ E s,xdx = Γ sγ s sin +cos π s s πs cos = Γ sγ s π s s which gives 4 The proof of 4 is siilar Corollary 4 Let s,s R and Then we have 45 Siilarly, we have 46 πs πs δ s = s+ s, s cos ζ E s,xζ E s,xdx = δ s s cos λs+s sin πs s cos πs n+ s s n= πs s πs+s λ s s, B s, s ζ E s,xζ E s, xdx = δ s s B s, s Here Bs,s is the beta function, λs+s 47 Bs,s = ΓsΓs Γs+s, defined for s,s C with Res,Res >, see [4, 36] Proof The functional equation of Rieann s zeta function is well-known, and it is given by see [5, 35] πs Γs 48 ζ s = cos π sζs Fro and 48, we have 49 λ s s = δ s s π s s Γ s s cos π s s λs+s Finally, using 4 and 49, we obtain 45 The proof of 46 is siilar Corollary 43 Let s R Then we have 4 ζ E s,xdx = Γ sπ s λ s

9 and 4 ζ E s,xζ E s, xdx = Γ sπ s λ scosπs Proof Put s = s in 4 and 4, we get our results Corollary 44 Let N Then we have +,x dx = 4 ζe!! λ+ π Proof Setting s = + in 4, then by Γ + π! = see [5, p 67],! we get our result Corollary 45 Let s R 43 and N Then we have E xζ E s,xdx = + δ s!λs s, where s k = ss+ s+k is the Pochhaer sybol Reark 46 The case = in 43 iplies fro and 48 Proof of the Corollary 45 Let s = in 45, we have cos πs + ζ E,xζ E s,xdx = δ s B s, cos πs+ λs The result then follows fro 7, since cos πs + = + cos πs+ and B s, =!/ s Lea 47 For N, we have 44 λ = + δ E Proof This follows fro 3 with x =, 8 and The following forula on the integral of two Euler polynoials has a long history, it has already appeared in a book by Nörlund [3, p 36] See eg [34, p 53, 5] and [36, p 64, 5] Corollary 48 Let,n N Then we have 45 E xe n xdx = n+!n! +n+! E +n+ 9

10 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Proof of Corollary 48 Set s = n, where n N in 43, then by 7 and 44, we obtain E xe n xdx = 4 + δ +n!λ +n n = n! n E +n where,n N This copletes our proof = n!n! E +n, +n! Corollary 49 For n N, the oents of the Hurwitz-type Euler zeta function are given by n n x n ζ E s,xdx = j j!λs j δ j s+ j s j= j n δ n s+ n!λs n s n+ Proof The proof of 46 is obtained by using the expansion of x n in ters of Euler polynoials and the evaluation 43 Corollary 4 Let N and n N Then we have n n j 47 x n E xdx = E +j + E +n Proof By 44, we have j= +j j 48 λ j ++ = j+ δ j + E j+ +n n Letting s = in 46, then using 7 and 48, we easily deduce that n n j! x n E xdx = E +j + n! E +n j j= j+ n+ and this iplies our result Reark 4 Corollary 4 gives soe identities of E for each value of N For instance, when = and, we have n n Ej+ j j + = n+ E n++, n j= where n N j= n Ej+ j j +j + = n+n+ E n+ n,

11 5 The exponential function In this section, we shall evaluate the Hurwitz-type transfor of the exponential function see [5, 4] As [5, 4], the result is expressed in ters of the transcendental function 5 Fx,s = λn+ sx n for x <, n= where λs denotes the Dirichlet labda function define = if x = Theore 5 Let s R and t < Then we have 5 e πtx ζ E s,xdx = eπt +Γ s π s Re e πis/ Fit,s, where Fx,s is given in 5 Reark 5 Setting t = in 5, we get Proof of Theore 5 The generating function for the Euler polynoials 6 gives e xt = et + E n x tn n!, so that 53 By 47, we have e xt ζ E s,xdx = et + n= n= t n n! E n xζ E s,xdx 54 n! = B s,n+ = Γ sγn+ s n+ Γn s+ Therefore, fro 43 and 54, 53 gives 55 e xt ζ E s,xdx = e t t n + n! n δ n s+b s,n+ By 49, we have n= λs n Γn s+cos 56 λs n = δ n s+ π n s+ πn s+ λn s+,

12 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM thus in viewing of 54 and 56, we y also write 55 in the for 57 e xt ζ E s,xdx = e t t n Γn+ +Γ s n! n δ n s+ Γn s+ λs n = et +Γ s π s λn s+ n= n t πn s n cos π n= Finally, by replacing t with πt and using the identity cos πn s = Ree iπs n/ = Re i n e iπs/, we get e πtx ζ E s,xdx = eπt +Γ s π s = eπt +Γ s π s πn s t n λn s+cos t n λn s+re i n e iπs/ n= n= = eπt +Γ s Re π s e πis/ λn s+it n n= = eπt +Γ s π s Re e πis/ Fit,s This copletes our proof Corollary 53 Let N and t <,t Then we have 58 e πtx E xdx = 4e πt +! πt + πt tanhπt r= where x is the floor greatest integer function r λr +t r+, Proof Suppose that k N Let s = k in 5 Fro 5, we have Re e πis/ Fit,s = Re e πi k/ Fit, k = k Re λr ++kit r 59 r= = k λr++k r t r r=

13 Fro [35, p 37, Eq 3:4:7], we obtain πx tanh = 4 r λrx r, πx so 5 πx πx 4 tanh = = r= r λr+x r+ r= k r λr+x r+ + r λr+x r+ r=k Replacing x by t in 5, we have 5 r λr +t r+ = πt k tanhπt r λr+t r+ r=k On the other hand, by 59, we have 5 t k r λr+t r+ r=k r= r= = k λr++k r t r r= = Re e πi k/ Fit, k for t <,t By 5 and 5, we get Re e πi k/ Fit, k 53 = k k πt t k+ tanhπt r λr +t r+ Let s = k in 5, siilar with the above, we obtain Re e πis/ Fit,s 54 r= = Re e πi k / Fit, k = k+ πt k t k+3 tanhπt r λr +t r+ The proof now follows directly fro 7, 5, 53 and 54 6 An expression for Catalan s constant and an Euler-type forula for the Dirichlet beta function Following Berndt [9, p, Entry 7v], Espinosa and Moll [5, p 77, 8], for x >, we define r= 6 G E s,x = ζ E s,x ζ E s, x 3

14 4 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Fro 8, the Fourier expansion for ζ E s,x, we have the following Fourier expansion of G E s,x 6 G E s,x = 4Γ s π s sin πs cosn+πx n+ s n= We introduce the anti-syetrized Hurwitz transfor for G E s,x as follows also see [5] 63 H A f = fw,xg E s,xdx, wherefw,xisgivenin36forafunctionfw,xwithfourierexpansion as in 36, we have 64 fw,xg E s,xdx = Γ s π s Fro [7, p 48, 36], we get 65 By 6 and 65, we see that 66 where sin cosn+πx dx = n cosπx G E s,x Γ s dx = sin cosπx π s 67 βs = n= n n+ s πs a n w n+ s n= πs β s, is the Dirichlet beta function see [, p 87, 3] It is necessary to reark that by the procedure of analytic continuation, the function βs can extend to all points in the coplex plane, without any singularities In particular, when s =, 66 becoes 68 G E,x cosπx dx = π β Espinosa and Moll [5, p 78, 88] established the integral representation of the Catalan constant G see [] as 69 x 4G dx = cosπx π Using 7, 6 with s = and 69, the left hand side of 68 becoes 6 G E,x cosπx dx = = G π x cosπx dx

15 Fro 68 and 6, we then have 6 G = β = π 4 G E,x cosπx dx This for of Catalan s constant is Entry 4 and 9 in the list of expressions for G copiled by Adachik in [] Fro 66, we have the following lea, which were given in [, p 87, 33], [35, p 36, Eq 3:3:4] and [4, 43] Lea 6 Let N Then we have 6 secπxe xdx = 4! β π Proof For N, letting s = in 66, we have 63 G E,x cosπx It is easy to see that by 6, dx =! β π E x = E x, N Hence, by 7 and 6, the left hand side of 63 becoes 64 G E,x dx = cosπx 4 = E x E x dx cosπx E x cosπx dx for N The proof now follows directly fro 63 and 64 We now evaluate β using 47 This new forula can be regarded as an analogue of Theore of [4] Theore 6 Euler-type forula for β Let N Then we have 65 n n+ π +n E n E +j β = 4 n j +!+j! n= j= Proof Fro the Taylor expansion for secπx, naely n E n secπx = πx n, n! it is clear that secπxe xdx = n= n= n π n E n n! x n E xdx, where N Note that E =, N Therefore, by 47 and 6, we get our result For instance, if we set = in 65, then we obtain: 5

16 6 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Corollary 63 β = G = n= n+ nπ n+ E n 4n+! Reark 64 For N we write s = in 8 and let x = / We obtain easily 66 ζ E, =! n π + n+ +, so 66 becoes, after using 7, 67 E =! π + n= n= n n+ +, By using E = E /, N, we are easy to show that, for the Dirichlet beta function 67, 68 β+ = E +! π+, where E are the Euler nuber, that is, the integers obtained as the coefficients of z /! in the Taylor expansion of /coshz, z < π/ see [4, 3] and [4, 4] The forula 6 for β gives us 69 β = π 4! secπxe xdx, which is also Equation 33 of [], Equation 3:3:4 of [35] and 43 of [4] 69 ay give soe hint for the question why it is so difficult to find closed-for expressions for even beta values? However, Lia [4] has derived the exact closed-for expression for a certain class of zeta series related to β and a finite nuber of odd zeta values 7 Integral representations of Lerch-type Euler zeta functions and special values for Lerch-type Euler zeta functions at rational arguents The counterpart of the Hurwitz-type Euler zeta function, the Lerch-type Euler zeta function l E,s x of the coplex exponential arguent is defined by 7 l E,s x = n= e n+πix n+ s for Res > and x R see [, p 53, 7] The Hurwitz-type Euler zeta function and the Lerch-type Euler zeta function are related by the functional equation 7 ζ E s,x = Γs e πis π s le,s x e πis le,s x,

17 the inverse is 73 l E,s x = Γ s e πi s π s ζ E s,x e πi s ζ E s, x The liiting case x of 7 leads to the asyetric for of the functional equation for ζ E s and λs 74 ζ E s = Γs πs cos λs, π s where λs is the the Dirichlet labda function Siilarly, in 73, with x =, we have 75 l E,s = iγ s π s sin ζ π s E s, Theore 7 Let s,s R Then we have 76 ζ E s,xl E,s xdx = π s Γ s e πi s λ+s s Proof We have the functional equation for the Hurwitz-type Euler zeta function see 73: l E,s x = iγ s e πis π s ζe s,x+e πis ζe s, x Fro which, we obtain ζ E s,xl E,s xdx = iγ s [ e πis π 77 s ζ E s,xζ E s,xdx ] ζ E s,xζ E s, x +e πis Substituting 4 and 4 in the integral 77, we deduce that 78 ζ E s,xl E,s xdx = iγ sγsγ s λ+s s π [ s π s s e πis cos ] +e πis π s+s cos Now the factor on the right hand side of 78 is [ ] π s s e πis cos +e πis π s+s cos Therefore, fro the reflection forula we have ΓsΓ s = π sinπs, ζ E s,xl E,s xdx = iγ s e πis λ+s s π s = e πis sinπs 7

18 8 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM This copletes the proof Let φx,a,s be the power Dirichlet series defined for Res >, x real, a negative integer or zero, by the series 79 φx,a,s = n= e nπix n+a s see [3, p 6, ] It is known that φx,a,s can be extended to whole s-plane by eans of the contour integral The value of φx,a,s when s is or a negative integer can be calculated by applying Cauchy s residue theore For N, the Apostol s forula see [3, p 64] gives 7 φx,a, = B +a,e πix, + where B a,α are the Apostol-Bernoulli polynoials defined by 7 ze az αe z = = B a,α z! We refer to [3, 7,, 7, 33] for an account of the properties of Apostol- Bernoulli polynoials B a,α For a later purpose, we observe that, by 7 and 79, the following equality is established, 7 l E,s x = s e πix φ x,,s, so that by 7 and 7,,eπix 73 l E, x = e πixb + + where N We observe that the function ζ E s,x in 5 is a linear cobination of the Hurwitz zeta functions ζs,x in when x is a rational nuber Theore 7 Let p,q be integers, q N and p q Then for all s C, we have 74 ζ E s, p q = Γs qπ s q r= πs cos r+πp ζ s, q, r + q Reark 73 This is an analogue of [5, p 6, Theore 8], where the Hurwitz zeta function ζs,x instead of ζ E s,x Proof of Theore 7 Following an idea in [36, p 337, 8], we have 75 fn = n= q fkq +r r= k=

19 if the involved series is absolutely convergent Applying 75 to the series 7, we have see [, p 53, 8b] and [, p 487, 34] p 76 l E,s = q e r πip q q s q ζ s, r q r= Therefore, if we take x = p in the forula 7 to 76, in considerations q of l E,s x = l E,s x, we have the following equality ζ E s, p = Γs p e πis q π s le,s +e πis le,s p q q = Γs qπ s q r= πs r πp cos ζ s, q r, q which holds true, by the principle of analytic continuation, for all adissible values of s C Corollary 74 [, p 59, Theore B] Let p,q be integers, q N and p q For N, the Euler polynoials E x at rational arguents are given by 77 E p q = 4! qπ + q r= r πp sin π ζ +, q r q Proof By setting s = + N in 74 and using 7, we obtain the forula in 77, which copletes the proof Corollary 75 Let p,q be integers, q N and p < q Then we have q 78 B +,eπip q = q e r πip q r B+, N q r= Proof Letting N, then replacing s by in 76, using 3 and 73, we get our result Reark 76 This identity is also a special case of the ultiplication theore for Apostol-Bernoulli polynoials see eg [8, Eq 7] Sincel E,s x isarelative ofthehurwitz-type Euler zeta function ζ E s,x defined 5 see 7 and 73 above, it is natural to expect a relation involving ζs, x: Lea 77 Generalized Eisenstein forula Let p,q be integers, q N and p < q Then we have 79 ζ s, p = q q s e p πir q r le,s q q q r= Reark 78 The equation 79 was announced without a proof in [, p 487, 33] 9

20 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Proof of Lea 77 The forula could be written in the following for ζ s, p+ = q s q qk +p+ s k= 7 = q s n= n p od q n+ s Note that in fact see [5, p 58, Theore 8] { q if n p od q e πin pr q = q otherwise, and hence 7 ζ r= s, p+ q = q s q r= eπin pr q q n+ s n= = q q s e n+πir q q r= for p < q, the conclusion is iediate n+ se p+πi n= Corollary 79 Let p,q be integers, q N and p < q Then we have 7 p B + = q e p πir q q + q B+,eπir q, N r= Here, the ter B +, is understood as B + the value of the Bernoulli polynoials B + x at x = Proof Let N, and replace s by in 79 Then, using 3 and 73, we get our result Theore 7 Let p,q be integers, q N and p q Then we have the identities q q s e p+πir q r le,s q q 73 r= = Γ s { } e πi s π s l E, s x e πi s l E, s x and 74 q s q e r πip q ζ s, r= = Γ s π s r q { e πi s ζ E s, p q r q e πi s ζ E s, p } q Proof Fro 7, 73, 76 and 79, we prove the theore

21 We will use [x] to denote the integer part of x R ie, [x] is the largest integer x; then, the fractional part of x will be {x} = x [x] Lea 7 For n N we have 75 E n {x} = i n n! k= n e k+πix +e k+πix k +π n+ Proof Let {x} = x [x] The function E n {x} is a quasi-periodic function of period see [] The Fourier series of E n {x} are given as follows [, p 85, 36]: 76 E n {x} = 4n! π n+ k= sink +πx πn k + n+, where x < if n N and < x < if n =, iediately yields 77 E {x} = 4! k= sink +πx k+π +, and 78 E + {x} = 4 +! k= cosk +πx k +π + Thus 75 follows iediately fro 77 and 78 Theore 7 Let > be a fixed positive odd integer and let α be an integer such that α od Then, for n N, we have 79 r= r e πir α le, n r = n 4 n [ ] α α n E n +E n [ ] α α n B n +B n

22 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM Proof It follows, fro 73, that for odd >, 73 r e πir α r le, n r= = n!in π n = n!in π n = n!in π n = n!in n π n = n!in n π n = n!in n π n n= r e πir α ζe n, r r= n r e πir α ζe n, r r= k= r= r e πir α ζe n, r r= + n r e πir α ζe n, r r = r k[ ] e πir α + n e πir α r= k= k + α n [ k+r e πiαk+r h= h od ] + n e πiαk+r k +r n ] [e h πiα h + n e πiα h h= h n ] [e h πiα h + n e πiα h h= + h n k[ e πikα + n e πikα] k n k= In the following, we will use the identities below: n 73 = n s k + s k s and k= 73 B n {x} = i n n! k= e πikx + n e πikx k= πk n for n N see [39, p 3, 3] or [6] Note that, by 75 and E n {x} = ne n {x}, we have 733 E n {x} = n e k+πix +e k+πix in n! π n k + n k=

23 Therefore we have 734 r e πi r r le, n r= = n!in n e πik α + n e πik α π n k n k= k= e πik α + n e πik α k n + n e πikα + n e πikα k n k= n e πik α + n e πik α k n k= [ ] = n α α n E n 4n +E nα [α] [ ] α α n B n n +B n α [α] [ ] = n α α n E n 4 +E n [ ] α α n B n n +B n This copletes our proof Reark 73 Equation 79 is an analogue of Theore D in [39], which is an extension of the classical Eisenstein forula α [ α ] = πγα πγ sin cot, n γ= where α is an integer with α od and > is a fixed positive integer Acknowledgent We thank the referee for his/her helpful coents and suggestions References [] V Adachik, 3 representations for Catalan constant, Available at adachik/articles/catalan/catalanht [] M Abraowitz and I Stegun eds, Handbook of atheatical functions with forulas, graphs and atheatical tables, Dover, New York, 97 [3] TM Apostol, On the Lerch zeta function, Pacific J Math 95, 6 67 [4] TM Apostol, Soe series involving the Rieann zeta function, Proc Aer Math Soc 5 954,

24 4 SU HU, DAEYEOUL KIM, AND MIN-SOO KIM [5] TM Apostol, Introduction to analytic nuber theory, Undergraduate Texts in Matheatics, Springer-Verlag, New York-Heidelberg, 976 [6] R Ayoub, Euler and the zeta function, Aer Math Monthly 8 974, [7] A Bayad, Fourier expansions for Apostol-Bernoulli, Apostol-Euler and Apostol- Genocchi polynoials, Math Cop 8, 9 [8] A Bayad, Arithetical properties of elliptic Bernoulli and Euler nubers, Int J Algebra 4, no 5-8, [9] B Berndt, Raanujan s Notebooks, Part I, Springer-Verlag, New York, 985 [] D Cvijović Exponential and trigonoetric sus associated with the Lerch zeta and Legendre chi functions, Coput Math Appl 59, no 4, [] D Cvijović and J Klinowski, New forulae for the Bernoulli and Euler polynoials at rational arguents, Proc Aer Math Soc 3 995, no 5, [] J Choi and HM Srivastava, The ultiple Hurwitz zeta function and the ultiple Hurwitz-Euler eta function, Taiwanese J Math 5, no, 5-5 [3] K Dilcher and C Vignat, General convolution identities for Bernoulli and Euler polynoials, J Math Anal Appl 435 6, no, [4] E Elizalde, Ten Physics Applications of Spectral Zeta Functions, Lecture Notes in Physics, Springer-Verlag, Berlin, 995 [5] O Espinosa and V Moll, On soe integrals involving the Hurwitz zeta function: part, Raanujan J 6, no, [6] O Espinosa and V Moll, On soe integrals involving the Hurwitz zeta function: part, Raanujan J 6, no 4, [7] IS Gradshteyn and IM Ryzhik, Table of Integrals, Series and Products, 5th edn Alan Jeffrey, ed, Acadeic Press, New York, 994 [8] B Gross, On the values of abelian L-functions at s =, J Fac Sci Univ Tokyo , [9] S Hu and M-S Ki, The S,{}-Iwasawa theory, J Nuber Theory 58 6, [] S Hu, D Ki and M-S Ki, On reciprocity forula of Apostol-Dedekind su with quasi-periodic Euler functions, J Nuber Theory 6 6, [] M-S Ki and S Hu, Sus of product of Apostol-Bernoulli Nubers, Raanujan J 8, 3 3 [] M-S Ki and S Hu, On p-adic Hurwitz-type Euler zeta functions, J Nuber Theory 3, [3] M-S Ki and S Hu, On p-adic Diaond-Euler Log Gaa functions, J Nuber Theory 33 3, [4] FMS Lia, An Euler-type forula for βn and closed-for expressions for a class of zeta series, Integral Transfors Spec Funct 3, no 9, [5] H Li, M Hashioto and S Kaneitsu, Exaples of the Hurwitz transfor, J Math Soc Japan 6 9, no 3, [6] H Li, M Hashioto and S Kaneitsu, The structural elucidation of Eisenstein s forula, Sci China Math 53, no 9, [7] Q-M Luo, Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynoials, Math Cop 78 9, 93 8 [8] Q-M Luo, The ultiplication forulas for the Apostol-Bernoulli and Apostol-Euler polynoials of higher order, Integral Transfors Spec Funct 9, [9] I Mező, The Fourier series of the log-barnes function, available on line at: [3] M Mikolás, A siple proof of the functional equation for the Rieann zeta-function and a forula of Hurwitz, Acta Sci Math Szeged 8 957, 6 63 [3] J Min, Zeros and special values of Witten zeta functions and Witten L-functions, J Nuber Theory 34 4, 4 57 [3] NE Nörlund, Vorlesungen uber Differenzenrechnung, Springer-Verlag, Berlin, 94

25 [33] L M Navas, F J Ruiz and J L Varona, Asyptotic estiates for Apostol-Bernoulli and Apostol-Euler polynoials, Math Cop 8, 77 7 [34] J Sándor and B Crstici, Handbook of nuber theory, II, Kluwer Acadeic Publishers, Dordrecht, 4 [35] J Spanier and KB Oldha, An Atlas of Functions, Heisphere Publishing Corp, 987 [36] HM Srivastava and J Choi, Series associated with the zeta and related functions, Kluwer Acadeic Publishers, Dordrecht, [37] MA Shpot, MP Chaudhary and RB Paris, Integrals of products of Hurwitz zeta functions and the Casiir effect in φ 4 field theories, J Class Anal 9 6, no, 99 5 [38] K Syanzik, Schrödinger representation and Casiir effect in renoralizable quantu field theory, Nucl Phys B 9 98, 44 [39] K Wang, Exponential sus of Lerch s zeta functions, Proc Aer Math Soc , no, 5 [4] KS Willias and NY Zhang, Special values of the Lerch zeta function and the evaluation of certain integrals, Proc Aer Math Soc 9 993, no, Departent of Matheatics, South China University of Technology, Guangzhou, Guangdong 564, China E-ail address: ahusu@scuteducn Departent of Matheatics and Institute of Pure and Applied Matheatics, Chonbuk National University, 567 Baekje-daero, deokjin-gu, Jeonjusi, Jeollabuk-do 54896, Korea E-ail address: kdaeyeoul@jbnuackr Division of Matheatics, Science, and Coputers, Kyungna University, 7Woryeong-dong kyungnadaehak-ro, Masanhappo-gu, Changwonsi, Gyeongsangna-do 5767, Korea E-ail address: ski@kyungnaackr 5