Skip to main content

Certain relationships among polygamma functions, Riemann zeta function and generalized zeta function

Abstract

Many useful and interesting properties, identities, and relations for the Riemann zeta function ζ(s) and the Hurwitz zeta function ζ(s,a) have been developed. Here, we aim at giving certain (presumably) new and (potentially) useful relationships among polygamma functions, Riemann zeta function, and generalized zeta function by modifying Chen’s method. We also present a double inequality approximating ζ(2r+1) by a more rapidly convergent series.

MSC:11M06, 33B15, 40A05, 26D07.

1 Introduction

The Riemann zeta function ζ(s) is defined by

ζ(s):= n = 1 1 n s ( ( s ) > 1 ) .
(1.1)

The Hurwitz (or generalized) zeta function ζ(s,a) is defined by

ζ(s,a):= k = 0 ( k + a ) s ( ( s ) > 1 ; a C Z 0 ) ,
(1.2)

where and Z 0 denote the sets of complex numbers and nonpositive integers, respectively. It is easy to see from the definitions (1.1) and (1.2) that

ζ(s)=ζ(s,1)= ( 2 s 1 ) 1 ζ ( s , 1 2 ) =1+ζ(s,2).
(1.3)

It is noted that, in many different ways, the Riemann zeta function ζ(s) and the Hurwitz zeta function ζ(s,a) can be continued meromorphically to the whole complex s-plane having simple poles only at s=1 with their respective residues 1 at this point.

The polygamma functions ψ ( n ) (s) (nN) are defined by

ψ ( n ) (s):= d n + 1 d z n + 1 logΓ(s)= d n d s n ψ(s) ( n N 0 ; s C Z 0 ) ,
(1.4)

where denotes the set of positive integers and N 0 :=N{0}, and Γ(s) is the familiar gamma function and psi (or digamma) function ψ is defined by

ψ(s):= d d s logΓ(s)and ψ ( 0 ) (s)=ψ(s).
(1.5)

Here is a well-known (useful) relationship between the polygamma functions ψ ( n ) (s) and the generalized zeta function ζ(s,a):

(1.6)

It is also easy to have the following expression (cf. [[1], Eq. 1.2(54)] and [[2], Eq. 1.3(54)]):

ψ ( n ) (s+m)= ψ ( n ) (s)+ ( 1 ) n n! k = 1 m 1 ( s + k 1 ) n + 1 (m,n N 0 ),
(1.7)

which, in view of (1.6), can be expressed in the following form:

ζ(n,s+m)=ζ(n,s) k = 1 m 1 ( s + k 1 ) n ( n N { 1 } ; m N 0 ) ,
(1.8)

where an empty sum is (elsewhere throughout this paper) understood to be nil.

The Riemann zeta function ζ(s) in (1.1) plays a central role in the applications of complex analysis to number theory. The number-theoretic properties of ζ(s) are exhibited by the following result known as Euler’s formula, which gives a relationship between the set of primes and the set of positive integers:

ζ(s)= p ( 1 p s ) 1 ( ( s ) > 1 ) ,
(1.9)

where the product is taken over all primes. It is readily seen that ζ(s)0 ((s)=σ1), and the Riemann’s functional equation for ζ(s)

ζ(s)=2 ( 2 π ) s 1 Γ(1s)sin ( 1 2 π s ) ζ(1s)
(1.10)

shows that ζ(s)0 (σ0) except for the trivial zeros in

ζ(2n)=0(nN).
(1.11)

Furthermore, in view of the following known relation:

ζ(s)= 1 1 2 1 s n = 1 ( 1 ) n 1 n s ( ( s ) > 0 ; s 1 ) ,
(1.12)

