1

Der Variationsansatz in der

Funktionentheorie

Relja Glisic
Klasse 4h
MNG Rämibühl

Eine Maturitätsarbeit im Fach Mathematik

Betreut von Anh Huy Truong
Inhaltsverzeichnis

1 Strukturen 4
1.1 Metrische Räume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Vektorräume . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Innere Produkträume . . . . . . . . . . . . . . . . . . . . . . . . . . . 8

2 Partielle Differentialgleichungen 9
2.0.1 Die Poisson-Gleichung . . . . . . . . . . . . . . . . . . . . . . 9

2
Einleitung

3
Kapitel 1

Strukturen

1.1 Metrische Räume

Der Beginn des XX Jahrhunderts sieht in der Mathematik die Entwicklung der
Funktionentheorie, welcher diese Arbeit zugrunde liegt. Es stellte sich den dama-
ligen Forschern das Bedürfnis vor, stetige Funktionen in einer Veränderlichen zu
definieren, deren Argument beliebiger Art ist (Punkte, Zahlen, Kurven, usw). So
betrachteten die Forscher damals für jede dieser Arten von Argumenten den Begriff
des Grenzwertes (dieser ist nämlich zentral für den Begriff der stetigen Funktion)
und gaben ihm verschiedene Definitionen je nach Bedarf. Um diese mathematische
Unannehmlichkeit zu überwinden, verachtet Maurice Fréchet in seiner Arbeit Sur
quelques points du calcul fonctionnel [Fré06] die Art der Veränderlichen. Er redet
von abstrakten Mengen, deren Elemente willkürlicher Natur sind (nature quelcon-
que). Dabei kommt er auf die Idee, jedem Elementenpaar (A, B) einer Menge E
eine nichtnegative Zahl d(A, B) zuzuschreiben. Sie besitzt folgende Eigenschaften:
B und A sind gleich wenn d(A, B) = 0 ist; B strebt nach A, falls d(A, B) nach 0
strebt. Diese Quantität d(A, B) wirkt dabei wie ein Abstand zwischen A und B.
Somit erlaubte sich Fréchet, über Grenzwerte und Stetigkeit auf eine räumliche Art
zu denken. Unterdessen führt Fréchet metrische Räume ein. Die heutige Definition
eines metrischen Raumes lautet wie folgt.
Definition (Metrischer Raum). Sei X eine Menge und d : X 2 → R≥0 eine Funktion.
Das Paar (X, d) nennen wir einen metrischen Raum, wenn d folgende 3 Eigenschaf-
ten besitzt:
1. Positivdefiniertheit: Für alle x, y ∈ X gilt d(x, y) ≥ 0. Es gilt nur dann
d(x, y) = 0, wenn x = y.
2. Symmetrie: Für alle x, y ∈ X gilt d(x, y) = d(y, x).
3. Es gilt die Dreiecksungleichung d(x, z) ≤ d(x, y) + d(y, z) für in alle Tripel
x, y, z ∈ X.
Wir nennen d eine Metrik über X.
Folgende Funktion dE : RN × RN → R ist eine Metrik über RN :
v
u N
uX
dE (x, y) := t (xi − yi )2 . (1.1)
i=1

4
KAPITEL 1. STRUKTUREN 1.1. METRISCHE RÄUME

Umgangssprachlich benutzen wir für dE den Namen Euklid’sche Metrik oder Eu-
klid’sche Distanz. Sie ist diejenige Distanzfunktion, welche Abstände in unserer
dreidimensionalen Welt angibt. Wir beweisen an dieser Stelle, dass sie mit RN einen
metrischen Raum bildet.

Beweis. Es wird an dieser Stelle die Dreiecksungleichung bewiesen, da die ersten

beiden Bedingungen offensichtlich sind. Wir betrachten also drei Vektoren x, y, und
z. Zu beweisen ist nun folgende Ungleichung:
v v v
u N u N u N
uX uX uX
t (x − z )2 ≤ t (x − y )2 + t (y − z )2 . (1.2)
i i i i i i
i=1 i=1 i=1

Nun ersetzen wir die Ausdrücke xi − yi und yi − zi mit si und ti . Durch Einsetzen,
Quadrieren und Ausmultiplizieren (...) auf beiden Seiten erhalten wir:
v
N
X
u N
uX N
X
2
si ti ≤ t si · t2i . (1.3)
i=1 i=1 i=1

Dies ist einfach die Cauchy-Schwarz’sche Ungleichung 1 .

