proof of Hartman-Grobman theorem
Lemma 1.
Let be an hyperbolic isomorphism, and let and be -Lipschitz maps from to itself such that .If is sufficiently small, then and are topologically conjugate.
Since is hyperbolic, we have and there is (possibly changing the norm of by an equivalent box-type one), called the skewness of ,such that
and
Let us denote by the Banach space of all bounded
, continuous maps
from to itself, with the norm of the supremum
induced by the norm of .The operator
induces a linear operator defined by, which is also hyperbolic. In fact, letting be the set of all maps whose range is containedin (for ) we have that is a hyperbolic splittingfor with the same skewness as .
From now on we denote the projection of to by , andthe restriction by ().
We will try to find a conjugation of the form where .
Proposition 1.
There exists such that if and are -Lipschitz,then there is a unique such that
Proof.
We want to find such that
which is the same as
This can be rewriten as
where we use the fact that by the Lipschitz inverse mapping theorem, if (where is the skewness of ) then is invertible with Lipschitz inverse.
Now define by
We assert that, if is small, is a contraction.In fact,
and
Thus, if , has Lipschitz constantsmaller than , so it is a contraction. Hence exists and is unique.∎
Proposition 2.
The map from the previous proposition is a homeomorphism.
Proof.
Using the previous proposition with and switched, we get a unique such that
It follows that
(1) |
Also, the previous proposition with implies thatthat there is a unique such that
which obviously is . But since and ,(1) implies that is a solution of the above equation, so that and . In a similar way, we see that . Hence is invertible, with continuous inverse.∎
The two previous propositions prove the lemma.
Proposition 3.
If is an open neighborhood of and is a map with , then for every there is such that is -Lipschitz in the ball .
Proof.
This is a direct consequence of the mean value inequality and thefact that is continuous and .∎
Proposition 4.
There is a constant such that if is an -Lipschitz map, thenthere is a -Lipschitz map which coincides with in .
Proof.
Let be a bump function: an infinitelydifferentiable map such that for and for , with derivative bounded by and for all .Now define (when is notdefined, we assume that it is zero).If and are both in then we have
if is in and is not, then
where is defined as with
This is true because . Also, ; hence
Finally, if both and are outside , then. Letting weget the desired result.∎
Proof of the theorem.Taking the particular in the lemma, we observe thatthere is such that for any -Lipschitz map , is conjugate to .Choose such that is -Lipschitz in .Let be the -Lipschitz extension of to obtained from the previous proposition. We have that is conjugate to . But for we have, so that is locally conjugate to .