 Research
 Open Access
 Published:
On weighted means and their inequalities
Journal of Inequalities and Applications volume 2021, Article number: 65 (2021)
Abstract
In (Pal et al. in Linear Multilinear Algebra 64(12):2463–2473, 2016), Pal et al. introduced some weighted means and gave some related inequalities by using an approach for operator monotone functions. This paper discusses the construction of these weighted means in a simple and nice setting that immediately leads to the inequalities established there. The related operator version is here immediately deduced as well. According to our constructions of the means, we study all cases of the weighted means from three weighted arithmetic/geometric/harmonic means by the use of the concept such as stable and stabilizable means. Finally, the power symmetric means are studied and new weighted power means are given.
Introduction
The mean inequalities arise in various contexts and attract many mathematicians by their developments and applications. It has been proved throughout the literature that the mean theory is useful in a theoretical point of view as well as in practical purposes.
Standard weighted means
As usual, we understand by (binary) mean a map m between two positive numbers such that \(\min (a,b)\leq m(a,b)\leq \max (a,b)\) for any \(a,b>0\). Continuous (symmetric/homogeneous) means are defined in the habitual way. If m is a mean, then we define its dual by \(m^{*}(a,b)= (m(a^{1},b^{1}) )^{1}\). It is easy to see that if m is continuous,(resp. symmetric, homogeneous), then so is \(m^{*}\). Of course, \(m^{**}=m\) for any mean m. The means \((a,b)\longmapsto \min (a,b)\) and \((a,b)\longmapsto \max (a,b)\) are called trivial means. A mean m is called strict if \(m(a,b)=a\) implies \(a=b\). The trivial means are not strict.
Among the standard means, we recall the arithmetic mean \(a\nabla b=\frac{a+b}{2}\), the geometric mean \(a\sharp b=\sqrt{ab}\), the harmonic mean \(a!b=\frac{2ab}{a+b}\), the logarithmic mean \(L(a,b)=\frac{ba}{\log b\log a}\) with \(L(a,a)=a\), and the identric mean \(I(a,b)=e^{1} (b^{b}/a^{a} )^{1/(ba)}\) with \(I(a,a)=a\). It is easy to see that \(H^{*}=A\) and \(G^{*}=G\), where H, A, and G stand for harmonic, arithmetic, and geometric mean, respectively. The explicit expressions of \(L^{*}\) and \(I^{*}\) can be easily deduced from those of L and I, respectively. All these means are strict. The following chain of inequalities is well known in the literature (e.g. [2, Corollary 13 in Sect. 5 of Chapter II]):
Let \(m_{v}\) be a binary map indexed by \(v\in [0,1]\). We say that \(m_{v}\) is a weighted mean if the following assertions are satisfied:

(i)
\(m_{v}\) is a mean for any \(v\in [0,1]\);

(ii)
\(m_{1/2}:=m\) is a symmetric mean;

