Abstract
We determine the form of all semiflows of pairs of weighted quasi-arithmetic means, those over positive dyadic numbers as well as the continuous ones. Then the iterability of such pairs is characterized: necessary and sufficient conditions for a given pair of weighted quasi-arithmetic means to be embeddable into a continuous semiflow are given. In particular, it turns out that surprisingly the existence of a square iterative root in the class of such pairs implies the embeddability.
Similar content being viewed by others
1 Introduction
One crucial problem of dynamical system is the embeddability of an individual function into a flow or, more generally, into a semiflow. Given an arbitrary set X and a subgroup T of the additive group of reals [subsemigroup T of the additive semigroup of positive reals] any function \(F: X\times T\rightarrow X,\) satisfying the celebrated translation equation
is called a T-flow [T-semiflow] in X. In the case when X is endowed with a topology a flow \(F: X\times {\mathbb {R}}\rightarrow X\) [semiflow \(F: X\times (0,+\infty )\rightarrow X\)] is said to be continuous if the function \(F(x, \cdot )\) is continuous for each \(x \in X\). In iteration theory continuous flows and semiflows are usually called continuous iteration groups and semigroups, respectively. A function \(f: X\rightarrow X\) is said to be embeddable into a T-flow [T-semiflow] if there exists a flow [semiflow] \(F:X\times T\rightarrow X\) such that \(f=F(\cdot ,1)\).
Embeddability problems have been discussed by many authors in different settings. The following ones can serve as examples of such research. In particular, in 1968 Karlin and McGregor published two papers on this: [7] concerning the embeddability of branching processes and [8] dealing with such a problem for analytic functions with two fixed points. Embeddability of homeomorphisms into differential flows was studied by Ping Fun Lam [12] in 1976. A number of papers devoted to different variants of the embedding problem was written by Zdun. He answered, among others, the questions of how to embed continuous strictly monotonic functions defined on an interval [15], homeomorphisms of the circle [16], two commuting functions [17] and, jointly with Solarz, diffeomorphisms of the plane in a regular iteration semigroup [20]. Also some problems close to embedding were considered, like approximative embedding (see [18] by Zdun) and embeddability of homeomorphisms of the circle into set-valued flows (see [9] by Krassowska and Zdun). Embedding problems have been discussed also in a number of monographs and surveys, e.g. [10] by Kuczma, [14] by Targonski, [11] by Kuczma, Choczewski and Ger, [2] by Belitskii and Tkachenko, [19] by Zdun and Solarz.
In 2010 the third present author and Matkowski considered the embeddability problem for pairs of homogeneous symmetric means; see [6]. Given any real interval I a two-variable mean M on I is any function \(M: I^2\rightarrow I\) satisfying
M is symmetric if \(M(x,y)=M(y,x)\) for all \(x,y \in I\). In the case when \(I=(0,+\infty )\) or \(I={\mathbb {R}}\) the mean M is called homogeneous if
for all \(t \in (0,+\infty )\) or for all \(t \in {\mathbb {R}}\), respectively. Here we study the embeddability of pairs of weighted quasi-arithmetic means, that is means \(A^f_p\) of the form
where \(f:I \rightarrow {\mathbb {R}}\) is any continuous strictly monotonic function and \(p \in (0,1)\). Observe that weighted quasi-arithmetic means are, in general, neither symmetric, nor homogeneous. Clearly, \(A^f_p\) is symmetric if and only if \(p=1/2\). On the other hand, provided \(I=(0,+\infty )\) or \(I={\mathbb {R}}\) it follows from [3, Cor. 5.1] that \(A^f_p\) is homogeneous if and only if it is either the weighted Hölder mean of the form \(\left( px^{\alpha }+(1-p)y^\alpha \right) ^{1/{\alpha }}\) with a non-zero real \(\alpha \), or the weighted geometric mean of the form \(x^py^{1-p}\); in the case when \(p=1/2\) the form of homogeneous means \(A^f_p\) was known for Hardy, Littlewood and Pólya already in 1934 (see [5]). So the research reported here substantially differs from that presented in [6].
Denote by \( {{\mathcal {CM}}}(I)\) the class of continuous strictly monotonic functions mapping the interval I into \({\mathbb {R}}\). We say that functions \(f,g \in {{\mathcal {CM}}}(I)\) are equivalent if there are numbers \(a \in {\mathbb {R}}\setminus \{0\}\) and \(b \in {\mathbb {R}}\) such that
then we write \(f \sim g\). Clearly, \(\sim \) is an equivalence relation in the set \({{\mathcal {CM}}}(I)\). Using this notion one can formulate the following result solving the so-called equality problem for weighted quasi-arithmetic means (see [1, Sec. 6.4.3, Theorem 2] also [13] by Maksa and Páles; for quasi-arithmetic means the answer was known already in 1934 and can be found in the book [5]).
Theorem A
Let \(f,g \in {\mathcal {CM}}(I)\) and \(p,q \in (0,1)\). Then \(A^{f}_{p}= A^{g}_{q}\) if and only if \(f \sim g\) and \(p= q\).
2 Posing the problem
We start with the definition of iterability. Given an additive semigroup \(T\subset (0,+\infty )\) containing 1, a set X and a family \({\mathcal {A}}\) of self-mappings of X, a function from \({\mathcal {A}}\) is said to be T-iterable in \({\mathcal {A}}\) if it is embeddable into a T-semiflow \(\Phi : X\times T\rightarrow X\) such that \(\Phi (\cdot , t)\in {\mathcal {A}}\) for every \(t \in T\). In the case when X is a topological space a function from \({\mathcal {A}}\) is called continuously iterable in \({\mathcal {A}}\) if it is embeddable into a continuous semiflow \(\Phi :X\times (0,+\infty )\rightarrow X\) with \(\Phi (\cdot , t)\in {\mathcal {A}}\) for every \(t\in T\).
Denote by \({\mathcal {A}}\) the set of pairs of weighted quasi-arithmetic means on an interval I:
Our first aim is to find the form of all continuous semiflows of pairs from \({\mathcal {A}}\). As a consequence we obtain the main result giving a characterization of the continuous iterability of an arbitrary pair \(\left( A^f_p,A^g_q\right) \in {{\mathcal {A}}}\) in \({{\mathcal {A}}}\). The main tool used in the proofs presented in Sects. 3, 4 and 5 is the following result originating from the paper [4]. Here
and
Theorem B
Let \(f,g, \varphi , \psi \in {\mathcal {CM}}(I)\) and \(p,q, \mu , \nu \in \left( 0,1\right) \). Then the pair \(\left( A^{\varphi }_{\mu }, A^{\psi }_{\nu }\right) \) is a square iterative root of \(\left( A^{f}_{p}, A^{g}_{q}\right) \) if and only if
and one of the following cases holds:
- \(( i )\):
-
\(\left( p,q \right) \in \Gamma \) and either
$$\begin{aligned} \mu =\frac{p+\sqrt{p-q}}{1+\sqrt{p-q}} \qquad \text{ and } \qquad \nu = \frac{q}{1+\sqrt{p-q}}, \end{aligned}$$(1)or
$$\begin{aligned} \mu =\frac{p-\sqrt{p-q}}{1-\sqrt{p-q}} \qquad \text{ and } \qquad \nu = \frac{q}{1-\sqrt{p-q}}; \end{aligned}$$ - \(( ii )\):
-
\((p,q) \in \Delta \setminus \Gamma \) and condition (1) is satisfied.
3 The form of continuous semiflows of pairs of weighted quasi-arithmetic means
To prove Theorems 4 and 6, which are the main results of this section, we need some auxiliary facts. The first one reduces determining semiflows of pairs from \({\mathcal {A}}\) to solving a system of functional equations.
Proposition 1
Let \(T\subset (0,+\infty )\) be an additive semigroup, \(\mu , \nu :T\rightarrow (0,+\infty )\) and let \(f \in {{\mathcal {CM}}}(I)\). The function \(F: I^2\times T\rightarrow I^2\), defined by
is a semiflow if and only if the pair \(\left( \mu , \nu \right) \) satisfies the system of equations
In the proof we use the following lemma which can be easily verified.
Lemma 2
If \(f \in {\mathcal {CM}}(I)\) and \(p_1,p_2,q_1,q_2 \in (0,1)\), then
Proof of Proposition 1
For all \(s,t\in T\), by Lemma 2, we have
and thus \(F(\cdot ,s+t)=F(\cdot ,t)\circ F(\cdot ,s)\) if and only if the equalities in (2) hold.
\(\square \)
The next result will be derived from Theorems B and A.
Proposition 3
If \(\left( F_n\right) _{n \in {{\mathbb {N}}}_0}\) is a sequence of pairs of weighted quasi-arithmetic means on I such that \(F_n\circ F_n=F_{n-1}\) for all \(n \in {\mathbb {N}}\), then there exist a function \(f \in {{\mathcal {CM}}}(I)\) and numbers \(p, q \in (0,1)\) such that \(p\ge q\) and
where
Proof
By Theorems B and A there exist a function \(f \in {{\mathcal {CM}}}(I)\), numbers \(p,q \in (0,1)\) and sequences \(\left( p_n\right) _{n \in {{\mathbb {N}}}_0}\) and \(\left( q_n\right) _{n \in {{\mathbb {N}}}_0}\) of numbers from (0, 1) such that \(p_0=p\), \(q_0=q\), \(p_n \ge q_n\) for all \(n \in {{\mathbb {N}}}_0\) and (3) holds true; moreover, either
or
for every \(n \in {{\mathbb {N}}}_0\). Suppose that the conditions in (5) do not hold for some \(n \in {\mathbb {N}}_0\). Then the equalities in (6) are true, hence
Consequently, \(p_n=q_n\), also \(p_{n+1}=q_{n+1}\), and thus (5) follows contrary to the supposition. This implies that the equalities in (5) hold for all \(n \in {\mathbb {N}}_0\).
In view of (5), where n is replaced by \(n-1\), we have
which implies the condition
Now, using the first equality in (5), we prove by induction the first part of (4) and then, applying (7), also the second one. \(\square \)
Now we are in a position to describe all \({{\mathbb {D}}}_+\)-semiflows of pairs from the family \({\mathcal {A}}\), where \({{\mathbb {D}}}_+\) stands for the set of all positive dyadic numbers.
Theorem 4
A function \(F: I^2\times {{\mathbb {D}}}_+\rightarrow I^2\) is a semiflow of pairs of weighted quasi-arithmetic means if and only if there exist a function \(f\in {{\mathcal {CM}}}(I)\) and numbers \(p, q \in (0,1)\) such that \(p\ge q\) and
where the functions \( \mu , \nu :{{\mathbb {D}}}_+\rightarrow (0,1)\) are given by
In the proof of Theorem 4 we need the following useful lemma.
Lemma 5
Let \(p,q \in (0,1)\), \(p\ge q\). Then the pair of functions \(\mu , \nu : {{\mathbb {D}}}_+ \rightarrow {\mathbb {R}}\), given by (9), satisfies system (2). Moreover, \(\mu (t)-\nu (t)=(p-q)^t\) for all \(t \in {{\mathbb {D}}}_+\). If \(p=q\), then \(\mu (t)=\nu (t)=p=q\), \(t \in {{\mathbb {D}}}_+\). If \(p>q\), then \(\mu \) is strictly decreasing and maps \({{\mathbb {D}}}_+\) into \(\left( \frac{q}{1-p+q}, 1\right) ,\) and \(\nu \) is strictly increasing and maps \({{\mathbb {D}}}_+\) into \(\left( 0,\frac{q}{1-p+q}\right) .\) In particular, \(\mu \) and \(\nu \) take all their values in (0, 1).
Proof
For any \(t \in {{\mathbb {D}}}_+\) we have
Hence, if \(s,t \in {{\mathbb {D}}}_+\), then
and
To prove the remaining properties it is enough to notice that if \(p>q\), then the function \({{\mathbb {D}}}_+ \ni t\longmapsto (p-q)^t\) is strictly decreasing and
\(\square \)
Proof of Theorem 4
Assume that \(F: I^2\times {{\mathbb {D}}}_+\rightarrow I^2\) is of the form (8) with some function \(f \in {{\mathcal {CM}}}(I)\), numbers \(p,q \in (0,1)\) such that \(p\ge q\), and the functions \(\mu , \nu : {{\mathbb {D}}}_+ \rightarrow {{\mathbb {R}}}\) defined by (9). Then Lemma 5 implies that \(\mu \left( {{\mathbb {D}}}_+\right) , \, \nu \left( {{\mathbb {D}}}_+\right) \subset (0,1)\) and \((\mu , \nu )\) satisfies system (2). Therefore, on account of Proposition 1, the function F is a semiflow.
Now assume that \(F: I^2\times {{\mathbb {D}}}_+\rightarrow I^2\) is a semiflow. Then, by Proposition 3 applied to the sequence \(\left( F_n\right) _{n \in {{\mathbb {N}}}_0}\) given by \(F_n=F\left( \cdot , 1/2^n \right) ,\) we see that
for some \(f\in {{\mathcal {CM}}}(I)\), numbers \(p,q \in (0,1)\) satisfying \(p\ge q\) and the sequences \(\left( p_n\right) _{n \in {{\mathbb {N}}}_0}\) and \(\left( q_n\right) _{n \in {{\mathbb {N}}}_0}\) defined by (4). Therefore, according to (4),
where \(\mu , \nu : {{\mathbb {D}}}_+\rightarrow {\mathbb {R}}\) are given by (9). It follows from Lemma 5 and Proposition 1 that the mapping \({{\mathbb {D}}}_+ \ni t \longmapsto \left( A^f_{\mu (t)},A^f_{\nu (t)}\right) \) is a semiflow, and thus, taking arbitrary numbers \(k \in {\mathbb {N}}\) and \({n \in {{\mathbb {N}}}_0}\), we have
that is condition (8) holds. \(\square \)
Since \({{\mathbb {D}}}_+\) is a dense subset of \((0,+\infty )\) we get the following characterization of continuous semiflows of pairs of weighted quasi-arithmetic means as an immediate consequence of Theorem 4.
Theorem 6
Let \(F: I^2\times (0,+\infty )\rightarrow I^2\) be a function such that \(F\left( \cdot ,t\right) \) is continuous for each \(t \in (0,+\infty )\). The function F is a continuous semiflow of pairs of weighted quasi-arithmetic means if and only if there exist a function \(f\in {{\mathcal {CM}}}(I)\) and numbers \(p, q \in (0,1)\) such that \(p\ge q\) and
where the functions \( \mu , \nu :(0,+\infty )\rightarrow (0,1)\) are given by (9).
4 Iterability of pairs of weighted quasi-arithmetic means
In the present section we formulate and prove a little bit surprising characterization of iterability of pairs \(\left( A^f_p,A^g_q\right) \) in the family \({\mathcal {A}}\).
Theorem 7
Let \(f,g \in {\mathcal {CM}}(I)\) and \(p,q \in (0,1)\). Then the following statements are pairwise equivalent:
-
\(( i )\) the pair \(\left( A^f_p,A^g_q\right) \) is continuously iterable;
-
\(( ii )\) the pair \(\left( A^f_p,A^g_q\right) \) is \((0,+\infty )\)-iterable;
-
\(( iii )\) the pair \(\left( A^f_p,A^g_q\right) \) is \({{\mathbb {D}}}_+\)-iterable;
-
\(( iv )\) the pair \(\left( A^f_p,A^g_q\right) \) has a square iterative root being an element of the family \({\mathcal {A}}\);
-
\(( v )\) \(f\sim g\) and \(p \ge q\).
Proof
The implications \(( i )\Rightarrow ( ii )\), \(( ii )\Rightarrow ( iii )\) and \(( iii )\Rightarrow ( iv )\) are obvious, whereas \(( iv )\Rightarrow ( v )\) follows from Theorem B. To get the implication \(( v )\Rightarrow ( i )\) it is enough to make use of Theorems 6 and A. \(\square \)
5 Solutions of system (2)
We complete the paper with solving the system of equations (2). Notice that this is done as a byproduct of studying the embeddability problem.
Theorem 8
Let \(\mu , \nu : T\rightarrow (0,+\infty )\), where T is either \({{\mathbb {D}}}_+\), or \((0,+\infty )\). If \(T={{\mathbb {D}}}_+\), then the pair \((\mu ,\nu )\) is a solution of system (2) if and only if the equalities in (9) hold for all \(t \in {{\mathbb {D}}}_+\). If \(T=(0,+\infty )\), then the pair \((\mu ,\nu )\) is a continuous solution of system (2) if and only if the equalities in (9) hold for all \(t \in (0,+\infty )\).
Proof
If the pair \((\mu ,\nu )\) satisfies (2), then one can apply Proposition 1 and then Theorem 4 in the case \(T={{\mathbb {D}}}_+\) and Theorem 6 when \(T=(0,+\infty )\). To obtain the converse it is enough to use Lemma 5 and, if \(T=(0,+\infty )\), additionally to recall the density of \({{\mathbb {D}}}_+\) in \((0,+\infty )\) and the assumed continuity of \(\mu \) and \(\nu \).
\(\square \)
Change history
05 April 2021
A Correction to this paper has been published: https://doi.org/10.1007/s00010-021-00798-7
References
Aczél, J.: Lectures on Functional Equations and Their Applications. Academic Press, New York (1966)
Belitskii, G., Tkachenko, V.: One-Dimensional Functional Equations, Operator Theory: Advances and Applications, vol. 144. Birkhäuser Verlag, Basel (2003)
Burai, P., Jarczyk, J.: Conditional homogeneity and translativity of Makó–Páles means. Ann. Univ. Sci. Budapest. Sect. Comput. 40, 159–172 (2013)
Głazowska, D., Jarczyk, J., Jarczyk, W.: Square iterative roots of some mean-type mappings. J. Difference Equ. Appl. 24, 729–735 (2018)
Hardy, G.H., Littlewood, J.E., Pólya, G.: Inequalities. Cambridge University Press, Cambridge (1934) (1st edn.), (1952) (2nd edn)
Jarczyk, W., Matkowski, J.: Embeddability of mean-type mappings in a continuous iteration semigroup. Nonlinear Anal. 72, 2580–2591 (2010)
Karlin, S., McGregor, J.: Embeddability of discrete time simple branching processes into continuous time branching proesses. Trans. Am. Math. Soc. 132, 115–136 (1968)
Karlin, S., McGregor, J.: Embedding iterates of analytic functions with two fixed points into continuous groups. Trans. Am. Math. Soc. 132, 137–145 (1968)
Krassowska, D., Zdun, M.C.: Embeddability of homeomorphisms of the circle in set-valued iteration groups. J. Math. Anal. Appl. 433, 1647–1658 (2016)
Kuczma, M.: Functional Equations in a Single Variable. Monografie Matematyczne, vol. 46. PWN-Polish Scientific Publishers, Warszawa (1968)
Kuczma, M., Choczewski, B., Ger, R.: Iterative Functional Equations, Encyclopedia of Mathematics and Its Applications, vol. 32. Cambridge, New York (1990)
Lam, P.F.: Embedding homeomorphisms in differential flows. Colloq. Math. 35, 275–287 (1976)
Maksa, Gy., Páles, Zs.: Remarks on the comparison of weighted quasi-arithmetic means. Colloq. Math. 120, 77–84 (2010)
Targonski, Gy.: Topics in Iteration Theory. Vandenhoeck and Ruprecht, Göttingen (1981)
Zdun, M.C.: Continuous and Differentiable Iteration Semigroups, Prace Naukowe Uniwersytetu Śla̧skiego w Katowicach, vol. 308. Uniwersytet Śla̧ski, Katowice (1979)
Zdun, M.C.: On embedding of homeomorphisms of the circle in a continuous flow. In: Iteration Theory and Its Functional Equations (Lochau, 1984), Lecture Notes in Mathematics, vol. 1163, pp. 218–231. Springer, Berlin (1985)
Zdun, M.C.: On the embeddability of commuting functions in a flow, In: Selected Topics in Functional Equations and Iteration Theory (Graz, 1991), Grazer Mathematische Berichte, vol. 316, pp. 201–212, Karl-Franzens-Univ., Graz (1992)
Zdun, M.C.: On aproximative embeddability of diffeomorphisms in \(C^1\)-flows. J. Difference Equ. Appl. 20, 1427–1436 (2014)
Zdun, M.C., Solarz, P.: Recent results on iteration theory: iteration groups and semigroups in the real case. Aequationes Math. 87, 201–245 (2014)
Zdun, M.C., Solarz, P.: Embeddings of diffeomorphisms of the plane in regular iteration semigroups. Aequationes Math. 89, 149–160 (2015)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor János Aczél on his 95th birthday
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Głazowska, D., Jarczyk, J. & Jarczyk, W. Embeddability of pairs of weighted quasi-arithmetic means into a semiflow. Aequat. Math. 94, 679–687 (2020). https://doi.org/10.1007/s00010-019-00674-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-019-00674-5
Keywords
- Semiflow
- Continuous iteration semigroup
- Embeddability
- Iterability
- Iterative root
- Weighted quasi-arithmetic mean