Open Access

Some identities related to Riemann zeta-function

Journal of Inequalities and Applications20162016:32

https://doi.org/10.1186/s13660-016-0980-9

Received: 14 December 2015

Accepted: 19 January 2016

Published: 28 January 2016

Abstract

It is well known that the Riemann zeta-function \(\zeta(s)\) plays a very important role in the study of analytic number theory. In this paper, we use the elementary method and some new inequalities to study the computational problem of one kind of reciprocal sums related to the Riemann zeta-function at the integer point \(s\geq2\), and for the special values \(s=2, 3\), we give two exact identities for the integer part of the reciprocal sums of the Riemann zeta-function. For general integer \(s\geq4\), we also propose an interesting open problem.

Keywords

Riemann zeta-functioninequalityfunction \([x]\) identityelementary method

MSC

11B8311M06

1 Introduction

Let complex number \(s=\sigma+it\), if \(\sigma >1\), then the famous Riemann zeta-function \(\zeta(s)\) is defined by the Dirichlet series
$$\zeta(s)=\sum_{n=1}^{\infty}\frac{1}{n^{s}}, $$
and it is analytic everywhere except for a simple pole at \(s=1\) with residue 1.

As regards the various properties of \(\zeta(s)\), many mathematicians have studied them and obtained abundant research results. Some related work can be found in [13], and [4]. However, many research results as regards the Riemann zeta-function basically can be summarized in three aspects: (A) the estimation of the order for the Riemann zeta-function; (B) the mean value theorem for the Riemann zeta-function; (C) the zeros density estimation for the Riemann zeta-function. Particularly with regard to a most important problem related to the zeros density estimation of the Riemann zeta-function one has the most famous Riemann hypothesis.

This paper is inspired by [5, 6], and [7], we will study the properties of the Riemann zeta-function from another angle.

For convenience, we first introduce the concept of the Fibonacci sequence \(\{F_{n}\}\): For all integers \(n\geq1\), the famous Fibonacci sequence \(F_{n}\) is defined by
$$F_{n}=\frac{1}{\sqrt{5}} \biggl[ \biggl(\frac{1+\sqrt{5}}{2} \biggr)^{n}- \biggl(\frac{1-\sqrt{5}}{2} \biggr)^{n} \biggr]. $$
It is clear that \(F_{n}\) is a second-order linear recurrence sequence. That is, \(F_{n+1}=F_{n}+F_{n-1} \) with \(F_{0}=0\) and \(F_{1}= 1\). This sequence has many important positions in the research of pure mathematics and applied mathematics, and it has attracted of many scholars attention and interest. For example, Ohtsuka and Nakamura [5] first studied the properties of the reciprocal sums of \(F_{n}\), and they proved two identities:
$$\begin{aligned}& \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{F_{k}} \Biggr)^{-1} \Biggr]= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} F_{n-2}, &\mbox{if }n\geq2\mbox{ is even;} \\ F_{n-2}-1, &\mbox{if }n\geq1\mbox{ is odd}, \end{array}\displaystyle \right .\\& \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{F_{k}^{2}} \Biggr)^{-1} \Biggr]= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} F_{n-1}F_{n}-1, &\mbox{if }n\geq2\mbox{ is even}; \\ F_{n}F_{n-1} , &\mbox{if }n\geq1\mbox{ is odd}, \end{array}\displaystyle \right . \end{aligned}$$
where the function \([x]\) denotes the greatest integer ≤x.
Xu and Wang [6] studied a similar problem. They considered the infinite sum of the cubes of the reciprocal \(F_{n}\) and obtained a complex computational formula:
$$\Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{F_{k}^{3}} \Biggr)^{-1} \Biggr]. $$
Zhang and Wang [7] considered the computational problem of Pell numbers and proved the identity
$$\Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{P_{k}} \Biggr)^{-1} \Biggr]= \left \{ \textstyle\begin{array}{@{}l@{\quad}l} P_{n-1}+ P_{n-2}, &\mbox{if }n\geq2\mbox{ is an even number}; \\ P_{n-1}+ P_{n-2}-1 , &\mbox{if }n\geq1\mbox{ is an odd number}, \end{array}\displaystyle \right . $$
where the Pell numbers \(P_{n}\) are defined by \(P_{0}=0\), \(P_{1}=1\), and \(P_{n+1}=2P_{n}+P_{n-1}\) for all integers \(n\geq1\).

Some other results related to recursive sequence, recursive polynomial and their promotion forms can also be found in [815], here no longer list them one by one.

Inspired by the above, we may naturally ask: for the part sums of reciprocal Riemann zeta-function, does there exist a beautiful computational formula? That is to say, for any integers \(s\geq2\) and \(n>1\), does there exist an interesting computational formula for
$$\begin{aligned} \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{k^{s}} \Biggr)^{-1} \Biggr]. \end{aligned}$$
(1)
About this problem, as far as we know, it seems that none had studied it yet, we also have not seen any related result before. But we think this problem is very interesting and important, because it depicts other important properties of the Riemann zeta-function, especially the asymptotic properties of its part sums.

