5 Integralkurven und lokale Flüsse Flashcards
(D) Integralkurve, Ausdehnung, maximal
X ∈ V(M), I ⊆ R offen mit 0.
- Differenzierbare Abbildung γ : I → M heißt Integralkurve von X, wenn für alle t ∈ I gilt
γ′(t) = X(γ(t)). - Wenn J ⊇ I Interval, dann heißt Integralkurve η: J → M Ausdrehnung von γ wenn η|I = γ.
- Integralkurve γ heißt maximal, wenn keine Ausdehnung hat.
(D) stetige Kurven und kompakte Teilmengen (Grenzwert)
a < b ∈ [−∞,∞], γ: ]a,b[→ M stetige Kurve. Wir sagen, dass
lim_t→b γ(t) = ∞
wenn für jede kompakte Teilmenge K ⊆ M ein c < b existiert mit γ(t) /∈ K für t > c (dh, γ verlässt jede kompakte Teilmenge von M).
Ebenso definiert man lim_t→a γ(t) = ∞.
!(S) Existenz und Eindeutigkeit von Integralkurven
Für jedes VF und für jeden Punkt p auf der MGF findet man eine eindeutige maximale Integralkurve γp : Ip → M mit γp(0) = p.
Wenn a := inf Ip > −∞, dann lim_t→a γp(t) = ∞ und
wenn b := sup Ip < ∞, dann lim_t→b γp(t) = ∞.
(D) vollständiges Vektorfeld, (F) kompakte Mannigfaltigkeit (2)
- Vektorfeld heißt vollständig, wenn alle maximalen Integralkurven auf ganz R (dh, zu jedem Zeitpunkt) definiert sind.
- Alle Vektorfelder auf einer kompakten Mannigfaltigkeit sind vollständig.
(D) lokaler Fluss, Flusslinien, global
Lokaler Fluss auf M ist glatte Abbildung Φ : U → M,
mit
• U ⊆ R × M offene Teilmenge, die {0} × M enthält,
• für alle x ∈ M ist Schnitt Ix := {t ∈ R: (t,x) ∈ U} Intervall mit 0,
• Φ(0,x) = x und Φ(t, Φ(s, x)) = Φ(t+s, x) für alle t,s,x für die beide Seiten definiert sind (Halbgruppeneigenschaft).
Die Abbildungen αx : Ix → M, t → Φ(t, x)
heißen Flusslinien.
Fluss heißt global, wenn U = R × M.
(L) Vektorfeld aus lokalem Fluss, Bezeichnung
Φ: U → M lokaler Fluss.
XΦ(x) := d/dt|t=0 Φ(t,x) = α’x (0)
definiert glattes Vektorfeld.
Heißt Geschwindigkeitsfeld oder infinitesimaler Erzeuger des lokalen Flusses Φ.
!(S) Satz vom maximalen lokalen Fluss
Jedes glatte Vektorfeld X ist Geschwindigkeitsfeld eines eindeutigen maximalen lokalen Flusses
DX := Ux∈M Ix × {x} und Φ(t,x) := γx(t) für (t,x) ∈ DX,
mit γx : Ix → M eindeutige maximale Integralkurve von X durch x ∈ M.
(S) Lie-Ableitung und Lie-Klammer
(K) Kommutativität globaler Flüsse
1. Lie-Ableitung und Lie-Klammer LX Y = [X, Y] -- X,Y ∈ V(M). -- Lie-Ableitung
- Kommutativität globaler Flüsse
Die globalen Flüsse vollständiger Vektorfelder kommutieren genau dann, wenn die Vektorfelder kommutieren.
–
X,Y ∈ V(M) komplette Vektorfelder. Globale Flüsse ΦX,ΦY : R → Diff(M) kommutieren genau dann, wenn X und Y kommutieren ([X,Y]=0).
(L) Flusslinien und Integralkurven
Φ: U → M lokaler Fluss auf M. Dann sind die Flusslinien die Integralkurven des Vektorfeldes XΦ.
Insbesondere ist lokaler Fluss Φ eindeutig bestimmt durch das Vektorfeld XΦ.