21.11.2013 Aufrufe

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

DIFFERENTIALGEOMETRIE I–II - Homeweb2.unifr.ch

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

(a) Wenn es ein ɛ > 0 gibt mit (−ɛ, ɛ) × M ⊆ U, dann ist X vollständig.<br />

(b) Hat X kompakten Träger, dann ist X vollständig.<br />

5. Lieklammer. Seien X und Y differenzierbare Vektorfelder auf M, und sei<br />

ϕ : M → N ein Diffeomorphismus. Zeigen Sie:<br />

ϕ ∗ [X, Y ] = [ϕ ∗ X, ϕ ∗ Y ]<br />

6. Vollständigkeit. Zeigen Sie: Zu jedem X ∈ V(M) existiert ein vollständiges<br />

Vektorfeld Y ∈ V(M), dessen Bahnen mit denen von X übereinstimmen. Hinweis:<br />

Y = fX mit einer geeigneten Funktion f.<br />

7. Taylorreihe. Sei X ein vollständiges Vektorfeld auf einer Mannigfaltigkeit M,<br />

φ sein Fluss, und sei f ∈ C ∞ (M). Zeigen Sie für die k–te Ableitung<br />

d k<br />

dt k ∣ ∣∣∣t0<br />

f(φ t (p)) = (X k f)(φ t0 (p)) .<br />

wobei X k f = XX . . . Xf ist, also (X k f)(q) = X q (X k−1 f) für q ∈ M. Leiten Sie<br />

daraus folgende formale Taylorentwicklung ab:<br />

f ◦ φ t ∼ e tX f<br />

8. Taylorformel. (a) Zeigen Sie, dass in den Bezei<strong>ch</strong>nungen von Aufgabe 7 gilt<br />

f(φ t (p)) =<br />

k∑<br />

j=0<br />

(X j f)(p)<br />

j!<br />

t j + tk+1<br />

k!<br />

∫ 1<br />

0<br />

(1 − s) k (X k+1 f)(φ st (p)) ds .<br />

Hinweis: Verwenden Sie die Taylors<strong>ch</strong>e Formel für reellwertige Funktionen einer<br />

reellen Veränderli<strong>ch</strong>en mit Restglied in Integralform.<br />

(b) Folgern Sie: Ist X k f = 0 für ein k, und ist M kompakt, dann ist Xf = 0.<br />

9. Re<strong>ch</strong>nung. Das Tensorfeld A sei bezügli<strong>ch</strong> einer Karte (ϕ, U) von M gegeben<br />

als<br />

A| U = ∑ j<br />

A 1···j s i1···i r<br />

dx i1 ⊗ · · · ⊗ dx ir ⊗ ∂<br />

∂x ⊗ · · · ⊗ ∂<br />

j1 ∂x . js<br />

Bere<strong>ch</strong>nen Sie L X A.<br />

10. Lieableitung. Zeigen Sie, dass für die Lieableitung von Tensorfeldern gilt<br />

L X ◦ L Y − L Y ◦ L X = L [X,Y ] .<br />

Hinweis: L X<br />

festgelegt.<br />

ist dur<strong>ch</strong> die Eigens<strong>ch</strong>aften (1) bis (5) aus Abs<strong>ch</strong>nitt 7.9 eindeutig<br />

67

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!