An dieser Stelle ermitteln wir den Fixpunktsatz von Banach. Es handelt sich um
einen wichtigen Satz über eine Klasse von metrischen Räumen.

Theorem (Banach). Sei (X, dX ) ein vollständiger2 metrischer Raum und µ : X →

X eine Kontraktion3 . Dann hat µ in jeder abgeschlossenen Untermenge M von X
einen Fixpunkt.

Beweis. Wir nehmen einen beliebigen Wert x0 ∈ M und definieren die Folge (xn ):

xn = µ(xn−1 ).

Nun betrachten wir µ. Es gilt folgendes für eine gewisse Zahl k ∈ [0, 1):

dX (µ(x1 ), µ(x0 )) ≤ k · d(x1 , x0 );

dX (µ(x2 ), µ(x1 )) ≤ k · d(x2 , x1 );
..
.
dX (µ(xn+1 ), µ(xn )) ≤ k · d(xn , xn−1 ).

Wir sehen direkt, dass der Abstand zwischen xn und xn−1 nach 0 strebt. Dies bedeu-
tet, dass die Folge (xn ) einen Grenzwert x besitzt. Dieser Grenzwert ist tatsächlich
der Fixpunkt von µ, weil der Abstand zwischen x und µ(x) null beträgt.
1
Seien s1 , . . . , sn und t1 , . . . , tn reelle Zahlen. Gemäss Cauchy-Schwarz gilt folgende Unglei-
chung: (s1 t1 + . . . sn tn )2 ≤ (s21 + . . . s2n )(t21 + . . . t2n ).
2
Es heissen diejenigen Mengen vollständig, in welchen jede Cauchyfolge konvergiert.
3
Eine Abbildung µ : X → X heisst eine Kontraktion, wenn der Abstand zweier Abbildungen
in X stets kleiner ist als derjenige ihrer Urbilder.

5
1.2. VEKTORRÄUME KAPITEL 1. STRUKTUREN

1.2 Vektorräume
Den zentralen Gegenstand in der linearen Theorie bildet der Vektorraum. Vek-
torräume (oder besser lineare Räume) sind lediglich Mengen, deren Elemente additiv
und skalierbar sind. Sie sind besonders wichtig für diese Arbeit, weil tatsächlich auch
Funktionen lineare Räume bilden - somit ist zu erahnen, dass lineare Räume (und
vor allem komplexere Strukturen, welche auf ihnen aufbauen) im Rahmen der Dif-
ferentialprobleme Anwendung finden.
Sei V eine Menge und + (Addition) und · (Skalarmultiplikation) zwei Verknüpfungen.
Das Tripel (V, +, ·) heisst ein Vektorraum über dem Körper4 R, wenn für alle
v, w, u ∈ V (sogenannte Vektoren) und α, β ∈ R folgendes gilt:
1. v + w ∈ V (Geschlossenheit unter Addition);

2. v + w = w + v (Kommutativität)

3. (v + w) + u = v + (w + u);

4. Es gibt ein 0 ∈ V sodass v + 0 = v (Neutrales Element 0 unter Addition);

5. Es gibt ein w ∈ V sodass v + w = 0 (Inverses Element);

6. α · v ∈ V (Geschlossenheit unter Skalarmultiplikation);

7. (α + β) = α · v + β · v (Distributivität unter Skalaraddition);

8. α · (v + w) = α · v + α · w (Distributivität unter V - Addition);

9. (α · β) · v = α · (β · v);

10. Es gibt ein 1 ∈ R sodass 1 · v = v (Neutrales Element unter Skalarmultiplika-

tion).
Sei V ein Vektorraum über R. Funktionale über V sind Funktionen, welche Elemente
von V auf R abbilden. Nun stellen wir ein wichtiges Resultat über Funktionale vor,
nämlich den Satz von Hahn-Banach. Er besagt grob, dass jedes Funktional auf einem
Unterraum von V auf das gesamte V erweiterbar ist. Für einen Beweis, siehe [BB11],
Kapitel 1.
Theorem (Hahn-Banach, analytische Form). Sei v : V → R ein Funktional mit

v(λx) = λv(x) ∀x ∈ V und λ > 0,

v(x + y) ≤ v(x) + v(y) ∀x, y ∈ V.

Zudem sei W ⊂ V ein Unterraum5 und w : W → R ein lineares Funktional sodass

w≤v auf W.

Dann existiert ein weiteres lineare Funktional f : V toR, welches w erweitert:

f (x) =
4
Diese Arbeit handelt nur mit R als Körper.
5
Eine Menge W ist ein Unterraum von V , wenn sie vollständig in V enthalten ist und auf ihr
alle Bedingungen 1-10 gelten.

