Sie sind auf Seite 1von 6

13.1.

LINEARE FUNKTIONALE 69
Vorlesung 13
13.1 Lineare Funktionale
Der Begri der schwachen Konvergenz wird klarer, wenn man lineare Funktionale betrachtet. Das Skalarpro-
dukt f, g) in Hilbertraumen kann namlich f ur festes f H() als lineare Funktion von g betrachtet werden.
Die ubliche Terminologie ist lineares Funktional. Vor unserem ersten wichtigen Satz, dem Darstellungssatz
von Riesz, jedoch erst einige allgemeine Bemerkungen.
Denition. Es sei H ein Hilbertraum. Ein beschranktes lineares Funktional A ist eine Abbildungsvorschrift,
die jedem Element f H eine reelle Zahl A(f) zuordnet und folgende Eigenschaften besitzt:
1. A ist additativ, d.h. A(f
1
+f
2
) = A(f
1
) +A(f
2
);
2. A ist homogen, d.h. A(f) = A(f) fur alle R;
3. A ist beschrankt, d.h. es existiert ein M [0, ) derart, dass
[A(f)[ M|f|
H
fur alle f H
erfullt ist.
Lineare Funktionale konnen nat urlich auch auf Banachraumen deniert werden. Es kann auch der Wer-
tevorrat (A) wieder aus einem allgemeinen Banachraum sein. In diesem letzten Fall sprechen wir von
(beschrankten) linearen Operatoren.
Aus der Denition lesen wir unmittelbar
A(0) = A(0 f) = 0 A(f) = 0 sowie A(
2
f) =
2
A(f)
ab. Wir kommen nun zum Begri eines stetigen linearen Funktionals.
Denition. Das lineare Funktional A heit stetig, falls jede in H konvergente Folge f
k

k=1,2,...
in eine
konvergent Folge A(f
k
)
k=1,2,...
abgebildet wird.
In unserem Zusammenhang ist folgendes Resultat wichtig.
Satz. Ein lineares Funktional ist genau dann stetig, wenn es beschrankt ist.
Beweis. (Triebel [18], Beweis zu Satz 6.1)
1. Sei A beschrankt. Betrachte die in H konvergente Folge f
k
f. Aus der Beschranktheit folgt
[A(f
k
) A(f)[ = [A(f
k
f)[ M|f
k
f|
H
,
d.h. A(f
k
) A(f) f ur k . Also ist A stetig.
2. Sei A stetig. Angenommen, A ist nicht beschrankt. Dann gibt es Elemente f
k
H mit
|f
k
|
H
= 1, [A(f
k
)[ k f ur k = 1, 2, . . .
Die Folge g
k
:=
f
k
k
konvergiert gegen 0, d.h. es gilt auch [A(g
k
)[ 0 f ur k wegen der Stetigkeit.
Das ist aber ein Widerspruch zu
[A(g
k
)[ =
1
k
[A(f
k
)[ 1 f ur alle k = 1, 2, . . .
Damit ist der Satz bewiesen.
70 KAPITEL V. BESCHR

ANKTE LINEARE FUNKTIONALE AUF HILBERTR

AUMEN
13.2 Der Rieszsche Darstellungssatz
In Vorlesung 9 hatten wir die Aussage des Rieszschen Darstellungssatzes auf L
p
vorgestellt. Hier nun wollen
wir diesen Darstellungssatz in Hilbertraumen kennenlernen und beweisen. Betrachte zur Vorbereitung das
spezielle lineare Funktional
A(f) = f, g)
zu xiertem g H. Nach der Schwarzschen Ungleichung ist
[A(f)[ |f|
H
|g|
H
.
Denition. Fur die Norm | | des Operators A setzen wir
|A|
H
:= sup
fH\{0}
[A(f)[
|f|
H
= sup
fH, fH=1
[A(f)[.
Im obigen Beispiel gilt also
|A|
H
|g|
H
.
Andererseits ist
|g|
2
H
= g, g) = A(g) |A|
H
|g|
H
, daher |g|
H
|A|
H
.
Insgesamt erhalten wir
|A|
H
= |g|
H
.
Dieses spezielle Resultat verallgemeinert sich nun wie folgt:
Satz. Jedes beschrankte, lineare Funktional A(f) im Hilbertraum H lasst sich in der Form
A(f) = f, g)
schreiben. Die erzeugende Funktion g H ist durch A eindeutig bestimmt. Es gilt dabei
|A|
H
= |g|
H
.
Mit anderen Worten: Jedem linearen und beschrankten Funktional A(f) uber dem Hilbertraum H ist
eineindeutig ein Hilbertraumelement g zugeordnet. Damit bildet die Menge solcher Funktionale wieder ein
Hilbertraum! Warum?
Beweis. (Triebel [18], Beweis zu Satz 9.1)
1. Wir setzen voraus, dass A(f) nicht identisch Null ist. Dann ist
H
1
=

u : u H, A(u) = 0

ein echter Unterraum von H. Aus der Stetigkeit des linearen Funktionals A folgt, dass H
1
abgeschlossen
ist. Wahle ein v H

1
mit v ,= 0. Es ist dann A(v) ,= 0, und wir erhalten
v H

1
, f
A(f)
A(v)
v H
1
,
denn wir berechnen
A

f
A(f)
A(v)
v

= A(f)
A(f)
A(v)
A(v) = 0.
Damit ist aber auch
0 =

v, f
A(f)
A(v)
v

= v, f)
A(f)
A(v)
|v|
2
H
bzw. nach Umstellen
A(f) =
A(v)
|v|
2
H
v, f) =

A(v)
|v|
2
H
v, f

= g, f)
mit der Setzung g =
A(v)
v
2
H
v. Wir sind nun in der eingangs besprochenen Situation eines Skalarprodukts!
13.3. DER SATZ VON LAX UND MILGRAM 71
2. Die Identitat |A|
H
= |g|
H
haben wir oben bereits nachgewiesen.
3. Es verbleibt, die Eindeutigkeit zu zeigen. Sei dazu mit g ,= g

, und f ur alle f H muss gelten


A(f) = f, g) = f, g

) = f, g g

) = 0.
Setze speziell f = g g

, so folgt g g

, g g

) = 0, d.h. g = g

.
Damit ist der Satz bewiesen.
Diesen Darstellungssatz (im L
2
) fanden unabhangig voneinander M. Frechet und F. Riesz. Er wurde im
Jahr 1907 im gleichen Heft der Compes Rendus, Band 144, veroentlicht.
Der Darstellungssatz von Riesz gilt auch f ur allgemeinere Banachraume. Wir wiederholen dazu aus der
neunten Vorlesung den
Satz. Sei 1 p < . Zu jedem beschrankten Funktional A auf L
p
() gibt es genau eine Funktion g L
q
()
mit
1
p
+
1
q
= 1, so dass
A(f) =

fg dx fur alle f L
p
().
Das Integral auf der rechten Seite hier kann auch als

Skalarprodukt gedeutet werden, allerdings sind die


beiden Faktoren aus i.A. verschiedenen Raumen. Die Koezienten p und q heissen zueinander konjugiert.
Auch f ur den Fall nichtnegativer, linearer Funktionale A: C
0
(R
n
) R gibt es einen solchen Darstellungs-
satz: Zu jedem solchen A existiert namlich ein Radon-Ma auf R
n
mit der Eigenschaft
A(f) =

R
n
f(x) d(x).
Schlielich ist es moglich, den R
n
durch einen sogenannten lokalkompakten Raum Hausdor-Raum X zu
ersetzen, welcher dadurch gekennzeichnet ist, dass jeder Punkt eine kompakte Umgebung besitzt. F ur ein
detailliertes Studium verweisen wir auf die Literatur zur Matheorie.
13.3 Der Satz von Lax und Milgram
Der Rieszsche Darstellungssatz stellt uns ein f ur die Funktionalanalysis und insbesondere f ur die Theorie
der partiellen Dierentialgleichungen auerst wichtiges Hilfsmittel zur Verf ugung:
Satz. Sei a: H H R eine Sesquilinearform, d.h. es gilt
a(f
1
+f
2
, g) = a(f
1
, g) +a(f
2
, g).
Ferner gebe es reelle Zahlen 0 < c
0
, c
1
< , so dass
(i) [a(f, g)[ c
1
|f|
H
|g|
H
, d.h. a ist beschrankt;
(ii) a(f, f) c
0
|f|
2
H
, d.h. a ist koerziv
fur alle f, g H. Dann existiert genau ein linearer Operator B: H H mit
a(f, g) = f, B(g)) fur alle f, g H.
Ferner ist B invertierbar, d.h. es existiert ein linearer Operator B
1
mit den Eigenschaften
B B
1
= B
1
B = id
und der identischen Abbildung h id(h) = h, und es gelten
|B(g)|
H
c
1
|g|
H
, |B
1
(g)|
H

1
c
0
|g|
H
fur alle g H.
72 KAPITEL V. BESCHR

ANKTE LINEARE FUNKTIONALE AUF HILBERTR

AUMEN
Der Satz von Lax und Milgram stellt eine Verallgemeinerung des Rieszschen Darstellungssatzes auf Biline-
arformen dar. In Numerik und Theorie der partiellen Dierentialgleichungen wird der Satz von Lax und
Milgram in verschiedenen allgemeineren Formen diskutiert.
Beweis. (Dobrowolski [20], Beweis zu Satz 2.29)
Sei g H fest gewahlt. Dann ist
A
g
(f) = a(f, g)
ein lineares Funktional, wobei die Linearitat aus
A
g
(f
1
+f
2
) = a(f
1
+f
2
, g) = a(f
1
, g) +a(f
2
, g) = a(f
1
, g) +a(f
2
, g) = A
g
(f
1
) +A
g
(f
2
)
folgt. In den folgenden Punkten wollen wir alle im Satz behaupteten Eigenschaften von A
g
im Detail
herausarbeiten.
A
g
ist beschrankt, also auch stetig, denn wir berechnen
|A
g
|
H
= sup
fH, fH=1
[A
g
(f)[ = sup
fH, fH=1
a(f, g) c
1
|g|
H
,
weshalb A
g
beschrankt ist. Nach dem Satz aus Abschnitt 13.1 ist damit A
g
auch stetig.
Nach dem Rieszschen Darstellungssatz konnen wir die Wirkung von A
g
als Skalarprodukt darstellen
A
g
(f) = f, h) f ur alle f H
mit einer eindeutig festgelegten erzeugenden Funktion h H. Mit anderen Worten nden wir f ur zu
jedem fest gewahlten g H ein eindeutig bestimmtes h H mit der Eigenschaft A
g
(f) = f, h) f ur
alle f H.
Demnach lat sich h als Bild einer Abbildung B: H H schreiben:
h = B(g),
was bedeutet
A
g
(f) = a(f, g) = f, B(g)) f ur alle f H.
Das ist schon die gesuchte Darstellung. Allerdings m ussen wir uns noch davon uberzeugen, dass B
auch wirklich eine wie im Satz behauptete geeignete lineare Abbildung ist.
Zunachst ist B linear, denn unter Benutzung der Bilinearitat der Form a: H H R berechnen wir
f, B(g
1
+g
2
)) = a(f, g
1
+g
2
) = a(f, g
1
) +a(f, g
2
) = f, B(g
1
)) +f, B(g
2
))
= f, B(g
1
)) +f, B(g
2
)) = f, B(g
1
) +B(g
2
))
f ur alle f H. Daraus folgt die Linearitat der Abbildung B.
Ferner ist B beschrankt und stetig als Abbildung von H in H in folgendem Sinne:
|B(g)|
2
H
= B(g), B(g)) = a(B(g), g) c
1
|B(g)|
H
|g|
H
nach Voraussetzung (i) des Satzes, d.h.
|B(g)|
H
c
1
|g|
H
f ur alle g H.
Damit ist B beschrankt, wenn wir - analog zum Fall linearer Funktionale - die Beschranktheit von
Operatoren denieren. Genauso ersehen wir, dass B stetig ist, wenn wir die bekannte Stetigkeitsde-
nition f ur lineare Funktionale ausdehnen: Eine im Mittel konvergente Folge g
k

k=1,2,...
H mit
|g
k
g|
H
0 f ur k wird in eine konvergente Folge B(g
k
)
k=1,2,...
H abgebildet, denn
|B(g
k
) B(g)|
H
= |B(g
k
g)|
H
c
1
|g
k
g|
H
.
13.3. DER SATZ VON LAX UND MILGRAM 73
Der Kern der Abbildung B ist trivial im folgenden Sinne: Die Schwarzsche Ungleichung liefert zunachst
c
0
|f|
2
H
a(f, f) = f, B(f)) |B(f)|
H
|f|
H
bzw. |B(f)|
H
c
0
|f|
H
f ur alle f H. Dieses bedeutet aber
^(B) :=

f H : B(f) = 0

besteht nur aus der Nullabbildung: ^(B) = 0. Das wiederum impliziert, dass B injektiv ist: Sind
namlich g
1
,= g
2
zwei Elemente aus H mit B(g
1
) = h und B(g
2
) = h, so ermitteln wir
0 = B(g
1
) B(g
2
) = B(g
1
g
2
), also g
1
= g
2
in H.
Es folgt, dass der Wertevorrat (B) abgeschlossen ist. Dabei ist erst einmal
(B) =

h H : h = B(f) f ur ein f H

.
Wahle nun eine Folge f
k

k=1,2,...
H. Gilt nun g
k
= B(f
k
) g H (und das ist unsere

Ausgangs-
folge f ur diesen Beweispunkt), so folgt auch
c
1
1
|f
k
f

|
H
|B(f
k
f

)|
H
.
Da nun B(f
k
)
k=1,2,...
konvergiert und somit in H eine Cauchy-Folge ist, wissen wir nun, dass auch
f
k

k=1,2,...
eine Cauchy-Folge ist, und es konvergiert f
k
f in H. Unter Ausnutzung der Stetigkeit
von B erhalten wir
B(f
k
) B(f) = g,
d.h. g ist Bild von f unter B, und (B) ist abgeschlossen.
Schlielich zeigen wir, dass B bijektiv ist. Sei dazu ein f
0
H gewahlt mit f
0
(B) H. Wegen
f
0
, B(f)) = 0 f ur alle f H
folgt
0 = f
0
, B(f
0
)) = a(f
0
, f
0
) c
0
|f
0
|
2
H
,
und daher muss f
0
= 0 sein. Also besteht der zu (B) orthogonale Raum nur aus dem Nullelement.
Da aber andererseits (B) H abgeschlossen ist, schlieen wir nach den Resultaten aus Abschnitt
12.2 (B) = H. Daher ist B bijektiv, und es existiert die Inverse B
1
mit B B
1
= B
1
B = id.
Ersetzen wir schlielich in |f|
H
c
1
0
|B(f)|
H
die Funktion f durch B
1
(g), so folgt auch die im
Satz behauptete Normabschatzung f ur B
1
. Es ist alles gezeigt.
74 KAPITEL V. BESCHR

ANKTE LINEARE FUNKTIONALE AUF HILBERTR

AUMEN

Das könnte Ihnen auch gefallen