Abstract
For a given p-variable mean \(M :I^p \rightarrow I\) (I is a subinterval of \({\mathbb {R}}\)), following (Horwitz in J Math Anal Appl 270(2):499–518, 2002) and (Lawson and Lim in Colloq Math 113(2):191–221, 2008), we can define (under certain assumptions) its \((p+1)\)-variable \(\beta \)-invariant extension as the unique solution \(K :I^{p+1} \rightarrow I\) of the functional equation
in the family of means. Applying this procedure iteratively we can obtain a mean which is defined for vectors of arbitrary lengths starting from the bivariate one. The aim of this paper is to study the properties of such extensions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The problem of the multi-variable generalization of bivariate means is very natural. Regrettably, such extensions remain unknown for many families of means. For example, in the family of generalized logarithmic means \({{\mathcal {E}}}_s :{\mathbb {R}}_+^2 \rightarrow {\mathbb {R}}_+\) (\(s \in {\mathbb {R}}{\setminus }\{-1,0\}\)) defined as
Stolarsky means, the Heronian mean, several means related to the Pythagorean one, etc. (see for example [8] for their definitions).
The purpose of this note is to provide a broad approach to this problem. Namely, we extend some ideas of Aumann [1, 2], Horwitz [21] and Lawson and Lim [26] to generalize bivariate means to the multivariable setting. More precisely, for a given k-variable symmetric, continuous, and strict mean on an interval, we can apply the so-called barycentric operator to generate the \((k+1)\)-variable mean on the same interval. Then we use this procedure iteratively in order to get the desired extension.
At the very beginning, let us introduce the family of Gini means, which will be very helpful in illustrating the problem. Namely, in 1938, Gini [17] introduced the generalization of power means. For \(r,s\in {\mathbb {R}}\), the Gini mean \({\mathscr {G}}_{r,s}\) of positive variables \(x_1,\dots ,x_n\) (\(n \in {\mathbb {N}}\)) is defined as follows:
Clearly, in the particular case \(s=0\), the mean \({\mathscr {G}}_{r,0}\) becomes the rth Power mean \({\mathscr {P}}_r\). It is also obvious that \({\mathscr {G}}_{s,r}={\mathscr {G}}_{r,s}\).
It can be easily shown that for all \(r \in {\mathbb {R}}\) and \(x,y \in {\mathbb {R}}_+\) we have \({\mathscr {G}}_{r,-r}(x,y)=\sqrt{xy}\). This equality, however, fails to be valid for more than two arguments. Thus (a priori) it could happen that two different means coincide in the bivariate setting. As a consequence, we cannot recover the multi-variable mean based only on its two-variable restriction.
On the other hand, if \(f:I \rightarrow {\mathbb {R}}\) (I is an interval) is a continuous, strictly monotone function and \(M=A^{[f]}:\bigcup _{n=1}^\infty I^n \rightarrow I\) is a quasiarithmetic mean (see Sect. 5.1 a for definition) then it solves the functional equation
Moreover, one can show that \(M=A^{[f]}\) is the only mean which solves this equation and such that \(M(x_1,x_2)=A^{[f]}(x_1,x_2)\) for all \(x_1,x_2 \in I\). As a consequence, we can utilize (1.1) to calculate the value of a quasiarithmetic mean for a vector of arbitrary length based only on its bivariate restriction. The aim of this paper is to generalize the procedure above, to extend other bivariate means to vectors of arbitrary length.
1.1 General framework
Formally, a mean of order k, or k-mean for short, on a set X is a function \(\mu :X^k \rightarrow X\) satisfying \(\mu (x, \dots , x) = x\) for all \(x \in X\). In the twentieth century, the theory of topological means, that is, symmetric means on topological spaces for which the mean operation is continuous, was of great interest. This work was pioneered by Aumann [1], who showed, among other things, that no sphere admits such a mean [2].
Now we proceed to the notion of \(\beta \)-invariant extension introduced by Horwitz [21]. Given a set X and a k-mean \(\mu :X^k\rightarrow X\), the barycentric operator \(\beta =\beta _\mu :X^{k+1}\rightarrow X^{k+1}\) is defined by
where \(x^{\vee j}\) is a vector which is obtained by removing the j-th coordinate in the vector x, that is \(x^{\vee j}=(x_i)_{i\ne j}\). For a topological k-mean, we say that the barycentric map \(\beta \) is power convergent if for each \(x \in X^{k+1}\), we have \(\lim _{n\rightarrow \infty } \beta ^n(x)=(x^*,\dots ,x^*)\) for some \(x^*\in X\).
A mean \(\nu :X^{k+1} \rightarrow X\) is a \(\beta \)-invariant extension of \(\mu :X^k \rightarrow X\) if \(\nu \circ \beta _\mu =\nu \), that is
Let us now recall an important result by Lawson and Lim [26].
Proposition 1.1
([26], Proposition 2.4) Assume that \(\mu :X^k \rightarrow X\) is a topological k-mean and that the corresponding barycentric operator \(\beta _\mu \) is power convergent. Define \({{\widetilde{\mu }}}: X^{k+1} \rightarrow X\) by \(\widetilde{\mu }(x) = x^*\), where \(\lim _{n\rightarrow \infty } \beta _\mu ^n(x)=(x^*,\dots ,x^*)\). Then
-
(i)
\({{\tilde{\mu }}}: X^{k+1} \rightarrow X\) is a \((k + 1)\)-mean on X that is a \(\beta \)-invariant extension of \(\mu \).
-
(ii)
Any continuous mean on \(X^{k+1}\) that is a \(\beta \)-invariant extension of \(\mu \) must equal \({{\tilde{\mu }}}\).
-
(iii)
If \(\mu \) is symmetric, so is \({{\tilde{\mu }}}\).
1.2 Properties of means on the interval
For the sake of completeness, let us introduce formally \({\mathbb {N}}:=\{1,\dots \}\), and \({\mathbb {N}}_p:=\{1,\dots ,p\}\) (where \(p\in {\mathbb {N}}\)).
Throughout this note, I is a subinterval of \({\mathbb {R}}\). For a given \(p \in {\mathbb {N}}\), a function \(M :I^p \rightarrow I\) is a p-variable mean on I if
We can define some natural properties such as symmetry, continuity, convexity, etc. which refer to properties of M as a p-variable function. A mean M is called strict if \(\min (x)< M(x) < \max (x)\) for every non-constant vector \(x \in I^p\).
Now, define the order \(\prec \) on vectors of real numbers of the same lengths by
Then, a mean \(M :I^p \rightarrow I\) is monotone if \(M(x)\le M(y)\) for all \(x,y \in I^p\) with \(x \prec y\).
A function \(M :\bigcup _{p=1}^\infty I^p \rightarrow I\) is a mean if all its p-variable restrictions \(M\!\!\upharpoonright _p:=M|_{I^p}\) are means for all \(p \ge 1\). Such a mean is called symmetric (resp. continuous, etc.) if all \(M\!\!\upharpoonright _p\)-s admit this property.
1.3 Invariance in a family of means
For \(p \in {\mathbb {N}}\) a selfmapping \({\textbf{M}}:I^p \rightarrow I^p\) is called a mean-type mapping if \({\textbf{M}}=(M_1,\dots ,M_p)\) for some p-variable means \(M_1,\dots ,M_p\) on I. A mean \(K :I^p \rightarrow I\) is called \({\textbf{M}}\)-invariant if \(K \circ {\textbf{M}}=K\).
The most classical result by Borwein-Borwein [7] states that if all means \(M_i\) are continuous and strict, then there exists exactly one \({\textbf{M}}\)-invariant mean. This result has several generalisations (see, for example, Matkowski [33], and Matkowski-Pasteczka [35]). For details we refer the reader to the rich literature on the subject, the classical ones being Lagrange [25], Gauss [16], Foster-Philips [15], Lehmer [27], Schoenberg [44] as well as the more recent ones Baják–Páles [3,4,5,6], Daróczy–Páles [9, 11, 12], Deręgowska–Pasteczka [14], Głazowska [18, 19], Jarczyk–Jarczyk [22], Matkowski [30,31,32,33], Matkowski–Páles [36], Matkowski–Pasteczka [34, 35] and Pasteczka [38, 39, 41, 42].
In the next section, we will only recall results from [42], as they are the most suitable ones for our purposes.
In this restricted (interval) setting, we know that a \(\beta \)-invariant extension is uniquely defined (in the family of means) if and only if the barycentric operator is power convergent (see [35, Theorem 1]). Moreover, the barycentric operator is a special case of a mean-type mapping consisting of extended means (see [42]). Therefore, in what follows, we deliver a short introduction to these objects.
2 Extended means
Observe that for \(d, p\in {\mathbb {N}}\) and a d-variable mean \(M :I^d \rightarrow I\) we can construct a p-variable mean by choosing d indexes and applying the mean M to the so-obtained vector of length d. Formally, for \(d,p\in {\mathbb {N}}\) and a vector \(\alpha \in {\mathbb {N}}_p^d\) we define a p-variable mean \(M^{(p;\alpha )} :I^p \rightarrow I\) by
Let us emphasize, that for \(\alpha =(1,\dots ,p)\in {\mathbb {N}}_p^p\), we have \(M^{(p;\alpha )}=M\), thus (purely formally) each mean is an extended mean. However, this approach allowed us to establish several interesting results related to mean-type mappings consisting of such means. We are going to recall them in the following section.
In a simple case, if \({\mathscr {A}}:{\mathbb {R}}^2\rightarrow {\mathbb {R}}\) is a bivariate arithmetic mean, \(p \ge 3\) and \(\alpha =(2,3)\) then \({\mathscr {A}}^{(p;\alpha )}:I^p \rightarrow I\) is given by
2.1 Invariance of extended means
Before we proceed to discuss the invariance, we need to build a mean-type mapping. The idea is to use an extended mean at each coordinate. Therefore, in some sense, we need to vectorise the previous approach.
For \(p \in {\mathbb {N}}\) and a vector \({\textbf{d}}=(d_1,\dots ,d_p)\in {\mathbb {N}}^p\), let \({\mathbb {N}}_p^{\textbf{d}}:={\mathbb {N}}_p^{d_1}\times \dots \times {\mathbb {N}}_p^{d_p}\). Using this notations, a sequence of means \({\textbf{M}}=(M_1,\dots ,M_p)\) is called a \({\textbf{d}}\)-averaging mapping on I if each \(M_i\) is a \(d_i\)-variable mean on I.
In the next step, for a \({\textbf{d}}\)-averaging mapping \({\textbf{M}}\) and a vector of indexes \(\alpha =(\alpha _1,\dots ,\alpha _p)\in {\mathbb {N}}_p^{d_1}\times \dots \times {\mathbb {N}}_p^{d_p}={\mathbb {N}}_p^{\textbf{d}}\) let us define a mean-type mapping \({\textbf{M}}_\alpha :I^p \rightarrow I^p\) by
where \(M_i^{(p,\alpha _i)}\)-s are defined by (2.1).
Observe that \(\alpha \) is a p-tuple of sequences of elements in \({\mathbb {N}}_p\). Such an object can be represented as a directed graph. Therefore for a given \(p\in {\mathbb {N}}\), \({\textbf{d}}=(d_1,\dots ,d_p)\in {\mathbb {N}}^p\), and \(\alpha \in {\mathbb {N}}_p^{\textbf{d}}\), we define the \(\alpha \)-incidence graph \(G_\alpha =(V_\alpha ,E_\alpha )\) as follows:
Since the graph \(G_\alpha \) plays a very important role in the invariance of \({\textbf{M}}_\alpha \), let us recall some elementary definitions from graph theory.
A sequence \((v_0,\dots ,v_n)\) of elements in V such that \((v_{i-1},v_{i})\in E\) for all \(i \in \{1,\dots ,n\}\) is called a walk from \(v_0\) to \(v_n\). The number n is the length of the walk. If for all \(v, w \in V\) there exists a walk from v to w, then G is called irreducible. A cycle is a non-empty walk in which only the first and last vertices are equal. A directed graph is said to be aperiodic if no integer \(k > 1\) divides the length of every cycle of the graph. A graph is called ergodic if it is simultaneously irreducible and aperiodic.
Now we are ready to recall the main theorem from the paper [42]. It turns out that the natural assumption to guarantee that an \({\textbf{M}}_\alpha \)-invariant mean is uniquely determined, is that \(G_\alpha \) is ergodic.
Proposition 2.1
([42], Theorem 2) Given an interval \(I \subset {\mathbb {R}}\), parameters \(p \in {\mathbb {N}}\), \({\textbf{d}}\in {\mathbb {N}}^p\), and a \({\textbf{d}}\)-averaging mapping \({\textbf{M}}=(M_1,\dots ,M_p)\) on I such that all \(M_i\)-s are strict. For all \(\alpha \in {\mathbb {N}}_p^{\textbf{d}}\) such that \(G_\alpha \) is ergodic:
-
(a)
there exists a unique \({\textbf{M}}_\alpha \)-invariant mean \(K_\alpha :I^p \rightarrow I\);
-
(b)
\(K_\alpha \) is continuous;
-
(c)
\(K_\alpha \) is strict;
-
(d)
\({\textbf{M}}_\alpha ^n\) converges, uniformly on compact subsets of \(I^p\), to the mean-type mapping \({\textbf{K}}_\alpha :I^p \rightarrow I^p\), \({\textbf{K}}_\alpha =(K_\alpha ,\dots ,K_\alpha )\);
-
(e)
\({\textbf{K}}_\alpha :I^p \rightarrow I^p\) is \({\textbf{M}}_\alpha \)-invariant, that is \({\textbf{K}}_\alpha ={\textbf{K}}_\alpha \circ {\textbf{M}}_\alpha \);
-
(f)
if \(M_1,\dots ,M_p\) are nondecreasing with respect to each variable then so is \(K_\alpha \);
-
(g)
if \(I=(0,+\infty )\) and \(M_1,\dots ,M_p\) are positively homogeneous, then every iterate of \({\textbf{M}}_\alpha \) and \(K_\alpha \) are positively homogeneous.
At this stage, let us recall a straightforward application of this result.
Example 1
([42], Example 2) Let \({\textbf{M}}:{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+^4\) be given by
We show that there exists a unique \({\textbf{M}}\)-invariant mean \(K :{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+\). Additionally, K is continuous and strict (Fig. 1).
Indeed, in the framework of \({\textbf{d}}\)-averaging mappings, we express \({\textbf{M}}\) defined in (2.2) as \({{\bar{{\textbf{M}}}}}_\alpha \), where \({{\bar{{\textbf{M}}}}}\) consists of bivariate power means, that is
The vector \({\textbf{d}}\) contains the lengths of the elements in \(\alpha \) (since \(\alpha \in {\mathbb {N}}_4^{\textbf{d}}\)), thus \({\textbf{d}}=(2,2,2,2)\). Obviously all means in \({{\bar{{\textbf{M}}}}}\), being power means, are continuous and strict. Moreover, the \(\alpha \)-incidence graph (see Fig. 1) is aperiodic (since every vertex has a loop) and irreducible (since (4321) is its Hamiltonian cycle). Consequently the \(\alpha \)-incidence graph is ergodic.
Thus, in view of Proposition 2.1, there exists exactly one \({\textbf{M}}\)-invariant mean \(K :{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+\). Moreover, by the same theorem, we know that it is continuous and strict.
3 Results
3.1 Auxiliary results
In what follows we show two results. The second one shall be considered a direct application of Proposition 2.1. It is preceded by a simple (and purely technical) lemma, which shows that a key assumption of this proposition is satisfied.
Lemma 3.1
For every \(p \ge 3\) the graph \(Q_{p}:=\big ({\mathbb {N}}_p,\{(i,j) \in {\mathbb {N}}_p^2:i \ne j\}\big )\) is ergodic.
Indeed, we can observe that \(Q_p\) is a full directed graph (without loops), and hence it is ergodic. Based on this lemma, in view of Proposition 2.1, part (a) the following proposition immediately follows.
Proposition 3.2
Let \(p \in {\mathbb {N}}\) with \(p \ge 2\), and \(M :I^p \rightarrow I\) be a symmetric, continuous, and strict mean. Then there exists a unique \(\beta _M\)-invariant extension. Equivalently, the functional equation
has exactly one solution in the family of means \(K :I^{p+1} \rightarrow I\).
Proof
Let \(\alpha \in {\mathbb {N}}_{p+1}^{(p+1) \times p}\) be given by
Then \(G_\alpha =Q_{p+1}\) and, by Lemma 3.1, it is ergodic. Thus, applying Proposition 2.1 part (a) to the \({\textbf{d}}\)-averaging mapping \({\textbf{M}}\), where
we get that there exists a unique \({\textbf{M}}_\alpha \)-invariant mean. In other words, the functional equation \(K\circ {\textbf{M}}_\alpha =K\) has exactly one solution in the family of means \(K :I^{p+1} \rightarrow I\). However, in this setup,
thus the proof is complete. \(\square \)
Remark 1
Observe that in the case when \(p \ge 2\) and \(M:={\mathscr {A}}_p\) is the p-variable arithmetic mean (on \({\mathbb {R}}\)) then equality (3.1) takes the form
If we define \(m:={\mathscr {A}}_{p+1}(x_1,\dots ,x_{p+1}):=\frac{x_1+\dots +x_{p+1}}{p+1}\) then we can rewrite this equality in a simpler form
Clearly \(K={\mathscr {A}}_{p+1}\) is a solution of this equation. Moreover, by Proposition 3.2, this solution is unique.
3.2 Main result
In view of Proposition 3.2, for every symmetric, continuous, and strict mean \(M :I^p \rightarrow I\), we define its \(\beta \)-invariant extension \({{\widetilde{M}}} :I^{p+1} \rightarrow I\) (denoted also as \(M^\sim \)) as the unique solution K of equation (3.1) in the family of means.
As we have already checked in Remark 1, \(\widetilde{{\mathscr {A}}_p}={\mathscr {A}}_{p+1}\) for all \(p\ge 2\). In other words, the \(\beta \)-invariant extension of the p–variable arithmetic mean is simply a \((p+1)\)–variable arithmetic mean. It turns out, see Lemma 5.3 below, that this property remains valid also for quasiarithmetic means.
In the following result we prove that a mean shares several properties with its \(\beta \)-invariant extension.
Theorem 1
Let \(p \in {\mathbb {N}}\) with \(p \ge 2\), and \(M :I^p \rightarrow I\) be a symmetric, continuous, and strict mean. Then
-
(a)
\({{\widetilde{M}}}\) is continuous;
-
(b)
\({{\widetilde{M}}}\) is symmetric;
-
(c)
\({{\widetilde{M}}}\) is strict;
-
(d)
if M is monotone, then so is \({{\widetilde{M}}}\);
-
(e)
if M is convex (concave) and monotone, then so is \({{\widetilde{M}}}\).
-
(f)
if \(I=(0,+\infty )\) and M is positively homogeneous, then so is \({{\widetilde{M}}}\);
Proof
Set \(\alpha \), \({\textbf{d}}\), and \({\textbf{M}}\) by equations (3.2), and (3.3). Then \({{\widetilde{M}}}=K_\alpha \) is the unique \({\textbf{M}}_\alpha \)-invariant mean. By Lemma 3.1, we know that \(G_\alpha \) is ergodic.
Therefore parts (a), (c), (d), (f), of this statement are implied by Proposition 2.1 parts (b), (c), (f), (g), respectively. Now, we only need to prove statements (b) and (e).
To show (b), observe that for every vector \(x \in I^{p+1}\) and a permutation \(\sigma :{\mathbb {N}}_{p+1} \rightarrow {\mathbb {N}}_{p+1}\) we have
Therefore, by Proposition 2.1 part (d), for every \(x \in I^{p+1}\) we have
thus, since \(K_\alpha \) is an(y) entry in \({\textbf{K}}_\alpha \), we get \( K_\alpha (x \circ \sigma )=K_\alpha (x)\), which proves that \(K_\alpha \) is symmetric.
Finally, to prove part (e) assume that M is convex and monotone and fix two vectors \(x,y \in I^p\) and \(t \in (0,1)\). As the intermediate step shows that, for all \(n \ge 0\),
For \(n=0\) inequality (3.4) obviously holds (even with equality). Now assume that (3.4) is valid for some \(n \ge 0\). Then, for every \(k_0 \in {\mathbb {N}}_{p+1}\), we have
Since \(k_0\) is an arbitrary element in \({\mathbb {N}}_{p+1}\) we obtain (3.4) with n replaced by \(n+1\). Consequently (3.4) is valid for all \(n \ge 0\). In the limit case as \(n \rightarrow \infty \), in view of Proposition 2.1 part (d), we get
which shows that \(\widetilde{M}=K_\alpha \) is convex and, by the already proved part (d), monotone. The case when M is concave and monotone is analogous. This completes part (e) of the proof. \(\square \)
In the following proposition, we show that this extension preserves the comparability of means.
Proposition 3.3
Let \(p \in {\mathbb {N}}\) with \(p \ge 2\), and \(M, N :I^p \rightarrow I\) be symmetric, continuous, monotone, and strict means. Then \(M \le N\) yields \({{\widetilde{M}}} \le {{\widetilde{N}}}\).
Proof
Let \(\alpha \), \({\textbf{d}}\), and \({\textbf{M}}\) be like in equations (3.2), and (3.3). Additionally, define \({\textbf{N}}:(I^{p})^{p+1}\rightarrow I^{p+1}\) by \({\textbf{N}}:=(N,\dots ,N)\). However, \(x^{\vee k} \prec y^{\vee k}\) for every \(x,y \in I^{p+1}\) with \(x \prec y\) and \(k \in {\mathbb {N}}_{p+1}\). Therefore, since M is monotone, we obtain
which can be rewritten in a compact form as \({\textbf{M}}_\alpha (x) \prec {\textbf{N}}_\alpha (y)\). Thus, by simple induction, \(x \prec y\) implies \({\textbf{M}}_\alpha ^n(x) \prec {\textbf{N}}_\alpha ^n(y)\) for every \(n \in {\mathbb {N}}\). In the limit case as \(n \rightarrow \infty \), by Proposition 2.1 part (d), we obtain that \({{\widetilde{M}}}(x)\le {{\widetilde{N}}}(y)\) for every \(x,y \in I^p\) with \(x \prec y\).
Finally, for every \(x \in I^p\), we have \(x \prec x\). Therefore, we obtain the desired inequality \({{\widetilde{M}}}(x) \le {{\widetilde{N}}}(x)\). \(\square \)
4 Multivariable generalization of bivariate means
Let \(M :I^2 \rightarrow I\) be a symmetric, continuous, and strict mean on an interval I. Then its iterative \(\beta \)-invariant extension is a mean \(M^e:\bigcup _{p=1}^\infty I^p \rightarrow I\) defined by
where \(M^{\sim p}\) is the p-th iteration of the \(\beta \)-invariant extension operator, that is
Now we adapt the result for \(\beta \)-invariant extensions to the iterative setting.
Proposition 4.1
Let \(M :I^2 \rightarrow I\) be a symmetric, continuous, and strict mean. Then
-
(a)
\(M^e\) is continuous;
-
(b)
\(M^e\) is symmetric;
-
(c)
\(M^e\) is strict;
-
(d)
if M is monotone, then so is \(M^e\);
-
(e)
if M is convex (concave) and monotone then so is \({{\widetilde{M}}}\);
-
(f)
if \(I=(0,+\infty )\) and M is positively homogeneous, then so is \({{\widetilde{M}}}\).
Proof
To show that \(M^e\) is continuous recall that, in view of Theorem 1 part (a), the \(\beta \)-invariant extension operator preserves continuity. Therefore, once we know that \(M^e\!\!\upharpoonright _p\) is continuous for certain \(p\ge 2\), then so is \(M^e\!\!\upharpoonright _{p+1}=(M^e\!\!\upharpoonright _p)^{\sim }\). Thus, since \(M^e\!\!\upharpoonright _2=M\) is continuous, by simple induction we find that \(M^e\!\!\upharpoonright _p\) is continuous for all \(p\ge 2\) which is equivalent to the continuity of \(M^e\) and completes part (a) of the proof.
Analogously, applying other parts of Theorem 1, we can show all the remaining parts of this statement. \(\square \)
Next, we show that this operator is monotone with respect to the ordering of means.
Proposition 4.2
Let \(M,\ N :I^2 \rightarrow I\) be symmetric, continuous, monotone, and strict means. Then \(M \le N\) if and only if \(M^e \le N^e\).
Proof
First observe that, by Theorem 1 parts (a)–(d), all iterates \(M^{\sim p}\) and \(N^{\sim p}\) (\(p \in {\mathbb {N}}\)) are symmetric, continuous, monotone, and strict.
If \(M\le N\) then, by Proposition 3.3, one can (inductively) show that \(M^{\sim p} \le N^{\sim p}\) for all \(p \ge 1\), which is equivalent to the inequality \(M^e\le N^e\).
Conversely, if \(M^e \le N^e\) then \(M=M^e\!\!\upharpoonright _2\le N^e\!\!\upharpoonright _2=N\). \(\square \)
4.1 Conjugacy of means
For \(n \in {\mathbb {N}}\), a mean \(M :I^p \rightarrow I\) and a continuous, monotone function \(\varphi :J \rightarrow I\) we define a conjugated mean \(M^{[\varphi ]} :J^p \rightarrow J\) by
Conjugacy of means is a generalization of the concept of quasiarithmetic means. As a matter of fact, one can easily check that quasiarithmetic means are simply conjugates of the arithmetic mean. In the next statement, we prove that iterative \(\beta \)-invariant extensions commute with conjugacy.
Proposition 4.3
Let \(I,J \subset {\mathbb {R}}\) be intervals and \(M :I^2\rightarrow I\) be a symmetric, continuous, monotone, strict mean, and \(\varphi :J \rightarrow I\) be a continuous and strictly monotone function. Then \((M^e)^{[\varphi ]}=(M^{[\varphi ]})^e\).
Proof
First, we show that the \(\beta \)-invariant extension commutes with conjugates. More precisely for every symmetric, continuous and monotone mean \(N :I^p \rightarrow I\) we have
Indeed, define the mappings
Then, for all \(y \in J^{p+1}\), we have
Therefore \(\textbf{P} = \Phi ^{-1} \circ \textbf{M} \circ \Phi \), and whence
By Proposition 2.1 part (d) we know that the sequence of iterates \((\textbf{M}^n)_{n=1}^\infty \) converges to \({{\widetilde{N}}}\) in each coordinate while \((\textbf{P}^n)_{n=1}^\infty \) converges to \((N^{[\varphi ]})^{\sim }\) in each coordinate. Whence, if we take the limit \(n \rightarrow \infty \), equality (4.3) implies \((N^{[\varphi ]})^{\sim }=\varphi ^{-1} \circ {{\widetilde{N}}} \circ \Phi =({{\widetilde{N}}})^{[\varphi ]}\). Therefore (4.2) holds.
By (4.2) we easily obtain \( (M^{\sim p})^{[\varphi ]}=(M^{[\varphi ]})^{\sim p}\) for all \(p \ge 1\), which implies \((M^e)^{[\varphi ]}=(M^{[\varphi ]})^{e}\). \(\square \)
5 Applications to classical families of means
5.1 Quasiarithmetic envelopes
Quasiarithmetic means were introduced as a generalization of Power Means in the 1920s/30 s in a series of nearly simultaneous papers by de Finetti [13], Knopp [23], Kolmogorov [24], and Nagumo [37]. For an interval I and a continuous and strictly monotone function \(f :I \rightarrow {\mathbb {R}}\) (from now on \({{\mathcal {C}}}{{\mathcal {M}}}(I)\) is a family of continuous, strictly monotone functions on I) we define the quasiarithmetic mean \(A^{[f]} :\bigcup _{n=1}^\infty I^n \rightarrow I\) by
where \(n \in {\mathbb {N}}\) and \(x_1,\dots ,x_n \in I\). The function f is called a generator of the quasiarithmetic mean.
It is well known that for \(I={\mathbb {R}}_+\), \(\pi _r(t):=t^r\) for \(r\ne 0\) and \(\pi _0(t):=\ln t\), the mean \(A^{[\pi _r]}\) coincides with the r-th power mean (this fact had already been noticed by Knopp [23]).
There were a number of results related to quasiarithmetic means. For example (see [20]) \(A^{[f]}=A^{[g]}\) if and only if their generators are affine transformations of each other, i.e. there exist \(\alpha ,\,\beta \in {\mathbb {R}}\) such that \(g=\alpha f + \beta \).
Generalizing the approach from the paper [40], we are going to introduce quasiarithmetic envelopes. First, for a given mean \(M :I^p\rightarrow I\) we define sets of quasiarithmetic means which are below and above M. More precisely let
Now, for a given mean \(M :I^p \rightarrow I\), we define local lower and upper quasiarithmetic envelopes \(L_M,U_M :I^p \rightarrow I\) by
for all \(x \in I^p\).
In the case \(M :\bigcup _{p=1}^\infty I^p \rightarrow I\) we have two approaches to this problem. First, similarly to the previous case, we define two pairs \(L_M,U_M :\bigcup _{p=1}^\infty I^p \rightarrow I\) by
where \(p \in {\mathbb {N}}\) is arbitrary and \(x_1,\dots ,x_p \in I\).
On the other hand, we can repeat the previous setting from the beginning and define
Then we set (global) lower and upper quasiarithmetic envelopes as follows. Let \({\mathcal {L}}_M,{\mathcal {U}}_M :\bigcup _{p=1}^\infty I^p \rightarrow I\) be given by
for all \(x \in \bigcup _{p=1}^\infty I^p\).
Before we proceed, let us illustrate these concepts with a simple example.
Example 2
Define \(M :\bigcup _{p=1}^\infty {\mathbb {R}}_+^p \rightarrow {\mathbb {R}}_+\) by
Then, since the restriction of M to a given (fixed) number of parameters is a power mean (and therefore a quasiarithmetic mean), we get \(L_M=U_M=M\). Meanwhile, global quasiarithmetic envelopes bound M for a vector of parameters of arbitrary length. Using the fact that power means are ordered, we get \({\mathcal {L}}_M={\mathscr {P}}_0\) and \({\mathcal {U}}_M={\mathscr {P}}_1\).
Now we are going to show a few basic properties of operators \(L\), \(U\) and \({\mathcal {L}}\), \({\mathcal {U}}\). We bind them into two propositions. The first one, refers to \(L\) and \(U\), while the second to \({\mathcal {L}}\) and \({\mathcal {U}}\).
Proposition 5.1
The following properties are valid:
-
(i)
For every mean \(M :I^p \rightarrow I\) we have \(L_M \le M \le U_M\).
-
(ii)
Let \(M,N :I^p \rightarrow I\) be two means with \(M \le N\). Then \(L_M \le L_N\) and \(U_M\le U_N\).
-
(iii)
For every \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}(I)\) we have \(L_{A^{[\varphi ]}}=U_{A^{[\varphi ]}}=A^{[\varphi ]}\).
-
(iv)
For every mean \(M :I^p \rightarrow I\) and a monotone, continuous function \(\varphi :J \rightarrow I\) we have \(L_M^{[\varphi ]}=L_{M^{[\varphi ]}}\) and \(U_M^{[\varphi ]}=U_{M^{[\varphi ]}}\).
Proof
We restrict the proof of this proposition to results concerning the lower envelope. Parts concerning the upper envelope are analogous.
To show (i), fix \(x\in I^p\) arbitrarily. If \({\mathscr {F}}^-(M)=\emptyset \) then
Otherwise we have \(A^{[f]}(x) \le M(x)\) for all \(f \in {\mathscr {F}}^-(M)\) which yields
which validates the inequality \(L_M \le M\) and completes the proof of part (i).
To prove part (ii), it is sufficient to observe that, under the assumption \(M\le N\), we have \({\mathscr {F}}^-(M) \subseteq {\mathscr {F}}^-(N)\), which easily implies \(L_M\le L_N\).
Next, for every \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}(I)\) we have \(\varphi \in {\mathscr {F}}^-(A^{[\varphi ]})\), which shows the inequality \(L_{A^{[\varphi ]}}\ge A^{[\varphi ]}\). Therefore \(L_{A^{[\varphi ]}}= A^{[\varphi ]}\), since the second inequality was already proved in (i). Thus we get (iii).
Finally, in order to prove (iv) assume that \(\varphi \) is strictly increasing and note that
Therefore either \({\mathscr {F}}^-(M^{[\varphi ]})={\mathscr {F}}^-(M)=\emptyset \) and the equality is trivial or for every \(x=(x_1,\dots ,x_p)\in I^p\) we have
and we get (iv), which was the last unproved part of this statement. \(\square \)
In the same spirit, we can establish the analogous result for global envelopes.
Proposition 5.2
The following properties are valid:
-
(i)
For every mean \(M :\bigcup _{p=1}^\infty I^p \rightarrow I\) we have \({\mathcal {L}}_M \le M \le {\mathcal {U}}_M\).
-
(ii)
Let \(M,N :\bigcup _{p=1}^\infty I^p \rightarrow I\) be symmetric, continuous and strict means with \(M \le N\). Then \({\mathcal {L}}_M \le {\mathcal {L}}_N\) and \({\mathcal {U}}_M\le {\mathcal {U}}_N\).
-
(iii)
For every \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}(I)\) we have \({\mathcal {L}}_{A^{[\varphi ]}}={\mathcal {U}}_{A^{[\varphi ]}}=A^{[\varphi ]}\).
-
(iv)
For every mean \(M :I^p \rightarrow I\) and a monotone, continuous function \(\varphi :J \rightarrow I\) we have \({\mathcal {L}}_M^{[\varphi ]}={\mathcal {L}}_{M^{[\varphi ]}}\) and \({\mathcal {U}}_M^{[\varphi ]}={\mathcal {U}}_{M^{[\varphi ]}}\).
Its proof follows the lines of that of Proposition 5.1, but we need to replace the set \({\mathscr {F}}^-(M)\) by \({\mathscr {G}}^-(M)\).
In the next lemma, we prove that the \(\beta \)-invariant extension of a bivariate quasiaritmetic mean is the quasiarithmetic mean generated by the same function.
Lemma 5.3
If \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}(I)\) then \(\big (A^{[\varphi ]}\!\!\upharpoonright _2\!\big )^e=A^{[\varphi ]}\).
Proof
Let \(\varphi \in {{\mathcal {C}}}{{\mathcal {M}}}(I)\) and denote briefly \(M:=A^{[\varphi ]}\!\!\upharpoonright _2\). We prove by induction that
for all \(p \ge 1\). For \(p=1\) and \(p=2\), this statement is trivial.
Now assume that (5.1) holds for some \(p=p_0\ge 2\). Then
Consequently, for all \(x \in I^{p_0+1}\), we have
Thus \(M^e\!\!\upharpoonright _{p_0+1}=(A^{[\varphi ]}\!\!\upharpoonright _{p_0})^{\sim }=A^{[\varphi ]}\!\!\upharpoonright _{p_0+1}\), i.e. (5.1) holds for \(p=p_0+1\). By induction we obtain that (5.1) holds for all \(p\ge 1\), which is precisely the equality \((A^{[\varphi ]}\!\!\upharpoonright _2)^e=M^e=A^{[\varphi ]}\). \(\square \)
Now we proceed to the discussion of comparability between envelopes. First, we show that local envelopes approximate the mean better than global ones, as expected.
Proposition 5.4
For every mean \(M :\bigcup _{p=1}^\infty I^p \rightarrow I\) we have
Proof
Take \(p \in {\mathbb {N}}\) and \(x \in I^p\) arbitrarily. If \({\mathscr {G}}^-(M)=\emptyset \) then \({\mathcal {L}}_M=\min \le L_M\). Otherwise, by \({\mathscr {G}}^-(M)\subseteq {\mathscr {F}}^-(M)\), we have
which shows that
Similarly we obtain that either \({\mathscr {F}}^-(M)=\emptyset \) and \(L_M=\min \) or \(A^{[f]}(x) \le M(x)\) for all \(f \in {\mathscr {F}}^-(M)\), which yields
which can be concluded as \(L_M(x)\le M(x)\). Analogously we can prove the dual inequalities \(M(x) \le U_M(x) \le {\mathcal {U}}_M(x)\). \(\square \)
In the next result, we show how the extension of a mean affects its envelopes.
Theorem 2
Let \(M :I^2 \rightarrow I\) be a symmetric, continuous, monotone, and strict mean. Then
-
(a)
\({\mathscr {G}}^-(M^e)={\mathscr {F}}^-(M)\) and \({\mathscr {G}}^+(M^e)={\mathscr {F}}^+(M)\);
-
(b)
\({\mathcal {L}}_{M^e}=\sup \{A^{[f]}:f \in {\mathscr {F}}^-(M)\}\) and \({\mathcal {U}}_{M^e}=\inf \{A^{[f]}:f \in {\mathscr {F}}^+(M)\}\);
-
(c)
\({\mathcal {L}}_{M^e}=L_{M}\) and \({\mathcal {U}}_{M^e}=U_{M}\) on \(I^2\);
-
(d)
\({\mathcal {L}}_{M^e}\le (L_M)^e \le M^e \le (U_M)^e \le {\mathcal {U}}_{M^e}\).
Proof
First, for all \(f\in {{\mathcal {C}}}{{\mathcal {M}}}(I)\), we have
Thus \({\mathscr {G}}^-(M^e)={\mathscr {F}}^-(M)\). The second equality is dual, thus we have proved (a). In view of this, we trivially obtain (b).
To show (c) note that, in the case \({\mathscr {F}}^-(M) \ne \emptyset \), we have
For \({\mathscr {F}}^-(M) = \emptyset \) we obviously have \({\mathcal {L}}_{M^e}=\min =L_M\) on \(I^2\). Similarly \({\mathcal {U}}_{M^e}=U_M\) on \(I^2\).
To prove (d), we focus on inequalities \({\mathcal {L}}_{M^e}\le (L_M)^e \le M^e\), since the remaining ones are dual. Additionally one can assume that \({\mathscr {F}}^-(M) \ne \emptyset \), since the second case is trivial.
First, note that
However, for all \(f \in {\mathscr {F}}^-(M)\) we have
thus \({\mathcal {L}}_{M^e}\le (L_M)^e\). Finally, Proposition 4.2 implies \((L_M)^e \le M^e\). \(\square \)
5.2 Gini means
Let us recall two results characterizing the comparison in the family of Gini means.
Proposition 5.5
([10]) Let \(p, q, r, s \in {\mathbb {R}}\). Then the following conditions are equivalent:
-
\({\mathscr {G}}_{p,q}(x)\le {\mathscr {G}}_{r,s}(x)\) for all \(n \in {\mathbb {N}}\) and \(x \in {\mathbb {R}}^n\);
-
\(\min (p,q) \le \min (r,s)\), and \(\max (p, q) \le \max (r, s)\);
-
\((p,q,r,s)\in \Delta _\infty \), where
$$\begin{aligned} \begin{aligned} \Delta _\infty :=\{(p,q,r,s)\in {\mathbb {R}}^4:&\min (p,q) \le \min (r,s)\text { and }\\&\max (p, q) \le \max (r, s)\}. \end{aligned} \end{aligned}$$
Proposition 5.6
([43], Theorem 3) Let \(p, q, r, s \in {\mathbb {R}}\). Then the following conditions are equivalent:
-
For all \(x, y > 0\), \({\mathscr {G}}_{p,q}(x,y)\le {\mathscr {G}}_{r,s}(x,y)\);
-
\(p + q \le r + s\), \(m(p, q) \le m(r, s)\), and \(\mu (p, q) \le \mu (r, s)\), where
$$\begin{aligned} \begin{aligned} m(p,q):= {\left\{ \begin{array}{ll} \min (p,q) & \text { if }p,q\ge 0,\\ 0& \text { if } pq<0,\\ \max (p,q) & \text { if }p,q\le 0; \end{array}\right. } \quad \mu (p,q):= {\left\{ \begin{array}{ll} \frac{\left| p \right| -\left| q \right| }{p-q} & \text { if }p\ne q,\\ {{\,\textrm{sign}\,}}(p) & \text { if }p=q; \end{array}\right. } \end{aligned} \end{aligned}$$ -
\((p,q,r,s)\in \Delta _2\), where
$$\begin{aligned} \begin{aligned} \Delta _2:=\{(p,q,r,s)\in {\mathbb {R}}^4&:p + q \le r + s,\ m(p, q) \le m(r, s),\\&\qquad \mu (p, q) \le \mu (r, s)\}. \end{aligned} \end{aligned}$$
By [28, 29] we know that \({\mathscr {G}}_{p,q}\) is monotone if and only if
As a straightforward application of Proposition 4.2 we get.
Corollary 5.7
Let \(p, q, r, s \in {\mathbb {R}}\) with \((p,q), (r,s)\in \textrm{Mon}_G\).
Then \({\mathscr {G}}_{p,q}^e(x)\le {\mathscr {G}}_{r,s}^e(x)\) for all \(n \in {\mathbb {N}}\) and \(x \in {\mathbb {R}}_+^n\) if and only if \((p,q,r,s)\in \Delta _2\).
This corollary shows that the equality \({\mathscr {G}}_{p,q}={\mathscr {G}}_{p,q}^e\) fails to be valid for a large subclass of parameters (p, q). For example if \((p,q,r,s)\in (\textrm{Mon}_G^2 \cap \Delta _2){\setminus } \Delta _\infty \). Then we have \({\mathscr {G}}_{p,q}^e(x)\le {\mathscr {G}}_{r,s}^e(x)\) for all \(x \in \bigcup _{n=1}^\infty {\mathbb {R}}_+^n\) while there exists a vector \({{\bar{x}}} \in \bigcup _{n=1}^\infty {\mathbb {R}}_+^n\) such that \({\mathscr {G}}_{p,q}(\bar{x})> {\mathscr {G}}_{r,s}({{\bar{x}}})\). Consequently, at least one of the equalities \({\mathscr {G}}_{p,q}={\mathscr {G}}_{p,q}^e\) or \({\mathscr {G}}_{r,s}={\mathscr {G}}_{r,s}^e\) is not valid.
Furthermore, for all \(p \in {\mathbb {R}}\) and \(x,y \in {\mathbb {R}}_+\) we have \({\mathscr {G}}_{p,-p}(x,y)=\sqrt{xy}={\mathscr {P}}_0(x,y)\) and therefore \(G_{p,-p}^e={\mathscr {P}}_0^e={\mathscr {P}}_0\). However, in general, the equality \({\mathscr {G}}_{p,-p}(x_1,\dots ,x_n)={\mathscr {P}}_0(x_1,\dots ,x_n)\) is not valid for \(n>2\).
6 Conclusions and further research
6.1 Conclusions
Let us now review the most important outcomes of this paper.
-
(C1)
\(\beta \)-invariant extension is the tool to construct a \((k+1)\)-variable mean based on a k-variable one. Then we applied the iterative approach to generalize bivariate means to multivariable ones—operator \((\cdot )^e\).
-
(C2)
Both of these operations are inner, in the sense that the only tools are either taking the value of the mean or the limit. In particular, there are no additional parameters in this process.
-
(C3)
These operations are monotone and preserve the class of quasiarithmetic means. It was used to show lower and upper bounds for the value of \(M^e\).
-
(C4)
The way of calculating \(M^{\sim k}\) at this stage requires recursive application of k infinite procesess. Therefore, it has the order-type complexity \(\omega ^k\).
6.2 Further research
Finally, since this is a new concept, there arise several possible ways of studying this problem.
-
(R1)
At this stage, the explicit value of the iterative \(\beta \)-invariant extension is known only in the family of quasiaritmetic means. It is worth asking if we can obtain an explicit form for some other families of means.
-
(R2)
It is a natural question what the image of the \(\beta \)-invariant extension is. More precisely, to characterize \((p+1)\)-variable means \(N:I^{p+1}\rightarrow I\) such that \(N={{\widetilde{M}}}\) for some p-variable mean \(M:I^p\rightarrow I\).
-
(R3)
Once we know (C4), we can search for a single iteration process which converges to \(M^{\sim 2}\) (or even \(M^{\sim k}\)) for a given mean M.
-
(R4)
There appears a natural question to characterize those means \(M:I^2\rightarrow I\) so that \(M^e\) is repetition invariant, that is the equality
$$\begin{aligned} \begin{aligned} M^e(\underbrace{x_1,\dots ,x_1}_{m\text {-times}},\dots&,\underbrace{x_n,\dots ,x_n}_{m\text {-times}}) =M^e(x_1,\dots ,x_n) \end{aligned} \end{aligned}$$holds for all \(n,m\in {\mathbb {N}}\) and \((x_1,\dots ,x_n)\in I^n\).
-
(R5)
Motivated by Theorem 1 and Proposition 4.1, we can look for other constraints preserved by the extensions (for example differentiability and higher order regularity assumptions).
-
(R6)
One can ask about the stability properties of such an extension, that is, the correspondence between \(\left\| M-N \right\| \) and \(\left\| M^{\sim }-N^{\sim } \right\| \) (in a given space).
-
(R7)
The family of continuous, strict means \(M :I^p \rightarrow I\) (I and p are fixed) forms a convex subset of the space \(L^\infty (I^n)\). In this sense, the \(\beta \)-invariant extension maps a convex subset of \(L^\infty (I^n)\) to \(L^\infty (I^{n+1})\). There appear natural questions, for example if this mapping is one-to-one or continuous (in a given sense, uniformly, pointwise, etc.).
-
(R8)
Finally, it could happen that the \(\beta \)-invariant extension is not the most suitable way of extending means. Finding an extension preserving a wider class of means (not only quasiarithmetic ones) could be a great improvement not only in this narrow field, but it might also provide a better understanding of the theory of means.
Data availability
No datasets were generated or analysed during the current study.
References
Aumann, G.: Aufbau von Mittelwerten mehrerer Argumente. I. Math. Ann. 109(1), 235–253 (1934)
Aumann, G.: Über Räume mit Mittelbildungen. Math. Ann. 119, 210–215 (1944)
Baják, S., Páles, Z.: Computer aided solution of the invariance equation for two-variable Gini means. Comput. Math. Appl. 58, 334–340 (2009)
Baják, S., Páles, Z.: Invariance equation for generalized quasi-arithmetic means. Aequationes Math. 77, 133–145 (2009)
Baják, S., Páles, Z.: Computer aided solution of the invariance equation for two-variable Stolarsky means. Appl. Math. Comput. 216(11), 3219–3227 (2010)
Baják, S., Páles, Z.: Solving invariance equations involving homogeneous means with the help of computer. Appl. Math. Comput. 219(11), 6297–6315 (2013)
Borwein, J.M., Borwein, P.B.: Pi and the AGM: a study in analytic number theory and computational complexity. In: Canadian Mathematical Society Series of Monographs and Advanced Texts, A Wiley-Interscience Publication. Wiley, New York (1987)
Bullen, P.S.: Handbook of means and their inequalities. In: Mathematics and Its Applications, vol. 560. Kluwer Academic Publishers Group, Dordrecht (2003)
Daróczy, Z.: Functional equations involving means and Gauss compositions of means. Nonlinear Anal. 63(5–7), e417–e425 (2005)
Daróczy, Z., Losonczi, L.: Über den Vergleich von Mittelwerten. Publ. Math. Debrecen 17(289–297), 1970 (1971)
Daróczy, Z., Páles, Z.: Gauss-composition of means and the solution of the Matkowski–Sutô problem. Publ. Math. Debr. 61(1–2), 157–218 (2002)
Daróczy, Z., Páles, Z.: The Matkowski–Sutô problem for weighted quasi-arithmetic means. Acta Math. Hungar. 100(3), 237–243 (2003)
de Finetti, B.: Sul concetto di media. Giornale dell’ Instituto, Italiano degli Attuarii 2, 369–396 (1931)
Deregowska, B., Pasteczka, P.: Quasi-arithmetic-type invariant means on probability space. Aequationes Math. 95(4), 639–651 (2021)
Foster, D.M.E., Phillips, G.M.: The arithmetic-harmonic mean. Math. Comput. 42(165), 183–191 (1984)
Gauss, C.F.: Nachlass: Aritmetisch-geometrisches Mittel. In: Werke 3 (Göttingem 1876), pp. 357–402. Königliche Gesellschaft der Wissenschaften (1818)
Gini, C.: Di una formula compressiva delle medie. Metron 13, 3–22 (1938)
Głazowska, D.: A solution of an open problem concerning Lagrangian mean-type mappings. Cent. Eur. J. Math. 9(5), 1067–1073 (2011)
Głazowska, D.: Some Cauchy mean-type mappings for which the geometric mean is invariant. J. Math. Anal. Appl. 375(2), 418–430 (2011)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge, 1934 (1st edn), 1952 (2nd edn)
Horwitz, A.: Invariant means. J. Math. Anal. Appl. 270(2), 499–518 (2002)
Jarczyk, J., Jarczyk, W.: Invariance of means. Aequationes Math. 92(5), 801–872 (2018)
Knopp, K.: Über Reihen mit positiven Gliedern. J. Lond. Math. Soc. 3, 205–211 (1928)
Kolmogorov, A.N.: Sur la notion de la moyenne. Rend. Accad. dei Lincei 6(12), 388–391 (1930)
Lagrange, J.L.: Sur une nouvelle methode de calcul integrale pour differentielles affectees d’un radical carre. Mem. Acad. R. Sci. Turin II 2, 252–312 (1784)
Lawson, J., Lim, Y.: A general framework for extending means to higher orders. Colloq. Math. 113(2), 191–221 (2008)
Lehmer, D.H.: On the compounding of certain means. J. Math. Anal. Appl. 36, 183–200 (1971)
Losonczi, L.: Subadditive Mittelwerte. Arch. Math. (Basel) 22, 168–174 (1971)
Losonczi, L.: Über eine neue Klasse von Mittelwerten. Acta Sci. Math. (Szeged) 32, 71–81 (1971)
Matkowski, J.: Iterations of mean-type mappings and invariant means. Ann. Math. Sil. 13, 211–226 (1999). (European Conference on Iteration Theory (Muszyna-Złockie, 1998))
Matkowski, J.: On iteration semigroups of mean-type mappings and invariant means. Aequationes Math. 64(3), 297–303 (2002)
Matkowski, J.: Lagrangian mean-type mappings for which the arithmetic mean is invariant. J. Math. Anal. Appl. 309(1), 15–24 (2005)
Matkowski, J.: Iterations of the mean-type mappings. In: Iteration theory (ECIT ’08), Grazer Mathematische Berichte, vol. 354, pp. 158–179. Institut für Mathematik, Karl-Franzens-Universität Graz, Gra (2009)
Matkowski, J., Pasteczka, P.: Invariant means and iterates of mean-type mappings. Aequationes Math. 94(3), 405–414 (2020)
Matkowski, J., Pasteczka, P.: Mean-type mappings and invariance principle. Math. Inequal. Appl. 24(1), 209–217 (2021)
Matkowski, J., Páles, Z.: Characterization of generalized quasi-arithmetic means. Acta Sci. Math. (Szeged) 81(3–4), 447–456 (2015)
Nagumo, M.: Über eine Klasse der Mittelwerte. Jpn. J. Math. 7, 71–79 (1930)
Pasteczka, P.: Iterated quasi-arithmetic mean-type mappings. Colloq. Math. 144(2), 215–228 (2016)
Pasteczka, P.: Invariant property for discontinuous mean-type mappings. Publ. Math. Debr. 94(3–4), 409–419 (2019)
Páles, Z., Pasteczka, P.: On the Jensen convex and Jensen concave envelopes of means. Arch. Math. (Basel) 116(4), 423–432 (2021)
Pasteczka, P.: There is at most one continuous invariant mean. Aequationes Math. 96(4), 833–841 (2022)
Pasteczka, P.: Invariance property for extended means. Results Math. 78(1), 146 (2023)
Páles, Z.: Inequalities for sums of powers. J. Math. Anal. Appl. 131(1), 265–270 (1988)
Schoenberg, I.J.: Mathematical Time Exposures. Mathematical Association of America, Washington, DC (1982)
Author information
Authors and Affiliations
Contributions
PP is the excusive author.
Corresponding author
Ethics declarations
Competing interests
The authors declare 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 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
Pasteczka, P. Multivariable generalizations of bivariate means via invariance. Aequat. Math. (2024). https://doi.org/10.1007/s00010-024-01113-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00010-024-01113-w