(iii)
\(m_{v}(a,b)=m_{1v}(b,a)\) for any \(a,b>0\) and \(v\in [0,1]\).
It is obvious that (iii) implies (ii). The mean \(m:=m_{1/2}\) is called the associated symmetric mean of \(m_{v}\). It is not hard to check that if \(m_{v}\) is a weighted mean then so is \(m_{v}^{*}\).
The standard weighted means are recalled in the following. The weighted arithmetic mean \(a\nabla _{v}b=(1v)a+vb\), the weighted geometric mean \(a\sharp _{v}b=a^{1v}b^{v}\), and the weighted harmonic mean \(a!_{v}b= ((1v)a^{1}+vb^{1} )^{1}\). For \(v=1/2\), they coincide with \(a\nabla b\), \(a\sharp b\), and \(a!b\), respectively. These weighted means satisfy
for any \(a,b>0\) and \(v\in [0,1]\). These weighted means are all strict provided \(v\in (0,1)\).
Two weighted means
Recently, Pal et al. [6] introduced a class of operator monotone functions from which they deduced other weighted means, namely the weighted logarithmic mean defined by
and the weighted identric mean given by
One has \(L_{0}(a,b):=\lim_{v\downarrow 0}L_{v}(a,b)=a\) and \(L_{1}(a,b):=\lim_{v\uparrow 1}L_{v}(a,b)=b\), with similar equalities for \(I(a,b)\). One can see that \(L_{v}\) and \(I_{v}\) satisfy conditions (i),(ii), and (iii). For \(v=1/2\), they coincide with \(L(a,b)\) and \(I(a,b)\), respectively.
It has been shown in [6, Theorem 2.4, Theorem 3.1] that the inequalities
and
hold for any \(a,b>0\) and \(v\in [0,1]\).
Otherwise, Furuichi and Minculete [3] gave a systematic study from which they obtained a lot of mean inequalities involving \(L_{v}(a,b)\) and \(I_{v}(a,b)\). Some of their inequalities are refinements and reverses of (1.5) and (1.6).
The outline of this paper is organized as follows: In Sect. 2 we give simple forms for \(L_{v}(a,b)\) and \(I_{v}(a,b)\), and mean inequalities are obtained in a fast and nice way. We also deduce two other weighted means from \(L_{v}(a,b)\) and \(I_{v}(a,b)\). Section 3 is devoted to investigating a general approach in service of weighted means. We then obtain more weighted means in another point of view. Section 4 displays the operator version of the previous weighted means as well as their related inequalities. In Sect. 5 we recall the standard power means known in the literature, and we use, in Sect. 6, our approach for obtaining some new weighted means associated with the previous power means.
Another point of view for defining \(L_{v}(a,b)\) and \(I_{v}(a,b)\)
We preserve the same notations as in the previous section. The expressions (1.3) and specially (1.4) seem to be hard in computational context. We will see that we can rewrite them in other forms having convex characters.
Simple forms of \(L_{v}(a,b)\) and \(I_{v}(a,b)\)
The key idea of this section turns out to be the following result.
Theorem 2.1
For any \(a,b>0\) and \(v\in [0,1]\), we have
Proof
Starting from the middle expression of (2.1) and using the definition of \(L(a,b)\) and \(a\sharp _{v}b\), we get the desired result after simple algebraic manipulations as follows:
In a similar way we get (2.2) as
□
In what follows we will see that inequalities (1.5) and (1.6) can be immediately deduced from (2.1) and (2.2), respectively. In fact we will prove more.
Theorem 2.2
Let \(a,b>0\) and \(v\in [0,1]\). Then we have
Proof
The two right inequalities of (2.3) are those of (1.5). We will prove them again by using (2.1). Indeed, (2.1) with the help of (1.1), and then (1.2) yields
We now prove the two left inequalities of (2.3). Again, (2.1) with (1.1) and then (1.2) implies that
We left to the reader the routine task to prove (2.4) in a similar manner. □
Remark 2.3

(i)
From (2.1) and (2.2) we immediately see that \(L_{v}(a,b)=L_{1v}(b,a)\) and \(I_{v}(a,b)=I_{1v}(b,a)\) for any \(a,b>0\) and \(v\in [0,1]\).

(ii)
From (2.1) and (2.2), it is immediate to see that \(L_{v}(a,b)\) and \(I_{v}(a,b)\) are binary means in the sense that they satisfy the conditions itemized in [6].

