Będziemy mówili o trajektoriach pola wektorowego na rozmaitości zanurzonej w
.
Będziemy również zakładali że rozmaitość
jest zwarta. Z twierdzenia o przedłużaniu rozwiązań wynika że wówczas potok pola wektorowego
jest określony dla wszystkich czasów
. Mamy więc jednoparametrową rodzinę dyfeomorfizmów określonych na rozmiatości
.
Duża część rozważań ma jednak charakter lokalny, więc wystarczy wtedy wykazać odpowiednie twierdzenia dla pola określonego na otwartym podzbiorze i skorzystać z następującej obserwacji:
Niech będzie polem wektorowym określonym na gładkiej,
-wymiarowej rozmaitości
zanurzonej w
.
Niech
bedzie parametryzacją otwartego podzbioru
.
jest zatem określone na otwartym podzbiorze
.
Rozważmy pole
, czyli
określone na otwartym podzbiorze
wzorem:
![]() |
Wówczas jest krzywą całkową równania
wtedy i tylko wtedy gdy
jest krzywą całkową równania
.
Załóżmy że:
![]() |
Sprawdzamy że
![]() |
Mamy
![]() |
Dowód odwrotnej implikacji jest analogiczny.
∎Niech bedzie polem wektorowym na rozmaitości gładkiej zwartej
,
- potokiem tego pola. Mówimy że
jest punktem
- granicznym trajektorii
,
jeśli istnieje ciąg czasów
taki że
![]() |
Niech będzie polem wektorowym klasy
na zwartej rozmaitości
. Niech
. Wówczas:
jest domkniętym podzbiorem
.
jest niezmienniczym (ze względu na potok pola
) podzbiorem
, to znaczy
jest sumą pewnych trajektorii pola
.
jest zbiorem spójnym.
Pierwsza własność wynika natychmiast ze zwartości . Druga własność wynika z następującej obserwacji:
jeśli
jest potokiem pola
i
dla pewnego ciągu
, to
![]() |
zatem . Spójność wykażemy niewprost: załózmy że
jest sumą dwóch
rozłącznych domkniętych zbiorów
. Ponieważ są to domknięte rozłaczne podzbiory, możemy znależć otoczenia
,
takie że
. Ponieważ
więc istnieje ciąg
taki że
. Ponieważ
, dla każdego
znajdzie się
taki że
. Zatem (pamietamy że
jest zwarty) istnieje punkt
w
. Otrzymujemy sprzeczność.
Rozpatrzmy stałe pole wektorowe na :
.
Trajektorie tego pola w
to oczywiście proste
.
To samo pole można rozważać na torusie - przestrzeni ilorazowej
.
Trajektoriami na torusie są linie powstałe jako rzutowania prostych
. Jeślli iloraz
jest liczbą wymierną tokażda trajektoria na torusie jest okresowa. Jeśli iloraz jest niewymierny to każda trajektoria jest gęsta. W tym drugim przypadku mamy:
dla każdego
.
Mówimy że punkt jest błądzący jeśli istnieje jego otoczenie
i
że dla każdego
mamy
. Uzupelnienie zbioru punktów błądzących nazywamy zbiorem punktów niebłądzących i oznaczamy
.
Zbiór jest niezmienniczy ze względu na dzialanie pola
(tzn
) i domknięty.
Oczywiście zbiór jest zawarty w
.
Przykład- potoki gradientowe
Niech będzie gładką
- wymiarową podrozmaitością zanurzoną w
.
W przestrzeni stycznej do
mamy zdefiniowany iloczyn skalarny i normę dziedziczoną z
.
(Mamy więc strukturę Riemannowska dziedziczona z
).
Niech będzie funkcją klasy
. Wówczas różniczka
w punkcie
,
jest
- formą (przekształceniem liniowym
. Zatem istnieje dokładnie jeden wektor
w przestrzeni stycznej
, taki że
. Ten wektor nazywamy gradientem funkcji
w punkcie
.
Otrzymujemy w ten sposób pole wektorowe klasy
na
.
Jeśli funkcja
jest określona nie tylko w
, ale również na otoczeniu
w
, to łatwo można związać gradient
ze zwykłym wektorem gradientu w
.
Możemy policzyć ”zwykłą” różniczkę
w
,
, i ”zwykły” gradient
.
Wówczas dla
![]() |
Zatem (gradient
”wzdłuż” rozmaitości
jest rzutem prostopadłym gradientu policzonego w przestrzeni
,
, na przestrzeń styczną do
.
Punkt jest punktem osobliwym pola wektorowego
jeśli
.
Niech będzie gładką rozmaitością,
-funkcją klasy
na
,zaś
- gradientowym polem wektorowym (klasy
na
.
Wówczas
Pole gradientowe nie ma trajektorii zamkniętych.
Dla każdego zbiór
- graniczny
jest zawarty w zbiorze punktów osobliwych pola
.
Zauważmy że dla każdej trajektorii pola mamy:
![]() |
Zatem funkcja jest niemalejąca wzdłuż każdej trajektorii, a dokładniej- ściśle rosnąca wzdłuż każdej ”niestacjonarnej trajektorii”.
Wynika stąd oczywiście że pole nie ma orbit zamkniętych.
Załóżmy teraz że punkt i
.
Wowczas w otoczeniu punktu
poziomica
funkcji
przechodząca przez
jest podrozmaitością
prostopadła do linii pola
. Z twierdzenia o prostowaniu trajektorii wynika że każda trajektoria pola startujaca dostatecznie blisko punktu
musi przeciąć poziomicę
. Jeśli
to trajektoria
,
musi zatem przeciąć nieskończenie wiele razy poziomicę
. Ponieważ jednak, jak już wiemy, funkcja
jest ściśle rosnąca wzdłuż tej trajektorii, jest to oczywiście niemożliwe.
Pole gradient wysokości na sferze. To pole ma dwa punkty osobliwe i
. Punkt
jest źródłem, punkt
-ściekiem. Dla każdego punktu
mamy
(rysunek 5.1)
Pole wektorowe gradientowe na postawionym torusie.
Tu . To pole ma cztery punkty stacjonarne:
.
jest źródłem,
-ściekiem,
- siodłami. Zauważmy że tym razem zbiór
- graniczny zależy od punktu, w szczególności istnieją punkty dla ktorych
jest siodłem. Istnieja też połączenia między siodlami- trajektorie
takie że dla
, zaś dla
. (rysunek 5.2).
Rozważmy pole wektorowe klasy
określone (dla uproszczenia) w otwartym podzbiorze
. Niech
będzie zamkniętą trajektorią tego pola,
- okresem tej trajektorii,
. Możemy założyć że
.
Rozważmy hiperpowierzchnię
. Zatem pole jest w punkcie
transwersalne do
.
Dla
bliskich
trajektoria pola wychodząca z
wróci po czasie bliskim
do
. Formalne sprawdzenie:
Niech
będzie potokiem pola
, określamy funkcję
![]() |
Wówczas i
.
Mamy
![]() |
Zatem- z twierdzenia o funkcji uwikłanej wynika że istnieje otoczenie w
w którym to równanie wyznacza
jako funkcję
, tej samej klasy co
. Oznaczamy tę funkcję
.
Mamy więc w otoczeniu w
zdefiniowane przekształcenie klasy
:
![]() |
Nazywamy je przekształceniem Poincare'go, oznaczenie: .
Pytamy o związek między wartościami własnymi dla pochodnej przekształcenia Poincare'go w punkcie i różniczki potoku pola:
.
Wiemy już że jedną z wartości własnych jest
, bo
.
Wartości własne różniczki , różne od
, są takie same jak wartości własne rózniczki
.
W wprowadzamy układ współrzędnych, w którym jednym z wektorów bazowych jest
, a pozostałe wektory- to baza
.
Weźmy wektor styczny dla
, ma on postać (w układzie współrzędnych w
z wyróżnioną ostatnią współrzędną)
.
Różniczka
w tej bazie to
![]() |
(5.1) |
Tutaj jest macierzą
. Przekształcenie Poincarego
.
Zatem
![]() |
Skądinąd wiemy że obrazem musi byc wektor styczny do
, więc współrzedna w kierunku pola
znika i ostatecznie
![]() |
To zaś oznacza że ma takie same wartości własne jak różne od
wartości własne
.
Mówimy że orbita okresowa , o okresie
pola
jest hiperboliczna jeśli dla punktu
różniczka
ma tylko jedną -pojedynczą wartość własną równą
.
Równoważnie- jeśli dla cięcia Poincare'go
różniczka przekształcenia Poincare'go
nie ma wartości własnych różnych od
.
Treść automatycznie generowana z plików źródłowych LaTeXa za pomocą oprogramowania wykorzystującego LaTeXML.
strona główna | webmaster | o portalu | pomoc
© Wydział Matematyki, Informatyki i
Mechaniki UW, 2009-2010. Niniejsze materiały są udostępnione bezpłatnie na licencji Creative Commons Uznanie autorstwa-Użycie niekomercyjne-Bez utworów zależnych 3.0 Polska.
Projekt współfinansowany przez Unię Europejską w ramach
Europejskiego Funduszu Społecznego.
Projekt współfinansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego i przez Uniwersytet Warszawski.