6
 KAPITEL 1. STRUKTUREN 1.2. VEKTORRÄUME

Es ist aus verschiedensten Gründen nutzvoll, Vektoren ein Konzept der Länge
zuzuordnen.

Definition (Normierter Vektorraum, Norm). Ein linearer Raum V heisst normiert,

falls eine Funktion ∥ · ∥ : V → R+ existiert, eine Norm genannt, welche für t ∈ R
und x, y ∈ V folgende Kriterien erfüllt:

1. ∥x∥ = 0 =⇒ x = 0; ∥x + y∥ ≤ ∥x∥ + ∥y∥;

2. ∥t · x∥ = |t| · ∥x∥.

Wir merken nun direkt, dass jede Norm eine Metrik erzeugt. Die Funktion

d(x, y) = ∥x − y∥ ∀x, y ∈ V

ist eindeutig eine Metrik. Somit ist jeder normierte lineare Raum auch ein metrischer
Raum. Dies ist zum Beispiel nützlich, falls V für ∥ · ∥ vollständig ist - dann gilt der
Satz von Banach für V

7
1.3. INNERE PRODUKTRÄUME KAPITEL 1. STRUKTUREN

Solche normierte Vektorräume (abgekürzt NVR), welche für ihre Norm vollständig
sind, heissen Banachräume.

Definition (Banachraum). Ein Banachraum ist ein vollständig normierter Vektor-

raum, beziehungsweise ein NVR (B, ∥ · ∥), in welchem jede Cauchy-Folge in der von
der Norm induzierten Metrik konvergiert.

1.3 Innere Produkträume

IP-Räume Banachräume

8
Kapitel 2

Partielle Differentialgleichungen

Nun handelt der Leser bequem mit den Grundlagen der Linearen Algebra und Funk-
tionenräumen (wie wir gesehen haben, Funktionenräume wurden aus linearen Struk-
turen geboren) und hat sich mit der Idee bekannt gemacht, dass diese eine zentrale
Anwendung finden im Rahmen der Differentialgleichungen, ob gewöhnlich oder par-
tiell.
Manche gewöhnliche Differentialgleichungen sind mit einfachen Ansätzen lösbar. Für
partielle Gleichungen sind solche Ansätze unmöglich zu finden. Dafür ergibt sich aus
der Funktionentheorie der brillianter Ansatz zur Ermittlung von sogenannten klas-
sichen Lösungen von partiellen Gleichungen, nämlich der Variationsansatz.

Zum Variationsansatz
Wir ermitteln hier den oben genannten Variationsansatz, welcher sowohl für gewöhnliche
als auch partielle Probleme funktioniert. Er ist vorteilhaft, denn er gibt uns einen
festen, aus vier Schritten bestehenden Algorithmus. Um diesen Ansatz zu verstehen,
schauen wir uns eine einfache Partialdifferentialgleichung in 2 Dimensionen an.

2.0.1 Die Poisson-Gleichung