(iii)
Inequalities (2.3) and (2.4) give alternative simple proofs for [3, Corollary 2.2] and [3, Corollary 2.3], respectively.
In order to emphasize even more the importance of (2.1) and (2.2), we present below more results. These results investigate some inequalities refining the right inequalities in (2.3) and (2.4). We need the following lemma.
Lemma 2.4
Let \(a>0\) be fixed. Then the real functions \(x\longmapsto L(a,x)\) and \(x\longmapsto I(x,a)\) are (strictly) concave for \(x>0\).
Proof
It is a simple exercise of real analysis. □
Theorem 2.5
For any \(a,b>0\) and \(v\in [0,1]\), we have
Proof
We prove the first inequality in (2.5). Since the map \(x\longmapsto L(a\sharp _{v}b,x)\) is concave for \(x>0\), then (2.1) yields
The second and third inequalities of (2.5) follow from (1.1).
To prove the second inequality of (2.6), we write by using the previous lemma
This, with the fact that \(I(a,b)\geq a\sharp b\), implies that \(I (a\nabla _{v}b,a )\geq a\nabla _{v}(a\sharp b)\). Similarly, we show that \(I (a\nabla _{v}b,b )\geq (a\sharp b)\nabla _{v}b\). This, with (2.2), yields the second inequality of (2.6). To prove the first inequality of (2.6), we write
after a simple computation. The proof is finished. □
Two other weighted means
A natural question arises from the previous subsection: do we have a weighted mean \(M_{v}(a,b)\) such that
We can also put the following question: do we have a weighted mean \(P_{v}(a,b)\) such that
In what follows we will answer the two preceding questions. Recall that \(L^{*}\) denotes the dual of the logarithmic mean L, and \(L_{v}^{*}\) is the dual of the weighted logarithmic mean \(L_{v}\), as previously defined. Similar sentence for \(I^{*}\) and \(I_{v}^{*}\). We will establish the following result.
Theorem 2.6
For any \(a,b>0\) and \(v\in [0,1]\), we have
Proof
We can of course assume that \(v\in (0,1)\). If in (2.1) we replace a and b with \(a^{1}\) and \(b^{1}\), respectively, then we get
Taking the inverses side by side and using the definition of the weighted harmonic mean, we infer that
Now, let us set
If \(v\in (0,1)\) is fixed, for any \(a>0\) and \(x>0\), it is easy to see that there exists a unique \(b>0\) such that \(a\sharp _{v}b=x\). This means that M is well defined by (2.12). Further, if we remark that \(a\sharp _{v}b=x\) implies \(x^{1}=a^{1}\sharp _{v}b^{1}\), then (2.12) becomes
It follows that M is the dual of the logarithmic mean L. Following (2.11) and (2.7), the associated weighted mean \(M_{v}\) of M is such that
i.e. \(M_{v}(a,b)\) is the dual of the weighted logarithmic mean \(L_{v}\). We left to the reader the task to prove (2.10) in a similar manner. □
Remark 2.7
After this, let us observe the following question: is \(L_{v}\) the unique weighted mean satisfying (2.1)? In the next section, we answer this question via a general point of view. A similar question can be put for (2.2), (2.9), and (2.10).
Weighted means in a general point of view
As already pointed before, we investigate here a study that shows how to construct some weighted means in a general point of view.
Position of the problem
Let \(a,b>0\) and \(v\in [0,1]\). Let \(p_{v}\) and \(q_{v}\) be two weighted means. We write \(ap_{v}b:=p_{v}(a,b)\) and \(aq_{v}b:=q_{v}(a,b)\) for the sake of simplicity. As previously, \(p:=p_{1/2}\) and \(q:=q_{1/2}\), and we write \(apb:=p(a,b)\) and \(aqb=q(a,b)\). To fix the idea, and for the first time, we can choose \(p_{v}\) and \(q_{v}\) among the three standard weighted means i.e. \(ap_{v}b,aq_{v}b\in \{a\nabla _{v}b,a\sharp _{v}b,a!_{v}b \}\).
Our general problem reads as follows: do we have a weighted mean \(M_{v}(a,b)\) such that
To answer this question, it is in fact enough to justify that there exists one and only one (symmetric) mean M such that
Indeed, \(p_{v}(a,b)\) and \(q_{v}(a,b)\) are given. Once the (symmetric) mean M is found, we obtain \(M_{v}(a,b)\) by substituting \(M(a,b)\) in (3.1).
Note that if \(ap_{v}b,aq_{v}b\in \{a\nabla _{v}b,a\sharp _{v}b,a!_{v}b \}\), then we have nine cases. Theorem 2.1 answers the previous question for \((p_{v},q_{v})=(\sharp _{v},\nabla _{v})\) and \((p_{v},q_{v})=(\nabla _{v},\sharp _{v})\), while Theorem 2.6 answers the question for \((p_{v},q_{v})=(\sharp _{v},!_{v})\) and \((p_{v},q_{v})=(!_{v},\sharp _{v})\).
Our aim here is to answer the previous question in its general form. We need to recall some notions and results as background material that we will summarize in the next subsection.
Stable and stabilizable means
We recall here in short the concept of stable and stabilizable means introduced in [7, 8, 10]. Let \(m_{1}\), \(m_{2}\), and \(m_{3}\) be three given symmetric means. For all \(a,b>0\), the resultant mean map of \(m_{1}\), \(m_{2}\), and \(m_{3}\) is defined by [7]
A symmetric mean m is called stable if \({\mathcal{R}}(m,m,m)=m\) and stabilizable if there exist two nontrivial stable means \(m_{1}\) and \(m_{2}\) such that \({\mathcal{R}}(m_{1},m,m_{2})=m\). We then say that m is \((m_{1},m_{2})\)stabilizable. If m is stable, then so is \(m^{*}\), and if m is \((m_{1},m_{2})\)stabilizable, then \(m^{*}\) is \((m_{1}^{*},m_{2}^{*})\)stabilizable. The tensor product of \(m_{1}\) and \(m_{2}\) is the map, denoted \(m_{1}\otimes m_{2}\), defined by
A symmetric mean m is called cross mean if the map \(m^{\otimes 2}:=m\otimes m\) is symmetric in its four variables. Every cross mean is stable, see [7], and the converse is still an open problem.
It is worth mentioning that the operator version of the previous concepts as well as their related results has been investigated in a detailed manner in [11]. It has been proved there that every cross operator mean is stable but the converse does not in general hold provided that the Hilbert operator space is of dimension greater than 2.
The following results will be needed later, see [7, 8, 10].
Theorem 3.1

