Abstract
We study the problem of topological conjugacy of Brouwer flows. We give a sufficient and necessary condition for Brouwer flows to be topologically conjugate. To obtain this result we use a cover of the plane by maximal parallelizable regions and relations between parallelizing homeomorphisms of these regions. We show that for topologically equivalent Brouwer flows there exists a one-to-one correspondence between such covers of the plane.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper we deal with the problem of topological conjugacy of Brouwer flows. In [2, 6, 16] one can find necessary and sufficient conditions for such flows to be topologically equivalent. Topologically conjugate flows are topologically equivalent, but not conversely. In [3] it has been constructed an uncountable family of topologically equivalent Brouwer flows such that any two elements of the family are not topological conjugate. Our aim is to give a sufficient and necessary condition for topologically equivalent Brouwer flows to be topologically conjugate.
After introducing basic notions concerning Brouwer flows, we recall the decomposition theorem for such flows used in the proof of the main result of this paper. We also present properties of the transition maps between parallelizing homeomorphisms and prove an extension result. In Sect. 2 we prove that for topologically equivalent Brouwer flows one can take the same admissible class of finite sequences occurring in the decomposition theorem. Section 3 contains the statement and the proof of the main result of this paper. It gives a sufficient condition for topologically equivalent Brouwer flows to be topologically conjugate. At the end of this paper we prove that this condition is also necessary.
Now we briefly recall the notions that will be used in this paper. A more detailed introduction concerning Brouwer flows can be found in [15, 16, 20].
By a flow we mean a family \(\{ f^t\,{:}\,t\in \mathbb {R} \}\) of homeomorphisms of a topological space X onto itself such that
and the function \(F\,{:}\,X \times \mathbb {R} \rightarrow X\) given by \(F(x,t)=f^t(x)\) is continuous. Let us note that any flow \(\{f^t\,{:}\,t\in \mathbb {R} \}\) is a group under the operation of composition, where \(f^0\) is the identity function and the inverse of \(f^t\) is equal to \(f^{-t}\) for \(t \in \mathbb {R}\).
Let \(\{f^t\,{:}\,t \in \mathbb {R}\}\) and \(\{g^t\,{:}\,t \in \mathbb {R}\}\) be flows defined on topological spaces X and Y, respectively. Then they are said to be topologically equivalent if there exists a homeomorphism \(\Phi \,{:}\,X\rightarrow Y\) mapping trajectories of \(\{f^t\,{:}\,t \in \mathbb {R} \}\) onto trajectories of \(\{g^t\,{:}\,t \in \mathbb {R} \}\) and preserving the orientations of the trajectories (see [9, p. 32]). We say that the flows are topologically conjugate if there exists a homeomorphism \(\Phi \,{:}\,X\rightarrow Y\) such that
For a flow \(\{f^t\,{:}\,t\in \mathbb { R} \}\) defined on a Hausdorff space X and a point \(p\in X\) one can define the first positive prolongational limit set and the first negative prolongational limit set of p by
(cf. [4, p. 25]). Moreover, let us put
for every \(p\in X \) and
for all \(H \subset X\).
Now let us restrict to a class of flows defined on \(\mathbb {R}^2\). A flow \(\{f^t\,{:}\,t\in \mathbb {R} \}\) will be called a Brouwer flow if it contains a Brouwer homeomorphism, where by a Brouwer homeomorphism we mean an orientation-preserving homeomorphism of the plane onto itself which has no fixed points (cf. [5, 8]). It is known that if \(\{ f^t\,{:}\,t\in \mathbb {R} \}\) is a Brouwer flow, then \(f^t\) is a Brouwer homeomorphism for each \(t\in \mathbb {R}{{\setminus }} \{ 0 \}\) (see [1]).
For each \(p\in \mathbb { R}^2\) let us denote by \(C_p\) the trajectory of p, i.e., \(C_p:=\{ f^t(p)\,{:}\,t \in \mathbb {R} \}\). Each trajectory of a Brouwer flow is an unbounded closed set and divides the plane into two invariant unbounded simply connected regions (see [1]). Thus, every Brouwer flow is a plane flow with no compact trajectories. Conversely, if a flow \(\{ f^t\,{:}\,t\in \mathbb {R} \}\) has no fixed points and no periodic trajectories, then for each \(t\in \mathbb {R}{{\setminus }}\{ 0 \}\) the homeomorphism \(f^t\) has no fixed points. Thus, \(\{ f^t\,{:}\,t\in \mathbb {R} \}\) is a Brouwer flow, since every element of a plane flow has to preserve orientation. Hence, every trajectory of such flow is a closed subset of the plane. This result can be also obtained from a generalization of the Poincaré–Bendixson theorem which can be found in [7].
In this paper we study plane flows with trajectories which are unbounded and closed sets. Therefore, any two different trajectories \(C_{p_1}, C_{p_2}\) determine the strip, i.e., the component of \(\mathbb { R}^2 {{\setminus }}(C_{p_1} \cup C_{p_2})\) which contains \(C_{p_1}\) and \(C_{p_2}\) in its boundary. The strip between \(C_{p_1}\) and \(C_{p_2}\) will be denoted by \(D_{p_1 p_2}\). It is an invariant simply connected region.
For any distinct trajectories \(C_{p_1}, C_{p_2}, C_{p_3}\) of \(\{ f^t\,{:}\,t \in \mathbb {R} \} \) one of the following two possibilities must be satisfied: Exactly one of the trajectories \(C_{p_1}, C_{p_2}, C_{p_3}\) is contained in the strip between the other two, or each of the trajectories \(C_{p_1}, C_{p_2}, C_{p_3}\) is contained in the strip between the other two. In the first case if \(C_{p_j}\) is the trajectory which lies in the strip between \(C_{p_i}\) and \(C_{p_k}\) we will write \(C_{p_i}|C_{p_j}|C_{p_k}\) (\(i, j, k\in \{ 1,2,3\} \) and i, j, k are different). In the second case we will write \(|C_{p_i},C_{p_j},C_{p_k}|\) (cf. [10]).
Let \(\{ f^t\,{:}\,t\in \mathbb { R} \}\) be a Brouwer flow and \(U\subset \mathbb {R}^2\) be a simply connected invariant region, i.e., \(f^t(U)=U\) for \(t\in \mathbb {R}\). We say that U is a parallelizable region if there exists a homeomorphism \(\varphi _{f,\, U}\) mapping U onto \(\mathbb {R}^2\) such that
Such a homeomorphism \(\varphi _{f,\, U}\) will be called a parallelizing homeomorphism of the flow \(\{ f^t|_U: t\in \mathbb { R} \}\). On account of the Whitney–Bebutov theorem (see [4, p. 52]), for each \(p \in \mathbb {R}^2\) there exists a parallelizable region \(U_p\) such that \(p\in U_p\).
We will consider a cover of the plane by maximal parallelizable regions, i.e., such parallelizable regions which are contained properly in no other parallelizable region. It is known that if U is a maximal parallelizable region, then \(\mathrm{J}_{f}(U)= \mathrm{bd}\, U\) (see [19]). As the set of indices of such a cover we take a class of finite sequences of integers described below.
Let X be a nonempty set. Denote by \(X^{< \omega }\) the set of all finite sequences of elements of X. By a tree on X we mean a subset T of \(X^{< \omega }\) which is closed under initial segments, i.e., for all positive integers m, n such that \(n>m\), if \((x_1, \ldots , x_m, \ldots , x_n) \in T\), then \((x_1, \ldots , x_m) \in T\).
Let \(\alpha =(x_{1},\ldots ,x_{n}) \in X^{< \omega }\). Then, for any \(x\in X\) by \(\alpha \widehat{\, \, } x\) we denote the sequence \((x_{1},\ldots ,x_{n},x)\). If trees \(A^{+} \subset \mathbb {Z}_{+}^{\, \, < \omega }\) and \(A^{-} \subset \mathbb {Z}_{-}^{\, \, < \omega }\) satisfy the conditions
-
(i)
\(A^{+}\) contains the sequence 1 and no other one-element sequence,
-
(ii)
if \(\alpha \widehat{\, \, } k\) is in \(A^{+}\) and \(k>1\), then so also is \(\alpha \widehat{\, \, } (k-1)\),
-
(iii)
\(A^{-}\) contains the sequence \(-1\) and no other one-element sequence,
-
(iv)
if \(\alpha \widehat{\, \, } k\) is in \(A^{-}\) and \(k<-1\), then so also is \(\alpha \widehat{\, \, } (k+1)\),
then the set \(A:=A^{+}\cup A^{-}\) will be said to be admissible class of finite sequences.
Now we can recall the main results describing the structure of Brouwer flows. The first of them says that for any Brouwer flow there exists a cover of the plane consisting of maximal parallelizable regions which can be indexed in a convenient way by an admissible class of finite sequences. The second one describes relations between the parallelizing homeomorphisms of overlapping elements of the cover.
Theorem 1.1
(See [11]) Let \(\{ f^{t}\,{:}\,t \in \mathbb { R} \} \) be a Brouwer flow. Then there exist a family of trajectories \(\{ C_{\alpha }\,{:}\,\alpha \in A \} \) and a family of maximal parallelizable regions \(\{ U_{\alpha }\,{:}\,\alpha \in A \} \), where \(A=A^{+}\cup A^{-}\) is an admissible class of finite sequences, such that \(U_{1}=U_{-1}, C_{1}=C_{-1}\) and
Theorem 1.2
(See [11]) Let \(\{ f^{t}\,{:}\,t \in \mathbb { R} \} \) be a Brouwer flow. Then there exists a family of the parallelizing homeomorphisms \(\{\varphi _{\alpha }\,{:}\,\alpha \in A^{+} \} \), where \(\varphi _{\alpha }\,{:}\,U_{\alpha } \rightarrow \mathbb {R}^2, U_{\alpha }\) are those occurring in Theorem 1.1, such that for each \(\alpha \widehat{\, \, } i \in A^{+}\)
where \(c^{\alpha }_{\alpha \widehat{\, \, } i}\in \mathbb {R} \cup \{-\infty \}, d^{\alpha }_{\alpha \widehat{\, \, } i}\in \mathbb {R} \cup \{+\infty \}\) and \(c_{\alpha \widehat{\, \, } i}\in [-\infty ,0)\) are some constants such that \(c^{\alpha }_{\alpha \widehat{\, \, } i}<d^{\alpha }_{\alpha \widehat{\, \, } i}\) and at least one of the constants \(c^{\alpha }_{\alpha \widehat{\, \, } i}, d^{\alpha }_{\alpha \widehat{\, \, } i}\) is finite. Moreover, there exist a continuous function \(\mu _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}) \rightarrow \mathbb {R}\) and a homeomorphism \(\nu _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}) \rightarrow (c_{\alpha \widehat{\, \, } i},0)\) such that the homeomorphism
given by the relation
has the form
Similarly, there exists a family of the parallelizing homeomorphisms \(\{\varphi _{\alpha }\,{:}\,\alpha \in A^{-} \} \), where \(\varphi _{\alpha }: U_{\alpha } \rightarrow \mathbb {R}^2, U_{\alpha }\) are those occurring in Theorem 1.1, \(\varphi _{-1}= \varphi _{1}\), such that for each \(\alpha \widehat{\, \, } i \in A^{-}\)
where \(c^{\alpha }_{\alpha \widehat{\, \, } i}\in \mathbb {R} \cup \{-\infty \}, d^{\alpha }_{\alpha \widehat{\, \, } i}\in \mathbb {R} \cup \{+\infty \}\) and \(c_{\alpha \widehat{\, \, } i}\in (0,+\infty )\) are some constants such that \(c^{\alpha }_{\alpha \widehat{\, \, } i}<d^{\alpha }_{\alpha \widehat{\, \, } i}\) and at least one of the constants \(c^{\alpha }_{\alpha \widehat{\, \, } i}, d^{\alpha }_{\alpha \widehat{\, \, } i}\) is finite. Moreover, there exist a continuous function \(\mu _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}) \rightarrow \mathbb {R}\) and a homeomorphism \(\nu _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}) \rightarrow (0,c_{\alpha \widehat{\, \, } i})\) such that the homeomorphism
given by relation (7) satisfies (8).
The construction of the families occurring in Theorem 1.1 starts from a trajectory denoted by \(C_{1}=C_{-1}\) and a maximal parallelizable region \(U_{1}=U_{-1}\). Moreover, we denote by \(H_{1}\) and \(H_{-1}\) the components of \(\mathbb {R}^2 {\setminus } C_1\). Having constructed an index \(\alpha \in A\) and the corresponding \(C_{\alpha }, U_{\alpha }\) and \(H_{\alpha }\) we denote, in case \(\mathrm{bd}\, U_{\alpha } \cap H_{\alpha } \ne \emptyset \), by \(C_{\alpha \widehat{\, \, } i}\) the trajectories contained in \(\mathrm{bd}\, U_{\alpha } \cap H_{\alpha }\) starting from \(i=1\) and taking subsequent positive integers i if \(\alpha \in A^{+}\) and starting from \(i=-1\) and taking subsequent negative integers i if \(\alpha \in A^{-}\). Then for each trajectory \(C_{\alpha \widehat{\, \, } i}\) we take a maximal parallelizable region \(U_{\alpha \widehat{\, \, } i}\) containing it and denote by \(H_{\alpha \widehat{\, \, } i}\) the component of \(\mathbb {R}^2 {\setminus } C_{\alpha \widehat{\, \, } i}\) which does not contain \(U_{\alpha }\).
The parallelizing homeomorphisms \(\varphi _{\alpha }\,{:}\,U_{\alpha } \rightarrow \mathbb {R}^2\) occurring in Theorem 1.2 satisfy the conditions \(\varphi _{\alpha }(C_{\alpha }) = \mathbb {R} \times \{ 0 \}\) and \(\varphi _{\alpha }(U_{\alpha } \cap H_{\alpha }) = \mathbb {R} \times ( 0, + \infty )\). Each of these homeomorphisms maps trajectories contained in \(U_{\alpha }\) onto horizontal straight lines. The parallelizing homeomorphisms will be also called charts.
In the next part of this section we prove that the homeomorphisms \(\nu _{\alpha \widehat{\, \, } i}\) occurring in Theorem 1.2 can be extended to one of the endpoints of the interval \((c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i})\). This result will be used in the main part of this paper.
The homeomorphisms \(\nu _{\alpha \widehat{\, \, } i}\) can be either increasing or decreasing. The extension of the homeomorphism \(\nu _{\alpha \widehat{\, \, } i}\) will contain the number 0 in its image. If such an extension exists, then \(\nu _{\alpha \widehat{\, \, } i}(c^{\alpha }_{\alpha \widehat{\, \, } i}) = 0\) in the case where \(\nu _{\alpha \widehat{\, \, } i}\) is decreasing, and \(\nu _{\alpha \widehat{\, \, } i}(d^{\alpha }_{\alpha \widehat{\, \, } i}) = 0\) in the case where \(\nu _{\alpha \widehat{\, \, } i}\) is increasing. The necessary condition for the existence of such an extension is the correspondence by \(\varphi _{\alpha }\) between \(\nu _{\alpha \widehat{\, \, } i}^{-1}(0)\) and a trajectory contained in \(U_{\alpha }\). In the chart \(\varphi _{\alpha \widehat{\, \, } i}\) the number 0 corresponds to \(C_{\alpha \widehat{\, \, } i}\), since the second coordinate in \(\varphi _{\alpha \widehat{\, \, } i}\) of every point of \(C_{\alpha \widehat{\, \, } i}\) is equal to 0, i.e., \(\varphi _{\alpha \widehat{\, \, } i}(C_{\alpha \widehat{\, \, } i}) = \mathbb {R} \times \{ 0 \}\).
To find a trajectory which corresponds to \(\nu _{\alpha \widehat{\, \, } i}^{-1}(0)\) we will use properties of the first prolongational limit set of boundary trajectories of a parallelizable region.
Proposition 1.3
(See [12]) Let U be a parallelizable region of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\). Let \(p\in \mathrm{bd}\, U\) and \(q_1, q_2 \in U\). Assume that \(q_1, q_2 \in \mathrm{J}_{f }(p)\). Then \(C_{q_1}=C_{q_2}\).
Using the above proposition one can obtain the following corollary.
Corollary 1.4
Let U be a maximal parallelizable region of \(\{f^t\,{:}\,t \in \mathbb {R} \}\). Let \(p\in \mathrm{bd}\, U\). Then the set \( \mathrm{J}_{f }(p) \cap U\) consists of exactly one trajectory.
Proof
Since U is a maximal parallelizable region of the flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\), we have \(\mathrm{bd}\, U = \mathrm{J}_{f }(U) \). Hence, \(\mathrm{J}_{f }(p) \cap U \ne \emptyset \). By Proposition 1.3 each element of the set \( \mathrm{J}_{f }(p) \cap U \) belongs to the same trajectory. \(\square \)
For each \(\alpha \widehat{\, \, } i \in A\) denote by \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) the unique trajectory contained in \(U_{\alpha }\cap \mathrm{J}(C_{\alpha \widehat{\, \, } i})\) occurring in Corollary 1.4. We will show that the trajectory \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) corresponds either to \(c^{\alpha }_{\alpha \widehat{\, \, } i}\) or to \(d^{\alpha }_{\alpha \widehat{\, \, } i}\). This depends on how \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) is situated in relation to \(C_{\alpha }\) and \(C_{\alpha \widehat{\, \, } i}\). The following result shows that the relation between the trajectories \(C^{\alpha }_{\alpha \widehat{\, \, } i}, C_{\alpha }\) and \(C_{\alpha \widehat{\, \, } i}\) determines the kind of monotonicity of \(\nu _{\alpha \widehat{\, \, } i}\).
Proposition 1.5
(See [11]) If \(C_{\alpha }| C^{\alpha }_{\alpha \widehat{\, \, } i}| C_{\alpha \widehat{\, \, } i}\) or \(C_{\alpha }= C^{\alpha }_{\alpha \widehat{\, \, } i}\), then the homeomorphism \(\nu _{\alpha \widehat{\, \, } i}\) is decreasing and \(c^{\alpha }_{\alpha \widehat{\, \, } i}>0\) or \(c^{\alpha }_{\alpha \widehat{\, \, } i}=0\), respectively. However, in case \(|C_{\alpha }, C^{\alpha }_{\alpha \widehat{\, \, } i}, C_{\alpha \widehat{\, \, } i}|\), the homeomorphism \(\nu _{\alpha \widehat{\, \, } i}\) is increasing and \(d^{\alpha }_{\alpha \widehat{\, \, } i}>0\).
Now we can proceed to the extension result mentioned above.
Proposition 1.6
If \(C_{\alpha }| C^{\alpha }_{\alpha \widehat{\, \, } i}| C_{\alpha \widehat{\, \, } i}\) or \(C_{\alpha }= C^{\alpha }_{\alpha \widehat{\, \, } i}\), then \(\varphi _{\alpha }(C^{\alpha }_{\alpha \widehat{\, \, } i}) = \mathbb {R} \times \{ c^{\alpha }_{\alpha \widehat{\, \, } i} \}\) and \(\nu _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}) \rightarrow (c_{\alpha \widehat{\, \, } i},0)\) can be extended to a homeomorphism defined on \([c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i})\) by putting \(\nu _{\alpha \widehat{\, \, } i} (c^{\alpha }_{\alpha \widehat{\, \, } i})=0\). However, if \(|C_{\alpha }, C^{\alpha }_{\alpha \widehat{\, \, } i}, C_{\alpha \widehat{\, \, } i}|\), then \(\varphi _{\alpha }(C^{\alpha }_{\alpha \widehat{\, \, } i}) = \mathbb {R} \times \{ d^{\alpha }_{\alpha \widehat{\, \, } i} \}\) and \(\nu _{\alpha \widehat{\, \, } i}\) can be extended to a homeomorphism defined on \((c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}]\) by putting \(\nu _{\alpha \widehat{\, \, } i} (d^{\alpha }_{\alpha \widehat{\, \, } i})=0\).
Proof
By the definition of \(\nu _{\alpha \widehat{\, \, } i}\) we have \(\varphi _{\alpha \widehat{\, \, } i}^{-1}(\mathbb {R} \times \{\nu _{\alpha \widehat{\, \, } i}(s) \})=\varphi _{\alpha }^{-1} (\mathbb {R} \times \{s \})\) for \(s \in (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i})\), i.e., \(\nu _{\alpha \widehat{\, \, } i}(s)\) and s correspond to the same trajectory contained in \(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i}\). First, let us consider the case where \(C_{\alpha }| C^{\alpha }_{\alpha \widehat{\, \, } i}| C_{\alpha \widehat{\, \, } i}\) or \(C_{\alpha }= C^{\alpha }_{\alpha \widehat{\, \, } i}\). Then \(\nu _{\alpha \widehat{\, \, } i}\) is a decreasing homeomorphism. Hence, for any sequence \((s_n)_{n\in \mathbb {Z}_{+}}\) such that \(s_n \in (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i})\) for \(n\in \mathbb {Z}_{+}\), we have \(\lim _{n \rightarrow \infty } s_n = c^{\alpha }_{\alpha \widehat{\, \, } i} \) if and only if \(\lim _{n \rightarrow \infty } \nu _{\alpha \widehat{\, \, } i}(s_n) = 0\), since \(C^{\alpha }_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}(C_{\alpha \widehat{\, \, } i})\).
To prove that \(\varphi _{\alpha }^{-1}(\mathbb {R} \times \{c^{\alpha }_{\alpha \widehat{\, \, } i} \})=C^{\alpha }_{\alpha \widehat{\, \, } i}\), we take a sequence \((p_n)_{n\in \mathbb {Z}_{+}}\) of points from \(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i}\) which tends to a \(p\in C_{\alpha \widehat{\, \, } i}\). Then there exists the corresponding sequence \((s_n)_{n\in \mathbb {Z}_{+}}\) such that \(s_n \in (c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}), p_n \in \varphi _{\alpha \widehat{\, \, } i}^{-1}(\mathbb {R} \times \{\nu _{\alpha \widehat{\, \, } i}(s_n) \})\) and \(\lim _{n \rightarrow \infty } \nu _{\alpha \widehat{\, \, } i}(s_n) = 0\). Since \(C^{\alpha }_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}(C_{\alpha \widehat{\, \, } i})\), there exists a sequence \((t_n)_{n\in \mathbb {Z}_{+}}\) such that \(f^{t_n}(p_n) \rightarrow q\) as \(n\rightarrow + \infty \) for some \(q\in C^{\alpha }_{\alpha \widehat{\, \, } i}\). Moreover, \(f^{t_n}(p_n) \in \varphi _{\alpha \widehat{\, \, } i}^{-1}(\mathbb {R} \times \{\nu _{\alpha \widehat{\, \, } i}(s_n) \})=\varphi _{\alpha }^{-1} (\mathbb {R} \times \{s_n \})\). Thus, \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) has to correspond to \(c^{\alpha }_{\alpha \widehat{\, \, } i}\) by \(\varphi _{\alpha }\), since \(\lim _{n \rightarrow \infty } s_n = c^{\alpha }_{\alpha \widehat{\, \, } i} \) and the sequence \((f^{t_n}(p_n))_{n\in \mathbb {Z}_{+}}\) tends to a point of \(C^{\alpha }_{\alpha \widehat{\, \, } i}\).
The case where \(|C_{\alpha }, C^{\alpha }_{\alpha \widehat{\, \, } i}, C_{\alpha \widehat{\, \, } i}|\) is similar. Then \(\nu _{\alpha \widehat{\, \, } i}\) is an increasing homeomorphism. Replacing in the above consideration \(c^{\alpha }_{\alpha \widehat{\, \, } i}\) by \(d^{\alpha }_{\alpha \widehat{\, \, } i}\), we obtain that \(\varphi _{\alpha }^{-1}(\mathbb {R} \times \{d^{\alpha }_{\alpha \widehat{\, \, } i} \})=C^{\alpha }_{\alpha \widehat{\, \, } i}\). \(\square \)
The continuous functions \(\mu _{\alpha \widehat{\, \, } i}\) occurring in Theorem 1.2 describe the time needed for the flow \(\{ f^t : t \in \mathbb {R} \}\) to move from the point with coordinates \((0,\nu _{\alpha \widehat{\, \, } i}(s))\) in the chart \(\varphi _{\alpha \widehat{\, \, } i}\) until it reaches the point with coordinates (0, s) in the chart \(\varphi _{\alpha }\). In other words, \(\mu _{\alpha \widehat{\, \, } i}\) describe the time needed for the flow to move from a point from the section \(K_{\varphi _{\alpha \widehat{\, \, } i}}\) in \(U_{\alpha \widehat{\, \, } i}\) to a point from the section \(K_{\varphi _{\alpha }}\) in \(U_{\alpha }\), where \(K_{\varphi _{\alpha \widehat{\, \, } i}}:=\varphi _{\alpha \widehat{\, \, } i}^{-1}(\{0\} \times \mathbb {R})\) and \(K_{\varphi _{\alpha }}:=\varphi _{\alpha }^{-1}(\{0\} \times \mathbb {R})\).
The following result describes the limits of sequences \((\mu _{\alpha \widehat{\, \, } i}(s_n))_{n\in \mathbb {Z}_{+}}\) analogous to sequences \((\nu _{\alpha \widehat{\, \, } i}(s_n))_{n\in \mathbb {Z}_{+}}\) considered in the proof of Proposition 1.6.
Proposition 1.7
(See [13]) The functions \(\mu _{\alpha \widehat{\, \, } i}\) occurring in Theorem 1.2 satisfy the condition
in the case where \(C_{\alpha }| C^{\alpha }_{\alpha \widehat{\, \, } i}| C_{\alpha \widehat{\, \, } i}\) or \(C_{\alpha }= C^{\alpha }_{\alpha \widehat{\, \, } i}\), or the condition
in the case where \(|C_{\alpha }, C^{\alpha }_{\alpha \widehat{\, \, } i}, C_{\alpha \widehat{\, \, } i}|\).
Proposition 1.7 describes the property that the trajectories \(C_{\alpha \widehat{\, \, } i}\) and \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) cannot be contained in the same parallelizable region, whereas Proposition 1.6 corresponds to the fact that the trajectories \(C_{\alpha \widehat{\, \, } i}\) and \(C^{\alpha }_{\alpha \widehat{\, \, } i}\) have no disjoint invariant neighborhoods.
2 Topological Equivalence of Brouwer Flows
In this part we present results concerning the topological equivalence of Brouwer flows. In particular, we prove a result about relations between covers of the plane by families of maximal parallelizable regions for topologically equivalent Brouwer flows.
Topologically equivalent Brouwer flows considered in this section will be denoted by \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Therefore, to distinguish between corresponding elements of the families occurring in Theorem 1.1 we will add the letters f and g to the subscripts. For instance, the maximal parallelizable regions will be denoted by \(U_{f,\alpha }\) and \(U_{g,\alpha }\), respectively.
We start from a property of the topological equivalence of Brouwer flows concerning maximal parallelizable regions.
Proposition 2.1
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows and \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the equivalence. Then if U is a maximal parallelizable region of the flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\), then \(\Phi (U)\) is a maximal parallelizable region of the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\).
Proof
Let U be a maximal parallelizable region of the flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\). Then there exists a section K in U. Since \(\Phi \) is a homeomorphism, the set \(\Phi (K)\) is a section in \(\Phi (U)\). Hence, \(\Phi (U)\) is a parallelizable region of the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Suppose that \(\Phi (U)\) is not a maximal parallelizable region of the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Then there exists a parallelizable region \(U'\) extending \(\Phi (U)\). Using the same reasoning as above, we obtain that for \(\Phi ^{-1}(U')\) is a parallelizable region of the flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\), since \(\Phi ^{-1}\) realizes the topological equivalence of \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ f^t\,{:}\,t \in \mathbb {R} \}\). Moreover, we have \(U \subset \Phi ^{-1}(U')\) and \(U \ne \Phi ^{-1}(U')\), which is a contradiction. \(\square \)
In [16] it has been proved that a homeomorphism which realizes the topological equivalence of Brouwer flows preserves the first prolongational limit set. Namely, we have the following result.
Theorem 2.2
(See [16]) Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows and \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the equivalence. Then \(\Phi (\mathrm{J}_{f }(\mathbb {R}^2)) = \mathrm{J}_{g }(\mathbb {R}^2)\), where \(\mathrm{J}_{f }(\mathbb {R}^2)\) and \(\mathrm{J}_{g }(\mathbb {R}^2)\) denote the first prolongational limit set of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\), respectively.
In the main step of the proof of this result it has been showed that if \(q \in \mathrm{J}_{f }(p)\), then \(\Phi (q) \in \mathrm{J}_{g }(\Phi (p))\), where \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) is a homeomorphism which realizes the topological equivalence of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). To prove this fact some properties of the first prolongational limit set given in [14] have been used. Therefore, we can state the following result.
Proposition 2.3
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows and \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the equivalence. Then for all \(p,q \in \mathbb {R}^2\) if \(q \in \mathrm{J}_{f }(p)\), then \(\Phi (q) \in \mathrm{J}_{g }(\Phi (p))\).
For a given Brouwer flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) let us consider families \(\{ C_{f,\alpha }\,{:}\,\alpha \in A \} \) and \(\{ U_{f,\alpha }\,{:}\,\alpha \in A \} \) of trajectories and maximal parallelizable regions, respectively, occurring in Theorem 1.1. We will find corresponding trajectories \(C_{g,\alpha }\) and maximal parallelizable regions \( U_{g,\alpha }\) for any Brouwer flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) topologically equivalent to \(\{ f^t\,{:}\,t \in \mathbb {R} \}\). The admissible class of finite sequences occurring in Theorem 1.1 is not unique for a given flow, so we can usually choose a convenient A when solving a problem topological conjugacy.
By Corollary 1.4, for each \(\alpha \widehat{\, \, } i \in A\) there exists a uniquely determined trajectory \(C^{\alpha }_{f,\alpha \widehat{\, \, } i}\) contained in \(\mathrm{J}_{f }(C_{f,\alpha \widehat{\, \, } i}) \cap U_{f,\alpha } \). It plays an important role in Propositions 1.6 and 1.7 describing the properties of \(\nu _{\alpha \widehat{\, \, } i}\) and \(\mu _{\alpha \widehat{\, \, } i}\). Similarly, for each \(\alpha \widehat{\, \, } i \in A\) there exists a unique trajectory \(C^{\alpha }_{g,\alpha \widehat{\, \, } i}\) contained in \(\mathrm{J}_{g}(C_{g,\alpha \widehat{\, \, } i}) \cap U_{g,\alpha } \). The main part of the proof of the next theorem is to show that any homeomorphism which realizes the topological equivalence maps \(C^{\alpha }_{f,\alpha \widehat{\, \, } i}\) onto \(C^{\alpha }_{g,\alpha \widehat{\, \, } i}\).
Theorem 2.4
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows and \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the equivalence. Let \(\{ C_{f,\alpha }\,{:}\,\alpha \in A \} \) be a family of trajectories and \(\{ U_{f,\alpha }\,{:}\,\alpha \in A \} \) a family of maximal parallelizable regions of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\), where \(A=A^{+}\cup A^{-}\) is an admissible class of finite sequences, such that \(U_{f,1}=U_{f,-1}, C_{f,1}=C_{f,-1}\) and conditions (1)–(6) are satisfied. Define \(C_{g,\alpha }:=\Phi (C_{f,\alpha })\) and \(U_{g,\alpha }:=\Phi (U_{f,\alpha })\) for \(\alpha \in A\). Then \(\{ C_{g,\alpha }:\alpha \in A \} \) is a family of trajectories and \(\{ U_{g,\alpha }:\alpha \in A \} \) is a family of maximal parallelizable regions of \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) such that conditions (1)–(6) hold. Moreover, we have
where \(C^{\alpha }_{f,\alpha \widehat{\, \, } i}\) and \(C^{\alpha }_{g,\alpha \widehat{\, \, } i}\) are the unique trajectories contained in \(\mathrm{J}_{f }(C_{f,\alpha \widehat{\, \, } i}) \cap U_{f,\alpha } \) and \( \mathrm{J}_{g }(C_{g,\alpha \widehat{\, \, } i}) \cap U_{g,\alpha } \), respectively.
Proof
By Proposition 2.1, the set \(U_{g,\alpha }\) is a maximal parallelizable region of \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) for each \(\alpha \in A\).
From the assumption that \(\Phi \) realizes the topological equivalence we obtain that \(C_{g,\alpha }\) is a trajectory of the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Since \(\Phi \) is a homeomorphism, conditions (1)–(6) are satisfied. In particular, conditions (5) and (6) hold, since every homeomorphism preserves the considered ternary relations.
Let us fix an \(\alpha \in A\). Put \(I_{\alpha }:=\{ i \in \mathbb {Z}: \alpha \widehat{\, \, } i \in A \}\), and take any \(i \in I_{\alpha }\). By Proposition 2.3 the trajectory \(\Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i})\) is contained in \(\mathrm{J}_{g }(C_{g,\alpha \widehat{\, \, } i})\). Moreover, \(\Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i}) \subset U_{g,\alpha }\), since \(C^{\alpha }_{f,\alpha \widehat{\, \, } i} \subset U_{f,\alpha }\). Thus, on account of Corollary 1.4, we have \(\Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i}) = C^{\alpha }_{g,\alpha \widehat{\, \, } i}\).
For Brouwer flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) let us consider the homeomorphisms \(\nu _{f,\alpha \widehat{\, \, } i}\) and \(\nu _{g,\alpha \widehat{\, \, } i}\), respectively, occurring in Theorem 1.2. By Proposition 1.5 the monotonicity of these homeomorphisms depends on the trajectories \(C_{f,\alpha }, C^{\alpha }_{f,\alpha \widehat{\, \, } i}, C_{f,\alpha \widehat{\, \, } i}\) and \(C_{g,\alpha }, C^{\alpha }_{g,\alpha \widehat{\, \, } i}, C_{\{g^t \},\alpha \widehat{\, \, } i}\), respectively. Therefore, from the above theorem we obtain the following result.
Corollary 2.5
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows. Then for each \(\alpha \widehat{\, \, } i \in A\) the homeomorphisms \(\nu _{f,\alpha \widehat{\, \, } i}\) and \(\nu _{g,\alpha \widehat{\, \, } i}\) occurring in Theorem 1.2 are either both increasing or both decreasing.
Proof
Let \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be the homeomorphism occurring in Theorem 2.4. Then \(\Phi (C_{f,\alpha })= C_{g,\alpha }, \Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i})= C^{\alpha }_{g,\alpha \widehat{\, \, } i}, \Phi (C_{f,\alpha \widehat{\, \, } i})= C_{\{g^t \},\alpha \widehat{\, \, } i}\). Thus, by Proposition 1.5 the homeomorphisms \(\nu _{f,\alpha \widehat{\, \, } i}\) and \(\nu _{g,\alpha \widehat{\, \, } i}\) have the same kind of monotonicity, since \(\Phi \) preserves the considered ternary relations. \(\square \)
Let us remark that Brouwer flows having the same admissible class of finite sequences A (in the decomposition described in Theorem 2.4) may not be topologically equivalent. Consider the case \(A = \{ -1, 1, 11, 12 \}\) and \(C^{1}_{f,11} = C^{1}_{f,12} = C_{f,1}, C^{1}_{g,11} = C_{g,1}, C^{1}_{g,12} \ne C_{g,1}\). Then \(\mathrm{J}_{f }(\mathbb {R}^2) = C_{f,1} \cup C_{f,11} \cup C_{f,12} \) and \( \mathrm{J}_{g }(\mathbb {R}^2)= C_{g,1} \cup C_{g,11} \cup C_{g,12} \cup C^{1}_{g,12}\). Thus, by Theorem 2.2, the flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) are not topologically equivalent.
3 Topological Conjugacy of Brouwer Flows
In this section we deal with the problem of topological conjugacy of Brouwer flows. We prove a sufficient condition for Brouwer flows to be topologically conjugate. First let us recall the known result concerning the problem of topological conjugacy of flows defined on the plane.
Consider a subclass of the family of Brouwer flows which consists of all flows for which the first prolongational limit set contains exactly two trajectories. Such flows are called Reeb flows, and each element of this flow except the identity is said to be a Reeb homeomorphism. Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) be a Reeb flow. We take \(A = \{ -1, 1, 11 \}\) as the admissible class of finite sequences occurring in Theorem 2.4. Then we can have \(\mathrm{J}_{f }(\mathbb {R}^2) = C_{f,1} \cup C_{f,11}, C_{f,-1} = C_{f,1}\) and \(C^{1}_{f,11} = C^{1}_{f,11}\). The flow has two maximal parallelizable regions \( U_{f,1} = U_{f,-1}\) and \(U_{f,11}\).
Le Roux [17] has given a classification of conjugacy classes of such flows (see also [18]). The result can be stated in the following form.
Theorem 3.1
(See [17]) Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be Reeb flows which have the same trajectories. Then they are topologically conjugate if and only if there exists a homeomorphism \(\beta \,{:}\,[0,+ \infty ) \rightarrow [0,+ \infty )\) and a continuous function \(\gamma \,{:}\,[0,+ \infty ) \rightarrow \mathbb {R}\) such that
where \(\mu _{f,11}, \mu _{g,11}\) are continuous mappings occurring in Theorem 1.2.
In [13] it has been given a sufficient condition for topological conjugacy of Brouwer flows for which the admissible class of finite sequences A contains only sequences with elements equal to 1 or − 1. Such flows have been called generalized Reeb flows. Now we consider the problem of topological conjugacy for any Brouwer flows.
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows and \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the equivalence. Let \(\{ C_{f,\alpha }\,{:}\,\alpha \in A \} \) be a family of trajectories and \(\{ U_{f,\alpha }\,{:}\,\alpha \in A \} \) a family of maximal parallelizable regions of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) occurring in Theorem 1.1, where A is an admissible class of finite sequences. Let \(\{ \varphi _{f,\alpha }\,{:}\,\alpha \in A \} \), where \(\varphi _{f,\alpha }\,{:}\,U_{f,\alpha } \rightarrow \mathbb {R}^2\), be a family of parallelizing homeomorphisms occurring in Theorem 1.2. Define \(C_{g,\alpha }:=\Phi (C_{f,\alpha })\) and \(U_{g,\alpha }:=\Phi (U_{f,\alpha })\) for \(\alpha \in A\). Then, by Theorem 2.4, \(\{ C_{g,\alpha }\,{:}\,\alpha \in A \} \) is a family of trajectories and \(\{ U_{g,\alpha }\,{:}\,\alpha \in A \} \) is a family of maximal parallelizable regions of \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) satisfying the assertion of Theorem 1.1. Let \(\{ \varphi _{g,\alpha }\,{:}\,\alpha \in A \} \), where \(\varphi _{g,\alpha }\,{:}\,U_{g,\alpha } \rightarrow \mathbb {R}^2\), be a family of parallelizing homeomorphisms described in Theorem 1.2.
Let us fix \(\alpha \widehat{\, \, } i \in A^{+}\) and put
where \(c^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}\) are those occurring in Theorem 1.2. Then
Similarly, let
Then,
Hence,
since, by Theorem 2.4, \(\Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i}) = C^{\alpha }_{g,\alpha \widehat{\, \, } i}\) . Thus, for the topologically equivalent flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) we have
since every homeomorphism preserves the considered ternary relations. Moreover, from Proposition 1.5 we get that \(b^{\alpha }_{f,\alpha \widehat{\, \, } i} \ge 0\) and \(b^{\alpha }_{g,\alpha \widehat{\, \, } i} \ge 0\) for all \(\alpha \widehat{\, \, } i \in A^{+}\).
In a similar way we can define \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}\) and \(b^{\alpha }_{g,\alpha \widehat{\, \, } i} \) for \(\alpha \widehat{\, \, } i \in A^{-}\). Namely, if we put
and
then for the topologically equivalent flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) condition (12) also holds for all \(\alpha \widehat{\, \, } i \in A^{-}\). Moreover, \(b^{\alpha }_{f,\alpha \widehat{\, \, } i} \le 0\) and \(b^{\alpha }_{g,\alpha \widehat{\, \, } i} \le 0\) for all \(\alpha \widehat{\, \, } i \in A^{-}\).
Now we can proceed to the proof of a sufficient condition for the topological conjugacy of Brouwer flows. To obtain this result we use the fact that for any Brouwer flow one can find a cover of the plane by maximal parallelizable regions. The trajectories of these regions are mapped onto horizontal straight lines by charts of the cover. After such a linearization we considered transition maps \(h_{\alpha \widehat{\, \, } i}\) for overlapping regions of this cover. A homeomorphism which conjugates the flows is constructed by induction. The crucial step is to extend the homeomorphism from the regions of the cover onto their boundary trajectories.
Theorem 3.2
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically equivalent Brouwer flows. Assume that for each \(\alpha \widehat{\, \, } i \in A\) there exists a continuous function \(\gamma _{\alpha \widehat{\, \, } i}\,{:}\, I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow \mathbb {R}\) and an increasing homeomorphism \(\beta _{\alpha \widehat{\, \, } i}\,{:}\,I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow I^{\alpha }_{g,\alpha \widehat{\, \, } i}\) such that
satisfying \( \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \beta _{\alpha \widehat{\, \, } i} (s) = c^{\alpha }_{g,\alpha \widehat{\, \, } i}, \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \gamma _{\alpha \widehat{\, \, } i} (s) = a^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(a^{\alpha }_{g,\alpha \widehat{\, \, } i} \in \mathbb {R}\), where \(\mu _{f,\alpha \widehat{\, \, } i}, \mu _{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}, d^{\alpha }_{g,\alpha \widehat{\, \, } i}\) are those occurring in Theorem 1.2, and \( I^{\alpha }_{f,\alpha \widehat{\, \, } i} := (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}), I^{\alpha }_{g,\alpha \widehat{\, \, } i} := (c^{\alpha }_{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\) in case \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= c^{\alpha }_{g,\alpha \widehat{\, \, } i}\) or \( I^{\alpha }_{f,\alpha \widehat{\, \, } i} := (d^{\alpha }_{f,\alpha \widehat{\, \, } i}-\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}), I^{\alpha }_{g,\alpha \widehat{\, \, } i} := (d^{\alpha }_{g,\alpha \widehat{\, \, } i}-\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i}, d^{\alpha }_{g,\alpha \widehat{\, \, } i})\) in case \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= d^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i} >0\) and \(\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i} >0\), where \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}\) and \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}\) are defined by (10) and (11). Moreover, we assume that for \(\alpha \widehat{\, \, } i, \alpha \widehat{\, \, } j \in A, i\ne j\) we have \(\beta _{\alpha \widehat{\, \, } i} = \beta _{\alpha \widehat{\, \, } j}\) in the case where \(C^{\alpha }_{f,\alpha \widehat{\, \, } i} = C^{\alpha }_{f,\alpha \widehat{\, \, } j} \) and \(C_{f,\alpha \widehat{\, \, } i}, C_{f,\alpha \widehat{\, \, } j}\) are contained in the same component of \( \mathbb {R} {\setminus } C^{\alpha }_{f,\alpha \widehat{\, \, } i}\). Then the flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) are topologically conjugate.
Proof
On account of Theorem 2.4 we can take the same set of indices A for the flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Let \(\{ C_{f,\alpha }\,{:}\,\alpha \in A \} , \{ U_{f,\alpha }\,{:}\,\alpha \in A \} , \{ \varphi _{f,\alpha }\,{:}\,\alpha \in A \} \) and \(\{ C_{g,\alpha }\,{:}\,\alpha \in A \} , \{ U_{g,\alpha }:\alpha \in A \} , \{ \varphi _{g,\alpha }\,{:}\,\alpha \in A \} \) be the families described before the statement of this theorem. Then \(C_{f,\alpha }= \varphi _{f,\alpha }^{-1}(\mathbb { R} \times \{ 0 \} ) \) and \(C_{g,\alpha }= \varphi _{g,\alpha }^{-1}(\mathbb { R} \times \{ 0 \} ) \). Let \(K_{f,\alpha }:= \varphi _{f,\alpha }^{-1}(\{ 0 \} \times \mathbb { R}) \) and \(K_{g,\alpha }:= \varphi _{g,\alpha }^{-1}(\{ 0 \} \times \mathbb { R}) \) for \(\alpha \in A\).
For all \(\alpha \in A\) put \(G_{f,\alpha }:= \varphi _{f,\alpha }^{-1}(\mathbb { R} \times [0,+\infty ))\) if \(\alpha \in A^{+}\) and \(G_{f,\alpha }:= \varphi _{f,\alpha }^{-1}(\mathbb { R} \times (-\infty ,0])\) if \(\alpha \in A^{-}\). By \(H_{f,\alpha }\) denote the component of \(\mathbb { R}^2 {\setminus } C_{f,\alpha }\) which contains \(G_{f,\alpha }\). In particular, we have \(C_{f,\alpha \widehat{\, \, } i} \subset H_{f,\alpha }\) for all \(\alpha \widehat{\, \, } i\in A\). Similarly, let \(G_{g,\alpha }:= \varphi _{g,\alpha }^{-1}(\mathbb { R} \times [0,+\infty ))\) if \(\alpha \in A^{+}\) and \(G_{g,\alpha }:= \varphi _{g,\alpha }^{-1}(\mathbb { R} \times (-\infty ,0])\) if \(\alpha \in A^{-}\). By \(H_{g,\alpha }\) denote the component of \(\mathbb { R}^2 {\setminus } C_{g,\alpha }\) which contains \(G_{g,\alpha }\). Then \(C_{g,\alpha \widehat{\, \, } i} \subset H_{g,\alpha }\) for all \(\alpha \widehat{\, \, } i\in A\).
For every positive integer n let us put \(A^{+}_n:= \{ \alpha \in A^{+}: |\alpha | = n \}\) and \(A^{-}_n:= \{ \alpha \in A^{-}: |\alpha | = n \}\), where \(|\alpha |\) denotes the length of the sequence \(\alpha \). Then by the definition of an admissible class of finite sequences we get that if \(A^{+}_n=\emptyset \) for some n, then \(A^{+}_m=\emptyset \) for all \( m > n\). Similarly, if \(A^{-}_n=\emptyset \) for some n, then \(A^{-}_m = \emptyset \) for all \( m > n\).
For each positive integer n such that \(A^{+}_n \ne \emptyset \) we define \(U^{+}_{f,n}\) by taking \(U^{+}_{f,n}:=G_{f,1}\) in case \(n = 1\) and \(U^{+}_{f,n}:=U^{+}_{f,n-1} \cup \bigcup _{ \alpha \in A^{+}_n} G_{f,\alpha }\) in case \(n > 1\). Similarly, if \(A^{-}_n \ne \emptyset \), then we put \(U^{-}_{f,n}:=G_{f,-1}\) in case \(n = 1\) and \(U^{-}_{f,n}:=U^{-}_{f,n-1} \cup \bigcup _{ \alpha \in A^{-}_n} G_{f,\alpha }\) in case \(n > 1\). In the same way we define the regions \(U^{+}_{g,n}\) and \(U^{-}_{g,n}\).
Let \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the topological equivalence. Then
for all \(\alpha \widehat{\, \, } i, \alpha \widehat{\, \, } j \in A, i \ne j\), since for each \(\alpha \in A \) the homeomorphism \(\varphi _{g,\alpha } \circ \Phi \circ \varphi _{f,\alpha }^{-1}\) is strictly increasing with respect to the second variable.
Let us start the construction of a homeomorphism which conjugates the flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). First, we consider the regions \(U_{f,1}\,{:=}\,U^{+}_{f,1} \cup U^{-}_{f,1}\) and \(U_{g,1} : = U^{+}_{g,1} \cup U^{-}_{g,1}\). Let us note that there exists a topological conjugacy \(\Psi _1:U_{f,1} \rightarrow U_{g,1}\) of flows \(\{ f^{t}|_{U_{f,1}}: t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U_{g,1}}: t \in \mathbb { R} \} \), since \(U_{f,1}\) and \(U_{g,1}\) are parallelizable regions. Let us remind that \(C_{f,1}=C_{f,-1} , U_{f,1}=U_{f,-1} , \varphi _{f,1} = \varphi _{f,-1}\) and \(C_{g,1}=C_{g,-1}, U_{g,1}=U_{g,-1}, \varphi _{g,1} = \varphi _{g,-1}\). Thus, we can take \(\Psi _{-1}=\Psi _{1}\). Moreover, we can choose \(\Psi _1\) to satisfy the condition \(\Psi _1(C_{f,1})= C_{g,1}\) and \(\Psi _1(K_{f,1})= K_{g,1}\). Without loss of generality we can assume that \(A^{+}_2 \ne \emptyset \) and \(A^{-}_2 \ne \emptyset \). Otherwise, we do need no other conditions on \(\Psi _1\) on \(G_{f,1}\) or \(G_{f,-1}\). Since \(\Psi _{-1}=\Psi _{1}\), we also will consider sequences \(-1\widehat{\, \, } j \in A\) for \(\Psi _1\).
We can choose \(\Psi _1\) in such a way that \(\Psi _1(C^{1}_{f,1\widehat{\, \, } i}) = C^{1}_{g,1\widehat{\, \, } i}\) and \(\Psi _1(C^{-1}_{f,-1\widehat{\, \, } j}) = C^{-1}_{g,-1\widehat{\, \, } j}\), i.e., condition (9) holds for \(\Psi _1\) and \(1\widehat{\, \, } i , -1\widehat{\, \, } j \in A\). (This condition is required for the existence of an extension of \(\Psi _1\) to a topological conjugacy of flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\).) More precisely, since \(\varphi _{f,1}\,{:}\,U_{f,1} \rightarrow \mathbb {R}^2\) and \(\varphi _{g,1}\,{:}\,U_{g,1} \rightarrow \mathbb {R}^2\) are parallelizing homeomorphisms for \(\{ f^{t}|_{U_{f,1}}\,{:}\,t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U_{g,1}}\,{:}\,t \in \mathbb { R} \} \), respectively, we can put \(\Psi _1(p):= (\varphi _{g,1}^{-1} \circ \psi _{1} \circ \varphi _{f,1})(p)\) for \(p\in U_{f,1}\), where \(\psi _{1}: \mathbb { R}^2 \rightarrow \mathbb { R}^2, \psi _{1}(t,s):= (t, \theta _{1}(s))\) and \(\theta _{1}\,{:}\,\mathbb { R} \rightarrow \mathbb { R}\) is a homeomorphism such that \(\theta _{1}(0)=0, \theta _{1}(b^{1}_{f,1\widehat{\, \, } i})=b^{1}_{g,1\widehat{\, \, } i}, \theta _{1}(b^{-1}_{f,-1\widehat{\, \, } j})=b^{-1}_{g,-1\widehat{\, \, } j}\) and \(\theta _{1}\) restricted to \( I^{1}_{f,1\widehat{\, \, } i}\) and \( I^{-1}_{f,-1\widehat{\, \, } j}\) is equal to \(\beta _{1\widehat{\, \, } i}\) and \(\beta _{-1\widehat{\, \, } j}\), respectively, for all \(1\widehat{\, \, } i , -1\widehat{\, \, } j \in A\). The existence of such \(\theta _{1}\) is guaranteed by condition (14). Let us note that \(\Psi _1(K_{f,1})=K_{g,1}\), since \(\psi _{1}(0,s)= (0, \theta _{1}(s))\).
Fix a positive integer n such that \(A^{+}_{n+1} \ne \emptyset \). Assume that we have defined a homeomorphism \(\Psi _{n}: U^{+}_{f,n} \rightarrow U^{+}_{g,n}\) which conjugates the flows \(\{ f^{t}|_{U^{+}_{f,n}}: t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U^{+}_{g,n}}: t \in \mathbb { R} \} \) in such a way such that for each \(\alpha \widehat{\, \, } i \in A^{+}\) with \(|\alpha | \le n\) we have \(\Psi _n(C_{f,\alpha }) = C_{g,\alpha }\) and
i.e., condition (9) holds for \(\Psi _n\). The homeomorphism \(\Psi _{n}\) is obtained by means of \(\Psi _1\) defined on \(U_{f,1}\) and \(\Psi _{\alpha }\) defined on \(G_{f,\alpha \widehat{\, \, } i}\). The function \(\Psi _1\) has been defined in the first step. For \(\alpha \in A^{+}\) with \(|\alpha | \le n\) we have \(\Psi _{\alpha }: G_{f,\alpha } \rightarrow G_{f,\alpha } \) given by the formula \(\Psi _{\alpha }: = \varphi _{g,\alpha }^{-1} \circ \psi _{\alpha } \circ (\varphi _{f,\alpha }|_{G_{f,\alpha }\}})\), where
and \(\theta _{\alpha }:[0, +\infty )\rightarrow [0, +\infty )\) is an increasing homeomorphism. In case \(A^{+}_{n+1} \ne \emptyset \) we have \(\theta _{\alpha }(b^{\alpha }_{f,\alpha \widehat{\, \, } i })=b^{\alpha }_{g,\alpha \widehat{\, \, } i }\) and \(\theta _{\alpha }\) restricted to \( I^{\alpha }_{f,\alpha \widehat{\, \, } i }\) is equal to \(\beta _{\alpha \widehat{\, \, } i }\). By the construction of \(\Psi _1\) we have \(\eta _{1}=0\), since \(\Psi _1(K_{f,1})=K_{g,1}\). The numbers \(\eta _{\alpha }\) are constructed in the subsequent steps.
Let us fix any \(\alpha \widehat{\, \, } i \in A^{+}_{n+1}\). We will define \(\Psi _{\alpha \widehat{\, \, } i}:G_{f,\alpha \widehat{\, \, } i} \rightarrow G_{g,\alpha \widehat{\, \, } i}\) and use it to construct a homeomorphism \(\Psi _{n+1}: U^{+}_{f,n+1} \rightarrow U^{+}_{g,n+1}\) which conjugates the flows \(\{ f^{t}|_{U^{+}_{f,n+1}}\,{:}\,t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U^{+}_{g,n+1}}\,{:}\,t \in \mathbb { R} \} \). The first step is to define \(\Psi _{\alpha \widehat{\, \, } i}\) on \(C_{f,\alpha \widehat{\, \, } i}\). To do this we use the form of the function \(\Psi _{\alpha }:G_{f,\alpha } \rightarrow G_{g,\alpha }\) used in the construction of \(\Psi _{n}: U^{+}_{f,n} \rightarrow U^{+}_{g,n}\).
Denote by (t, s) the coordinates of points belonging to \(U_{f,\alpha }\) in the chart \(\varphi _{f,\alpha }\) and by \((t',s')\) the coordinates of points belonging to \(U_{f,\alpha \widehat{\, \, } i}\) in the chart \(\varphi _{f,\alpha \widehat{\, \, } i}\). Then by (8) we have \(t' = \mu _{f,\alpha \widehat{\, \, } i}(s)+t\) and \(s'=\nu _{f,\alpha \widehat{\, \, } i}(s)\) for \(t \in \mathbb {R}\) and \(s \in (c^{\alpha }_{f,\alpha \widehat{\, \, } i},d^{\alpha }_{f,\alpha \widehat{\, \, } i})\). Similarly, denote by (u, v) the coordinates of points belonging to \(U_{g,\alpha }\) in the chart \(\varphi _{g,\alpha }\) and by \((u',v')\) the coordinates of points belonging to \(U_{g,\alpha \widehat{\, \, } i}\) in the chart \(\varphi _{g,\alpha \widehat{\, \, } i}\). Then \(u' = \mu _{g,\alpha \widehat{\, \, } i}(v)+u\) and \(v'=\nu _{g,\alpha \widehat{\, \, } i}(v)\) for \(u \in \mathbb {R}\) and \(v\in (c^{\alpha }_{g,\alpha \widehat{\, \, } i},d^{\alpha }_{g,\alpha \widehat{\, \, } i})\).
Let us recall that \(\psi _{\alpha } = \varphi _{g,\alpha } \circ \Psi _{\alpha } \circ (\varphi _{f,\alpha }|_{G_{f,\alpha }})^{-1}\) and
where \(\eta _{\alpha }\in \mathbb { R}\) and \(\theta _{\alpha }:[0, +\infty )\rightarrow [0, +\infty )\) is an increasing homeomorphism such that \(\theta _{\alpha }(b^{\alpha }_{f,\alpha \widehat{\, \, } i})=b^{\alpha }_{g,\alpha \widehat{\, \, } i}\) and \(\theta _{\alpha }\) restricted to \( I^{\alpha }_{f,\alpha \widehat{\, \, } i}\) is equal to \(\beta _{\alpha \widehat{\, \, } i}\). Passing to coordinates we have \(u= \eta _{\alpha }+t\) and \(v= \theta _{\alpha }(s)\) for \(t \in \mathbb {R}\) and \(s \in [0, +\infty )\) if \((u,v)= \psi _{\alpha }(t,s)\).
Consider the case where \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}= c^{\alpha }_{f,\alpha \widehat{\, \, } i}\). (The case \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}= d^{\alpha }_{f,\alpha \widehat{\, \, } i}\) is similar.) Then \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= c^{\alpha }_{g,\alpha \widehat{\, \, } i}\), since \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) are topologically equivalent. From the assumption we have that there exist a continuous function \(\gamma _{\alpha \widehat{\, \, } i}: I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow \mathbb {R}\) and an increasing homeomorphism \(\beta _{\alpha \widehat{\, \, } i}: I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow I^{\alpha }_{g,\alpha \widehat{\, \, } i}\) such that
and \( \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \beta _{\alpha \widehat{\, \, } i} (s) = c^{\alpha }_{g,\alpha \widehat{\, \, } i}, \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \gamma _{\alpha \widehat{\, \, } i} (s) = a^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(a^{\alpha }_{g,\alpha \widehat{\, \, } i} \in \mathbb {R}\).
By (8) we have \(t' = \mu _{f,\alpha \widehat{\, \, } i}(s)+t\) and \(s'=\nu _{f,\alpha \widehat{\, \, } i}(s)\) for \(t \in \mathbb {R}\) and \(s \in (c^{\alpha }_{f,\alpha \widehat{\, \, } i},d^{\alpha }_{f,\alpha \widehat{\, \, } i})\). Hence, \(t= t' - \mu _{f,\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s'))\) and \(s=\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s')\). By the definition of the \(\psi _{\alpha }\), if \((u,v)= \psi _{\alpha }(t,s)\), then \(u= \eta _{\alpha }+t\) and \(v= \beta _{\alpha \widehat{\, \, } i}(s)\) for \(t \in \mathbb {R}\) and \(s \in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\). (In case \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}= d^{\alpha }_{f,\alpha \widehat{\, \, } i}\) we would have \(s \in (d^{\alpha }_{f,\alpha \widehat{\, \, } i} - \varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i})\).)
Put \(d_{f,\alpha \widehat{\, \, } i}:= \nu _{f,\alpha \widehat{\, \, }i}(c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\). Then for the function \(h_{f,\alpha \widehat{\, \, } i}\) given by (7) we have \(h_{f,\alpha \widehat{\, \, } i}(\mathbb {R} \times I^{\alpha }_{f,\alpha \widehat{\, \, } i})= \mathbb {R} \times (d_{f,\alpha \widehat{\, \, } i},0))\). Put \(W_{f,\alpha \widehat{\, \, } i}:=\varphi _{f,\alpha \widehat{\, \, } i}^{-1}(\mathbb {R} \times (d_{f,\alpha \widehat{\, \, } i},0))\). Let \(\phi ^{\alpha }_{\alpha \widehat{\, \, } i}(t',s'):= (\varphi _{g,\alpha \widehat{\, \, } i} \circ \Psi _{\alpha } \circ \varphi _{f,\alpha \widehat{\, \, } i}^{-1}) (t',s')\) for \((t',s') \in \mathbb {R} \times (d_{f,\alpha \widehat{\, \, } i},0)\). Since \(u' = \mu _{g,\alpha \widehat{\, \, } i}(v)+u\) and \(v'=\nu _{g,\alpha \widehat{\, \, } i}(v)\), we have \(u' = \mu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(s))+\eta _{\alpha }+t\) and \(v'=\nu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(s))\). Hence, \(u' = \mu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s')))+\eta _{\alpha }+t' - \mu _{f,\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s'))\) and \(v'=\nu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s')))\). Thus, by the assumption, we have \(u' =-\gamma _{\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s'))+\eta _{\alpha }+t' \).
Put
and
for \(s'\in (d_{f,\alpha \widehat{\, \, } i},0)\). Then
Since \( \lim _{s' \rightarrow 0} \eta _{\alpha \widehat{\, \, }i}(s') = - a^{\alpha }_{g,\alpha \widehat{\, \, } i}+ \eta _{\alpha }\) and \( \lim _{s' \rightarrow 0} \xi _{\alpha \widehat{\, \, }i}(s') =0\), we can extend continuously the functions \(\eta _{\alpha \widehat{\, \, }i}\) and \(\xi _{\alpha \widehat{\, \, }i}\) onto \((d_{f,\alpha \widehat{\, \, } i}, 0]\) by putting \(\eta _{\alpha \widehat{\, \, }i}(0):= - a^{\alpha }_{g,\alpha \widehat{\, \, } i}+ \eta _{\alpha }\) and \(\xi _{\alpha \widehat{\, \, }i}(0):= 0\). The value \(\eta _{\alpha \widehat{\, \, }i}(0)\) we will denote by \(\eta _{\alpha \widehat{\, \, }i}\). Thus, we have obtained a continuous extension of \(\Psi _{\alpha }\) on \(C_{f,\alpha \widehat{\, \, } i}\).
Now define \(\Psi _{\alpha \widehat{\, \, } i}{:} G_{f,\alpha \widehat{\, \, } i} \rightarrow G_{f,\alpha \widehat{\, \, } i}\) by the formula \(\Psi _{\alpha \widehat{\, \, } i}: = \varphi _{g,\alpha \widehat{\, \, } i}^{-1} \circ \psi _{\alpha \widehat{\, \, } i} \circ (\varphi _{f,\alpha \widehat{\, \, } i}|_{G_{f,\alpha \widehat{\, \, } i}})\), where
and \(\theta _{\alpha \widehat{\, \, } i}{:}[0, +\infty )\rightarrow [0, +\infty )\) is an increasing homeomorphism such that \(\theta _{\alpha \widehat{\, \, } i}(b^{\alpha \widehat{\, \, } i}_{f,\alpha \widehat{\, \, } i \widehat{\, \, } j})=b^{\alpha \widehat{\, \, } i}_{g,\alpha \widehat{\, \, } i \widehat{\, \, } j}\) and \(\theta _{\alpha \widehat{\, \, } i}\) restricted to \( I^{\alpha \widehat{\, \, } i}_{f,\alpha \widehat{\, \, } i \widehat{\, \, } j}\) is equal to \(\beta _{\alpha \widehat{\, \, } i \widehat{\, \, } j}\) for all \(\alpha \widehat{\, \, } i \widehat{\, \, } j \in A^{+}\). Note that the restrictions of the functions \(\Psi _{\alpha \widehat{\, \, } i}\) and \(\Psi _{\alpha }\) to \(C_{f,\alpha \widehat{\, \, } i}\) are equal.
Therefore, we can define a homeomorphism \(\Psi _{n+1}: U^{+}_{f,n+1} \rightarrow U^{+}_{g,n+1}\) which conjugates the flows \(\{ f^{t}|_{U^{+}_{f,n+1}}\,{:}\,t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U^{+}_{g,n+1}}\,{:}\,t \in \mathbb { R} \} \) by
Then \(\Psi _{n+1}\) conjugates the flows \(\{ f^{t}|_{U^{+}_{f,n+1}}: t \in \mathbb { R} \}\) and \(\{ g^{t}|_{U^{+}_{g,n+1}}: t \in \mathbb { R} \} \).
In the same way we can extend \(\Psi _{n}\) from \(U^{-}_{f,n}\) to \(\Psi _{n+1}\) defined on \(U^{-}_{f,n+1}\). Let \(U_{f,n}:=U^{+}_{f,n} \cup U^{-}_{f,n}\). To define a homeomorphism \(\Psi \) which realizes the topological conjugacy between the flows \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) we put
The function \(\Psi \) is well defined, since for \(k>n\) we have \(U^{+}_{f,n} \subset U^{+}_{f,k}\) and \(\Psi _{k}|_{U^{+}_{f,n}}= \Psi _{n+1}|_{U^{+}_{f,n}}\). \(\square \)
Now we prove that the assumption of Theorem 3.2 concerning the relation between the functions \(\mu _{f,\alpha \widehat{\, \, } i}\) and \(\mu _{f,\alpha \widehat{\, \, } i}\) is a necessary condition for the topological conjugacy of Brouwer flows.
Proposition 3.3
Let \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) and \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) be topologically conjugate Brouwer flows. Then for each \(\alpha \widehat{\, \, } i \in A\) there exist a continuous function \(\gamma _{\alpha \widehat{\, \, } i}: I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow \mathbb {R}\) and an increasing homeomorphism \(\beta _{\alpha \widehat{\, \, } i}: I^{\alpha }_{f,\alpha \widehat{\, \, } i} \rightarrow I^{\alpha }_{g,\alpha \widehat{\, \, } i}\) such that relation (13) holds, i.e.,
where \(\mu _{f,\alpha \widehat{\, \, } i}, \mu _{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}, d^{\alpha }_{g,\alpha \widehat{\, \, } i}\) are those occurring in Theorem 1.2, and \( I^{\alpha }_{f,\alpha \widehat{\, \, } i} := (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}), I^{\alpha }_{g,\alpha \widehat{\, \, } i} := (c^{\alpha }_{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\) in case \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= c^{\alpha }_{g,\alpha \widehat{\, \, } i}\) or \( I^{\alpha }_{f,\alpha \widehat{\, \, } i} := (d^{\alpha }_{f,\alpha \widehat{\, \, } i}-\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}), I^{\alpha }_{g,\alpha \widehat{\, \, } i} := (d^{\alpha }_{g,\alpha \widehat{\, \, } i}-\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i}, d^{\alpha }_{g,\alpha \widehat{\, \, } i})\) in case \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= d^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i} >0\) and \(\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i} >0\), where \(b^{\alpha }_{f,\alpha \widehat{\, \, } i}\) and \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}\) are defined by (10) and (11). Moreover, we have \( \lim _{s \rightarrow b^{\alpha }_{f,\alpha \widehat{\, \, } i}} \beta _{\alpha \widehat{\, \, } i} (s) = b^{\alpha }_{g,\alpha \widehat{\, \, } i}, \lim _{s \rightarrow b^{\alpha }_{f,\alpha \widehat{\, \, } i}} \gamma _{\alpha \widehat{\, \, } i} (s) = a^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(a^{\alpha }_{g,\alpha \widehat{\, \, } i} \in \mathbb {R}\).
Proof
Let \(\{ C_{f,\alpha }:\alpha \in A \} , \{ U_{f,\alpha }:\alpha \in A \} , \{ \varphi _{f,\alpha }:\alpha \in A \} \) and \(\{ C_{g,\alpha }:\alpha \in A \} , \{ U_{g,\alpha }:\alpha \in A \} , \{ \varphi _{g,\alpha }:\alpha \in A \} \) be the families described before the statement of Theorem 3.2. Let \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) be a homeomorphism which realizes the topological conjugacy. Let us fix an arbitrary \(\alpha \widehat{\, \, } i \in A\). We will consider the case where \(b^{\alpha }_{g,\alpha \widehat{\, \, } i}= c^{\alpha }_{g,\alpha \widehat{\, \, } i}\). (The second case is similar.)
By Theorem 1.2 we have \(U_{f,\alpha } \cap U_{f,\alpha \widehat{\, \, } i} = \varphi _{f,\alpha }^{-1}(\mathbb {R} \times (c^{\alpha }_{f,\alpha \widehat{\, \, } i},d^{\alpha }_{f,\alpha \widehat{\, \, } i}))\) and \(U_{g,\alpha } \cap U_{g,\alpha \widehat{\, \, } i} = \varphi _{g,\alpha }^{-1}(\mathbb {R} \times (c^{\alpha }_{g,\alpha \widehat{\, \, } i},d^{\alpha }_{g,\alpha \widehat{\, \, } i}))\). As in the proof of Theorem 3.2 we can find an \(\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i} >0\) such that the interval \((c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\) does not contain any \(b^{\alpha }_{f,\alpha \widehat{\, \, } j}\) for \(j \ne i\). Put \(C_{f,\varepsilon _{\alpha \widehat{\, \, } i}}:=\varphi _{f,\alpha }^{-1}(\mathbb {R} \times \{ c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i} \})\) and \(C_{g,\varepsilon _{\alpha \widehat{\, \, } i}}:=\Phi (C_{f,\varepsilon _{\alpha \widehat{\, \, } i}})\). Since \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) is a homeomorphism which realizes the topological conjugacy, we get that there exists a unique \(\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i} >0\) such that interval \((c^{\alpha }_{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i})\) does not contain any \(b^{\alpha }_{g,\alpha \widehat{\, \, } j}\) for \(j \ne i\) and \(C_{g,\varepsilon _{\alpha \widehat{\, \, } i}}=\varphi _{g,\alpha }^{-1}(\mathbb {R} \times \{ c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i} \})\). Denote by \(\phi ^{\alpha }_{\alpha \widehat{\, \, } i}\) the restriction of the function \(\varphi _{g,\alpha } \circ \Phi \circ \varphi _{f,\alpha }^{-1}\) to the set \(\mathbb {R} \times (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\).
Then \(\phi ^{\alpha }_{\alpha \widehat{\, \, } i}:\mathbb {R} \times (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}) \rightarrow \mathbb {R} \times (c^{\alpha }_{\{g^t \},\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i})\). Thus, if \((u,v)= \psi ^{\alpha }_{\alpha \widehat{\, \, } i}(t,s)\), then \(v=\beta _{\alpha \widehat{\, \, } i}(s)\), where \(\beta _{\alpha \widehat{\, \, } i}:(c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}) \rightarrow (c^{\alpha }_{g,\alpha \widehat{\, \, } i}, c^{\alpha }_{g,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{g,\alpha \widehat{\, \, } i})\) is an increasing homeomorphism.
Let \(K_{f,\alpha }:= \varphi _{f,\alpha }^{-1}(\{ 0 \} \times \mathbb { R}) \) and \(K_{f,\alpha \widehat{\, \, } i}:= \varphi _{f,\alpha \widehat{\, \, } i}^{-1}(\{ 0 \} \times \mathbb { R}) \). Then \(\mu _{f,\alpha \widehat{\, \, } i}(s)\) describes the time needed for the flow \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) to move along the trajectory \(\varphi _{f,\alpha }^{-1}(\mathbb { R} \times \{ s \} ) \) from the section \(K_{f,\alpha \widehat{\, \, } i}\) to the section \(K_{f,\alpha }\) for each \(s\in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\). Put \(L_{g,\alpha }:= \Phi (K_{f,\alpha })\) and \(L_{g,\alpha \widehat{\, \, } i}:= \Phi (K_{f,\alpha \widehat{\, \, } i})\). Then \(L_{g,\alpha }\) is a section in \(U_{g,\alpha }\) and \(L_{g,\alpha \widehat{\, \, } i}\) is a section in \(U_{g,\alpha \widehat{\, \, } i}\), since \(\Phi \) is a homeomorphism which maps trajectories of \(\{ f^t\,{:}\,t \in \mathbb {R} \}\) onto trajectories of \(\{ g^t\,{:}\,t \in \mathbb {R} \}\). Moreover, by the assumption that \(\Phi \,{:}\,\mathbb {R}^2 \rightarrow \mathbb {R}^2\) realizes the topological conjugacy we get that \(\mu _{f,\alpha \widehat{\, \, } i}(s)\) is equal to the time needed for the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) to move along the trajectory \(\varphi _{g,\alpha }^{-1}(\mathbb { R} \times \{ \beta _{\alpha \widehat{\, \, } i}(s) \} ) \) from the section \(L_{g,\alpha \widehat{\, \, } i}\) to the section \(L_{g,\alpha }\) for each \(s\in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\).
Let \(K_{g,\alpha }:= \varphi _{g,\alpha }^{-1}(\{ 0 \} \times \mathbb { R}) \) and \(K_{g,\alpha \widehat{\, \, } i}:= \varphi _{g,\alpha \widehat{\, \, } i}^{-1}(\{ 0 \} \times \mathbb { R}) \). For every \(s\in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\) denote by \(\tau _{g,\alpha }(s)\) the time needed for the flow \(\{ g^t\,{:}\,t \in \mathbb {R} \}\) to move along the trajectory \(\varphi _{g,\alpha }^{-1}(\mathbb { R} \times \{ \beta _{\alpha \widehat{\, \, } i}(s) \} ) \) from \(K_{g,\alpha }\) to \(L_{g,\alpha }\) and by \(\tau _{g,\alpha \widehat{\, \, } i}(s)\) the time needed to move along this trajectory from \(K_{g,\alpha \widehat{\, \, } i}\) to \(L_{g,\alpha \widehat{\, \, } i}\). Then for each \(s\in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\) we have
Define \(\gamma _{\alpha \widehat{\, \, } i}: (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}) \rightarrow \mathbb {R}\) by putting
Then
for each \(s \in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i})\).
Since \(C^{\alpha }_{f,\alpha \widehat{\, \, } i}=\varphi _{f,\alpha }^{-1}(\mathbb { R} \times \{ c^{\alpha }_{f,\alpha \widehat{\, \, } i} \} ) , C^{\alpha }_{g,\alpha \widehat{\, \, } i}=\varphi _{g,\alpha }^{-1}(\mathbb { R} \times \{ c^{\alpha }_{g,\alpha \widehat{\, \, } i} \} ) \) and \(\Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i})=C^{\alpha }_{g,\alpha \widehat{\, \, } i}\), we have \( \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \beta _{\alpha \widehat{\, \, } i} (s) = c^{\alpha }_{g,\alpha \widehat{\, \, } i}\). Moreover, by the definition of \(\gamma _{\alpha \widehat{\, \, } i}\) and \(\tau _{\alpha }\) we have \( \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \gamma _{\alpha \widehat{\, \, } i}(s) = \tau _{\alpha }(c^{\alpha }_{f,\alpha \widehat{\, \, } i}) - \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \tau _{\alpha \widehat{\, \, } i}(s)\). Since, by Proposition 1.6, \(v=c^{\alpha }_{g,\alpha \widehat{\, \, } i}\) corresponds to \(v'=0\), we get that \(\lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \tau _{\alpha \widehat{\, \, } i}(s)\) is the time needed to move along trajectory \(C_{g,\alpha \widehat{\, \, } i}\) from \(K_{g,\alpha \widehat{\, \, } i}\) to \(L_{g,\alpha \widehat{\, \, } i}\). Thus, \( \lim _{s \rightarrow c^{\alpha }_{f,\alpha \widehat{\, \, } i}} \gamma _{\alpha \widehat{\, \, } i} (s) = a^{\alpha }_{g,\alpha \widehat{\, \, } i}\) for some \(a^{\alpha }_{g,\alpha \widehat{\, \, } i} \in \mathbb {R}\). \(\square \)
Summing up, we proved that relation (13) is a sufficient and necessary condition for topologically equivalent Brouwer flows to be topologically conjugate.
References
Andrea, S.A.: On homeomorphisms of the plane which have no fixed points. Abh. Math. Sem. Hamburg 30, 61–74 (1967)
Beck, A.: Continuous flows in the plane, Grundlehren der Mathematischen Wissenschaften 201. Springer (1974)
Béguin, F., Le Roux, F.: Ensemble oscillant d’un homéomorphisme de Brouwer, homéomorphismes de Reeb. Bull. Soc. Math. France 131(2), 149–210 (2003)
Bhatia, N.P., Szegö, G.P.: Stability Theory of Dynamical Systems. Springer, Berlin (1970)
Brouwer, L.E.J.: Beweis des ebenen Translationssatzes. Math. Ann. 72, 37–54 (1912)
Dumortier, F., Llibre, J., Artés, J.C.: Qualitative Theory of Planar Differential Systems. Springer, Berlin (2006)
Hájek, O.: Dynamical Systems in the Plane. Academic Press, London (1968)
Homma, T., Terasaka, H.: On the structure of the plane translation of Brouwer. Osaka Math. J. 5, 233–266 (1953)
Irwin, M.C.: Smooth Dynamical Systems. Academic Press, London (1980)
Kaplan, W.: Regular curve-families filling the plane I. Duke Math. J. 7, 154–185 (1940)
Leśniak, Z.: On a decomposition of the plane for a flow free mappings. Publ. Math. Debrecen 75(1–2), 191–202 (2009)
Leśniak, Z.: On boundaries of parallelizable regions of flows of free mappings, Abstr. Appl. Anal. 2007 (2007), Article ID 31693
Leśniak, Z.: On strongly irregular points of a Brouwer homeomorphism embeddable in a flow, Abstr. Appl. Anal. 2014 (2014), Article ID 638784
Leśniak, Z.: On the first prolongational limit set of flows of free mappings. Tamkang J. Math. 39, 263–269 (2008)
Leśniak, Z.: On the structure of Brouwer homeomorphisms embeddable in a flow, Abstr. Appl. Anal. 2012 (2012), Article ID 248413
Leśniak, Z.: On the topological equivalence of flows of Brouwer homeomorphisms. J. Differ. Equ. Appl. 22, 853–864 (2016)
Le Roux, F.: Classes de conjugaison des flots du plan topologiquement équivalents au flot de Reeb. C. R. Acad. Sci. Paris 328(1), 45–50 (1999)
Matsumoto, S.: A characterization of the standard Reeb flow. Hokkaido Math. J. 42(1), 69–80 (2013)
McCann, R.C.: Planar dynamical systems without critical points. Funkcial. Ekvac. 13, 67–95 (1970)
Nakayama, H.: On dimensions of non-Hausdorff sets for plane homeomorphisms. J. Math. Soc. Jpn. 47(4), 789–793 (1995)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Rosihan M. Ali.
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
Leśniak, Z. On the Topological Conjugacy of Brouwer Flows. Bull. Malays. Math. Sci. Soc. 42, 1639–1655 (2019). https://doi.org/10.1007/s40840-017-0567-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-017-0567-8
Keywords
- Brouwer homeomorphism
- Brouwer flow
- First prolongational limit set
- Topological equivalence
- Topological conjugacy