On the Topological Conjugacy of Brouwer Flows

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.

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

$$\begin{aligned} f^t \circ f^s=f^{t+s}, \quad t,s \in \mathbb {R}, \end{aligned}$$

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

$$\begin{aligned} \Phi (f^t(x)) = g^{t}(\Phi (x)), \quad x \in X, t\in \mathbb {R}. \end{aligned}$$

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

$$\begin{aligned} \mathrm{J}_{f}(p):=\mathrm{J}^{+}_{f}(p)\cup \mathrm{J}^{-}_{f}(p) \end{aligned}$$

for every $p\in X$ and

$$\begin{aligned} \mathrm{J}_{f}(H):=\displaystyle {\bigcup _{p\in H}} \mathrm{J}_{f}(p) \end{aligned}$$

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

$$\begin{aligned} f^t(x)= \varphi _{f,\, U}^{-1} (\varphi _{f,\, U}(x) + (t,0)), \quad x\in U, t\in \mathbb { R}. \end{aligned}$$

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

$$\begin{aligned}&\displaystyle C_{\alpha } \subset U_{\alpha } \quad \mathrm{for}\,\, \alpha \in A, \end{aligned}$$

(1)

$$\begin{aligned}&\displaystyle \bigcup _{\alpha \in A} U_{\alpha }=\mathbb {R}^{2}, \end{aligned}$$

(2)

$$\begin{aligned}&\displaystyle U_{\alpha }\cap U_{\alpha \widehat{\, \, } i}\ne \emptyset \quad \mathrm{for}\,\, \alpha \widehat{\, \, } i \in A, \end{aligned}$$

(3)

$$\begin{aligned}&\displaystyle C_{\alpha \widehat{\, \, } i}\subset \mathrm{bd}\, U_{\alpha } \quad \mathrm{for}\,\, \alpha \widehat{\, \, } i \in A, \end{aligned}$$

(4)

$$\begin{aligned}&\displaystyle |C_{\alpha },C_{\alpha \widehat{\, \, } i_{1}}, C_{\alpha \widehat{\, \, } i_{2}}| \quad \mathrm{for}\,\, \alpha \widehat{\, \, } i_{1}, \alpha \widehat{\, \, } i_{2} \in A, \quad i_{1}\ne i_{2}, \end{aligned}$$

(5)

$$\begin{aligned}&\displaystyle C_{\alpha }|C_{\alpha \widehat{\, \, } i}| C_{\alpha \widehat{\, \, } i\widehat{\, \, } j} \quad \mathrm{for}\,\, \alpha \widehat{\, \, } i\widehat{\, \, } j \in A. \end{aligned}$$

(6)

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^{+}$

$$\begin{aligned} \varphi _{\alpha \widehat{\, \, } i}(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i})= & {} \mathbb {R}\times (c_{\alpha \widehat{\, \, } i},0),\\ \varphi _{\alpha }(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i})= & {} \mathbb {R}\times \left( c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}\right) , \end{aligned}$$

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

$$\begin{aligned} h_{\alpha \widehat{\, \, } i}:\mathbb {R}\times \left( c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}\right) \rightarrow \mathbb {R}\times (c_{\alpha \widehat{\, \, } i},0) \end{aligned}$$

given by the relation

$$\begin{aligned} h_{\alpha \widehat{\, \, } i}:=\varphi _{\alpha \widehat{\, \, } i}\circ \left( \varphi _{\alpha |_{U_{\alpha }\cap U_{\alpha \widehat{\, \, } i}}}\right) ^{-1} \end{aligned}$$

(7)

has the form

$$\begin{aligned} h_{\alpha \widehat{\, \, } i}(t,s)=(\mu _{\alpha \widehat{\, \, } i}(s)+t,\nu _{\alpha \widehat{\, \, } i}(s)), \quad t \in \mathbb {R}, s \in \left( c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}\right) . \end{aligned}$$

(8)

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^{-}$

$$\begin{aligned} \varphi _{\alpha \widehat{\, \, } i}(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i})=\mathbb {R}\times (0,c_{\alpha \widehat{\, \, } i}),\\ \varphi _{\alpha }(U_{\alpha }\cap U_{\alpha \widehat{\, \, } i})=\mathbb {R}\times \left( c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}\right) , \end{aligned}$$

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