(i)
The arithmetic, geometric, and harmonic means are cross means, and so they are stable.

(ii)
The logarithmic mean L is \((!,\nabla )\)stabilizable and \((\nabla ,\sharp )\)stabilizable, while the identric mean I is \((\sharp ,\nabla )\)stabilizable.

(iii)
The mean \(L^{*}\) is \((\nabla ,!)\)stabilizable and \((!,\sharp )\)stabilizable, while \(I^{*}\) is \((\sharp ,!)\)stabilizable.
For more examples and properties about stable and stabilizable means, we can consult [7, 8, 10, 11]. See also Sect. 5.
Theorem 3.2
Let \(m_{1}\) and \(m_{2}\) be two symmetric means such that \(m_{1}\leq m_{2}\) (resp. \(m_{2}\leq m_{1}\)). Assume that \(m_{1}\) is a strict cross mean. Then there exists one and only one \((m_{1},m_{2})\)stabilizable mean m such that \(m_{1}\leq m\leq m_{2}\) (resp. \(m_{2}\leq m\leq m_{1}\)).
The main result
Now, we are in the position to answer our previous question as recited in the following result.
Theorem 3.3
Let \(a,b>0\) and \(v\in [0,1]\). Let \(p_{v}\) and \(q_{v}\) be two weighted means such that \(p:=p_{1/2}\) and \(q:=q_{1/2}\) are stable. Assume that q is a strict cross mean. Then there exists one and only one weighted mean \(M_{v}(a,b)\) such that (3.1) holds. Further, \(M:=M_{1/2}\) is the unique \((q,p)\)stabilizable mean.
Proof
As already pointed before, it is enough to consider (3.2). Following the previous subsection, (3.2) can be written as
This means that M is \((q,p)\)stabilizable. According to Theorem 3.2, such M exists and is unique. Since \(p_{v}\) and \(q_{v}\) are given, we then deduce the existence and uniqueness of \(M_{v}\) satisfying (3.1). The proof is finished. □
Following Theorem 3.1, the symmetric means \(a\nabla b\), \(a\sharp b\), \(a!b\) are cross means, and so they are stable. From the preceding theorem we immediately deduce the following corollary.
Corollary 3.4
If \(p_{v},q_{v}\in \{\nabla _{v},\sharp _{v},!_{v}\}\), then we have the same conclusion as in the previous theorem.
The condition \(p_{v},q_{v}\in \{\nabla _{v},\sharp _{v},!_{v}\}\) includes exactly nine cases. The following examples discuss these cases in detail.
Example 3.5

(i)
Assume that \((p_{v},q_{v})=(\sharp _{v},\nabla _{v})\). Theorem 3.3 implies that M is the unique \((\nabla ,\sharp )\)stabilizable mean, and so Theorem 3.1 gives \(M=L\). The related weighted mean is the weighted logarithmic mean \(L_{v}\) given by (2.1).

(ii)
Assume that \((p_{v},q_{v})=(\nabla _{v},\sharp _{v})\). In a similar way as previously, \(M=I\) and \(M_{v}=I_{v}\) is given by (2.2).