we find that ζ(s)<0 (sR; 0<s<1). The assertion that all the non-trivial zeros of ζ(s) have real part 1 2 is popularly known as the Riemann hypothesis which was conjectured (but not proven) in the memoir of Riemann [3]. This hypothesis is still one of the most challenging mathematical problems today (see Edwards [4]), which was unanimously chosen to be one of the seven greatest unsolved mathematical puzzles of our time, the so-called millennium problems (see Devlin [5]).

Leonhard Euler (1707-1783), in 1735, computed the Basel problem:

1+ 1 4 + 1 9 + 1 16 + 1 25 +=ζ(2)= π 2 6
(1.13)

to 20 decimal places with only a few terms of his powerful summation formula discovered in the early 1730s, now called the Euler-Maclaurin summation formula. This probably convinced him that the sum in (1.13) equals π 2 /6, which he proved in the same year 1735 (see [6]). Euler also proved

ζ(2n)= ( 1 ) n + 1 ( 2 π ) 2 n 2 ( 2 n ) ! B 2 n (n N 0 ),
(1.14)

where B n are the Bernoulli numbers (see [[1], Section 1.6]; see also [[2], Section 1.7]). Subsequently, many authors have proved the Basel problem (1.13) and Eq. (1.14) in various ways (see, e.g., [7]).

We get no information about ζ(2n+1) (nN) from Riemann’s functional equation, since both members of (1.10) vanish upon setting s=2n+1 (nN). In fact, until now no simple formula analogous to (1.14) is known for ζ(2n+1) or even for any special case such as ζ(3). It is not even known whether ζ(2n+1) is rational or irrational, except that the irrationality of ζ(3) was proved recently by Apéry [8]. But it is known that there are infinitely many ζ(2n+1) which are irrational (see [9] and [10]).

The following formulae involving ζ(2k+1) were given by Ramanujan (see [11]):

  1. (i)

    If kN{1},

    α k [ 1 2 ζ ( 1 2 k ) + n = 1 n 2 k 1 e 2 n α 1 ] = ( β ) k [ 1 2 ζ ( 1 2 k ) + n = 1 n 2 k 1 e 2 n β 1 ] ;
    (1.15)
  2. (ii)

    If kN,

    0 = 1 ( 4 α ) k [ 1 2 ζ ( 2 k + 1 ) + n = 1 1 n 2 k + 1 ( e 2 n α 1 ) ] 1 ( 4 β ) k [ 1 2 ζ ( 2 k + 1 ) + n = 1 1 n 2 k + 1 ( e 2 n β 1 ) ] + j = 0 [ k + 1 2 ] ( 1 ) j π 2 j B 2 j B 2 k 2 j + 2 ( 2 j ) ! ( 2 k 2 j + 2 ) ! [ α k 2 j + 1 + ( β ) k 2 j + 1 ] ,
    (1.16)

where B j is the j th Bernoulli number, α>0 and β>0 satisfy αβ= π 2 , and ∑ means that when k is an odd number 2m1, the last term of the right-hand side in (1.16) is taken as ( 1 ) m π 2 m B 2 m 2 ( m ! ) 2 .

In 1928, Hardy [12] proved (1.15). In 1970, Grosswald [13] proved (1.16). In 1970, Grosswald [14] gave another expression of ζ(2k+1). In 1983, Zhang [11] not only proved Ramanujan formulae (1.15) and (1.16), but also gave an explicit expression of ζ(2k+1). For various series representations for ζ(2n+1), see [15] and also see [[1], Chapter 4] and [[2], Chapter 4].

Many useful and interesting properties, identities, and relations for ζ(s) and ζ(s,a) have been developed, for example, the formulas recalled above. Here, we aim at presenting certain (presumably) new and (potentially) useful relationships among polygamma functions, Riemann zeta function, and generalized zeta function by mainly modifying Chen’s method [16]. We also give a double inequality approximating ζ(2r+1) (rN) by a more rapidly convergent series, that is, the Dirichlet lambda function λ(s) defined by

λ(s)= k = 1 1 ( 2 k 1 ) s ( ( s ) > 1 )
(1.17)

