Journal of Applied Mathematics and Physics
Vol.06 No.12(2018), Article ID:89015,8 pages
10.4236/jamp.2018.612206
Invariance of Weighted Bajraktarević Mean with Respect to the Beckenbach-Gini means
Qian Zhang
School of Science, Southwest University of Science and Technology, Mianyang, China
Copyright © 2018 by author and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: September 10, 2018; Accepted: December 4, 2018; Published: December 7, 2018
ABSTRACT
Under some conditions on the functions and defined on I, the weighted Bajraktarević mean is given by
where . In this paper, we study the invariance of the weighted Bajraktarević mean with respect to Beckenbach-Gini means.
Keywords:
Weighted Bajraktarević Mean, Beckenbach-Gini Mean, Invariance Equation, Functional Equation
1. Introduction
Let be an open interval. A two-variable function is called a mean on the interval I if
holds. If for all , these inequalities are strict, M is called strict. Obviously, if M is a mean, then M is reflexive, i.e., for all .
A quasi-arithmetic mean, generated by the function , is defined by
for a continuous, strictly monotone function .
A more general mean is the class of the weighted quasi-arithmetic means, which is defined by
where is a continuous strictly monotone function, and the constant .
A Lagrangian mean is defined by
where is a continuous strictly monotone function.
Given the continuous functions satisfy for and is one-to-one, the Bajraktarević mean of generators and [1] is defined by
(1.1)
is a strict mean, and it is a generalization of quasi-arithmetic mean. Note that if , we have
(1.2)
where the mean is called Beckenbach-Gini mean of a generator [2] .
Quotient mean is defined by
(1.3)
where the functions and are continuous, positive, and of different type of strict monotonicity in I [3] . For , we have , where is geometric mean.
Now we define the weighted Bajraktarević mean as follows:
(1.4)
where , are continuous, positive, and of different type of strict monotonicity and is one-to-one. Note that if , . If , the weighted Bajraktarević mean becomes quotient mean, that is . Without any loss of generality, we can assume that is strictly increasing and is strictly decreasing.
Let be means. A mean is called invariant with respect to the mean-type mappings , shortly, -invariant [4] , if
The simplest example when the invariance equation holds is the well-known identity
where denote the arithmetic, harmonic and geometric means, respectively.
The invariance of the arithmetic mean with respect to various quasi-arithmetic means has been extensively investigated. Firstly we came upon the work of Sutô [5] [6] presented in 1914, in which he gave analytic solutions for the invariance equation
(1.5)
Then Matkowski solved the above equation under assumptions that and are twice continuously differentiable [4] . These regularity assumptions were weaken step-by-step by Daróczy, Maksa and Páles in [7] [8] . Finally, without any regularity assumptions, the problem was solved by Daróczy and Páles in [9] .
Also, the form of Equation (1.5) was generalized by many authors. Concretely, Burai considered the invariance of the arithmetic mean with respect to weighted quasi-arithmetic means in [10] . Daróczy, Hajdu, Jarczyk and Matkowski studied the invariance equation involving three weighted quasi-arithmetic means [11] [12] [13] . Matkowski solved the invariance equation involving the arithmetic mean in class of Lagrangian mean-type mappings [14] . In [15] , Makó and Páles investigated the invariance of the arithmetic mean with respect to generalized quasi-arithmetic means. The invariance of the geometric mean in class of Lagrangian mean-type mappings has been studied by Głazowska and Matkowski in [16] . All pairs of Stolarsky’s means for which the geometric mean is invariant were determined in [17] . Zhang and Xu considered the invariance of the geometric mean with respect to generalized quasi-arithmetic means in [18] and some invariance of the quotient mean with respect to Makó-Páles means in [19] . Recently, Jarczyk provided a review on the invariance of means [20] .
Matkowski studied the invariance of the quotient mean with respect to weighted quasi-arithmetic mean type mapping [3] . He also studied the invariance of the Bajraktarević means with respect to quasi-arthmetic means in [21] and the invariance of the Bajraktarević means with respect to the Beckenbach-Gini means in [22] . Motivated by the above mentioned works, in this paper, we study the invariance of the weighted Bajraktarević mean with respect to the Beckenbach-Gini means, i.e., solve the functional equation
(1.6)
where , are continuous functions and is strictly increasing, is strictly decreasing.
2. Main Result
Lemma 1. Let be an interval. Suppose that the function is differentiable, then we have
(2.1)
If the function is twice differentiable, then we have
(2.2)
Proof. By the definition of , we have
then let , we can get that .
Also we have
letting , we can get (2.2).
Lemma 2. Let be an interval and . Suppose that the functions is differentiable, strictly increasing, strictly decreasing and is one-to-one. If is invariant with respect to the mean-type mapping i.e., the Equation (1.6) holds, then there exists a positive number c such that
(2.3)
Proof. By the definition of the mean and (1.6) we have
whence, for all
(2.4)
Differentiating the above equation with respect to x, we get that
Then, letting , since and Lemma 1 we obtain
(2.5)
that is,
(2.6)
Thus we can get that (2.3) holds.
Theorem 1. Let be an interval and . Suppose that the functions is twice differentiable, strictly increasing, strictly decreasing and is one-to-one. Then if the weighted Bajraktarević mean is invariant with respect to the mean-type mapping , that is (1.6) holds, then there exist , such that
where .
Proof. Assume that is invariant with respect to the mean-type mapping . Then the equality (2.4) is satisfied. Differentiating two times (2.4) with respect to x, we get
Letting and dividing , since Lemma 1, we get that
(2.7)
From Formula (2.5), after simple calculations, we have
Substituting them into Equation (2.7), we get that
that is
Solving this equation we obtain, for some
(2.8)
Since Lemma 2, we can get that where and .
Corollary 1. Let be an interval and . Suppose that the functions is twice differentiable, strictly increasing, strictly decreasing and is one-to-one. Then the following conditions are equivalent:
1) is invariant with respect to the mean-type mapping , i.e.,
2) there exist , such that
3) there exist such that
for all .
Remark 1. For the case , since (2.5) and is strictly increasing, is strictly decreasing, we have . Then the Equation (2.7) becomes
(2.9)
Then assuming are three times differentiable, we can find the result for this case in [21] .
Supporting
Funded by Longshan academic talent research supporting program of SWUST (17LZXY12) and Doctoral fund of SWUST (18zx7166, 15zx7142).
Conflicts of Interest
The author declares no conflicts of interest regarding the publication of this paper.
Cite this paper
Zhang, Q. (2018) Invariance of Weighted Bajraktarević Mean with Respect to the Beckenbach-Gini means. Journal of Applied Mathematics and Physics, 6, 2453-2460. https://doi.org/10.4236/jamp.2018.612206
References
- 1. Bajraktarevic, M. (1958) Sur uneéquationfonctionelle aux valeursmoyennes. 13, 243-248.
- 2. Bullen, P.S., Mitrinovic, D.S. and Vasic, P.M. (1988) Means and Their Inequalities, Mathematics and Its Applications, D. Reidel Publishing Company, Dordrecht, Boston, Lancaster, Tokyo.
- 3. Matkowski, J. (2011) Quotient Mean, Its Invariance with Respect to a Quasi-Arithmetic Mean-Type Mapping, and Some Applications. Aequationes Mathematicae, 82, 247-253. https://doi.org/10.1007/s00010-011-0088-8
- 4. Matkowski, J. (1999) Invariant and Complementary Quasi-Arithmetic Means. Aequationes Mathematicae, 57, 87-107. https://doi.org/10.1007/s000100050072
- 5. Sutô, O. (1914) Studies on Some Functional Equations I. Tohoku Mathematical Journal, 6, 1-15.
- 6. Sutô, O. (1914) Studies on some Functional Equations II. Tohoku Mathematical Journal, 6, 82-101.
- 7. Daróczy, Z., Maksa, G. and Páles, Z. (2000) Extension Theorems for the Matkowski-Sutô Problem. Demonstratio Mathematica, 33, 547-556. https://doi.org/10.1515/dema-2000-0311
- 8. Daróczy, Z. and Páles, Z. (2001) On Means That Are Both Quasi-Arithmetic and Conjugate Arithmetic. Acta Mathematica Hungarica, 90, 271-282. https://doi.org/10.1023/A:1010641702978
- 9. Daróczy, Z. and Páles, Z. (2002) Gauss-Composition of Means and the Solution of the Matkowski-Sutô Problem. Publicationes Mathematicae, 61, 157-218.
- 10. Burai, P. (2007) A Matkowski-Sutô Type Equation. Publicationes Mathematicae, 70, 233-247.
- 11. Daróczy, Z. and Hajdu, G. (2005) On Linear Combinations of Weighted Quasi-Arithmetic Means. Aequationes Mathematicae, 69, 58-67. https://doi.org/10.1007/s00010-004-2746-6
- 12. Jarczyk, J. (2007) Invariance of Weighted Quasi-Arithmetic Means with Continuous Generators. Publicationes Mathematicae, 71, 279-294.
- 13. Jarczyk, J. and Matkowski, J. (2006) Invariance in the Class of Weighted Quasi-Arithmetic Means. Annales Polonici Mathematici, 88, 39-51. https://doi.org/10.4064/ap88-1-3
- 14. Matkowski, J. (2005) Lagrangian Mean-Type Mappings for Which the Arithmetic mean Is Invariant. Journal of Mathematical Analysis and Applications, 309, 15-24. https://doi.org/10.1016/j.jmaa.2004.10.033
- 15. Makó, Z. and Páles, Z. (2009) The Invariance of the Arithmetic Mean with Respect to Generalized Quasi-Arithmetic Means. Journal of Mathematical Analysis and Applications, 353, 8-23. https://doi.org/10.1016/j.jmaa.2008.11.071
- 16. GLazowska, D. and Matkowski, J. (2007) An Invariance of the Geometric Mean with Respect to Lagrangian Means. Journal of Mathematical Analysis and Applications, 331, 1187-1199. https://doi.org/10.1016/j.jmaa.2006.09.005
- 17. BLasińska-Lesk, J., GLazowska, D. and Matkowski, J. (2003) An Invariance of the Geometric Mean with Respect to Stolarsky Mean-Type Mappings. Results in Mathematics, 43, 42-55. https://doi.org/10.1007/BF03322720
- 18. Zhang, Q. and Xu, B. (2011) An Invariance of Geometric Mean with Respect to Generalized Quasi-Arithemtic Means. Journal of Mathematical Analysis and Applications, 379, 65-74. https://doi.org/10.1016/j.jmaa.2010.12.025
- 19. Zhang, Q. and Xu, B. (2017) On Some Invariance of the Quotient Mean with Respect to Makó-Páles Means. Aequationes Mathematicae, 91, 1147-1156. https://doi.org/10.1007/s00010-017-0502-y
- 20. Jarczyk, J. and Jarczyk, W. (2018) Invariance of Means. Aequationes Mathematicae, 92, 801-872. https://doi.org/10.1007/s00010-018-0564-5
- 21. Matkowski, J. (2012) Invariance of Bajraktarevic Mean with Respect to Quasi-Arithmetic Means. Publicationes Mathematicae Debrecen, 80, 441-455. https://doi.org/10.5486/PMD.2012.5151
- 22. Matkowski, J. (2013) Invariance of the Bajraktarevic Means with Respect to the Beckenbach-Gini Means. Mathematica Slovaca, 63, 493-502. https://doi.org/10.2478/s12175-013-0111-8