Abstract
In recent papers, the convexity of quasiarithmetic means was characterized under twice differentiability assumptions. One of the main goals of this paper is to show that the convexity or concavity of a quasiarithmetic mean implies the twice continuous differentiability of its generator. As a consequence of this result, we can characterize those quasiarithmetic means which admit a lower convex and upper concave quasiarithmetic envelope.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For a given \(n \in \mathbb {N}\) and an interval \(I \subset \mathbb {R}\), an n-variable mean on I is a function \(\mathscr {M}:I^n \rightarrow I\) such that
The family of all n-variable means on I will be denoted by \(\mathcal {M}_n(I)\). We will also consider the family of means of any number of arguments
For example, the n-variable arithmetic mean (from now on denoted by \(\mathscr {A}_n\)) belongs to \(\mathcal {M}_n(\mathbb {R})\) for all \(n \in \mathbb {N}\), while the general arithmetic mean \(\mathscr {A}\) (which is defined for every finite vector of reals) is an element of \(\mathcal {M}_\infty (\mathbb {R})\).
Such a definition of \(\mathcal {M}_\infty \) causes an important drawback as there is no assertions binding the value of a given mean for different number of arguments. One of the plausible solutions has been recently proposed by the authors in [12]. In more details, a mean \(\mathscr {M}\in \mathcal {M}_\infty (I)\) is called repetition invariant provided
holds for all \(n,m\in \mathbb {N}\) and \((x_1,\dots ,x_n)\in I^n\). We also adopt the standard convention that properties of means like (Jensen) convexity, symmetry, continuity, etc. refer to the respective properties of the multivariable functions \(\mathscr {M}|_{I^n}\). In this spirit, one can easily see that the arithmetic mean is continuous, affine, symmetric, etc.
Let us now proceed to the main issue of this paper. Jensen convex and Jensen concave means are two narrow families which play an important role in the investigation of inequalities involving means, especially the Ingham–Jessen property. Recall that two means \(\mathscr {M}\in \mathcal {M}_m(I)\) and \(\mathscr {N}\in \mathcal {M}_n(I)\) form an Ingham–Jessen pair if
for every matrix \(x \in I^{n\times m}\). A pair \(\mathscr {M},\mathscr {N}\in \mathcal {M}_\infty (I)\) is an Ingham–Jessen pair if their restrictions \(\mathscr {M}|_{I^n}\), \(\mathscr {N}|_{I^m}\) admit this property for all \(m,\,n \in \mathbb {N}\).
Whenever \(\mathscr {M},\,\mathscr {N}\in \mathcal {M}_\infty (I)\) are symmetric, repetition-invariant, and \((\mathscr {M},\mathscr {N})\) is an Ingham–Jessen pair, then we can derive several interesting inequalities, among others the mixed-means inequality [2, 20] and the Kedlaya inequality [6] (see also [12])
which is valid for all \(n \in \mathbb {N}\) and \(x \in I^n\); see also the recent paper [4] for more examples.
In the simplest case when one of the means is the arithmetic mean, we easily obtain:
-
(i)
\((\mathscr {M},\mathscr {A})\) is an Ingham–Jessen pair if and only if \(\mathscr {M}\) is Jensen concave;
-
(ii)
\((\mathscr {A},\mathscr {N})\) is an Ingham–Jessen pair if and only if \(\mathscr {N}\) is Jensen convex.
Let us stress that, due to the Bernstein–Doetsch theorem [1], in the family of means, Jensen convexity and Jensen concavity coincide with convexity and concavity, respectively.
Following the ideas of convex embeddings (hulls, cones, and so on), there arises a natural problem: How can we associate a convex (or concave) mean to a given one? A quite similar and comprehensive study related to the homogeneity axiom has been presented recently by the authors [15].
The rest of this paper is split into two parts – we consider convex and concave envelopes in the abstract setting (Section 2) and in the quasiarithmetic setting (Section 3).
Let us now recall several elementary facts for the family of quasiarithmetic means. This family was axiomatized in the 1930s [5, 8, 10]. For a continuous and strictly monotone function \(f :I \rightarrow \mathbb {R}\), we define the quasiarithmetic mean \(\mathscr {A}_{f} \in \mathcal {M}_\infty (I)\) by
The family of all quasiarithmetic means on I will be denoted by \(\mathcal {Q}(I)\). Obviously \(\mathcal {Q}(I) \subset \mathcal {M}_\infty (I)\). Furthermore, it was Knopp [7] who noticed that for \(I=\mathbb {R}_+\) and \(\pi _p(x):=x^p\) (\(p\ne 0\)) and \(\pi _0(x):=\ln x\), the quasiarithmetic mean \(\mathscr {A}_{\pi _p}\) coincides with the p-th power mean \(\mathscr {P}_p\).
An important subclass of this family (which contains power means) consists of the means which are generated by \(\mathcal {C}^2\) functions with a nowhere vanishing first derivative. This class of generating functions is denoted by \({\mathcal {C}}^{2\#}\) or, more frequently, \({\mathcal {C}}^{2\#}(I)\) if it is necessary to emphasize the domain. Indeed, in view of the Jensen inequality, one can easily show that for \(f,g \in {\mathcal {C}}^{2\#}\), the comparison inequality \(\mathscr {A}_{f}\le \mathscr {A}_{g}\) is equivalent to the inequality \(\tfrac{f''}{f'}\le \tfrac{g''}{g'}\) which is the comparability of two single-variable functions. For a detailed discussion concerning this relationship, we refer the reader to the paper by Mikusiński [9]. The operator \(f\mapsto \tfrac{f''}{f'}\) was used in several contexts by Pasteczka [16,17,18,19].
There are few approaches to convexity (or concavity) within this family. First, in the late 1980s, Páles [11] characterized the convexity of so-called quasideviation means (this family contains quasiarithmetic means). Later, the convexity of quasiarithmetic means was characterized by the authors [14] under the assumption that the mean is generated by a function from \({\mathcal {C}}^{2\#}\). The purpose of this paper is to prove that whenever a quasiarithmetic mean is convex (or concave), then its generator must belong to the class \({\mathcal {C}}^{2\#}\)—see Theorem 3.1 below. An extensive discussion concerning convexity and concavity in the weighted setting has been given recently by Chudziak et al. [3].
2 Abstract approach to envelopes
In this section, we prove a few preliminary results concerning convex and concave envelopes of means. Let us first introduce a formal definition of these operators.
Definition 2.1
Let \(\mathcal {S}\) be a set of real-valued functions which are defined on a convex set D of a linear space X. For a given function \(f :D \rightarrow I\), we define its \(\mathcal {S}\)-convex (resp. \(\mathcal {S}\)-concave) envelopes \({{\,\mathrm{conv}\,}}_\mathcal {S}(f):D \rightarrow [-\infty ,+\infty )\) and \({{\,\mathrm{conc}\,}}_\mathcal {S}(f) :D \rightarrow (-\infty ,+\infty ]\) by
Let us emphasize a few simple however important remarks. First, \({{\,\mathrm{conv}\,}}_\mathcal {S}(f)\) (resp. \({{\,\mathrm{conc}\,}}_\mathcal {S}(f)\)) is either finite everywhere or \({{\,\mathrm{conv}\,}}_\mathcal {S}(f)\equiv -\infty \) (resp. \({{\,\mathrm{conc}\,}}_\mathcal {S}(f)\equiv +\infty \)). Second, \({{\,\mathrm{conv}\,}}_\mathcal {S}(f)\) is a Jensen convex function (unless \({{\,\mathrm{conv}\,}}_\mathcal {S}(f) \equiv -\infty \)) and \({{\,\mathrm{conc}\,}}_\mathcal {S}(f)\) is a Jensen concave function (unless \({{\,\mathrm{conc}\,}}_\mathcal {S}(f) \equiv +\infty \)). Third, these operators are monotone functions of both f (with the pointwise ordering) and \(\mathcal {S}\) (with the inclusion ordering). Fourth, for every f and \(\mathcal {S}\) like above, the inequality \({{\,\mathrm{conv}\,}}_\mathcal {S}(f) \le f \le {{\,\mathrm{conc}\,}}_\mathcal {S}(f)\) holds. Fifth, a function \(f \in \mathcal {S}\) is Jensen convex (resp. Jensen concave) if and only if \({{\,\mathrm{conv}\,}}_\mathcal {S}(f)= f\) (resp. \({{\,\mathrm{conc}\,}}_\mathcal {S}(f)= f\)).
2.1 Envelopes in a family of means
We say that a family \(\mathcal {S}\subseteq \mathcal {M}_n(I)\) is permutation-closed if, for every \(\mathscr {M}\in \mathcal {S}\) and every permutation \(\sigma \) of \(\{1,\dots ,n\}\), the mean \(\mathscr {M}_\sigma :I^n \rightarrow I\) given by
also belongs to \(\mathcal {S}\). We say that \(\mathscr {M}:I^n\rightarrow I\) is cyclically symmetric (resp. symmetric) if \(\mathscr {M}_\sigma =\mathscr {M}\) for all cyclic permutations (resp. for all permutations) \(\sigma \) of \(\{1,\dots ,n\}\).
Theorem 2.2
Let \(\mathcal {S}\subseteq \mathcal {M}_n(I)\) with \(\mathscr {A}_n \in \mathcal {S}\). A cyclically symmetric mean \(\mathscr {M}\in \mathcal {S}\) admits a Jensen convex (resp. Jensen concave) envelope in \(\mathcal {S}\) if and only if \(\mathscr {M}\ge \mathscr {A}_n\) (resp. \(\mathscr {M}\le \mathscr {A}_n\)).
Proof
First assume that there exists a Jensen convex mean \(\mathscr {N}\in \mathcal {S}\) such that \(\mathscr {N}\le \mathscr {M}\). If we apply this inequality to all cyclic permutations of a fixed vector \(x=(x_1,\dots ,x_n)\in I^n\), we obtain
As \(\mathscr {M}\) is cyclically symmetric, the left hand side of the above inequality equals \(\mathscr {M}(x)\). On the other hand, by the Jensen convexity of \(\mathscr {N}\), we have
This implies \(\mathscr {M}(x)\ge \mathscr {A}_n(x)\). As x was taken arbitrarily, we have \(\mathscr {M}\ge \mathscr {A}_n\).
Conversely, if \(\mathscr {M}\ge \mathscr {A}_n\), then, as \(\mathscr {A}_n\) is Jensen convex (in fact, Jensen affine), we have \(\mathscr {M}\ge {{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})\ge \mathscr {A}_n\).
The proof of the second (i.e. concave) part is analogous. \(\square \)
Lemma 2.3
Let \(\mathcal {S}\subset \mathcal {M}_n(I)\) be a permutation-closed family. If \(\mathscr {M}\in \mathcal {S}\) is symmetric with respect to some permutation \(\sigma \) (that is \(\mathscr {M}_\sigma =\mathscr {M}\)), then so are \({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})\) and \({{\,\mathrm{conc}\,}}_\mathcal {S}(\mathscr {M})\).
Proof
One can easily show that \(({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_\sigma \) is Jensen convex and we have \(({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_\sigma \le \mathscr {M}_\sigma =\mathscr {M}\). This implies \(({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_\sigma \le {{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})\).
On the other hand, \(\mathscr {M}\) is symmetric with respect to the inverse permutation \(\sigma ^{-1}\) as well. Thus \(({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_{\sigma ^{-1}} \le {{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})\), which directly implies the inequality \({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}) \le ({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_\sigma \). Therefore \({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})=({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M}))_\sigma \), and \({{\,\mathrm{conv}\,}}_\mathcal {S}(\mathscr {M})\) is symmetric with respect to \(\sigma \). The proof for \({{\,\mathrm{conc}\,}}_\mathcal {S}(\mathscr {M})\) is analogous. \(\square \)
2.2 Reflected means
Let us recall the notion of reflected means from the paper [13]. Let I be an interval, \(n \in \mathbb {N}\), and \(\mathscr {M} \in \mathcal {M}_n(I)\) be a mean. We define the reflected mean of \(\mathscr {M}\) as the function \({{\widehat{\mathscr {M}}}} :(-I)^n \rightarrow (-I)\) given by
Then it is easy to check that \(\mathscr {M}\) is convex (or concave) if and only if \({{\widehat{\mathscr {M}}}}\) is concave (or convex), respectively. Moreover \(\mathscr {M}\le \mathscr {N}\) if and only if \({{\widehat{\mathscr {M}}}} \ge {{\widehat{\mathscr {N}}}}\). This notion can be extended to the means from \(\mathcal {M}_\infty (I)\) in a similar way.
For a family of means \(\mathcal {S}\), we define its reflected family by \({{\widehat{\mathcal {S}}}}:=\{{{\widehat{\mathscr {M}}}} :\mathscr {M}\in \mathcal {S}\}\). Let us emphasize that for most families of means such reflection preserves the family (but reflects the interval). For example, reflected quasiarithmetic means on I are exactly quasiarithmetic means on \(-I\). The same is valid for deviation and quasideviation means. This duality swaps Jensen concave and Jensen convex envelopes.
Lemma 2.4
Let \(\mathcal {S}\) be a family of means on I and \(\mathscr {M}\in \mathcal {S}\). Then \(\widehat{{{\,\mathrm{conc}\,}}_\mathcal {S}(\mathscr {M})}={{\,\mathrm{conv}\,}}_{{{\widehat{\mathcal {S}}}}}({{\widehat{\mathscr {M}}}})\).
Proof
Indeed, for fixed \(n \in \mathbb {N}\) and \(x \in I^n\), one has
which ends the proof. \(\square \)
3 Quasiarithmetic means
In the next result, we establish a complete characterization of the convexity of quasiarithmetic means.
Theorem 3.1
Let I be an open interval, \(f :I \rightarrow \mathbb {R}\) be a continuous, strictly monotone function. Then \(\mathscr {A}_{f}\) is convex if and only if the following two conditions are valid:
-
(1)
\(f \in {\mathcal {C}}^{2\#}(I)\);
-
(2)
either \(f''\) is nonvanishing and \(\frac{f'}{f''}\) is positive and concave, or \(f'' \equiv 0\).
Proof
The implication \((\Leftarrow )\) was already proved by the authors in [14]. It was also proved that, under the assumption that \(\mathscr {A}_{f}\) is convex, (1) implies (2). Therefore the only remaining part is to show that every convex quasiarithmetic mean is generated by a \({\mathcal {C}}^{2\#}\) function.
As \(\mathscr {A}_{f}\) is convex, by Theorem 2.2, we obtain \(\mathscr {A}_{f} \ge \mathscr {A}\). Thus, by Jensen’s inequality and the well-known identity \(\mathscr {A}_{f}=\mathscr {A}_{-f}\), one may assume without loss of generality that f is strictly increasing and convex. Then f has strictly positive one-sided derivatives \(f_+'\) and \(f_-'\) at every point of I.
Applying some general results concerning quasideviation means (cf. [11, Theorem 11]), it can be shown that \(\mathscr {A}_{f}\) is convex if and only if there exist \(a,\,b :I^2 \rightarrow \mathbb {R}\) such that
is valid for all \(x,y,u,v \in I\).
For \(x>u\) and \(y=v\), we obtain
Upon taking the limit \(x \searrow u\), it follows that
Therefore
Analogously, we obtain
which implies the double inequality
Take \(p \in I\) arbitrarily. As f is convex, we know that \(f'_-(p) \le f'_+(p)\) and f is differentiable everywhere except at countably many points. In particular, one can take \(u_p \in I\) such that f is differentiable at \(u_p\) and \(v_p:=2p-u_p \in I\). Then (3.2) with \((u,v):=(u_p,v_p)\) simplifies to
which implies \(f'_+(p) \le f'_-(p)\). Consequently, f is differentiable at p. As f is convex, we get \(f \in {\mathcal {C}}^1(I)\) with \(f'\ne 0\) (in particular, \(f'\) is positive). Then, in view of (3.2) and the similar inequality for the function b, one gets
Now condition (3.1) can be equivalently rewritten as
This implies that the two-variable continuous function \(F :I^2 \rightarrow \mathbb {R}\) given by
is convex on \(I^2\). In particular, for all fixed \(x\in I\), the mapping \(u\mapsto F_x(u):=F(x,u)\) is convex on I. Consequently, \(F_x\) is differentiable at every point of I from the left and from the right. However, as \(f \in {\mathcal {C}}^{1}(I)\), the mapping \(u \mapsto f(x)-f(u)\) is differentiable. Therefore \(f'\) is differentiable at every point of I both from the left and from the right. We will denote its one-sided derivatives by \(f''_-\) and \(f''_+\).
Let \(x\in I\) be fixed. By the convexity of \(F_x\), for all \(v \in I\), there exist a real number p(x, v) such that
Then, for all \(u,\,v \in I\),
Now assume that \(u>v\) and divide by \(u-v\) side-by-side. Then we get
By taking the limit as \(u \searrow v\), we obtain
Repeating the same argumentation for \(u<v\), we similarly obtain
The above inequalities then imply that
By taking x to be smaller and bigger than v, it follows that \(f''_+(v)=f''_-(v)\), which proves the differentiability of \(f'\) at v.
The remaining part is to show that \(f''\) is continuous. However, as \(F_x\) is convex and differentiable, we know that \(F_x'\) is continuous and the continuity of \(f''\) is straightforward. \(\square \)
Theorem 3.2
Let I be an interval, \(f \in {\mathcal {C}}^{2\#}(I)\) be a strictly increasing and convex function. Then \({{\,\mathrm{conv}\,}}_{\mathcal {Q}(I)}(\mathscr {A}_{f})=\mathscr {A}_{g}\) for some \(g \in {\mathcal {C}}^{2\#}(I)\).
Moreover either \(g''\equiv 0\) (and \(\mathscr {A}_{g}\) is the arithmetic mean) or \(g''\) is nowhere vanishing and \(\frac{g'}{g''}={{\,\mathrm{conc}\,}}_{{\mathcal {C}}(I)}\big (\frac{f'}{f''}\big )\).
Proof
Let P be the family of all strictly monotone, affine functions on I and denote
Then, by the previous theorem,
Obviously \(P \subseteq U\) as \(\mathscr {A}\le \mathscr {A}_{f}\) and the arithmetic mean is convex. Moreover, by definition,
If \(U=P\), then obviously \(\mathscr {A}_{h}=\mathscr {A}\) for all \(h \in U\) and \({{\,\mathrm{conv}\,}}_{\mathcal {Q}(I)}(\mathscr {A}_{f})=\mathscr {A}\). From now on assume that the set \(U_0:=U \setminus P\) is nonempty. Then, for every \(h \in U_0\), we have \(\mathscr {A}_{h} \ge \mathscr {A}\) and \(\mathscr {A}_{h} \ne \mathscr {A}\). In particular,
By virtue of Theorem 3.1, for all \(h \in U_0\), we have \(h \in {\mathcal {C}}^{2\#}(I)\), \(h''\) is nowhere vanishing, and \(\frac{h''}{h'}\) is positive and concave. Moreover, applying a well-known comparability criterion, we have \(\frac{h''}{h'} \le \frac{f''}{f'}\) for all \(h \in U_0\). In particular, \(\frac{f''}{f'}\) is positive on its domain.
On the other hand, it is relatively easy to verify that each function \(h:I \rightarrow \mathbb {R}\) satisfying all the properties above belongs to \(U_0\). Therefore
Now define \(m:I \rightarrow \mathbb {R}\) by \(m:={{\,\mathrm{conc}\,}}_{{\mathcal {C}}(I)}\big (\frac{f'}{f''}\big )\). By \(m\ge \frac{f'}{f''}\), we know that m is positive. Thus the 2nd-order linear ordinary differential equation \(\frac{g'}{g''}=m\) has a solution \(g \in {\mathcal {C}}^{2\#}(I)\).
Obviously \(g''\) is nowhere vanishing and \(\frac{g'}{g''}\) is positive and concave. Thus Theorem 3.1 implies that \(\mathscr {A}_{g}\) is convex.
On the other hand, by the definition of the concave envelope for every \(h \in U_0\), we have \(\frac{h'}{h''} \ge \frac{g'}{g''}\) and therefore \(\mathscr {A}_{h}\le \mathscr {A}_{g}\). Applying this inequality to all \(h \in U_0\) in view of (3.4), one gets \({{\,\mathrm{conv}\,}}_{\mathcal {Q}(I)}(\mathscr {A}_{f})\le \mathscr {A}_{g}\).
To verify the converse inequality, observe that \(\frac{g''}{g'}=\frac{1}{m}\le \frac{f''}{f'}\) which implies \(\mathscr {A}_{g}\le \mathscr {A}_{f}\). Thus \(\mathscr {A}_{g}\) is a convex minorant of \(\mathscr {A}_{f}\), equivalently \(g \in U_0\). Applying the inequality (3.4), we obtain \({{\,\mathrm{conv}\,}}_{\mathcal {Q}(I)}(\mathscr {A}_{f})\ge \mathscr {A}_{g}\). \(\square \)
Using Lemma 2.4, we can formulate the result concerning concave envelopes in a family of quasiarithmetic means.
Corollary 3.3
Let I be an interval, \(f \in {\mathcal {C}}^{2\#}(I)\) be an increasing and concave function. Then \({{\,\mathrm{conc}\,}}_{\mathcal {Q}(I)}(\mathscr {A}_{f})=\mathscr {A}_{g}\) for some \(g \in {\mathcal {C}}^{2\#}(I)\).
Moreover either \(g''\equiv 0\) (and \(\mathscr {A}_{g}\) is the arithmetic mean) or \(g''\) is nowhere vanishing and \(\frac{g'}{g''}={{\,\mathrm{conv}\,}}_{{\mathcal {C}}(I)}\big (\frac{f'}{f''}\big )\).
References
Bernstein, F., Doetsch, G.: Zur Theorie der konvexen Funktionen. Math. Ann. 76(4), 514–526 (1915)
Carlson, B.C., Meany, R.K., Nelson, S.A.: Mixed arithmetic and geometric means. Pac. J. Math. 38(2), 343–349 (1971)
Chudziak, J., Gazowska, D., Jarczyk, J., Jarczyk, W.: On weighted quasi-arithmetic means which are convex. Math. Inequal. Appl. 22(4), 1123–1136 (2019)
Chudziak, J., Páles, Z., Pasteczka, P.: From the Ingham–Jessen property to mixed-mean inequalities. arXiv:1909.13769 (2019)
de Finetti, B.: Sul concetto di media. Giorn. Ist. Ital. Attuari 2, 369–396 (1931)
Kedlaya, K.S.: Proof of a mixed arithmetic-mean, geometric-mean inequality. Am. Math. Mon. 101(4), 355–357 (1994)
Knopp, K.: Über Reihen mit positiven Gliedern. J. Lond. Math. Soc. 3, 205–211 (1928)
Kolmogorov, A.N.: Sur la notion de la moyenne. Atti Accad. Naz. Lincei. Rend. 6(12), 388–391 (1930)
Mikusiski, J.G.: Sur les moyennes de la forme \(\psi ^{-1}[\sum q\psi (x)]\). Stud. Math. 10, 90–96 (1948)
Nagumo, M.: Über eine Klasse der Mittelwerte. Japan J. Math. 7, 71–79 (1930)
Páles, Z.: General inequalities for quasideviation means. Aequationes Math. 36(1), 32–56 (1988)
Páles, Z., Pasteczka, P.: Characterization of the Hardy property of means and the best Hardy constants. Math. Inequal. Appl. 19(4), 1141–1158 (2016)
Páles, Z., Pasteczka, P.: On Kedlaya-type inequalities for weighted means. J. Inequal. Appl. 2018(1), 1–22 (2018)
Páles, Z., Pasteczka, P.: On the best Hardy constant for quasi-arithmetic means and homogeneous deviation means. Math. Inequal. Appl. 21(2), 585–599 (2018)
Páles, Z., Pasteczka, P.: On the homogenization of means. Acta Math. Hung. 159(2), 537–562 (2019)
Pasteczka, P.: When is a family of generalized means a scale? Real Anal. Exchange 38(1), 193–209 (2012/13)
Pasteczka, P.: A new estimate of the difference among quasi-arithmetic means. Math. Inequal. Appl. 18(4), 1321–1327 (2015)
Pasteczka, P.: Lower estimation of the difference between quasi-arithmetic means. Aequationes Math. 92(1), 7–24 (2018)
Pasteczka, P.: On a lattice-like property of quasi-arithmetic means. J. Math. Anal. Appl. 486(1), 123892 (2020)
Sadikova, R.K.: Comparison of discrete mixed means that contain symmetric functions. Mat. Zamet. 80(2), 262–269 (2006)
Acknowledgements
We gratefully thank the anonymouos referee for his/her detailed comments which greatly helped us to improve the presentation.
Funding
Open access funding provided by University of Debrecen.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The research of the first author was supported by the K-134191 NKFIH Grant and by the 2019-2.1.11-TÉT-2019-00049, EFOP-3.6.1-16-2016-00022, EFOP-3.6.2-16-2017-00015 projects. The last two projects are co-financed by the European Union and the European Social Fund.
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
Páles, Z., Pasteczka, P. On the Jensen convex and Jensen concave envelopes of means. Arch. Math. 116, 423–432 (2021). https://doi.org/10.1007/s00013-020-01544-2
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-020-01544-2