1
$\begingroup$

So I am stuck at trying to solve the following:

Prove that there are open intervals $U$ and $V$ containing the origin and a differentiable map H : U → V with a differentiable inverse such that the flow φt of $\dot{x} = −x$ is conjugate to the flow $\psi_t$ of $\dot{x} = −x+ x^2$; that is, $H(\phi_t(H^{−1}(x))) = \psi_t(x)$ whenever $x \in V$.

Now, so far I managed to find only the flows of both equations. I figured that the best way to prove existence of $U$ and $V$ would be to find $H$ somehow and figure out its domain and range. Is there a way to fit Hartman-Grobman theorem into all this? I feel like it is really applicable here, but cannot figure it out...

Thank you.

  • 0
    Well, there is also [Belitskii theorem](https://books.google.ru/books?id=JZrVCgAAQBAJ&pg=PA387&lpg=PA387&dq=Shilnikov+turaev+chua+qualitative+methods&source=bl&ots=gTEfjXZC9_&sig=tMTvLI4ZT3HvLryku5fQ79Ec37s&hl=ru&sa=X&ved=0ahUKEwjp-qqizOLRAhWGhiwKHX8NBFcQ6AEIVjAI#v=onepage&q=Belitskii&f=false) that provides you conditions for smooth linearization of diffeomorphisms. However, I don't remember who proved the similar statement for 1d flows or flows in general. Maybe it was Sternberg or Hartman.2017-01-27
  • 0
    @Evgeny As far as I remember it was Sternberg, but there has been an ongoing discussion of what is the optimal regularity (depending on the resonances). I guess that in the "west" Sternberg would be credited also with the discrete time case... Hartman showed that in the plane there is always a $C^1$ conjugacy for $C^2$ maps and gave a counterexample in dimension $3$.2017-01-28
  • 0
    @Evgeny Belitskii has also for ages this unpublished preprint showing that the conjugacy is always Hölder continuous (it was rewritten recently with Rayskin?).2017-01-28
  • 0
    @JohnB You mean this paper: Sternberg, S. (1958), “On the Structure of Local Homeomorphisms of Euclidean Space, II.”, right?2017-01-31
  • 0
    @Evgeny Right, this one.2017-01-31

1 Answers 1

0

This is a sort of draft: I think that since the usual obstruction for constructing smooth conjugation is missing here, this method will work. However, I'm a little bit stuck with final part right now, so either I will add it later or I will delete the answer.

I'm not sure that formulas will be nice, but the construction of conjugating homeomorphism can be done this way (and as far as I remember this is the most simple way to construct this homeomorphism).

Let's start. Take two segments $\lbrack - \varepsilon_U, +\varepsilon_U \rbrack$ and $\lbrack - \varepsilon_V, +\varepsilon_V \rbrack$. Let's build up this mapping $H$ step by step. First, assign $H(-\varepsilon_U) = -\varepsilon_V$ and $H(\varepsilon_U) = \varepsilon_V$. Now observe, that $\lbrack -\varepsilon_U, 0)$ and $(0, \varepsilon_U\rbrack$ are really the $\bigcup\limits_{t\geqslant 0} \varphi^{t}(-\varepsilon_U)$ and $\bigcup\limits_{t\geqslant 0} \varphi^{t}(\varepsilon_U)$ — this is just because $0$ is an attracting hyperbolic equilibrium and we are dealing with 1D system. The same holds for $\lbrack -\varepsilon_V, 0)$ and $(0, \varepsilon_V\rbrack$. Knowing all that we define $H$ the following way. Take a point $x \in \lbrack -\varepsilon_U, 0)$; there exists some unique $\tau_x$ such that $\varphi^{\tau_x}(-\varepsilon_U) = x$. Define $H(x) = H(\varphi^{\tau_x}(-\varepsilon_U)) = \psi^{\tau_x} \Bigl ( H(-\varepsilon_U ) \Bigr ) = \psi^{\tau_x}(-\varepsilon_V)$. Let's check whether this mapping is conjugacy. It is a bijection between $\lbrack -\varepsilon_U, 0)$ and $\lbrack -\varepsilon_V, 0)$. Take any point $y = \varphi^{\tau_y} (-\varepsilon_U)$ and any $t \geqslant 0$. We want to make sure that $\psi^t \circ H$ and $H \circ \varphi^t$ are the same mappings:

$$ \psi^t \Bigl (H(y) \Bigr ) = \psi^t \Biggl (H \Bigl(\varphi^{\tau_y}(-\varepsilon_U) \Bigr) \Biggr ) = \psi^t \Bigl(\psi^{\tau_y}(-\varepsilon_V) \Bigr) = \psi^{t + \tau_y}(-\varepsilon_V) $$

$$ H \Bigl ( \varphi^t(y) \Bigr ) = H \Biggl ( \varphi^t \Bigl (\varphi^{\tau_y}(-\varepsilon_U) \Bigr) \Biggr ) = H \Bigl ( \varphi^{t+\tau_y}(-\varepsilon_U) \Bigr ) = \psi^{t+\tau_y}(-\varepsilon_V)$$

Thus $H$ is really a conjugacy. We can repeat the procedure for constructing $H$ from $( 0, \varepsilon_U \rbrack$ to $(0, \varepsilon_V \rbrack$ and then we will get $H \colon (-\varepsilon_U, +\varepsilon_U) \setminus \{0\} \mapsto (-\varepsilon_V, +\varepsilon_V) \setminus \{0\}$. It's very natural to set $H(0) = 0$; moreover, we have to do so because we want $H$ to be continuous in the first place. By continuity, if we knew $H(0)$, then after letting $T \rightarrow \infty$ and remembering that $H(\varphi^{T}(-\varepsilon_U)) = \psi^{T}(-\varepsilon_V)$ we get that $H(\varphi^{T}(-\varepsilon_U)) \rightarrow 0$ and $ \psi^{T}(-\varepsilon_V) \rightarrow 0 $. So, at least $H \colon (-\varepsilon_U, +\varepsilon_U) \mapsto (-\varepsilon_V, +\varepsilon_V) $ is a nice homeomorphism.

Note that because $\varphi^t$, $\psi^t$ and $\tau_x$ are all diffeomorphisms: when we don't consider any neighbourhood of point $0$ we have that $H$ is just a composition of diffeomorphisms, which of course is a diffeomorphism itself. So we definitely know that $H'(x)$ exists everywhere on $(-\varepsilon_U, +\varepsilon_U)$ maybe except at $0$. I think that for this case it would be enough to prove that $$\lim\limits_{x \rightarrow 0-0} H'(x) = \lim\limits_{x \rightarrow 0+0} H'(x).$$ Using that $$ H \circ \phi^t = \psi^t \circ H$$ we can differentiate both sides, and this is where I am stuck right now.