(iii)
Similarly, if \((p_{v},q_{v})=(\sharp _{v},!_{v})\), then \(M=L^{*}\) and \(M_{v}\) is given by (2.9). If \((p_{v},q_{v})=(!_{v},\sharp _{v})\), then \(M=I^{*}\) and \(M_{v}\) is given by (2.10).
Example 3.6
For the three cases \(p_{v}=q_{v}\in \{\nabla _{v},\sharp _{v},!_{v}\}\), it is not hard to check that \(M_{v}=p_{v}=q_{v}\), and so \(M=p=q\). We can show this separately for every case by checking (3.1) or use Theorem 3.3 when combined with Theorem 3.1. The details are immediate and therefore omitted here for the reader.
We have two cases left to see, namely \((p_{v},q_{v})=(\nabla _{v},!_{v})\) and \((p_{v},q_{v})=(!_{v},\nabla _{v})\), which we discuss in the two following examples, respectively.
Example 3.7
Assume that \((p_{v},q_{v})=(\nabla _{v},!_{v})\). Following Theorem 3.3, M is the unique \((!,\nabla )\)stabilizable mean and by Theorem 3.1 one has \(M=L\). The related weighted mean \(M_{v}\) is given by
By construction, we have \(M=L\) the logarithmic mean. From (3.3) we can check again that \(M:=M_{1/2}=L\). In other words, the weighted mean \(M_{v}(a,b)\) defined by (3.3) is a second weighted logarithmic mean which we denote by \({\mathcal{L}}_{v}\). Its explicit form is given by
Example 3.8
Assume that \((p_{v},q_{v})=(!_{v},\nabla _{v})\). In a similar way as previously, we show that the associated mean M is here given by \(M=L^{*}\) the dual logarithmic mean. The associated weighted mean \(M_{v}\) is defined by
Also, from this latter relation we can verify that \(M:=M_{1/2}=L^{*}\) and \(M_{v}={\mathcal{L}}_{v}^{*}\), with \({\mathcal{L}}_{v}^{*}(a,a)=a\) and
The previous examples are summarized in Table 1.
Operator version
The operator version of the previous weighted means as well as their related operator inequalities have been also discussed in [6]. By using their approach for operator monotone functions and referring to the Kubo–Ando theory [5], they studied the analogues of \(L_{v}(a,b)\) and \(I_{v}(a,b)\) when the positive real numbers a and b are replaced with positive invertible operators.
Here, and with (2.1) and (2.2), we do not need any more tools for giving in an explicit setting the operator versions of \(L_{v}(a,b)\) and \(I_{v}(a,b)\). Before exploring this, let us recall a few basic notions about operator means.
Let H be a complex Hilbert space, and let \({\mathcal{B}}(H)\) be the \(\mathbb{C}^{*}\)algebra of bounded linear operators acting on H. The notation \({\mathcal{B}}^{+*}(H)\) refers to the open cone of all (selfadjoint) positive invertible operators in \({\mathcal{B}}(H)\). As usual, the notation \(A\leq B\) means that \(A,B\in {\mathcal{B}}(H)\) are selfadjoint and \(BA\) is positive semidefinite. A realvalued function f on a nonempty J of \({\mathbb{R}}\) is said to be operator monotone if and only if \(A\leq B\) implies \(f(A)\leq f(B)\) for selfadjoint operators A and B whose spectral \(\sigma (A),\sigma (B)\subset J\). As usual, \(f(A)\) is defined by the techniques of functional calculus. For further details about operator monotone functions, we can consult [1, 4, 12, 13] and the related references cited therein. Some examples of operator monotone functions are considered in what follows.
Following the Kubo–Ando theory [5], there exists a unique onetoone correspondence between operator means and operator monotone functions. More precisely, an operator mean m in the Kubo–Ando sense is such that
for some positive monotone increasing function \(f_{m}\) on \((0,\infty )\). The function \(f_{m}\) in (4.1) is called the representing function of the operator mean m. An operator mean in the Kubo–Ando sense is called operator monotone mean.
Let \(A,B\in {\mathcal{B}}^{+*}(H)\) and \(v\in [0,1]\). As standard examples of operator monotone means, the following
are known in the literature as the weighted arithmetic mean, the weighted geometric mean, and the weighted harmonic mean of A and B, respectively. If \(v=1/2\), they are simply denoted by \(A\nabla B\), \(A\sharp B\), and \(A!B\), respectively. The previous operator means satisfy the following double inequality:
The weighted logarithmic mean and the weighted identric mean of A and B can be, respectively, defined through:
For \(v=1/2\), they are simply denoted by \(L(A,B)\) and \(I(A,B)\), respectively. From (1.1), with the help of (4.1), we can immediately see that the chain of inequalities
is also valid for any \(A,B\in {\mathcal{B}}^{+*}(H)\) and \(v\in [0,1]\).
For the sake of information, the logarithmic mean \(L(A,B)\) previously defined can be also alternatively given by one of the following integral forms:
It is worth mentioning that (4.3) and (4.4) define \(L_{v}(A,B)\) and \(I_{v}(A,B)\) just in the theoretical context. To give the explicit forms of \(L_{v}(A,B)\) and \(I_{v}(A,B)\), analogues to those of (1.3) and (1.4), by using (4.3) and (4.4), appears to be not obvious and no result reaching from this way. However, according to Theorem 2.1 with (4.1), we immediately deduce the following.
Theorem 4.1
For any \(A,B\in {\mathcal{B}}^{+*}(H)\) and \(v\in [0,1]\), we have
Since all the involved operators in (4.6) and (4.7) are operator means in the sense of (4.1), then by Theorem 2.2 we immediately deduce the following result as well.
Theorem 4.2
Let \(A,B\in {\mathcal{B}}^{+*}(H)\) and \(v\in [0,1]\). Then we have
Remark 4.3
The operator inequalities (4.8) and (4.9) recover Theorem 2.4 and Theorem 3.2 of [6], respectively.
By the same arguments as previous, the operator version of Theorem 2.5 is immediately given in the following statement.
Theorem 4.4
For any \(A,B\in {\mathcal{B}}^{+*}(H)\) and \(v\in [0,1]\), we have
Power symmetric means
This section deals with some weighted means for power symmetric means in one or two parameters. Let \(a,b>0\) and p, q be two real numbers. We recall the following:
• The power binomial mean defined by
This includes the particular cases \(B_{1}(a,b)=a\nabla b\), \(B_{0}(a,b):=\lim_{p\rightarrow 0}B_{p}(a,b)=a \sharp b\) and \(B_{1}(a,b)=a!b\). Note that \(B_{1/2}(a,b)=(a\nabla b)\nabla (a\sharp b)\).
• The power logarithmic mean defined by
We have \(L_{2}(a,b)=a\sharp b\), \(L_{1}(a,b)=L(a,b)\), \(L_{0}(a,b)=I(a,b)\), \(L_{1}(a,b)=a \nabla b\).
• The power difference mean given by
In particular, \(D_{2}(a,b)=a!b\), \(D_{1}(a,b)=L^{*}(a,b)\), \(D_{1/2}(a,b)=a\sharp b\), \(D_{0}(a,b)=L(a,b)\), and \(D_{1}(a,b)=a\nabla b\).
• The power exponential mean defined as
As special cases, \(I_{1}(a,b)=I^{*}(a,b)\), \(I_{0}(a,b)=a\sharp b\), and \(I_{1}(a,b)=I(a,b)\).
• The second power logarithmic mean defined through
In particular, \({\mathcal{L}}_{1}(a,b)=L^{*}(a,b)\), \({\mathcal{L}}_{0}(a,b)=a\sharp b\), and \({\mathcal{L}}_{1}(a,b)=L(a,b)\).
• The previous power means are included in the socalled Stolarsky mean \(S_{p,q}\)
in the sense that
All the previous power means are symmetric in a and b. Also, remark that \(S_{p,q}\) is symmetric in p and q. Otherwise, the power binomial mean \(B_{p}\) is stable for any \(p\in {\mathbb{R}}\) and the following result holds, see [9].
Theorem 5.1
For any \(p,q\in {\mathbb{R}}\), the Stolarsky mean \(S_{p,q}\) is \((B_{qp},B_{p} )\)stabilizable.
The previous theorem, when combined with (5.7) and a simple argument of continuity, immediately implies the following, see also [7].
Corollary 5.2
For all real number p, the following assertions hold:

