Abstract
We show optimal bounds of the form \(Q_\alpha<M<Q_\beta \), where
and M belongs to a broad class of classical homogeneous, symmetric means of two variables.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction, definitions and notations
aaa It is a truism to say that means are important. Means in various forms were used for practical purposes as early as in the antiquity. It is worth mentioning here the Pythagorean means of many variables (harmonic, geometric, arithmetic) or the Heronian mean. The averages have been used in practice in many areas: optics, electricity, mechanics, finance, econometrics, and statistics.
Over time, as it usually happens, the means began to live their own lives and became the subject of research of many scientists (see the list of references). In particular, the means of two variables became an interesting object of investigation. Due to big diversity of means, important information is the mutual relation between them, i.e. information about which of the three cases: \(M> N\), \(M <N\) or M and N are incomparable, holds. Another useful piece of information is to study the position of the mean relative to some reference family of means. The most popular reference family is the power means given by the formula \(\mathsf {A}_{\mathsf {r}}{}_(x,y)=\left( \frac{x^r+y^r}{2}\right) ^{1/r}\) and \(\mathsf {A}_{0}(x,y)=\sqrt{xy}\).
Here are three examples of such results:
-
for the logarithmic means Tung Po Lin [11] proved \({\mathsf {A}}_0<{\mathsf {L}}<{\mathsf {A}}_{1/3}\),
-
for the Heronian mean Alzer and Janous [1] proved optimal inequalities \({\mathsf {A}}_{\log 2/\log 3}<{{\mathsf {H}}}{{\mathsf {e}}}<{\mathsf {A}}_{2/3}\),
-
the result of Hästö [8] gives optimal bounds for the first Seiffert mean \({\mathsf {A}}_{\log 2/\log \pi }<{\mathsf {P}}<{\mathsf {A}}_{2/3}\).
In this paper we introduce a family of Q-means defined by
where \(x,y>0\), \(-4\le \alpha \le \tfrac{1}{2}\), \({\mathsf {A}}(x,y)=\tfrac{x+y}{2}\) and \({\mathsf {G}}(x,y)=\sqrt{xy}\) are the arithmetic and geometric means. It is easy to see that if \(\alpha <\beta \) then \(Q_\alpha <Q_\beta \). The Q-means will be used as an alternative reference line for most of the classical means as well as for some recently discovered ones. The reader will find here the optimal bounds for them in terms of Q-means as well as some numerical results.
Based on the shapes of the Seiffert means, one of the authors introduced in [20] the notion of Seiffert function: a function \(f:(0,1)\rightarrow {\mathbb {R}}\) such that
is a mean. It was shown that every symmetric and homogeneous mean of positive arguments can be represented in the form (2) and that every function \(f:(0,1)\rightarrow {\mathbb {R}}\) satisfying
produces a mean. The correspondence between a mean and its Seiffert function is given by the formula
In [20] it was shown also that the functions \(\sin , \tan , \sinh \) and \(\tanh \) are also Seiffert functions that produce the means called the sine, tangent, hyperbolic sine and hyperbolic tangent means.
Remark 1
Note that due to identity \({{\mathsf {H}}}{{\mathsf {A}}}={\mathsf {G}}^2\) (where \({\mathsf {H}}(x,y)=\frac{2xy}{x+y}\) is the harmonic mean), (1) can be written as
Let us use the formula (4) to calculate the Seiffert function of \(Q_\alpha \):
In this paper we shall establish the optimal bounds of the form \(Q_\alpha<{M}<Q_\beta \), where M is one of the classical (or less classical) means.
Remark 2
For two means M, N the notation \(M<N\) means that \(M(x,y)<N(x,y)\) holds unless \(x=y\).
Remark 3
If m, n are the Seiffert functions of M, N respectively, then the inequality \(M<N\) is equivalent to \(n<m\) by the formula (2).
Note that the inequalities \(Q_\alpha<{\mathsf {M}}<Q_\beta \) in terms of Seiffert functions can be rewritten as \({q_\beta (z)}<{m(z)}<{q_\alpha (z)}, \) and, given (5), to find optimal \(\alpha \) and \(\beta \) we may use one of the three methods
Method 1
Evaluate
or
Method 2
Calculate
or equivalently
Method 3
Calculate
2 Remarks on Q means
It might be surprising why we consider the \(Q_\alpha \) means for \(-4\le \alpha \le \tfrac{1}{2}\) only. The following lemmas give the answer.
Lemma 1
The function \({\mathsf {q}}_\alpha (z)=z-\alpha z^3\) is a Seiffert function if and only if \(-4\le \alpha \le \tfrac{1}{2}\).
Proof
The inequalities (3) can be rewritten as
and since \(\inf _{z\in (0,1)} \frac{1}{z(1+z)}=\frac{1}{2}\) and \(\max _{z\in (0,1)}\frac{-1}{z(1-z)}=-4\), the assertion holds.\(\square \)
Lemma 2
The function \({\mathsf {q}}_\alpha (z)=z-\alpha z^3\) is the Seiffert function of \(Q_\alpha \).
Proof
By (4) we have
\(\square \)
3 Main results
At the beginning we consider means that are lesser than the logarithmic mean:
-
harmonic mean \({\mathsf {H}}(x,y)=\frac{2xy}{x+y}={\mathsf {A}}_{-1}(x,y)\). Its Seiffert function equals \({\mathsf {h}}(z)=\frac{z}{1-z^2}\),
-
power mean of order \(-1/2,\ {\mathsf {A}}_{-1/2}(x,y)=\left( \frac{x^{-1/2}+y^{-1/2}}{2}\right) ^{-2}\) with Seiffert function \({\mathsf {a}}_{-1/2}(z)=\frac{z(1+\sqrt{1-z^2})}{2(1-z^2)}\),
-
geometric mean \({\mathsf {G}}(x,y)=\sqrt{xy}\) with \({\mathsf {g}}(z)=\frac{z}{\sqrt{1-z^2}}\),
-
logarithmic mean \({\mathsf {L}}(x,y)=\frac{x-y}{\ln x-\ln y}={\mathsf {M}}_{{\mathrm{artanh}}}(x,y)=\frac{|x-y|}{2{\mathrm{artanh}}\frac{|x-y|}{x+y}}\). The last formula shows that \({\mathsf {l}}(z)={\mathrm{artanh}} z\).
All the means mentioned above have one common property: \(\lim _{x\rightarrow 0^+}M(x,1)=0\), which indicates that there is no lower bound for them in the class of Q means, as the limit of \(Q_\alpha \) at zero is positive.
Theorem 1
(Bounds for harmonic mean) The inequality
holds if and only if \(\beta \ge -1\).
Proof
Consider the function from Method 1:
It decreases and assumes values in \((-\infty ,-1)\), which completes the proof.\(\square \)
Theorem 2
(Bounds for power mean of order \(-\tfrac{1}{2})\) The inequality
holds if and only if \(\beta \ge -\frac{3}{4}\). There is no lower bound for the power mean of order \(-1/2\) in the family of Q means.
Proof
Consider the function in Method 3
The function \(g_{\gamma }\) satisfies \(g_\gamma (0)=0\) and (as every even function) \(g_\gamma '(0)=0\). Moreover
Both fractions in (6) increase (numerators increase and denominators decrease) thus \(g_\gamma ''\) decreases from \(-2\gamma -\frac{3}{2}\) to \(-\infty \). This implies that if \(\gamma \ge -\frac{3}{4}\) the function \(g_\gamma \) is concave and therefore satisfies \(g_\gamma (z)<0\) for \(0<z<1\). If \(\gamma < -\frac{3}{4}\) the function \(g_\gamma \) is convex and thus positive for small z, and cannot preserve sign, because it tends to \(-\infty \) at the right end.\(\square \)
Theorem 3
(Bounds for geometric mean) The inequality \({\mathsf {G}}<Q_\beta \) holds if and only if \(\beta \ge -1/2\). There is no \(Q_\alpha \) that bounds the geometric mean from below.
Proof
We use Method 1. The function
decreases because both functions in denominator decrease. Therefore it assumes values in \(\left( -\infty ,-\frac{1}{2}\right) \), which completes the proof.\(\square \)
Let us recall that the Seiffert function of the logarithmic mean \({\mathsf {l}}(z)={\mathrm{artanh}} z\).
Theorem 4
(Bounds for logarithmic mean). The inequalities \({\mathsf {M}}_{{\mathrm{artanh}}}<Q_\beta \) hold if and only if \(\beta \ge -\frac{1}{3}\approx -0.3333\). There is no \(Q_\alpha \) that bounds the logarithmic mean from below.
Proof
Let us consider the function from Method 2: \(u_\gamma (z)=z-\gamma z^3-{\mathrm{artanh}} z\). It is elementary that \(u_\gamma (0)=u'_\gamma (0)=0\). Let us investigate the sign of its second derivative.
It is easy to see that if \(\gamma \ge -\frac{1}{3}\), then \(u_\gamma \) is concave and thus negative for all \(z\in (0,1)\). For \(\gamma < -\frac{1}{3}\) our function is convex and positive for small z and negative for z close to 1, which means that it cannot preserve sign, thus \(\alpha \) is not a real number.\(\square \)
There are many interesting means between the logarithmic and the arithmetic means. We shall consider five of them. Here they are:
-
power mean of order \(\frac{1}{2},\ {\mathsf {A}}_{1/2}(x,y)=\left( \frac{\sqrt{x}+\sqrt{y}}{2}\right) ^2\) with Seiffert function \({\mathsf {a}}_{1/2}(z)=\frac{2z}{1+\sqrt{1-z^2}}\),
-
Heronian mean \({{\mathsf {H}}}{{\mathsf {e}}}(x,y)=\frac{x+\sqrt{xy}+y}{3}\) used to calculate the volume of a truncated pyramid long before Christ. Its Seiffert function equals \({{\mathsf {h}}}{{\mathsf {e}}}(z)=\frac{3z}{2+\sqrt{1-z^2}}\),
-
tangent mean \({\mathsf {M}}_{\tan }(x,y)=\frac{|x-y|}{2\tan \frac{|x-y|}{x+y}}\). Obviously, tangent is its Seiffert function,
-
arcsine or first Seiffert mean \({\mathsf {P}}(x,y)={\mathsf {M}}_{{\mathrm{arc sin}}}(x,y)=\frac{|x-y|}{2{\mathrm{arc sin}}\frac{|x-y|}{x+y}}\) with \({\mathsf {p}}(z)={\mathrm{arc sin}} z\),
-
hyperbolic sine mean \({\mathsf {M}}_{\sinh }(x,y)=\frac{|x-y|}{2\sinh \frac{|x-y|}{x+y}}\) with \({\mathsf {m}}_{\sinh }(z)=\sinh z\).
The following inequalities between these means can be found in the literature.
Inequality \({\mathsf {L}}<{\mathsf {A}}_{1/3}\) has been proven in [11]. This combined with monotonicity of power means shows that \({\mathsf {L}}<{\mathsf {A}}_{1/2}\).
Inequalities
have been proven in [20] (the means in curly brackets are not comparable). The means \({\mathsf {A}}_{1/2}\) and \({\mathsf {M}}_{\tan }\) are not comparable either, and the relations
has been proved by Hastö in [8] (left part) and Sándor in [15] (right part).
Finally
follow from Theorems 2.1 and 2.2 in [12]. Summarizing, we have the following chain of inequalities:
Let us begin with the Heronian mean \({{\mathsf {H}}}{{\mathsf {e}}}=\frac{2{\mathsf {A}}+{\mathsf {G}}}{3}\) and the power mean of order \(\frac{1}{2}\) that can be written as \({\mathsf {A}}_{1/2}=\frac{{\mathsf {A}}+{\mathsf {G}}}{2}\). Both are members of the family of means that interpolate between the geometric and the arithmetic means given by \({{\mathsf {H}}}{{\mathsf {e}}}_p=(1-p){\mathsf {G}}+p{\mathsf {A}}\), \(0\le p\le 1\). Obviously \({{\mathsf {H}}}{{\mathsf {e}}}={{\mathsf {H}}}{{\mathsf {e}}}_{2/3}\). The Seiffert function for \({{\mathsf {H}}}{{\mathsf {e}}}_p\) is
Theorem 5
(Bounds for the Heronian family of means). Let \(0\le p\le 1\). The inequalities \({{\mathsf {H}}}{{\mathsf {e}}}_p<Q_\beta \) hold if and only if \(\beta \ge \frac{p-1}{2}\).
If \(p\ge \frac{1}{5}\), then the inequality \(Q_\alpha <{{\mathsf {H}}}{{\mathsf {e}}}_p\) holds if and only if \(\alpha \le \frac{p-1}{p}\).
If \(p<\frac{1}{5}\), then there is no lower bound for \({{\mathsf {H}}}{{\mathsf {e}}}_p\).
Proof
We shall use Method 1 here:
which shows that this function decreases with \(z\in (0,1)\) and assumes values in \(\left( \frac{p-1}{p},\frac{p-1}{2}\right) \). For \(p<\frac{1}{5}\), we have \((p-1)/p<-4\), so the corresponding Q is not a mean by Lemma 1. \(\square \)
Corollary 1
The optimal inequalities hold:
Corollary 2
The optimal inequalities hold:
And now it’s time for three other means
Theorem 6
(Bounds for tangent mean) The inequalities \(Q_\alpha<{\mathsf {M}}_{\tan }<Q_\beta \) hold if and only if \(\alpha \le 1-\tan 1\approx -0.5574\) and \(\beta \ge -\frac{1}{3}\approx -0.3333\).
Proof
Consider the function from Method 2:
It satisfies \(g_\gamma (0)=g_\gamma '(0)=0\) and \(g_\gamma (1)=1-\gamma -\tan 1\). Moreover,
The function \(\frac{\sin z}{\cos ^3z}=\frac{1}{\cos z}\cdot \frac{1}{\cos z}\cdot \tan z\) is a product of three positive, increasing and convex functions, so it is convex. By Property 2 its divided difference \(\frac{\sin z}{z\cos ^3z}\) increases from \(m=1\) to \(M=\frac{\sin 1}{\cos ^31}\). Thus we see that if \(3\gamma +1\ge 0\), then \(g_\gamma \) is concave and therefore negative. On the other hand, if \(3\gamma +1<0\) then \(g_\gamma \) is convex, and thus positive for small values of z and changes its convexity at most once. Therefore it remains nonnegative in the unit interval if and only if \(g_\gamma (1)=1-\gamma -\tan 1\ge 0\).\(\square \)
Theorem 7
(Bounds for first Seiffert mean). The inequalities \(Q_\alpha<{\mathsf {P}}<Q_\beta \) hold if and only if \(\alpha \le 1-\pi /2\approx -0.5708\) and \(\beta \ge -\frac{1}{6}\approx -0.1667\).
Proof
We shall use once more Method 2 and investigate
It satisfies \(g_\gamma (0)=g_\gamma '(0)=0\) and \(g_\gamma (1)=1-\gamma -\arcsin 1\). Moreover,
The function \(6\gamma +\frac{1}{(1-z^2)^{3/2}}\) increases from \(6\gamma +1\) to infinity, so if \(6\gamma +1\ge 0\) the function \(g_\gamma \) is concave, and thus negative, while if \(6\gamma +1< 0\), the function \(g_\gamma \) is convex and positive for small z and then becomes concave. As a consequence it remains positive on (0, 1) if and only if \(g_\gamma (1)\ge 0\).\(\square \)
Theorem 8
(Bounds for hyperbolic sine mean). The inequalities \(Q_\alpha<{\mathsf {M}}_{\sinh }<Q_\beta \) hold if and only if \(\alpha \le 1-\sinh 1\approx -0.1752\) and \(\beta \ge -\frac{1}{6}\approx -0.1667\).
Proof
We use again Method 2 and investigate:
It satisfies \(g_\gamma (0)=g_\gamma '(0)=0\) and \(g_\gamma (1)=1-\gamma -\sinh 1\). Moreover,
The function \(\frac{\sinh z}{z}\) increases by Property 2 from 1 to infinity, so if \(6\gamma +1\ge 0\) the function \(g_\gamma \) is concave, and thus negative, while if \(6\gamma +1< 0\) the function \(g_\gamma \) is convex and positive for small z and then remains convex or becomes concave. As a consequence it remains positive on (0, 1) if and only if \(g_\gamma (1)\ge 0\).\(\square \)
Next we shall take care of several means that are greater than the arithmetic mean:
-
Neuman–Sándor mean called also inverse hyperbolic sine mean \({{\mathsf {N}}}{{\mathsf {S}}}(x,y)=\frac{|x-y|}{2{\mathrm{arsinh}}\frac{|x-y|}{x+y}}\) with Seiffert function \({{\mathsf {n}}}{{\mathsf {s}}}(z)={\mathrm{arsinh}} z\),
-
sine mean \({\mathsf {M}}_{\sin }(x,y)=\frac{|x-y|}{2\sin \frac{|x-y|}{x+y}}\),
-
second Seiffert mean or arctangent mean \({\mathsf {T}}(x,y)={\mathsf {M}}_{{\mathrm{arc tan}}}(x,y)=\frac{|x-y|}{2{\mathrm{arc tan}}\frac{|x-y|}{x+y}}\),
-
hyperbolic tangent mean \({\mathsf {M}}_{\tanh }(x,y)=\frac{|x-y|}{2\tanh \frac{|x-y|}{x+y}}\),
-
centroidal mean \({{\mathsf {C}}}{{\mathsf {e}}}(x,y)=\frac{2}{3}\frac{x^2+xy+y^2}{x+y}\). Its Seffert mean is \({{\mathsf {c}}}{{\mathsf {e}}}(z)=\frac{3z}{3+z^2}\),
-
root-mean square or quadratic mean \(\mathsf {RMS}(x,y)=\sqrt{\frac{x^2+y^2}{2}}\) with Seiffert function \(\mathsf {rms}(z)=\frac{z}{\sqrt{1+z^2}}\),
-
contraharmonic mean \({\mathsf {C}}(x,y)=\frac{x^2+y^2}{x+y}\) where \({\mathsf {c}}(z)=\frac{z}{1+z^2}\).
We have
The first four inequalities come from [20], next from [13], the remaining two can be found in many sources.
In this part of our paper Method 1 proves to be very useful.
Theorem 9
(Bounds for Neuman–Sándor mean). The inequalities \(Q_\alpha<{\mathsf {M}}_{{\mathrm{arsinh}}}<Q_\beta \) hold if and only if \(\alpha \le 1-{\mathrm{arsinh}} 1\approx 0.1186\) and \(\beta \ge \frac{1}{6}\approx 0.1667\).
Proof
The function
decreases, so by Lemma 3\(h(z)=\frac{z-{\mathrm{arsinh}} z}{z^3}\) decreases, assuming values between \(\lim _{z\rightarrow 0^+} h(z)=\frac{1}{6}\) and \(h(1)=1-{\mathrm{arsinh}} 1\), which completes the proof.\(\square \)
Theorem 10
(Bounds for the sine mean). The inequalities \(Q_\alpha<{\mathsf {M}}_{\sin }<Q_\beta \) hold if and only if \(\alpha \le 1-\sin 1\approx 0.1585\) and \(\beta \ge \frac{1}{6}\approx 0.1667\).
Proof
Applying Lemma 3 to the functions \(f(z)=z-\sin z\) and \(g(z)=z^3\) we see that
decreases thus f(z)/g(z) does so. Thus \(h(z)=\frac{z-\sin z}{z^3}\) from Method 1 assumes values between \(\lim _{z\rightarrow 0^+} h(z)=\frac{1}{6}\) and \(h(1)=1-\sin 1\).\(\square \)
Theorem 11
(Bounds for the second Seiffert mean). The inequalities \(Q_\alpha<{\mathsf {M}}_{\arctan }<Q_\beta \) hold if and only if \(\alpha \le 1-\frac{\pi }{4}\approx 0.2146\) and \(\beta \ge \frac{1}{3}\approx 0.3333\).
Proof
Applying Lemma 3 to the functions \(f(z)=z-\arctan z\) and \(g(z)=z^3\) we see that
decreases and f(z)/g(z) does so. Consequently, \(h(z)=\frac{z-\arctan z}{z^3}\) assumes values between \(\lim _{z\rightarrow 0^+} h(z)=\frac{1}{3}\) and \(h(1)=1-\frac{\pi }{4}\).\(\square \)
Theorem 12
(Bounds for the hyperbolic tangent mean). The inequalities \(Q_\alpha<{\mathsf {M}}_{\tanh }<Q_\beta \) hold if and only if \(\alpha \le 1-\tanh 1\approx 0.2384\) and \(\beta \ge \frac{1}{3}\approx 0.3333\).
Proof
To show that \(h(z)=\frac{z-\tanh z}{z^3}\) decreases we use Lemma 3. We have
The function \(\tanh \) is concave and \(\lim _{z\rightarrow 0^+} \tanh z=0\), so by Property 2 the function \(\frac{\tanh z}{z}\) decreases and this implies that the function h used in Method 1 decreases. We complete the proof by noting \(\lim _{z\rightarrow 0^+} h(z)=\frac{1}{3}\).\(\square \)
Theorem 13
(Bounds for centroidal mean). The inequalities \(Q_\alpha<{{\mathsf {C}}}{{\mathsf {e}}}<Q_\beta \) hold if and only if \(\alpha \le \frac{1}{4}\) and \(\beta \ge \frac{1}{3}\).
Proof
The function
decreases, so it assumes values between \(h(1)=\frac{1}{4}\) and \(h(0)=\frac{1}{3}\).\(\square \)
Theorem 14
(Bounds for quadratic mean). The inequalities \(Q_\alpha<\mathsf {RMS}<Q_\beta \) hold if and only if \(\alpha \le \frac{1}{2+\sqrt{2}}\approx 0.2929\) and \(\beta \ge \frac{1}{2}\).
Proof
Once more we use Method 1. The function
decreases, so it assumes values between \(h(1)=\frac{1}{2+\sqrt{2}}\) and \(h(0)=\frac{1}{2}\).\(\square \)
5 Remarks about other one-parameter families of means
In this section we consider two more families of one-parameter means given by formulae similar to (1) and (\({1}^{\prime }\))
where \(\mathsf {RMS}(x,y)=\sqrt{\frac{x^2+y^2}{2}}\) is the quadratic (or root-mean square) mean and \({\mathsf {C}}(x, y)=\frac{x^2+y^2}{x+y}\) is the contraharmonic mean. Using (4) we see that the corresponding Seiffert functions are of the form \(z+\alpha z^3\), so by Lemma 1\(V_\alpha \) are means if and only if \(-\frac{1}{2}\le \alpha \le 4\) and \(V_\alpha =Q_{-\alpha }\).
The second family is
where \({{\mathsf {C}}}{{\mathsf {e}}}(x,y)=\frac{2}{3}\frac{x^2+xy+y^2}{x+y}\) is the centroidal mean. We use (4) to find out that their Seiffert functions are of the form \(w_\alpha (z)=z+\frac{\alpha }{3}z^3\). Again by Lemma 1 we see that \(W_\alpha \) are means if and only if \(-\frac{3}{2}\le \alpha \le 12\) and \(W_\alpha =Q_{\alpha /3}\).
6 Tools and lemmas
In this section, we place all the technical details needed to prove our main results.
Property 1
A function \(f:(a,b)\rightarrow {\mathbb {R}}\) is convex if, and only if, for every \(a<\theta <b\) its divided difference \(\frac{f(x)-f(\theta )}{x-\theta }\) increases for \(x\ne \theta \).
A simple consequence of Property 1 is
Property 2
If a function \(f:(a,b)\rightarrow {\mathbb {R}}\) is convex and \(\lim _{x\rightarrow a} f(x)=\Theta \), then the function \(\frac{f(x)-\Theta }{x-a}\) increases.
The next lemma can be found in [2, Theorem 1.25].
Lemma 3
Suppose \(f,g:(a,b)\rightarrow {\mathbb {R}}\) are differentiable with \(g'(x)\ne 0\) and such that \(\lim _{x\rightarrow a}f(x)=\lim _{x\rightarrow a}g(x)=0\) or \(\lim _{x\rightarrow b}f(x)=\lim _{x\rightarrow b}g(x)=0\). Then
-
1.
if \(\frac{f'}{g'}\) is increasing on (a, b), then \(\frac{f}{g}\) is increasing on (a, b),
-
2.
if \(\frac{f'}{g'}\) is decreasing on (a, b), then \(\frac{f}{g}\) is decreasing on (a, b).
Change history
02 December 2021
The original version of this article was revised to update the table on the same page.
References
Alzer, H., Janous, W.: Solution of problem 8*. Crux. Math. 13, 173–178 (1987)
Anderson, G.D., Vamanamurthy, M.K., Vuorinen, M.K.: Conformal Invariants, Inequalities, and Quasiconformal Maps. Canadian Mathematical Society Series of Monographs and Advanced Texts. Wiley, New York (1997)
Chu, H.H., Zhao, T.H., Chu, Y.M.: Sharp bounds for the Toader mean of order 3 in terms of arithmetic, quadratic and contraharmonic means. Math. Slovaca 70(5), 1097–1112 (2020). https://doi.org/10.1515/ms-2017-0417
Chu, Y.M., Qiu, Y.F., Wang, M.K.: Hölder mean inequalities for the complete elliptic integrals. Integral Transforms Spec. Funct. 23(7), 521–527 (2012). https://doi.org/10.1080/10652469.2011.609482
Chu, Y.M., Wang, M.K.: Optimal Lehmer mean bounds for the Toader mean. Results Math. 61(3–4), 223–229 (2012). https://doi.org/10.1007/s00025-010-0090-9
Chu, Y.M., Wang, M.K., Qiu, S.L.: Optimal combinations bounds of root-square and arithmetic means for Toader mean. Proc. Indian Acad. Sci. Math. Sci. 122(1), 41–51 (2012). https://doi.org/10.1007/s12044-012-0062-y
Chu, Y.M., Wang, M.K., Wang, Z.K.: Best possible inequalities among harmonic, geometric, logarithmic and Seiffert means. Math. Inequal. Appl. 15(2), 415–422 (2012). https://doi.org/10.7153/mia-15-36
Hästö, P.A.: Optimal inequalities between Seiffert’s mean and power means. Math. Inequal. Appl. 7(1), 47–53 (2004). https://doi.org/10.7153/mia-07-06
He, X.H., Qian, W.M., Xu, H.Z., Chu, Y.M.: Sharp power mean bounds for two Sándor–Yang means. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 113(3), 2627–2638 (2019). https://doi.org/10.1007/s13398-019-00643-2
He, Z.Y., Wang, M.K., Jiang, Y.P., Chu, Y.M.: Bounds for the perimeter of an ellipse in terms of power means. J. Math. Inequal. 14(3), 887–899 (2020). https://doi.org/10.7153/jmi-2020-14-58
Lin, T.P.: The power mean and the logarithmic mean. Am. Math. Mon. 81, 879–883 (1974). https://doi.org/10.2307/2319447
Nowicka, M., Witkowski, A.: Optimal bounds for the tangent and hyperbolic sine means. Aequ. Math. 94(5), 817–827 (2020). https://doi.org/10.1007/s00010-020-00705-6
Nowicka, M., Witkowski, A.: Optimal bounds for the sine and hyperbolic tangent means IV. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 115(2), 79 (2021). https://doi.org/10.1007/s13398-021-01020-8
Qian, W.M., Zhang, W., Chu, Y.M.: Bounding the convex combination of arithmetic and integral means in terms of one-parameter harmonic and geometric means. Miskolc Math. Notes 20(2), 1157–1166 (2019)
Sándor, J.: On certain inequalities for means III. Arch. Math. (Basel) 76(1), 34–40 (2001). https://doi.org/10.1007/s000130050539
Wang, B., Luo, C.L., Li, S.H., Chu, Y.M.: Sharp one-parameter geometric and quadratic means bounds for the Sándor–Yang means. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114(1), 7–10 (2020). https://doi.org/10.1007/s13398-019-00734-0
Wang, J.L., Qian, W.M., He, Z.Y., Chu, Y.M.: On approximating the Toader mean by other bivariate means. J. Funct. Spaces 7, 6082413 (2019). https://doi.org/10.1155/2019/6082413
Wang, M.K., Chu, H.H., Chu, Y.M.: Precise bounds for the weighted Hölder mean of the complete \(p\)-elliptic integrals. J. Math. Anal. Appl. 480(2), 123388 (2019). https://doi.org/10.1016/j.jmaa.2019.123388
Wang, M.K., He, Z.Y., Chu, Y.M.: Sharp power mean inequalities for the generalized elliptic integral of the first kind. Comput. Methods Funct. Theory 20(1), 111–124 (2020). https://doi.org/10.1007/s40315-020-00298-w
Witkowski, A.: On Seiffert-like means. J. Math. Inequal. 9(4), 1071–1092 (2015). https://doi.org/10.7153/jmi-09-83
Acknowledgements
The authors wish to thank the anonymous referee for their careful reading of the manuscript. We are grateful for their suggestions to add references [3,4,5,6,7, 9, 10, 14, 16,17,18,19], that present the main research content of the article, and the research background and research progress in this field.
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.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Nowicka, M., Witkowski, A. Optimal bounds of classical and non-classical means in terms of Q means. RACSAM 116, 11 (2022). https://doi.org/10.1007/s13398-021-01145-w
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-021-01145-w