The main purpose of this paper is to study this problem, and use the elementary method and some new inequalities to give two interesting identities for (1) with \(s=2\) and 3. That is, we shall prove the following two conclusions.

Theorem 1

For any \(n\geq1\), we have the identity
$$\begin{aligned} \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{k^{2}} \Biggr)^{-1} \Biggr]=n-1. \end{aligned}$$

Theorem 2

For any positive integer n, we have
$$\begin{aligned} \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{k^{3}} \Biggr)^{-1} \Biggr]=2n(n-1). \end{aligned}$$
For \(s=4\), through inspection of the data, we found a very strange problem: there is no such an integral coefficient polynomial \(f(x)\) with degree 3 that the following identity holds:
$$\begin{aligned} \Biggl[ \Biggl(\sum_{k= n}^{\infty} \frac{1}{k^{4}} \Biggr)^{-1} \Biggr]=f(n). \end{aligned}$$

Therefore, how to give a precise calculation formula for (1) with \(s=4\) is a very complicated problem. So we propose the following.

Open problem

For integer \(s=4\), does there exist an exact computational formula for (1)?

We hope people who are interested in this problem can study it together with us, and solve this problem finally.

2 Several lemmas

In this section, we shall give some simple lemmas, which are necessary in the proofs of our theorems. First we have the following inequality.

Lemma 1

For any integer \(n>1\), we have the inequality
$$\sum_{k= n}^{\infty}\frac{1}{k^{3}}< \frac{1}{2n(n-1)}. $$

Proof

In fact, for any integer \(n\geq2\), note that we have the decomposition
$$\frac{1}{(n-1)(n+1)}=\frac{1}{2} \biggl(\frac {1}{n-1}-\frac{1}{n+1} \biggr) \quad\mbox{and}\quad \frac {1}{(n-1)n}=\frac{1}{n-1}-\frac{1}{n} $$
and we have
$$\begin{aligned} \sum_{k= n}^{\infty}\frac{1}{k^{3}} < &\sum _{k= n}^{\infty}\frac {1}{k (k^{2}-1 )}=\sum _{k= n}^{\infty}\frac{1}{k(k-1)(k+1)}=\sum _{k= n}^{\infty}\frac{1}{2k} \biggl( \frac{1}{k-1}-\frac{1}{k+1} \biggr) \\ =&\frac{1}{2}\sum_{k= n}^{\infty} \biggl(\frac{1}{k(k-1)}-\frac {1}{k(k+1)} \biggr)=\frac{1}{2}\sum _{k= n}^{\infty}\frac{1}{k(k-1)}- \frac {1}{2}\sum_{k= n}^{\infty} \frac{1}{k(k+1)} \\ =&\frac{1}{2}\sum_{k= n}^{\infty} \biggl(\frac{1}{k-1}-\frac{1}{k} \biggr)-\frac{1}{2}\sum _{k= n}^{\infty} \biggl(\frac{1}{k}- \frac{1}{k+1} \biggr)=\frac{1}{2} \biggl(\frac{1}{n-1}- \frac{1}{n} \biggr)=\frac{1}{2n(n-1)}. \end{aligned}$$
This proves Lemma 1. □

