Invariant means and iterates of mean-type mappings (Q2182694)

Let \(M\) and \(N\) be continuous bivariate means in an interval \(I\) and the mean-type mapping \((M,N)\) be diagonally contractive. The first author has worked out many important results related to invariant means, symmetric and strictly increasing, complementary and inequalities [Aequationes Math. 57, No. 1, 87--107 (1999; Zbl 0930.26014); Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 41, 145--158 (2013; Zbl 1289.26005)]. Motivated by these papers, the authors exposed their article. A classical result states that for two continuous, strict means \(M, N : I^2\to I \) (\(I\) is an interval) there exists a unique \((M,N)\)-invariant mean \( K : I^2\to I,\) such that \(K\circ (M,N) = K\) and, moreover, the sequence of iterates \(((M,N)^n)^\infty_{n=1}\) pointwise converges to \((K, K)\). Recently, it was proved that a continuity assumption in general cannot be omitted. The authors showed that if \(K\) is a unique \((M,N)-\)invariant mean then \((M,N)^n\to (K, K)\) without a continuity assumption.