Abstract
It is well known that the Mathieu series has a wide application in mathematics science. In this paper, we use the elementary method and construct some new inequalities to study the computational problem of the partial reciprocal sums related to the Mathieu series and obtain an interesting inequality and a related identity.
Similar content being viewed by others
1 Introduction
In 1890, French mathematician Emile Leonard Mathieu [1] first introduced the series \(S(r)\) as
where r is a real number with \(r>0\). Then he conjectured that \(S(r)<\frac{1}{r^{2}}\). Now we call this series the Mathieu series, and the conjecture is called the Mathieu conjecture. It has been proved by Berg [2].
Till now, the Mathieu series has attracted increasing interest and attention in the number theory community owing to the important applications in mathematics science (e.g., the theory of elasticity of solid bodies [3], the problem of rectangular plate [4] and the close connection with Riemann zeta function [5]).
In the past century, a great deal of mathematical efforts in the Mathieu series were made to estimate \(S(r)\) and its extended forms. Among these studies, one of the best approximations was established by Cristinel Mortici [6] as follows:
for every \(r>9.595956\).
However, little research has been devoted to the partial reciprocal sums of the Mathieu series. In this paper, we consider it based on the elementary method and some new inequalities. The partial reciprocal sums about other series have been considered by many scholars as follows.
Ohtsuka and Nakamura [7] first put forward the method of reciprocal sums to study the Fibonacci sequence \({F_{n}}\) and proved the following identities:
where function \([x]\) denotes the greatest integer ≤x.
Xu and Wang [8] studied a similar problem. They considered the infinite sum of cubes of reciprocal \(F_{n}\) and then obtained a complex computational formula for
Moreover, Zhang and Wang [9] considered the computational problem of Pell numbers and proved the identity
where 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 a recursive sequence, a recursive polynomial and their promotion forms can also be found in references [10–17]; here we no longer list them one by one.
Inspired by the above, we may naturally ask: for the part sums of reciprocal Mathieu series, does there exist a beautiful evaluation formula? In other words, for any positive integer k, does there exist an interesting computational formula for
To the best of our knowledge, no corresponding concern has been presented yet about this problem. But we think this problem is interesting and meaningful because it depicts other important qualities of the Mathieu series, especially the asymptotic properties of its part sums.
2 Results
The main purpose of this paper is to study this problem and draw our conclusions by the elementary method and some new inequalities. That is, we shall prove the following conclusions.
Theorem 1
Let r be a positive number. Then, for any positive integer k, we have the estimate
In fact, Theorem 1 obtains an effective approximation for the error term of the Mathieu series. As an application of this conclusion, we have the following identities.
Theorem 2
For any positive integer k and positive number r, we have the following identities.
-
(1)
If r is an integer, then
$$\begin{aligned} \Biggl[ \Biggl( \sum_{n=k}^{\infty} \frac{2n}{(n^{2}+r^{2})^{2}} \Biggr) ^{-1} \Biggr] = k^{2}-k+r^{2}; \end{aligned}$$ -
(2)
If r is not an integer, then
$$\begin{aligned} \Biggl[ \Biggl( \sum_{n=k}^{\infty} \frac{2n}{(n^{2}+r^{2})^{2}} \Biggr) ^{-1} \Biggr] = k^{2}-k+ \bigl[ r^{2} \bigr] +c, \end{aligned}$$where \(c=0\) or 1.
In particular, taking \(k=1\) in Theorem 1, we may immediately deduce a crude estimation of \(S(r)\). That is, we have the following.
Corollary
For any positive number r, we have the estimate
3 Several lemmas
Before approaching our theorems, we first propose some fundamental lemmas.
Lemma 1
For any positive integer m, we have the inequality
Proof
In fact, the inequality in Lemma 1 is equivalent to the inequality
For simplicity, we let
Then our problem reduces to proving \(f_{1}(m)>g_{1}(m)\). As
it follows that
Since \(f_{1}(m)-g_{1}(m)>0\), inequality (1) is correct.
This completes the proof of Lemma 1. □
Lemma 2
For any positive integer m, we also have the inequality
Proof
In fact, the inequality in Lemma 2 is equivalent to the inequality
Similarly, we let
In such a case,
\(f_{2}(m)-g_{2}(m)<0\) infers that \(f_{2}(m)< g_{2}(m)\). Then inequality (2) follows.
This proves Lemma 2. □
Lemma 3
For any positive integer m, we have the inequality
Proof
In fact, the inequality in Lemma 3 is equivalent to the inequality
Suppose that
Thus
Obviously, \(f_{3}(m)-g_{3}(m)\) is an increasing function. Let \(m=1\), then
Therefore, \(f_{3}(m)>g_{3}(m)\) and inequality (3) holds.
Hence the statement in Lemma 3 is proved. □
Lemma 4
For any positive integer m, we have the inequality
Proof
In fact, the inequality in Lemma 4 is equivalent to the inequality
Now we construct
Collecting the two equalities above, we obtain
It is clear that \(f_{4}(m)-g_{4}(m)\) is a decreasing function. Suppose \(m=1\), then
Consequently, \(f_{4}(m)< g_{4}(m)\), inequality (4) is correct.
The proof of Lemma 4 is completed. □
4 Proof of the theorem
In this section, we shall complete the proof of our theorems.
First, we proceed to proving Theorem 1. If \(k=2m\) is an even number, then from Lemma 1 we have
Similarly, from Lemma 2 we can deduce that
Combining (5) and (6), we may immediately deduce that
which implies
Similarly, if \(k=2m-1\) is an odd number, then from Lemmas 3 and 4 we acquire
which means
Combining equations (7) and (8), we get
This completes the proof of Theorem 1.
The following identity can be deduced from equations (7) and (8):
for any real positive number r, which completes the proof of Theorem 2.
References
Mathieu, E: Traité de Physique Mathématique, VI-VII: Théorie de l’élasticité des corps solides. Gauthier-Villars, Paris (1890)
Berg, L: Über eine Abschotzung von Mathieu. Math. Nachr. 7, 257-259 (1952)
Emersleben, O: Über die Reihe \(\sum_{k=1}^{\infty}\frac{k}{(k ^{2}+c^{2})^{2}}\). Math. Ann. 125, 165-171 (1952)
Schroder, K: Das Problem der eingespannten rechteckigen elastischen Platte. Math. Ann. 121, 247-326 (1949)
Choi, J, Srivastava, HM: Mathieu series and associated sums involving the Zeta functions. Comput. Math. Appl. (2010). doi:10.1016/j.camwa.2009.10.008
Mortici, C: Accurate approximations of the Mathieu series. Math. Comput. Model. 53, 909-914 (2011)
Ohtsuka, H, Nakamura, S: On the sum of reciprocal Fibonacci numbers. Fibonacci Q. 46(46), 153-159 (2008/2009)
Xu, Z, Wang, T: The infinite sum of the cubes of reciprocal Fibonacci numbers. Adv. Differ. Equ. 2013, 184 (2013)
Zhang, W, Wang, T: The infinite sum of reciprocal Pell numbers. Appl. Math. Comput. 218, 6164-6167 (2012)
Zhang, H, Wu, Z: On the reciprocal sums of the generalized Fibonacci sequences. Adv. Differ. Equ. 2013, 377 (2013)
Wu, Z, Zhang, H: On the reciprocal sums of higher-order sequences. Adv. Differ. Equ. 2013, 189 (2013)
Wu, Z, Zhang, W: The sums of the reciprocals of Fibonacci polynomials and Lucas polynomials. J. Inequal. Appl. 2012, 134 (2012)
Wu, Z, Zhang, W: Several identities involving the Fibonacci polynomials and Lucas polynomials. J. Inequal. Appl. 2013, 205 (2013)
Komatsu, T: On the nearest integer of the sum of reciprocal Fibonacci numbers. Aportaciones Mat. Investig. 20, 171-184 (2011)
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).
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)
Lin, X: Some identities related to the Riemann zeta-function. J. Inequal. Appl. 2016, 32 (2016)
Acknowledgements
The author would like to thank the referees for their very helpful and detailed comments, which have significantly improved the presentation of this paper. This work was supported by the N.S.F. (Grant No. 11371291) and P.S.F. (2014JM1009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
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.
About this article
Cite this article
Lin, X. Partial reciprocal sums of the Mathieu series. J Inequal Appl 2017, 60 (2017). https://doi.org/10.1186/s13660-017-1327-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1327-x