Sie sind auf Seite 1von 24

Analysis III

January 30, 2015

Contents
1 Wegintegrale
1.1 Wege und Kurven, Parametrisierungen, Tangentenvektor
1.2 Weglange, Parametrisierung mittels Weglange . . . . . .
1.3 Vektorfelder und 1-Formen . . . . . . . . . . . . . . . . .
1.4 Wegintegral (Kurvenintegral) einer 1-Form . . . . . . . .
1.5 Stammfunktionen, Satze u
ber deren Existenz . . . . . . .
1.6 Integrabilitatsbedingungen und Lemma von Poincare . .

.
.
.
.
.
.

.
.
.
.
.
.

2 Mannigfaltigkeiten
2.1 (Satz u
ber implizite Funktionen und) Satz von der Umkehrabbildung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 Immersion . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Untermannigfaltigkeit und Charakterisierungen . . . . . . .
2.4 Tangentenvektor, Normalenvektor an Untermannigfaltigkeit
3 Mehrfache Integrale
3.1 Iteriertes Integral und Vertauschung der Reihenfolge . . . . .
3.2 Allgemeine Eigenschaften von Integralen . . . . . . . . . . .
3.3 Partielle Integration . . . . . . . . . . . . . . . . . . . . . .
3.4 Prinzip von Cavalieri . . . . . . . . . . . . . . . . . . . . . .
3.5 Transformationsformel (genaue Formulierung, Partition der
Eins, Beweisidee) . . . . . . . . . . . . . . . . . . . . . . . .
3.6 Oberflachenintegrale u
ber Funktionen und u
ber Vektorfelder
3.7 Lebesgue-Integral . . . . . . . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.

3
3
3
4
6
6
8
9

. 9
. 10
. 11
. 12

.
.
.
.

14
14
15
15
16

. 16
. 17
. 17

4 Integrals
atze
18
4.1 Differentialformen . . . . . . . . . . . . . . . . . . . . . . . . . 18

4.2 Auere
Ableitung (Spezialfalle: div, rot, grad) . . . . . . . . . 19
1

4.3
4.4
4.5
4.6

Integral u
ber Differentialformen . . . . . . . . .
Pullback . . . . . . . . . . . . . . . . . . . . . .
Allgemeine Formulierung des Satzes von Stokes
Green und Gau f
ur Normalenbereiche . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

20
21
22
22

Chapter 1
Wegintegrale
1.1

Wege und Kurven, Parametrisierungen,


Tangentenvektor

Definition (Weg). Sei I R. Eine stetige Abbildung : I Rn heit


Weg.
Sei im Folgenden stets ein so definierter Weg.
Definition (Regularer Weg). Ein Weg heit regular wenn stetig differenzierbar ist und t I : (t)

6= 0.
Definition (Parametertransformation). Seien I, J R Intervalle. Eine
zulassige Parametertransformation ist eine stetig differenzierbare Abbildung
: I J mit (t)
> 0, t I

Definition (Kurve). Eine orientierte (regulare) Kurve C ist eine Aquivalenzklasse


von (regularen) Wegen, wobei zwei Wege 1 und 2 genau dann aquivalent
sind, wenn es eine zulassige Parametertransformation gibt, sodass 1 =
2 .
Jeder Reprasentant von C heit eine Parametrisierung von C.

1.2

Wegl
ange, Parametrisierung mittels Wegl
ange

Definition (Bogenlange). Sei ein st


uckweise stetig differenzierbarer Weg,
dann heit
3

||(t)||dt

L() :=
a

die Bogenlange von .


Lemma (Invarianz unter Parametertransformation). Seien 1 und 2 aquivalent,
dann gilt L(1 ) = L(2 ).
Proof. Substitution.
Korollar. Die Lange einer regularen Kurve ist wohldefiniert.
Definition (Parametrisierung nach der Weglange). Sei eine Parametrisierung,
sodass || (t)|| = 1. Dann ist die Parametrisierung nach der Weglange.

1.3

Vektorfelder und 1-Formen

Im Folgenden sei U Rn , p U und f : U Rn eine C 1 Funktion.


