Abstract
Under some simple conditions on real function f defined on an interval I, the bivariable functions given by the following formulas
for all \(x,y\in I\), generalize, respectively, the classical weighted arithmetic, geometric and harmonic means. The invariance equations
where f, g, h are the unknown functions are, in some special cases, solved. The convergence of iterates of the relevant mean-type mappings is considered. As an application the solutions of some functional equations are determined.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The classical Pythagorean harmony proportion involving the bivariable symmetric arithmetic mean \({\mathcal {A}}\), harmonic mean \({\mathcal {H}}\) and geometric mean \({\mathcal {G}}\), equivalent to the equality
as well as its extension for the weighted means
where \(t\in \left( 0,1\right) \), and
referred to as the invariance of the geometric mean with respect to the mean-type mappings \(\left( {\mathcal {A}}_{t},{\mathcal {H}}_{t}\right) \), has well known important consequences. In particular it implies that for every \(t\in \left( 0,1\right) \) the sequence \(\left( \left( {\mathcal {A}}_{t},{\mathcal {H}}_{t}\right) ^{n}:n\in {\mathbb {N}}\right) \) of the iterates of the mean-type mapping \(\left( {\mathcal {A}}_{t},{\mathcal {H}}_{t}\right) \) converges to \(\left( {\mathcal {G}},{\mathcal {G}}\right) \) (uniformly on compact subsets of \(\left( 0,\infty \right) ^{2}\)) [12] (also, under stronger conditions, Borwein and Borwein [2]).
This is a special case of the following more general fact. If M, N are continuous bivariable strict means in an interval I, then there is a unique mean K invariant with respect to the mean-type mapping \(\left( M,N\right) \), that is satisfying the identity \(K\circ \left( M,N\right) =K\); moreover the sequence of iterates \(\left( \left( M,N\right) ^{n}:n\in {\mathbb {N}}\right) \) converges to \(\left( K,K\right) \) (uniformly on compact subsets of \(I^{2}\)) (see [9, 10, 12]). At this stage the mean N is called complementary to M with respect to K (briefly, a K-complementary to M) and vice versa.
There is a rich literature related to the invariance equation problems. We refer the interested in the results dealing with invariant means, a survey paper [7]. Let us mention that invariance of the arithmetic mean with respect to the quasi-arithmetic mean-type mappings as well as some related questions were considered among others in [1, 4,5,6, 9].
Motivated by these facts, we give necessary and sufficient conditions for a real function f defined on an interval I, under which the functions \(A_{f}\), \(G_{f},\) \(H_{f}\) given by the following formulas
for \(x,y\in I\), are bivariable means in I, generalizing respectively, the weighted arithmetic, geometric and harmonic means. In fact these means are symmetric, if and only if they coincide with \({\mathcal {A}},{\mathcal {G}},\) \({\mathcal {H}}\), respectively. The invariance identity
extending the Pythagorean harmony proportion and confirming the adequacy of the generalized means, allows to conclude the suitable complementariness of \(A_{f}\) and \(H_{f}\) with respect to \({\mathcal {G}}\), and determine the convergence of sequence of the iterates of the mean-type mapping \(\left( A_{f},H_{f}\right) \) to \(\left( {\mathcal {G}}, {\mathcal {G}}\right) \) (Sect. 2).
In Sect. 3 we consider three related functional equations
where f, g, h are the unknown functions. We solve the first equation in the case when \(A_{f}={\mathcal {A}}\), the second in the case when \(H_{h}={\mathcal {H}}\), and the third in the case when \(G_{g}={\mathcal {G}} \). Moreover, for each of the classical symmetric means \({\mathcal {A}},{\mathcal {H}}, {\mathcal {G}}\) and for some of the above generalized means \(A_{f}\), \(G_{f}\), \(H_{f}\) we prove the existence and uniqueness of the respective complementary mean, we give its explicit formula, as well as the limit of the sequence of iterates of the relevant mean-type mappings.
In the last section we establish the form of all functions which are invariant with respect to the corresponding mean-type mappings and continuous on the diagonal.
2 Basic Notions and Generalization of the Weighted Arithmetic, Geometric and Harmonic Means
Let \(I\subset {\mathbb {R}}\) be an interval. A bivariable function \(M:I^{2}\rightarrow {\mathbb {R}}\) is called a mean in I, if
A mean M is called strict if for all \(x,y\in I\), \(x\ne y\), these inequalities are sharp, and it is called symmetric, if \(M\left( x,y\right) =M\left( y,x\right) \) for all \(x,y\in I\) (see [2, 3]).
Remark 1
If \(M:I^{2}\rightarrow I\) is a mean, then \(M\left( J\times J\right) =J\) for any subinterval \(J\subset I\).
Let \(K,M,N:I^{2}\rightarrow I\) be means. If
we write briefly \(K\circ \left( M,N\right) =K\) and we say that:
-
(a)
K is invariant with respect to the mean-type mapping \(\left( M,N\right) :I^{2}\rightarrow I^{2}\), briefly, K is \(\left( M,N\right) \)-invariant;
-
(b)
N is complementary to M with respect to K, briefly, N is a K-complementary to M.
Let us quote the following (see Remark 1 in [9])
Lemma 1
Let \(I\subset {\mathbb {R}}\) be an interval and \(K:I^{2}\rightarrow I\) be a symmetric mean which is continuous and strictly increasing with respect to the first variable. Then for every mean \(M:I^{2}\rightarrow I\) there exists a unique K-complementary mean \(N:I^{2}\rightarrow I\).
Remark 2
([11]). Let \(I\subset {\mathbb {R}}\) be an interval and let \(f,\varphi :I\rightarrow {\mathbb {R}}\). Then the function
is a mean if and only if \(\varphi =\left. \mathrm {id}\right| _{I}-f\), i.e. \(M=A_{f}\), where \(A_{f}:I^{2}\rightarrow {\mathbb {R}}\) is defined by
and the functions f and \(\left. \mathrm {id}\right| _{I}-f\) are increasing. Moreover
-
(i)
\(A_{f}\) is a mean if and only if the function f is increasing and non-expansive;
-
(ii)
\(A_{f}\) is a strict mean if and only if f and \(\left. \mathrm {id}\right| _{I}-f\) are strictly increasing, or equivalently, if and only if f is strictly increasing and strictly contractive, i.e.
$$\begin{aligned} \left| f\left( x\right) -f\left( y\right) \right| <\left| x-y\right| , \qquad x,y\in I, \quad x\ne y; \end{aligned}$$ -
(iii)
\(A_{f}\) is a weighted arithmetic mean of the weight \(t\in \left[ 0,1\right] \), i.e.
$$\begin{aligned} A_{f}\left( x,y\right) =tx+\left( 1-t\right) y, \qquad x,y\in I, \end{aligned}$$if and only if the function \(I\ni x\longmapsto f\left( x\right) -tx\) is constant;
-
(iv)
\(A_{f}\) is symmetric if and only if \(A_{f}={\mathcal {A}}\), or equivalently, if and only if the function \(I\ni x\longmapsto f\left( x\right) -\frac{x}{2}\) is constant.
Under the assumptions of this remark, the mean \(A_{f}\) given by formula (1) is called a generalized weighted arithmetic mean and the function f, called its generator, being Lipschitzian, is absolutely continuous; consequently, it is differentiable almost everywhere.
Remark 3
([8]). Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f,\psi :I\rightarrow \left( 0,\infty \right) \). Then the function
is a mean if and only if \(\psi =\frac{\left. \mathrm {id}\right| _{I}}{f}\), i.e. \(M=G_{f}\), where \(G_{f}:I^{2}\rightarrow \left( 0,\infty \right) \) is defined by
and the functions f and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) are increasing. Moreover
-
(i)
\(G_{f}\) is a mean if and only if the function f is increasing and
$$\begin{aligned} 1\le \frac{f\left( y\right) }{f\left( x\right) } \le \frac{y}{x},\qquad x,y\in I, \, x<y; \end{aligned}$$ -
(ii)
\(G_{f}\) is a strict mean if and only if the functions f and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) are strictly increasing, or equivalently, if and only if
$$\begin{aligned} 1<\frac{f\left( y\right) }{f\left( x\right) }<\frac{y}{x},\qquad x,y\in I,\, x<y; \end{aligned}$$ -
(iii)
\(G_{f}\) is a weighted geometric mean of the weight \(t\in \left[ 0,1\right] \), i.e.
$$\begin{aligned} G_{f}\left( x,y\right) =x^{t}y^{ 1-t}, \qquad x,y\in I, \end{aligned}$$if and only if the function \(I\ni x\longmapsto \frac{f\left( x\right) }{x^{t}}\) is a constant;
-
(iv)
\(G_{f}\) is symmetric if and only if \(G_{f}={\mathcal {G}}\), or equivalently, if and only if the function \(I\ni x\longmapsto \frac{f\left( x\right) }{\sqrt{x}}\) is constant.
Under the assumptions of this remark, the mean \(G_{f}\) given by formula (2) is called a generalized weighted geometric mean and the function f, called its generator, is absolutely continuous; consequently, differentiable almost everywhere.
Note the following easy to prove
Remark 4
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow {\mathbb {R}}\). Then the function \(H_{f}:I^{2}\rightarrow {\mathbb {R}}\),
is a correctly defined (strict) mean in I if and only if the functions f and \(\left. \mathrm {id}\right| _{I}-f\) are (strictly) increasing. Moreover
-
(i)
\(H_{f}\) is a mean if and only if \(A_f\) is a mean;
-
(ii)
\(H_{f}\) is a weighted harmonic mean of the weight \(t\in \left[ 0,1\right] \), i.e.
$$\begin{aligned} H_{f}\left( x,y\right) =\frac{xy}{t x+\left( 1-t\right) y}, \qquad x,y\in I, \end{aligned}$$if and only if the function \(I\ni x\longmapsto f\left( x\right) -tx\) is constant;
-
(iii)
\(H_{f}\) is symmetric if and only if \(H_{f}={\mathcal {H}}\), or equivalently, if and only if the function \(I\ni x\longmapsto f\left( x\right) -\frac{x}{2}\) is constant.
Under the assumptions of this remark, the mean \(H_{f}\) given by formula (3) is called a generalized weighted harmonic mean and the function f, called its generator, is absolutely continuous; consequently, is differentiable almost everywhere.
The following result shows that, in particular, the above proposed definitions of generalizations of the classical means are natural.
Theorem 1
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow {\mathbb {R}}\) and \(h:I\rightarrow {\mathbb {R}}\) be such that f, h, \(\left. \mathrm {id}\right| _{I}-f\), \(\left. \mathrm {id}\right| _{I}-h\) are increasing. Then the following conditions are pairwise equivalent
-
(i)
the means \(A_{f}\) and \(H_{h}\) are mutually complementary with respect to the geometric mean \({\mathcal {G}}\) (see [9]);
-
(ii)
the geometric mean \({\mathcal {G}}\) is invariant with respect to the mean-type mapping \(\left( A_{f},H_{h}\right) :I^{2}\rightarrow I^{2}\), i.e.
$$\begin{aligned} {\mathcal {G}}\circ \left( A_{f},H_{h}\right) ={\mathcal {G}}; \end{aligned}$$(4) -
(iii)
the function \(h-f\) is constant, and
$$\begin{aligned} H_{h}=H_{f}. \end{aligned}$$
Moreover, if the functions f , h, \(\left. \mathrm {id}\right| _{I}-f\), \(\left. \mathrm {id}\right| _{I}-h\) are strictly increasing and \(h-f\) is constant, then the sequence of iterates \(\left( \left( A_{f},H_{h}\right) ^{n}:n\in {\mathbb {N}}\right) \) of the mean-type mapping \(\left( A_{f},H_{h}\right) \) converges, uniformly on compact subsets of \(I^{2},\) to the mean-type mapping \(\left( {\mathcal {G}}, {\mathcal {G}}\right) \).
Proof
Conditions (i) and (ii) are equivalent (see [9]).
Assume (ii). From the definitions of \({\mathcal {G}}\), \(A_{f}\) and \(H_{h}\) (see (1) and (3)), equality (4) holds, if and only if, for arbitrary \(x,y\in I\),
which (after simple calculations) can be written equivalently in the form
The above equality holds if and only if the function \(h-f\) is a constant, i.e. if and only if there is \(c\in {\mathbb {R}} \) such that
From (3) it follows that \(H_{h}=H_{f}\).
To prove the “moreover” result note that, in view of Remark 2 (ii), the function f is continuous and, consequently, the mean-type mapping \(\left( A_{f},H_{f}\right) \) is continuous. Since the coordinate means are strict, the result follows from the main result of [10] (see also [12]). \(\square \)
3 Invariant Means and Some Open Problems
In this section we consider some invariance equations involving the introduced generalized weighted means \(A_f\), \(G_f\) and \(H_f\).
We begin with
Problem 1
Let \(I\subset \left( 0,\infty \right) \) be an interval. Find all functions \(f,g,h:I\rightarrow \left( 0,\infty \right) \) satisfying the equation
assuming that f, g, h are, respectively, the generators of generalized weighted arithmetic, geometric and harmonic means.
In the case when \(A_{f}\) is symmetric, i.e. if \(A_{f}={\mathcal {A}}\), we prove the following
Theorem 2
Let \(I\subset \left( 0,\infty \right) \) be an interval. Assume that \(g:I\rightarrow \left( 0,\infty \right) \) is strictly increasing and the functions \(\frac{\left. \mathrm {id}\right| _{I}}{g}\), \(h:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-h\) are increasing. If
then there exist \(a\in \left( 0,\infty \right) \) and \(b\in {\mathbb {R}}\) such that
and
Proof
According to the definitions of the involved means (see (2) and (3)), Eq. (5) reduces to
which, after simple calculations, implies that
The assumptions of g and h imply that they are absolutely continuous. Let \(x\in I\) be a differentiability point of g and h. Dividing both sides of the Eq. (6) by \(x-y\), we get
It follows that g and h are differentiable at the point x and, letting \(y\rightarrow x\), gives
whence
Differentiating both sides of (6) with respect to the variable x at the point x, we obtain
On the other hand, differentiating both sides of this equality with respect to y (at the points of differentiability of g and h), we get
and this equality holds true for almost all x and almost all y in I. Setting here \(y=x\) we have
whence, in view of (7), we obtain
which simplifies to
The absolute continuity and strict monotonicity of g imply that \(g^{\prime }\left( x\right) >0\) a.e. in I, so
Since the derivative of the absolutely continuous function g coincides a.e. in I with the continuous function \(x \longmapsto \frac{g\left( x\right) }{x}\), it follows that g must be continuously differentiable in I. Thus g satisfies the differential equation
Solving this equation we get
for some \(a>0\). Hence, in view of (7) we have
so
for some real b. Hence, by the definitions of \(G_{g}\) and \(H_{h},\) we get
\(\square \)
Let us note that Lemma 1 and main results of [10] (also [12]) allow to conclude:
Remark 5
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be increasing functions. Then
-
(i)
there exists a unique function \(M:I^{2}\rightarrow {\mathbb {R}}\) such that
$$\begin{aligned} {\mathcal {A}}\circ \left( G_{f},M\right) ={\mathcal {A}}, \end{aligned}$$moreover M is an \({\mathcal {A}}\)-complementary mean for \(G_{f}\), and
$$\begin{aligned} M\left( x,y\right) =x+y-\frac{f\left( x\right) }{f\left( y\right) } \,y, \qquad x,y\in I; \end{aligned}$$ -
(ii)
if the functions f and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) are strictly increasing, then the sequence of iterates \(\left( \left( G_{f},M\right) ^{n}:n\in {\mathbb {N}}\right) \) converges to \(\left( {\mathcal {A}}, {\mathcal {A}}\right) \) (uniformly on compact subsets of \(I^{2})\).
We can also consider the invariance of the arithmetic mean \({\mathcal {A}}\) with respect to the mean-type mappings involving at least one of the introduced means \(A_{f}\) or \(H_{f}\). Similarly as in the above remark we will get the explicit formulas for the respective mean-type mappings ensuring the invariance, the limit of sequence of its iterates, as well as the complementary means, but we omit statements of these results.
Corollary 1
Let \(I\subset \left( 0,\infty \right) \) be an interval. Assume that \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) are strictly increasing. The \({\mathcal {A}}\)-complementary mean \(M:I^{2}\rightarrow I\) for \(G_{f}\) obtained in Remark 5 is not a generalized weighted harmonic mean.
Similarly one can raise
Problem 2
Let \(I\subset \left( 0,\infty \right) \) be an interval. Find all functions \(f,g,h:I\rightarrow \left( 0,\infty \right) \) satisfying the equation
assuming that f, g, h are, respectively, the generators of generalized weighted arithmetic, geometric and harmonic means.
In the case when \(H_{h}\) is symmetric, i.e. if \(H_{h}={\mathcal {H}}\), we prove the following
Theorem 3
Let \(I\subset \left( 0,\infty \right) \) be an interval. Assume that \(f:I\rightarrow \left( 0,\infty \right) \), \(\left. \mathrm {id}\right| _{I}-f\), \(g:I\rightarrow \left( 0,\infty \right) \), \(\frac{\left. \mathrm {id}\right| _{I}}{g}\) are increasing. If
then there exist \(a\in \left( 0,\infty \right) \) and \(b\in {\mathbb {R}}\) such that either
and
or
and
Proof
For the same reason as in the previous proof, the functions f and g are differentiable in I. By the definitions of the \({\mathcal {H}}\), \(A_{f}\) and \(G_{g}\) (see (1) and (2)), Eq. (8) can be written in the form
which, after simple calculations, reduces to
Dividing both sides of this equation by \(x-y\) we have
and letting y tend to x we get
whence
Differentiating both sides of (9) in x, (after a simplification) we obtain, for all \(x,y\in I\),
Now, differentiating both sides of this equality in y, we get, for all \(x,y\in I\),
Taking here \(y=x\) we obtain
Note that
as, if \( g\left( x\right) -3xg^{\prime }\left( x\right) =0\) then also \(g\left( x\right) -xg^{\prime }\left( x\right) =0\), and we would have \(g\left( x\right) =0\), contradicting the assumption. Thus
Hence, making use of (10), we get
which implies that for every \(x\in I\),
that is, for every \(x\in I\),
It implies that either there is a constant \(a>0\) such that
or there is \(a>0\) such that
From (10), in the first case we get \(f^{\prime }=0\) in I, so there exists \(b\in {\mathbb {R}}\) such that
and in the second case, \(f^{\prime }=1\) in I, so, for some real b,
Consequently, in the first case we get
and in the second case,
\(\square \)
Let us mention here also a result, related to the invariance of the harmonic mean, that gives us the explicit formula for an \({\mathcal {H}}\)-complementary mean to generalized weighted arithmetic mean \(A_f\). The result reads as follows
Remark 6
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be increasing functions. Then
-
(i)
there exists a unique function \(M:I^{2}\rightarrow {\mathbb {R}}\) such that
$$\begin{aligned} {\mathcal {H}} \circ \left( A_{f},M\right) ={\mathcal {H}}, \end{aligned}$$moreover M is an \({\mathcal {H}}\)-complementary mean for \(A_{f}\), and
$$\begin{aligned} M\left( x,y\right) =\frac{xy\left( f\left( x\right) +y-f\left( y\right) \right) }{\left( x+y\right) \left( f\left( x\right) -f\left( y\right) \right) +y^{2}}, \qquad x,y\in I; \end{aligned}$$ -
(ii)
if the functions f and \(\left. \mathrm {id}\right| _{I}-f\) are strictly increasing, then the sequence of iterates \(\left( \left( A_{f},M\right) ^{n}:n\in {\mathbb {N}}\right) \) converges to \(\left( {\mathcal {H}}, {\mathcal {H}}\right) \) (uniformly on compact subsets of \(I^{2})\).
Similarly, considering the invariance of the harmonic mean \({\mathcal {H}}\) with respect to the mean-type mappings involving at least one of the introduced means \(G_{f}\) or \(H_{f}\) one can determine the explicit formulas for the relevant mean-type mappings ensuring the invariance, the limit of sequence of its iterates, as well as the complementary means.
Corollary 2
Let \(I\subset \left( 0,\infty \right) \) be an interval. Assume that \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) are strictly increasing. The \({\mathcal {H}}\)-complementary to \(A_{f}\) mean \(M:I^{2}\rightarrow I\) obtained in Remark 6 is not a generalized weighted geometric mean.
Finally we formulate the following
Problem 3
Let \(I\subset \left( 0,\infty \right) \) be an interval. Find all functions \( f,g,h:I\rightarrow \left( 0,\infty \right) \) satisfying the equation
assuming that f, g, h are, respectively, the generators of generalized weighted arithmetic, geometric and harmonic means.
The solution of this problem in the case when \(G_{g}\) is symmetric, i.e. if \(G_{g}={\mathcal {G}}\), is given in Theorem 1.
4 Applications: Invariant Functions
In this section we deal with a more general question: when a bivariable function (not necessarily a mean) is invariant with respect to the considered mean-type mappings.
Applying the results of the previous section we determine the form of all functions which are invariant with respect to the relevant mean-type mappings and continuous on the diagonal \(\varDelta :=\left\{ \left( x,x\right) :x\in I\right\} \), where \(I\subset {\mathbb {R}}\) is an interval.
Proposition 1
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Proof
Assume that a continuous on the diagonal \(\varDelta \) function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) satisfies Eq. (11), and define the function \(\varphi : I \rightarrow {\mathbb {R}}\) by
Notice that Eq. (11) can be written in the form
where
From (14), by induction, we obtain
where \(\left( G_f, M\right) ^{n}\) denotes the n-th iterates of the mean-type mapping \(\left( G_f, M\right) \). In view of Remark 5 we get
Since the function \(\varPhi \) is continuous on the diagonal \(\varDelta \) and
it follows from (15) and (13) that, for all \(x,y \in I\),
which proves (12).
Now, assume that there is a continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that (13) holds. Then by Remark 5 the arithmetic mean \({\mathcal {A}}\) is invariant with respect to the mean-type mapping \(\left( G_f, M\right) \), and, for all \(x,y\in I\),
which proves that the function \(\varPhi \) satisfies Eq. (11). \(\square \)
Corollary 3
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (11), then \(\varPhi ={\mathcal {A}}\).
Proof
Assume that \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean satisfying Eq. (11). Since every mean is continuous on the diagonal (see [12]), in view of Proposition 1 there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Setting here \(y=x,\) by the reflexivity of every mean, we get
whence
\(\square \)
Since each of the results given below can be proved similarly as Proposition 1 or Corollary 3 we omit their proofs.
Proposition 2
Let \(I\subset {\mathbb {R}}\) be an interval and let \(f:I\rightarrow {\mathbb {R}}\) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 4
Let \(I\subset {\mathbb {R}}\) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (16), then \(\varPhi ={\mathcal {A}}\).
Proposition 3
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 5
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (17), then \(\varPhi ={\mathcal {A}}\).
Proposition 4
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
or
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 6
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (18) or (19), then \(\varPhi ={\mathcal {G}}\).
Proposition 5
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 7
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (20), then \(\varPhi ={\mathcal {G}}\).
Proposition 6
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
or
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 8
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\left. \mathrm {id}\right| _{I}-f\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (21) or (22), then \(\varPhi ={\mathcal {H}}\).
Proposition 7
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. A function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\), continuous on the diagonal \(\varDelta \), satisfies the functional equation
if and only if there is a single-variable continuous function \(\varphi :I\rightarrow {\mathbb {R}}\) such that
Corollary 9
Let \(I\subset \left( 0,\infty \right) \) be an interval and let \(f:I\rightarrow \left( 0,\infty \right) \) and \(\frac{\left. \mathrm {id}\right| _{I}}{f}\) be strictly increasing functions. If a function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) is a mean and satisfies Eq. (23), then \(\varPhi ={\mathcal {H}}\).
We finish this section with the following
Remark 7
The condition of the continuity of \(\varPhi \) on the diagonal \(\varDelta \) in Propositions 1–7 cannot be omitted. Indeed, for example, the function \(\varPhi :I^{2}\rightarrow {\mathbb {R}}\) defined by
satisfies Eqs. (11), (16) and (17), is discontinuous at every point of \(\varDelta \) and, of course, it is not of the form \(\varphi \circ {\mathcal {A}}\) where \(\varphi \) is a single variable function defined on I.
Data Availability
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.: Invariance equation for generalized quasi-arithmetic means. Aequationes Math. 77, 133–145 (2009)
Borwein, J.M., Borwein, P.B.: Pi and the AGM. Monographies et Études de la Société Mathématique du Canada. Wiley, Toronto (1987)
Bullen, P.S.: Handbook of Means and Their Inequalities. Kluwer Academic Publishers, Dordrecht (2003)
Daróczy, Z., Páles, Z.: The Matkowski–Sutô problem for weighted quasi-arithmetic means. Acta Math. Hung. 100, 237–243 (2003)
Głazowska, D., Jarczyk, W., Matkowski, J.: Arithmetic mean as a linear combination of two quasi-arithmetic means. Publ. Math. Debr. 61, 455–467 (2002)
Jarczyk, J.: Invariance of weighted quasi-arithmetic means with continuous generators. Publ. Math. Debr. 71, 279–294 (2007)
Jarczyk, J., Jarczyk, W.: Invariance of means. Aequationes Math. 92, 801–872 (2018)
Kahlig, P., Matkowski, J.: Generalization of the harmonic weighted mean via Pythagorean invariance identity and application. Ann. Math. Sil. 34, 104–122 (2020)
Matkowski, J.: Invariant and complementary quasi-arithmetic means. Aequationes Math. 57, 87–107 (1999)
Matkowski, J.: Iterations of mean-type mappings and invariant means. Ann. Math. Sil. 13, 211–226 (1999)
Matkowski, J.: Chapter 36: Generalized weighted arithmetic means. In: Rassias, T.M., Brzdek, J. (eds.) Functional Equations in Mathematical Analysis, pp. 563–582. Springer, New York (2012)
Matkowski, J.: Iterations of the mean-type mappings and uniqueness of invariant means. Ann. Univ. Sci. Bp. Sect. Comput. 41, 145–158 (2013)
Funding
The authors have not disclosed any funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
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
Głazowska, D., Matkowski, J. Generalized Classical Weighted Means, the Invariance, Complementarity and Convergence of Iterates of the Mean-Type Mappings. Results Math 77, 72 (2022). https://doi.org/10.1007/s00025-022-01608-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-022-01608-5
Keywords
- Generalized arithmetic mean
- generalized geometric mean
- generalized harmonic mean
- invariance identity
- mean-type mapping
- iteration
- convergence of iterates
- functional equation