$$\begin{aligned} h_{\alpha \widehat{\, \, } i}:\mathbb {R}\times \left( c^{\alpha }_{\alpha \widehat{\, \, } i},d^{\alpha }_{\alpha \widehat{\, \, } i}\right) \rightarrow \mathbb {R}\times (0,c_{\alpha \widehat{\, \, } i}) \end{aligned}$$

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

$$\begin{aligned} \begin{array}{lr} \lim _{s \rightarrow c^{\alpha }_{\alpha \widehat{\, \, } i}} \mu _{\alpha \widehat{\, \, } i}(s) &{} = \left\{ \begin{array}{l} -\infty \quad \mathrm{if} \quad C_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}^{+}(C^{\alpha }_{\alpha \widehat{\, \, } i}), \\ +\infty \quad \mathrm{if} \quad C_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}^{-}(C_{\alpha \widehat{\, \, } i}) \end{array} \right. \end{array} \end{aligned}$$

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

$$\begin{aligned} \begin{array}{lr} \lim _{s \rightarrow d^{\alpha }_{\alpha \widehat{\, \, } i}} \mu _{\alpha \widehat{\, \, } i}(s) &{} = \left\{ \begin{array}{l} -\infty \quad \mathrm{if} \quad C_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}^{+}(C^{\alpha }_{\alpha \widehat{\, \, } i}), \\ +\infty \quad \mathrm{if} \quad C_{\alpha \widehat{\, \, } i} \subset \mathrm{J}_{f}^{-}(C_{\alpha \widehat{\, \, } i}) \end{array} \right. \end{array} \end{aligned}$$

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

$$\begin{aligned} \Phi (C^{\alpha }_{f,\alpha \widehat{\, \, } i}) = C^{\alpha }_{g,\alpha \widehat{\, \, } i}, \quad \alpha \widehat{\, \, } i \in A, \end{aligned}$$

(9)

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

$$\begin{aligned} \mu _{f,11} = \mu _{g,11} \circ \beta +\gamma , \end{aligned}$$

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