Definition (Vektorfeld). Eine Abbildung v : U Rn heit Vektorfeld auf
U.
Definition (Gradientenfeld). Sei U zusatzlich offen, dann nennt man das
stetige Vektorfeld v(p) := f (p) ein Gradientenfeld.
Definition (1-Form). Eine 1-Form auf U ist eine Abbildung : U (Rn ) .
Bemerkung (Spezialfall: Gradient). Unter der Identifikation des Gradienten mit dem Zeilenvektor der partiellen Ableitungen ist f : U (Rn ) ist
eine 1-Form.1

Definition (Aueres
Differential). Die durch induzierte 1-Form bezeichnen wir mit df .
1

f (p) w
are im eindimensionalen Fall z.B. gerade die Steigung im Punkt p, aber nicht
als Zahl, sondern als lineares Funktional (i.e. Multiplikation mit der Steigung).

evt.
Methode
zur
Ermittlung
nachliefern

Bemerkung (Darstellung durch das innere Produkt). Lineare Funktionale


kann man stets als inneres Produkt schreiben, also erhalten wir allgemeiner
f
ur h Rn :
df (p) (h) = hf (p), hi
| {z }

(Rn )

| {z }
R

Definition (Basis). Mit dxj bezeichnen wir von der j-ten Koordinatenprojektion prj 2 induzierte 1-Form.
Bemerkung (Dualitat). Sei {e1 , . . . , en } die Standardbasis in Rn , dann gilt
p U :
dxj (p)(ei ) = hprj (p), ei i
= hej , ei i
= ij
Also ist {dx1 , . . . , dxn } die zu {e1 , . . . , en } duale Basis; daraus folgt die
folgende Darstellung von df (p):
df (p) =

n
X
i=1

Di f (p) dxi (p)


| {z } | {z }
R

(Rn )

Proposition (Identifikation von 1-Formen mit Vektorfeldern). Sei U offen.


F
ur jede 1-Form existiert genau ein f = (f1 , . . . , fn ) : U Rn sodass
p U :
(p) =

n
X

fi (p)dxi (p)

(1.1)

i=1

Auerdem ist v = (v1 , . . . , vn ) 7


jektiv und linear).

Pn

i=1