Lemma 2

For any integer \(n\geq2\), we also have the inequality
$$\begin{aligned} \frac{1}{2(2n-2)(2n-1)+1}-\frac{1}{2(2n)(2n+1)+1}< \frac{1}{(2n-1)^{3}}+ \frac{1}{(2n)^{3}}. \end{aligned}$$

Proof

It is clear that for all integers \(n\geq2\), the inequality in Lemma 2 is equivalent to the following inequality:
$$\frac{1}{2}\cdot\frac{(2n)(2n+1)- (2n-2)(2n-1)}{ ((2n-2)(2n-1)+\frac{1}{2} )\cdot ((2n)(2n+1)+\frac{1}{2} )}< \frac{16n^{3}-12n^{2}+6n-1}{8n^{3}(2n-1)^{3}} $$
or
$$\begin{aligned} \frac{4n-1}{ (4n^{2}-6n+\frac{5}{2} )\cdot (4n^{2}+2n+\frac {1}{2} )}< \frac{16n^{3}-12n^{2}+6n-1}{8n^{3} (8n^{3}-12n^{2}+6n-1 )}, \end{aligned}$$
(2)
but the inequality (2) is equivalent to
$$\begin{aligned} &8 \bigl(4n^{4}-n^{3} \bigr) \bigl(8n^{3}-12n^{2}+6n-1 \bigr)\\ &\quad< \bigl(16n^{3}-12n^{2}+6n-1 \bigr) \biggl(16n^{4}-16n^{3}+2n+ \frac{5}{4} \biggr) \end{aligned}$$
or
$$\begin{aligned} &256n^{7}-448n^{6}+288n^{5}-80n^{4}+8n^{3} \\ &\quad< 256n^{7}-448n^{6}+288n^{5}-80n^{4}+12n^{3}-3n^{2}+ \frac{11}{2}n-\frac{5}{4}. \end{aligned}$$
(3)
It is clear that (3) is obvious, if \(n\geq2\). So inequality (2) is also correct. This proves Lemma 2. □

Lemma 3

For any integer \(n\geq2\), we have the inequality
$$\begin{aligned} \frac{1}{2(2n)(2n-1)+1}-\frac{1}{2(2n+2)(2n+1)+1}< \frac{1}{(2n)^{3}}+ \frac{1}{(2n+1)^{3}}. \end{aligned}$$

Proof

It is clear that, to prove Lemma 3, we only need to prove the inequality
$$\begin{aligned} \frac{4n+1}{ (4n^{2}+6n+\frac{5}{2} )\cdot (4n^{2}-2n+\frac {1}{2} )}< \frac{16n^{3}+12n^{2}+6n+1}{8n^{3} (8n^{3}+12n^{2}+6n+1 )}. \end{aligned}$$
(4)
The inequality (4) is equivalent to the inequality
$$\begin{aligned} &8 \bigl(4n^{4}+n^{3} \bigr) \bigl(8n^{3}+12n^{2}+6n+1 \bigr)\\ &\quad< \bigl(16n^{3}+12n^{2}+6n+1 \bigr) \biggl(16n^{4}+16n^{3}-2n+ \frac{5}{4} \biggr) \end{aligned}$$
or
$$\begin{aligned} &256n^{7}+448n^{6}+288n^{5}+80n^{4}+8n^{3} \\ &\quad< 256n^{7}+448n^{6}+288n^{5}+80n^{4}+12n^{3}+3n^{2}+ \frac{11}{2n}+\frac{5}{4}. \end{aligned}$$
(5)
It is clear that (5) holds, so inequality (4) is correct. That means that Lemma 3 is correct. □

