Generalization of the Harmonic Weighted Mean Via Pythagorean Invariance Identity and Application

Under some simple conditions on the real functions f and g defined on an interval I ⊂ (0, ∞), the two-place functions Af (x, y) = f (x) + y − f (y) and {G_g}\left({x,y} \right) = {{g\left(x \right)} \over {g\left(y \right)}}y generalize, respectively, A and G, the classical weighted arithmetic and geometric means. In this note, basing on the invariance identity G ∘ (H, A) = G (equivalent to the Pythagorean harmony proportion), a suitable weighted extension Hf,g of the classical harmonic mean H is introduced. An open problem concerning the symmetry of Hf,g is proposed. As an application a method of effective solving of some functional equations involving means is presented.

Fixed points and iterations of mean-type mappings

Let (X, d) be a metric space and T: X → X a continuous map. If the sequence (T n)n∈ℕ of iterates of T is pointwise convergent in X, then for any x ∈ X, the limit $$\mu _T (x) = \mathop {\lim }\limits_{n \to \infty } T^n (x)$$ is a fixed point of T. The problem of determining the form of µT leads to the invariance equation µT ○ T = µT, which is difficult to solve in general if the set of fixed points of T is not a singleton. We consider this problem assuming that X = I p, where I is a real interval, p ≥ 2 a fixed positive integer and T is the mean-type mapping M =(M 1,...,M p) of I p. In this paper we give the explicit forms of µM for some classes of mean-type mappings. In particular, the classical Pythagorean harmony proportion can be interpreted as an important invariance equality. Some applications are presented. We show that, in general, the mean-type mappings are not non-expansive.