vi dxi ein Isomorphismus (i.e. bi-

Proof. Technischer Beweis.


Definition (Stetigkeit und Differenzierbarkeit einer 1-Form). Eine 1-Form
ist genau dann stetig/differenzierbar wenn es all ihre Komponentenfunktionen (vgl. (1.1)) sind.
2

prj (x1 , . . . , xn ) = xj

1.4

Wegintegral (Kurvenintegral) einer 1-Form

Definition (Wegintegral von u


ber ).
Z b
Z
((t))( (t)
:=
)dt
a | {z } |{z}

Rn

(Rn )

Bemerkung. Findet man eine Darstellung von mit Komponentenfunktionen (f1 , . . . , fn ) = f , so haben wir:
((t))((t))

n
X

fi ((t))((t))

i = hf ((t)), (t)i

i=1

Lemma (Unabhangigkeit des Wegintegrals von der Parametrisierung). Sei


eine zulaige Parametertransformation, dann gilt:
Z
Z
(1.2)
=

Proof. Substitution.
Definition (Kurvenintegral).
Sei
R
R ein beliebiger Reprasentant der Kurve
C, dann definiert man C := .
Bemerkung. Wegen (1.2) ist das Kurvenintegral wohldefiniert.
Bemerkung. Mit der Identifikation von 1-Formen und Vektorfeldern (vgl.
(1.1), kurz v = hv, dxi) konnen wir folgende Definition vornehmen:
Definition (Kurvenintegrale u
ber Vektorfeler).
Z
Z
Z b
v = hv, dxi =
hv((t)), (t)idt

1.5

Stammfunktionen, S
atze u
ber deren Existenz

Definition (Stammfunktion einer 1-Form). F : U R ist eine Stammfunktion von genau dann wenn dF = .3
3

dF =

Pn

F
i=1 xi dxi

Definition (Exaktheit). Eine 1-Form heit exakt, wenn sie eine Stammfunktion besitzt.
Bemerkung (Spezialfall: Vektorfelder). v ist ein Gradientenfeld v ist
exakt.
Lemma (Hauptsatz f
ur 1-Formen). Sei eine exakte 1-Form und F eine
Stammfunktion von . F
ur jeden st
uckweisen C 1 Weg : [a, b] U gilt:
Z
Z
= dF = F ((b)) F ((a))
(1.3)

Proof. Kettenregel.
Korollar (Integration u
ber geschlossene Wege). exakt
mit (a) = (b).

= 0 f
ur alle

Definition (Gebiet). Ein Gebiet im Rn ist eine offene und wegzusammenhangende


Menge U Rn .
Lemma (St
uckweise Differenzierbarkeit von Wegen in Gebieten). In einem
Gebiet lassen sich je zwei Punkt nicht nur durch einen stetigen Weg, sondern
sogar durch einen st
uckweise stetig differenzierbaren Weg verbinden.
Proof. Idee: Da man in einer offenen Teilmenge ist, kann man einen Weg als
endliche Vereinigung linearer (also insbesondere differenzierbarer) Abschnitte
mit Abstand echt groer 0 zum Rand konstruieren.
Theorem (Zusammenhang exakt und Integral u
ber geschlossene Wege).
n
Sei U R ein Gebiet, eine stetige 1-Form auf U und ein beliebiger
geschlossener, st
uckweiseRstetig differenzierbarer Weg in U . Dann gilt:
exakt in U : = 0
Proof. wurde bereits gezeigt.
Rx
R
: Idee: Setze F (x) = x0 = mit (0) = x0 , (1) = x.
Wohldefiniert, denn f
ur jeden4 anderen Weg mitR(0) =R x0 , (1)
R =x
gilt: + () =: ist ein geschlossener Weg und 0 = = .
Um zu zeigen, dass das tatsaP
chlich eine Stammfunktion von ist, i.e.
dF = , zeigt man, dass f
ur = ni=1 fi dxi gilt: fi = Di F .
Betrachte daf
ur F (x + hei ) F (x) im Grenzwert h 0.
4

Alle Wege m
ussen nat
urlich in U liegen.

1.6

Integrabilit
atsbedingungen und Lemma von
Poincar
e

Definition (Geschlossenheit). Eine stetig differenzierbare 1-Form =


auf U heit geschlossen, falls
Di fj = Dj fi

Pn

i=1

fi dxi

(1.4)

Theorem (Pointcare). Sei U ein sternformiges Gebiet und eine stetig


differenzierbare 1-Form, dann gilt:
exakt geschlossen5
Proof. : Nach dem Satz von Schwarz gilt: exakt geschlossen.
R 1 : Sei oBdA U sternformig bez. 0. Dann definiert man F (x) :=
(tx)(x)dt.
0
Als Parameterintegral ist es stetig differenzierbar.
Es bleibt zu zeigen, dass Di F = fi .

Geschlossenheit hat nichts mit dem Integral u


ber geschlossene Wege zu tun. Das
sind nur die Integrationsbedingungen (1.4)!

Chapter 2
Mannigfaltigkeiten
2.1

(Satz u
ber implizite Funktionen und) Satz
von der Umkehrabbildung

Theorem (Satz u
ber implizite Funktionen). Sei (a, b) U1 U2 Rk Rm
(a, b)1 invertierbar.
(U1 , U2 offen) mit F : U1 U2 Rm , F (a, b) = 0 und F
y
Dann gibt es offene Umgebungen V1 U1 von a, V2 U2 von b und eine
eindeutige, stetig differenzierbare Abbildung g : V1 V2 mit g(a) = b und
F (x, g(x)) f
ur alle (x, y) V1 V2 .
1

F
(x,
g(x))
(x, g(x)).
Auerdem gilt Dg(x) = F
y
x
Bemerkung (Merkhilfe).
DF (x, g(x)) =

F
F
(x, g(x)) +
(x, g(x))Dg(x)
x
y

Da F (x, g(x)) = 0 in einer geeigneten Umgebung ist



1
F
F
Dg(x) =
(x, g(x))
(x, g(x))
y
x
Theorem (Satz von der Umkehrabbildung). Sei U Rn offen, f : U Rn
stetig differenzierbar, a U und b := f (a).
Falls Df (a) invertierbar ist, dann existiert eine offene Umgebung U0 von
a und analog V0 eine offene Umgebung von b mit f |U0 : U0 V0 bijektiv und
f
ur g := (f |U0 )1 gilt die Gleichung
1

y ist das zweite Argument

Dg(b) = (Df (a))1


Bemerkung (Aussage des Theorems). Um zu u
berpr
ufen ob eine Abbildung
lokal invertierbar ist reicht es sich die Ableitung an dem Punkt anzusehen.

2.2

Immersion

Definition (Diffeomorphismus). U, V Rn offen, f : U V bijektiv und


C 1 . Ist f 1 ebenfalls C 1 , so nennt man f einen C 1 -Diffeomorphismus.
Lemma (C k -Diffeomorphismen). Ist f ein C 1 -Diffeomorphismus und k-mal
stetig differenzierbar, dann ist f ein C k -Diffeomorphismus.
Definition (Immersion). Sei T Rk offen, : T Rn stetig differenzierbar
und t T : RangD(t) = k dann heit Immersion.
Definition (k-Flachen). F := (T ) Rn wird als parametrisierte k-Flache
bezeichnet.
Bemerkung (Eigenschaften von Immersionen).
t T : RangD(t) = k impliziert k n.
t T : RangD(t) = k impliziert auch, dass man f
ur jedes t
T k von den n Komponentenfunktionen auswahlen konnen, sodass
( ,..., )
ur eine offene Umgebung von t.
det (ti11 ,...,tki)k (t) 6= 0 f
F
ur k = 1 erhalten wir regulare Kurven.
F
ur k = n ist ein lokaler C 1 -Diffeomorphismus.
Definition (Homoomorphismus). Ist stetig und bijektiv mit stetiger Inverser, nennt man es einen Homoomorphismus.
Lemma (Immersion ist ein Homoomorphismus). : T Rn eine Immersion. Dann gibt es f
ur alle t T eine offene Umgebung V T , sodass |V
ein Homoomorphismus ist.
Proof. Idee: Satz von der Umkehrabbildung und Einschrankung auf die
( ,..., )
Komponenten f
ur die det (ti11 ,...,tki)k (t) 6= 0 gilt.
10

2.3

Untermannigfaltigkeit und Charakterisierungen

Definition (Untermannigfaltigkeit). M Rn heit k-dimensionale Untermannigfaltigkeit von Rn falls a M : offene Umgebung U Rn von a,
T Rk und eine Immersion : T Rn , sodass:
ist ein Homoomorphismus T (T )2
(T ) = M U
Weiters nennen wir : T M U eine lokale Parametrisierung von M
nahe a und 1 eine Karte.
Eine Abbildung f : M N heit differenzierbar, falls sie u
berall lokal
differenzierbar ist.

Theorem. F
ur M Rn sind folgende Aussagen aquivalent:
M ist eine k-dimensionale Mannigfaltigkeit
Lokale Darstellung als Graph: a = (a1 , . . . , ak , . . . , an ) M gilt: zu
a0 = (a1 , . . . , ak ) und a00 = (ak+1 , . . . , an )3 gibt es offene Umgebungen
U 0 Rk und U 00 Rnk und eine stetig differenzierbare Abbildung
g : U 0 U 00 , sodass M (U 0 U 00 ) = {(x, g(x)) : x U 0 }
Lokale Beschreibung als Nullstellenmenge: a M existiert offene
Umgebung U Rn und stetig differenzierbare Funktionen f1 , . . . , fnk :
(f1 ,...,fnk )
(x) = n k und M U =
U R mit x M U : Rang (x
1 ,...,xnk )
{x U : f1 (x) = = fnk (x) = 0}.
Lokal diffeomorph zu einem k-dimensionalen Untervektorraum des Rn :
Sei Ek := {x1 , . . . , xk , 0 . . . , 0 : xi R} Rn die Einbettung eines
k-dimensionalen Vektorraumes in Rn . F
ur alle a M existiert eine
n
offene Umgebung U R und ein offenes V Rn , sowie einen C 1 Diffeomorphismus F : U V mit F (M U ) = Ek V .
2

Dass es ein T gibt, sodass |T ein Homoomorphismus ist wurde im vorigen Lemma
gezeigt; die Bedingung ist also mehr als Einschrankung f
ur die nachste ((T ) = M U )
zu sehen.
3
evt. nach Umnummerierung

11

f
ur
konkrete
Beispiele
wie
Rotationsflachen,
etc.
bitte
das
Skriptum
nehmen.


Proof. Der Beweis sei dem interessierten Leser als Ubungsaufgabe
u
berlassen.
Korollar (Niveaumengen). Sei U Rn , f : U R stetig differenzierbar,
c R und Nf (c) := f 1 (c) Rn . Falls x Nf (c) : f (x) 6= 0, dann ist
Nf (c) eine (n 1)-dimensionale Untermannigfaltigkeit des Rn .

2.4

Tangentenvektor, Normalenvektor an Untermannigfaltigkeit

Sei im Folgenden M stets eine k-dimensionale Untermannigfaltigkeit des Rn .


Definition (Tangentialvektor). v Rn heit Tangentialvektor an M im
Punkt a, wenn es einen stetig differenzierbaren Weg :] , [ M gibt,
mit (0) = a und (0)

= v.
Definition (Normalenvektor). n Rn heit Tangentialvektor an M im
Punkt a, wenn hn, vi = 0 f
ur alle Tangentenvektoren v.
Definition (Tangential-/Normalenraum).
Ta (M ) := {v Rn : v Tangentialvektor an M in a}
Na (M ) := {w Rn : w Normalenvektor an M in a}
Definition (Tangential-/Normalenb
undel).
[
{a} Ta (M )
T (M ) :=
aM

N (M ) :=

{a} Na (M )

aM

Theorem (Basis des Tangential-/Normalenraums). F


ur jede lokale Parametrisierung
mit (t0 ) = a ist {D1 (t0 ), . . . , Dk (t0 )} eine Basis von Ta (M ).
Ist U Rn eine offene Umgebung von a und M nahe a gegeben durch M
U = {x U : f1 (x) = = fnk (x) = 0}, dann ist {f1 (a), . . . , fnk (a)}
eine Basis von Na (M ).

12

Korollar (Lagrangemultiplikatoren). Sei U Rn ,

f
|{z}

g ,...,g
|1 {z }r

Hauptbedingung N ebenbedingungen

U R stetig differenzierbar, r n, Rang der Jacobimatrix D(g1 , . . . , gr )


maximal f
ur alle x M , wobei M = {x U : g1 (x) = = gr (x) = 0}.
Falls f in a M ein lokales Minimum/Maximum besitzt, dann existieren
1 , . . . , r , sodass
r
X
f (a) =
i gi (a)
i=1

Proof. Idee: Wissen, dass M eine (n r)-dimensionale Mannigfaltigkeit ist.


Angenommen f habe in a ein lokales Maximum/Minimum, dann gilt f
ur
1
jeden C Weg auf M mit (0) = a

(f ((t)))|t=0 = hf ((0)), (0)i

t
Da das f
ur beliebige Wege gilt durchlaufen wir dabei den ganzen Tangentialraum; also ist f (a) Na (M ).
0=

13

Chapter 3
Mehrfache Integrale
3.1

Iteriertes Integral und Vertauschung der


Reihenfolge

Lemma (Reihenfolge Doppelintegral). Ist f : [a, b] [c, d] R stetig, dann


gilt:


Z d Z b
Z b Z d
f (x, y)dx dy =
f (x, y)dy dx
c

Rb Ry


Proof. Idee: Definiere Hilfsfunktion (y) := a c f (x, t)dt dx, man sieht
Rb
0 (y) = a f (x, y)dx. Setzt man nun das Integral in der verkehrten ReihenRb
folge an, benutzt die Identitat 0 (y) = a f (x, y)dx und (c) = 0 erhalt man
das gew
unschte Ergebnis.
Definition (Integral u
ber Quader). Sei Q = [a1 , b1 ] [an , bn ] ein Quader,
dann ist f
ur jede stetige Funktion
f : Q R das Integral
ber Q
 von f u
R
R bn  R b1
definiert als: Q f (x)dx := an . . . a1 f (x1 , . . . , xn )dx1 . . . dxn .
Definition (Support einer Funktion). Sei U Rn , f : U R, dann ist der
Trager von f definiert als: suppf := {x U : f (x) 6= 0} U
Definition (Vektorraum stetiger Funktionen mit kompaktem Trager). Mit
Cc (U ) := {f C(U ) : suppf ist kompakt} bezeichnen wir den Vektorraum
stetiger Funktionen mit kompaktem Trager.
R
R
Definition. F
ur f Cc definieren wir Rn f (x)dx := Q f (x)dx f
ur ein
geeignetes Q.
14

3.2

Allgemeine Eigenschaften von Integralen

Theorem (Eigenschaften des Integrals auf Cc (Rn )). Seien f, g Cc (Rn ),


R, dann gilt:
R
R
R
Rn (f + g)(x)dx = Rn f (x)dx + Rn g(x)dx
R
R
angenommen x Rn : f (x) g(x), dann gilt: Rn f (x)dx Rn g(x)dx
R
R
sei a Rn , dann gilt: Rn f (x + a)dx = Rn f (x)dx
Proof. Die ersten beiden Punkte folgen direkt aus der Definition (iterierte
eindimensionale Integrale), der letzte Punkt mittels Substitution in jedem
der iterierten Integrale.
Bemerkung (Integral als lineares Funktional). Das so definierte Integral ist
ein lineares, monotones und translationsinvariantes Funktional auf Cc (Rn );
man kann zeigen, dass jedes lineare Funktional mit diesen Eigenschaften (bis
auf Normierung) gerade durch ein Integral gegeben sein muss.
Theorem (Stetigkeit des Integrals). Seien f, fk Cc (Rn ) f
ur k N und es
existiere K kompakt mit supp(fk ) K. Wenn fk f glm., dann
Z
Z
lim
fk (x)dx =
f (x)dx.
k

3.3

Rn

Rn

Partielle Integration

(
f (x) x U
Im Folgenden bezeichne f(x) :=
0
x Rn \ U
u
ber offene Teilmengen). F
ur U Rn offen, setze
RDefinition (Integral
R

f (x)dx := Rn f (x)dx
U
Theorem. Sei f C 1 (U ), Cc1 (U ), dann gilt:
Z
Dj (x) = 0
U

und

Z
Dj f (x)(x)dx =

f (x)Dj (x)dx
U

15

Proof. Die erste Gleichung folgt durch aufspalten in iterierte Integrale und
Vertauschung der abgeleiteten Komponente nach innen; Integration u
ber 0
bleibt 0 und das Ergebnis folgt.
Die zweite Gleichung folgt aus Rpartieller Integration (erinnere: Dj (f ) =
Dj f + f Dj ) und daraus, dass U Dj (f ) = 0 ist (wegen der ersten Gleichung).

3.4

Prinzip von Cavalieri

Idee: Schneide K Rn in (n 1)-dimensionale Scheiben Kt := {x0


Rn1 : (x0 , t) K} Rn1 .
Theorem (Cavalieri). Sei K Rn kompakt, dann gilt:
Z
Voln1 (Kt )dt
Voln (K) =
R

Proof. Kt ist wieder kompakt und es gilt Kt (x0 ) = K (x0 , t), daher ist
Z Z
Z
0
0
Voln (K) =
Kt (x )dx dt =
Voln1 (Kt )dt.
R

3.5

Rn1

Transformationsformel (genaue Formulierung,


Partition der Eins, Beweisidee)

Theorem (Transformationsformel). Seien U, V Rn offen und : U V


ein C 1 -Diffeomorphismus, dann gilt: f Cc (V ) ist f Cc (U ) und
Z
Z
f ((x))|detD(x)|dx =
f (x)dx
U

Proof. Idee:
Jeder Diffeomorphismus G lat sich lokal als Verknpfung zweier Typen
aufspalten:
Typ A: G(x) = (x1 , . . . , xm1 , g(x), xm+1 , . . . , xn )
Typ B: Transposition die zwei Basisvektoren vertauscht und alle anderen fix lat
16

Die Partition der Eins ermoglicht genau so eine Lokalisierung.


Durch Aufspalten in iterierte Integrale kann man die Substitutionsregel
aus dem Eindimensionalen auf Typ A anwenden, Typ B kehrt lediglich
das Vorzeichen um.

3.6

Oberfl
achenintegrale u
ber Funktionen und
u
ber Vektorfelder

Definition (Oberflachenintegral im R3 ). Sei T R2 offen, : T R3 eine


Immersion und K T kompakt, dann definiert man f
ur stetige f : (K)
R das Oberflachenintegral
Z
Z
f dS :=
f ((t))||N (t)||dt
(K)

wobei N (t) = Dt1 (t) Dt2 (t), also der Normalenvektor (=Kreuzprodukt
der Tangentialvektoren) ist.
Lemma (Unabhangigkeit von der Parametrisierung).

3.7

Lebesgue-Integral

Siehe Einleitung von Grochenig (ist bereits kurz und b


undig zusammengefasst).

17

diesen
Beweis
nochmal
genau
anschauen

Chapter 4
Integrals
atze
Achtung: Dieses Kapitel ist nach dem Skriptum das online verf
ugbar
ist/Wikipedia erarbeitet worden. Sollte etwas anders als in der
Vorlesung gemacht worden sein bitte ich um einen Hinweis!

4.1

Differentialformen

n
Definition (k-Form).
dann nennt man eine eine AbbilVk n Sei U R offen,
dung : U
(R ) eine k-Form.1

Bemerkung (Alternative Notation). Sei {dxi1 (p) dxik (p)} die zur
Standardbasis im Rn duale Basis, dann erhalt man eine eindeutige Darstellung von k-Formen durch
X
X
=
fi1 ,...,ik dxi1 dxik =:
fI dxI
1i1 <<ik n

|I|=k

mit Komponentenfunktionen fi1 ,...,ik : U R.


Definition (Stetigkeit, etc.). Eine k-Form heit stetig/differenzierbar/. . . wenn
es ihre Komponentenfunktionen sind.
Definition (Elementare Operationen). Addition, Skalarmultiplikation und
das Wedge-Produkt sind alle punktweise definiert.
1

Streng genommen nehmen k-Formen Elemente aus dem Tangentialraum; da man den
im Falle von Untermannigfaltigkeiten (also im euklidischen Raum) aber stets wieder mit
dem euklidischen Raum identifizieren kann wird hier darauf kein Wert mehr gelegt.

18

4.2

Auere
Ableitung (Spezialf
alle: div, rot,
grad)

Definition (Auere
Ableitung). F
ur U Rn offen, k = 0 und f : U R
C 1 ist die auere Ableitung wie gewohnt definiert durch:
df :=

n
X

Di f dxi

i=1

F
ur k 1 und =

fI dxI :
X
d :=
dfI dxI

|I|=k

|I|=k

Bemerkung (Spezialfalle im R3 ).
P
1. k = 1 und = 3i=1 fi dxi :
d =

3
X

Di fj dxi dxj =

i,j=1

(Di fj Dj fi )dxi dxj

1i<j3

wobei diese Koeffizienten genau denen von rot(f1 , f2 , f3 ) entsprechen.


2. k = 2 und = f12 dx dy + f13 dx dz + f23 dy dz:
d = D3 f12 dz dx dy + D2 f13 dy dx dz + D1 f23 dx dy dz
= (D1 f23 D2 f13 + D3 f12 )dx dy dz
Insbesondere lasst sich unter der Identifizierung v := (f12 , f13 , f23 )
das Ergebnis auch als d = div(v)dx dy dz schreiben.
Lemma (Linearitat). d(1 + 2 ) = d1 + d2
Theorem (Graduierte Leibniz-Regel). Seien k , l zwei stetig differenzierbare k-/l-Formen, dann gilt:
d(k l ) = (dk ) l + (1)k k (dl )
Theorem (d d = 0). Ist eine C 2 k-Form, dann gilt:
d(d) = 0
19

Bemerkung. Im R3 bedeutet das gerade


rot(f ) = 0
F
ur 2-Form wissen wir dass f
ur ein geeignetes v gilt: d = div(v)dxdydz.
Wahlt man nun b so, dass rot(b) = v, gilt:
div(rot(b)) = 0
Definition (Geschlossenheit). Eine k-Form heit geschlossen wenn d =
0.
Bemerkung. F
ur kP= 1 stimmt diese Definition
mit der f
ur 1-Formen
P
u
berein, denn d = ni,j=1 Di fj dxi dxj = 1i<jn (Di fj Dj fi )dxi dxj .
Definition (Exaktheit). Sei k 1 und eine stetige k-Form auf U offen,
dann heit exakt wenn es eine auf U differenzierbare (k 1)-Form gibt,
sodass d = .
Bemerkung. Ist = d exakt, so gilt d = d(d) = 0, also folgt Geschlossenheit.
Theorem (Poincare). U sternformig und geschlossene stetig differenzierbare k-Form auf U exakt.

4.3

Integral u
ber Differentialformen

Definition (Integration von n-Formen). Ist K U Rn , K kompakt, U


offen und = f dx1 dxn , f : U R eine stetige n-Form
Z
Z
:=
f (x)dx
K

Definition (Orientierungserhaltende Abbildungen). U, V Rn offen, :


U V ein C 1 -Diffeomorphismus.
heit orientierungstreu wenn det(D) > 0x U und orientierungsumkehrend sonst.2
2

det(D) = 0 ist unm


oglich weil Diffeomorphismus.

20

Theorem (Unabhangigkeit der Parametrisierung). Ist U, V Rn offen, K


U kompakt, : U V ein C 1 -Diffeomorphismus und stetige n-Form auf
V.
Z
Z
=

(K)

wobei das Vorzeichen positiv ist wenn orientierungserhaltend ist und


negativ sonst.
Proof. Transformationsformel.

4.4

Pullback

Definition (Pullback). U Rn , V Rm offen, = (1 , . . . , n ) : V U


C 1 , k-Form auf U :
X
:=
(fI )dI
|I|=k

Bemerkung (Spezialfalle).
1. k = 0: f = f
Pn
Pn

2. k
1: =
i=1 (fi )di , wobei di =
i=1 fi dxi , also =
P=
m
j=1 Dj i dtj .
P
3. m = k: = |I|=k (fI )dI mit dI = det((Dj il )l,j=1,...,k )dt1
dtk
4. m = n = k: = (f )det(D)dt1 dtn f
ur = f dx1 dxn
Theorem (Eigenschaften von Pullbacks).
1. (1 + 2 ) = 1 + 2
2. (1 2 ) = ( 1 ) ( 2 )
3. in C 1 , in C 2 , dann gilt d( ) = (d)
4. F
ur geeignete Definitions und Bildbereiche: ( ) = ( )

21

4.5

Allgemeine Formulierung des Satzes von


Stokes

Theorem (Satz von Stokes). k 2, U Rn offen, M U eine orientierte kdimensionale C 2 Untermannigfaltigkeit3 , A M kompakt mit glattem Rand4
(induzierte Orientierung), stetig differenzierbare (k 1)-Form auf U , dann
gilt:
Z
Z
d =
.
A

4.6

Green und Gau f


ur Normalenbereiche

Theorem (Green). A positiv orientiert, st


uckweise stetig differenzierbar
eine geschlossene Kurve in einer Ebene und A ein kompaktes Flachenst
uck.
f, g : A R stetig differenzierbar.

Z 
Z
g f
(f dx + gdy) =

d(x, y)
x y
A
A
Proof. Mit Stokes:
Z

(f dx + gdy) =
A

=
A

d
A

Z
=
A

Dx f dx dx + Dy f dy dx +Dx g dx dy + Dy g dy dy
|
{z
} |
{z
}
{z
}
|
=0

=Dy f dxdy

=0

Z 

Z
(Dx g Dy f ) dx dy =

=
A

g
Bemerkung (Spezialfall). Wahlt man x

y
x
2 , g(x, y) = 2 ) erhalt man genau Vol2 (A).
3 1
4

g f

x y

f
y


d(x, y)

= 1 (e.g. durch f (x, y) =

C reicht eigentlich, C 2 steht im Skriptum weil es leichter zu beweisen ist.


Rand stets relativ zur Mannigfaltigkeit zu nehmen.

22

Theorem (Gau). U R3 offen, M eine 3-dimensionale C 2 -Untermannigfaltigkeit,


A M kompakt mit glattem Rand, : M R3 das Einheitsnormalenfeld
auf A, f = (f1 , f2 , f3 )5 , = f1 dy dz + f2 dx dz + f3 dx dy :
Z

Z
hf, idS =

=
A

div(f ) =
A

d
A

Das handelt man sich beim Vertauschen von dx dz ein, siehe Abschnitt zu
ueren Ableitungen. Alternativ konnte man dem Vorzeichen auch aus dem Weg gehen
a
indem man die zweite Komponente von in der Form dz dx schreibt; das wird allerdings
leichter f
ur einen Tippfehler gehalten.

23