(see Theorem 3).

2 Main results

We first prove a relationship between polygamma functions and Riemann zeta functions asserted by Theorem 1.

Theorem 1 For each rN, the following formula holds true:

1 ( 2 r ) ! j = 1 n ψ ( 2 r ) ( j + 1 ) = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 1 ) ψ ( 2 r ) ( n + 2 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 2 ) ζ ( 2 r ) ( n N ) .
(2.1)

Proof We prove Eq. (2.1) by using the principle of mathematical induction on nN. For n=1, in view of Eq. (1.6), it is found that both sides of (2.1) equal 1ζ(2r+1). Assume that (2.1) holds true for some nN. Then we will show that (2.1) is true for n+1, i.e.,

1 ( 2 r ) ! j = 1 n + 1 ψ ( 2 r ) ( j + 1 ) = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 2 ) ψ ( 2 r ) ( n + 3 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 3 ) ζ ( 2 r ) .
(2.2)

Let denote the left-hand side of (2.2) by . Then, by the induction hypothesis, we have

L = 1 ( 2 r ) ! j = 1 n ψ ( 2 r ) ( j + 1 ) + 1 ( 2 r ) ! ψ ( 2 r ) ( n + 2 ) = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 1 ) ψ ( 2 r ) ( n + 2 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 2 ) ζ ( 2 r ) + 1 ( 2 r ) ! ψ ( 2 r ) ( n + 2 ) = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 2 ) ψ ( 2 r ) ( n + 2 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 2 ) ζ ( 2 r ) .

By using (1.7), we find

L = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 2 ) { ψ ( 2 r ) ( n + 3 ) ( 2 r ) ! ( n + 2 ) 2 r + 1 } + 1 ( 2 r 1 ) ! { ψ ( 2 r 1 ) ( n + 3 ) + ( 2 r 1 ) ! ( n + 2 ) 2 r } ζ ( 2 r ) = ζ ( 2 r + 1 ) + 1 ( 2 r ) ! ( n + 2 ) ψ ( 2 r ) ( n + 3 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 3 ) ζ ( 2 r ) ,

which is equal to the right-hand side of (2.2). Hence, by the principle of mathematical induction, (2.1) is true for all nN. □

We recall the following asymptotic formula for the polygamma function ψ ( n ) (s) (see [[17], p.260, Entry 6.4.11]):

(2.3)

Next we give an interesting series representation for ζ(2r) in terms of the generalized zeta functions ζ(2r+1,j+1) (j N 0 ).

Theorem 2 The following formula holds true:

ζ(2r)= j = 0 ζ(2r+1,j+1)(rN).
(2.4)

Proof Applying the series representation (1.6) for ψ ( n ) (s) to the left-hand side of (2.1), we have

j = 1 n = 0 1 ( + j + 1 ) 2 r + 1 = ζ ( 2 r + 1 ) ζ ( 2 r ) + 1 ( 2 r ) ! ( n + 1 ) ψ ( 2 r ) ( n + 2 ) + 1 ( 2 r 1 ) ! ψ ( 2 r 1 ) ( n + 2 ) .

Taking the limit on each side of the last resulting identity as n, in view of (2.3), we obtain the following identity:

ζ(2r)=ζ(2r+1)+ j = 1 = 1 1 ( + j ) 2 r + 1 (rN).
(2.5)

Now it is easy to find from (1.2) and (1.3) that (2.5) equals (2.4). □

We present a relationship between ζ(2r+1) and ψ ( 2 r ) (n+ 1 2 ) asserted by the following theorem.

Lemma For each rN, the following formula holds true:

k = 1 n 1 ( 2 k 1 ) 2 r + 1 = ( 1 1 2 2 r + 1 ) ζ ( 2 r + 1 ) + 1 2 2 r + 1 ( 2 r ) ! ψ ( 2 r ) ( n + 1 2 ) ( n N ) .
(2.6)

