Abstract
Some properties of a new class of binary symmetric mean \(M_{p} (a,b)\) which depends on two positive numbers a and b, as well as a positive parameter p, are investigated. The logarithmic mean and arithmetic mean are two members of this class. It is shown that, for all values of the parameter p, the set of p-dependent means \(M_{p} (a,b)\) is bounded above by the mean \(M_{\infty } (a,b)\).
Similar content being viewed by others
1 Introduction
The arithmetic-geometric mean which was first investigated by Lagrange and Gauss [1] has found many applications due to its rapid convergence properties. It has played an important role in the calculation of the number π, as well as various elliptic integrals.
Let a and b denote real numbers such that \(a >b >0\). A sequence of arithmetic means and a sequence of geometric means can be constructed by letting \(a_{0}=a\) and \(b_{0} =b\) and defining the recursions [2]
The sequence \((b_{n})\) is increasing and bounded above by a while the sequence \((a_{n})\) is decreasing and bounded below by b since inductively
Therefore, each sequence converges by the monotone convergence theorem. Since it is the case that [3]
we observe that \(a_{n}\) and \(b_{n}\) converge to a common limit determined uniquely by \(a_{0}\) and \(b_{0}\). The arithmetic-geometric mean \(AG (a,b)\) is defined as the common limit of these two sequences
Gauss was able to prove that \(AG ( a,b)\) can be calculated by means of an integral
Another type of mean which also has many applications is the logarithmic mean \(L (a,b)\) defined to be
The similarity of expressions (3) and (4) motivates the introduction of a parametrized set of means which depends on a positive parameter and incorporates these two means. Let \(a,b>0\) be given real numbers and \(p \in (0, \infty )\) then define \(M_{p} (a,b)\) by the integral [4]
The arithmetic-geometric mean is obtained from (5) by taking \(p=2\) and the logarithmic mean is the case \(p=1\). The constant \(c_{p}\) depends only on the single parameter p and is defined to satisfy the condition \(M_{p} (a,a)=a\). Expressed as an integral it takes the form
It is the intention here to study some of the properties of \(1/ c_{p}\) and \(M_{p} (a,b)\) [5, 6]. It will be shown that \(1/ c_{p}\) increases monotonically for all \(p \in (0, \infty )\). Some bounds for the means \(M_{p} (a,b)\) are obtained. Two additional means \(M_{0} (a,b)\) and \(M_{\infty } (a,b)\) are defined by
These two limits will be calculated in closed form. It is shown that \(M_{p} (a,b) \leq M_{\infty } (a,b)\) for all \(p \in (0, \infty )\).
In general, a binary symmetric mean \(M (a,b)\) of positive numbers a and b is a function that satisfies the following properties: (i) \(\min (a,b) \leq M (a,b) \leq \max (a,b)\); (ii) \(M (a,b) = M(b,a)\); (iii) \(M ( \lambda a, \lambda b) = \lambda M (a,b)\) for all \(\lambda >0 \); and (iv) \(M (a,b)\) is nondecreasing in a and b. It is the case that \(M_{p} (a,b)\) satisfies (ii)–(iv), and by the end it will be seen all (i)–(iv) hold [7].
To start let us establish some general bounds for \(M_{p} (a,b)\) in an elementary way.
Theorem 1
Let \(a,b >0\), then
Proof
The first inequality on the left follows from the fact that \(\min (a,b) \leq \sqrt{ \min (a,b)^{2}} \leq \sqrt{a b}\). The last inequality on the right follows from the fact that \(((a^{p} + b ^{p} )/2)^{1/p}\) is strictly increasing with p and the fact that
Since \((a^{p/2} - b^{p/2})^{2} \geq 0\), it follows that \(2 (a b)^{p/2} \leq a ^{p} + b^{p}\). Squaring this, we have further \(4 ( a b )^{p} < (a^{p} + b^{p} )^{2}\). The following inequalities follow by first adding \(x^{2p}\) and then \(a^{p} b^{p}\) to both sides of this result:
This is equivalent to the inequalities
Inverting these inequalities and then integrating with respect to x, we get
Multiply through (10) by \(c_{p}\), invert what results, and then use definition (5) of \(M_{p} (a,b)\) to obtain the result
Using \(M_{p} (z,z) =z\) for any \(z>0\), the two inner inequalities in (8) are obtained. □
2 Series representations for the reciprocal of \(M_{p} (a,b)\)
Some useful integral and series representations related to these means will be developed next. First, make the substitution \(t = ( y^{p} +1)^{-1}\) with \(dy =- p^{-1} t^{-1-1/p} (1- t)^{1/p -1} \,dt\) so \(c_{p}\) can be put in the form of the beta function integral
Returning to the integral for \(M_{p} (a,b)\), let us make the following change of variable:
In this case, the integral for \(M_{p} (a,b)\) takes the following form:
Theorem 2
The function \(1/ c_{p}\) increases monotonically for all \(p \in (0, \infty )\). Moreover, as \(p \rightarrow \infty \), this function admits the asymptotic expansion
Proof
Beginning with (12) and setting \(h (p) =1/ c _{p}\), we have
Differentiating both sides of this with respect to p, it follows that
It suffices to show the quantity in brackets is always positive. To this end, substitute the series form of \(\psi (z)\) to obtain
Since \(h (p) \rightarrow 0\) as \(p \rightarrow 0^{+}\) and \(h' (p) >0\) on \((0, \infty )\), it follows that the function \(h (p)\) is positive and strictly increasing on \((0, \infty )\). □
The reciprocal of \(M_{p} (a,b)\) can be expanded into an infinite series. This expansion will be seen to have several uses. Let us introduce the following expressions:
Theorem 3
Given \(a,b >0\) and \(p \in (0, \infty )\), the following expansion holds:
with \(0! =1\).
Proof
Both sides of (15) are equal to \(1/a\) when \(a=b\). Assume without loss of generality that \(a > b >0\). Set \(\beta = 1 - (b/a)^{p}\) so we have \(0 < \beta <1\) and
Expanding the denominator of (13) into power series gives
The series on the right-hand side of (16) converges when \(\beta \in (0,1)\), and so integration of the series term by term is justified. Substitute (16) into (13) to obtain
Expressing the beta functions in (17) in terms of the gamma function, we find that
Substituting (18) into (17), the required result (15) is obtained. □
Another expansion which is relevant to \(M_{p} (a,b)\) is given in the following theorem.
Theorem 4
Given \(a, b>0\) and \(p \in (0, \infty )\),
Proof
Completing the square, we can write
where \(\tau (x)\) is defined to be
Clearly, \(| \tau (x)| < 1\) and using (20), the following expansion holds:
Substituting expansion (21) into the integral (13) for \(M_{p} (a,b)^{-1}\), we obtain
Consider the integral apart from (22) and make use of the substitution
The integral in (22) takes the form
Finally, introduce the change of variable \(y^{p} +1 = t^{-1}\) into the integral so it takes the form
Multiply (23) by \(c_{p}\) from (12) to obtain
Substituting this integral into (22), we arrive at the desired expansion
□
3 Bounds for \(M_{p} (a,b)\)
Theorem 5
Given \(a,b >0\), the following set of inequalities holds:
Proof
It can be verified that
so the equality \(M_{0} (a,b) = \sqrt{a b}\) follows directly from Theorem 1. The inequalities on either side of \(M_{p} (a,b)\) follow from monotonicity of \(M_{p} (a,b)\) as a function of p. The last two inequalities follow easily if \(a=b\). Suppose then that \(a>b>0\). Since it has been shown that \(c_{p} \rightarrow 1/2\) as \(p \rightarrow \infty \), we conclude that
Moreover,
Therefore,
Finally, it is the case that the mean \(M_{1} (a,b)\) satisfies the inequality
Consequently, this implies the following inequality:
Collecting terms on the right and adding 2a to both sides, we get
This result implies the upper bound for \(M_{\infty } (a,b)\),
This is the final inequality on the right in (24), so we are done. □
Lemma 1
For fixed \(p >0\) and \(k \in \mathbb{N}\),
Proof
Since \((1/p)^{2} \geq 0\), it follows that
Consequently,
Dividing both sides of this by the right-hand side, (25) is obtained. □
Theorem 6
For \(a,b >0\) and all \(p \in (0, \infty )\), the following bound holds:
Proof
The proof relies on expressing series (15) given in Theorem 3 and (24) in a certain way. In fact, the reciprocal of (26) will be shown. Let \(p>0\) and define
Clearly, \(r \in (0,1)\) and this can be solved for the ratio on the right as a function of r,
From Theorem 3, the following expansion holds for any \(p \in (0, \infty )\):
Moreover, substituting (27) into (24), with \(r \in (0,1)\), expand the logarithm function in series to obtain
Therefore, it suffices to show the reciprocal of (26) holds,
This is equivalent to the inequality
If it can be shown that the coefficients in (30) are positive for each k, inequality in (30) will follow. This amounts to showing that
This implies it has to be shown that
It is clear that when \(k=1\) and 2 are put in (31) the inequality holds. Suppose (31) holds up to some value of k, so the following statement holds
Multiply both sides of (32) by \((\frac{1}{p}+k)^{2}\) and use (25) from Lemma 1 to obtain that
This is exactly (32) but with k replaced by \(k+1\). By the Principle of Mathematical Induction, (32) holds. □
This serves to generalize the result given in [4] where it was shown that \(M_{2} (a,b) \leq M_{\infty } (a,b)\).
References
Gauss, C.F.: Werke, vol. 3, Göttingen, 1866–1933
Borwein, J.M., Borwein, P.B.: Pi and the AGM. Wiley, New York (1987)
Bracken, P.: An arithmetic-geometric mean inequality. Expo. Math. 19, 273–279 (2001)
Batia, R., Li, R.-C.: An Interpolating Family of Means. UT Arlington Preprint Series, 2011-02
Carlson, B.C., Vuorinen, M.: Problem 91-17. SIAM Rev. 34, 653 (1992)
Huang, T.-R., Tan, S.-T., Ma, X.-Y., Chu, Y.-M.: Monotonicity properties and bounds for the complete p-elliptic integrals. J. Inequal. Appl. 2018, 239 (2018)
Nakamura, N.: Order relations among some interpolating families of means. Toyama Math. J. 35, 35–48 (2012)
Acknowledgements
I gratefully acknowledge the publication fee waiver from Springer.
Availability of data and materials
No other data or material was involved.
Authors’ information
The author is a full Professor at University of Texas, Edinburg, TX.
Funding
No funding source, but I gratefully acknowledge a publication fee waiver from Springer.
Author information
Authors and Affiliations
Contributions
Paper was entirely the work of the sole author P Bracken. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
No competing interests. Paper was completed as part of research component of my work.
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 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.
About this article
Cite this article
Bracken, P. Properties of a class of mean dependent on a parameter. J Inequal Appl 2019, 197 (2019). https://doi.org/10.1186/s13660-019-2144-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-019-2144-1