# Refinements of Jordan's inequality

Open Access
Research

## Abstract

A method of sharpening Jordan's inequality proposed by Li-Li would be improved. Increasing lower bounds and decreasing upper bounds for strengthened Jordan's inequality can be constructed and the errors of lower-upper bounds for strengthened Jordan's inequality can be estimated.

(2010) Mathematics Subject Classification: 26D05; 26D15.

## Keywords

Jordan's inequality lower bound upper bound

## 1 Introduction

The well-known Jordan's inequality [1, p. 33] reads that
(1.1)
with equality holds if and only if x = π/ 2. This inequality plays an important role in many areas of pure and applied mathematics. Jordan's inequality (1.1) has been refined, generalized, and applied by many mathematicians. It was first extended to the following:
(1.2)
and then, it was further refined to inequality (1.3),
(1.3)

For detailed information, please refer to the expository and survey articles [2] and related references therein.

In [3, Theorem 2.1] or [2, (2.26)], a new method of sharpening Jordan's inequality was established by Li-Li which shows that one can obtain strengthened Jordan's inequalities from old ones. This result may be stated as follows.

Theorem 1.1 (Li-Li) Let g: [0, π/2] → [0, 1] be a continuous function. If
(1.4)
then the double inequality
(1.5)
holds with equality if and only if x = π/ 2, where
(1.6)
However, the new ones are not always stronger than the old ones. For example, by taking g(x) as the function in the right-hand side of (1.3), it was obtained that
(1.7)

The right-hand side inequality in (1.3) is slightly stronger than the right-hand side inequality in (1.7) at but less than it at x = 0. These two lower bounds for sin x/x can not be included each other. In fact, this obstacle can be improved and we can obtain better results (see (2.9)). Moreover, we can estimate the errors of lower bounds and upper bounds for strengthened Jordan's inequality (see (2.12)).

Let g: [0, π/2] → [0, 1] be a continuous function. Define the following functions, h g (x), L g (x) and U g (x), on the interval [0, π/2] by
(1.8)
(1.9)
For a positive integer m, we define
(1.10)

Corollary 2.2 leads us to know that the lower bounds and upper bounds for sin x/x are increasing and decreasing with respect to positive integers m, respectively, and we obtain the double inequality (2.9). Corollary 2.4, equality (2.12), leads us to know that the errors of lower-upper bounds for strengthened Jordan's inequality can be estimated and we give two examples such as (2.14) and (2.16) to estimate errors.

## 2 Lower-upper bounds for Jordan's inequality

With the help of Theorem 1.1, we find the important relations among lower-upper bounds for strengthened Jordan's inequality.

Theorem 2.1 Let g1, g2: [0, π/2] → [0, 1] be continuous functions. If g1(x) ≤ g2(x), 0 ≤ x ≤ π/2, then
(2.1)
(2.2)
and
(2.3)
(2.4)
Proof. Let 0 ≤ xπ/2. It follows from (1.8) and (1.9) that we have
(2.5)
and (2.1) is obtained. The last term of (2.5) leads us to know that is decreasing to 0 as x approaches to π/ 2 and its supremum occurs at x = 0 so that we obtain (2.3).
(2.6)

(2.6) is nonnegative and increasing so that we obtain (2.2) and (2.4) and we complete the proof.

If we set g2(x) = sin x/x in Theorem 2.1, then we would obtain important results in the following corollary.

Corollary 2.2 Let g: [0, π/2] → [0, 1] be a continuous function. if sin x/xg(x) and L g (x) ≥ g(x), 0 ≤ xπ/2, then for all positive integers m,
(2.7)
and
(2.8)
Moreover,
(2.9)

Proof. It follows from Theorem 2.1, if replacing g1(x) and g2(x) by g(x) and L g (x), respectively, then we have . Repeating (2.1) in this inequality, we get that is increasing with respect to positive integers m. A similar way, repeating (2.2), we have that is decreasing with respect to positive integers m. With the help of Theorem 1.1, we have L g (x) ≤ sin x/xU g (x). Replacing g(x) by L g (x), we have . Repeating this method, we obtain (2.9) and we complete our proof.

The following lemma will be used in the next corollary.

Lemma 2.3 Let g(x) = sin x/x, 0 < xπ/2 and g(0) = 1. Then
(2.10)
(2.11)

L g (0) = 1 and U g (0) = 1.

Proof. For 0 < xπ/2. It follows from elementary calculus and Fubini's Theorem that we have
and
also we have

By approximation, we set L g (0) = 1 and U g (0) = 1 and we get our desired results.

The errors of lower-upper bounds for strengthened Jordan's inequality can be estimated in the following corollary.

Corollary 2.4 Let g: [0, π/2] → [0, 1] be a continuous function. If
then
(2.12)
Proof. It follows from Lemma 2.3 and equalities (2.3) and (2.4), if replacing g1(x) and g2(x) by g(x) and sin x/x, respectively, then we have
We give some examples of (2.9) and (2.12) here. Let g(x) = π/2. It follows from (1.9) that is decreasing on [0, π/2] and inf0≤x≤π/2L g (x)-g(x) = L g (π/2) - g(π/2) = 0, so that L g (x) ≥ g(x). It follows from (1.1), L g (x) ≥ g(x) and choosing m = 2 in (2.9) that we have ,
(2.13)
Moreover, by (2.12), we have
(2.14)
The lower bound of (2.13) is stronger than the lower bound of (1.2) and equal at x = π/2. But the lower bounds of (2.13) and (1.3) cannot be included each other. In this case, when x ∈ [0, β], the left-hand side inequality in (2.13) is stronger than the right-hand side inequality in (1.3) but less than it as x is close to π/2, where
For , we have
(2.15)
and
(2.16)

It is clear that the error in (2.16) is much smaller than that in (2.14), and it seems to us that and are convergent to sin x/x uniformly. However, we have not proved our conjecture yet.

## Notes

### Acknowledgements

The author expresses his sincere thanks to the referees for careful reading of the article and several helpful suggestions.

## References

1. 1.
Mitrinović DS, Vasić PM: Analytic Inequalities. Springer, New York; 1970.
2. 2.
Qi F, Niu D-W, Guo B-N: Refinements, generalizations, and applications of Jordan's inequality and related problems. J Inequal Appl 2009., 52: 2009(Article ID 271923)Google Scholar
3. 3.
Li J-L, Li Y-L: On the strengthened Jordan's inequality. J Inequal Appl 2007., 8: 2007(Article ID 74328)Google Scholar