Generalized stabilizability for bivariate means
© Gasmi and Raïssouli; licensee Springer 2013
Received: 23 September 2012
Accepted: 20 April 2013
Published: 8 May 2013
The stabilizability concept for bivariate means has been introduced and studied in (Raïssouli in Appl. Math. E-Notes, 11:159-174, 2011). It has been proved to be a useful tool for theoretical viewpoint as well as for practical purposes (Raïssouli in Appl. Math. E-Notes, 11:159-174, 2011). In the present paper, we give an extension of the stabilizability concept, the so-called generalized stabilizability. Our paper will be completed by some applications and examples illustrating the above extension and showing the interest of this work.
for all with equalities if and only if .
A mean m is symmetric if and homogeneous if for all . The above means are all symmetric and homogeneous. A mean m is called monotone if is increasing in a and in b, that is, and imply and . It is not hard to check that the means A, G, H, L, I are monotone but S and C are not.
Let m be a homogeneous mean. Writing , we then associate to m a unique positive function f defined by for all . The function f will be called an associated function to the mean m, or we simply say that f corresponds to the mean m. It follows that f corresponds to a homogeneous mean if and only if for every . Clearly, and if, moreover, m is symmetric, then for each . It is obvious that a mean m is monotone if and only if its associated function is increasing. For example, and as pointed in , the contraharmonic mean C is not monotone because its associated function satisfies , and it is easy to see that f is not increasing for all , but only for .
It is understood that this family of means includes some interesting cases as well:
It is easy to see that is homogeneous and symmetric for all fixed real numbers p and q. Further, it is clear that is symmetric in p and q, and it is well known that is strictly increasing in both p and q. In particular the power means and are strictly increasing in p.
The reminder of this paper is organized as follows. Section 2 displays a class of means, the so-called parameterized means that will be needed later. Section 3 is focused on introducing a new definition that includes a lot of standard means. Section 4 is devoted to extending the resultant mean-map, introduced by the second author in an earlier paper for means, to positive maps in the aim to state conveniently the generalized stabilizability in Section 5. This latter concept is then applied to standard (power) means. In Section 6, application to mean inequalities is investigated and interesting examples are discussed.
2 Parameterized bivariate means
This section is focused on stating a special class of means depending on a real parameter, the so-called parameterized means, defined as follows.
Definition 2.1 Let be a family of maps with for fixed . We say that is a parameterized (or weighted) mean if the following assertions are satisfied:
(i) is a mean for all fixed ,
(ii) For all , and or, and ,
(iii) for all and .
It is easy to see that and .
with strict inequalities if and only if and .
Let be a (closed or open) interval of ℝ. Since there exists a homeomorphism between and , we then can define a parameterized mean indexed by in the following sense:
(j) is a mean for all fixed ,
(jj) for all , and or, and ,
(jjj) for all and .
The associated symmetric mean of is . Let us observe the next example explaining this latter situation.
It is easy to verify that satisfies (j),(jj) and (jjj), then it is a parameterized mean. The associated symmetric mean is the power (binomial) mean .
By the simple transformation , it is always possible to reduce into . Henceforth, when we consider a parameterized mean , it will be indexed by .
3 Class of -means
define two bivariate symmetric means. The following examples illustrate this situation.
refers to the dual of the logarithmic mean L.
See also  for a general approach including the above expansion.
defines a symmetric mean. Taking , we see that is the Toader mean introduced in .
In what follows we are interested in extending the situation of the two above examples. We may then state the next definition.
will be called a -mean.
We explicitly notice that, by virtue of Definition 2.1(iii) and with the change of variable in (3.6), we deduce that every -mean is symmetric. For this, we need to assume that the involved means, in the announced theoretical results, are symmetric.
as a special class of means known in the literature as quasi-arithmetic means. The power binomial mean is quasi-arithmetic with for and for . In summary, the means A, G, H are included in the above definition. Following (3.2) and (3.3) the means L and I are also included in the above. More generally, the power mean , for all real numbers p and q, can be also obtained as a particular case of the above definition when convenient functions Φ and ϕ are chosen. Let us observe the next example explaining this latter situation.
Example 3.4 Let p and q be two fixed real numbers. Assume that and .
A simple computation shows that coincides with . This, with Definition 3.1, means that the Stolarsky mean is a -mean with Φ, ϕ and m previously defined.
(ii) We can obtain the same as in (i) by choosing and , and so is a -mean.
For or , we left the reader to choose the convenient functions ϕ and Φ for and in a similar manner as a previous one.
Remark 3.1 Formula (3.6) in the particular case was considered by Toader and Sándor  in the aim to obtain some mean-inequalities when convenient hypotheses on ϕ and Φ are assumed. Here, we consider (3.6) in its general form in the aim to introduce some mean-concepts and investigate some related applications.
4 Resultant functional-map
In , the author defined the resultant mean-map concept for bivariate means as a good tool for introducing the stability and stabilizability notions. This concept can be extended for functionals instead of means as well.
which we call the resultant functional-map of f, g and h.
With this, the next result may be stated.
Proposition 4.1 Let , , be three symmetric means with and monotone, and let be a continuous strictly monotonic function. Then the following assertions are satisfied:
(i) is a mean.
Proof We limit our attention in this proof to Φ strictly increasing, since the case of Φ strictly decreasing can be stated in a similar manner.
which means that is a mean.
Finally, using the fact that is increasing with the definition of , we obtain the desired result, which completes the proof. □
Now, let us observe the following example illustrating the above.
Example 4.1 Let . An elementary computation gives . Note that here the function Φ is the inverse of the associated function of the homogeneous mean A, i.e., . Similarly, we verify that with , and an analogous remark as the previous one holds.
Example 4.2 (1) Let , . Then relationships (3.4) and (3.5) can be summarized by .
(2) Let , . Expression (3.3) can be written as .
These relationships, and a lot of others, will be seen and interpreted in a general point of view. See section below.
Now, let us state the next example which will be needed later. We omit the computation details for the reader.
5 Generalized stabilizability
As already pointed before, this section will be focused on presenting an extension of the stabilizability concept already introduced in . We then may state the following definition.
Then we say that M is -stabilizable.
If , that is, , we then say M is Φ-stable.
In other words, M is -stabilizable if and only if M is a mean-fixed point of the map .
If the identity function, then the above definition coincides with that of stabilizability, and in this case, we simply say M is -stabilizable.
Now, let us observe the next example illustrating the above definition.
Example 5.1 Following Example 4.1 we can say that A is Φ-stable with and, G is Φ-stable with . We left the reader to show that H is Φ-stable with a convenient function Φ to be defined.
Example 5.2 According to Example 4.2, the logarithmic mean L is -stabilizable with , while the identric mean I is -stabilizable with .
We now are in a position to state the next result which will be with interest of giving other examples of means satisfying the situation of the above definition.
Then every -mean M is -stabilizable, that is, .
The proof of the theorem is completed. □
It is easy to see that the parameterized mean of Example 3.4 satisfies the above condition.
Notation In what follows, if for some real number , then we write instead of and instead of . For , we write and . With Example 4.2, we then have L is -stabilizable, i.e., , and I is -stabilizable, i.e., .
Corollary 5.2 Let p, q be two real numbers. Then we have
(1) If , then is -stabilizable.
(2) is -stabilizable.
In particular, for the power logarithmic mean is -stabilizable.
Proof It is sufficient to combine Theorem 5.1 with Example 3.4. Details are omitted here for the reader. □
We end this section by stating the following remark which highlights the interest of the above results.
holds for all functions , all means m and every vector . See section below for a more explicit explanation.
6 Application for mean-inequalities
In this section we present some applications of the above theoretical study for obtaining mean-inequalities. Following Theorem 5.1 and Remark 5.2, we may state the following.
Proof According to Theorem 5.1, the mean M is -stabilizable. This, when combined with relationship (5.7) and Proposition 4.1(ii), yields the desired result after simple manipulation. □
Theorem 6.1, when combined with Corollary 5.2, immediately gives the next result.
Taking in the above corollary, with the fact that , we immediately obtain the next result.
Now, we present an example illustrating the above results.
Using the convexity of the real-function on , the reader can easily verify that the inequality (6.8) refines (6.7), in this way proving the desired aim.
We left to the reader the routine task of computing the right-hand side of (6.9), to ensure that the obtained upper bound of refines that of (6.8) and to show how we can repeat the application of Corollary 6.3 for with convenient means and related coefficients.
It is easy to verify that this latter inequality refines (6.10), in this way proving the interest of our approach.
The authors thank the anonymous referees for their comments and suggestions which have been included in the final version of this paper. This work was supported by the Research Center of Taibah University 433/1698.
- Raïssouli M, Sándor J: On a method of construction of new means with applications. J. Inequal. Appl. 2013., 2013: Article ID 89Google Scholar
- Bullen PS: Handbook of Means and Their Inequalities. Kluwer, Dordrecht; 2003.View ArticleMATHGoogle Scholar
- Chen C-P: On some inequalities for means and the second Gautschi-Kershaw’s inequality. RGMIA 2008., 11: Article ID 6 SupplementGoogle Scholar
- Raïssouli M: Parameterized logarithmic mean. Int. J. Math. Anal. 2012, 6(18):863–869.MathSciNetMATHGoogle Scholar
- Carlson BC: The logarithmic mean. Am. Math. Mon. 1972, 79: 615–618. 10.2307/2317088View ArticleMathSciNetMATHGoogle Scholar
- Toader G: Some mean values related to the arithmetic-geometric mean. J. Math. Anal. Appl. 1998, 218(2):358–368. 10.1006/jmaa.1997.5766MathSciNetView ArticleMATHGoogle Scholar
- Toader G, Sándor J: Inequalities for general integral means. J. Inequal. Pure Appl. Math. 2006., 7(1): Article ID 13MathSciNetMATHGoogle Scholar
- Raïssouli M: Stability and stabilizability for means. Appl. Math. E-Notes 2011, 11: 159–174.MathSciNetMATHGoogle Scholar
- Neuman E, Sándor J: On certain means of two arguments and their extensions. Int. J. Math. Math. Sci. 2003, 2003(16):981–993. 10.1155/S0161171203208103View ArticleMathSciNetMATHGoogle Scholar
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.