3 Proof of the theorems

In this section, we shall complete the proofs of our theorems. First for any integer \(n\geq2\), note that we have the inequalities
$$\frac{1}{n}=\sum_{k=n}^{\infty} \biggl( \frac{1}{k}-\frac{1}{k+1} \biggr)=\sum_{k=n}^{\infty} \frac{1}{k(k+1)}< \sum_{k=n}^{\infty} \frac{1}{k^{2}} $$
and
$$\sum_{k=n}^{\infty}\frac{1}{k^{2}}< \sum _{k=n}^{\infty}\frac {1}{k(k-1)}=\sum _{k=n}^{\infty} \biggl(\frac{1}{k-1}- \frac{1}{k} \biggr)=\frac{1}{n-1}. $$
So we have the inequality
$$n-1< \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{2}} \Biggr)^{-1}< n. $$
It is clear that this inequality also holds if \(n=1\). So for all integers \(n\geq1\), we have the identity
$$\Biggl[ \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{2}} \Biggr)^{-1} \Biggr]=n-1. $$
This proves Theorem 1.
Now we prove Theorem 2. First we prove the inequality
$$\begin{aligned} \frac{1}{2n(n-1)+1}< \sum_{k= n}^{\infty} \frac{1}{k^{3}} . \end{aligned}$$
(6)
In fact if \(n=2m-1>1\) is an odd number, then from Lemma 2 we have
$$\begin{aligned} \sum_{k= 2m-1}^{\infty}\frac{1}{k^{3}} =&\sum _{k=m}^{\infty}\frac{1}{(2k-1)^{3}}+\sum _{k=m}^{\infty}\frac{1}{(2k)^{3}}= \sum _{k=m}^{\infty} \biggl(\frac{1}{(2k-1)^{3}}+ \frac{1}{(2k)^{3}} \biggr) \\ >&\frac{1}{2}\sum_{k=m}^{\infty} \biggl(\frac{1}{(2k-2)(2k-1)+\frac{1}{2}}- \frac{1}{(2k)(2k+1)+\frac{1}{2}} \biggr) \\ =&\frac{1}{2(2m-2)(2m+1)+1}. \end{aligned}$$
(7)
Similarly, if \(n=2m\) is an even number, then from Lemma 3 we have
$$\begin{aligned} \sum_{k\geq 2m}^{\infty}\frac{1}{k^{3}} =&\sum _{k=m}^{\infty}\frac{1}{(2k)^{3}}+\sum _{k=m}^{\infty}\frac{1}{(2k+1)^{3}}= \sum _{k=m}^{\infty} \biggl(\frac{1}{(2k)^{3}}+ \frac{1}{(2k+1)^{3}} \biggr) \\ >&\frac{1}{2}\sum_{k=m}^{\infty} \biggl(\frac{1}{(2k)(2k-1)+\frac{1}{2}}- \frac{1}{(2k+2)(2k+1)+\frac{1}{2}} \biggr) \\ =&\frac{1}{2(2m-1)(2m)+1}. \end{aligned}$$
(8)
Combining inequalities (7), (8), and Lemma 1 we may deduce the inequality
$$\begin{aligned} \frac{1}{2n(n-1)+1}< \sum_{k=n}^{\infty} \frac{1}{k^{3}} < \frac{1}{2n(n-1)}, \end{aligned}$$
which implies
$$\begin{aligned} 2n(n-1)< \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{3}} \Biggr)^{-1} < 2n(n-1)+1. \end{aligned}$$
(9)
For any integer \(n\geq2\), from the definition of the function \([x]\) and (9) we may immediately deduce the identity
$$\begin{aligned} \Biggl[ \Biggl(\sum_{k=n}^{\infty} \frac{1}{k^{3}} \Biggr)^{-1} \Biggr]=2n(n-1). \end{aligned}$$
(10)
If \(n=1\), then \(\sum_{k=1}^{\infty}\frac{1}{k^{3}}>1\), so
$$0< \Biggl(\sum_{k=1}^{\infty}\frac{1}{k^{3}} \Biggr)^{-1}< 1 \quad\mbox{or}\quad \Biggl[ \Biggl(\sum_{k=1}^{\infty}\frac{1}{k^{3}} \Biggr)^{-1} \Biggr]=0. $$
This completes the proof of Theorem 2.

