Twierdzenie Poincarégo-Hopfa

Zgodnie z twierdzeniem Poincarégo-Hopfa zamknięta orbita może otaczać jedno ognisko, lub dwa ogniska i jedno siodło, nigdy jednak wyłącznie jedno siodło

Twierdzenie Poincarégo-Hopfa (czasem twierdzenie o indeksie Poincarégo) – twierdzenie, które jest używane w topologii różniczkowej.

Twierdzenie Poincarégo-Hopfa czasami jest ilustrowane twierdzeniem o czesaniu kuli, które mówi, że nie ma gładkiego pola wektorowego na sferze, nie mającego węzłów lub ognisk.

Definicja formalna

Niech $M$ będzie rozmaitością różniczkowalną, wymiaru $n,$ oraz $v$ polem wektorowym na $M.$ Niech $x$ będzie izolowanym zerem $v,$ i $D$ niech będzie otoczeniem $x$ diffeomorficznym z $S^n$ dostatecznie małym żeby nie zawierać innych zer $v.$ Wtedy indeks $v$ w punkcie $x,$ jest stopniem Brouwera odwzorowania $u:\partial D\to S^{n-1}$ z brzegu $D$ w (n-1)-sferę dane przez $u(z)=v(z)/|v(z)|.$

Twierdzenie. Niech $M$ będzie zwartą rozmaitością różniczkowalną. Niech $v$ będzie polem wektorowym na $M$ z izolowanymi zerami. Jeśli $M$ ma brzeg, to $v$ jest dodatnio proporcjonalne do wektora normalnego do $\partial M.$ Wtedy zachodzi równość:

$\sum _i{\mathrm{index}}_{x_i}(v)=\chi (M),$

gdzie suma przebiega po wszystkich izolowanych zerach $v,$ a $\chi (M)$ jest charakterystyką Eulera $M.$ Wyjątkowo użyteczny przypadek zachodzi gdy $v$ jest nigdzie znikające, zmuszając $\chi (M)=0.$

Twierdzenie zostało udowodnione dla wymiaru 2 przez Henriego Poincarégo, a później uogólnione na wyższe wymiary przez Heinza Hopfa.

Zastosowanie dla dwuwymiarowych pól

Dla dwuwymiarowych autonomicznych układów dynamicznych to twierdzenie mówi, że zera pola wektorowego zadającego układ wewnątrz cyklicznej orbity (której wnętrze $M$ jest diffeomorficzne z $D^2,$ a zatem ma $\chi (M)=1$) muszą mieć indeksy sumujące się do jedności. Indeksy hiperbolicznych punktów stabilnych da się w pełni scharakteryzować:

Centra:	$\mathrm{index}=+1$
Ogniska:	$\mathrm{index}=+1$
Węzły:	$\mathrm{index}=+1$
Siodła:	$\mathrm{index}=-1$

Pozwala to na wykluczanie istnienia niektórych orbit poprzez analizę zachowania wyłącznie w okolicy punktów stabilnych.

Bibliografia

• Szablon:Cytuj książkę
• Szablon:Cytuj książkę