Refinements for mean-inequalities via the stabilizability concept

Mustapha Raïssouli

doi:10.1186/1029-242X-2012-55

Research
Open Access

Refinements for mean-inequalities via the stabilizability concept

Mustapha Raïssouli¹Email author

Journal of Inequalities and Applications20122012:55

https://doi.org/10.1186/1029-242X-2012-55

Received: 27 July 2011
Accepted: 7 March 2012
Published: 7 March 2012

Abstract

Exploring the stabilizability concept, recently introduced by Raïssouli, we give an approach for obtaining refinements of mean-inequalities in a general point of view. Our theoretical study will be illustrated by a lot of examples showing the generality of our approach and the interest of the stabilizability concept.

AMS Subject Classification: 26E60.

Keywords

means
refinements of mean-inequalities
stable and stabilizable means

1 Introduction

Stability and stabilizability concepts for binary means have been recently introduced by Raïssouli [1]. The aim of this article is to show that the above concepts are useful tool from the theoretical point of view as well as for practical purposes. Let us first recall some basic notions about binary means that will be needed throughout the article. We understand by mean a binary map m between positive real numbers satisfying the following statements.

(i)

m(a, a) = a, for all a > 0;
(ii)

m(a, b) = m(b, a), for all a, b > 0;
(iii)

m(ta, tb) = tm(a, b), for all a, b, t > 0;
(iv)

m(a, b) is an increasing function in a (and in b);
(v)

m(a, b) is a continuous function of a and b.

The set of all means can be equipped with a partial ordering, called point-wise order, defined by, m₁ ≤ m₂ if and only if m₁(a, b) ≤ m₂(a, b) for every a, b > 0. We write m₁ < m₂ if and only if m₁(a, b) < m₂(a, b) for all a, b > 0 with a ≠ b. Clearly, m₁ < m₂ implies m₁ ≤ m₂.

The standard examples of means satisfying the above requirements are recalled in the following.

\begin{gathered} A : = A (a, b) = \frac{a + b}{2}; G : = G (a, b) = \sqrt{a b;} H : = H (a, b) = \frac{2 a b}{a + b}; \\ L : = L (a, b) = \frac{b - a}{ln b - ln a}, L (a, a) = a; I : = I (a, b) = \frac{1}{e} {(\frac{b^{b}}{a^{a}})}^{1 / (b - a)}, I (a, a) = a, \end{gathered}

(1.1)

respectively called the arithmetic, geometric, harmonic, logarithmic, and identric means. These means satisfy the following inequalities

min < H < G < L < I < A < max,

(1.2)

where min and max are the trivial means (a, b) ↦ min(a, b) and (a, b) ↦ max(a, b).

For a given mean m, we set

m^{*} (a, b) = {(m (a^{- 1}, b^{- 1}))}^{- 1},

(1.3)

and it is easy to see that m* is also a mean, called the dual mean of m. The symmetry and homogeneity axioms (ii), (iii) yield

m^{*} (a, b) = \frac{a b}{m (a, b)}

(1.4)

for all a, b > 0, which we briefly write m* = G²/m. Every mean m satisfies m** = m and, if m₁ and m₂ are two means such that m₁ ≤ m₂ (resp. m₁ < m₂) then

m_{1}^{*} \geq m_{2}^{*}

(resp.

m_{1}^{*} > m_{2}^{*}

). It is clear that the arithmetic and harmonic means are mutually dual and the geometric mean is the unique self-dual mean. We recall that, the mean-map m ↦ m* is point-wise convex in the sense that the following inequality [1]

{((1 - t) m_{1} + t m_{2})}^{*} \leq (1 - t) m_{1}^{*} + t m_{2}^{*}

(1.5)

holds true for every real number t ∈ [0, 1] and all means m₁ and m₂. Further, the inequality (1.5) is strict (in the above sense) if and only if t ∈(0, 1) and m₁ ≠ m₂.

The dual of the logarithmic mean is given by

L^{*} : = L^{*} (a, b) = a b \frac{ln b - ln a}{b - a}, L^{*} (a, a) = a,

(1.6)

while that of the identric mean is

I^{*} : = I^{*} (a, b) = e {(\frac{a^{b}}{b^{a}})}^{1 / b - a}, I^{*} (a, a) = a .

(1.7)

The following inequalities are immediate from the above.

min < H < I^{*} < L^{*} < G < L < I < A < max .

(1.8)

A mean m is called strict if m(a, b) is strictly monotonic increasing in a (and in b). Every strict mean m satisfies that, m(a, b) = a ⇒ a = b. It is easy to see that if m is a strict mean then so is m*. The means min and max are not strict while H, G, A, L, L*, I, I* are strict means.

In the literature, there are some families of means, called power means, which include the above familiar means. Precisely, let p be a real number, we recall the following:

