Abstract
In this paper, we obtain some new inequalities which reveal the further relationship between the inverse tangent function arctanx and the inverse hyperbolic sine function sinh−1x. At the same time, we give the analogue for inverse hyperbolic tangent and inverse sine.
Similar content being viewed by others
1 Introduction
In 2010, Masjed-Jamei [1] obtained the following inequality:
[1] also reminded us that the above inequality is established in a larger interval \((-\infty ,\infty )\) because it was detected by Maple software. Inequality (1.1) gives the upper bound for the square of the inverse tangent function arctanx by the inverse hyperbolic sine function \(\sinh ^{-1}x=\ln (x+\sqrt{1+x^{2}})\).
In this paper, we first affirm Masjed-Jamei’s quest, conclude that the scope of the inequality is indeed the large interval \((-\infty , \infty )\), and give a simple proof of this result. Second, we get the strengthening of the inequality that we have just given. Then, we obtain some natural generalizations of this inequality. At the same time, we show the analogue for inverse hyperbolic tangent function \(\operatorname{arctanh}x= ( 1/2 ) \ln ((1+x)/(1-x))\) and inverse sine function arcsinx. Finally, we propose a conjecture on this topic.
Theorem 1.1
The inequality
holds for all \(x\in (-\infty ,\infty )\), and the power number 2 is the best in (1.2).
Theorem 1.2
Let \(0< r<\infty \), \(\lambda = 1\), and \(\mu =r\ln ( r+\sqrt{r^{2}+1} ) / ( \sqrt{r^{2}+1} ( \arctan r ) ^{2} ) \). Then the double inequality
holds for all \(x\in (-r,r)\), where λ and μ are the best constants in (1.3).
Theorem 1.3
Let \(-\infty <\) \(x<\infty \). Then we have
Theorem 1.4
The inequality
holds for all \(x\in (-1,1)\), and the power number 2 is the best in (1.6).
Theorem 1.5
Let \(0< r<1\), \(\alpha = 1\), and \(\beta =r ( \arcsin r ) / ( \sqrt{1-r^{2}} ( \operatorname{arctanh}r ) ^{2} ) \). Then the double inequality
holds for all \(x\in (-r,r)\), where α and β are the best constants in (1.7).
Theorem 1.6
Let n, N be two integers, \(n,N\geq 3\), and
Then the inequality
holds for all \(x\in (-1,1)\).
2 Simple proof of Theorem 1.1
Let \(\arctan x=t\), \(x\in (-\infty ,\infty )\). Then \(x=\tan t\), \(t\in (- \pi /2,\pi /2)\), and (1.2) is equivalent to
for \(t\neq 0\) since the equality in (1.2) holds for \(x=0\). Let
Then
which means that \(F_{1}^{\prime }(t)>0\) for all \(t\in (0,\pi /2)\) and \(F_{1}^{\prime }(t)<0\) for all \(t\in (-\pi /2,0)\). So \(F_{1}(t)>F_{1}(0^{+})=0 \) for all \(t\in (-\pi /2,0)\cup (0,\pi /2)\). In view of
the proof of Theorem 1.1 is complete.
3 Proof of Theorem 1.2
In order to prove Theorem 1.2, we use a key method as follows, which is called the monotone form of l’Hospital’s rule.
Lemma 3.1
For \(-\infty < a< b<\infty \), let \(f,g:[a,b]\rightarrow \mathbb{R}\) be continuous functions that are differentiable on \(( a,b ) \), with \(f ( a ) =g ( a ) =0\) or \(f ( b ) =g ( b ) =0\). If \(f^{\prime }/g^{\prime }\) with \(g^{\prime }(x)\neq 0\) for each x in \((a,b)\) is increasing (decreasing) on \((a,b)\), then so is \(f/g\).
Now, we are in the state of proving Theorem 1.2. After making the same transformation with the second section, we obtain that \(t\in (-\arctan r,\arctan r)\subset (-\pi /2,\pi /2)\). Considering that the two functions involved in (1.3) are even functions, we can discuss problems in the range \((0,\arctan r)\). Let
where
Then
and
Since
we have that the function \(f_{1}^{\prime }(t)/g_{1}^{\prime }(t)\) is decreasing on \((0,\arctan r)\). Then \(G_{1}(t)=f_{1}(t)/g_{1}(t)\) is decreasing on \((0,\arctan r)\) too by Lemma 3.1. In view of
the proof of Theorem 1.2 is complete.
Remark 3.1
Letting \(r\rightarrow \infty \) in Theorem 1.2, we can obtain Theorem 1.1.
4 Proof of Theorem 1.3
Because the functions involved in this section are all even functions, we only assume \(x>0\). After doing the same transformation with the second section, we will only discuss problems in the situation \(t\in (0,\pi /2)\). Let
Then we get \(h_{i}(0^{+})=0\), \(i=1,2,3,4\), and
where
and \(g_{i}(0)=0\), \(i=1,2,3,4\). We compute to get
with \(f_{i}(0)=0\), \(i=1,2,3,4\). Then
Through differential deduction, we complete the proof of Theorem 1.3.
5 Proof of Theorem 1.4
Since the two functions showed in (1.6) are even functions, we can discuss problems in the range \((0,1)\). Let \(\arcsin x=t\), \(x\in (0,1)\). Then \(x=\sin t\), \(t\in (0,\pi /2)\). We find that
and (1.6) is equivalent to
Let
Then
or
We can compute to obtain
which implies that
for all \(t\in (0,\pi /2)\). Then
for all \(t\in (0,\pi /2)\).
In view of
the proof of Theorem 1.4 is complete.
6 Proof of Theorem 1.5
After making the same transformation as in the section above, we obtain that \(t\in (-\arcsin r,\arcsin r)\subset (-\pi /2,\pi /2)\). Considering that the two functions involved in (1.7) are even functions, we can discuss problems in the range \((0,\arcsin r)\). Let
where
Then
and
Since
we have
So
which leads to the fact that the function \(f_{3}^{\prime }(t)/g_{3} ^{\prime }(t)\) is increasing on \((0,\arcsin r)\). Then \(f_{3}(t)/g_{3}(t)\) is increasing on \((0,\arcsin r)\) too by Lemma 3.1. Using Lemma 3.1 again, we come to the conclusion that \(G_{2}(t)=f_{2}(t)/g_{2}(t)\) is increasing on \((0,\arcsin r)\).
In view of
the proof of Theorem 1.5 is complete.
Remark 6.1
Letting \(r\rightarrow 1\) in Theorem 1.5, we can obtain Theorem 1.4.
7 Proof of Theorem 1.6
In order to prove Theorem 1.6, we need the following lemma.
Lemma 7.1
Let \(\vert x \vert <1\). Then
We are in the state of proving Theorem 1.6.
First, by Lemma 7.1 we get
due to
Second, we have
Integrating two sides of (7.3) on \([0,x]\), we can obtain
where
Below we shall prove that
for \(n\geq 3\).
In fact, when \(n=3\), inequality (7.6) holds. Now, we assume that (7.6) holds for \(n=m\), that is,
Since
in order to prove that (7.6) is also true for \(n=m+1\), it suffices to show that
which is true due to
or
So, \(v_{n}>0\) for \(n\geq 3\), and
holds for all \(x\in (-1,1)\), where N is any integer greater than or equal to 3.
Remark 7.1
Theorem 1.6 is obviously a natural extension of Theorem 1.4.
8 Conjecture
Inspired by [9], in the last section, we pose the following conjecture in the form of (1.4) and (1.5).
Conjecture 8.1
Let \(x\in \mathbf{R}\), \(m\geq 1\), and \(v_{n}\) as defined by (1.8). Then the double inequality
holds.
Remark 8.1
There are several factors that lead to the fact that this double inequality cannot be proved by Leibniz’s theorem for alternating series. The first is that the interval we are discussing now is infinite, and the second is that the sequence \(\{v_{n}\}_{n\geq 3}\) does not have the characteristic of monotone decreasing.
References
Masjed-Jamei, M.: A main inequality for several special functions. Comput. Math. Appl. 60, 1280–1289 (2010)
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.: Conformal Invariants, Inequalities, and Quasiconformal Maps, Wiley, New York (1997)
Anderson, G.D., Qiu, S.L., Vamanamurthy, M.K., Vuorinen, M.: Generalized elliptic integral and modular equations. Pac. J. Math. 192, 1–37 (2000)
Lehmer, D.H.: Interesting series involving the central binomial coefficient. Am. Math. Mon. 92, 449–457 (1985)
Sury, B., Wang, T.M., Zhao, F.Z.: Identities involving reciprocals of binomial coefficients. J. Integer Seq. 7, Article 04.2.8 (2004)
Chen, H.W.: A power series expansion and its applications. Int. J. Math. Educ. Sci. Technol. 37(3), 362–368 (2006)
Sofo, A.: Integral identities involving reciprocals of single and double binomial coefficients. RGMIA Seminar Series (2007)
Borwein, J.M., Chamberland, M.: Integer powers of arcsin. Int. J. Math. Math. Sci. 2007, Article ID 19381 (2007). https://doi.org/10.1155/2007/19381
Malešević, B., Lutovac, T., Rašajski, M., Mortici, C.: Extensions of the natural approach to refinements and generalizations of some trigonometric inequalities. Adv. Differ. Equ. 2018, 90 (2018). https://doi.org/10.1186/s13662-018-1545-7
Funding
The first author was supported by the National Natural Science Foundation of China (no. 11471285 and no. 61772025). The second author was supported in part by the Serbian Ministry of Education, Science and Technological Development, under projects ON 174032 and III 44006.
Author information
Authors and Affiliations
Contributions
The authors provided the questions and gave the proof for all the results. They read and approved this manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Zhu, L., Malešević, B. Inequalities between the inverse hyperbolic tangent and the inverse sine and the analogue for corresponding functions. J Inequal Appl 2019, 93 (2019). https://doi.org/10.1186/s13660-019-2046-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2046-2