(i)
The power mean \(L_{p}\) is \((B_{p},\nabla )\)stabilizable, while \(D_{p}\) is \((\nabla ,B_{p})\)stabilizable.

(ii)
The power mean \(I_{p}\) is \((\sharp ,B_{p})\)stabilizable, while \({\mathcal{L}}_{p}\) is \((B_{p},\sharp )\)stabilizable.
Now, let us observe the following remark which is of interest.
Remark 5.3
Since \(S_{p,q}=S_{q,p}\), we can also say that \(S_{p,q}\) is \((B_{pq},B_{q} )\)stabilizable. This, with (5.7), implies also that \(L_{p}\) is \((B_{p},B_{p+1})\)stabilizable, \(D_{p}\) is \((!,B_{p+1})\)stabilizable, \({\mathcal{L}}_{p}\) is \((B_{p},B_{p})\)stabilizable, and no news for \(I_{p}\). Obviously, (i) and (ii) of Corollary 5.2 are simpler than these latter statements.
Some new weighted power means
In this section we investigate the weighted means of the previous power means. The weighted power binomial mean can be immediately given by
This, with the results presented in the preceding section, will allow us to construct some new weighted power means. Recall that \(m_{v}\) is called weighted mean if it satisfies the conditions: \(m_{v}\) is a mean for any \(v\in [0,1]\), \(m:=m_{1/2}\) is a symmetric mean, and \(m_{v}(a,b)=m_{1v}(b,a)\) for any \(a,b>0\) and \(v\in [0,1]\). We then say that \(m_{v}\) is a mweighted mean and m is the symmetric mean of \(m_{v}\). It is obvious that for any weighted mean \(m_{v}\) its associated symmetric mean \(m:=m_{1/2}\) is unique. However, for a given symmetric mean m, we can have two mweighted means \(m_{v}\) and \(l_{v}\) i.e. \(m_{1/2}=l_{1/2}=m\). For more explanation about this latter situation, see the examples below.
In a general context, we have the following result.
Theorem 6.1
Let m and l be two stable means, and let M be \((l,m)\)stabilizable. Let \(m_{v}\) and \(l_{v}\) be the mweighted mean and the lweighted mean, respectively. Then the following
is a Mweighted mean.
Proof
It is straightforward. The details are simple and therefore omitted here for the reader. □
Applying the previous simple result to the preceding power means, we immediately obtain their associated weighted power means. We present these in the following examples. We begin by the \(S_{p,q}\)weighted mean, and we then deduce the other weighted power means as particular cases.
Example 6.2
By Theorem 5.1, \(S_{p,q}\) is \((B_{qp},B_{p})\)stabilizable. By Theorem 6.1, an \(S_{p,q}\)weighted mean is given by
Utilizing (5.6) with (5.1), the explicit form of \(S_{p,q;v}(a,b)\) is given by (for \(a\neq b\))
provided that \(p\neq 0\), \(q\neq 0\), \(p\neq q\), where we write \(B_{p;v}:=B_{p;v}(a,b)\) for simplifying the writing. The three cases \(p=0\), \(q=0\), and \(p=q\) will be presented later.
Example 6.3
Since \(S_{p,q}\) is also \((B_{pq},B_{q})\)stabilizable, see Remark 5.3, another \(S_{p,q}\)weighted mean is given by
or, in an explicit form, if \(p\neq 0\), \(q\neq 0\), \(p\neq q\), and \(a\neq b\),
Example 6.4