The power binomial mean:
$\{\begin{gathered} B_{p} (a, b) : = B_{p} = {(\frac{a^{p} + b^{p}}{2})}^{1 / p}, \\ B_{- 1} = H, B_{1} = A, B_{0} : = lim_{p \to 0} B_{p} = G . \end{gathered}$

(1.9)
The power logarithmic mean:
$\{\begin{gathered} L_{p} (a, b) = L_{p} = {(\frac{a^{p + 1} - b^{p + 1}}{(p + 1) (a - b)})}^{1 / p}, L_{p} (a, a) = a, \\ L_{- 2} = G, L_{- 1} = L, L_{0} = I, L_{1} = A . \end{gathered}$

(1.10)
The power difference mean:
$\{\begin{gathered} D_{p} (a, b) : = D_{p} = \frac{p}{p + 1} \frac{a^{p + 1} - b^{p + 1}}{a^{p} - b^{p}}, D_{p} (a, a) = a, \\ D_{- 2} = H, D_{- 1} = L^{*}, D_{- 1 / 2} = G, D_{0} = L, D_{1} = A . \end{gathered}$

(1.11)
The power exponential mean:
$\{\begin{gathered} I_{p} (a, b) : = I_{p} = exp (- \frac{1}{p} + \frac{a^{p} ln a - b^{p} ln b}{a^{p} - b^{p}}), I_{p} (a, a) = a, \\ I_{- 1} = I^{*}, I_{0} = G, I_{1} = I . \end{gathered}$

(1.12)
The second power logarithmic mean:
$\{\begin{gathered} l_{p} (a, b) : = l_{p} = {(\frac{1}{p} \frac{b^{p} - a^{p}}{ln b - ln a})}^{1 / p}, l_{p} (a, a) = a, \\ l_{- 1} = L^{*}, l_{0} = G, l_{l} = L . \end{gathered}$

(1.13)

If m_p stands for one of the above power means, it is well known that m_−∞ = min and m_+∞= max. Further, all the above power means (also called means of order p) are strictly monotonic increasing in p, for fixed a, b > 0. Otherwise, it is easy to see that $B_{p}^{*} = B_{- p}$ for all real number p. We notice that these power means are included in a generalized family of means (not needed here), namely the Stolarsky mean of order 2, see [2] for instance.

In the past years, enormous efforts by some authors has been devoted to refine various inequalities between means (called mean-inequalities), see [2–10] for instance and the related references cited therein. Our fundamental goal in this article is to explore the stabilizability concept for obtaining a game of mean-inequalities whose certain of them have been differently discussed in the literature. Our approach stems its importance in the following items:

First, by a united procedure we find some known mean-inequalities and further other ones in a short and nice manner.

Second, by the same procedure, starting from an arbitrary lower and/or upper bounds of a stabilizable mean we show how to obtain in a recursive manner an infinity of lower and/or upper bounds of this mean. We also give, throughout a lot of examples, sufficient conditions for ensuring that the new bounds are refinements of the initial ones.

2 Background material about stabilizable means

For the sake of simplicity for the reader, we will recall in this section some basic notions and results stated by Raïssouli in an earlier article [1].

Definition 2.1. Let m₁, m₂, and m₃ be three given means. For all a, b > 0, define

R (m_{1}, m_{2}, m_{3}) (a, b) = m_{1} (m_{2} (a, m_{3} (a, b)), m_{2} (m_{3} (a, b), b)),

(2.1)

called the resultant mean-map of m₁, m₂ and m₃.

A study investigating the elementary properties of the resultant mean-map has been stated in [1]. Here, we just recall the following result needed later.

Proposition 2.1. ([1], Proposition 1) The map (a, b) ↦ R(m₁, m₂, m₃)(a, b) defines a mean, with the following properties:

(i) For every means m₁, m₂, m₃we have

{(R (m_{1}, m_{2}, m_{3}))}^{*} = R (m_{1}^{*}, m_{2}^{*}, m_{3}^{*}) .

(2.2)

(ii) The mean-map

R

is point-wisely increasing with respect to each its mean variables, that is,

(m_{1} \leq m_{1}^{'}, m_{2} \leq m_{2}^{'}, m_{3} \leq m_{3}^{'},) \Rightarrow R (m_{1}, m_{2}, m_{3}) \leq R (m_{1}^{'}, m_{2}^{'}, m_{3}^{'}) .

(2.3)

The following result, which the proof is straightforward, is also of interest in what follows.

Proposition 2.2. ([1], Proposition 2) For all mean M , the mean-map

m \mapsto R (A, m, M)

is point-wise affine in the sense that the mean-equality

R (A, (1 - t) m + t m^{'}, M) = (1 - t) R (A, m, M) + t R (A, m^{'}, M)

(2.4)

holds for all real number t ∈ [0, 1] and all means m, m'.

Example 2.1. Simple computations lead to

R (H, H, A) = {(\frac{1}{2} A + \frac{1}{2} H)}^{*} = \frac{2 A H}{A + H}, R (H, A, A) = \frac{3}{4} A + \frac{1}{4} H .

(2.5)

R (A, G, G) = {(\frac{1}{2} A G + \frac{1}{2} G^{2})}^{1 / 2}, R (A, A, G) = \frac{1}{2} A + \frac{1}{2} G .

(2.6)

R (G, G, A) = \sqrt{A G}, R (G, A, A) = {(\frac{3}{4} A^{2} + \frac{1}{4} G^{2})}^{1 / 2} .

(2.7)

The following lemma will be needed in the sequel.

Lemma 2.3. ([1], Example 5) Let m₁and m₂be two means, then the following equality

R (m_{1}, m_{2}, G) (a, b) = m_{1} (\sqrt{a}, \sqrt{b}) m_{2} (\sqrt{a}, \sqrt{b}) .

(2.8)

holds for all a, b > 0.

As proved in [1], and will be again shown throughout this article, the resultant mean-map stems its importance in the fact that it is a tool for introducing the stability and stabilizability notions as recalled in the following.

Definition 2.2. A mean m is said to be:

(a)

Stable if $R (m, m, m) = m$ .
(b)

Stabilizable if there exist two nontrivial stable means m ₁ and m ₂ satisfying the relation $R (m_{1}, m, m_{2}) = m$ . We then say that m is (m ₁, m ₂)-stabilizable.

In [1], Raïssouli stated a developed study about the stability and stabilizability of the standard and power means. In particular, he proved that if m is stable then so is m*, and if m is (m₁, m₂)-stabilizable then m* is $(m_{1}^{*}, m_{2}^{*})$ -stabilizable. About the power standard means, the summarized results stated in [1] are recited in the following theorem.

Theorem 2.4. ([1], Theorems 1,3,4,5) For all real number p, the following statements are met:

(1) The power binomial mean B_p is stable.

(2) The power logarithmic mean L_p is (B_p , A)-stabilizable, while the power difference mean D_p is (A, B_p )-stabilizable.

(3) The power exponential mean I_p is (G, B_p )-stabilizable, while the second power logarithmic mean l_p is (B_p , G)-stabilizable.

The following result, needed in the sequel, is immediate from the above.

Corollary 2.5. With the above, the following assertions are met:

(1) The arithmetic, geometric, and harmonic means A, G and H are stable.

(2) The logarithmic mean L is (H, A)-stabilizable and (A, G)-stabilizable while the identric mean I is (G, A)-stabilizable.

(3) The mean L* is (A, H)-stabilizable and (H, G)-stabilizable while I* is (G, H)-stabilizable.

N.B. Throughout the article, we investigate some results of mean-inequalities, under convenient assumptions, for the strict symbol < (in the above sense). By similar manner, all stated results remain still true when we replace < by ≤ in the hypotheses as in the related conclusions. Of course, this is not immediate since m₁ < m₂ is, as hypothesis and as conclusion, stronger than m₁ ≤ m₂.

3 Refinements for mean-inequalities: general approach

As already pointed before, this section displays some important applications of the above concepts for refining mean-inequalities in a general point of view. Particular examples illustrating the generality of our approach and the interest of this study will be discussed. We first state the following result which is an improvement of that of Proposition 2.1.

Theorem 3.1. Let m₁,

m_{1}^{'}

, m₂,

m_{2}^{'}

, m₃, and

m_{3}^{'}

be means such that

m_{1} \leq m_{1}^{'}, m_{2} \leq m_{2}^{'} a n d m_{3} \leq m_{3}^{'} .

(3.1)

Assume that one of the following three statements holds:

(i) $m_{1} < m_{1}^{'}, m_{2}^{'}$ and $m_{3}^{'}$ are strict means,

(ii) $m_{2} < m_{2}^{'}, m_{1}$ and $m_{3}^{'}$ are strict means,

(iii) $m_{3} < m_{3}^{'}$ , m₁and m₂are strict means.

Then we have

R (m_{1}, m_{2}, m_{3}) < R (m_{1}^{'}, m_{2}^{'}, m_{3}^{'}),

(3.2)

in the sense that

R (m_{1}, m_{2}, m_{3}) (a, b) < R (m_{1}^{'}, m_{2}^{'}, m_{3}^{'}) (a, b)

(3.3)

holds for all a, b > 0 with a ≠ b.

Proof. Assume that (3.1) holds:

(i)

Without loss the generality, let a, b > 0 with a < b. Then we have
$\begin{array}{l} R (m_{1}, m_{2}, m_{3}) (a, b) & = m_{1} (m_{2} (a, m_{3} (a, b)), m_{2} (m_{3} (a, b), b)) \\ \leq m_{1} ({m^{'}}_{2} (a, {m^{'}}_{3} (a, b)), {m^{'}}_{2} ({m^{'}}_{3} (a, b), b)) . \end{array}$

(3.4)

Since

m_{3}^{'}

and

m_{2}^{'}

are assumed strict means then we have, respectively,

a < m_{3}^{'} (a, b) < b a n d m_{2}^{'} (a, m_{3}^{'} (a, b)) < m_{2}^{'} (m_{3}^{'} (a, b), b) .

(3.5)

This, with $m_{1} < m_{1}^{'}$ , yields the desired result.

(ii), (iii) Similar to (i). We left the detail to the reader as simple exercise. □

Now, we are in position to state the following result which gives a refinement of a mean-inequality m₁ < m < m₂ when m is (m₁, m₂)-stabilizable or (m₂, m₁)-stabilizable.

Theorem 3.2. Let m be a (m₁, m₂)-stabilizable mean with m₁and m₂are strict means. Assume that m₁ < m < m₂, then the following refinement holds

m_{1} < R (m_{1}, m_{1}, m_{2}) < m < R (m_{1}, m_{2}, m_{2}) < m_{2} .

(3.6)

If m₂ < m < m₁then the role of m₁and m₂in the above inequalities is reversed.

Proof. According to Theorem 3.1, with m₁ < m < m₂ and the fact that m₁ and m₂ are strict means, we obtain

\begin{array}{l} R (m_{1}, m_{1}, m_{1}) & < R (m_{1}, m_{1}, m_{2}) < R (m_{1}, m, m_{2}) \\ < R (m_{1}, m_{2}, m_{2}) < R (m_{2}, m_{2}, m_{2}) . \end{array}

(3.7)

This, with the fact that m₁ and m₂ are stable and m is (m₁, m₂)-stabilizable, yields the desired result. □

Now, let us observe the following particular examples illustrating the situation of the above theorem.

Example 3.1. Knowing that H < L < A with L is (H, A)-stabilizable, the above theorem gives

H < R (H, H, A) < L < R (H, A, A) < A .

(3.8)

This, with (2.5), gives the following refinement of the arithmetic-logarithmic-harmonic mean inequality

H < \frac{2 G^{2}}{A + H} < L < \frac{3}{4} A + \frac{1}{4} H < A .

(3.9)

Example 3.2. Starting from G < L < A with L is (A, G)-stabilizable, Theorem 3.2 implies that

G < R (A, G, G) < L < R (A, A, G) < A .

(3.10)

According to (2.6), we obtain the following inequalities which refine the arithmetic-logarithmic-geometric mean inequality

G < {(\frac{1}{2} A G + \frac{1}{2} G^{2})}^{1 / 2} < L < \frac{1}{2} A + \frac{1}{2} G < A .

(3.11)

Example 3.3. Now, consider the known inequalities G < I < A with I is (G, A)-stabilizable.

Similarly to the above we obtain

G < R (G, G, A) < I < R (G, A, A) < A .

(3.12)

This, when combined with (2.7), implies a refinement of the arithmetic-identric-geometric mean inequality given by

G < \sqrt{A G} < I < {(\frac{3}{4} A^{2} + \frac{1}{4} G^{2})}^{1 / 2} < A .

(3.13)

Refinements of mean-inequalities, even stronger than that of the above examples, are largely studied in the literature, see [2] and the related reference cited therein. As already pointed before, our approach gives a united procedure having a general point of view when we have to refine a mean double inequality m₁ ≤ m ≤ m₂ where the intermediary mean m is (m₁, m₂)-stabilizable or (m₂, m₁)-stabilizable. Further, the next theorem shows that our approach can be successively repeated in the aim to obtain more lower and/or upper bounds of a given stabilizable mean.

Theorem 3.3. Let m be a (m₁, m₂)-stabilizable mean with m₁and m₂are strict means. Let

m ₃ and m ₄ be two means such that

m_{3} < m < m_{4} .

(3.14)

Then we have the following mean-inequalities

R (m_{1}, m_{3}, m_{2}) < m < R (m_{1}, m_{4}, m_{2}) .

(3.15)

Proof. By Theorem 3.1, with m₃ < m < m₄, we have

R (m_{1}, m_{3}, m_{2}) < R (m_{1}, m, m_{2}) < R (m_{1}, m_{4}, m_{2}) .

(3.16)

This, with the fact that m is (m₁, m₂)-stabilizable, gives the desired result. □

As pointed in the above, Theorem 3.3 starts from an arbitrary lower and upper bounds of a stabilizable mean m for giving other lower and upper bounds of the mean m, and so we can iterate the same procedure for obtaining an infinity of lower and upper bounds of m. An important question arises from this latter situation: Under what general conditions, (3.16) is a refinement of (3.15), that is,

m_{3} < R (m_{1}, m_{3}, m_{2}) and R (m_{1}, m_{4}, m_{2}) < m_{4} ?

(3.17)

This makes appear in (3.17) weak conditions of stabilizability, which we call sub-stabilizability and super-stabilizability of m₃ and m₄, see [11]. For the moment, we will not give any answer about general sufficient conditions for ensuring the above refinement, but we just discuss (in the sections below) the response for some particular cases.

N.B. Let m_p ∈ {l_p , L_p , I_p , D_p } be a power mean. Henceforth, when we say

"Let m₁ and m₂ be two means such that m₁ < m_p < m₂ for some p", it should be understood in the following sense,

"Let p be a real number and assume that there exist two means m₁ := m₁(p) and m₂ := m₂(p) satisfying that m₁ < m_p < m₂".

4 Refinements for bounding the means l_pand L

Since l_p is (B_p , G)-stabilizable, we then will be interested by bounds of l_p in terms of B_p and G.

It is worth noticing that, for given p, bounds of lp in the form

B_{p}^{α} G^{1 - α}

(resp., αB_p + (1 − α)G) exist for some α ∈ [0, 1]. This follows from (1.2) with the relationships

L (a^{2}, b^{2}) = L (a, b) A (a, b), {(l_{p} (a, b))}^{p} = L (a^{p}, b^{p}),; {(B_{p} (a, b))}^{p} = A (a^{p}, b^{p})

(4.1)

valid for all a, b > 0 and p ≠ 0.

We begin by regarding bounds of l_p in a convex-geometric form $B_{p}^{α} G^{1 - α}$ as well:

Theorem 4.1. Let α, β ∈ [0, 1] be such that

B_{p}^{α} G^{1 - α} < l_{p} < B_{p}^{β} G^{1 - β}

(4.2)

for some p. Then there holds

G^{\frac{1 - α}{2}} B_{p / 2}^{\frac{1 + α}{2}} = G^{\frac{1 - α}{2}} {(\frac{B_{p}^{p} + G^{p}}{2})}^{\frac{1 + α}{2}} < l_{p} < G^{\frac{1 - β}{2}} {(\frac{B_{p}^{p} + G^{p}}{2})}^{\frac{1 + β}{2 p}} = G^{\frac{1 - β}{2}} B_{p / 2}^{\frac{1 + β}{2}} .

(4.3)

Proof. Since lp is (Bp, G)-stabilizable then Theorem 3.2 gives

R (B_{p}, B_{p}^{α} G^{1 - α}, G) < l_{p} < R (B_{p}, B_{p}^{β} G^{1 - β}, G) .

(4.4)

According to Lemma 2.3 we have, for all a, b > 0,

\begin{array}{l} R (B_{p}, B_{p}^{α} G^{1 - α}, G) (a, b) & = B_{p} (\sqrt{a}, \sqrt{b}) (B_{p}^{α} G^{1 - α}) (\sqrt{a}, \sqrt{b}) \\ = B_{p}^{1 + α} (\sqrt{a}, \sqrt{b}) G^{1 - α} (\sqrt{a}, \sqrt{b}) . \end{array}

(4.5)

For all a, b > 0, we can write

G (\sqrt{a}, \sqrt{b}) = G^{1 / 2} (a, b)

and it is easy to verify that,

B_{p} (\sqrt{a}, \sqrt{b}) = {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / 2 p} (a, b) = B_{p / 2}^{1 / 2} (a, b),

(4.6)

from which the desired double inequality (4.3) follows. □

Corollary 4.2. Let α, β ∈ [0, 1] be two real numbers such that

A^{α} G^{1 - α} < L < A^{β} G^{1 - β} .

(4.7)

Then there holds

G^{\frac{1 - α}{2}} {(\frac{A + G}{2})}^{\frac{1 + α}{2}} < L < G^{^{\frac{1 - β}{2}}} {(\frac{A + G}{2})}^{\frac{1 + β}{2}} .

(4.8)

Proof. Taking p = 1 in the above theorem, with the fact that l₁ = L and B₁ = A, we immediately obtain the announced result. □

Let us now examine the following examples in the aim to illustrate the above theoretical results.

Example 4.1. It is not hard to verify that G < l_p < B_p for every p > 0, with reversed double inequality for p < 0. Theorem 4.1 immediately gives (with α = 0, β = 1 for p > 0; α = 1, β = 0 for p < 0)

G^{1 / 2} {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / 2 p} < l_{p} < {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / p}

(4.9)

for each real number p ≠ 0. It is easy to verify that the double inequality (4.9) refines the initial one. In particular, we have

G < {(\frac{A G + G^{2}}{2})}^{1 / 2} < L < \frac{A + G}{2} < A,

(4.10)

which refines the arithmetic-logarithmic-geometric mean inequality G < L < A.

Theorem 4.3. Let α ∈ [0, 1] be such that

B_{p}^{α} G^{1 - α} < (>) l_{p}

(4.11)

for some p > (<)0, respectively. Then one has

B_{p}^{\frac{1 + α}{4}} G^{\frac{3 - α}{4}} < (>) l_{p} .

(4.12)

If moreover α < (>)1/3 then (4.12) refines (4.11).

Proof. Assume that

B_{p}^{α} G^{1 - α} < l_{p}

(4.13)

for some p > 0. According to Theorem 4.1, the first inequality of (4.3) holds and the arithmetic-geometric mean inequality gives

{(\frac{B_{p}^{p} + G^{p}}{2})}^{\frac{1 + α}{2 p}} > B_{p}^{\frac{1 + α}{4}} G^{\frac{1 + α}{4}} .

(4.14)

The desired inequality follows after a simple reduction. Further, the inequality

B_{p}^{α} G^{1 - α} < B_{p}^{\frac{1 + α}{4}} G^{\frac{3 - α}{4}}

(4.15)

for p > 0 is reduced to

G^{\frac{1 - 3 α}{4}} < B_{p}^{\frac{1 - 3 α}{4}}

(4.16)

which holds when α < 1/3. For the reversed inequalities, the same arguments as previous study, so completes the proof. □

If we get p = 1 in the above theorem, we immediately obtain the following result.

Corollary 4.4. Let α ∈ [0, 1] be a real number satisfying that

A^{α} G^{1 - α} < L .

(4.17)

Then one has

A^{\frac{1 + α}{4}} G^{\frac{3 - α}{4}} < L .

(4.18)

If moreover α < 1/3 then (4.18) refines (4.17).

Theorem 4.3 tells us that every given bound of l_p in a convex-geometric form yields another bound of l_p in an analogs, but different, form. Illustrating this latter point, we will deduce a better bound of l_p than the above ones. Precisely, we may state the next result.

Theorem 4.5. Let p be a real number. If p > 0 then one has

B_{p}^{1 / 3} G^{2 / 3} < l_{p} .

(4.19)

If p < 0 then the above inequality is reversed. In particular the following inequality holds true

A^{1 / 3} G^{2 / 3} < L .

(4.20)

Proof. Assume that p > 0. Starting from G < l_p(see Example 4.1), we are in the situation of Theorem 4.3 with α = 0, and so we have

B_{p}^{1 / 4} G^{3 / 4} < l_{p}

. Let us iterate successively this procedure: if in the step n, we have

B_{p}^{α_{n}} G^{1 - α_{n}} < l_{p}

(4.21)

then in the step n + 1, we obtain

B_{p}^{\frac{1 + α_{n}}{4}} G^{\frac{3 - α_{n}}{4}} < l_{p},

(4.22)

that is,

B_{p}^{α_{n + 1}} G^{1 - α_{n + 1}} < l_{p} with α_{n + 1} = \frac{1 + α_{n}}{4}, α_{0} = α .

(4.23)

It is easy to see that the real sequences (α_n ) _n converges to 1/3 for every given initial data α₀ ∈ [0, 1]. The desired inequality follows by letting n → +∞ in the recursive inequality

B_{p}^{α_{n}} G^{1 - α_{n}} < l_{p} .

(4.24)

The proof is similar for p < 0. Taking p = 1 in (4.19) we obtain (4.20), so completes the proof. □

To understand the interest of the above theorem, let us observe the following example.

Example 4.2. Let us apply Theorem 4.3 to the previous inequality

B_{p}^{1 / 3} G^{2 / 3} < (>) l_{p}

. Then, the next inequality

l_{p}^{3 p} > G^{p} {(\frac{B_{p}^{p} + G^{p}}{2})}^{2}

(4.25)

holds true for each real number p (p ≠ 0). In particular, taking p = 1 we obtain

G {(\frac{A + G}{2})}^{2} < L^{3},

(4.26)

which refines A^1/3G^2/3 < L.

Remark 4.1. The inequality (4.20) was proved by Leach and Sholander [6], while (4.26) has been shown by Sāndor [10]. These two inequalities were proved by different methods therein while together obtained here via the same approach. In the same sense, other examples will be seen later (see Remarks 4.4, 4.5, and 5.1).

Remark 4.2. As well known, inequality (4.20) is the best possible in the sense that the constant α = 1/3 cannot be improved in A^αG^1−α< L. This latter point rejoins the fact that if we apply Corollary 4.4 to (4.20) we obtain the same inequality.

Remark 4.3. By virtue of the relationships (4.1), it has been possible to begin by stating and proving the results of the above corollaries and then to deduce those of the corresponding theorems (with discussion on p). Details of this latter point are omitted for the reader.

Now, we will be interested by bounds of l_p in a convex-arithmetic expression as well:

Theorem 4.6. Let α, β ∈ [0, 1] be two real numbers such that

α B_{p} + (1 - α) G < l_{p} < β B_{p} + (1 - β) G,

(4.27)

for some real number p. Then there holds

\begin{gathered} α {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / p} + (1 - α) G^{1 / 2} {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / 2 p} < l_{p} \\ < β {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / p} + (1 - β) G^{1 / 2} {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / 2 p} . \end{gathered}

(4.28)

Proof. By the same arguments as previous, we have

R (B_{p}, α B_{p} + (1 - α) G, G) < l_{p} < R (B_{p}, β B_{p} + (1 - β) G, G) .

(4.29)

Again, thanks to Lemma 2.3, we obtain

\begin{gathered} α {(B_{p} (\sqrt{a}, \sqrt{b}))}^{2} + (1 - α) G^{1 / 2} B_{p} (\sqrt{a}, \sqrt{b}) < l_{p} \\ < β {(B_{p} (\sqrt{a}, \sqrt{b}))}^{2} + (1 - β) G^{1 / 2} B_{p} (\sqrt{a}, \sqrt{b}) . \end{gathered}

(4.30)

By virtue of the identity (4.6), we obtain the desired result after simple manipulations. □

As in the above, taking p = 1 in the latter theorem we immediately obtain the following result.

Corollary 4.7. Let α, β ∈ [0, 1] be two real numbers such that

α A + (1 - α) G < L < β A + (1 - β) G .

(4.31)

Then there holds

\begin{gathered} α (\frac{A + G}{2}) + (1 - α) {(\frac{A G + G^{2}}{2})}^{1 / 2} < L \\ < β (\frac{A + G}{2}) + (1 - β) {(\frac{A G + G^{2}}{2})}^{1 / 2} . \end{gathered}

(4.32)

Theorem 4.6 has many interesting consequences. For instance, we give the two following corollaries.

Corollary 4.8. Let α ∈ [0, 1] be such that

L < α A + (1 - α) G .

(4.33)

Then we have

L < \frac{1 + α}{4} A + \frac{3 - α}{4} G .

(4.34)

If α > 1=3 then (4.34) refines (4.33).

Proof. According to Theorem 4.6, we have

L < α (\frac{A + G}{2}) + (1 - α) {(\frac{A G + G^{2}}{2})}^{1 / 2} .

(4.35)

If we write

{(\frac{A G + G^{2}}{2})}^{1 / 2} = G^{1 / 2} {(\frac{A + G}{2})}^{1 / 2}

(4.36)

and we apply the arithmetic-geometric mean inequality, i.e.,

G^{1 / 2} {(\frac{A + G}{2})}^{1 / 2} < \frac{1}{2} G + \frac{1}{2} \frac{A + G}{2},

(4.37)

we obtain the announced result after substituting this latter inequality in (4.35). If α > 1/3, it is easy to see by similar manner as previous that (4.34) refines (4.33) and the proof is completed. □

Corollary 4.9. The following inequality holds true

L < \frac{1}{3} A + \frac{2}{3} G .

(4.38)

Proof. Similarly to the above, it is sufficient to see that the sequence (α_n) defined by

α_{n + 1} = \frac{1 + α_{n}}{4}, with α_{0} \in [0, 1],

(4.39)

converges to 1/3 and the desired result follows as previous. We omit the routine detail here. □

Remark 4.4. The inequality (4.38) was differently proved by Carlson [12] and here obtained by the same approach as (4.20) and (4.26).

Let us illustrate the above theoretical examples with the following examples.

Example 4.3. Consider the above mean-inequality L < (1/3)A + (2/3)G which corresponds to α = 1/3 in Corollary 4.8. With this, the obtained refinement is given by

L < \frac{1}{3} (\frac{A + G}{2}) + \frac{2}{3} {(\frac{A G + G^{2}}{2})}^{1 / 2} < \frac{1}{3} A + \frac{2}{3} G .

(4.40)

Of course, we can combine some the above results to improve the lower and upper bounds of L. The following example explains this situation.

Example 4.4. Let us consider the following double inequality

A^{1 / 3} G^{2 / 3} < L < \frac{1}{3} A + \frac{2}{3} G .

(4.41)

Combining Theorems 4.1 and 4.6 we immediately obtain

G^{1 / 3} {(\frac{1}{2} A + \frac{1}{2} G)}^{2 / 3} < L < \frac{1}{3} (\frac{1}{2} A + \frac{1}{2} G) + \frac{2}{3} {(\frac{1}{2} A G + \frac{1}{2} G^{2})}^{1 / 2} .

(4.42)

The reader can easily verify that this latter double inequality refines the initial one, so proving our desired aim.

Theorem 4.10. Let α ∈ [0, 1] be such that

l_{p} < α B_{p} + (1 - α) G

(4.43)

for some p ≤ 1. Then there holds

l_{p} < \frac{1 + α}{4} B_{p} + \frac{3 - α}{4} G .

(4.44)

Proof. If (4.43) holds then Theorem 4.6 gives

l_{p} < α {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / p} + (1 - α) G^{1 / 2} {(\frac{B_{p}^{p} + G^{p}}{2})}^{1 / 2 p} .

(4.45)

This, with p ≤ 1 and the monotonicity of power means, yields

l_{p} < α (\frac{B_{p} + G}{2}) + (1 - α) G^{1 / 2} {(\frac{B_{p} + G}{2})}^{1 / 2} .

(4.46)

The arithmetic-geometric mean inequality gives

G^{1 / 2} {(\frac{B_{p} + G}{2})}^{1 / 2} < \frac{1}{2} G + \frac{1}{2} \frac{B_{p} + G}{2},

(4.47)

and the desired inequality follows by combining (4.46) and (4.47) with a simple reduction. □

Taking p = −1 in the above theorem, with the fact that l₋₁ = L* = G²/L and B₋₁ = H = G²/A, we immediately obtain the next result.

Corollary 4.11. Let α ∈ [0, 1] be such that

\frac{1}{L} < \frac{α}{A} + \frac{1 - α}{G} .

(4.48)

Then one has

\frac{1}{L} < \frac{1 + α}{4} \frac{1}{A} + \frac{3 - α}{4} \frac{1}{G} .

(4.49)

If moreover α > 1/3 then (4.49) refines (4.48).

Theorem 4.12. For all real number p ≤ 1 with p ≠ 0, we have

l_{p} < \frac{1}{3} B_{p} + \frac{2}{3} G .

(4.50)

In particular, the following inequality holds

\frac{1}{L} < \frac{1}{3} \frac{1}{A} + \frac{2}{3} \frac{1}{G} .

(4.51)

Proof. We left it to the reader as an interesting exercise. □

We end this section by stating another result showing how to obtain a lower bound of the logarithmic mean L when we start from an upper bound of its dual L*. In fact, since L* is (A, H)-stabilizable then we search bounds of L* in terms of A and H. Precisely, we have the following.

Theorem 4.13. Let α be a real number satisfying that

L^{*} < α A + (1 - α) H .

(4.52)

Then we have

L^{*} < (\frac{1 + α}{4}) A + (\frac{3 - α}{4}) H .

(4.53)

If moreover α > 1/3 then (4.53) refines (4.52).

Proof. Since L* is (A, H)-stabilizable then we obtain, with Proposition 2.2,

L^{*} < R (A, α A + (1 - α) H, H) = α R (A, A, H) + (1 - α) R (A, H, H) .

(4.54)

Thanks to relationships (2.5) for obtaining

L^{*} < α (\frac{A + H}{2}) + (1 - α) {(\frac{3}{4} A + \frac{1}{4} H)}^{*} .

(4.55)

Due to the point-wise convexity of the mean-map m ↦ m*, with A* = H and H* = A, we obtain

L^{*} < α (\frac{A + H}{2}) + (1 - α) (\frac{3}{4} H + \frac{1}{4} A),

(4.56)

which after reduction yields the desired result.

Corollary 4.14. The following inequality holds true

\frac{1}{L} < \frac{2}{3} \frac{1}{A} + \frac{1}{3} \frac{1}{H} .

(4.57)

Proof. Similarly to the same idea as in the above we have

L^{*} < (\frac{1 + α_{n}}{4}) A + (\frac{3 - α_{n}}{4}) H,

(4.58)

where (α_n ) _n is the sequence defined by the same recursive relation as in the proof of Corollary 4.9. Letting n → +∞ we obtain

L^{*} < \frac{1}{3} A + \frac{2}{3} H .

(4.59)

The general relation m* = G²/m valid for all mean m, gives in particular, L* = G²/L, H = G²/A and A = G²/H. Substituting this in the latter inequality, we obtain the desired result. □

Remark 4.5. The inequality (4.57) was differently proved by Chen [5] and shown here by the same approach as (4.20), (4.26), and (4.38), so proving the interest of this study. Further, we notice that it is easy to verify that (4.57) is stronger than (4.51).

5 Refinements for bounding the means I_pand I

In this section, we will state some refinements for the power exponential mean I_p in a parallel manner to those for l_p already presented in the above section. We immediately deduce some refinements for the identric mean I. The proofs of the results announced here are often similar to that of the above and we omit the routine details to not lengthen this article.

We begin by stating the following lemma which will be needed later.

Lemma 5.1. Let m ₁ and m ₂ be two means such that

m_{1} < I_{p} < m_{2}

(5.1)

for some p. Then, for all a, b > 0, one has

m_{1} (a, B_{p}) m_{1} (B_{p}, b) < I_{p}^{2} (a, b) < m_{2} (a, B_{p}) m_{2} (B_{p}, b),

(5.2)

where we set B_p := B_p (a, b) for the sake of simplicity.

Proof. Since I_p is (G, B_p )-stabilizable then Theorem 3.2 yields

R (G, m_{1}, B_{p}) < I_{p} < R (G, m_{2}, B_{p}) .

(5.3)

By computations as previous we easily deduce the desired result.

Starting from a double inequality m₁ < I_p < m₂, we may choose convenient means m₁ and m₂ giving easy computations with the fact that I_p is (G, B_p )-stabilizable. It is easy to see that B_p < I_p < G for p < 0, with reversed inequalities if p > 0. Then, as for l_p , bounds of I_p in the form $B_{p}^{α} G^{1 - α}$ (resp., αB_p + (1 − α)G) exist for some α ∈ [0, 1]. The following result is an analog of Theorem 4.1 from l_pto I_p.

Theorem 5.2. Let α, β ∈ [0, 1] be two real numbers such that

B_{p}^{α} G^{1 - α} < I_{p} < B_{p}^{β} G^{1 - β},

(5.4)

for some p. Then the following double inequality holds

B_{p}^{1 - α} G^{1 - α} {(\frac{3}{4} B_{p}^{2 p} + \frac{1}{4} G^{2 p})}^{\frac{α}{p}} < I_{p}^{2} < B_{p}^{1 - β} G^{1 - β} {(\frac{3}{4} B_{p}^{2 p} + \frac{1}{4} G^{2 p})}^{\frac{β}{p}} .

(5.5)

Proof. Since I_pis (G, Bp)-stabilizable then similarly to the above we have

R (G, B_{p}^{α} G^{1 - α}, B_{p}) < I_{p} < R (G, B_{p}^{β} G^{1 - β}, B_{p}) .

(5.6)

Computing as previous and using Lemma 5.1 we obtain

\begin{gathered} B_{p}^{1 - α} G^{1 - α} {(\frac{a^{p} + B_{p}^{p}}{2})}^{α / p} {(\frac{b^{p} + B_{p}^{p}}{2})}^{α / p} < I_{p}^{2} \\ < B_{p}^{1 - β} G^{1 - β} {(\frac{a^{p} + B_{p}^{p}}{2})}^{β / p} {(\frac{b^{p} + B_{p}^{p}}{2})}^{β / p} . \end{gathered}

(5.7)

The desired result follows after a simple reduction, with the fact that

(\frac{a^{p} + B_{p}^{p}}{2}) (\frac{b^{p} + B_{p}^{p}}{2}) = \frac{3}{4} B_{p}^{2 p} + \frac{1}{4} G^{2 p},

(5.8)

so completes the proof. □

Taking p = 1 in the above theorem, with the fact that B₁ = A and I₁ = I, we deduce the

following result for bounding the identric mean I.

Corollary 5.3. Let α, β be two real numbers such that

A^{α} G^{1 - α} < I < A^{β} G^{1 - β} .

(5.9)

Then there holds

A^{1 - α} G^{1 - α} {(\frac{3}{4} A^{2} + \frac{1}{4} G^{2})}^{α} < I^{2} < A^{1 - β} G^{1 - β} {(\frac{3}{4} A^{2} + \frac{1}{4} G^{2})}^{β} .

(5.10)

Example 5.1. Let p > 0 be a real number, then we have I_p < B_p and so the above theorem with β = 1 immediately implies that

I_{p}^{2 p} < \frac{3}{4} B_{p}^{2 p} + \frac{1}{4} G^{2 p} .

(5.11)

In particular, for p = 1 the double inequality (5.10) is reduced to

A G < I^{2} < \frac{3}{4} A^{2} + \frac{1}{4} G^{2},

(5.12)

which refines the arithmetic-identric-geometric mean inequality G < I < A.

Theorem 5.4. Let α ∈ [0, 1] be such that

B_{p}^{α} G^{1 - α} < (>) I_{p}

(5.13)

for some p > (<)0, respectively. Then one has

B_{p}^{\frac{2 + α}{4}} G^{\frac{2 - α}{4}} < (>) I_{p} .

(5.14)

If moreover α < (>)2/3 then (5.14) refines (5.13).

Proof. Similar to that of the above. We left the detail for the reader as an interesting exercise. □

As previously, taking p = 1 in the above theorem we immediately obtain the following result.

Corollary 5.5. Let α be a real number satisfying that

A^{α} G^{1 - α} < I .

(5.15)

Then one has

A^{\frac{2 + α}{4}} G^{\frac{2 - α}{4}} < I .

(5.16)

If moreover α < 2/3 then (5.16) refines (5.15).

Corollary 5.6. Let p be a real number. If p > 0 then one has

B_{p}^{2 / 3} G^{1 / 3} < I_{p} .

(5.17)

If p < 0 then the above inequality is reversed. In particular the following inequality holds true

A^{2 / 3} G^{1 / 3} < I .

(5.18)

Proof. We proceed by similar manner as previous. The obtained sequence here is (α_n ) _n such that

α_{n + 1} = \frac{2 + α_{n}}{4}, with α_{0} = α,

(5.19)

which converges to 2/3. We conclude by analogs arguments as previous. □

Remark 5.1. The inequality (5.18) has been proved by different methods, see [5] for comparison. We left the reader to state analogs ways about inequality (5.17) as in Remark 4.2.

As the reader can verify it, analog of Theorem 4.6 for I_p has length expression and makes appear hard computations.

We left to the reader the routine task for considering other mean-inequalities, involving the standard means, in the aim to obtain more lower and/or upper bounds for a stabilizable mean, eventually with some related refinements. As example, we can state the following.

Theorem 5.7. Let α ∈ [0, 1] be a real number such that

A^{α} G^{1 - α} < (>) L_{p}

(5.20)

for some p ≥ (≤)0. Then there holds

A^{1 - α} G^{1 - α} {(\frac{3}{4} A^{2} + \frac{1}{4} G^{2})}^{α} < (>) L_{p}^{2} .

(5.21)

Theorem 5.8. Let α, β ∈ [0, 1] be two real numbers such that

α A + (1 - α) G < D_{p} < β A + (1 - β) G

(5.22)

for some p. Then we have

\begin{gathered} α \frac{A + B_{p}}{2} + (1 - α) {(\frac{1}{2} A B_{p} + \frac{1}{2} G B_{p})}^{1 / 2} < D_{p} \\ < β \frac{A + B_{p}}{2} + (1 - β) {(\frac{1}{2} A B_{p} + \frac{1}{2} G B_{p})}^{1 / 2} . \end{gathered}

(5.23)

We omit the proofs of the above results here. Of course, for the proof of Theorem 5.7 we use the fact that L_p is (B_p, A)-stabilizable while that of Theorem 5.8 uses D_p is (A, B_p )-stabilizable. Some consequences can also be derived from the above theorems in a similar manner as previous. In particular for p = 0, Theorem 5.7 coincides with Corollary 5.3 while Theorem 5.8 is reduced to Corollary 4.7. We left all these details to the interested reader.

In summary, the stability and stabilizability concepts are good tool for obtaining a lot of mean-inequalities in a short and nice manner. In particular, some mean-inequalities, already differently proved by many authors in the literature, have been here obtained as consequences via a procedure having a general point of view. This shows the interest of this study derived from the stabilizability concept.

Finally, as the reader can remark it, some other means known in the literature have not been mentioned in the above. As example, the Seiffert's mean P defined by

P (a, b) = \frac{b - a}{4 A r c t a n \sqrt{\frac{b}{a}} - π}, P (a, a) = a,

(5.24)

has not been considered here. In fact, Raïssouli [1] conjectured that the mean P defined by (5.24) is not stabilizable and this problem remains open. In this direction, we indicate a recent article [11] for further comments about this latter point.

Declarations

Acknowledgements

The author would like to thank the anonymous referees for their useful comments and suggestions.

Authors’ Affiliations

(1)

Department of Mathematics, Faculty of Science, Taibah University, Al Madinah Al Munawwarah, P.O. Box 30097, Zip Code 41477, Kingdom of Saudi Arabia

References

Raïssouli M: Stability and stabilizability for means. Appl Math E-Notes 2011, 11: 159–174.MathSciNetGoogle Scholar
Qian W-M, Zheng N-G: An optimal double inequality for means. J Inequal Appl 2010, 2010: 11. Article ID 578310MathSciNetView ArticleGoogle Scholar
Alzer H, Qiu S-L: Inequalities for means in two variables. Archiv der Mathematik 2003, 80(2):201–215. 10.1007/s00013-003-0456-2MathSciNetView ArticleGoogle Scholar
Alzer H, Janous W: Solution of problem 8*. Crux Mathematicorum 1987, 13: 173–178.Google Scholar
Chen Ch-P: On some inequalities for means and the second Gautschi-Kershaw's inequality. RGMIA Suppl 2008, 11: 1–9. Art. 6Google Scholar
Leach EB, Sholander MC: Extended mean values II. J Math Anal Appl 1983, 92(1):207–223. 10.1016/0022-247X(83)90280-9MathSciNetView ArticleGoogle Scholar
Raïssouli M: United explicit form for a game of monotone and chaotic matrix means. Int Electron J Pure Appl Math 2010, 1(4):475–493.Google Scholar
Sāndor J: A note on some inequalities for means. Archiv der Mathematik 1991, 56(5):471–473. 10.1007/BF01200091MathSciNetView ArticleGoogle Scholar
Sāndor J: Two inequalities for means. Int J Math Math Sci 1995, 18(3):621–623. 10.1155/S0161171295000792View ArticleGoogle Scholar
Sāndor J: On certain inequalities for means II. J Math Anal Appl 1996, 199(2):629–635. 10.1006/jmaa.1996.0165MathSciNetView ArticleGoogle Scholar
Raïssouli M: Sub-stabilizable and super-stabilizable means. 2012, in press.Google Scholar
Carlson BC: The logarithmic mean. Am Math Monthly 1972, 79: 615–618. 10.2307/2317088View ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.