- Research
- Open access
- Published:
Some inequalities related to two expansions of \((1+1/x)^{x}\)
Journal of Inequalities and Applications volume 2015, Article number: 393 (2015)
Abstract
We prove the following theorem: Let
-
(1)
If \(m\geq6\) is even, we have \(S_{m}(x)>\sigma_{m}(x)\) for all \(x>0\).
-
(2)
If \(m\geq7\) is odd, we have \(S_{m}(x)>\sigma_{m}(x)\) for all \(x>1\).
This provides an intuitive explanation for the main result in Mortici and Hu (On an infinite series for \((1+ 1/x)^{x}\), 2014, arXiv:1406.7814 [math.CA]).
1 Introduction
The Carleman inequality [2]
whenever \(a_{n}\geq0\), \(n=1,2,3,\ldots\) , with \(0<\sum_{n=1}^{\infty}a_{n}<\infty\), has attracted the attention of many authors in the recent past [1, 3–10].
In [7], Yang proved
with \(b_{1}=1/2\), \(b_{2}=1/24\), \(b_{3}=1/48\), \(b_{4}=73/5{,}760\), \(b_{5}=11/1{,}280\), \(b_{6}=1{,}945/580{,}608\), and Yang conjectured that if
then \(b_{k}>0\), \(k=1,2,3,\ldots\) .
Later, this conjecture was proved by Yang [8], Gylletberg and Yan [11], and Chen [9], respectively. As an application, Yang proved for any positive integer m
whenever \(a_{n}\geq0\), \(n=1,2,3,\ldots\) , and \(0<\sum_{n=1}^{\infty }a_{n}<\infty\), with \(b_{1}=\frac{1}{2}\) and
In the final part of his paper, Yang [8] remarked that in order to obtain better results, the right-hand side of (1.1) could be replaced by \(e [ 1-\sum_{n=1}^{\infty} ( d_{n}/ ( x+\varepsilon ) ^{n} ) ] \), where \(\varepsilon\in(0,1]\) and \(d_{n}=d_{n} ( \varepsilon ) \), but information about the values of ε are not provided.
Recently, Mortici and Hu [1] proved that \(\varepsilon=11/12\) provides the faster series
and therefore the following inequality is better than (1.2):
The proof of this conclusion is based on the following theorem [12], which is a powerful tool for measuring the speed of convergence.
Theorem
If \(( \omega_{n} )_{n\geq1}\) is convergent to zero and
with \(k>1\), then there exists the limit
The purpose of this paper is to establish some inequalities which explain Mortici’s conclusion in a quantitative way. But our proof is not based on the theorem.
Our main result is the following theorem.
Theorem 1
Let
-
(1)
If \(m\geq6\) is even, then \(S_{m}(x)>\sigma_{m}(x)\) for all \(x>0\).
-
(2)
If \(m\geq7\) is odd, then \(S_{m}(x)>\sigma_{m}(x)\) for all \(x>1\).
2 Lemmas
In order to prove our main results we need the following lemmas, and throughout this paper we set
Here \(0\leq{s}\leq1\), \(x>0\), and \(m\geq1\) is an integer.
Lemma 1
For \(x>0\), let
Then
Proof
For (2.1) and (2.2), see [7]. For (2.3), see [13]. □
Remark 1
Example
Lemma 2
For \(x>0\), let
Then
Proof
Now, we prove (2.5). If n is an odd, then \(d_{n+1}\) is obviously positive.
If n is an even, then we have for all \(n\geq4\)
From (2.7), (2.8), (2.9), and Remark 1, we get
Thus from this and (2.4), we have \(d_{n+1}>0\). This proves (2.5). The proof of (2.6) is similar to (2.5). □
Remark 2
By Lemma 2, it is not obvious that \(S_{m}(x)>\sigma_{m}(x)\).
Lemma 3
Let \(m\geq3\) be an integer, we have
Proof
The proof is similar to the proof of (2.5). □
Lemma 4
Let \(x>0\), and \(m\geq6\) be an integer. Then we have for all \(\frac{1}{12}\leq{s}\leq\frac{1}{2}\)
Proof
Noting that \(\frac{s(\frac{11}{12}+x)}{(s-\frac{1}{12})(1+x)}>1\) for all \(x>0\), the inequality (2.11) is equivalent to
To prove (2.12), we define \(h_{1}(s,x)\) as
Easy computations reveal that
Thus from (2.14), (2.15), and (2.16), we have
which implies
 □