(i)
By Corollary 5.2, \(L_{p}\) is \((B_{p},\nabla )\)stabilizable. By Theorem 6.1, the \(L_{p}\)weighted mean is given by
$$ L_{p;v}(a,b)=B_{p;v} \bigl(L_{p} (a\nabla _{v}b,a ),L_{p} (a \nabla _{v}b,b ) \bigr). $$By (5.1), (5.2), and (5.6), or just using the relation \(L_{p}=S_{1,p+1}\) with (6.2), we obtain the explicit form of \(L_{p;v}\):
$$\begin{aligned}& L_{p;v}(a,b) \\& \quad = \biggl(\frac{1}{(p+1)(ba)} \biggl( \frac{1v}{v} \bigl((a \nabla _{v}b)^{p+1}a^{p+1} \bigr)+ \frac{v}{1v} \bigl(b^{p+1}(a\nabla _{v}b)^{p+1} \bigr) \biggr) \biggr)^{1/p}. \end{aligned}$$ 
(ii)
Similarly, since \(D_{p}\) is \((\nabla ,B_{p})\)stabilizable, we then deduce that the \(D_{p}\)weighted mean is given by
$$ D_{p;v}(a,b)=D_{p} \bigl(B_{p;v}(a,b),a \bigr)\nabla _{v}D_{p} \bigl(B_{p;v}(a,b),b \bigr), $$or in an explicit form, with \(B_{p;v}:=B_{p;v}(a,b)\),
$$ D_{p;v}(a,b)=\frac{p}{p+1}\frac{1}{b^{p}a^{p}} \biggl( \frac{1v}{v} \bigl(B_{p;v}^{p+1}a^{p+1} \bigr)+\frac{v}{1v} \bigl(b^{p+1}B_{p;v}^{p+1} \bigr) \biggr). $$
Example 6.5
By similar arguments as in the previous examples, we obtain:

