- Research
- Open access
- Published:
Padé approximants for inverse trigonometric functions and their applications
Journal of Inequalities and Applications volume 2017, Article number: 31 (2017)
Abstract
The Padé approximation is a useful method for creating new inequalities and improving certain inequalities. In this paper we use the Padé approximant to give the refinements of some remarkable inequalities involving inverse trigonometric functions, it is shown that the new inequalities presented in this paper are more refined than that obtained in earlier papers.
1 Introduction
The inequality
referred to as the Wilker inequality, is one of the most famous inequalities for trigonometric functions.
The inverse trigonometric version of the Wilker inequality was considered in [1] and [2], as follows:
The Shafer-Fink double inequality for the arctangent function asserts that
holds for any positive real number x.
Shafer’s inequality was recently generalized by Qi et al. in [3], as follows:
where \(0\leq a\leq\frac{1}{2}\) and \(x>0\).
The Shafer-Fink double inequality for the arcsine function states that
holds for \(0\leq x\leq1\). Furthermore, 3 and π are the best constants in (1.5).
For more relevant papers on the above topic, we refer the reader to [4–16] and the references therein.
It should be noted that these inequalities were proved using the variation of some functions and their derivatives, meanwhile, some of the above inequalities were improved using Taylor’s expansions of inverse trigonometric functions.
The Padé approximant is of the form of one polynomial divided by another polynomial, the technique was developed around 1890 by Henri Padé. It is well known that a Padé approximant is the ‘best’ approximation of a function by a rational function of given order. The rational approximation is particularly good for series with alternating terms and poor polynomial convergence (see [17–19]).
It is the aim of this paper to give the refinements of the aforesaid inverse trigonometric inequalities using the Padé approximant method.
Suppose that we are given a power series \(\sum_{k=0}^{\infty}c_{k}x^{k}\) for representing a function \(f ( x ) \), i.e.,
For a given function \(f(x)\), the Padé approximant of order \([m/n]\) is the rational function
which agrees with \(f ( x ) \) at 0 to the highest possible order, i.e.,
One can prove that the Padé approximant of a function \(f ( x ) =\sum_{k=0}^{\infty}c_{k}x^{k}\) is unique for given m and n, that is, the coefficients \(a_{0},a_{1},\ldots ,a_{m}\), \(b_{1},b_{2},\ldots, b_{n}\) can be uniquely determined.
In fact, with the help of the Taylor series,
the Padé approximant of \(f(x)\) can be derived from the following relationship:
where \(K(x)\) is a polynomial factor.
For example, we consider the Taylor series
and its associate polynomial \(x+{x^{3}}/{6} \).
Then the Padé approximant of arcsinx for the order \([1/2]\) is written as
which satisfies
From the above equation, we find
Therefore
In Table 1 we provide a list of Padé approximants for arcsinx and arctanx which will be used in subsequent sections.
2 Some lemmas
In order to prove the main results in Section 3, we need the following lemmas.
Lemma 2.1
For every \(x\in ( 0,1 ) \), one has
Proof
We consider the function
Differentiating \(f(x)\) with respect to x yields
Evidently, \(f^{\prime}(x)>0\) for \(x\in ( 0,1 ) \). Then \(f(x)\) is strictly increasing on \(( 0,1 ) \). As \(f ( 0 ) =0\), we get \(f(x)>0\) for \(x\in ( 0,1 ) \), this proves the validity of inequality (2.1). The proof of Lemma 2.1 is complete. □
Lemma 2.2
For every \(x\in ( 0,1 ) \), one has
Proof
We introduce a function \(g: ( 0,1 ) \rightarrow \mathbb{R}\),
Its derivative
is positive for every \(x\in ( 0,1 ) \), therefore \(g(x)\) is strictly increasing on \(( 0,1 ) \). As \(g ( 0 ) =0\), we have \(g(x)>0\) for \(( 0,1 ) \), which implies the desired inequality (2.2). Lemma 2.2 is proved. □
Lemma 2.3
For any positive real number x, one has
Proof
We define a function \(\psi: ( 0,\infty ) \rightarrow \mathbb{R}\) by
Then we have
for \(x \in ( 0,\infty ) \), thus ψ is strictly decreasing on \(( 0,\infty ) \). It follows from \(\psi(0) =0\) that \(\psi(x)<0\) for \(x\in (0,\infty ) \).
Let
Differentiating \(\phi(x)\) with respect to x gives
We have \(\phi^{\prime}(x)>0\) for \(( 0,\infty ) \), hence ϕ is strictly increasing on \(( 0,\infty ) \). Since \(\phi ( 0 ) =0\), we deduce that \(\phi(x)>0\) for \(x \in ( 0,\infty ) \).
The inequality (2.3) is proved. This completes the proof of Lemma 2.3. □
3 Main results
In this section we will formulate and prove the refinements of the aforesaid inverse trigonometric inequalities.
Theorem 3.1
For every \(0<\vert x\vert <1\), the following inequality holds:
where \(A ( x ) =18\text{,}605x^{10}+84\text{,}847x^{8}+13\text{,}233\text{,}120x^{6}-27\text{,}306\text{,}720x^{4}-42\text{,}336\text{,}000x^{2}+88\text{,}905\text{,}600\).
Proof
We remark that if the above inequality is true for \(x\in ( 0,1 ) \), then it holds clearly for \(x\in ( -1,0 ) \). Therefore, it is sufficient to prove only for \(x\in ( 0,1 ) \).
By using Lemmas 2.1 and 2.2, we have
Additionally,
which implies the desired inequality (3.1). The proof of Theorem (3.1) is completed. □
Remark 1
By making use of the Taylor expansion, we have
We note that
for \(0<\vert x\vert <1\). Hence the Padé approximation provides a better inequality than the inequality below
The Taylor’s approximation prompts to consider another method for proving the inequality asserted in Theorem 3.1, that is, we may add more terms to the Taylor polynomial (3.2) in order to prove the inequality (3.1). However, in this way, we will face complicated calculations on the high-order derivatives of \(((\arcsin x)/{x})^{2}+{(\arctan x)}/{x}\) and some cumbersome inequalities resulting from it.
Theorem 3.2
Let \(0\leq a\leq\frac{1}{2}\). Then for \(0< x<1\) we have the following inequality:
Proof
The first inequality can be rewritten as
Since \(0\leq a\leq\frac{1}{2}\), it is easy to find that
Thus we need to prove the following inequality:
or, equivalently,
which can be deduced from a simple calculation:
Therefore, we obtain
The last inequality can be rewritten as
Since \(0\leq a\leq\frac{1}{2}\), it is easy to observe that
Hence we need to prove the following inequality:
or, equivalently,
Now, from
together with
we conclude that
which leads to the inequality
In conclusion, the inequality (3.4) follows immediately from inequalities (3.5), (3.6), and the inequality (2.3) given by Lemma 2.3. This completes the proof of Theorem 3.2. □
Finally, we deal with the improved version of the Shafer-Fink inequality (1.5).
Using the well-known trigonometric identity
and the double inequality from the Lemma 2.3, we obtain
Substituting the expression \(\frac{2x}{1+x^{2}}\) by y (\(0< y<1\)), we get
After some elementary calculations, the above inequality can be transformed to the following refinement of Shafer’s inequality for the arcsine function.
Theorem 3.3
For every \(x\in ( 0,1 ) \), one has
Proof
For the sake of completeness, besides the solution above, we will provide another elementary solution in regard to the inequalities (3.7).
Putting \(\arcsin x=t\), \(t\in ( 0,\frac{\pi}{2} ) \) in (3.7) gives
The left-hand side inequality of (3.8) can be rewritten as
Let us consider the function \(u: ( 0,\frac{\pi}{2} ) \rightarrow\mathbb{R} \),
Its derivatives are
and
Using the formula
the function \(v(t)\) can be further rearranged as
Then
Note that
Therefore \(w(t)\) is strictly increasing on \(( 0,\frac{\pi }{2} ) \). As \(w ( 0 ) =0\), it follows that \(w(t)>0\) for \(t \in ( 0,\frac{\pi}{2} ) \). Hence \(v^{\prime } ( t ) >0\) for \(t\in ( 0,\frac{\pi}{2} ) \).
Using similar arguments, we have
for \(t \in ( 0,\frac{\pi}{2} ) \). The left-hand side inequality of (3.8) is proved.
In order to prove the right-hand side inequality of (3.8), we observe that
It is easy to find that the right-hand side inequality of (3.8) is equivalent to the following inequality:
Define a function \(s: ( 0,\frac{\pi}{2} ) \rightarrow \mathbb{R}\) by
Differentiating \(s(t)\) with respect to t gives
The function \(r ( t ) \) has the derivative
Also, we have
Since \(p ( 0 ) =0\), it follows that \(p(t)<0\) for \(t \in ( 0,\frac{\pi}{2} ) \). Therefore \(r^{\prime}(t)<0\) for \(t\in ( 0,\frac{\pi}{2} ) \).
Using the same arguments, we have
for \(t \in ( 0,\frac{\pi}{2} )\), the right-hand side inequality of (3.8) is proved. The proof of Theorem 3.3 is completed. □
Remark 2
It is easy to observe that
Thus, the left-hand side inequality of (3.7) is stronger than the left-hand side inequality of (1.5).
Also, we have
and
where
Hence we conclude that
holds for \(0< x<0.99876\), which implies that the right-hand side inequality of (3.7) is stronger than the right-hand side inequality of (1.5) when \(0< x<0.99876\).
4 Conclusions
The Padé approximation is a useful method for creating new inequalities and improving certain inequalities. Firstly, we introduce the main technique of Padé approximation and establish some Padé approximants for arcsinx and arctanx. And then we use the Padé approximation to improve some remarkable inequalities involving inverse trigonometric functions, we show that the new inequalities presented in this paper are more refined than that obtained in earlier papers. It is worth to mention that the Padé approximation method has also been applied to dealing with the refinements of certain inequalities for trigonometric functions and hyperbolic functions in our recent papers [20] and [21]. We expect that the method will be useful in solving some others problems concerning inequalities.
References
Chen, CP, Cheung, WS: Wilker- and Huygens-type inequalities and solution to Oppenheim’s problem. Integral Transforms Spec. Funct. 23(5), 325-336 (2012)
Chen, CP: Sharp Wilker- and Huygens-type inequalities for inverse trigonometric and inverse hyperbolic functions. Integral Transforms Spec. Funct. 23(12), 865-873 (2012)
Qi, F, Zhang, SQ, Guo, BN: Sharpening and generalizations of Shafer’s inequality for the arctangent function. J. Inequal. Appl. 2009, Article ID 930294 (2009)
Chen, CP, Cheung, WS, Wang, W: On Shafer and Carlson inequalities. J. Inequal. Appl. 2011, Article ID 840206 (2011)
Chen, CP, Cheung, WS: Sharpness of Wilker and Huygens type inequalities. J. Inequal. Appl. 2012, Article ID 72 (2012)
Mortici, C, Srivastava, HM: Estimates for the arctangent function related to Shafer’s inequality. Colloq. Math. 136(2), 263-270 (2014)
Pan, W, Zhu, L: Generalizations of Shafer-Fink-type inequalities for the arcsine function. J. Inequal. Appl. 2009, Article ID 705317 (2009)
Shafer, RE: Problem E1867. Am. Math. Mon. 73(3), 309-310 (1966)
Sándor, J: On certain inequalities for hyperbolic and trigonometric functions. J. Math. Inequal. 7(3), 421-425 (2013)
Zhu, L: On Shafer-Fink inequalities. Math. Inequal. Appl. 8(4), 571-574 (2005)
Zhu, L: On Shafer-Fink inequality. J. Inequal. Appl. 2007, Article ID 67430 (2007)
Zhu, L: On Wilker type inequalities. Math. Inequal. Appl. 10(4), 727-731 (2007)
Jiang, WD, Luo, QM, Qi, F: Refinements of some Huygens and Wilker type inequalities. Turk. J. Anal. Number Theory 2(4), 134-139 (2014)
Klén, R, Visuri, M, Vuorinen, M: On Jordan type inequalities for hyperbolic functions. J. Inequal. Appl. 2010, Article ID 362548 (2010)
Mortici, C: The natural approach of Wilker-Cusa-Huygens inequalities. Math. Inequal. Appl. 14(3), 535-541 (2011)
Neuman, E, Sándor, J: On some inequalities involving trigonometric and hyperbolic functions with emphasis of the Cusa-Huygens, Wilker and Huygens inequalities. Math. Inequal. Appl. 13(4), 715-723 (2010)
Baker, GA, Gammel, JL: The Padé Approximant in Theoretical Physics. Academic Press, New York (1970)
Baker, GA, Graves-Morris, P: Padé Approximants, 2nd edn. Cambridge University Press, Cambridge (1996)
Guo, B, Wang, R, Xu, M: Padé approximation of sine functions and its application in numerical analysis. J. Inf. Comput. Sci. 12(15), 5545-5550 (2015)
Bercu, G: Padé approximant related to remarkable inequalities involving trigonometric functions. J. Inequal. Appl. 2016, Article ID 99 (2016)
Bercu, G, Wu, S: Refinements of certain hyperbolic inequalities via the Padé approximation method. J. Nonlinear Sci. Appl. 9(7), 5011-5020 (2016)
Acknowledgements
The work of the first author is supported by the Natural Science Foundation of Fujian Province of China under Grant 2016J01023.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in this paper. All authors 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
Wu, S., Bercu, G. Padé approximants for inverse trigonometric functions and their applications. J Inequal Appl 2017, 31 (2017). https://doi.org/10.1186/s13660-017-1310-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1310-6