Abstract
We study the properties of the mean-type mappings \(\textbf{M}:I^p \rightarrow I^p\) of the form
where p and \(d_i\)-s are positive integers, each \(M_i\) is a \(d_i\)-variable mean on an interval \(I \subset {\mathbb {R}}\), and \(\alpha _{i,j}\)-s are elements from \(\{1,\dots ,p\}\). We show that, under some natural assumption on \(M_i\)-s, the problem of existing the unique \(\textbf{M}\)-invariant mean can be reduced to the ergodicity of the directed graph with vertexes \(\{1,\dots ,p\}\) and edges \(\{(\alpha _{i,j},i) :i,j \text { admissible}\}\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Invariance property is a very important aspect in the theory of means. There are two classical studies, Lagrange [17] and Gauss [12], which could be considered as a beginning of this field. It has been extensively studied by many authors since then. For example Borwein and Borwein [5] extended some earlier ideas [11, 18, 29] and generalized the original iteration to a vector of continuous, strict means of an arbitrary length. For several recent results about Gaussian product of means, see the papers by Baják–Páles [1,2,3,4], by Daróczy–Páles [7,8,9], by Głazowska [14, 15], by Jarczyk–Jarczyk [16], by Matkowski [19,20,21,22], by Matkowski–Páles [25], and by the author [26]. In the vast majority of these studies, there are assumptions which provide that the invariant mean is uniquely determined. There are also few results where this is not the case; see Deręgowska–Pasteczka [10], Matkowski–Pasteczka [23, 24], and Pasteczka [27, 28]. The main result of these papers is that the uniqueness of invariant means is deeply related to strictness and continuity.
1.1 Basic Definition and Notions
Before we proceed further recall that, for a given \(p\in {\mathbb {N}}\) and an interval \(I \subset {\mathbb {R}}\), a p-variable mean on I is an arbitrary function \(M :I^p \rightarrow I\) satisfying the inequality
Property (1.1) is referred as a mean property. If the inequalities in (1.1) are strict for every nonconstant vector x, then we say that a mean M is strict. Moreover, for such objects, we define natural properties like continuity, symmetry (when the value of mean does not depend on the order of its arguments), monotonicity (which states that M is nondecreasing in each of its variables), etc.
A mean-type mapping is a selfmapping of \(I^p\) which has a p-variable mean on each of its coordinates. More precisely, \({\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. In this framework a function \(K :I^p\rightarrow {\mathbb {R}}\) is called \({\textbf{M}}\)-invariant if it solves the functional equation \(K \circ {\textbf{M}}=K\). Usually we restrict solutions of this equation to the family of means and say about \({\textbf{M}}\)-invariant means.
1.2 Posing the Problem
There is a natural problem to give a condition to \({\textbf{M}}\) that guarantees the uniqueness of the \({\textbf{M}}\)-invariant mean. It turned out that it is equivalent to certain convergence of the sequence of iterations of the self-mapping \({\textbf{M}}\) (which hereafter will be denoted by \({\textbf{M}}^n\)), cf. [24]. There are three natural conditions which are proposed in the literature. Namely, if the continuous mean-type mapping \({\textbf{M}}=(M_1,\dots ,M_p) :I^p\rightarrow I^p\) satisfies one of the following three conditions:
-
each \(M_i\) is a strict mean;
-
\({\textbf{M}}\) is contractive, that is, \(\max {\textbf{M}}(x)-\min {\textbf{M}}(x) < \max (x)-\min (x)\) for every nonconstant vector \(x \in I^p\);
-
\({\textbf{M}}\) is weakly contractive, which states that for every nonconstant vector \(x \in I^p\) there exists a natural number n(x) such that
then there exists exactly one \({\textbf{M}}\)-invariant mean (cf. [5, 22], and [24], respectively). Obviously the last condition is the most general, however it is also the most difficult to verify.
We try to check the last condition in the example.
Example 1
Take a quadriple of four-variable power means defined on a set \({\mathbb {R}}_+:=(0,+\infty )\). Namely, let \({\textbf{M}}:{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+^4\) be a mean-type mapping given by
Then each coordinate of \({\textbf{M}}\) is a bivariate mean. Furthermore, \({\textbf{M}}\) is not contractive, since this condition voids for all vectors of the form (a, a, b, b). On the other hand, one can prove that each coordinate of
is a trivariate, strict mean on I. Thus, \({\textbf{M}}^2\) is a contractive mean-type mapping. Consequently (1.2) holds with \(n(x):=2\), \({\textbf{M}}\) is weakly contractive, and there exists the unique \({\textbf{M}}\)-invariant mean.
Observe that \({\textbf{M}}\) has a quite interesting structure. Namely, in each coordinate we take one of the classical means (harmonic, geometric, arithmetic, and quadratic), but we omit some arguments. The aim of this paper is to deliver a robust framework and to prove some natural properties for these sort of mean-type mappings.
1.3 Extended Means
Now we introduce the essential definition from the point of view of this manuscript. Namely, a p-variable mean \(M :I^p \rightarrow I\) is called an extended mean if it satisfies a mean property (1.1) and it is independent on some variable. More precisely, there exists \(k \in \{1,\dots ,p\}\) such that for all \(x,x' \in I^p\) satisfying the equality \(x_i=x'_i\) for all \(i \in \{1,\dots ,p\}{\setminus } \{k\}\) we have \(M(x)=M(x')\).
For a given \(d,p \in {\mathbb {N}}\), a sequence \(\alpha :=(\alpha _1,\dots ,\alpha _d) \in \{1,\dots ,p\}^d\), and a d-variable mean \(M :I^d\rightarrow I\) we define the mean \(M^{(p;\alpha )}:I^p\rightarrow I\) by
In the case \(d<p\), mean \(M^{(p;\alpha )}\) is a p-variable extended mean on I.
For example if \({\mathcal {A}}:{\mathbb {R}}^2\rightarrow {\mathbb {R}}\) is a bivariate arithemetic mean, \(p \ge 3\) and \(\alpha =(2,3)\) then \({\mathcal {A}}^{(p;\alpha )}:I^p \rightarrow I\) is given by
The opposite statement is also valid in some sense. Indeed, for every extended mean \(M :I^p \rightarrow I\), there exist \(d<p\), a sequence \(\alpha \in \{1,\dots ,p\}^d\), and a d-variable mean \(M_* :I^d\rightarrow I\) such that \(M=M_*^{(p;\alpha )}\). We are going to study the invariance of mean-type mappings which contain extended means.
2 Uniformly Weak Contractive Mappings
It turns out that in this setup it is natural to define a property which is between the contractivity and the weak contractivity. We say that a mean-type mapping \({\textbf{M}}:I^p \rightarrow I^p\) is uniformly weak contractive if there exists a natural number \(n_0 \in {\mathbb {N}}\) (which does not depend on x) such that
for every nonconstant vector \(x \in I^p\). Obviously, every contractive mean-type mapping is uniformly weak contractive, and every uniformly weak contractive mean-type mapping is weakly contractive. Moreover, due to Matkowski-Pasteczka [23, 24], it is known that:
-
(1)
for \(p=2\) every weakly contractive mean-type mapping is uniformly weak contractive with \(n_0=2\);
-
(2)
for every \(p>2\) there exist a weakly contractive mean-type mapping which is not uniformly weak contractive
2.1 Invariance Property
In this section we show a counterpart of the result contained in [22, Theorem 1]. The main difference is that we generalize the original setting to the family of uniformly weakly contractive mean-type mappings.
Theorem 1
Let \(I \subset {\mathbb {R}}\) be an interval, \(p \in {\mathbb {N}}\), and \({\textbf{M}}:I^p \rightarrow I^p\) be the uniformly weak contractive, continuous mean-type mapping. Then
-
(i)
for every \(n\in {\mathbb {N}}\), the mapping \({\textbf{M}}^n\) is a mean-type mapping;
-
(ii)
there is a continuous mean \(K:I^p \rightarrow I\) such that the sequence of iterates \(({\textbf{M}}^n)_{n=0}^\infty \) converges, uniformly on compact subsets of \(I^p\), to the mean-type mapping \({\textbf{K}}:I^p \rightarrow I^p\), \({\textbf{K}}=(K_1,\dots ,K_p)\) such that
$$\begin{aligned}\begin{aligned} {K_1=\dots =K_p=K;} \end{aligned} \end{aligned}$$ -
(iii)
\({\textbf{K}}:I^p \rightarrow I^p\) is \({\textbf{M}}\)-invariant, that is, \({\textbf{K}}={\textbf{K}}\circ {\textbf{M}}\) or, equivalently, the mean K is \({\textbf{M}}\)-invariant;
-
(iv)
\({\textbf{M}}\)-invariant mean (mean-type mapping) is unique;
-
(v)
if \({\textbf{M}}=(M_1,\dots ,M_p)\) and all \(M_i\)-s are strict means, then so is K;
-
(vi)
if \({\textbf{M}}=(M_1,\dots ,M_p)\) and all \(M_i\)-s are nondecreasing with respect to each variable then so is K;
-
(vii)
if \(I=(0,+\infty )\) and \({\textbf{M}}\) is positively homogeneous, then every iterate of \({\textbf{M}}\) and K are positively homogeneous.
Proof
The case when \({\textbf{M}}\) is contractive is due to [22, Theorem 1]. Moreover parts (i), and (iv) are due to [24, Theorem 2], where they were proved for all continuous, weakly contractive mean-type mappings.
Now assume that \({\textbf{M}}:I^p \rightarrow I^p\) is uniformly weak contractive, and take \(k \in {\mathbb {N}}\) such that \({\textbf{M}}^k\) is contractive.
To show (ii) let \(\Lambda \) be a family of all compact subintrevals of I. Observe that for every compact subset X of \(I^p\), there exists \(J \in \Lambda \) such that \(X \subset J^p\). Moreover
and \({\textbf{M}}(J^p)\subset J^p\) for every \(J \in \Lambda \). Therefore, it is sufficient to show that the assertion
holds for all \(J \in \Lambda \). Consequently, one may assume that I is compact.
Then, by the contractive part, the assertion (ii) holds for the subsequence \(({\textbf{M}}^{kn})_{n=0}^\infty \). More precisely, there exists \({\textbf{K}}:I^p \rightarrow I^p\) with required properties such that for every \(\varepsilon >0\) there exists \(n_\varepsilon \) such that
where \(\left\| (v_1,\dots ,v_p) \right\| _\infty :=\max \{\left| v_1 \right| ,\dots ,\left| v_p \right| \}\). Equivalently, the property
holds for \(s=kn_\varepsilon \). But by the mean-value property (1.1) we know that \(M_i(y) \ge \min (y)\) for all \(i \in \{1,\dots ,p\}\) and \(y \in I^p\). Thus
Thus, by simple induction, the mapping \(s \mapsto \min {\textbf{M}}^{s}(x)\) is nondecreasing. Analogously, we can show that the mapping \(s \mapsto \max {\textbf{M}}^{s}(x)\) is nonincreasing. Whence, by the trivial inequality \(\min {\textbf{M}}^{s}(x)\le \max {\textbf{M}}^{s}(x)\), we obtain that (2.2) holds for all \(s\ge kn_\varepsilon \) which completes the proof of (ii).
Having this proved, for all \(x\in I^p\), we obtain
and therefore \({\textbf{K}}\circ {\textbf{M}}={\textbf{K}}\), which is (iii).
To prove (v) note that, under the assumption that all \(M_i\)-s are strict means, for an arbitrary nonconstant vector \(x \in I^p\) we have
Similarly we can show the inequality \(K(x)>\min (x)\).
Now we proceed to the proof of (vi). First, let us define the partial ordering \(\preceq \) on \(I^p\) by
Then, since each \(M_i\) are nondecreasing, for every \(x,y\in I^p\) with \(x \preceq y\) we get \({\textbf{M}}(x)\preceq {\textbf{M}}(y)\). Thus, by a simple induction, we also have \({\textbf{M}}^n(x)\preceq {\textbf{M}}^n(y)\) for all \(n \in {\mathbb {N}}\). In the limit case when \(n \rightarrow \infty \), in view of (ii), we obtain that \({\textbf{K}}\) is monotone with respect to \(\preceq \), which is (vi).
To show the last assertion, take \(c>0\) and \(x \in (0,+\infty )^p\) arbitrarily. Then, since \({\textbf{M}}\) is positively homogeneous, by (ii), we have
and thus \(K(c x)=c K(x)\). \(\square \)
3 \({\textbf{d}}\)-Averaging Mappings
In this section, we introduce an important subfamily of mean-type mappings and study their properties within this class. Our aim is to reduce the properties of a subclass of mean-type mappings which appeared in the previous section to certain properties of directed graphs.
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}}\)). Then, 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 \({\textbf{d}}\)-averaging mapping on I if each \(M_i\) is a \(d_i\)-variable mean on I.
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}}\) define a mean-type mapping \({\textbf{M}}_\alpha :I^p \rightarrow I^p\) by
recall that \(M_i^{(p,\alpha _i)}\)-s were defined in (1.4). In the more explicit form we have
Few examples of this sort of mean-types mapping are presented in the last section. We aim to study the family of means which are \({\textbf{M}}_\alpha \)-invariant. The important part of our consideration will use some facts from graph theory.
Remark 1
Observe that for each element of \(\alpha \in {\mathbb {N}}_p^{\textbf{d}}\) we can recover the value of p (based on the vector \({\textbf{d}}\)) but we cannot do the same for the single element of \(\alpha _i \in {\mathbb {N}}_p^{d_i}\) (in this example \(i \in \{1,\dots ,p\}\)). Therefore, it is natural to use notations \({\textbf{M}}_\alpha \) and \(M_i^{(p;\alpha _i)}\).
3.1 General Properties of Directed Graphs
Now we recall some elementary facts concerning graphs. For details, we refer the reader to the classical book [13].
A digraph is a pair \(G=(V,E)\), where V is a finite set of vertexes, and \(E\subset V \times V\) is a set of edges. For each \(v \in V\) we denote by \(N_G^-(v)\) and \(N_G^+(v)\) sets of in-neighbors and out-neighbors, respectively. More precisely \(N_G^-(v)=\{w \in V :(w,v)\in E\}\) and \(N_G^+(v)=\{w \in V :(v,w)\in E\}\). The edges of the form (v, v) for \(v \in V\) are called loops.
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 a 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 in a graph is a non-empty walk in which only the first and last vertices are equal. A directed graph is said to be aperiodic if there is no integer \(k > 1\) that divides the length of every cycle of the graph. A graph which is simultaneously irreducible and aperiodic is called ergodic. We also need two lemmas which will be useful in the remaining part of this paper
Lemma 1
Let \(G=(V,E)\) be an ergodic digraph. Then there exists \(q_0\) such that for all \(q \ge q_0\), and \(v,w \in V\) there exists a walk from v to w of length exactly q.
Proof
First, since G is ergodic, there exist \(k>1\) and cycles \((C_i)_{i=1}^k\) in G of length \((m_i)_{i=1}^k\), respectively, such that \(\gcd (m_1,\dots ,m_k)=1\). Then there exists \(n_0\in {\mathbb {N}}\), such that every number \(n \ge n_0\) can be expressed as
for some nonnegative integers \(\alpha _1,\dots ,\alpha _k\) (see for example [6]). Next, for \(v,w \in V\), denote
Since G is irreducible, for all \(v,w \in V\) there exists a walk \(A_{vw}\) from v to w, which contains all vertices in G (vertices may appear many times)—we denote its length by \(l_{v,w}\). Then \(A_{vw}\) has a nonempty intersection with all cycles \((C_i)_{i=1}^k\) (since it contains all vertexes). Consequently, we may extend \(A_{vw}\) by “taking a detour” thought any cycle \(C_i\), also many times. Thus
Therefore \(q \in P_{v,w}\) for all \(q \ge l_{v,w}+n_0\). Consequently \(q \in \bigcap \nolimits _{v,w \in V} P_{v,w}\) for every \(q \ge \max \big \{l_{v,w}:v,w\in V\big \}+n_0:=q_0\), which completes the proof. \(\square \)
Lemma 2
For an ergodic digraph \(G=(V,E)\) define \(T_G :\{-1,0,1\}^V \rightarrow \{-1,0,1\}^V\) as follows: for an arbitrary \(c :V \rightarrow \{-1,0,1\}\) and \(v \in V\) we set
Then for every function \(c_0 :V \rightarrow \{-1,0,1\}\) there exists a number \({\bar{c}} \in \{-1,0,1\}\) such that \(T_G^{n}(c_0) \equiv \bar{c}\) for all \(n \ge 3^{|V|}\).
Moreover \({\bar{c}}=0\) unless \(c_0 \equiv 1\) or \(c_0 \equiv -1\).
Proof
For the sake of brevity, for all \(n\in {\mathbb {N}}\), we denote briefly \(c_n:=T_G^n(c_0)\). First observe that if \(c_{n_0}\) is constant for some \(n_0 \in {\mathbb {N}}\) then, since constant functions are fixed points of \(T_G\), we obtain \(c_n = c_{n_0}\) for all \(n \ge n_0\). Thus, in order to show the main part of the statement, it is sufficient to show that \(c_{n_0}\) is constant for some \(n_0 \in \{0,\dots ,3^{|V|}\}\).
By \(c_{n+1}=T_G(c_n)\), since the range of T has \(3^{|V|}\) elements, we know that there exist \(\alpha ,n_0 \in \{1,\dots ,3^{|V|}\}\) such that
Next, we show that \(c_{n_0}\) is a constant function. First, since \(c_{n_0}(V)\) is a nonempty subset of \(\{-1,0,1\}\), we know that at least one of the following conditions is valid:
It splits our proof to three (possibly overlapping) cases.
Case A. Once we have \(c_{n_0}(V)=\{0\}\), that is \(c_{n_0}\equiv 0\), then \(T_G^n(c_0)=T^{n-n_0}(c_{n_0})\equiv 0\) for all \(n \ge n_0\) and we are done.
Case B. If \(1 \in c_{n_0}(V)\) then take \(v_0\in V\) such that \(c_{n_0}(v_0)=1\). By (3.3) we have
Next, define a sequence \((V_n)_{n=0}^\infty \) of sets of vertexes (that is subsets of V) by \(V_0:=\{v_0\}\), and
Observe that \(w \in V_{p+1}\) if and only if there exists an edge from w to some vertex in \(V_p\), that is \(V_{p+1}=N_G^-(V_p)\) (\(p\ge 0\)). Thus \(c_n(v)=1\) for all \(v \in V_p\) implies \(c_{n-1}(v)=1\) for all \(v \in V_{p+1}\). By a simple induction, in view of (3.4), one gets
By Lemma 1, since G is ergodic, there exists \(q_0\) such that \(V_q=V\) for all \(q\ge q_0\). Take \(k_0\) such that \(n_0+k_0\alpha \ge q_0\). Then, by (3.5), we have \(c_0(v)=1\) for all \(v\in V\).
Case C. Whenever \(-1 \in c_{n_0}(V)\) then, analogously to the previous case, one gets \(c_0\equiv -1\).
Binding all the latter cases, we have proved that \(c_{n_0}\) is a constant function, that is, \(c_{n_0} \equiv {\bar{c}}\) for some \({\bar{c}} \in \{-1,0,1\}\). Since \(n_0 \le 3^{|V|}\), and \(T_G(c_{n_0})=c_{n_0}\), we obtain
Moreover if \({\bar{c}} \ne 0\) then we are not in case A, and therefore \(c_0 \equiv 1\) or \(c_0 \equiv -1\) as it has been proved in cases B and C, respectively. \(\square \)
After this extensive introduction, 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: \(V_\alpha :={\mathbb {N}}_p\) and \(E_\alpha :=\{(\alpha _{i,j},i) :i \in {\mathbb {N}}_p \text { and }j \in {\mathbb {N}}_{d_i}\}\).
In view of (3.1) we get that \(x_k\) appears in \([{\textbf{M}}_\alpha ]_i\) as an argument if and only if \(G_\alpha \) contains the edge from k to i. We are going to prove that the natural assumption to warranty that \({\textbf{M}}_\alpha \)-invariant mean is uniquely determined, is that \(G_\alpha \) is ergodic. Therefore, for \(p \in {\mathbb {N}}\) and \({\textbf{d}}\in {\mathbb {N}}^p\), we set
3.2 Graphs of Averaging Mappings
Now we show the first nontrivial result referring directly to \({\textbf{d}}\)-averaging mappings.
Proposition 1
Let \(I \subset {\mathbb {R}}\) be an interval, \(p \in {\mathbb {N}}\), \({\textbf{d}}\in {\mathbb {N}}^p\), \(\alpha \in {{\,\textrm{Erg}\,}}({\textbf{d}})\), and \({\textbf{M}}=(M_1,\dots ,M_p)\) be a \({\textbf{d}}\)-averaging mapping. If all \(M_i\)-s are strict means, then \({\textbf{M}}_\alpha \) is uniformly weak contractive.
Moreover, for all \(x \in I^p\), either \({\textbf{M}}_\alpha ^{3^p}(x)\) is a constant vector or
Proof
Let \(\Gamma \) be a family of all nonconstant vectors in \(I^p\). For \(n \in \{0,1,\dots \}\) and \(x=(x_1,\dots ,x_p)\in \Gamma \) define \(c_{x,n} :{\mathbb {N}}_p \rightarrow \{-1,0,1\}\) by
Then \(c_{x,n}(i)=1\) for some \(x \in \Gamma \) and \(n \ge 1\) yields \([{\textbf{M}}_\alpha ^n(x)]_i=\max (x)\), thus
Since \(M_i\) is a strict mean, one has
In the other words, \(c_{x,n-1}(\alpha _{i,j})=1\) for all \(j \in {\mathbb {N}}_{d_i}\). Therefore, if \(c_{x,n}(i)=1\) for some \(x \in \Gamma \) and \(n \in {\mathbb {N}}\), then \(c_{x,n-1}(v)=1\) whenever \(v \in N_{G_\alpha }^-(i)\).
The converse implication is also valid. Indeed, if \(c_{x,n-1}(v)=1\) for all \(v \in N_{G_\alpha }^-(i)\) then \([{\textbf{M}}_\alpha ^{n-1}(x)]_k=\max (x)\) for all \(k \in \{\alpha _{i,1},\dots ,\alpha _{i,d_i}\}\) which yields \([{\textbf{M}}_\alpha ^{n}(x)]_i=\max (x)\). Similarly \(c_{x,n}(i)=-1\) if and only if \(c_{x,n-1}(v)=-1\) for all \(v \in N_{G_\alpha }^-(i)\).
Consequently, for every \(x \in \Gamma \) and \(n \ge 0\) we have \(c_{x,n+1}=T_{G_\alpha }(c_{x,n})\), where \(T_{G_\alpha }\) is defined by (3.2). Thus \(c_{x,n}=T_{G_\alpha }^n(c_{x,0})\). By Lemma 2, \(c_x:=c_{x,3^p}\) is a constant function for every \(x \in \Gamma \). Now we have three cases.
First, if \(c_x \equiv -1\) or \(c_x \equiv 1\), then \({\textbf{M}}_\alpha ^{3^p}(x)\) is a constant vector and, since x is nonconstant, one has
Next, if \(c_x \equiv 0\) then \(\min (x)< [{\textbf{M}}_\alpha ^{3^p}(x)]_i < \max (x)\) for all \(i \in {\mathbb {N}}_p\), which also yields (3.7). Thus, by the mean-value property, one gets
which implies the uniform weak conctractivity of \({\textbf{M}}_\alpha \). Finally note that, based on the proof above, we can easily deduce the moreover part. \(\square \)
3.3 Invariance Problem
Following the convention used by several authors (for example, it was used in [22]) and Theorem 1 above, we are going to bind several results in a single theorem. The idea beyond this result (and simultaneously the sketch of its proof) is to bind Proposition 1 (which states that, under certain conditions, \({\textbf{M}}_\alpha \) is uniformly weak contractive) and Theorem 1 (which provides a number of properties of such mappings). Before we formulate this result, which should be considered as the most important outcome of this paper, let us underline two issues. First, we shuffle the order of items in these results (in our opinion, they are more natural). Second, in some parts we need to give some effort in the proof, since we cannot apply Theorem 1 directly.
Theorem 2
Let \(I \subset {\mathbb {R}}\) be an interval, \(p \in {\mathbb {N}}\), \({\textbf{d}}\in {\mathbb {N}}^p\), and \({\textbf{M}}=(M_1,\dots ,M_p)\) be a \({\textbf{d}}\)-averaging mapping on I such that all \(M_i\)-s are continuous and strict. Then, for all \(\alpha \in {{\,\textrm{Erg}\,}}({\textbf{d}})\),
-
(a)
there exists the 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)_{n=1}^\infty \) 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.
Proof
By Proposition 1 we know that \({\textbf{M}}_\alpha \) is uniformly weakly contractive. Then the vast majority of the proof is based on Theorem 1; more precisely: (iv) yields (a), (ii) implies (b) and (d), and (iii) implies (e).
Moreover, for all \(i \in {\mathbb {N}}_p\), if \(M_i\) is nondecreasing then the mapping
is also nondecreasing (in each of its variable), and therefore \([{\textbf{M}}_\alpha ]_i\) is nondecreasing. Since \(i \in {\mathbb {N}}_p\) is arbitrary, in view of Theorem 1 part (vi), we get (f). Analogously, using part (vii) of the same result, one can prove (g).
At this stage (c) is the only remaining part to be proved, whence we need to prove that \(K_\alpha \) is a strict mean on I. To this end, take a nonconstant vector \(x \in I^p\). We show that \(K_\alpha (x)<\max (x)\) (the proof of the second inequality is analogous).
Due to the moreover part of Proposition 1 we have that either (3.6) holds or \({\textbf{M}}_\alpha ^{3^p}(x)\) is a constant vector. In the first case, since \(K_\alpha \) is \({\textbf{M}}_\alpha \)-invariant, using the inequality \(K_\alpha =K_\alpha \circ {\textbf{M}}_\alpha ^{3^p}\) and the mean-value property of \(K_\alpha \), we obtain
If \({\textbf{M}}_\alpha ^{3^p}(x)\) is a constant vector (that is \({\textbf{M}}_\alpha ^{3^p}(x)={\textbf{K}}_\alpha (x)\)) then let \(n_0\in \{0,\dots ,3^p\}\) be the smallest number such that \({\textbf{M}}_\alpha ^{n_0}(x)={\textbf{K}}_\alpha (x)\).
Obviously \(n_0>0\) since x is nonconstant. Moreover, \(y:={\textbf{M}}_\alpha ^{n_0-1}(x)\) is a nonconstant vector with \({\textbf{K}}_\alpha (x)={\textbf{M}}_\alpha (y)\).
Then \(y_k=\min (y)\) for some \(k \in {\mathbb {N}}_p\). Since \(G_\alpha \) is irreducible, we have \((k,i) \in E_\alpha \) for some \(i \in {\mathbb {N}}_p\). Therefore, by the definition of \(G_\alpha \), one gets \(\alpha _{i,j}=k\) for some \(j \in {\mathbb {N}}_{d_i}\). Then \(\max (y_{\alpha _{i,1}},\dots ,y_{\alpha _{i,d_i}}) \le \max (y)\) and \(y_{\alpha _{i,j}}=y_k=\min (y)<\max (y)\). Therefore, since \(M_i\) is strict,
However, since \({\textbf{M}}_\alpha \) is a mean-type mapping, we obtain
and thus we get \(K_\alpha (x)<\max (x)\).
Similarly, one can prove the inequality \(K_\alpha (x)>\min (x)\). Since x is an arbitrary nonconstant vector in \(I^p\), we obtain that \(K_\alpha \) is a strict mean, which was the last unproved part of this statement. \(\square \)
4 Applications and Examples
4.1 An Application to Functional Equations
As a first application, we solve the functional equation \(F \circ {\textbf{M}}_\alpha =F\). Obviously, under standard conditions, it has a unique solution in the family of means. We show that if we extend the considered family to all functions which are continuous on the diagonal, we are able to follow the pattern of invariant means.
Theorem 3
Let \(I \subset {\mathbb {R}}\) be an interval, \(p \in {\mathbb {N}}\), \({\textbf{d}}\in {\mathbb {N}}^p\), \(\alpha \in {{\,\textrm{Erg}\,}}({\textbf{d}})\), and \({\textbf{M}}=(M_1,\dots ,M_p)\) be a \({\textbf{d}}\)-averaging mapping on I such that all \(M_i\)-s are strict.
A function \(F:I^p \rightarrow {\mathbb {R}}\) that is continuous on the diagonal \(\Delta (I^p):=\{(u_1,\dots ,u_p)\in I^p :u_1=\dots =u_p\}\) is invariant with respect to the mean-type mapping \({\textbf{M}}_\alpha \), i.e. F satisfies the functional equation
if, and only if, there is a continuous function \(\varphi :I \rightarrow {\mathbb {R}}\) such that \(F=\varphi \circ K_\alpha \), where \(K_\alpha :I^p \rightarrow I\) it the unique \({\textbf{M}}_\alpha \)-invariant mean.
Proof
Take an \({\textbf{M}}_\alpha \)-invariant function \(F :I^p \rightarrow {\mathbb {R}}\) that is continuous on the diagonal. Then, for all \(n \in {\mathbb {N}}\), we have \(F \circ {\textbf{M}}_\alpha ^n=F\). In the limit case, by Theorem 2 part (d), since F is continuous on the diagonal, we get \(F=F \circ {\textbf{K}}_\alpha \). Thus \(F=\varphi \circ K_\alpha \) for \(\varphi (x):=F(x,\dots ,x)\).
Conversely, if \(F=\varphi \circ K_\alpha \) then, since \(K_\alpha \) in \({\textbf{M}}_\alpha \)-invariant, for all \(x \in I^p\) we get
which completes the proof \(\square \)
4.2 Classical Application of Theorem 2
In this section we apply Theorem 2 to show that the mean-type mapping given by (1.3) has the unique invariant mean. This was one of the motivations to write this paper. In this and the subsequent section, all mean-type mappings contain only power means (since the means that build the mean-type mapping \({\textbf{M}}\) do not affect the convergence of the sequence of iterates \(({\textbf{M}}_\alpha ^n)\) provided that they are all strict). Recall that the n-variable power mean of order s is defined by
where \(n \in {\mathbb {N}}\) and \(x_1,\dots ,x_n \in {\mathbb {R}}_+\). For simplicity, let us assume that all means in this section are on \({\mathbb {R}}_+\).
Example 2
Let \({\textbf{M}}:{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+^4\) be given by (1.3). We show that there exists a unique \({\textbf{M}}\)-invariant mean \(K :{\mathbb {R}}_+^4 \rightarrow {\mathbb {R}}_+\). Additionally, K is continuous and strict.
Indeed, in the framework of \({\textbf{d}}\)-averaging mappings, we express \({\textbf{M}}\) defined in (1.3) 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 an strict. Moreover, the \(\alpha \)-incidence graph (see Figure 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 Theorem 2, 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.
4.3 Mean-Type Mappings Without Ergodic Incidence Graph
In the last section, we show a few difficulties that arise in this setting. Moreover, in each example we present the incidence graph, which would help us to understand the problems appearing when it comes to deal with the invariance problem.
In the first example we show what happens if the incidence graph is disconnected.
Example 3
(Disconnected incidence graph). Let \(p=4\),
Then the mean-type mapping \({\textbf{M}}_\alpha :{\mathbb {R}}_+^4\rightarrow {\mathbb {R}}_+^4\) is of the form
Observe that, in this case, \({\textbf{M}}_\alpha \) is not weakly contractive, for example
As a matter of fact, we can split the mapping \({\textbf{M}}_\alpha \) into two bivariate mappings. Then, using the classical result, which says that the arithmetic-harmonic mean coincides with the geometric mean, we obtain
As a result we have two natural \({\textbf{M}}_\alpha \)-invariant means. Namely
Therefore \(K(x,y,z,t)=S(\sqrt{xy},\sqrt{zt})\) is \({\textbf{M}}_\alpha \)-invariant for every mean \(S :{\mathbb {R}}_+^2 \rightarrow {\mathbb {R}}_+\). Note that we cannot exclude that there are other \({\textbf{M}}_\alpha \)-invariant means, however all continuous solutions are of this form.
In next two examples we deal with the weakly connected graphs which are not irreducible. We do believe that it is possible to generalize these examples to a result which covers weakly connected graphs. However, at this stage, it is a conjecture.
Example 4
(Weakly connected incidence graph I). Let \(p=4\),
Then the mean-type mapping \({\textbf{M}}_\alpha :{\mathbb {R}}_+^4\rightarrow {\mathbb {R}}_+^4\) is of the form
Thus \({\textbf{M}}_\alpha \) does not depend on the last coordinate. As a result, we cannot claim that the \({\textbf{M}}_\alpha \)-invariant mean is, for example, monotone or strict. In this case, however, the \({\textbf{M}}_\alpha \)-invariant mean is uniquely determined, since \({\textbf{M}}_\alpha \) restricted to the first three variables (in both domain and values) admit the unique invariant mean.
Example 5
(Weakly connected incidence graph II). Let \(p=4\),
Then \({\textbf{M}}_\alpha \) is of the form
Analogously to Example 3, we have
Therefore \(K(x,y,z,t)=\sqrt{xy}\) is the only \({\textbf{M}}\)-invariant mean (see [24, Theorem 1] for the detailed proof). Remarkably, it depends on neither z nor t.
Finally, we show an example with periodic incidence graph, with the conjecture as in the case of weakly connected graphs.
Example 6
(Periodic incidence graph). Let \(p=4\),
Then \({\textbf{M}}_\alpha \) is of the form
Then, after some computations, we have
Analogously to Example 3 and the previous example, we have
consequently
Therefore \(K(x,y,z,t)=S(\sqrt{xy},\sqrt{zt})\) is \({\textbf{M}}_\alpha \)-invariant for every symmetric mean \(S :{\mathbb {R}}_+^2 \rightarrow {\mathbb {R}}_+\). Moreover, using ideas from Example 3, one can show that all continuous \({\textbf{M}}_\alpha \)-invariant means are of this form.
Data Availability Statement
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
References
Baják, Sz., Páles, Zs.: Computer aided solution of the invariance equation for two-variable Gini means. Comput. Math. Appl. 58, 334–340 (2009)
Baják, Sz., Páles, Zs.: Invariance equation for generalized quasi-arithmetic means. Aequ. Math. 77, 133–145 (2009)
Baják, Sz., Páles, Zs.: Computer aided solution of the invariance equation for two-variable Stolarsky means. Appl. Math. Comput. 216(11), 3219–3227 (2010)
Baják, Sz., Páles, Zs.: 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. Canadian Mathematical Society Series of Monographs and Advanced Texts. Wiley, New York (1987). A Study in Analytic Number Theory and Computational Complexity, A Wiley-Interscience Publication
Brauer, A.: On a problem of partitions. Am. J. Math. 64(1), 299–312 (1942)
Daróczy, Z.: Functional equations involving means and Gauss compositions of means. Nonlinear Anal. 63(5–7), e417–e425 (2005)
Daróczy, Z., Páles, Zs.: 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, Zs.: The Matkowski–Sutô problem for weighted quasi-arithmetic means. Acta Math. Hung. 100(3), 237–243 (2003)
Deręgowska, B., Pasteczka, P.: Quasi-arithmetic-type invariant means on probability space. Aequ. 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)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science. Addison-Wesley, Reading (1989)
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)
Jarczyk, J., Jarczyk, W.: Invariance of means. Aequ. Math. 92(5), 801–872 (2018)
Lagrange, J.L.: Sur une nouvelle mèthode de calcul intègrale pour diffèrentielles affectées d’un radical carre. Mem. Acad. R. Sci. Turin II 2, 252–312 (1784–1785)
Lehmer, D.H.: On the compounding of certain means. J. Math. Anal. Appl. 36, 183–200 (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. Aequ. 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), volume 354 of Grazer Math. Ber., pp. 158–179. Institut für Mathematik, Karl-Franzens-Universität Graz, Graz (2009)
Matkowski, J., Pasteczka, P.: Invariant means and iterates of mean-type mappings. Aequ. Math. 94(3), 405–414 (2020)
Matkowski, J., Pasteczka, P.: Mean-type mappings and invariance principle. Math. Inqual. Appl. 24(1), 209–217 (2021)
Matkowski, J., Páles, Zs.: Characterization of generalized quasi-arithmetic means. Acta Sci. Math. (Szeged) 81(3–4), 447–456 (2015)
Pasteczka, P.: Limit properties in a family of quasi-arithmetic means. Aequ. Math. 90(4), 773–785 (2016)
Pasteczka, P.: Invariant property for discontinuous mean-type mappings. Publ. Math. Debr. 94(3–4), 409–419 (2019)
Pasteczka,P.: There is at most one continuous invariant mean. Aequ. Math. 96(4), 833–841 (2022)
Schoenberg, I.J.: Mathematical Time Exposures. Mathematical Association of America, Washington (1982)
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
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. Invariance Property for Extended Means. Results Math 78, 146 (2023). https://doi.org/10.1007/s00025-023-01922-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-01922-6