Declarations

Acknowledgements

The author would like to thank the referee for very helpful and detailed comments, which have significantly improved the presentation of this paper. This work was supported by the P. S. F. C. (Grant No. 2013JZ001) and N. S. F. C. (Grant No. 11371291).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)
School of Mathematics, Northwest University

References

  1. Apostol, TM: Introduction to Analytic Number Theory. Springer, New York (1976) MATHGoogle Scholar
  2. Titchmarsh, EC: The Theory of the Riemann Zeta-Function. Oxford University Press, London (1951); rev. ed. (1986) MATHGoogle Scholar
  3. Ivic, A: The Riemann Zeta-Function. Wiley, New York (1985) MATHGoogle Scholar
  4. Fergusson, RP: An application of Stieltjes integration to the power series coefficients of the Riemann zeta-function. Am. Math. Mon. 70, 60-61 (1963) View ArticleGoogle Scholar
  5. Ohtsuka, H, Nakamura, S: On the sum of reciprocal Fibonacci numbers. Fibonacci Q. 46/47, 153-159 (2008/2009) Google Scholar
  6. Xu, Z, Wang, T: The infinite sum of the cubes of reciprocal Fibonacci numbers. Adv. Differ. Equ. 2013, 184 (2013) View ArticleGoogle Scholar
  7. Wenpeng, Z, Tingting, W: The infinite sum of reciprocal Pell numbers. Appl. Math. Comput. 218, 6164-6167 (2012) MATHMathSciNetView ArticleGoogle Scholar
  8. Zhang, H, Wu, Z: On the reciprocal sums of the generalized Fibonacci sequences. Adv. Differ. Equ. 2013, 377 (2013) View ArticleGoogle Scholar
  9. Wu, Z, Zhang, H: On the reciprocal sums of higher-order sequences. Adv. Differ. Equ. 2013, 189 (2013) View ArticleGoogle Scholar
  10. Wu, Z, Zhang, W: The sums of the reciprocals of Fibonacci polynomials and Lucas polynomials. J. Inequal. Appl. 2012, 134 (2012) View ArticleGoogle Scholar
  11. Wu, Z, Zhang, W: Several identities involving the Fibonacci polynomials and Lucas polynomials. J. Inequal. Appl. 2013, 205 (2013) View ArticleGoogle Scholar
  12. Mansour, T, Shattuck, M: Restricted partitions and q-Pell numbers. Cent. Eur. J. Math. 9, 346-355 (2011) MATHMathSciNetView ArticleGoogle Scholar
  13. Komatsu, T: On the nearest integer of the sum of reciprocal Fibonacci numbers. In: Proceedings of the Fourteenth International Conference on Fibonacci Numbers and Their Applications. Aportaciones Matematicas Investigacion, vol. 20, pp. 171-184 (2011) Google Scholar
  14. Komatsu, T, Laohakosol, V: On the sum of reciprocals of numbers satisfying a recurrence relation of orders. J. Integer Seq. 13, Article ID 10.5.8 (2010) MathSciNetGoogle Scholar
  15. Kilic, E, Arikan, T: More on the infinite sum of reciprocal usual Fibonacci, Pell and higher order recurrences. Appl. Math. Comput. 219, 7783-7788 (2013) MATHMathSciNetView ArticleGoogle Scholar

Copyright

© Xin 2016