Local linearization of ODE at singular point - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T05:51:33Z http://mathoverflow.net/feeds/question/36795 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36795/local-linearization-of-ode-at-singular-point Local linearization of ODE at singular point Robert Bruner 2010-08-26T18:50:00Z 2010-08-30T07:09:49Z <p>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).</p> <p>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 <em>diffeomorphism</em> 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.</p> <p>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.</p> <p>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.</p> <p><b> Added later:</b> Yuri: resonances and normal forms are definitely relevant. When I get time I will look into the references you suggest.</p> <p>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.</p> <p>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. </p> http://mathoverflow.net/questions/36795/local-linearization-of-ode-at-singular-point/36803#36803 Answer by Andrey Rekalo for Local linearization of ODE at singular point Andrey Rekalo 2010-08-26T20:01:11Z 2010-08-26T20:18:34Z <p>There is a simple example in the case of the Hartman-Grobman theorem for <em>maps</em> in 3D. The example appears in the original paper by Hartman, <a href="http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;co4=AND&amp;co5=AND&amp;co6=AND&amp;co7=AND&amp;dr=all&amp;pg4=AUCN&amp;pg5=TI&amp;pg6=PC&amp;pg7=ALLF&amp;pg8=ET&amp;r=1&amp;review_format=html&amp;s4=Hartman&amp;s5=%2520structural%2520stability&amp;s6=&amp;s7=&amp;s8=All&amp;vfpref=html&amp;yearRangeFirst=&amp;yearRangeSecond=&amp;yrop=eq" rel="nofollow">"A lemma in the theory of structural stability of differential equations"</a>, Proc. Amer. Math. Soc. 11, 1960. </p> <p>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 &lt; c&lt;1$, $ac>1$. If $\varphi$ is any linearizing map, then both $\varphi$ and $\varphi^{-1}$ are <strong>not</strong> of class $C^{1}$. </p> <p>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, <a href="http://www.ams.org/mathscinet/search/publdoc.html?arg3=&amp;co4=AND&amp;co5=AND&amp;co6=AND&amp;co7=AND&amp;dr=all&amp;pg4=AUCN&amp;pg5=TI&amp;pg6=PC&amp;pg7=ALLF&amp;pg8=ET&amp;r=1&amp;review_format=html&amp;s4=Hartman&amp;s5=on%2520local%2520homeomorphisms&amp;s6=&amp;s7=&amp;s8=All&amp;vfpref=html&amp;yearRangeFirst=&amp;yearRangeSecond=&amp;yrop=eq" rel="nofollow">"On local homeomorphisms of Euclidean spaces"</a>, Bol. Soc. Mat. Mexicana (2) 5, 1960).</p> http://mathoverflow.net/questions/36795/local-linearization-of-ode-at-singular-point/36885#36885 Answer by Yuri Bakhtin for Local linearization of ODE at singular point Yuri Bakhtin 2010-08-27T14:21:12Z 2010-08-27T14:21:12Z <p>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 &amp; Hasselblatt book, see also MR1109035 (92i:58165) Ilʹyashenko, Yu. S.; Yakovenko, S. Yu. (1991) and <a href="http://www.its.caltech.edu/~kaloshin/research/eotk.pdf" rel="nofollow">http://www.its.caltech.edu/~kaloshin/research/eotk.pdf</a> page 17.</p> http://mathoverflow.net/questions/36795/local-linearization-of-ode-at-singular-point/37122#37122 Answer by Hans Lundmark for Local linearization of ODE at singular point Hans Lundmark 2010-08-30T07:09:49Z 2010-08-30T07:09:49Z <p>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$ <em>planar</em> flow is $C^1$ linearizable (another result by Hartman), so you will not find any polynomial examples in the plane. See <a href="http://www.emis.de/journals/EJDE/Monographs/02/abstr.html" rel="nofollow">Linearization via the Lie Derivative </a> by Chicone &amp; Swanson for references and more details.</p> <p>(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.)</p>