Proof We prove Eq. (2.6) by using the principle of mathematical induction on nN. When n=1, the left-hand side of (2.6) is clearly 1, and the right-hand side of (2.6) is seen to be 1 by using (1.6) and (1.3). Assume that (2.6) holds true for some nN. Then, by the induction hypothesis and using (1.7), we find

k = 1 n + 1 1 ( 2 k 1 ) 2 r + 1 = k = 1 n 1 ( 2 k 1 ) 2 r + 1 + 1 ( 2 n + 1 ) 2 r + 1 = ( 1 1 2 2 r + 1 ) ζ ( 2 r + 1 ) + 1 2 2 r + 1 ( 2 r ) ! ψ ( 2 r ) ( n + 1 2 ) + 1 ( 2 n + 1 ) 2 r + 1 = ( 1 1 2 2 r + 1 ) ζ ( 2 r + 1 ) + 1 2 2 r + 1 ( 2 r ) ! { ψ ( 2 r ) ( n + 1 2 ) + ( 2 r ) ! ( n + 1 2 ) 2 r + 1 } = ( 1 1 2 2 r + 1 ) ζ ( 2 r + 1 ) + 1 2 2 r + 1 ( 2 r ) ! ψ ( 2 r ) ( n + 3 2 ) ,

which is equal to the right-hand side of (2.6) replaced n by n+1. Therefore, by the principle of mathematical induction, (2.6) holds true for all nN. □

We prove certain inequalities for ζ(2r+1) affirmed by Theorem 3.

Theorem 3 Let r,nN and N N 0 . Then the following inequalities hold true:

(2.7)

Proof It is known [18] that, for x> 1 2 and N N 0 ,

(2.8)

where

B k (1/2)= ( 1 1 2 k 1 ) B k (k N 0 )

and B k are Bernoulli numbers.

By replacing x and n in (2.8) by n+ 1 2 and 2r, respectively, we get

(2.9)

Write (2.6) as

(2.10)

Upon substituting from (2.9) into (2.10), we obtain the desired result. □

3 Further observations and remarks

By applying the relation (1.6) to (2.1), we obtain an interesting relationship between the Hurwitz zeta functions ζ(2r,) and ζ(2r+1,):

ζ(2r)ζ(2r,n+2)= j = 0 n ζ(2r+1,j+1)(n+1)ζ(2r+1,n+2)(n,rN).
(3.1)

Observing, for rN,

ζ(2r,n+2)=O ( 1 n ) andζ(2r+1,n+2)=O ( 1 ( n + 1 ) 2 ) (n)

and taking the limit on each side of (3.1) as n, we also get (2.4).

The formula (2.4) in Theorem 2 can be rewritten in the following double sum:

ζ(2r)= j = 0 k = 0 1 ( j + k + 1 ) 2 r + 1 (rN).
(3.2)

Inspired by (3.2), we have a natural question: Can the following triple sum:

j = 0 k = 0 = 0 1 ( j + k + + 1 ) 2 r + 1 (rN)
(3.3)

be expressed in terms of the Hurwitz zeta functions ζ(s,a)? Mathematica 8 gives a positive response to this question as well as (3.2):

j = 0 k = 0 = 0 1 ( j + k + + 1 ) 2 r + 1 = 1 2 { ζ ( 2 r ) + ζ ( 2 r 1 ) } (rN).
(3.4)

However, Mathematica 8 gives no response to the same question for multiple sums more than triple one as in (3.2) and (3.4). In fact, we find that this question for multiple sums more than triple one has already been generally solved as follows (see, e.g., [19, 20], [[1], pp.85-86] and [[2], pp.151-153]): The n-ple (or, simply, the multiple) Hurwitz zeta function ζ n (s,a) is defined by

ζ n (s,a):= k 1 , , k n = 0 ( a + k 1 + + k n ) s ( ( s ) > n ; n N ; a C Z 0 ) .
(3.5)