(i)
The \({\mathcal{L}}_{p}\)weighted mean is defined by
$$ {\mathcal{L}}_{p;v}(a,b)=B_{p;v} \bigl({ \mathcal{L}}_{p} (a\nabla _{v}b,a ),{ \mathcal{L}}_{p} (a\nabla _{v}b,b ) \bigr), $$or in an explicit form
$$ {\mathcal{L}}_{p;v}(a,b)= \biggl(\frac{p}{b^{p}a^{p}} \biggl( \frac{1v}{v} (\log B_{p;v}\log a )+ \frac{v}{1v} ( \log b \log B_{p;v} ) \biggr) \biggr)^{\frac{1}{p}}. $$ 
(ii)
The \(I_{p}\)weighted mean is given by
$$ I_{p;v}(a,b)=I_{p} \bigl(B_{p;v}(a,b),a \bigr)\sharp _{v}I_{p} \bigl(B_{p;v}(a,b),b \bigr). $$
We left to the reader the task of giving the explicit form of this latter weighted power mean.
Availability of data and materials
Not applicable.
References
 1.
Besenyei, A., Petz, D.: Completely positive mappings and mean matrices. Linear Algebra Appl. 435, 984–997 (2011)
 2.
Bullen, P.S.: Handbook of Means and Their Inequalities. Kluwer Academic, Dordrecht (2003)
 3.
Furuichi, S., Minculete, N.: Refined inequalities on the weighted logarithmic mean. J. Math. Inequal. 14, 1347–1357 (2020)
 4.
Izumino, S., Nakamura, N.: Elementary proofs of operator monotonicity of some functions. Sci. Math. Jpn. Online e2013, 679–686
 5.
Kubo, F., Ando, T.: Means of positive linear operators. Math. Ann. 246, 205–224 (1980)
 6.
Pal, R., Singh, M., Moslehian, M.S., Aujla, J.S.: A new class of operator monotone functions via operator means. Linear Multilinear Algebra 64(12), 2463–2473 (2016)
 7.
Raïssouli, M.: Stability and stabilizability for means. Appl. Math. ENotes 11, 159–174 (2011)
 8.
Raïssouli, M.: Refinements for meaninequalities via the stabilizability concept. J. Inequal. Appl. 2012, 55 (2012)
 9.
Raïssouli, M.: Stabilizability of the Stolarsky mean and its approximation in terms of the power binomial mean. Int. J. Math. Anal. 6(18), 871–881 (2012)
 10.
Raïssouli, M.: Positive answer for a conjecture about stabilizable means. J. Inequal. Appl. 2013, 467 (2013)
 11.
Raïssouli, M.: Stable and stabilizable means with linear operator variables. Linear Multilinear Algebra 62(9), 1153–1168 (2014)
 12.
Udagawa, Y.: Operator monotonicity of a 2parameter family of functions and \(\exp \{ f(x) \} \) related to the Stolarsky mean. Oper. Matrices 11(2), 519–532 (2017)
 13.
Udagawa, Y., Wada, S., Yamazaki, T., Yanagida, M.: On a family of operator means involving the power difference means. Linear Algebra Appl. 485, 124–131 (2015)
Acknowledgements
The authors would like to thank the referees for their careful and insightful comments to improve our manuscript.
Funding
SF was partially supported by JSPS KAKENHI Grant Number 16K05257.
Author information
Affiliations
Contributions
The work presented here was carried out in collaboration between all authors. The study was initiated by the first author. The second author played the role of the corresponding author. All authors contributed equally and significantly in writing this article. All authors have read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Raïssouli, M., Furuichi, S. On weighted means and their inequalities. J Inequal Appl 2021, 65 (2021). https://doi.org/10.1186/s13660021025899
Received:
Accepted:
Published:
MSC
 26D15
 26E60
 47A63
 47A64
Keywords
 Weighted means
 Weighted operator means and operator inequalities