Der Satz von HADAMARD und PERRON für diskrete Systeme in
beschreibt Eigenschaften der Separatrixflächen:
Ist
eine hyperbolische Ruhelage von (17.3) vom Typ ,
so sind
und
verallgemeinerte -glatte Flächen der Dimension
bzw.
,
die lokal wie -glatte Elementarflächen aussehen.
Die Orbits von (17.3), die für
oder
nicht
gegen
streben, verlassen hinreichend kleine Umgebungen von
für
oder .
Die Fläche
bzw.
tangiert in
den
stabilen Untervektorraum
für
von
bzw. den instabilen Untervektorraum
für .
Beispiel
Betrachtung des folgenden zeitdiskreten dynamischen Systems
(17.23)
aus der Familie der HÉNON-Abbildungen.
Die beiden hyperbolischen Ruhelagen von (17.23) sind
und .
Es sollen lokale stabile und instabile Mannigfaltigkeiten von
bestimmt werden.
Mit der Variablentransformation
geht (17.23) in das
System
mit
der Ruhelage
über.
Den Eigenwerten
der JACOBI-Matrix
entsprechen die Eigenvektoren
bzw.
,
so daß
und
ist.
In dem Ansatz
wird
als Potenzreihe
gesucht.
Aus
folgt
.
Dies führt zu einer Bestimmungsgleichung für die Koeffizienten der Zerlegung von
,
wobei
ist.
Der prinzipielle Verlauf der stabilen und instabilen Mannigfaltigkeit ist in der folgenden
Abbildung zu sehen (s. auch Lit. 17.6).