Abstract
In this paper, we discuss the Schur convexity, Schur geometric convexity and Schur harmonic convexity of the generalized geometric Bonferroni mean. Some inequalities related to the generalized geometric Bonferroni mean are established to illustrate the applications of the obtained results.
Similar content being viewed by others
1 Introduction
The Schur convexity of functions relating to special means is a very significant research subject and has attracted the interest of many mathematicians. There are numerous articles written on this topic in recent years; see [1, 2] and the references therein. As supplements to the Schur convexity of functions, the Schur geometrically convex functions and Schur harmonically convex functions were investigated by Zhang and Yang [3], Chu, Zhang and Wang [4], Chu and Xia [5], Chu, Wang and Zhang [6], Shi and Zhang [7, 8], Meng, Chu and Tang [9], Zheng, Zhang and Zhang [10]. These properties of functions have been found to be useful in discovering and proving the inequalities for special means (see [11–14]).
Recently, it has come to our attention that a type of means which is symmetrical on n variables \(x_{1}, x_{2}, \ldots , x_{n}\) and involves two parameters, it was initially proposed by Bonferroni [15], as follows:
where \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(x_{i}\geq 0\), \(i=1,2,\ldots,n\), \(p,q \geq 0\) and \(p+q\neq 0\).
\(B^{p,q}(\boldsymbol {x})\) is called the Bonferroni mean. It has important application in multi criteria decision-making (see [16–21]).
Beliakov, James and Mordelová et al. [22] generalized the Bonferroni mean by introducing three parameters p, q, r, i.e.,
where \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(x_{i}\geq 0\), \(i=1,2,\ldots,n\), \(p,q,r \geq 0\) and \(p+q+r \neq 0\).
Motivated by the Bonferroni mean \(B^{p,q}(\boldsymbol {x})\) and the geometric mean \(G(\boldsymbol {x})=\prod^{n}_{i=1}(x_{i})^{\frac{1}{n}}\), Xia, Xu and Zhu [23] introduced a new mean which is called the geometric Bonferroni mean, as follows:
where \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(x_{i} > 0\), \(i=1,2,\ldots,n\), \(p,q \geq 0\) and \(p+q\neq 0\).
An extension of the geometric Bonferroni mean was given by Park and Kim in [19], which is called the generalized geometric Bonferroni mean, i.e.,
where \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(x_{i}> 0\), \(i=1,2,\ldots,n\), \(p,q,r \geq 0\) and \(p+q+r \neq 0\).
Remark 1
For \(r=0\), it is easy to observe that
Remark 2
If \(q = 0\), \(r=0\), then the generalized geometric Bonferroni mean reduces to the geometric mean, i.e.,
Remark 3
If \(\boldsymbol {x}=(x,x,\ldots,x)\), then
For convenience, throughout the paper \(\mathbb{R}\) denotes the set of real numbers, \(\boldsymbol {x} = (x_{1}, x_{2}, \ldots,x_{n} )\) denotes n-tuple (n-dimensional real vectors), the set of vectors can be written as
In a recent paper [24], Shi and Wu investigated the Schur m-power convexity of the geometric Bonferroni mean \(\operatorname {GB}^{p,q}(\boldsymbol {x})\). The definition of Schur m-power convex function is as follows:
Let \(f:\mathbb{R}_{++}\to \mathbb{R}\) be a function defined by
Then a function \(\varphi :\Omega \subset \mathbb{R}_{++}^{n}\to \mathbb{R}\) is said to be Schur m-power convex on Ω if
for all \((x_{1},x_{2},\ldots,x_{n})\in \Omega \) and \((y_{1},y_{2},\ldots,y_{n})\in \Omega \) implies \(\phi (x)\le \phi (y)\).
If −φ is Schur m-power convex, then we say that φ is Schur m-power concave.
Shi and Wu [24] obtained the following result.
Proposition 1
For fixed positive real numbers p, q, (i) if \(m<0 \) or \(m=0 \), then \(\operatorname {GB}^{p,q}(\boldsymbol {x})\) is Schur m-power convex on \(\mathbb{R}^{n}_{++}\); (ii) if \(m=1 \) or \(m\geq 2 \), then \(\operatorname {GB}^{p,q}(\boldsymbol {x})\) is Schur m-power concave on \(\mathbb{R}^{n}_{++}\).
In this paper we discuss the Schur convexity, Schur geometric convexity and Schur harmonic convexity of the generalized geometric Bonferroni mean \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\). Our main results are as follows.
Theorem 1
For fixed non-negative real numbers p, q, r with \(p+q+r \neq 0\), if \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(n\geq 3 \), then \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur concave, Schur geometric convex and Schur harmonic convex on \(\mathbb{R}^{n}_{++}\).
Corollary 1
For fixed non-negative real numbers p, q with \(p+q\neq 0\), if \(\boldsymbol {x}=(x_{1},x_{2},\ldots,x_{n})\), \(n\geq 3 \), then \(\operatorname {GB}^{p,q}(\boldsymbol {x})\) is Schur concave, Schur geometric convex and Schur harmonic convex on \(\mathbb{R}^{n}_{++}\).
2 Preliminaries
We introduce some definitions, lemmas and propositions, which will be used in the proofs of the main results in subsequent sections.
Definition 1
(see [1])
Let \(\boldsymbol {x} = ( x_{1},x_{2},\ldots, x_{n })\) and \(\boldsymbol {y} = ( y_{1},y_{2},\ldots, y_{n }) \in \mathbb{R}^{n}\).
-
(i)
x is said to be majorized by y (in symbols \(\boldsymbol {x} \prec \boldsymbol {y}\)) if \(\sum_{i = 1}^{k} x_{[i]} \le \sum_{i = 1} ^{k} y_{[i]}\) for \(k = 1,2,\ldots,n - 1\) and \(\sum_{i = 1}^{n} x_{i} = \sum_{i = 1}^{n} y_{i}\), where \(x_{[1]}\ge x_{[2]}\ge \cdots \ge x _{[n]}\) and \(y_{[1]}\ge y_{[2]}\ge \cdots \ge y_{[n]}\) are rearrangements of x and y in a descending order.
-
(ii)
Let \(\Omega \subset \mathbb{R}^{n}\),the function φ: \(\Omega \to \mathbb{R}\) is said to be Schur convex on Ω if \(\boldsymbol {x} \prec \boldsymbol {y}\) on Ω implies \(\varphi ( \boldsymbol {x} ) \le \varphi ( \boldsymbol {y} ) \). φ is said to be Schur concave function on Ω if and only if −φ is Schur convex function on Ω.
Definition 2
(see [1])
Let \(\boldsymbol {x} = ( x_{1},x_{2},\ldots, x_{n })\) and \(\boldsymbol {y} = ( y_{1},y_{2},\ldots, y_{n }) \in \mathbb{R}^{n}\). \(\Omega \subset \mathbb{R}^{n}\) is said to be a convex set if \(\boldsymbol {x},\boldsymbol {y}\in \Omega \) and \(0\leq \alpha \leq 1\) imply
Definition 3
(see [1])
(i) A set \(\Omega \subset \mathbb{R}^{n}\) is called symmetric, if \(\boldsymbol {x}\in \Omega \) implies \(\boldsymbol {x}P \in \Omega \) for every \(n\times n\) permutation matrix P.
(ii) A function \(\varphi : \Omega \to \mathbb{R}\) is called symmetric if for every permutation matrix P and \(\varphi (\boldsymbol {x}P) = \varphi (\boldsymbol {x})\) for all \(\boldsymbol {x} \in \Omega \).
The following proposition is called Schur’s condition. It provides an approach for testing whether a vector valued function is Schur convex or not.
Proposition 2
(see [1])
Let \(\Omega \subset \mathbb{R} ^{n} \) be symmetric and have a nonempty interior convex set. \(\Omega^{0}\) is the interior of Ω. \(\varphi :\Omega \to \mathbb{R} \) is continuous on Ω and differentiable in \(\Omega^{0}\). Then φ is the Schur convex function (Schur concave function) if and only if φ is symmetric on Ω and
holds for any \(\boldsymbol {x} \in \Omega^{0} \).
Definition 4
(see [25])
Let \(\boldsymbol {x} = ( x_{1}, x_{2},\ldots, x_{n })\) and \(\boldsymbol {y} = ( y_{1},y _{2},\ldots, y_{n }) \in \mathbb{R}_{+}^{n}\).
-
(i)
\(\Omega \subset \mathbb{R}_{+} ^{n}\) is called a geometrically convex set if \((x_{1}^{\alpha }y_{1}^{\beta }, x_{2} ^{\alpha }y_{2}^{\beta },\ldots,x_{n}^{\alpha }y_{n}^{\beta }) \in \Omega \) for all x, \(\boldsymbol {y} \in \Omega \) and α, \(\beta \in [0, 1]\) such that \(\alpha +\beta =1\).
-
(ii)
Let \(\Omega \subset \mathbb{R}_{+} ^{n}\). The function φ: \(\Omega \to \mathbb{R}_{+}\) is said to be Schur geometrically convex function on Ω if \(( \log x_{1},\log x _{2},\ldots, \log x_{n }) \prec ( \log y_{1}, \log y_{2},\ldots, \log y_{n})\) on Ω implies \(\varphi ( \boldsymbol {x} ) \le \varphi ( \boldsymbol {y} ) \). The function φ is said to be a Schur geometrically concave function on Ω if and only if −φ is Schur geometrically convex function.
Proposition 3
(see [25])
Let \(\Omega \subset \mathbb{R}_{+} ^{n} \) be a symmetric and geometrically convex set with a nonempty interior \(\Omega^{0}\). Let \(\varphi :\Omega \to \mathbb{R}_{+}\) be continuous on Ω and differentiable in \(\Omega^{0}\). If φ is symmetric on Ω and
holds for any \(\boldsymbol {x}\in \Omega^{0} \), then φ is a Schur geometrically convex (Schur geometrically concave) function.
Definition 5
(see [26])
Let \(\Omega \subset \mathbb{R}_{+}^{n}\).
-
(i)
A set Ω is said to be harmonically convex if \(\frac{\boldsymbol{xy}}{\lambda {\boldsymbol{x}}+(1-\lambda ){\boldsymbol{y}}} \in \Omega \) for every \({\boldsymbol{x},\boldsymbol{y}}\in \Omega \) and \(\lambda \in [0,1]\), where \(\boldsymbol{xy}=(x_{1}y_{1},x_{2}y_{2},\ldots, x_{n}y_{n})\) and
$$\frac{1}{\boldsymbol{\lambda x+(1-\lambda )y}} = \biggl( \frac{1}{\lambda x_{1}+(1-\lambda )y_{1}}, \frac{1}{\lambda x_{2}+(1- \lambda )y_{2}},\ldots, \frac{1}{\lambda x_{n}+(1-\lambda )y_{n}} \biggr). $$ -
(ii)
A function \(\varphi :\Omega \to \mathbb{R}_{+}\) is said to be Schur harmonically convex on Ω if \(\frac{1}{\boldsymbol{x}} \prec \frac{1}{\boldsymbol{y}}\) implies \(\varphi ({\boldsymbol{x}}) \le \varphi ({\boldsymbol{y}})\). A function φ is said to be a Schur harmonically concave function on Ω if and only if −φ is a Schur harmonically convex function.
Proposition 4
(see [26])
Let \(\Omega \subset \mathbb{R}_{+}^{n}\) be a symmetric and harmonically convex set with inner points, and let \(\varphi :\Omega \to \mathbb{R}_{+}\) be a continuously symmetric function which is differentiable on \(\Omega^{0}\). Then φ is Schur harmonically convex (Schur harmonically concave) on Ω if and only if
holds for any \(\boldsymbol {x} \in \Omega^{0} \).
Remark 4
Propositions 3 and 4 provide analogous Schur’s conditions for determining Schur geometrically convex functions and Schur harmonically convex functions, respectively.
Lemma 1
(see [1])
Let \(\boldsymbol {x}=( x_{1}, x_{2},\ldots, x_{n} )\in \mathbb{R}^{n}_{+} \) and \(A_{n}(\boldsymbol {x})= \frac{1}{n}\sum_{i=1}^{n}x_{i}\). Then
Lemma 2
(see [1])
If \(x_{i}>0\), \(i=1,2,\ldots,n\), then, for any non-negative constant c satisfying \(0\leq c<\frac{1}{n}\sum_{i=1}^{n}x_{i}\), one has
3 Proof of main result
Proof of Theorem 1
Note that the generalized geometric Bonferroni mean is defined by
taking the natural logarithm gives
where
Differentiating \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) with respect to \(x_{1}\) and \(x_{2}\), respectively, we have
It is easy to see that \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is symmetric on \(\mathbb{R}^{n}_{++}\). For \(n\geq 3 \), we have
This implies that \(\Delta_{1}\leq 0\) for \(\boldsymbol {x}\in \mathbb{R}^{n} _{++}\) (\(n\geq 3\)). By Proposition 2, we conclude that \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur concave on \(\mathbb{R}^{n}_{++}\).
In view of the discrimination criterion of Schur geometrically convexity, we start with the following calculations:
Thus, we have \(\Delta_{2} \geq 0\) for \(\boldsymbol {x}\in \mathbb{R}^{n}_{++} \) (\(n\geq 3\)). It follows from Proposition 3 that \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur geometric convex on \(\mathbb{R}^{n}_{++}\).
Finally, we discuss the Schur harmonic convexity of \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\). A direct computation gives
Hence, we obtain \(\Delta_{3}\geq 0\) for \(\boldsymbol {x}\in \mathbb{R}^{n} _{++}\) (\(n\geq 3\)). Using Proposition 4 leads to the assertion that \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur harmonic convex on \(\mathbb{R}^{n}_{++}\).
The proof of Theorem 1 is completed. □
Remark 5
As a direct consequence of Theorem 1, taking \(r=0\) in Theorem 1 together with the identity \(\operatorname {GB}^{p,q,0}(\boldsymbol {x})=\operatorname {GB}^{p,q}(\boldsymbol {x})\), we arrive at the assertion of Corollary 1.
4 Applications
As an application of Theorem 1, we establish the following interesting inequalities for generalized geometric Bonferroni mean.
Theorem 2
Let p, q, r be non-negative real numbers with \(p+q+r \neq 0\). Then, for arbitrary \(\boldsymbol {x}\in \mathbb{R}^{n}_{++}\) (\(n\geq 3 \)),
Proof
It follows from Theorem 1 that \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur concave on \(\mathbb{R}^{n}_{++}\).
Using Lemma 1, one has
Thus, we deduce from Definition 1 that
which implies that
Theorem 2 is proved. □
Theorem 3
Let p, q, r be non-negative real numbers with \(p+q+r \neq 0\), and let c be a constant satisfying \(0\leq c< A_{n}(\boldsymbol {x})\), \((\boldsymbol {x}-c)=(x_{1}-c,x_{2}-c,\ldots,x_{n}-c)\). Then, for arbitrary \(\boldsymbol {x}\in \mathbb{R}^{n}_{++}\) (\(n\geq 3\)),
Proof
By the majorization relationship given in Lemma 2,
it follows from Theorem 1 that
that is,
which implies that
This completes the proof of Theorem 3. □
5 Conclusion
This paper is a follow-up study of our recent work [24], we generalize the geometric Bonferroni mean by introducing three non-negative parameters p, q, r, under the condition of \(p+q+r\neq 0\), we prove that the generalized geometric Bonferroni mean \(\operatorname {GB}^{p,q,r}(\boldsymbol {x})\) is Schur concave, Schur geometric convex and Schur harmonic convex on \(\mathbb{R}^{n}_{++}\). As an application of the Schur convexity, we establish two inequalities for generalized geometric Bonferroni mean. In fact, there have been a large number inequalities for means which originate from the Schur convexity of functions. For details, we refer the interested reader to [27–32] and the references therein.
References
Marshall, AW, Olkin, I, Arnold, BC: Inequalities: Theory of Majorization and Its Application, 2nd edn. Springer, New York (2011)
Shi, HN: Theory of Majorization and Analytic Inequalities. Harbin Institute of Technology Press, Harbin (2012) (in Chinese)
Zhang, XM, Yang, ZH: Differential criterion of n-dimensional geometrically convex functions. J. Appl. Anal. 13(2), 197-208 (2007)
Chu, Y, Zhang, XM, Wang, GD: The Schur geometrical convexity of the extended mean values. J. Convex Anal. 15(4), 707-718 (2008)
Chu, YM, Xia, WF: Necessary and sufficient conditions for the Schur harmonic convexity of the generalized Muirhead mean. Proc. A. Razmadze Math. Inst. 152, 19-27 (2010)
Chu, YM, Wang, GD, Zhang, XH: The Schur multiplicative and harmonic convexities of the complete symmetric function. Math. Nachr. 284(5-6), 653-663 (2011)
Shi, HN, Zhang, J: Some new judgement theorems of Schur geometric and Schur harmonic convexities for a class of symmetric functions. J. Inequal. Appl. 2013, Article ID 527 (2013)
Shi, HN, Zhang, J: Schur-convexity, Schur geometric and Schur harmonic convexities of dual form of a class symmetric functions. J. Math. Inequal. 8(2), 349-358 (2014)
Meng, JX, Chu, YM, Tang, XM: The Schur-harmonic-convexity of dual form of the Hamy symmetric function. Mat. Vesn. 62(1), 37-46 (2010)
Zheng, NG, Zhang, ZH, Zhang, XM: Schur-convexity of two types of one-parameter mean values in n variables. J. Inequal. Appl. 2007, Article ID 78175 (2007)
Wu, SH, Shi, HN: A relation of weak majorization and its applications to certain inequalities for means. Math. Slovaca 61(4), 561-570 (2011)
Wu, SH: Generalization and sharpness of power means inequality and their applications. J. Math. Anal. Appl. 312, 637-652 (2005)
Shi, HN, Wu, SH, Qi, F: An alternative note on the Schur-convexity of the extended mean values. Math. Inequal. Appl. 9, 219-224 (2006)
Fu, LL, Xi, BY, Srivastava, HM: Schur-convexity of the generalized Heronian means involving two positive numbers. Taiwan. J. Math. 15(6), 2721-2731 (2011)
Bonferroni, C: Sulle medie multiple di potenze. Boll. UMI 5(3-4), 267-270 (1950)
Yager, R: On generalized Bonferroni mean operators for multi-criteria aggregation. Int. J. Approx. Reason. 50, 1279-1286 (2009)
Park, JH, Park, EJ: Generalized fuzzy Bonferroni harmonic mean operators and their applications in group decision making. J. Appl. Math. 2013, Article ID 604029 (2013)
Xia, M, Xu, Z, Zhu, B: Generalized intuitionistic fuzzy Bonferroni means. Int. J. Intell. Syst. 27(1), 23-47 (2012)
Park, JH, Kim, JY: Intuitionistic fuzzy optimized weighted geometric Bonferroni means and their applications in group decision making. Fundam. Inform. 144(3-4), 363-381 (2016)
Beliakov, G, James, S, Mordelová, J, Rückschlossová, T, Yager, RR: Generalized Bonferroni mean operators in multicriteria aggregation. Fuzzy Sets Syst. 161(17), 2227-2242 (2010)
Xu, Z, Yager, RR: Intuitionistic fuzzy Bonferroni means. IEEE Trans. Syst. Man Cybern. B 41(2), 568-578 (2011)
Beliakov, G, James, S, Mordelová, J, Rückschlossová, T, Yager, RR: Generalized Bonferroni mean operators in multi-criteria aggregation. Fuzzy Sets Syst. 161(17), 2227-2242 (2010)
Xia, M, Xu, Z, Zhu, B: Generalized intuitionistic fuzzy Bonferroni means. Int. J. Intell. Syst. 27(1), 23-47 (2012)
Shi, HN, Wu, SH: Schur m-power convexity of geometric Bonferroni mean. Ital. J. Pure Appl. Math. 38, 769-776 (2017)
Shi, HN, Zhang, J, Ma, QH: Schur-convexity, Schur-geometric and Schur-harmonic convexity for a composite function of complete symmetric function. SpringerPlus 2016(5), Article ID 296 (2016)
Chu, Y, Lv, Y: The Schur harmonic convexity of the Hamy symmetric function and its applications. J. Inequal. Appl. 2009, Article ID 838529 (2009)
Qi, F: A note on Schur-convexity of extended mean values. Rocky Mt. J. Math. 35(5), 1787-1793 (2005)
Qi, F, Sándor, J, Dragomir, SS, Sofo, A: Notes on the Schur-convexity of the extended mean values. Taiwan. J. Math. 9(3), 411-420 (2005)
Sun, J, Sun, ZL, Xi, BY, Qi, F: Schur-geometric and Schur-harmonic convexity of an integral mean for convex functions. Turk. J. Anal. Number Theory 3(3), 87-89 (2015)
Wu, Y, Qi, F: Schur-harmonic convexity for differences of some means. Analysis 32(4), 263-270 (2012)
Yang, ZH: Schur power convexity of Stolarsky means. Publ. Math. (Debr.) 80(1-2), 43-66 (2012)
Yang, ZH: Schur power convexity of the Daróczy means. Math. Inequal. Appl. 16(3), 751-762 (2013)
Acknowledgements
This research was supported partially by the National Natural Sciences Foundation of China (11601214, 11526107) and the Natural Science Foundation of Fujian Province of China (2016J01023). The authors would like to express sincere appreciation to the anonymous reviewers for their helpful comments and suggestions.
Author information
Authors and Affiliations
Contributions
All authors contributed equally and significantly in this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Shi, HN., Wu, SH. Schur convexity of the generalized geometric Bonferroni mean and the relevant inequalities. J Inequal Appl 2018, 8 (2018). https://doi.org/10.1186/s13660-017-1605-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-017-1605-7