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.