Choi [19] (see also Choi and Srivastava [20]) found that ζ n (s,a) is expressible as the following finite linear combination of the generalized zeta functions ζ(s,a) with polynomial coefficients in a:

ζ n (s,a)= j = 0 n 1 p n , j (a)ζ(sj,a),
(3.6)

where

p n , j (a):= 1 ( n 1 ) ! = j n 1 ( 1 ) n + 1 j ( j ) s(n,+1) a j .
(3.7)

Here s(n,) denotes Stirling numbers of the first kind which satisfy the following recurrence relations:

s(n+1,)=s(n,1)ns(n,)(n1)
(3.8)

and

( k j ) s(n,k)= = k j n j ( n ) s(n,j)s(,kj)(nkj).
(3.9)

It is not difficult to see also that

s ( n , 0 ) = { 1 ( n = 0 ) , 0 ( n N ) , s ( n , n ) = 1 , s ( n , 1 ) = ( 1 ) n + 1 ( n 1 ) ! and s ( n , n 1 ) = ( n 2 ) .
(3.10)

The series for ζ n (s,a) can be expressed in terms of the Hurwitz zeta functions ζ(s,a) explicitly for the first few values of n:

ζ 2 ( s , a ) = ( 1 a ) ζ ( s , a ) + ζ ( s 1 , a ) ; ζ 3 ( s , a ) = 1 2 ( a 2 3 a + 2 ) ζ ( s , a ) + ( 3 2 a ) ζ ( s 1 , a ) + 1 2 ζ ( s 2 , a ) ; ζ 4 ( s , a ) = 1 6 { ( a 3 + 6 a 2 11 a + 6 ) ζ ( s , a ) + ( 3 a 2 12 a + 11 ) ζ ( s 1 , a ) ζ 4 ( s , a ) = ( 3 a 6 ) ζ ( s 2 , a ) + ζ ( s 3 , a ) } .
(3.11)

We find from (1.3) that the special cases (s=2r+1 and a=1) of the first and second equations in (3.11) yield immediately (3.2) and (3.4), respectively.

In view of (1.14) and (2.4), we get a closed-form evaluation of series involving the zeta functions as follows:

j = 0 ζ(2r+1,j+1)= ( 1 ) r + 1 ( 2 π ) 2 r 2 ( 2 r ) ! B 2 r (rN).
(3.12)

An interesting historical introduction to the remarkably widely and extensively investigated subject of closed-form evaluation of series involving the zeta functions was presented (see [1] and [2]). A considerably large number of formulas have been derived, by using various methods and techniques, in the vast literature on this subject (see, e.g., [[1], Chapter 3], [[2], Chapter 3] and references therein).

It is noted that, in fact, the formula (2.6) is seen to be easily deduced from the following known relation (cf., (1.8)):

ζ(s,a)=ζ(s,n+a)+ k = 1 n 1 ( k + a 1 ) s (nN)
(3.13)

and the relation in (1.6). But we record it in the form of a lemma in order to use it in the proof of Theorem 3.

The special case (N=0) of (2.7) becomes

(3.14)

whose further special case when r=1 is

1 14 n 2 1 56 n 4 <ζ(3) 8 7 k = 1 n 1 ( 2 k 1 ) 3 < 1 14 n 2 (nN).
(3.15)

The special case (N=1) of (2.7) yields

(3.16)

A further special case (r=1) of (3.16) is

(3.17)

References

  1. Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.

    Book  MATH  Google Scholar 

  2. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.

    MATH  Google Scholar 

  3. Riemann B: Über die Anzahl der Primzahlen unter einer gegebenen Grösse. Monatsber. Akad. Berlin 1859, 1859: 671–680.

    Google Scholar 

  4. Edwards HM: Riemann’s Zeta Function. Academic Press, New York; 1974. Dover Publications, Mineola, New York (2001)

    MATH  Google Scholar 

  5. Devlin K: The Millennium Problems. Basic Books, New York; 2002.

    MATH  Google Scholar 

  6. Pengelley DJ: Dances between continuous and discrete: Euler’s summation formula. In Proceedings, Euler $2k+2$2k+2 Conference Edited by: Bradley R, Sandifer E. 2003.

    Google Scholar 

  7. Tsumura H:An elementary proof of Euler’s formula for ζ(2m). Am. Math. Mon. 2004, 111: 430–431. 10.2307/4145270

    Article  MATH  MathSciNet  Google Scholar 

  8. Apéry R:Irrationalité de ζ(2) et ζ(3). 61. In Journées Arithmétiques de Luminy. Soc. Math. France, Paris; 1979:11–13. (Colloq. Internat. CNRS, Centre Univ. Luminy, Luminy, 1978)

    Google Scholar 

  9. Rivoal T: La fonction zêta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs. C. R. Acad. Sci. Paris 2000, 331: 267–270. Série I 10.1016/S0764-4442(00)01624-4

    Article  MATH  MathSciNet  Google Scholar 

  10. Zudilin W:One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational. Russ. Math. Surv. 2001, 56: 774–776. 10.1070/RM2001v056n04ABEH000427

    Article  MATH  MathSciNet  Google Scholar 

  11. Zhang N-Y: Ramanujan’s formulas and the values of the Riemann zeta function at odd positive integers. Adv. Math. 1983, 12: 61–71. (Chinese)

    MATH  Google Scholar 

  12. Hardy GH: A formula of Ramanujan. J. Lond. Math. Soc. 1928, 3: 238–240. 10.1112/jlms/s1-3.3.238

    Article  MATH  Google Scholar 

  13. Grosswald E: Comments on some formulae of Ramnujan. Acta Arith. 1972, 21: 25–34.

    MATH  MathSciNet  Google Scholar 

  14. Grosswald E: Die Werte der Riemannschen Zeta Function an ungeraden Argumenstellen. Gött. Nachr. 1970, 1970: 9–13.

    MATH  MathSciNet  Google Scholar 

  15. Dancs MJ, He T-X:An Euler-type formula for ζ(2k+1). J. Number Theory 2006, 118: 192–199. 10.1016/j.jnt.2005.09.005

    Article  MATH  MathSciNet  Google Scholar 

  16. Chen, C-P: Inequalities and series formula for ζ(3). Preprint

  17. Abramowitz M, Stegun IA (Eds): National Bureau of Standards, Applied Mathematics Series 55 In Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. 10th edition. National Bureau of Standards, Washington; 1972. Reprinted by Dover Publications, New York (1965)

  18. Allasia G, Giordano C, Pećarić J: Inequalities for the gamma function relating to asymptotic expansions. Math. Inequal. Appl. 2002, 5(3):543–555.

    MATH  MathSciNet  Google Scholar 

  19. Choi J: Explicit formulas for the Bernoulli polynomials of order n . Indian J. Pure Appl. Math. 1996, 27: 667–674.

    MATH  MathSciNet  Google Scholar 

  20. Choi J, Srivastava HM: The multiple Hurwitz Zeta function and the multiple Hurwitz-Euler eta function. Taiwan. J. Math. 2011, 15: 501–522.

    MATH  MathSciNet  Google Scholar 

Download references

Acknowledgements

The first author is supported by the Basic Science Research Program through the National Research Foundation of Korea funded by the Ministry of Education, Science and Technology (2012-0002957).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Junesang Choi.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

The authors have equal contributions to each part of this paper. All authors have read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

Choi, J., Chen, CP. Certain relationships among polygamma functions, Riemann zeta function and generalized zeta function. J Inequal Appl 2013, 75 (2013). https://doi.org/10.1186/1029-242X-2013-75

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2013-75

Keywords