En hyperbolisk fixpunkt ( hyperbolisk punkt ) är ett grundläggande begrepp som används i teorin om dynamiska system i relation till avbildningar ( diffeomorfismer ) och vektorfält . I fallet med en mappning är en hyperbolisk punkt en fast punkt där alla multiplikatorer ( egenvärdena för linjäriseringen av mappningen vid en given punkt) är modulo olika från en. I fallet med vektorfält är en hyperbolisk punkt en singulär punkt där alla egenvärden för fältlinjäriseringen har reella delar som inte är noll.
Vid en hyperbolisk punkt i ett vektorfält (eller diffeomorfism), bryts tangentrymden upp i en direkt summa av två invarianta delrum och , som är invarianta under operatorn för den linjära delen av fältet: . Delutrymmena och definieras av villkoren , i fallet med vektorfält, och av villkoren , i fallet med diffeomorfismer. Dessa delrum är de invarianta grenrören av ett linjärt vektorfält (diffeomorfism) vid en given punkt, de kallas dess instabila respektive stabila .
Instabila och stabila grenrör av det ursprungliga icke-linjära vektorfältet (diffeomorphism) är dess oföränderliga grenrör och , tangent respektive till delutrymmena och vid den aktuella punkten och har samma dimensioner som . Varieteterna och är unikt definierade [1] . Observera att grenrören och existerar inte bara i fallet med hyperboliska singularpunkter, utan i fallet med en hyperbolisk punkt, summan av deras dimensioner är lika med dimensionen av hela rummet, och det finns inga andra invarianta grenrör som passerar genom detta singular punkt [1] .
Grobman-Hartmans teorem . I närheten av en hyperbolisk punkt i en icke-linjär diffeomorfism (vektorfält) skiljer sig dynamiken från den för motsvarande linjära avbildning (vektorfält) genom en kontinuerlig förändring av koordinater .
Hadamard-Perrons sats. [2] [3] I närheten av en hyperbolisk punkt i ett jämnt (eller analytiskt ) vektorfält eller diffeomorfism, finns det instabila och stabila grenrör och samma klass av jämnhet (respektive analytisk) som passerar genom den givna punkten.
Chens teorem. [4] [5] Om, i närheten av en hyperbolisk punkt, två -släta vektorfält (diffeomorfismer) är formellt ekvivalenta (d.v.s. översätts till varandra genom en formell förändring av variabler som ges av formella potensserier ), då är -jämnt likvärdiga.