In der Elektrodynamik und der Newton’schen Mechanik trifft man auf zwei de-
ckungsgleiche Partialdifferentialgleichungen, welche folgende Form einnehmen: Ge-
sucht wird jeweils ein Potential u, dessen Laplace auf einem offenen (streng genom-
men auch beschränkten) Gebiet D ⊆ Rd einer gegebenen Funktion f entspricht
(−∆u = f auf D). Dazu ist weit verbreitet, dass eine Randbedingung vorliegt. Wir
untersuchen sogenannte Dirichlet’sche Randbedingungen. Sie können homogen oder
inhomogen sein:
(
∆u = f auf D, f ∈ L2 (D)
homogen (2.1)
u = 0 auf ∂D
(
∆u = f auf D, f ∈ L2 (D)
inhomogen (2.2)
u = g auf ∂D, g ∈ C(∂D)

9
 KAPITEL 2. PARTIELLE DIFFERENTIALGLEICHUNGEN

Diese Art von PDG wird auch Poisson’sche Gleichung genannt. Im Rahmen dieser
Arbeit suchen wir nach der Existenz einer schwachen Lösung von (1) und (2), und
zwar einer solchen Lösung, die im Funktionenraum H01 (D) := W01,2 (D) enthalten ist
(grund dafür - bei H01 (D) bieten sich Hilbertraummethoden an). Für (2) nehmen
wir dazu an, dass g eine H01 (D)-Erweiterung annimmt, in anderen Worten, es exis-
tiert eine Funktion g̃ ∈ H01 (D) ∩ C(DC ), sodass g̃ = g auf ∂D. [Schwache Lösung
der Poisson-Gleichung mit homogener Randbedingung] Ein u ∈ H01 (D) wird eine
schwache Lösung von (1) genannt, wenn für jedes ϕ ∈ Cc∞ (D) folgendes erfüllt ist:
Z Z
∇u∇ϕdx = ϕf dx.
D D

[Schwache Lösung der Poisson-Gleichung mit inhomogener Randbedingung] Ein

u ∈ H01 (D) wird eine schwache Lösung von (2) genannt, wenn für jedes ϕ ∈ Cc∞ (D)
folgendes erfüllt ist: Z Z
∇u∇ϕdx = f ϕdx;
D D
u − g̃ ∈ H01 (D).
Um zu beweisen, dass (1) und (2) schwache Lösungen besitzen, brauchen wir
ein grundlegendes Lemma von Poincaré, das die p−Norm von W01,p -Funktionen
abschätzt.

Lemma 1 (Poincaré). Sei D ⊆ Rd beschränkt und sei 1 ≤ p < ∞. Es existiert eine

von D und p abhängige positive Konstante C sodass für jede Funktion f ∈ W01,p (D)
folgende Ungleichung der Normen gilt:

∥f ∥p ≤ C∥∇f ∥p .

Dazu definiert ∥|f |∥ := ∥∇f ∥2 eine zu ∥ · ∥2 äquivalente Norm.

An dieser Stelle weisen wir auf einen Beweis dieses Lemmas hin, sowie auf den
Beweis des Theorems 1 ([?], Th. 11.34, Th. 11.35). Wie wir gleich sehen werden, folgt
der Beweis des Theorems 2 ziemlich nahe an den Anweisungen aus dem Theorem 1 -
aus diesem Grund führen wir Theorem 1 hier vollständig durch. [Poisson-Gleichung,
homogene Randbedingungen] Für beschränkte D ⊆ Rd besitzt (1) eine schwache
Lösung.
R
Beweis. Als erster Schritt möchten wir zeigen, dass der Operator L : h 7→ D hf dx
ein beschränkter Funktional von H01 (D) nach R ist. Mittels Cauchy-Schwarz und
Poincaré sehen wir direkt:

|L(h)| ≤ ∥h∥2 ∥f ∥2 (Cauchy-Schwarz)

≤ C∥∇h∥2 ∥f ∥2 (Poincaré)

′
= C ∥|h|∥ · ∥f ∥2 .

Aufgrund des Riesz’schen Darstellungssatzes existiert nun ein eindeutiges u ∈ H01 (D)
sodass
h ∈ H01 (D) ⇒ L(h) = ⟨h, u⟩H01 (D) .

10
KAPITEL 2. PARTIELLE DIFFERENTIALGLEICHUNGEN

Anschliesslich überprüfen wir ob der Rieszpunkt u von L eine schwache Lösung von
(1) ist. Dafür schreiben wir das innere Produkt explizit aus.
Z Z
1
h ∈ H0 (D) ⇒ ∇h∇udx = hf dx.
D D

Insbesondere gilt dies für Testfunktionen, beziehungsweise für h in Cc∞ (D), da Cc∞ ⊆
H01 (D). Daher ist der Rieszpunkt u tatsächlich eine schwache Lösung von (1). Nun
nehmen wir an, es gäbe eine andere schwache Lösung v ∈ H01 (D) von (1). Dann
erhalten wir wiederum
Z Z
∞
h ∈ Cc (D) ⇒ (∇u − ∇v)∇hdx = (f − f )hdx
D D
= 0.
R
Wir wenden dieses Resultat auf das innere Produkt ⟨a, b⟩H01 (D) := D
∇a∇bdx an:

h ∈ Cc∞ (D) ⇒ ⟨(u − v), h⟩H01 (D) = 0

⇒ u = v.

Dies vervollständigt den Beweis.

[Poisson-Gleichung, inhomogene Randbedingungen] Für beschränkte D ⊆ Rd
besitzt (2) eine schwache Lösung.
Beweis. Wir definieren den Operator H :

11
Literaturverzeichnis

[BB11] Haim Brezis and Haim Brézis. Functional analysis, Sobolev spaces and par-
tial differential equations, volume 2. Springer, 2011.

[Fré06] M Maurice Fréchet. Sur quelques points du calcul fonctionnel. Rendiconti

del Circolo Matematico di Palermo (1884-1940), 22(1):1–72, 1906.

12