16
$\begingroup$

I would like the simplest example of the failure of an ODE to be locally diffeomorphic to its linearization, despite being locally homeomorphic to it. More precisely, consider x' = f(x) with f(0) = 0 in R^n. Let A = f'(0) so that the local linearization is x' = Ax. Suppose the eigenvalues of A all have nonzero real part (i.e., 0 is a hyperbolic critical point).

The Hartman-Grobman theorem tells us that there is a homeomorphism of a neighborhood of 0 which conjugates the system x'=f(x) to its linearization x'=Ax. If one reads the elementary `differential equations from the dynamical systems point of view' literature, however, you will gain the false impression that there is a diffeomorphism h : U --> U of a nhood of 0 which does this, and that further, one can even do this with h'(0) = I, the identity matrix. The point of this is to ensure that the trajectories of the nonlinear system are tangent to the trajectories of the linearization: if $h'(0)\neq I$ then this may be false.

Smale's stable manifold theorem gives partial information in this direction, saying that the stable manifolds of the system and its linearization are tangent, and similarly for the unstable manifolds. In 2D, at a saddle, this is sufficient to imply that the separatrices of the original system are tangent to those of the linearization. For a node in 2D, or in higher dimensions, I am under the impression this need not hold. I even think I had worked out an example many years ago, which I no longer recall.

Any enlightenment on this issue would be much appreciated. I am not at all expert in these matters, so welcome any corrections, if I have distorted the facts. I am hoping for a 2 dimensional example.

Added later: Yuri: resonances and normal forms are definitely relevant. When I get time I will look into the references you suggest.

Here's an example of what I am trying to avoid. Consider a flow on the unit disk with trajectories the radial lines y = mx. Conjugate by $(r,\theta) \mapsto (r,f(r,\theta))$ where $f(0,\theta)$ is constant on, say, $[-\pi/2,\pi/2]$, e.g. $f(r,\theta) = r\theta$ on $[-\pi/2,\pi/2]$ and $(2\theta-\pi) + r(\pi-\theta)$ in the left half plane. Now all the trajectories leaving the unit circle in the right half plane approach 0 along the positive x-axis. So, conjugating with such a homeomorphism has replaced a single trajectory with horizontal tangent by an entire interval of such.

I strongly suspect that this sort of pathology doesn't happen with polynomial flows. Perhaps the normal forms will show this. What I would hope is that for each slope, there is a 1-1 correspondence between the trajectories in the original flow and its linearization approaching or leaving the singular point at that slope. In particular, that you can't have a single trajectory in the linearization but a whole interval of them in the nonlinear flow. A counterexample to this hope would be disappointing, but would settle the matter.

$\endgroup$

3 Answers 3

5
$\begingroup$

In three dimensions, Hartman gave the example $dx/dt=ax$, $dy/dt=(a-b)y+cxz$, $dz/dt=-bz$ where $a>b>0$ and $c \neq 0$. On the other hand, any $C^2$ planar flow is $C^1$ linearizable (another result by Hartman), so you will not find any polynomial examples in the plane. See Linearization via the Lie Derivative by Chicone & Swanson for references and more details.

(Strengthening the smoothness assumption will not give any more than $C^1$ linearizability even in the planar case, as shown by the $C^{\infty}$ example $dx/dt=-x$, $dy/dt=-2y+x^2$, which is easily solved explicitly: $x(t)=x_0 e^{-t}$, $y(t)=(y_0+x_0^2 t) e^{-2t}$. The solution curves are of the form $y=Ax^2-B x^2 \ln|x|$, and are therefore only $C^1$ at the origin, whereas the linearized system of course has smooth solution curves.)

$\endgroup$
2
  • $\begingroup$ To be precise, I should of course of course have said "any $C^2$ planar flow is $C^1$ linearizable at a hyperbolic equilibrium" (but that was sort of clear from the question). $\endgroup$ Aug 30, 2010 at 7:15
  • $\begingroup$ This is the example I had remembered from years ago, but the source I got it from did not make its exact meaning clear. Hartman's C^1 linearization is sufficient to exclude the sort of pathology I was worried about above and allows me to finish off something I set aside years ago! Apparently I missed this in Hartman's 1960 paper. Thank you. $\endgroup$ Aug 31, 2010 at 23:05
5
$\begingroup$

There is a simple example in the case of the Hartman-Grobman theorem for maps in 3D. The example appears in the original paper by Hartman, "A lemma in the theory of structural stability of differential equations", Proc. Amer. Math. Soc. 11, 1960.

Let's consider the map $T: \mathbb R^3\to \mathbb R^3$ given by $$ T(x,y,z)=(ax,\ ac(y+b xz),\ cz)),$$ where $a>1$, $b>0$, $0 < c<1$, $ac>1$. If $\varphi$ is any linearizing map, then both $\varphi$ and $\varphi^{-1}$ are not of class $C^{1}$.

In the 2D case, one can show that any map $T(X)=AX+F(X)$ of class $C^2$ such that $F$ and its gradient vanish at $X=0$ can be linearized in the neighborhood of $X=0$ with a $C^1$-diffeomorphism, provided that the matrix $A$ has no eigenvalue of absolute value of $0$ or $1$ (see another paper by Hartman, "On local homeomorphisms of Euclidean spaces", Bol. Soc. Mat. Mexicana (2) 5, 1960).

$\endgroup$
4
$\begingroup$

The linearizing conjugation may be worse than $C^2$ due to so called resonances. In dynamics, in resonant cases, people often use normal forms instead of linearizations. Normal forms can be worse than linear, i.e., polynomial or even power series, but they have some nice structure, e.g., the stable and unstable manifolds are flat in the new variables. Basic introduction to resonances and normal forms can be found in, e.g., Katok & Hasselblatt book, see also MR1109035 (92i:58165) Ilʹyashenko, Yu. S.; Yakovenko, S. Yu. (1991) and http://www.its.caltech.edu/~kaloshin/research/eotk.pdf page 17.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.