$$\begin{aligned} b^{\alpha }_{f,\alpha \widehat{\, \, } i} := \left\{ \begin{array}{l} c^{\alpha }_{f,\alpha \widehat{\, \, } i} \quad \mathrm{if} \, \, C_{f,\alpha }| C^{\alpha }_{f,\alpha \widehat{\, \, } i}| C_{f,\alpha \widehat{\, \, } i} \, \, \mathrm{or} \, \, C_{f,\alpha }= C^{\alpha }_{f,\alpha \widehat{\, \, } i} , \\ d^{\alpha }_{f,\alpha \widehat{\, \, } i} \quad \mathrm{if} \, \, |C_{f,\alpha }, C^{\alpha }_{f,\alpha \widehat{\, \, } i}, C_{f,\alpha \widehat{\, \, } i}|, \end{array} \right. \end{aligned}$$

(10)

where $c^{\alpha }_{f,\alpha \widehat{\, \, } i}, d^{\alpha }_{f,\alpha \widehat{\, \, } i}$ are those occurring in Theorem 1.2. Then

$$\begin{aligned} \varphi _{f,\alpha }\left( C^{\alpha }_{f,\alpha \widehat{\, \, } i}\right) =\mathbb {R} \times \left\{ b^{\alpha }_{f,\alpha \widehat{\, \, } i} \right\} . \end{aligned}$$

Similarly, let

$$\begin{aligned} b^{\alpha }_{g,\alpha \widehat{\, \, } i} := \left\{ \begin{array}{l} c^{\alpha }_{g,\alpha \widehat{\, \, } i} \quad \mathrm{if} \, \, C_{g,\alpha }| C^{\alpha }_{g,\alpha \widehat{\, \, } i}| C_{g,\alpha \widehat{\, \, } i} \, \, \mathrm{or} \, \, C_{g,\alpha }= C^{\alpha }_{g,\alpha \widehat{\, \, } i} , \\ d^{\alpha }_{g,\alpha \widehat{\, \, } i} \quad \mathrm{if} \, \, |C_{g,\alpha }, C^{\alpha }_{g,\alpha \widehat{\, \, } i}, C_{g,\alpha \widehat{\, \, } i}|. \end{array} \right. \end{aligned}$$

(11)

Then,

$$\begin{aligned} \varphi _{g,\alpha }\left( C^{\alpha }_{g,\alpha \widehat{\, \, } i}\right) =\mathbb {R} \times \left\{ b^{\alpha }_{g,\alpha \widehat{\, \, } i} \right\} . \end{aligned}$$

Hence,

$$\begin{aligned} \left( \varphi _{g,\alpha } \circ \Phi \circ \varphi _{f,\alpha }^{-1}\right) \left( \mathbb { R} \times \left\{ b^{\alpha }_{f,\alpha \widehat{\, \, } i} \right\} \right) = \mathbb { R} \times \left\{ b^{\alpha }_{g,\alpha \widehat{\, \, } i} \right\} , \end{aligned}$$

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

$$\begin{aligned} b^{\alpha }_{f,\alpha \widehat{\, \, } i} = c^{\alpha }_{f,\alpha \widehat{\, \, } i} \quad \mathrm{iff} \quad b^{\alpha }_{g,\alpha \widehat{\, \, } i} = c^{\alpha }_{g,\alpha \widehat{\, \, } i}, \end{aligned}$$

(12)

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

$$\begin{aligned} \begin{array}{lr} b^{\alpha }_{f,\alpha \widehat{\, \, } i} &{} := \left\{ \begin{array}{l} d^{\alpha }_{f,\alpha \widehat{\, \, } i} \quad \mathrm{if} \quad C_{f,\alpha }| C^{\alpha }_{f,\alpha \widehat{\, \, } i}| C_{f,\alpha \widehat{\, \, } i} \, \, \mathrm{or} \, \, C_{f,\alpha }= C^{\alpha }_{f,\alpha \widehat{\, \, } i} , \\ c^{\alpha }_{f,\alpha \widehat{\, \, } i} \quad \mathrm{if} \quad |C_{f,\alpha }, C^{\alpha }_{f,\alpha \widehat{\, \, } i}, C_{f,\alpha \widehat{\, \, } i}|, \end{array} \right. \end{array} \end{aligned}$$

and

$$\begin{aligned} \begin{array}{lr} b^{\alpha }_{g,\alpha \widehat{\, \, } i} &{} := \left\{ \begin{array}{l} d^{\alpha }_{g,\alpha \widehat{\, \, } i} \quad \mathrm{if} \quad C_{g,\alpha }| C^{\alpha }_{g,\alpha \widehat{\, \, } i}| C_{g,\alpha \widehat{\, \, } i} \, \, \mathrm{or} \, \, C_{g,\alpha }= C^{\alpha }_{g,\alpha \widehat{\, \, } i} , \\ c^{\alpha }_{g,\alpha \widehat{\, \, } i} \quad \mathrm{if} \quad |C_{g,\alpha }, C^{\alpha }_{g,\alpha \widehat{\, \, } i}, C_{g,\alpha \widehat{\, \, } i}|, \end{array} \right. \end{array} \end{aligned}$$

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

$$\begin{aligned} \mu _{f,\alpha \widehat{\, \, } i}(s) = (\mu _{g,\alpha \widehat{\, \, } i} \circ \beta _{\alpha \widehat{\, \, } i})(s) +\gamma _{\alpha \widehat{\, \, } i}(s), \quad s\in I^{\alpha }_{f,\alpha \widehat{\, \, } i}, \end{aligned}$$

(13)

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

$$\begin{aligned} b^{\alpha }_{f,\alpha \widehat{\, \, } i}< b^{\alpha }_{f,\alpha \widehat{\, \, } j} \quad \mathrm{iff} \quad b^{\alpha }_{g,\alpha \widehat{\, \, } i} < b^{\alpha }_{g,\alpha \widehat{\, \, } j} \end{aligned}$$

(14)

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

$$\begin{aligned} \Psi _n\left( C^{\alpha }_{f,\alpha \widehat{\, \, } i}\right) = C^{\alpha }_{g,\alpha \widehat{\, \, } i}, \end{aligned}$$

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

$$\begin{aligned} \psi _{\alpha }(t,s)=(\eta _{\alpha }+t,\theta _{\alpha }(s)), \quad (t,s) \in \mathbb { R} \times [0, +\infty ), \end{aligned}$$

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

$$\begin{aligned} \psi _{\alpha }(t,s)=(\eta _{\alpha }+t,\theta _{\alpha }(s)), \quad (t,s) \in \mathbb { R} \times [0, +\infty ), \end{aligned}$$

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

$$\begin{aligned} \mu _{f,\alpha \widehat{\, \, } i}(s) = (\mu _{g,\alpha \widehat{\, \, } i} \circ \beta _{\alpha \widehat{\, \, } i})(s) +\gamma _{\alpha \widehat{\, \, } i}(s), \quad s\in I^{\alpha }_{f,\alpha \widehat{\, \, } i}, \end{aligned}$$

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

$$\begin{aligned} \eta _{\alpha \widehat{\, \, }i}(s'):= -\gamma _{\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s'))+\eta _{\alpha } \end{aligned}$$

and

$$\begin{aligned} \xi _{\alpha \widehat{\, \, }i}(s') := \nu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(\nu _{f,\alpha \widehat{\, \, } i}^{-1}(s'))) \end{aligned}$$

for $s'\in (d_{f,\alpha \widehat{\, \, } i},0)$. Then

$$\begin{aligned} \phi ^{\alpha }_{\alpha \widehat{\, \, } i}(t',s'):=(\eta _{\alpha \widehat{\, \, } i}(s')+t',\xi _{\alpha \widehat{\, \, } i}(s')), \quad (t',s') \in \mathbb {R}\times (d_{f,\alpha \widehat{\, \, } i},0). \end{aligned}$$

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

$$\begin{aligned} \psi _{\alpha \widehat{\, \, } i}(t,s)=(\eta _{\alpha \widehat{\, \, } i}+t,\theta _{\alpha \widehat{\, \, } i}(s)), \quad (t,s) \in \mathbb { R} \times [0, +\infty ), \end{aligned}$$

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

$$\begin{aligned} \begin{array}{lr} \Psi _{n+1}(p) &{} := \left\{ \begin{array}{l} \Psi _{n}(p) \quad \mathrm{if} \quad p\in U^{+}_{f,n}, \\ \Psi _{\alpha \widehat{\, \, } i}(p) \quad \, \, \, \mathrm{if} \quad p\in G_{f,\alpha \widehat{\, \, } i}, \, \alpha \widehat{\, \, } i \in A^{+}_{n+1}. \end{array} \right. \end{array} \end{aligned}$$

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

$$\begin{aligned} \Psi (p):=\Psi _{n}(p), \quad \, \, p\in U_{f,n}, n\in \mathbb {Z}_{+}. \end{aligned}$$

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.,

$$\begin{aligned} \mu _{f,\alpha \widehat{\, \, } i}(s) = (\mu _{g,\alpha \widehat{\, \, } i} \circ \beta _{\alpha \widehat{\, \, } i})(s) +\gamma _{\alpha \widehat{\, \, } i}(s), \quad s\in I^{\alpha }_{f,\alpha \widehat{\, \, } i}, \end{aligned}$$

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

$$\begin{aligned} \mu _{g,\alpha \widehat{\, \, } i}(\beta _{\alpha \widehat{\, \, } i}(s)) = \mu _{f,\alpha \widehat{\, \, } i} (s) +\tau _{\alpha \widehat{\, \, } i}(s) - \tau _{\alpha }(s). \end{aligned}$$

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

$$\begin{aligned} \gamma _{\alpha \widehat{\, \, } i}(s):= \tau _{\alpha }(s) - \tau _{\alpha \widehat{\, \, } i}(s), \quad s\in (c^{\alpha }_{f,\alpha \widehat{\, \, } i}, c^{\alpha }_{f,\alpha \widehat{\, \, } i}+\varepsilon ^{\alpha }_{f,\alpha \widehat{\, \, } i}). \end{aligned}$$

Then

$$\begin{aligned} \mu _{f,\alpha \widehat{\, \, } i} (s) = (\mu _{g,\alpha \widehat{\, \, } i} \circ \beta _{\alpha \widehat{\, \, } i})(s) +\gamma _{\alpha \widehat{\, \, } i}(s) \end{aligned}$$

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.