Lemma 5
Let \(x>0\), and \(m\geq2\) be an integer, then \(h(s,x)\) is a monotonic increasing function of s on \([\frac{1}{2},1]\). If m is an odd, then \(h(s,x)\) is a monotonic increasing function of s on \([0,\frac{1}{12}]\).
Proof
It suffices to show that \(\frac{\partial{h(s,x)}}{\partial{s}}>0\). Partial differentiation yields
If \(\frac{1}{2}\leq{s}\leq{1}\), then for all \(x>0\) and \({m}\geq{2}\), we have
Thus
If m is an odd, then for \(0<{s}<\frac{1}{12}\), we have
From this and (2.17), we get
This completes the proof of Lemma 5. □
Lemma 6
Let \(m\geq3\) be an integer, then we have for all \(x\geq1\)
Proof
Because of \(x>1\), (2.18) is equivalent to
The equality (2.19) follows immediately from
 □
3 Proof of Theorem 1
Proof
By Lemma 1 and Lemma 2, we get for \(m\geq2\)
To prove our result, we consider
By Lemma 3, it suffices to show that
Let first \(m\geq6\) be even. From Lemma 4 and Lemma 5, for all \(x>0\), we have
Here we used the fact that if m is an even and \(0\leq s\leq 1/12\), then \(h(s,x)>0\) for any \(x>0\).
Now let \(m\geq7\) be odd. From Lemma 4, Lemma 5, and Lemma 6 for all \(x\geq1\) we have
This completes the proof of Theorem 1. □
Remark 3
By using computer simulation, we find \(S_{m}(x)>\sigma_{m}(x)\) for all \(x>0\) and all \(m\geq1\), but we leave as an open problem the rigorous proof of this fact.
4 Conclusions
In this paper, we have established some inequalities which explain Mortici’s result in a quantitative way. The authors believe that the present analysis will lead to a significant contribution toward the study of the Carleman inequality.
References
Mortici, C, Hu, Y: On an infinite series for \((1+ 1/x)^{x}\) (2014). arXiv:1406.7814 [math.CA]
Hardy, GH, Littlewood, JE, Polya, G: Inequalities. Cambridge University Press, London (1952)
Bicheng, Y, Debnath, L: Some inequalities involving the constant e and an application to Carleman’s inequality. J. Math. Anal. Appl. 223, 347-353 (1998)
Mortici, C, Hu, Y: On some convergences to the constant e and improvements of Carleman’s inequality. Carpath. J. Math. 31, 249-254 (2015)
Mortici, C, Yang, X: Estimates of \((1+ 1/x)^{x}\) involved in Carleman’s inequality and Keller’s limit. Filomat 7, 1535-1539 (2015)
Ping, Y, Guozheng, S: A strengthened Carleman’s inequality. J. Math. Anal. Appl. 240, 290-293 (1999)
Yang, X: On Carleman’s inequality. J. Math. Anal. Appl. 253, 691-694 (2001)
Yang, X: Approximations for constant e and their applications. J. Math. Anal. Appl. 262, 651-659 (2001)
Chen, H: On an infinite series for \((1+\frac{1}{x})^{x}\) and its application. Int. J. Math. Math. Sci. 11, 675-680 (2002)
Liu, H, Zhu, L: New strengthened Carleman’s inequality and Hardy’s inequality. J. Inequal. Appl. 2007, Article ID 84104 (2007)
Gyllenberg, M, Yan, P: On a conjecture by Yang. J. Math. Anal. Appl. 264, 687-690 (2001)
Mortici, C: Product approximations via asymptotic integration. Am. Math. Mon. 117(5), 434-441 (2010)
Hu, Y, Mortici, C: On the coefficients of an expansion of \((1+\frac{1}{x})^{x}\) related to Carleman’s inequality (2014). arXiv:1401.2236 [math.CA]
Acknowledgements
The authors are very grateful to the anonymous referees and the Editor for their insightful comments and suggestions. The authors are grateful to Professor Hongwei Chen, Christopher Newport University, USA, for his kind help and valuable suggestions in the preparation of this paper. Supported by Foundation Lead-edga Technologies Research Project of Henan Province, No. 122300410061.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Authors’ contributions
The authors completed the paper together. They each read and approved the final manuscript.
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
Ren, B., Li, X. Some inequalities related to two expansions of \((1+1/x)^{x}\) . J Inequal Appl 2015, 393 (2015). https://doi.org/10.1186/s13660-015-0928-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0928-5