- Research
- Open access
- Published:
Approximations to inverse tangent function
Journal of Inequalities and Applications volume 2018, Article number: 141 (2018)
Abstract
In this paper, we present a sharp Shafer-type inequality for the inverse tangent function. Based on the Padé approximation method, we give approximations to the inverse tangent function. Based on the obtained result, we establish new bounds for arctanx.
1 Introduction
In 1966, Shafer [1] posed, as a problem, the following inequality:
Three proofs of it were later given in [2]. Shafer’s inequality (1.1) was sharpened and generalized by Qi et al. in [3]. A survey and expository of some old and new inequalities associated with trigonometric functions can be found in [4]. Chen et al. [5] presented a new method to sharpen bounds of both sincx and arcsinx functions, and the inequalities in exponential form as well.
For each \(a>0\), Chen and Cheung [6] determined the largest number b and the smallest number c such that the inequalities
are valid for all \(x\geq 0\). More precisely, these author proved that the largest number b and the smallest number c required by inequality (1.2) are
In 1974, Shafer [7] indicated several elementary quadratic approximations of selected functions without proof. Subsequently, Shafer [8] established these results as analytic inequalities. For example, Shafer [8] proved that, for \(x>0\),
The inequality (1.3) can also be found in [9]. The inequality (1.3) is an improvement of the inequality (1.1).
Zhu [10] developed (1.3) to produce a symmetric double inequality. More precisely, the author proved that, for \(x>0\),
where the constants \(80/3\) and \(256/\pi^{2}\) are the best possible.
Remark 1.1
For \(x>0\), the following symmetric double inequality holds:
where the constants 8 and \(\frac{2\sqrt{15}\pi }{3}\) are the best possible. We here point out that, for \(x>0\), the upper bound in (1.4) is better than the upper bound in (1.5).
Based on the following power series expansion:
Sun and Chen [11] presented a new upper bound and proved that, for \(x>0\),
Moreover, these authors pointed out that, for \(0< x< x_{0}=1.4243\ldots \) , the upper bound in (1.6) is better than the upper bound in (1.4). In fact, we have the following approximation formulas near the origin:
and
Nishizawa [12] proved that, for \(x>0\),
where the constants \((\pi^{2}-4)^{2}\) and 32 are the best possible.
Using the Maple software, we derive the following asymptotic formulas in the Appendix:
and
as \(x\to \infty \).
In this paper, motivated by (1.9), we establish a symmetric double inequality for arctanx. Based on the Padé approximation method, we develop the approximation formula (1.10) to produce a general result. More precisely, we determine the coefficients \(a_{j}\) and \(b_{j}\) (\(1 \leq j\leq k\)) such that
where \(k\geq 1\) is any given integer. Based on the obtained result, we establish new bounds for arctanx.
Some computations in this paper were performed using Maple software.
2 Lemma
It is well known that
and
for \(x>0\) and \(n\in \mathbb{N}_{0}:=\mathbb{N}\cup \{0\}\), where \(\mathbb{N}\) denotes the set of positive integers.
The following lemma will be used in our present investigation.
Lemma 2.1
For \(0< u<\pi /2\),
and
Proof
We find that
and
where
Elementary calculations reveal that, for \(0< u<\pi /2\) and \(n\geq 5\),
and
Therefore, for fixed \(u\in (0,\pi /2)\), the sequences \(n\longmapsto w _{n}(u)\) and \(n\longmapsto W_{n}(u)\) are both strictly decreasing for \(n\geq 5\). From (2.5) and (2.6), we obtain the desired results (2.3) and (2.4). □
The proof of Theorem 3.1 makes use of the inequalities (2.1)–(2.4).
3 Sharp Shafer-type inequality
Equation (1.9) motivated us to establish a symmetric double inequality for arctanx.
Theorem 3.1
For \(x>0\), we have
with the best possible constants
Proof
The inequality (3.1) can be written for \(x>0\) as
By the elementary change of variable \(t = \arctan x\) (\(x>0\)), (3.3) becomes
where
Elementary calculations reveal that
In order to prove (3.4), it suffices to show that \(\vartheta (t)\) is strictly increasing for \(0 < t < \pi /2\).
Differentiation yields
We now consider two cases to prove \(\lambda (t)>0\) for \(0< t<\pi /2\).
Case 1: \(0< t\leq 0.6\).
Using (2.1) and (2.2), we have, for \(0< t\leq 0.6\),
Each function in curly braces is positive for \(t\in (0,0.6]\). Thus, \(\lambda (t)>0\) for \(t\in (0,0.6]\).
Case 2: \(0.6< t<\pi /2\).
We now prove \(\lambda (t)>0\) for \(0.6< t<\pi /2\). Replacing t by \(\frac{\pi }{2}-u\) leads to an equivalent inequality:
where
Using (2.1)–(2.4), we have, for \(0< u<\frac{\pi }{2}-0.6\),
We then obtain \(\lambda (t)>0\) and \(\vartheta '(t)>0\) for all \(0< t<\pi /2\). Hence, \(\vartheta (t)\) is strictly increasing for \(0 < t < \pi /2\). The proof is complete. □
From (1.7) and (3.1), we obtain the following approximation formulas:
and
as \(n\to \infty \).
The following numerical computations (see Table 1) would show that, for \(n\in \mathbb{N}\), Eq. (3.6) is sharper than Eq. (3.5).
In fact, we have, as \(n\to \infty \),
4 Approximations to arctanx
For later use, we introduce the Padé approximant (see [13–16]). Let f be a formal power series,
The Padé approximation of order \((p, q)\) of the function f is the rational function, denoted by
where \(p\geq 0\) and \(q\geq 1\) are two given integers, the coefficients \(a_{j}\) and \(b_{j}\) are given by (see [13–15])
and the following holds:
Thus, the first \(p + q + 1\) coefficients of the series expansion of \([p/q]_{f}\) are identical to those of f.
From the expansion (see [17, p. 81])
we obtain
where
Let
with the coefficients \(c_{j}\) given in (4.6). Then we have
In what follows, the function f is given in (4.7).
Based on the Padé approximation method, we now give a derivation of Eq. (1.10). To this end, we consider
Noting that
holds, we have, by (4.3),
that is,
We thus obtain
and we have, by (4.4),
Replacing t by \(x^{2}\) in (4.11) yields (1.10).
From the Padé approximation method and the expansion (4.7), we now present a general result.
Theorem 4.1
The Padé approximation of order \((p, q)\) of the function \(f(t)=\sum_{j=0}^{\infty }\frac{c_{j}}{t^{j}}\) (at the point \(t=\infty \)) is the following rational function:
where \(p\geq 1\) and \(q\geq 1\) are any given integers, the coefficients \(a_{j}\) and \(b_{j}\) are given by
and \(c_{j}\) is given in (4.6), and the following holds:
In particular, replacing t by \(x^{2}\) in (4.14) yields
with the coefficients \(a_{j}\) and \(b_{j}\) given by (4.13).
Setting \((p, q)=(k, k)\) in (4.15), we obtain the following corollary.
Corollary 4.1
As \(x\to \infty \),
where \(k\geq 1\) is any given integer, the coefficients \(a_{j}\) and \(b_{j}\) (\(1\leq j\leq k\)) are given by
and \(c_{j}\) is given in (4.6).
Setting \(k=2\) in (4.16) yields, as \(x\to \infty \),
which gives
Using the Maple software, we find, as \(x\to \infty \),
Equation (4.19) motivated us to establish new bounds for arctanx.
Theorem 4.2
For \(x>0\), we have
Proof
For \(x>0\), let
and
Differentiation yields
and
Hence, \(I(x)\) is strictly decreasing and \(J(x)\) is strictly increasing for \(x>0\), and we have
The proof is complete. □
Remark 4.1
We point out that, for \(x>1.0213\ldots \) , the lower bound in (4.20) is better than the one in (1.7). For \(x>0.854439\ldots \) , the upper bound in (4.20) is better than the one in (1.7). For \(x>0.947273\ldots \) , the lower bound in (4.20) is better than the one in (3.1). For \(x>0.792793\ldots \) , the upper bound in (4.20) is better than the one in (3.1).
5 Conclusions
In this paper, we establish a symmetric double inequality for arctanx (Theorem 3.1). We determine the coefficients \(a_{j}\) and \(b_{j}\) (\(1\leq j\leq k\)) such that
where \(k\geq 1\) is any given integer (see Corollary 4.1). Based on the obtained result, we establish new bounds for arctanx (Theorem 4.2).
References
Shafer, R.E.: Problem E1867. Am. Math. Mon. 73, 309 (1966)
Shafer, R.E.: Problems E1867 (solution). Am. Math. Mon. 74, 726–727 (1967)
Qi, F., Zhang, S.Q., Guo, B.N.: Sharpening and generalizations of Shafer’s inequality for the arc tangent function. J. Inequal. Appl. 2009, Article ID 930294 (2009). https://doi.org/10.1155/2009/930294
Qi, F., Niu, D.W., Guo, B.N.: Refinements, generalizations, and applications of Jordan’s inequality and related problems. J. Inequal. Appl. 2009, Article ID 271923 (2009). https://doi.org/10.1155/2009/271923
Chen, X.D., Shi, J., Wang, Y., Pan, X.: A new method for sharpening the bounds of several special functions. Results Math. 72, 695–702 (2017). https://doi.org/10.1007/s00025-017-0700-x
Chen, C.P., Cheung, W.S., Wang, W.: On Shafer and Carlson inequalities. J. Inequal. Appl. 2011, Article ID 840206 (2011). https://doi.org/10.1155/2011/840206
Shafer, R.E.: On quadratic approximation. SIAM J. Numer. Anal. 11, 447–460 (1974). https://doi.org/10.1137/0711037
Shafer, R.E.: Analytic inequalities obtained by quadratic approximation. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 57(598), 96–97 (1977)
Shafer, R.E.: On quadratic approximation, II. Publ. Elektroteh. Fak. Univ. Beogr., Ser. Mat. Fiz. 602(633), 163–170 (1978)
Zhu, L.: On a quadratic estimate of Shafer. J. Math. Inequal. 2, 571–574 (2008). http://files.ele-math.com/articles/jmi-02-51.pdf
Sun, J.-L., Chen, C.-P.: Shafer-type inequalities for inverse trigonometric functions and Gauss lemniscate functions. J. Inequal. Appl. 2016, 212 (2016). https://doi.org/10.1186/s13660-016-1157-2
Nishizawa, Y.: Refined quadratic estimations of Shafer’s inequality. J. Inequal. Appl. 2017, 40 (2017). https://doi.org/10.1186/s13660-017-1312-4
Bercu, G.: Padé approximant related to remarkable inequalities involving trigonometric functions. J. Inequal. Appl. 2016, 99 (2016). https://doi.org/10.1186/s13660-016-1044-x
Bercu, G.: The natural approach of trigonometric inequalities—Padé approximant. J. Math. Inequal. 11, 181–191 (2017). https://doi.org/10.7153/jmi-11-18
Bercu, G., Wu, S.: Refinements of certain hyperbolic inequalities via the Padé approximation method. J. Nonlinear Sci. Appl. 9, 5011–5020 (2016). https://doi.org/10.22436/jnsa.009.07.05
Brezinski, C., Redivo-Zaglia, M.: New representations of Padé, Padé-type, and partial Padé approximants. J. Comput. Appl. Math. 284, 69–77 (2015). https://doi.org/10.1016/j.cam.2014.07.007
Abramowitz, M., Stegun, I.A. (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing edn. Applied Mathematics Series, vol. 55. National Bureau of Standards, Washington (1972)
Acknowledgements
We thank the editor and referees for their careful reading and valuable suggestions to make the article more easily readable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to this work. Both authors read and approved the final 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.
Appendix:  A derivation of (1.8), (1.9), and (1.10)
Appendix:  A derivation of (1.8), (1.9), and (1.10)
Define the function \(F(x)\) by
We are interested in finding the values of the parameters a, b, and c such that \(F(x)\) converges as fast as possible to zero, as \(x\to \infty \). This provides the best approximations of the form
Using the Maple software, we find, as \(x\to \infty \),
The three parameters a, b, and c, which produce the fastest convergence of the function \(F(x)\), are given by
namely, if
We then obtain, as \(x\to \infty \),
Define the function \(G(x)\) by
Using the Maple software, we find, as \(x\to \infty \),
For
we obtain, as \(x\to \infty \),
Define the function \(H(x)\) by
Using the Maple software, we find, as \(x\to \infty \),
For
we obtain, as \(x\to \infty \),
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
Qiao, QX., Chen, CP. Approximations to inverse tangent function. J Inequal Appl 2018, 141 (2018). https://doi.org/10.1186/s13660-018-1734-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-018-1734-7