Professional Documents
Culture Documents
Distributionen
Peter Schlicht2 , Frank Werner3
Literatur, Vorwort
Trotz dreifacher Ausfhrung ist das Buch aus der Bibilothek verschwunden.
u
Da sehen sie es wieder: Bcher, die verschwinden, sind sehr gut!
u
Prof. Dr. Holdgr n
u
Literatur
[Rudin] Walter Rudin: Reelle und Komplexe Analysis
Oldenbourgverlag, 499 Seiten, ISBN: 3-486-24789-1
[Holdgrn] Horst Holdgrn: Analysis II: Dierential- und Integralrechnung mehrerer Variablen
u
u
Leinsverlag Gttingen, 2001, 486 Seiten, ISBN: 3-932-97501-4
o
[Robertson/Robertson] A.P. Robertson, W. Robertson: Topological Vector Spaces
Cambridge University Press, 180 Seiten, ISBN: 0-521-20124-1
[Hewitt/Stromberg] Edwin Hewitt, Karl Stromberg: Real and Abstract Analysis
Springerverlag Berlin, 2. Auage 1984, 492 Seiten, ISBN: 0-387-90138-8
[Jantzen / Schwermer] Jens Carsten Jantzen, Joachim Schwermer: Algebra
Springerverlag Berlin, 2005, ISBN: 3-540-21380-5
[Riem.Flchen] H. Holdgrn, Peter Schlicht, Frank Werner: Riemannsche Flchen
a
u
a
Vorlesungsmitschrift, Gttingen 2006
o
[Narasimham] Nievergelt Narasimham, Raghavan Narasimhan: Complex Analysis in one variable
Springerverlag Berlin, 2001, 381 Seiten, ISBN: 0-817-64164-5
Vorwort
Dieses Skript ist unter einigem Arbeitsaufwand zu der Vorlesung Distributionen von Herrn Professor Horst
Inhaltsverzeichnis
Inhaltsverzeichnis
Literatur
Vorwort
Inhaltsverzeichnis
1 Testfunktionen
1.1 Konstruktion von Testfunktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Lokal-Integrierbare Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.3 Glttungen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
a
7
7
8
9
2 Distributionen
12
2.1 Einfhrung und Denitionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
u
2.2 Normen und Ordnung von Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3 Lokalisierung
20
3.1 Lokale Denition einer Distribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
4 Konvergenz von Distributionen, der Begri der Vollstndigkeit
a
30
4.1 Konvergenz von Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4.2 Vollstndigkeit von DpMq . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
a
5 Multiplikation
5.0.1 Rechenregeln . . . . . . . . . . . .
5.1 Beispiele . . . . . . . . . . . . . . . . . . .
5.2 Lsen von Gleichungen . . . . . . . . . . .
o
5.2.1 Einbettung singulrer Funktionen
a
5.3 Verschiebung . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
37
37
38
39
41
6 Dierentiation
45
6.1 Intuitive Herleitung eines Ableitungsbegries fr Distributionen . . . . . . . . . . . . . . . . . . . 45
u
6.2 Wohldeniertheit der Richtungsableitung, Eigenschaften und Rechenregeln . . . . . . . . . . . . 46
7 Stammfunktionen
54
7.1 Der eindimensionale Fall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
7.2 Der allgemeine Fall . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
8 Systeme linearer Dierentialgleichungen
62
8.1 Ein Abriss der klassischen Theorie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
8.2 Dierentialgleichungssysteme und Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
9 Darstellung von Distributionen auf relativ kompakten Teilmengen
66
12 Faltung
91
12.1 Faltung zweier Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
12.2 Faltung von mehreren Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
12.3 Nochmal Stammdistributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 100
Inhaltsverzeichnis
13 Regularisierung
13.1 Allgemeine Einfhrung . . . . . . . . . . . . . . . . . . . .
u
13.2 Approximation durch Testfunktionen . . . . . . . . . . . .
13.2.1 Beweis aus dem abstrakten Kontext . . . . . . . .
13.3 Anwendung der Regularisierung . . . . . . . . . . . . . . .
13.3.1 Anwendung auf partielle Dierentialgleichungen . .
13.3.2 Beispiel: Die Laplace-Gleichung . . . . . . . . . . .
13.3.3 Beispiel: die Cauchy-Riemann Dierentialgleichung
13.3.4 Beispiel: Die Wrmeleitungsgleichung . . . . . . .
a
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
102
102
102
105
105
106
109
117
120
128
Faltungssatz
136
Der Faltungsatz fr Distributionen mit kompaktem Trger . . . . . . . . . . . . . . . . . . . . . . 136
u
a
Verallgemeinerung auf temperierte Distributionen . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
Letzte Verallgemeinerung des Faltungssatzes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
16 Periodische Distributionen
142
16.1 Existenz und erste Beispiele periodischer Distributionen . . . . . . . . . . . . . . . . . . . . . . . 142
16.2 Poissonsche Summationsformel und Anwendungen davon . . . . . . . . . . . . . . . . . . . . . . 148
16.3 Charakterisierung aller periodischer Distributionen - Fourierreihe . . . . . . . . . . . . . . . . . . 149
17 Elliptische Dierentialgleichungen mit konstanten Koezienten
152
156
163
171
A Topologie
A.1 Zum Satz von Banach-Steinhaus . . .
A.1.1 Einleitende Worte . . . . . . .
A.1.2 Der Satz von Banach-Steinhaus
A.2 Eigentliche Abbildungen . . . . . . . .
A.3 topologische Gruppen . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
177
177
177
177
179
182
B Funktionalanalysis
184
B.1 Der Satz von Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
B.2 Skalarprodukte und ihre Polarisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 184
C Integrationstheorie
186
C.1 Der Dualraum von L 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
C.2 Der Raum L 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
C.3 Tensorprodukte von Maen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
D Algebraische Tensorprodukte
188
E Fouriertransformation
189
E.1 Schnell fallende Funktionen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 192
Stichwortverzeichnis
200
In der Analysis ist alles verboten, das nicht explizit erlaubt ist,
bei den Distributionen allerdings ist alles erlaubt, was nicht explizit verboten ist.
Prof. Dr. Holdgr n
u
Motivation
In der (reellen) Analysis, insbesondere beim Umgang mit Dierenzierbarkeit, muss man stets aufpassen, dass oft sehr einschrnkende - Voraussetzungen erfllt sind, damit eine Behauptung richtig ist.
a
u
Wie schn wre die Analysis, wenn alle diese Restriktionen wegelen...
o
a
Abhilfe bringt hier die Distributionentheorie, in der die Distributionen an die Stelle der in der Analysis betrachteten Funktionen gesetzt werden! Einige Beispiele, bei denen mit Distributionen sehr viele Problemstellungen
einfach und ubersichtlich werden:
Eine stetig dierenzierbare Funktion f kann man bis auf eine Konstante rekonstruieren aus ihrer Ableitung,
weil f pxq f paq mit dem Integral von a bis x der Ableitung f I ubereinstimmt.
Das geht manchmal auch fr Funktionen, die nicht uberall dierenzierbar sind, wie zum Beispiel die bei
u
sgn : R z t0u
/
t1, 1u , x 1 1
x R
x R
von dieser Funktion f ist ebenfalls nur bei 0 nicht dierenzierbar, aber fr g versagt die Rekonstruktion
u
aus der Ableitung, denn g I pxq 0 fr von 0 verschiedene x. Es ist nicht zu sehen, welche unterschiedliche
u
Qualitt f und g bei 0 besitzen, wodurch das ungleiche Verhalten bedingt wird.
a
Bei einer zweimal partiell dierenzierbaren Funktion sind die gemischten zweiten Ableitungen manchmal
unabhngig von der Reihenfolge der Dierentiation, manchmal aber nicht. Abgesehen davon, dass man
a
die Vertauschbarkeit natrlich durch starke Voraussetzungen an die Funktion stets erzwingen kann, ist
u
dieses unterschiedliche Verhalten der Funktion nicht ohne Weiteres anzusehen.
Ein gleichmiger Grenzwert einer Folge von Lsungen der Laplace-Gleichung ist wieder eine Lsung. Fr
a
o
o
u
die Wellengleichung, die sich von der Laplace-Gleichung nur um ein Vorzeichen unterscheidet, ist das nicht
mehr richtig: der gleichmige Grenzwert einer Folge von Lsungen braucht nicht einmal dierenzierbar
a
o
zu sein.
Diese und andere Ungereimtheiten verschwinden, wenn Distributionen an die Stelle von Funktionen rcken.
u
Distributionen schauen nicht nur auf einen Punkt, um einen Funktionswert festzulegen, sie beachten auch die
Nachbarpunkte. Damit werden sie das adquate Mittel fr Naturbeschreibungen. Beispiel: um die Windgea
u
schwindigkeit an einem Ort festzustellen, wird eine Flche (Windrad) fr einen gewissen Zeitraum beobachtet,
a
u
und daraus wird auf die lokale Windgeschwindigkeit geschlossen: weder Ort noch Zeit sind bei dieser Messung
punktfrmig.
o
Nach dieser vorsichtigen Vorstellung noch zwei Schlagzeilen:
(1) alle Funktionen, selbst unstetige, sind [im Rahmen der Distributionen] unendlich oft dierenzierbar;
(2) auch Funktionen, die nicht (Lebesgue-)integrierbar auf R sind, z.B. die konstante Funktion 1, besitzen
eine Fouriertransformierte, fr die die Umkehrformel gilt.
u
Geschichte
Bereits Ende des 19. Jahrhunderts beschftigte sich der britische Physiker Oliver Heaviside mit speziellen Funka
tionen, die heute in der Theorie der Distributionen eine groe Rolle spielen, obwohl diese Theorie selbst erst mehr
als 50 Jahre spter wirklich entwickelt wurde. Er betrachtete etwa die Funktion (heute als Heaviside-Funktion
a
bekannt)
5
0 falls x 0
H p xq :
1 falls x 0
deren Graph wie folgt aussieht:
Physikalisch motiviert interessierte er sich fr diese Funktion und wollte sie dierenzieren. Ohne formales Reu
chenkalkl setze er so
u
H I pxq :
falls x $ 0
falls x 0
(0.1)
und forderte dem Hauptsatz der Dierential- und Integralrechnung getreu zustzlich
a
(0.2)
Die Physiker jener Zeit kmmerten sich nicht sonderlich um formale Rechenregeln, solange die Ergebnisse
u
stimmten. Daher nutze Heaviside den Wert V auch ohne weitere Bedenken.
Unser Ziel bei den Distributionen wird es also sein, ein solches Rechenkalkl zu entwickeln, in welchem jede
u
(!) Funktion beliebig oft dierenzierbar ist und selbst bei Peak-Funktionen wie H I eine Eigenschaft wie (0.2)
chungen. In der entstehenden Theorie verwendete er bereits den Distributions-Begri, den wir heute kennen.
Allerdings ging diese Neuerung in der eigentlichen Arbeit unter, er tat die Distributionen nicht als eigentliche
Neuigkeit kund. Das machte sich dann der Franzose L. Schwartz etwa um 1950 zu Nutzen und verentlichte
o
zwei Bcher uber Distributionen, die heute als Grundsteine der Theorie der Distributionen gesehen werden
u
knnen. Im Weiteren folgen wir in der Notation ziemlich exakt Sobolev und Schwartz. Wie in der Motivation
o
schon erwhnt brauchen wir etwas Integrationstheorie. Wir wollen hier die Integrationstheorie nach Lebesgue als
a
Grundlage nehmen, entsprechend meinen wir mit integrierbar stets Lebesgue-integrierbar. Da man sich be
kanntlich am liebsten selbst zitiert, werden in diesem Skriptum einfach die entsprechenden Stze aus [Holdgrn]
a
u
verwendet und angegeben.
1 Testfunktionen
Grundlegende Notation
Sei in diesem Skript stets M Rn oen und nicht-leer. Bei einer beliebigen Menge N
/ N stets
fr eine Funktion f : M
u
Trpf q : tx M
0 bezeichne auerdem
| f pxq $ 0u
der Trger von f in M, wobei der Abschluss selbstverstndlich in M zu bilden ist.4 Weiterhin bezeichnen wir
a
a
mit
/ C | f ist stetig und Trpf q ist kompaktu
K pMq : tf : M
den C-Vektorraum aller stetigen, komplexwertigen Funktionen mit kompaktem Trger. Wir werden darber
a
u
hinaus fr k N noch die folgenden C-Vektorrume brauchen:
u
a
C k p Mq
:
tf : M
C k pMq
C V pMq :
/C
k N
}x}2 :
g
f n
f
e
x2
k
x px1 , ..., xn q Rn
fr
u
k 1
| }a x}2 u
Rn sei also
falls x U
sonst
1
0
Norm
Testfunktionen
1.1
Wir wollen nun als nchstes zeigen, dass D pMq nicht leer ist. Dazu setzen wir
a
h ptq :
exp
0
1
t
pxq : k h
falls t 0
falls t 0
} 1 x}2 1
2
s1, 1r und f : M
p q s r
/ R gegeben durch f
1.
1 Testfunktionen
mit einer gleich noch zu bestimmenden Konstanten k . Als Verkettung von beliebig oft dierenzierbaren Funktionen gilt dann C V pRn q und fr }x}2 folgt sofort } 1 x}2 1 was nach Denition von h direkt
u
k
e
pxq dx 1
Rn
0
Tr p q B p0q
pxq dx 1
(1)
(2)
(3)
Rn
Sei nun wieder M Rn oen. Zu a M nden wir dann ein 0, sodass B paq M gilt. Wenn wir nun
pxq : px aq
setzen, so erhalten wir ein D pMq, da Trp q B paq M als abgeschlossene Menge innerhalb einer
kompakten Menge im Hausdor-Raum Rn ebenfalls kompakt ist.
Bemerkung 1.1:
/ C genau dann kompakten Trger hat, wenn es ein kompaktes K M gibt,
a
Man beachte, dass f : M
sodass f|M zK 0 gilt.
1.2
Lokal-Integrierbare Funktionen
M ist 1K f integrierbar.
Jeder Punkt a M besitzt eine Umgebung U sodass 1U f integrierbar ist.
:
tf : M
1
Llok pMq : tf : M
L p pMq : tf : M
L V pMq : tf : M
/C
/C
/C
/C
| f ist integrierbaru
| f ist lokal integrierbaru
| f ist Lebesque-mebar und |f |p ist integrierbaru
| f ist fast uberall lokal beschrnktu
a
1
L p pMq Llok pMq fr alle 1 p V
u
1
Beispielsweise ist die Heaviside-Funktion H aus der Motivation ein Element aus Llok pRq, aber kein Element
aus L p pRq fr irgendein 1 p V. Auerdem gilt
u
1
C pMq Llok pMq
aber etwa C pRq L p pRq, wie man an konstanten Funktionen leicht sieht.
1 Testfunktionen
1.3
Glttungen
a
Rm oen. Es gelte:
/ R, x F py, xq total dierenzierbar.
Fr alle festen y Rn ist die Funktion U
u
dxU
Dabei bezeichnet Dx F die nach (1) existente totale Ableitung von F bezglich x U .
u
F py, xq integrierbar.
f pxq :
F py, xq dy
Rn
fr jedes y
u
Df pxq
und es gilt
Dx F py, xq dy
Rn
1
Llok pRn q und wie oben mit den Eigenschaften
C V pRn q
Trp q B p0q
0 und pxq dx 1
Sei nun f
(1)
(2)
(3)
Rn
pf q pxq :
f py q px y q dy, x Rn
Rn
pf q pxq
1
Llok pRn q existiert. Auerdem liefert die
f py q px y q dy
Rn
f px y q py q dy
Rn
1.3 Satz:
Es gilt f
(1.1)
Beweis:
Zunchst stellen wir fest, dass die entstehenden Integrale in (1.1) selbstverstndlich nach Satz 1.1 existieren, da ja
a
a
1
f Llok pRn q nach Voraussetzung und natrlich D p q D pRn q sowie Tr pD q B p0q fr alle Mulitiindizes
u
u
. Wir wollen nun Satz 1.2 auf F py, xq : f py q px y q anwenden. Oenbar sind die Voraussetzungen (1)
und (3) aus diesem Satz trivialerweise fr F erfllt. Wir mssen also lediglich noch (2) nachweisen.
u
u
u
Hier sieht man zunchst, dass
a
Dx F py, xq f py q pD q px y q
f1 ...n f
5
fx
1
...
1
fxn
n
gilt.
10
1 Testfunktionen
gilt. Sei nun a Rn fest. Wir whlen eine beschrnkte Umgebung U von a, dann ist U kompakt. Setze nun
a
a
2
V : y
Dann ist V
sodass
Rn | dist y, U Rn
ebenfalls kompakt und daher ist 1V f nach Voraussetzung integrierbar. Weiter nden wir ein c 0,
}D } c V
Ist y V , so ist }x y } und daher ist D px y q 0. Fr y V und x U gilt
u
}Dx F py, xq} |f pyq| }D px yq} |f pyq|c
Daher ist also mit
h : 1V |f |c
die Voraussetzung (2) ebenfalls erfllt und es folgt interativ die Behauptung.
u
1.4 Satz:
1
Sei f Llok pRn q und wie oben. Denn gelten die folgenden beiden Aussagen:
(1) Ist f bei a Rn stetig, so gilt
(2) Ist K
gleichmig auf K
a
/f
Beweis:
f x
n
R
y dy
p p yq f pxqq p q
|f px yq f pxq| pyq dy
Rn
p qB p0q
Tr
|f px yq f pxq| pyq dy
(1.2)
pq
B 0
Wir wollen fr (1) nun speziell x a betrachten. Nach Voraussetzung ist f dort stetig, das heit
u
(1.2)
(1.3)
|f pa yq f paq| pyq dy
pq
B 0
(1.3)
py q dy
pq
B 0
K B p0q x y | x K, y
B p0q
(1.4)
1 Testfunktionen
11
(1.2)
|f px yq f pxq| pyq dy
pq
B 0
(1.4)
py q dy
pq
B 0
1
Verndern wir f Llok pRn q an einer Stetigkeitsstelle, so verndern wir damit auch die Klasse von f im obigen
a
a
Sinn.
Korollar 1.1:
Sei f C k pRn q mit einem 0 k
(1)
gleichmig auf K
a
/ D f
Beweis:
Die Aussage (1) folgt unter den gemachten Voraussetzungen direkt aus Satz 1.3 und der direkt darber angeu
gebenen Darstellung der Faltung mittels der Transformationsformel.
1
(2) folgt dann wegen D pf q Llok pRn q direkt aus Satz 1.4, (2).
1.5 Denition:
Sei nun wieder M Rn oen. Wir setzen
D k pMq : C k pMq K pMq
Bemerkung 1.4:
Sei M Rn oen und f
/ R durch
D k pMq. Dann denieren wir f : Rn
5
f pxq falls x M
pxq
f
0
x Trpf q
Diese Funktion ist auf zwei oenen Mengen k-mal stetig dierenzierbar deniert, wobei die Denitionen auf der
Schnittmenge ubereinstimmen. Also ist f C k pRn q mit kompaktem Trger. Laut Satz 1.4 gilt nun
a
f
und daher folgt fr jedes Kompaktum K
u
/f
M:
f |M
gleichmig auf K
a
/f
Damit ubertragen sich Satz 1.4 und Korollar 1.1 ganz analog auf Funktionen f
k
f D pMq.
1
Llok pMq beziehungsweise
12
2 Distributionen
2
2.1
Distributionen
Einfuhrung und Denitionen
Die Distributionen, die wir nun einfhren wollen, basieren auf der Theorie mit Testfunktionen aus dem Raum
u
D pMq. Alternativ knnte man auch Testfunktionen aus K pMq nehmen, das wrde dann die Theorie der Radono
u
Mae liefern.
2.1 Denition (Folgenkonvergenz in D pMq):
Eine Folge pi qiN aus D pMq konvergiert gegen 0:
(1) Es gibt ein Kompaktum K
(2) Fr alle pN0 qn gilt
u
M, sodass Tr pi q K d i N
/V
D i
gleichmig
a
/0
lim T pi q 0
Die Menge aller Distributionen auf M wird im Folgenden mit D I pMq bezeichnet.
Bemerkung 2.1:
Mit einem gewissen Hintergrundwissen uber Funktionalanalysis ist klar, dass die von uns geforderte Folgen
stetigkeit an 0 bereits Stetigkeit uberall impliziert, da T ja nach (1) linear zu sein hat. Die Denition von
Folgenkonvergenz gegen 0 entspricht einfach der gewhnlichen Konvergenz in D pMq, die wir spter mittels
o
a
einer Topologie auch noch denieren (siehe die Normen pm aus Beispiel 2.3).
2.3 Denition:
Sei T : D pMq
Beispiel 2.1:
Sei f
1
Llok pMq. Wir denieren Tf : D pMq
/ C durch
f pxq pxq dx
M
1
Wegen f Llok pMq existiert dieses Integral und oenbar ist diese Abbildung linear in ihrem Argument
D pMq. Wir wollen nun zeigen, dass Tf eine Distribution ist. Sei dazu pi qiN eine gegen 0 konvergente Folge
aus D pMq. Durch Wahl des Mulitiindex p0, ..., 0q sehen wir sofort, dass dann
i
gilt. Auerdem gibt es ein Kompaktum K
gleichmig
a
/0
/V
/V
punktweise
/0
1
0. Die rechte Seite ist aber wegen f Llok pMq integrierbar, das
f pxq i pxq dx
/V
/0
2 Distributionen
13
Daher handelt es sich bei Tf in der Tat um eine Distribution und man sieht sofort ein, dass die Abbildung
1
/ DpMq, f Tf linear ist.
Llok pMq
Man kann sich nun fragen, welche Eigenschaften die im folgenden denierte induzierte Abbildung hat:
1
Llok pMq
OOO
OOO
OOO
OOO
q
OOO
f Tf
OOO
OOO
OOO
OOO
'
1
/ DpMq
Llok pMq
Es wird sich herausstellen, dass diese Abbildung injektiv ist, aber dazu an spterer Stelle mehr.
a
2.1 Satz:
Ist f C pMq mit Tf
0, so gilt f 0.
Beweis:
Wenn f $ 0, so gibt es ein a M, sodass f paq $ 0 und es gilt f pxq f paq g pxq fr eine an a verschwindende,
u
stetige Funktion g. Aus der Stetigkeit von g folgt
h 0 : |x a| |gpxq| f p2aq
Abhngig von diesem whlen wir nun eine Funktion
a
a
Trp q B paq
paq 1
| Tf , |
f a
g x x dx
2
f a x dx
g x f a x dx
M
M
f a
f a 2 x dx
f a x dx
M
M
p p q p qq p q
pq
pqpq pq
| p q|
pq
pq pq pq
|f paq|2
pxq dx
| p q|
|f paq|
pxq dx
2
M
/ C,
, : p0q
14
2 Distributionen
Beispiel 2.2:
Wir betrachten M R und f ptq t1 . Diese Funktion ist nicht lokal integrierbar, aber das Integral
ptqt1 dt
extistiert zumindest fr Testfunktionen D pMq mit p0q 0, denn dann gilt mit dem Mittelwertsatz
u
ptqt1
T, :
ptqt1 dt
ptqt1 dt
I pt q dt
Diese Abbildung ist sicherlich C-linear und sogar stetig, weil Konvergenz einer Folge pi qiN in D pMq auch die
gleichmige Konvergenz der ersten Ableitungen mit sich zieht. Also handelt es sich um eine Distribution, die
a
wir mit
&
1
: T
t
bezeichnen wollen.
2.2
d u E gilt ppuq 0
ppuq ||ppuq d C, d u E
ppu v q ppuq ppv q d u, v R
(Positivitt)
a
(Homogenitt)
a
(Dreiecksungleichung)
u0
(Denitheit)
(2)
0, kann man bei einer Norm die Implikation in der letzten Eigenschaft
Beispiel 2.3:
Sei k
sup |D upxq|
||m xM
Diese Abbildung ist wohldeniert, da jedes D u fr u D k pMq und || k mindestens stetig mit kompaktem
u
Trger ist und daher das Supremum immer endlich sein muss.
a
pm stellt tatschlich eine Norm dar:
a
(1) Die Positivitt rechnet man einfach nach:
a
|D upxq| 0 d u D k pMq
pm puq 0
d u D k pMq
2 Distributionen
15
(2) Die Homogenitt folgt aus der Homogenitt des Betrages. Sei C und u E, dann gilt:
a
a
pm puq
sup |D upxq|
||m xM
sup |D upxq|
||m
x M
sup || |D upxq|
||m
x M
||m
||
|| sup |D upxq|
x M
sup |D upxq|
||m
x M
||pm puq
(3) Die Dreiecksungleichung folgt aus der Dreiecksungleichung des Betrags und des Supremums. Seien dazu
u, v E, dann gilt:
pm pu v q
sup |D pu v qpxq|
||m
x M
||m
x M
||m
x M
||m
||m
x M
x M
sup |D upxq|
x M
pm puq pm pv q
sup |D v pxq|
||m
x M
(4) Die Denitheitheit rechnet man ebenfalls einfach nach. Sei u E mit pm puq 0. Dann folgt:
||m
sup |D pu v qpxq|
x M
sup |D upxq| 0
||m
x M
sup |upxq| 0
xM
|upxq| 0 dx M
u0
D pM, Kq t D pMq
2.2 Satz:
Fr eine lineare Abbildung T : D pMq
u
Trpq K u
Beweis:
p2q p1q
Sei pi qiN eine Folge, die in D pMq gegen 0 konvergiert. Dann gibt es nach Denition der Konvergenz in
/V
i
/ 0 d n N.
D pMq ein Kompaktum K M, sodass i D pM, Kq d i N und sup |D i |
Nm
0
16
2 Distributionen
/V
i
/ 0 d m N.
Oder anders formuliert: pm pi q
Dann folgt aber mit Voraussetzung (2) die Existenz eines m und eines c 0, sodss
| T, i | cpm pi q
/V
/0
p1q p2q
Wir nehmen an, (2) wre nicht erfllt. Dann:
a
u
1
m
km
pN0 qn mit n m:
pm pm q p p q
D pM, Kq
km
||m xM
x M
| T, m | k1 | T, m | k1
m
mpm pm q 1
Beobachtung 2.1:
Versucht man die Stetigkeit der uns bekannten Distributionen zu zeigen, dann fllt auf, dass wir fr die
a
u
Distribution , p0q nur die punktweise Konvergenz der Folge pi qiN gegen 0 brauchen. Fr die
u
Stetigkeit der Distributionen Tf kommen wir mit der gleichmigen Konvergenz gegen 0aus, whrend wir fr
a
a
u
$
die in Beispiel 2.2 eingefhrte Distribution 1 auch noch verwenden mssen, dass die Folge pI q gleichmig
u
u
a
i
t
gegen 0 konvergiert.
Diese Beobachtung veranlasst uns zu den folgenden Denitionen
2.6 Denition (Distribution der Ordnung n):
Wir sagen, eine Distribution T DpMq hat die Ordnung
d Kompakta K M hc 0 :
n), wenn T
n, nicht
Beobachtung 2.2:
$
hat die Ordnung 0, genau wie Tf , nicht aber die Distribution 1 aus Beispiel 2.2, sie erfllt ordpT q 1.
u
t
Wir wollen uns nun mit folgendem Problem beschftigen:
a
2 Distributionen
17
D pMq
D m pMq
/
j jC
j j
j
j j
fortsetzbar?
j jT
j
j j
tj j
T
/V
M , sodass i D pM, Kq d i N.
/ 0.
2.3 Satz:
Sei T DpMq mit ordpT q m. Dann gibt es genau eine Fortsetzung Tm : D m pMq
Eigenschaften:
(1) Tm |DpMq
T
Tm , i
/V
/ 0.
Beweis:
Konstruktion:
Sei D m pMq. Dann ist der Trger Trpq von kompakt und es gibt ein 0, sodass Tr B p0q noch
a
komplett in M enthalten ist (M ist oen!). Sei weiter L kompakt, sodass Trpq Trpq B p0q L M.6
Dann whlen wir entsprechend Hilfssatz 1.1 ein D pMq mit folgenden Eigenschaften:
a
(1)
pxq dx 1
Betrachte nun
p qpxq
py q px y q dy
px y q py q dy
/0
gleichmig
a
/V
/ 0 in D m pMq
pm pi j q
i,j
/V
/0
/0
| T, i T, j |
6 Dies
/V
i,j
/V
/0
18
2 Distributionen
Wir mssen zeigen, dass unsere Konstruktion nicht von den getroenen Wahlen abhngt. Wir whlen
u
a
a
also andere M LI Trpq B p0q Trpq. Dies liefert uns zusammen mit nun eine andere Folge
| T, i T, Ii |
| T, i | | T, Ii |
000
p qm /
ord T
T:
Tm ist linear:
Diese Aussage folgt direkt aus der Linearitt des Grenzwertes.
a
Stetigkeit
Sei pi qiN eine Folge aus D m pMq, die in D m pMq gegen 0 konvergiert. Aus Denition 2.7 folgt, dass es ein
Kompaktum K M derart gibt, dass Trpi q K d i N und wir knnen getreu obiger Konstruktion
o
eine Folge pi qiN D pMq whlen, sodass
a
(1) pm pi i q
(2)
1
i
| Tm , i T, i | 1
i
L K d i N und mit i
i
i
Das wiederum bedeutet
D i
/V
/V
/V
/ 0 in D m pMq
/ 0 fr alle || m
u
V
| T, i | cpm pi q i
und mit Eigenschaft (2) der Folge pi qiN folgt damit das Ergebnis
| Tm , i |
/V
/0
/0
Beachte nun noch, dass die Eindeutigkeit per Konstruktion mit der Stetigkeit, das heit mit der geforderten
Eigenschaft (2), folgt, und die Behauptung ist gezeigt.
2.4 Satz:
Sei T : D m pMq
/ C linear und folgenstetig im ublichen Sinne fr Folgen pi qiN , die in D m pMq gegen 0
u
Beweis:
Zuerst einmal ist klar, dass T : T|DpMq zwischen den richtigen Rumen abbildet und linear ist, weil
a
T p q T p q T pq T p q T pq T p q d, D pMq, d C
und wir mssen lediglich noch die Stetigkeit zeigen.
u
Sei dafr pi q D pMq eine in D pMq gegen 0 konvergente Folge. Aus der Deniton der Folgenkonvergenz in
u
D pMq folgt die Existenz eines Kompaktums K, sodass Trpi q K di N, sowie die Relation
pn pi q
/V
in R
/0
dnN
pm pi q
/V
in R
/0
2 Distributionen
19
Das aber reicht bereits, damit pi qiN eine in D m pMq konvergente Nullfolge ist und es folgt nach Voraussetzung:
| T , i | | T, i |
/V
/0
Beweis:
Die Linearitt ist klar.
a
Sei nun pi qiN eine in D pMq konvergente Nullfolge. Dann folgt per Denition
I
i
und daher muss auch
gleichmig auf R
a
/0
| T, i |
I p0q
i
/0
/0
/V
/ 0, aber p1 pi q 1
d i N. Gleichzeitig ist
| T, i | |Ii p0q| |1| d i N
20
3 Lokalisierung
Lokalisierung
W1 L1 V2 L2 U
Das ist mglich dank der Trennenungsaxiome, die selbstverstndlich im Rn gelten. Eine Skizze sieht dann wie
o
a
folgt aus:
Dann whlen wir ein 0, sodass K B p0q V1 und L B p0q U und ein
a
Eigenschaften
0
pxq dx 1
(2)
(3)
pxq
f px y q py q dy
pq
f px y q py q dy
B 0
pq
z pq
f px y q py q dy
M B 0
1 py q dy
B 0
f px y q py q dy
pq
f px y q py q dy
B 0
pq
z pq
f px y q py q dy
M B 0
0 py q dy
B 0
1, C V M, Trpq U
3 Lokalisierung
21
(1) D pRn q
1
Trpq U
(2) |K
(3)
Rn oen sodass
K
|K
1
Beweis:
Zu x K whle eine kompakte Umgebung7 Vx von x sodass ein
a
x Vx
Whle nun x1 , ..., xm
a
K aus, sodass
K
Vx U
m
V x
K :
Vx
V x
(3.1)
1, Tr p q U kompakt und
0 1
fr alle 1, ..., k. Setze nun
u
C V pRn q mit
|K
j : j
fr j
u
1
7 Das
1
j 1
p 1 i q
i 1
p1 i q
(3.2)
i 1
heit eine kompakte Menge Kx , welche noch ganz eine oene Menge Ux
x enthlt.
a
22
3 Lokalisierung
Induktionsanfang (I.A.):
Fr k
u
2 gilt oenbar
1 2 p1 1 q
1 2
1 1 1 2 1 2
1 p1 1 2 1 2 q
1 p1 1 q p1 2 q
2
p1 i q
i 1
Induktionsvoraussetzung (I.V.):
Gelte
1 ... k
1
p 1 i q
i 1
/ k 1:
Induktionsschritt k
Es ist
k 1
k1
I.V.
p1 i q k1
i 1
Denition k1
p1 i q k1
i 1
p1 i q
i 1
1 p 1 k 1 q
p1 i q
i 1
k 1
p1 i q
i 1
h t1, ..., ku
sodass x K
pxq
p1 i q pxq 0
i 1
auch
|K
1
Wir wollen nun Distributionen einschrnken. Dazu nutzen wir wieder die Bezeichnung f als Fortsetzung einer
a
Testfunktion f wie in Bemerkung 1.4.
3.1 Denition (Einschrnkung einer Distribution):
a
Sei U M oen und T DpMq eine Distribution. Wir denieren durch
T|U , : T, , D pU q
3 Lokalisierung
23
auf U gleich
pS T q| 0
U
gilt.
3.3 Denition:
Sei U M oen und sei T
auf M, falls
gilt.
3.3 Satz:
1
Sei f Llok pMq und U
1
M oen. Dann ist auch f| Llok pU q und es gilt
Tf| Tf |
U
Beweis:
1
1
Das f|U Llok pU q gilt ist nach Denition des Raums Llok pMq klar, da U
Tf |U ,
Tf ,
f pxq pxq dx
Tf|U ,
a ,
$ 0 ist.
a |U
paq 0
0
1
Llok pMq sodass a Tf .
Beweis:
Gbe es ein f
a
1
Llok pMq mit a Tf , so wre Satz 3.3 oben
a
0 a | Tf | Tf|
Nach Bemerkung 2.2 ist dann f| 0 fast uberall was natrlich nach Denition von U auch f 0 fast uberall
u
Tf 0
24
3 Lokalisierung
Beispiel 3.2:
Sei M R. Betrachte wieder die Distribution
1$
f ptq :
1
fr t R z t0u
u
t
1
erfllt f Llok pR z t0uq. Setze also U : R z t0u.
u
Behauptung:
Es gilt
&
1
t |U
Tf
Beweis:
Wir mssen zeigen, dass fr alle D pU q D pR z t0uq folgende Relation gilt:
u
u
&
1
,
Tf ,
1
,
ptqt1 dt
p tq
dt
t
p q0, |U
R z t0u
loomoon
U
ptqt1 dt
I pt q dt
ptq
dt
t
Tf ,
$
&
1
t
c 0
eine mgliche Fortsetzung von Tf auf R, da Einschrnkung und Addition oenbar vertrglich sind.
o
a
a
3 Lokalisierung
25
Beispiel 3.3:
Sei C. Deniere f : R
/ C durch
f ptq :
0
t
falls t 0
falls t 0
Dabei ist t exp p log tq fr den reellen Logarithmus log (und beachte obige Zitate!)
u
Fr pq 2 ist fr jedes A 0:
u
u
A
t dt
exp p
pq log tq dt
Daher ist fr
u
pq dt V
1
pq 1 insbesondere f Llok pRq. Schreibe nun
T : Tf
Man rechnet nun leicht mit einigen Stzen aus der Funktionentheorie nach, dass fr jedes feste
a
u
Funktion
T ,
holomorph in t C
ben wir
D pRq die
t ptq dt
| pq 1u ist. Wir wollen nun eine Fortsetzung dieser Funktion denieren. Dazu schreiT ,
t p ptq p0qq dt
p q
Vt ptq dt 01
p ptq p0qq t I pt q
mit einem p0, tq zu erhalten. Das gibt
T ,
t I pt q dt
1
0
looooooooomooooooooon
existiert auch f r
u
t ptq dt
p0q
1
pq2
T ,
holomorph sind.
Dieses Verfahren knnen wir induktiv fr das fordere Integral fortsetzen, da beliebig oft stetig dierenzierbar
o
u
ist.
3.1
3.4 Denition:
Sei wie immer M Rn oen und sei T
2
Tr pT q : M z x M
26
3 Lokalisierung
Beispiel 3.4:
Es gilt
Tr pa q tau
Beispiel 3.5:
Sei f
Tr pTf q Tr pf q
Beweis:
Sei x M.
Ist x Tr pTf q, so gibt es per Denition eine oene Umgebung Ux von x, sodass
Tf |U
ist. Also gilt fr alle D pUx q:
u
0 Tf |U ,
x
Tf ,
0
f py q py q dy
f|Ux py q py q dy
(3.3)
Ux
Wre nun f pxq $ 0, so nehmen wir ohne Einschrnkung f pxq 0 an und es gibt wegen der Stetigkeit von f
a
a
eine kompakte Umgebung Vx von x und eine oene Umgebung Mx von x mit Vx Mx Ux sodass
0
ist. Nach dem Satz vom Hut (Satz 3.1) nden wir D pUx q sodass Tr pq Mx und | 1 gilt. Nach (3.3)
f|Mx
Vx
x Tr pf q
dU M
Also existiert fr jede oene Umgebung x U
u
0 $ Tf |U ,
Tf ,
oen mit x U : Tf |U
M ein D pU q sodass
f py q py q dy
$0
f py q py q dy
f|U py q py q dy
3 Lokalisierung
27
3.4 Satz:
Seien T
Beweis:
Nach Voraussetzung ist K : Tr pq kompakt. Ist nun a K, so gilt nach Voraussetzung a
es gibt eine oene Menge Ua a sodass
T|Ua 0
Tr pT q, das heit
gilt. Da K kompakt ist knnen wir K mit endlich vielen Ua s uberdecken, das heit
o
Ua
D pMq sodass 0 1, Tr p q Ua
|K
fr alle
u
1
Dann gilt
p q
K Tr
T,
T,
1
m
T,
1
T|U
M
Ui
i I
I,
Ui
Uj
Ui
Uj
Beweis:
Eindeutigkeit:
DpMq zwei Distributionen mit der obigen Eigenschaft, so gilt per Denition
pS T q| 0 d i I
Da M
Ui ist, hat das Tr pS T q r zur Folge. Das bedeutet
Sind S, T
Ui
i I
also S
T.
d D pMq :
S T,
0
28
3 Lokalisierung
Existenz:
Sei D pMq. Dann hat kompakten Trger, das heit es gibt ein kompaktes K M mit Tr pq K.
a
Wir knnen dieses K mit endlich vielen Ui s aus der Voraussetzung uberdecken, das heit wir nden
o
i1 , ..., ik I sodass
k
Ui
Mit der Teilung der Eins aus Satz 3.2 nden wir Funktionen
und
k
|K
Ti , |U
1
T, :
fr 1
u
Ti , |U
Wohldeniertheit:
Wir mssen zunchst zeigen, dass diese Denition von T nicht von der Konstruktion abhngt. Sei
u
a
a
also zustzlich L M kompakt mit Tr pq L, uberdecke L mit endlich vielen Ui s, das heit
a
Uj
und whle
a
D pMq mit Tr p q Uj
und
m
|L
1
Dann gilt:
k
Ti , |U
p qL
Tr
i
k
m
Uj Tj |Ui Uj
m
k
1 1
|U
i
loooomoooon
Tr K L Ui
Tj , |U
Tj , |U
|U
Ti ,
1 1
Ti |U
Ti ,
Uj
Tr pq Tr p q K
gilt und whlen dann Ui s und s fr und gleich. Damit folgt die Linearitt von T direkt aus
a
u
a
der Linearitt der Ti s.
a
Ti :
Sei D pUi q. Dann mssen wir zeigen, dass
u
T|Ui
a
womit hier aber K bereits von unserem einen Ui uberdeckt wird. Whle also hier k : 1, Ui1 Ui
a
Denition von T
1
Ti , 1 |U
Ti ,
3 Lokalisierung
29
Stetigkeit von T :
Laut Satz 2.2 mssen wir zeigen: Fr jede kompakte Menge K M gibt es ein c 0 und ein m N,
u
u
sodass
D pM, Kq | T, | c pm pq
Zu einem gegebenen Kompaktum K und D pM, Kq whlen wir also gem obiger Konstruktion
a
a
unsere Mengen Ui und Funktionen . Setze nun
K : Tr p q Ui
Diese Menge ist kompakt und daher existieren nach Voraussetzungen Zahlen c
fr alle 1
u
D pUi
, K q
| Ti
0, m N sodass
| c pm pq
(3.4)
Ti ,
|Ui
looomooon
1
D pUi ,K q
1
k
(3.4)
c pm |U
c pm p q
(3.5)
Setze nun
m : max m
1,...,k
f ... p q
f x1 ...f xn
1
p q
c D D
pm p q
sup |D p q|
||m
||m
, N0 n
p q
pm pq
c sup D sup |D |
K
c sup D
K
||m
, pN0 qn ,
loooooooooooooooooomoooooooooooooooooon
:cI
womit insgesamt
| T, |
(3.5)
c pm p q
(3.7)
pm
c cI
1
looomooon
:c
8 Allerdings
9 Also
! :
ist dieser Abschnitt laut dem Dozenten selbst verdammt kompliziert und absolut unverstndlich!
a
n
k !,
i i 1in usw.
k 1
p q
(3.6)
, N0 n
(3.7)
30
4
4.1
Wir wollen in diesem Kapitel untersuchen, inwiefern sich Grenzwerte und der Begri Vollstndigkeit auf Disa
tributionen anwenden lassen.
4.1 Denition (Konvergente Folge von Distributionen):
Eine Folge pTi qiN in DpMq heit konvergent mit Grenzelement T DpMq, wenn fr alle D pMq gilt,
u
dass
/V
/ T,
Ti , i
Der Begri der Konvergenz von Distributionen lsst sich also mit dem der punktweisen Konvergenz von Funka
tionen vergleichen.
Analog schreibt man
/0
/ T :
T ,
/0
T, d D pMq
Beispiel 4.1:
Dann ist T
T , : T ,
pxqpxq dx
1. Setze zustzlich
a
q
pxq : pxq
q
p0 xqpxq dx p q p0q
q
q
Natrlich hat stets die gleichen Eigenschaften wie und daher gilt nach Satz 1.4:
u
T , p0q
/0
/ p0q 0 ,
Das zeigt
/0
d D pMq
/ 0
Beispiel 4.2:
1
/ C gegeben durch x
Sei Llok pRq fm : R
Tm durch Tm : Tfm , dann gilt fr D pRq:
u
| Tm , |
x exp 2imx dx
exp 2imx
I x
dx
2im
pq
partielle Integration
p q
pq
pq
K R
q|
expp2imxq
dx
I pxq
2im
|I pxq| dx
1
2m
p q
K R
c
2m
Tm ,
/V
/0
d D pRq
Tm
/V
/0
31
fm : R
/ R, fm pxq : mf pmxq, gm : R
/ R, gm pxq m2 g pmxq, n N
1 1
m, m
&
Tr gm
Das heit anders gesagt fr die punktweisen Grenzwerte der Funktionen fm sowie gm , dass
u
Tr
lim fm
t0u Tr
lim gm
/V
fm pxq dx
/ 0, gm
/V
mf pmxq dx
/0
f pxq dx 1
und damit
| Tf
fm x x dx 0
fm x dx
R
R
Rfm x x
0 dx
fm x dx
sup
x
0
rm1 xm1 s
V
looooooomooooooon
, p0q|
pq pq pq
p qp p q p qq
pq
p p q p qq
1
|x| m
looooooooooomooooooooooon
1
/V
m
m
pq
/V
/
/0
/0
Also Tfm
Aber auf der anderen Seite gibt es nach dem Satz vom Hut (Satz 3.1) ein D pRq, welches auf r1, 1s konstant
den Wert 1 annimmt. Fr dieses gilt dann:
u
Tg
,
m
gm pxqpxq dx
p qr1,1s
Tr gm
m2
fm pxq dx m
/V
/V
Also konvergiert die Folge von Distributionen pTgm qmN gar nicht, obwohl die Folge der gm wie oben gesehen
sehr wohl konvergiert (gegen 0).
4.1 Satz:
1
Sei pfm qmN eine Folge von Funktionen in Llok pMq und konvergiere pfm qmN punktweise fast uberall gegen f .
1
Existiere weiter eine Funktion g Llok pMq, so dass fr jedes m N gilt:
u
Dann ist f
1
Llok pMq und es gilt
Tfm
/V
/ Tf
32
Beweis:
Fr ein K pMq gilt natrlich fm
u
u
1
|fm | g Llok pMq fast uberall
und es folgt mit dem Satz von Lebesgue uber die dominierte Konvergenz, dass
f L 1 pMq
Per Denition heit das f
d K p Mq
1
Llok pMq und es folgt weiter
fm pxqpxq dx
f pxqpxq dx
d K pMq
Tf
/V
/V
Tf , d D pMq
/ Tf zeigt.
Bemerkung 4.1:
Man braucht fr den letzten Beweis nicht unbedingt so etwas esoterisches wie Integralgrenzen 10 , sondern kann
u
/
m
V / f lokal gleichmig konvergiert. Das stellt
zum Beispiel fm C pMq d m N fordern, sodass fm
a
/V
m
/ Tf .
dann schon die Stetigkeit des Grenzwertes bereit und es folgt Tfm
4.2
Wir zeigen nun, dass es sich bei dem so denierten T tatschlich um eine Distribution handelt.
a
Die Linearitt von T ist aufgrund der Linearitt der Limesbildung und der Ti sichergestellt. Wir mssen uns
a
a
u
also nur noch um die Stetigkeit von T kmmern.
u
Wir nehmen an, T sei nicht stetig. Dann gibt es eine Nullfolge pi qiN in D pMq, sodass T, i nicht gegen
0 konvergiert.
Das bedeutet, dass es ein c 0 und fr jedes j N ein ij N, ij j gibt, sodass
u
c
Wir whlen diese Teilfolge aus und benennen sie wieder in pi qiN um.
a
T, ij
Nun whlen wir rekursiv eine neue Teilfolge aus. Dafr sei i1 derart gewhlt, dass
a
u
a
sup |i1 pxq|
x M
10 Zitat,
Prof. Holdgrn
u
1
4
33
gilt. Sind die Indizes i1 , ..., ik1 schon gewhlt, so bestimmen wir einen Index ik
a
sup
| |k
x M,
|D i pxq| 41k
k
Dies ist mglich, da pi qiN eine Nullfolge in D pMq ist und daher gem Denition 2.1
o
a
sup
| |k
x M,
|D i pxq|
/V
ik
/0
gilt. Diese Folge benennen wir erneut in pi qiN um und erhalten eine Folge mit den folgenden Eigenschaften:
(1)
(2)
| T, i | c d i N
1
sup |D i pxq| 4 d || i
x M
Sei nun i
gilt
2i i . Dann handelt es sich bei pi qiN immer noch um eine Nullfolge, denn nach Eigenschaft (2)
sup |D i pxq| 2i sup |D i pxq| 2i
x M
x M
| T, i | 2i c i
Jetzt konstruieren wir induktiv Teilfolgen pT qj N von pTi qiN
j
derart, dass
| T
, k
k 1
| T
, j
/V
1
4i
1
2i
/V
|k d k N
(4.1)
j 1
T ,
j
k
2k1j
fr 1 j
u
k1
(4.2)
wobei wir die beiden leeren Bedingungen (leere Summe, bzw k 1 in Bedingung (4.2)) als trivialerweise erfllt
u
ansehen.
Dabei konstruieren wir wie folgt:
Fr k 1 ist die Eigenschaften (4.2) trivialerweise erfllt und wir whlen fr 1 einen Index, sodass
u
u
a
u
| T, | 1
1
|qiN wie oben gesehen divergiert. Anschlieend kann man 1 derart whlen,
a
| T , | 1
1
/V
j
/ T, ermglicht wird.
was durch die Denition von T in Form von Tj , 1
o
1
Seien nun bereits 1 1 .. k1 und 1 1 .. k1 gewhlt, sodass (4.1) und (4.2) erfllt sind. Whle
a
u
a
k k1 derart, dass (4.2) erfllt ist. Dies ist mglich, da man nur endlich viele Distributionen Tj betrachten
u
o
muss und pi qiN eine Nullfolge ist. Zustzlich knnen wir k so gro machen, dass
a
o
|looooooomooooooon|
T,
k
gilt. Wegen
k 1
T, k
(4.3)
j 1
T, rlim Tr , d 1 l k
V
l
ist es mglich, dass man nun k k1 derart whlt, dass (4.3) sogar fr Tk an Stelle von T erfllt wird. Diese
o
a
u
u
Wahl liefert nun auch die Identitten (4.1) und (4.2).
a
Fr festes pN0 qn und x M gilt dann
u
j 1
D j pxq
||1
D j pxq
j 1
loooooooomoooooooon
unbedeutend f r die Konvergenz
u
||
D j pxq
(4.4)
34
D j x
sup
xM
j ||
pq
sup D j pxq
j ||
x M
1
2j
||
Das heit, die Summe (4.4) konvergiert gleichmig und daher denieren wir
a
:
j 1
Dann gilt fr alle pN0 qn wegen der gleichmigen Konvergenz die Identitt
u
a
a
D j
j 1
und weiter ist Trp q komplett in einem Kompaktum enthalten, weil auch alle i ein Kompaktum fr ihre Trger
u
a
teilten (Denition einer Nullfolge in D pMq). Folglich ist D pMq und es gilt:
D j
j 1
m N
also
d pN0 qn
/0
gleichmig
a
j 1
N insbesondere
Tk ,
p q /
0
in D M
m N
/V
/0
j 1
da es sich nach Voraussetzung bei Tk um eine Distribution handelt. Gleichbedeutend dazu ist
Tk ,
Tk , j
dkN
j 1
| T
k1
, j
j 1
|ab|||b||a||
, j
j 1
| T
, k
k1
, k
, j
j k 1
, j
j 1
, j
j k 1
| T
, k
k1
, j
| T
j 1
, j
k
j k 1
, k
, j
k
(4.1)
j k 1
|
, j
j 1
| T
k 1
j k 1
j k
2
2j k
j 1
k1
j k 1
2j k
(4.2)
p T
35
/V
/
T, C
steht.
Bemerkung 4.2:
Man kann den letzten Satz auch mithilfe des Satzes von Banach-Steinhaus beweisen. Dieser ist an und fr
u
sich erst einmal nur fr Banachrume anwendbar, man kann ihn aber derart verallgemeinern, dass er auch in
u
a
unserem Fall anwendbar ist. Dazu verweisen wir auf den Anhang A.1.
36
5 Multiplikation
Und dann vor ungefhr 80 Jahren hatte Schrdinger diese tolle Idee, die mir leider bis heute absolut unklar ist.
a
o
Michael Miesener
Multiplikation
Sei wie immer M Rn oen und nicht leer. Wir wollen in diesem Abschnitt untersuchen, unter welchen
Bedingungen man Distributionen mit Funktionen multiplizieren kann und inwiefern sich die entsprechenden
Eigenschaften natrlich von der Multiplikation zweier Funktionen f und g auf die Multiplikation der Funktion
u
g mit der Distribution Tf welche aus f entsteht ubertragen.
Tgf ,
Die nchste Idee wre, die Funktion g zu zu schieben und dann g als neue Testfunktion zu betrachten.
a
a
Dazu brauchen wir oenbar die Voraussetzung g C V pMq. In diesem Fall gilt
Tgf ,
5.1 Denition:
Sei T DpMq und g
Tf , g
/ C durch
Wir haben oben schon festgestellt, dass fr g C V pMq und D pMq insbesondere g g D pMq
u
ist. Daher ist die obige Paarung wohldeniert. Uber die Stetigkeit der Abbildung g T gibt der folgende Satz
Auskunft:
5.1 Satz:
Fr g C V und T
u
Beweis:
Die Linearitt von g T ist per Denition oben klar. Zu zeigen bleibt also nur die Stetigkeit.
a
Sei dazu pi qiN D pMq eine Nullfolge. Es bleibt zu zeigen, dass auch
g i
gilt. Oenbar gilt fr alle i N, dass
u
p q
, N0 n
/V
/ 0 in D pMq
Tr pg i q Tr pi q K
|D pg i q|
sup |D i pxq|
sup D g pxq
xK
looooooomooooooon
x K
looooooomooooooon
/V
/ 0 da pi qiN
fr alle Multiindizes pN0 qn . Daher ist pg i qiN eine Nullfolge in D pMq und es folgt
u
g T, i
was die Behauptung zeigt.
T, g i
/ V0
/
p q
Nullfolge in D M
5 Multiplikation
5.0.1
37
Rechenregeln
pg1 g2 q T g1 T g2 T
g pT1 T2 q g T1 g T2
pg1 g2 q T g1 pg2 T q
1T T
Daher bilden die Distributionen DpMq einen C V pMq-Modul.
Algebra ist nix!
Prof. Dr. Holdgr n
u
5.1
Beispiele
Beispiel 5.1:
Sei M R und T
g 0
loomooqn 0
g p0
C
t0 : g 0
0
Stellen wir uns 0 anschaulich als Funktion vor (das wre dann H I aus (0.1)), so stellt man fest, dass 0 an
a
0 R nur sehr langsam gegen V luft.
a
5.2 Denition:
Sei T D I pRq und g ptq t fr t R. Oenbar ist g
u
Beispiel 5.2:
Wir betrachten T
&
1$
1
t
,
t
wie in Beispiel 2.2 eingefhrt. Hier ist wieder M R und es gilt fr jedes D pMq:
u
u
&
1
, t
t
ptq dt
ptq dt
&
t
was wir auch erwartet htten.
a
Man beachte aber, dass mit Beispiel 5.1 z.B.
&
1
t
0 t
ptq dt
ptq dt T1 ,
1
1
t
&
1
t
t 0 1 0 1
1
1$
t
pt T q 0 1 0 0 $ 0 T 0 T pt 0 q
Wollen wir also die Multiplikation unter der Rckidentikation Tf f zulassen, so ubertrgt sich die gewhnu
a
o
38
5.2
5 Multiplikation
In diesem Abschnitt wollen wir Gleichungen bezglich Distributionen lsen. Wir nehmen dazu zunchst stets
u
o
a
M R (also n 1) und 0 M an.
5.1 Lemma:
Sei M R und 0
alle t M gilt:
M. Sei auerdem D pMq mit p0q 0. Dann gibt es genau ein D pMq sodass fr
u
t ptq ptq
Ist auerdem pi qiN eine Nullfolge in D pMq mit i p0q 0 d i N und ist i
t M und i N, so gilt auch
/V
i
/ 0 in D pMq
i
Beweis:
Zunchst setzen wir auf ganz R durch 0 fort. Ursprnglich hie die entstehende Funktion , wir unterscheiden
a
u
aber im Weiteren nicht zwischen und sondern nutzen nur die Bezeichnung . Wir setzen dann
ptq :
I ptxq dx
Da r0, 1s kompakt ist und als beliebig oft dierenzierbar vorausgesetzt wurde, drfen Integration und Difu
ferentiation vertauscht werden und es gilt C V pRq. Die Substitution tx : y, dx 1 dy liefert nun die
t
Ausrechnung11
ptq
I ptq
1
dy
t
p
1 pptq p0qq t tq
t
Das zeigt
Tr p q Tr pq t0u M
pn1q ptxq dx
pnq
i ptq xn i
0
pn1q
Da die Ableitungen i
fr jedes feste n mit i
u
dem Integral vertauscht werden und es folgt
pnq
/ 0 in D pMq
(5.1)
c 0
Beweis:
Sei 0 D pMq mit 0 p0q 1 fest. Fr beliebiges D pMq schreibe nun
u
p0q 0
fr ein oenbar eindeutig bestimmtes
u
sodass
11 Wortschpfung
o
D pMq mit p0q 0. Nach Lemma 5.1 oben gibt es ein D pMq
t ptq ptq
dtM
5 Multiplikation
39
Eindeutigkeit:
Fr alle T
u
T, 0
:CT
T,
T, 0
loomoon
T, t
p0q CT
tT,
CT 0 , S,
Das zeigt die Eindeutigkeit in der Art und Weise, wie sie behauptet wurde (bis auf Faktoren c 0 , c C).
Existenz:
Wir denieren T durch
T, : S,
Dann gilt
tT,
und da zu t oenbar CT
T, t
S, loCTon 0
omo
0
S,
Das zeigt tT S.
Wir mssen also lediglich zeigen, dass T eine Distribution ist. Nach Denition oben ist
u
tp0q0
und das hngt linear von ab, weshalb auch T linear ist.
a
Sei nun pi qiN eine Nullfolge in D pMq. Nach Konstruktion oben gilt dann auch
i
und laut Lemma entsprechend i
i i p0q 0
i
/V
T, i
/V
/ 0 in D pMq
S, i
/V
/0
Wir wollen hier zunchst auf eine triviale Rechenregel fr die Einschrnkung von Distributionen hinweisen:
a
u
a
Korollar 5.1:
Sei N M Rn oen und f
1
Llok pMq. Dann gilt
Tf |N
Tf|
Folgerung 5.2:
1
Sei 0 M R und f Llok pM z t0uq. Es gebe ein m N mit g
gibt es ein T DpMq, sodass
T|M zt0u Tf
12 Nat rlich
u
tm , t M stehen.
1
tm f Llok pMq12 und g p0q beliebig. Dann
40
5 Multiplikation
Beweis:
Wir setzen S : Tg und lsen mittels Folgerung 5.1 die Gleichung
o
tm T
S
Dann gilt:
tm T|M zt0u
S|M zt0u
Tg |M zt0u
Ttm f |M zt0u
Korollar 5.1
Tf
|f ptq|
1
c m
t
fr kleine t gilt.
u
Diese Voraussetzung ist oenbar strker als unsere Annahme.
a
Wir wollen nun noch zeigen, dass man das Teilen durch tm aus Folgerung 5.1 auch auf einen Schlag erledigen
t
t
1
m1 pmq
piq p0q
pm 1q! pt xq pxq dx
i!
i0
0
m 1 i
Whle nun 0
a
t
1
m1 pmq
m
piq p0q
pm 1q! t p1 yq ptyq dy
i!
i 0
0
loooooooooooooooooooooooomoooooooooooooooooooooooon
:tm ptq, D pRq
m 1 i
tm ptq ptq
t
piq p0q 0 ptq
i!
i0
m 1 i
(5.2)
und entsprechend sind die ersten m 1 Ableitungen an t 0 des Ausdrucks (5.2) identisch 0.
Jetzt deniert man T, : S, , erhlt wie oben durch nachrechnen tm T S und muss lediglich zeigen,
a
dass es sich bei T um eine Distribution handelt.
5 Multiplikation
41
5.3
Verschiebung
5.3 Denition:
Seien M Rn und N Rm oen. Eine Abbildung
: D pMq
/ D pNq
:M
ein C V -Dieomorphismus. Ist
r-Multilinearform:
Dr f : M
Dabei ist dann entsprechend
/ Homr pRn , Rm q
fr f paq
fxi ...fxi
1
Der Satz von Schwarz sagt uns, dass D f paq symmetrisch ist, und daher ist Dr f paq wegen char pRq 0 bereits
eindeutig durch die Werte
r mal
l 0
j1 ,...,jl 1
j1 ... jl r
1
r!
Dl pbq Dj1 paq , ..., Djl paq
l! j1 ! ... jl !
l 0
j1 ,...,jl 1
j1 ... jl r
1
r!
Dl pbq Dj1 paq uj1 , ..., Djl paq ujl
l! j1 ! ... jl !
}Dr p q paq }
l 0
j1 ,...,jl 1
j1 ... jl r
1
r!
}Dl pbq } }Dj1 paq } ... }Djl paq }
l! j1 ! ... jl !
(5.3)
42
5 Multiplikation
5.4 Satz:
Ist : M
/ D p Mq ,
f
fu
D Du Du D
Bemerkung 5.3:
/ N ein C V -Dieomorphismus oener Teilmengen M, N Rn und ist f
Ist : M
f
1
Llok pNq, so ist oenbar
1
Llok pMq
Das folgt zum Beispiel aus der allgemeinen Transformationsformel fr das Lebesque-Integral.
u
5.4 Denition:
/ N ein C V -Dieomorphismus fr oene Teilmengen M, N Rn . Sei auerdem T
Sei : M
u
denieren wir T D I pMq durch
T
wobei det D
, :
T, det D1 1 , D pMq
D I pNq. Dann
(5.4)
Da ein C V -Dieomorphismus ist, ist det D1 $ 0 und daher ist auch der Betrag der Jacobi-Determinante
eine C V -Funktion, womit T wohldeniert ist. Dass es sich wiederum um eine Distribution handelt, haben
wir in Satz 5.4 schon gesehen.
Der folgende Satz sagt uns, dass diese Denition Sinn macht:
5 Multiplikation
43
5.7 Satz:
1
Ist f Llok pNq und : M
Tf
(5.5)
Beweis:
Sei D pMq. Durch Dierenzieren der Gleichung
1 idM
(5.6)
Damit gilt:
Tf
Tf , det D1 1
f py q det D1
pyq
1 py q dy
Trafo-Formel
pxq det
(5.6)
dx
f p pxqq pxq dx
Tf ,
idR
/ Rn , x x a
Folgerung 5.4:
1
Sei a M und f Llok pM ztauq. Gebe es weiter ein m N, sodass die Abbildung x f pxqpx aqm ein Element
1
aus Llok pMq darstellt. Dann gibt es ein T DpMq, sodass
T|M ztau
Tf
Beweis:
Diese Folgerung stellt ein direktes Korollar zu Folgerung 5.2 dar. Man verwendet natrlich a , um die in
u
Folgerung 5.2 gegebenen Voraussetzungen zu erfllen.
u
5.8 Satz:
1
Sei M R oen und A M eine abgeschlossene Menge ohne Hufungspunkte. Sei weiter f Llok pM zAq so
a
ma
gegeben, dass es fr jedes a A ein ma derart gibt, dass x f pxqpx aq
u
in einer Umgebung von a lokal
integrierbar ist. Dann:
h T DpMq : T|M zA Tf
Bemerkung 5.4:
Ist die Menge A abgeschlossen und ohne Hufungspunkte in M, so gibt es fr jedes a
a
u
Umgebung Ua derart, dass
A eine in M oene
Ua A tau
Beweis:
Wir denieren:
dann stellt das System tU | A tAuu ein oenes Uberdeckungssystem von M dar und wir denieren
(5.7)
44
5 Multiplikation
TA : Tf ,
D I pUa q als die Distributionen, die uns von Folgerung 5.4 gegeben werden.
Dann gilt fr die Schnittbereiche U U U , $ A tAu wegen (5.7), dass (fr $ A)
u
u
U U M U M zA
Ta
(5.8)
also
(5.8)
T |U
T |M zA
Folgerung 5.4
Folgerung 5.4
(5.8)
Tf |U
T |M zA
T |U
|U
|U
Weil nun die U ein oenes Uberdeckungssystem bilden und die darauf denierten Distributionen T auf den
Schnitten ubereinstimmen, haben wir die Voraussetzungen fr Satz 3.5 erfllt und erhalten eine Distribution
u
u
T DpMq, sodass
T|U T d A tAu
womit direkt folgt, dass
T|UA
T|
M A
TA Tf
6 Dierentiation
45
6
6.1
Dierentiation
Intuitive Herleitung eines Ableitungsbegries fur Distributionen
n
an x M heit, wenn f fr hinreichend kleine h R folgende Identitt erfllt:
u
a
u
/0
h
/0
f ph hq f pxq
looooooooomooooooooon
f h pxq
f schiebt. Es ist aber immer M oen und x damit ein innerer Punkt von M Rn . Wir nden also einen
Beobachtung 6.1:
Stetigkeit von f bedeutet also punktweise Konvergenz von f
h gegen f fr h
u
/ 0.
h T
/0
Beweis:
Wir rechnen fr ein D pMq nach:
u
T h T, T h , T,
T, h 1 T,
T, h
/ 0 fr jede Nullfolge pn q in D pMq. Also haben wir die Behauptung gezeigt,
u
Wir wissen, dass T, n
/0
h
/ 0 d D pMq in D pMq.
wenn wir beweisen, dass h
Es gilt dafr:
u
D p h q
h
D p hq D pq
D h D
D h D h D
loomoon
/0
/
idM
Im letzten Schritt haben wir ausgenutzt, dass D pMq C V pMq, also, dass D stetig ist fr beliebiges Nm .
u
0
Die Stetigkeit von Distributionen motiviert nun natrlich die Einfhrung von Richtungsableitungen von Disu
u
tributionen analog zur konventionellen Analysis. Wir werden dies nun einfach naiv tun und im nchsten
a
46
6 Dierentiation
fT tlim T tu T
fu 0
t
6.2
th T ,
T,
th
t
f px tuq
fu
(6.1)
/ R. Dann gilt
und der Zhler des Bruches in 6.1 lsst sich darstellen durch
a
a
hptq hp0q
hI psq ds
s ty
hI pty q dy
0
1
t
0
f px tyuq dy
fu
f px tyuq dy
fu
tu
p xq
t
f px tyuq dy
D
fu
ffu D px tyuq dy
alles stetig
/0
Damit ist
tu
t
Damit gilt
T,
und es folgt fr beliebige D pMq
u
f
fu
tu
t
f pxqp1 0q
D
ffu
/0
/0
14 Wir haben verwendet, dass glatt und mit kompakten Trger und damit gleichmig stetig ist. Folglich konnten wir den
a
a
/ 0 mit der Integration vertauschen!
Grenzwert t
6 Dierentiation
47
fT ,
fu
T, f
fu
Folgerung 6.1:
Es gilt
n
Sei Nn , dann ist D T : De11 . . . Den T induktiv deniert, weil die Testfunktionen beliebig oft stetig
0
dierenzierbar sind. Es gilt:
D T, p1q|| T, D
6.3 Satz:
Es folgen oensichtlich die folgenden Rechenregeln:
D T D D T d, Nn
0
/ DpMq, T D T ist linear.
D : DpMq
f C V p Mq D p f T q
D f D T
(1) D D T
(2)
(3)
Bemerkung 6.2:
Die letzte Identitt gilt, weil Du pf T q Du f T f Du T du Rn , dT
a
direkt aus der Produktregel der normalen Dierentialrechnung folgt.
6.4 Satz:
Sei Nn und sei f
0
Bemerkung 6.3:
1
Es wird gezeigt, dass fr ein f Llok pMq und ein festes u Rn , sodass f in Richtung u dierenzierbar ist,
u
f f L 1 pMq und sowohl f als auch f f in Richtung stetig ist, also
lok
fu
fu
t f px tuq, t
gilt, dass
f
fu f px tuq stetig an 0
f T Tf
fu f f f
u
Beweis:
Ohne Beschrnkung der Allgemeinheit nehmen wir an, dass u
a
f pxq x Tr f
0
sonst
48
6 Dierentiation
f
fe1 f pxqpxq dx
M
ff pxqpxq dx
Rn
f e1
ff
n1
R
part.Int.
p q
Cc M
V
1
R
Tf , ffx
1
V
Fr ein beliebiges u whlen wir nun eine orthogonale Transformation, die u auf e1 dreht. Dann ist die
u
a
d Nn :
0
/ D T
D Ti
Bemerkung 6.4:
Man beachte, dass hier in keiner Weise eine besondere Art der Konvergenz wie im Falle dierenzierbarer Funktionen gefordert wird!
Beweis:
Es gilt
D Ti ,
i
/V
/
p1q|| Ti , D
p1q|| T, D
D T,
Beispiel 6.1:
Sei wie am Anfang konstruiert, dann haben wir bereits gesehen, dass T
damit
/0
/ D 0
TD D T
Notation 2:
/ R gelte folgende Notation:
Fr f : R
u
Beispiel 6.2:
Wir betrachten f pxq
x
0
T I : D1 T
x0
, dann gilt
x0
I
Tf
FfI TH
/0
6 Dierentiation
49
TfI ,
Tf , I
xI pxq dx
part.Int.
V pxq dx
xpxq|0
V
hpxqpxq dx
Th , d D pMq
I
Tf Th
Beispiel 6.3:
Wir rechnen nach, dass
V
V
Beispiel 6.4:
Wieder rechnen wir
I
0 , , I I p0q
I
t0 ,
6.6 Satz:
Sei f1
I
0 , t
d
dt ptq
t0
p0q 0
0 ,
I
t0 0
C 1 ppV, asq und f2 C 1 pra, Vqq mit einem festen a, dann denieren wir
6
8 f1 pxq x a
f2 pxq x a
f pxq
7
bel.
xa
und
f I pxq
Dann gilt
I
Tf
6
I
8 f1 x
pq
f I pxq
7 2
bel.
xa
xa
xa
I
Th
0
50
6 Dierentiation
Beweis:
Wir betrachten g f c H a fr die Heavisidefunktion H, dann ist g pxq f pxq c. Also ist g gewissermaen
u
das stetig zusammengeklebte von f1 und f2 und es gilt f I g I auf R ztau und wir rechnen nach:
TgI ,
g I pxqpxq dx
I pxqpxq dx gI pxqpxq dx
g
a
a
g pxqI pxqV
part.Int.
g pxqI pxq dx
Damit folgt
Tf I
TgI , d D pMq
I
TgI TgI pTf cH qI TfI cTH TfI ca
a
f ptq
t
0
t0
t0
f I ptq
Dann gilt:
I
T
mit C,
t1
0
pq 1
t0
t0
T1
Beweis:
Sei D pMq beliebig, dann gilt:
I
T ,
T , I
t I ptq dt
lim
0
part.Int
t I ptq dt
V
lim t t
pq
lim pq
t1 ptq dt
Vt1 dt
t1 p0q dtqp0qp1 q
(6.2)
(6.3)
und
pq 1
6 Dierentiation
51
I
T ,
lim pq
p p q p0qq dt
p p q p0qq dt
p p q p0qq dt
p q 0
Beispiel 3.3
t1 ptq dt p0q
t1 ptq dt
t t
1 lim
t1 t
lim
Vt1 dt
t1 t
lim
6.3
lim t1 t
6.2
p p q p0qq dt
p0q
t ptq dt
p0q
1
p 1q T ,
T1 ,
Beispiel 6.7:
Sei B : tx Rn | }x}2 1u die abgeschlossene Einheitskugel im Rn . Sei auerdem f einmal stetig dierenzierbar auf B. Dann haben wir oben schon gesehen, dass
pDi Tf q| TpD f q|
i
fr i 1, ..., n gilt. Wir wollen uns nun fragen, was auf dem Rand von B passiert. Sei dazu i 1. Wir denieren
u
eine Dierentialform durch
: f dx2 dx3 ... dxn n1 pB q
Fr D pRn q gilt dann
u
d p q
Bekanntlich ist
d pf q
f pf q dx
f xi i
i1
n
f pf q dx dx ... dx
2
n
f xi i
i1
p
f ff q dx1 dx2 ... dxn
x1
f f ff dx ... dx
fx
1
n
fx
Tf , ffx
1
ff f f dx ... dx
n
f x1 f x1 1
d p q
fB
pq|f
52
6 Dierentiation
Das liefert
f
fx1 Tf ,
/ C,
T ff
fx1
fB
f
f x1
, p q|f
Tf ,
fB
pq|f
TD f S
1
erfllt.
u
In diesem Fall entstehen die Randterme also nicht in Form von -Distributionen, sondern gleich als Randintegrale.
6.7 Satz:
Sei M Rn oen, seien f, g
ff g
f xi
Beweis:
Sei a M fest. Whle ein
a
0, sodass
B2 paq M
x B paq
0
Tr p q B p0q
pxq dx 1
B pxq B2 paq
/ f auf B paq
Rn
gleichmig
a
pf q pxq 15
f py q px y q dy
q
f py q py xq dy
f py q x py q
q
Wir haben schon gesehen, dass man in der Faltung die Ableitung auf einen beliebigen der beiden Terme schieben
kann. Daher gilt also
Di pf q pxq
f py q pDi q px y q dy
~
f py q Di x py q dy
looooomooooon
Testfunktion!
15 Der
Einfachheit halber wollen wir hier das Integrationsgebiet nicht mitschreiben. Nach Wahl von und sind all diese Integrale
M.
wohldeniert und der tatschliche Integrationsbereich ist irgendein U mit B a
a
U
B2 a
p q
p q
6 Dierentiation
Da
53
f D D p q f p px yqq
~
i q
x
fyi x i x
fyi
~
Tf , Di x
Tf , Di p x q
q
Di Tf , x
q
Voraussetzung
Tg , x
|
wie oben
pg q pxq
Das zeigt
Di pf q g
und wegen der gleichmigen Konvergenz f
a
gleichmig
a
/ g in B paq
0 /
f folgt die Behauptung.
54
7 Stammfunktionen
7
7.1
Stammfunktionen
Der eindimensionale Fall
Sei hier stets M R, also n 1. Meistens werden wir so oder so nur den Fall M R betrachten.
7.1 Denition:
Sei T DpMq. Eine Distribution S
gilt.
Man stellt sich jetzt ganz kanonisch zwei Fragen: Hat jede Distribution eine Stammdistribution und wie weit
ist diese eindeutig bestimmt? Wegen
SI
T d D p Mq :
S, I
SI,
D D pMq : I | D pMq
T,
(7.1)
ist eine Stammdistribution S von T also durch die Gleichung (7.1) bestimmt.
7.1 Lemma:
Es ist
D D p Rq
6
8
D R t dt
p q
D
F
p q 0E
Beweis:
Sei I mit einem
ptq dt
lim
I ptq dt
a
pxq :
ptq dt
ptq dt
und daher ist Tr p q kompakt. Aus der Analysis I wissen wir bereits, dass
Folgerung 7.1:
Sei T1 die Distribution zur Funktion t 1, t R. Dann gilt
D D pRq ker pT1 q
Bemerkung 7.1:
Die Dierentiationsabbildung
D : D pRq
ist bijektiv.
/ D D pRq , I
(7.2)
7 Stammfunktionen
55
Beweis:
Die Abbildung ist nach Denition von D D pRq surjektiv. Um die Bijektivitt zu zeigen sei D pRq mit I
a
Dann ist konstant und da D pRq kompakten Trger hat muss 0 gelten.
a
0.
Bemerkung 7.2:
Beachte weiter, dass die Umkehrung der Dierentiationsabbildung (7.2) gegeben ist durch
D1 :
ptq dt
und das sowohl D als auch D1 oenbar stetig und linear im Sinne von Denition 5.3 sind.
Whle nun ein 0
a
T1 , 0
0 pxq dx 1
gilt.
Aus der linearen Algebra wissen wir, dass und das eine Zerlegung des Raumes
D pRq C 0 D D pRq
liefert, da die Kodimension des Kerns einer linearen Abbildung aus einem C-Vektorraum nach C nur 1 sein
kann. Genau diese Zerlegung nutzen wir im folgenden
7.1 Satz:
Sei T D I pRq, 0
D pRq mit
T1 , 0
1. Deniere A : D pRq
A, pAqpxq
Dann wird durch
p ptq
/ D pRq durch
T1 , q 0 ptqq dt
S, : T, A , D pRq
c T1
fr ein geeignetes c C.
u
Beweis:
Um zu zeigen, dass S tatschlich eine Distribution ist, mssen wir nur die Linearitt und die Stetigkeit von A
a
u
a
nachprfen.
u
Die Linearitt von A ist oensichtlich.
a
Sei pi qiN eine Nullfolge in D pRq. Dann gibt es ein a 0 sodass sowohl Tr pi q
als auch Tr p0 q ra, as. Die Denition von A zeigt dann
ra, as fr alle i N
u
sup |Ai pxq| 2a sup |i pxq| 4a2 sup |i pxq| sup |0 pxq|
x R
x R
x R
x R
Eine ganz analoge Abschtzung erhlt man fr die Ableitungen pAi q mit Termen in i
a
a
u
auf der rechten Seite. Das zeigt dann, dass pAi qiN ebenfalls eine Nullfolge in D pRq ist.
n
I
aus der gegebenen Denition von A und der gewhnlichen Dierentiationsregel fr solche Integrale (vergleiche
o
u
etwa Analysis I, Hauptsatz der Dierential- und Integralrechnung). Damit ist dann
SI,
S, I
Denition von S
T, A I
T,
56
7 Stammfunktionen
pAqI T1 , 0
Betrachte nun S S1 S2 D I pRq. Dann ist S I 0 und daher folgt
0
S I , A
S, pAqI
(7.3)
S, T1 , S, 0
(7.3)
loomoon T1
S, 0
: c
Beweis:
I
Im letzten Satz wurde gezeigt, dass S1
der Dierentiation
I
S2
S1 S2
I
I
pS1 S2 qI S1 S2 0
7.2
Sei n 2 und sei M I M0 Rn oen mit einem oenen Teilintervall I R und einer anderen oenen
Menge M0 Rn1 .
Wir wollen uns dem Problem widmen, dass ein T DpMq gegeben und ein S DpMq mit
D1 S
T
gesucht ist. Wie oben im eindimensionalen Fall wre dabei eine Beschreibung des Raumes
a
D 1 D p Mq
hilfreich.
Notation 3:
Seien M, N zwei Mengen und f : M
/ C die Funktion
M N
Whle nun zunchst ein 0
a
a
D pI q mit
f | D pMqB
f x1
/ C, g : N
/ D pMq durch
pt, , ..., q dt
K1 K2
K1 I
kompakt,
7 Stammfunktionen
57
Beobachtung 7.1:
Es gilt
Tr pAq pK1 Tr p0 qq K2
K fr alle i N
u
Tr pAi q ra, bs K2
fr alle i N. Sei jetzt p1 , ..., n q pN0 qn ein Multiindex. Wir unterscheiden zwei Flle:
u
a
1
0
pD i q pt, , , ..., q dt
Entsprechend ist
sup |D pAi q pxq| sup |D i pxq| pb aq sup |D i pxq| sup |0 pxq|
x M
x M
x M
x M
I
D i pt, , , ..., q dt
In beiden Fllen geht die rechte Seite der Abschtzung nach Denition einer Nullfolge in D pMq gegen 0, womit
a
a
/ V gegen 0 geht.
auch fr jedes pN0 qn der Ausdruck D pAi q gleichmig mit i
u
a
7.2 Hilfssatz:
Auf D pMq gilt A D1
(7.4)
erfllt.
u
Beweis:
Sei I ra, bs. Da D pMq kompakten Trger hat, gilt stets
a
tb
0.
6
8
7
D M t, x2 , ..., xn dt
p q
D
F
q 0E
Beweis:
Diese Richtung geht schon aus dem Beweis des obigen Hilfssatzes hervor.
58
7 Stammfunktionen
Sei wieder I
pt, x2 , ..., xn q dt 0
x
1
pt, x2 , ..., xn q dt
x1
Durch diese beiden Darstellungen von sieht man bereits, dass Tr p q kompakt ist, da Tr pq kompakt
ist. Aus der Analysis I wissen wir bereits, dass C V pM0 q mit D1 gilt.
Bemerkung 7.3:
Es gilt auch
| A u
Beweis:
Obiges Lemma 7.2 zeigt nach Denition von A schon
D1 D pMq t D pMq
| A u .
t D pMq | A u impAq
klar. Sei nun impAq. Dann ist A 0 pt, , ..., q dt und es gilt
I
pt, x2 , ..., xn q dt
pt, x2 , ..., xn q dt
0 ptq dt
I
loooomoooon
pt, x2 , .., xn q dt
0
1
impAq D1 D pMq
px1 , ..., xn q
x
1
pt, x2 , ..., xn q dt
pt, x2 , ..., xn q dt
x1
7.3 Lemma:
Die Abbildung B ist wohldeniert, stetig und linear.
Beweis:
Es ist klar, dass D pMq liegt, ebenso ist die Linearitt von B klar. Um die Stetigkeit zu zeigen geht man
a
ganz genauso vor wie fr den Operator A.
u
Beobachtung 7.2:
Man sieht direkt aus der Denition, dass
BD1
idD pMq
und D1 B
idD
p q
D M
gelten.
7.4 Lemma:
Die Abbildung C : D pMq
(7.5)
7 Stammfunktionen
59
Beweis:
Der Beweis vollzieht sich ganz analog zu den Operatoren A und B.
Beobachtung 7.3 (Rechenregeln):
Man beobachtet aus den Denitionen schnell folgende Rechenregeln fr A, B und C:
u
(1) Es ist C D1
0
A 0 pCq
0 ptq dt 1
T
(2) Ist S
Beweis:
(1) Sei S
DpMq wiefolgt durch die Bilder auf den Testfunktionen D pMq deniert:
S, : T, BA also S T BA
/ D1 D pMq16 , B : D1 D pMq
/ D pMq.
mit den Abbildungen A : D pMq
Dann gilt fr ein beliebiges D pMq:
u
D1 S, S, D1
T, BAD1
7.4
T, BD1
7.5
T,
D1 S T
(2)
Dann mssen wir nun zeigen ,dass T0 auf eine Distribution ist. Wegen der Linearitt der Multiplikau
a
tion aber ist die Abbildung 0 linear und als Multiplikationsoperator mit einer Testfunktion
auch stetig. Also ist T0 D I pM0 q und wir rechnen nach:
T0 , C
Bem.7.3
Beob.7.3.3
16 hier
S, 0 C
S, A
S, S, A
S, S, D1
S, loomoon 0,
D1 S
S,
60
7 Stammfunktionen
D1 S
0
Folgerung 7.2:
n
i 1
D T
Beweis:
Es gilt fr T
u
0 fr 1 n hc C :
u
cDi
c
I1
c
c
Damit ist D1 T
pi
IIn Ii
f
p
fxi px1 , . . . , xn qdxi dpx1 , . . . , xi , . . . , xn q
I1
pi
IIn
Ipi In
b
i
p
px1 , .., xn q|xi a dpx1 , . . . , xi , . . . , xn q
I1
n1
cT1
Di T, T, Di
0dpx1 , . . . , xi , . . . , xn q
p
0.
/ n Es gilt D1 T
D T0 , C
17 Dies
T0 , D C
T0 , CD
T, D
D T,
0
ist mglich, weil der Trger von kompakt ist. Er liegt also komplett in einem Kreuzprodukt aus abgeschlossenen
o
a
Ii
rb, as Ii
7 Stammfunktionen
61
hcC:
T0
cT1
und
T, T0 , C
cT1 ,C
c
Cpx2 , . . . , xn qdpx2 , . . . , xn q
I2
c
I2
In
In I1
pxqdx
cT1 ,
womit die Behauptung gezeigt wre.
a
Beispiel 7.1:
Sei M R und T
Tf ,
Beweis:
Diese Richtung ist trivial.
Der Beweis verluft per Induktion: der Induktionsanfang ist klar mit Folgerung 7.2.
a
Es ist nun
Folg7.2
0 Dm T DpDm1 T q Dm1 T c0 T1
damit gilt
DpDm2 T
c0 Tid q
m 1
D
T c0 T1
loooooooomoooooooon
D m1 T
0
pmc1q! Tttm1 q
0
62
8
8.1
Sei I
(8.1)
j 1
I
yi pxq
(8.2)
j 1
Notation 4:
Hug beschreibt man ein Anfangswertproblem in der sogenannten Matrixform. Hierbei werden die Abbildungen
a
/ Matpn, n, Cq, die Abbildungen bi zu einer vektorwertigen
ai,j zu einer matrixwertigen Abbildung A : I
/ Cn und die Nebenbedingung c1 , .., cn zu einem Vektor c Cn zusammengefasst.
Abbildung b : I
Dann wird nach einem Vektor y von C 1 Funktionen gesucht, der folgende Identitten erfllt:
a
u
5
y I pxq
y px0 q
(8.3)
y I pxq
y px0 q
Apxqy pxq
e
i 1
ebenfalls das gleiche Anfangswertproblem (8.3), was wegen der Eindeutigkeit impliziert, dass
y
i 1
i y i
i 1
i y i
63
es sind y 1 , .., y n an jedem x I linear unabhngig. Daher ist die Matrix Y : py 1 , . . . , y n q nicht nur stetig
a
dierenzierbar, sondern auch in jedem Punkt x I invertierbar und es gilt Y px0 q En .
8.2
Tb1
T1
.
. D I pI qn , sodass fr A pai,j q Matpn, n, C V pI qq und b .
u
Finde einen Vektor T .
.
.
Tbn
Tn
folgende Identitt gilt:
a
TI
AT b, also TiI
ai,j Tj
j 1
Tb
C V pI q, sodass Ti Ty
und Ay
T1
.
I
. D I
.
yI .
p qn von T I AT
Tn
Beweis:
Sei Y das Fundamentalsystem im klassischen Sinne. Dann ist Y Y 1
En und damit
d
d
0 En pY Y 1 q Y I Y 1 Y pY 1 qI ,
dt
dt
also
Sei nun T
pY 1 qI Y 1 Y I Y 1
(8.4)
T1
. D I pI qn eine Lsung im Sinne der Distributionen. Dann bildet man
.
o
.
Tn
S1
.
. S
.
Y 1 T
also Si
SI
Yi,j1 Tj und T
YS
i 1
Sn
und rechnet nach:
(8.4)
Y I AY
pY 1 qI T Y 1 T I
Y 1 Y I Y 1 T Y 1 T I
Y 1 AY Y 1 T Y 1 AT
Y 1 AT Y 1 AT
0
c1 T1
. , was mit obiger Gleichung bedeutet, dass
.
.
cn T1
c1 T1
. I n
T Y . D pI q
.
cn T1
j 1
j 1
a1,j cj T1
.
.
.
an,j cj T1
64
S1
.
b S . D I pI qn
.
T1
Sn
.
I
. D I
.
Tn
Beweis:
Sei Y wieder das Fundamentalsystem im klassischen Sinne. Dann ist
Y 1 S
D I pI qn .
Man ndet nun nach dem letzten Satz und dem Satz uber die Existenz von Lsungen im klassischen Sinne einen
o
Y 1 S
(8.5)
Y T D I pI qn
dann ist
XI
pY T qI
Y IT Y T I
8.5
AY T Y Y 1 S
AY T S
AX S
y
yI
I
0
1
b a
y
yI
0
g
Also haben wir ein System linearer Dierentialgleichungen erster Ordnung gefunden, was auf I eindeutig lsbar
o
ist.
Folglich nden wir auch fr a, b C V pI q, g D I pI q eine Distributionslsung T D I pI q, sodass
u
o
T P aT I bT
g
Seien nun g 0 und I R gegeben und wir suchen eine Distribution T , die obiger Gleichung gehorcht und
folgende Bedingung erfllt:
u
T|pV,0q 0
Sei dafr f
u
deniert:
/ C wie folgt
I
Tg
TP
g
TgI
T II
g
p0 0q0
TgP p1 0q0
18 Dieses f ist eindeutig bestimmt, weil wir hier mit einer linearen Dierentialgleichung 2. Ordnung umgehen, sodass zur Eindeutigkeit zwei Randbedingungen notwendig und hinreichend sind.
65
P
I
Tg aTg bTb
TgP agI bg 0
0 und auf R ist gP agI bg 0 a0 b0 0.
Der Punkt x 0 stellt kein Problem dar, weil t0u eine Nullmenge ist.
66
Sei nun in diesem Kapitel stets M Rn oen und N M oen und relativ kompakt in M.
9.2 Denition:
Fr eine mebare Funktion f : N
u
/ C setzen wir
9.3 Denition:
Wir setzen
L V pNq : tf : N
/C
9.4 Denition:
Sei m N. Wir denieren den Dierentialoperator Dpmq durch
m
m
m
Dpmq : D1 D2 ... Dn
9.1 Satz:
Zu jedem T
f
pfx qm ...pfx qm
1
n
nm
gilt.
Beweis:
Gesucht ist ein f
T|N , p1q
nm
gilt.
Fr D pNq bezeichne wie frher wieder D pRn q die Funktion
u
u
:
auf N
0 auf Rn z Tr pq
x
i
x N
Sei nun T DpMq wie in der Behauptung. Dann gibt es nach Satz 2.2 Konstanten k
alle D pMq mit Tr pq N die Relation
| T, | C
(9.1)
x N
sup |D pxq|
||k
x N
N, C 0, sodass fr
u
(9.2)
67
gilt. Jetzt wenden wir (9.1) und (9.2) iteriert an und erhalten so
gilt:
px1 , ..., xn q
x
n
x
1
...
V V
x N
(9.3)
x N
p1q
D x dx
pq
(9.4)
| T, |
(9.3)
fr ein geeignetes C
u
Betrachte nun
0,
C sup Dpm1q x
pq
x N
(9.4)
C Dpmq x dx
pq
(9.5)
m N.
D p Nq
KK
KK
sss
KK T|
pmq sss
D
KK N
ss
KK
s
KK
ss
KK
yss
K
pmq D pNq _ _ _ _ _ _ _ _ _ _ _ _ _/% C
D
/ C sodass das
D p Nq
KK
KK
sss
KK T|
D pmq sss
KK N
s
KK
ss
KK
ss
KK
yss
K%
pmq D p Nq
D
s
9/ C
u
KK
ss
KK
s
KK
KK
ss
KK
s
KK
K%
ss
L 1 pNq
Ist
| T, | C
pmq
x dx
D
pq
C |pxq| dx
N
}}1 fr die Halbnorm }f }1 |f pxq| dx auf L 1 pNq. Wir setzen also p pq : C }}1 und
u
N
/ C
erhalten mit dem Satz von Hahn-Banach (siehe Anhang B.1) die Existenz eines linearen v : L 1 pNq
d f L 1 pNq : | v, f | C }f }1
Nun nutzen wir Satz C.1 und erhalten so ein f L V pNq mit v, g f pxqg pxq dx fr alle g
u
N
Insbesondere gilt damit also fr alle D pNq:
u
f pxqDpmq pxq dx
v, Dpmq
u, Dpmq
T|N ,
L 1 pNq.
68
R2n
/C
Lebesque-mebar.
u
Anleitung: Verwende den Satz von Lusin. Dieser ndet sich etwa in [Holdgrn], Satz 54.12, und besagt, dass
/ C genau dann Lebesque-mebar ist, wenn es disjunkte kompakte Teilmengen Kn Rn , m N
f : Rn
gibt, sodass
Rn z
Km
m 1
Beweis:
Sei g L V pNq wie in Satz 9.1, also
T|N
Setze nun
f pxq :
x
1
Dpmq Tg
x
n
...
V V
V pRn q wieder die Fortsetzung von g mit 0 bezeichnet. Man sieht leicht ein, dass f stetig und
wobei g L
beschrnkt ist. Es bliebe Dp1q f g zu zeigen, was aber leider nur im Sinne der Distributionen gilt, also
a
D1 Tg
g pxqpxq dx Tg ,
p1q
Tf , Dp1q
p1q
f pxqDp1q pxq dx
A : tpx, y q Rn Rn
| xi yi d 1 i n u
Da diese Menge abgeschlossen ist, ist sie mebar und entsprechend ist auch ihre charakteristische Funktion 1A
mebar. Jetzt gilt
f py q
1A px, y qg pxq dx
Rn
Rn
Rn
Rn
Rn
Rn
1A pg 1q 1 Dp1q
px, yq dx dy
69
Nach Ubungsaufgsaufgabe 3 ist die Funktion g 1 mebar, und da 1 Dp1q stetig ist, ist damit auch
1A pg 1q 1 Dp1q mebar und beschrnkt. Der Satz von Fubini liefert also
a
Tf , Dp1q
Rn
Rn
g pxq
Rn
p1qn
Dp1q py q dy g pxq dx
x1 y1 ,...,xn yn
looooooooooooooooooomooooooooooooooooooon
Rn
g pxqpxq dx
70
Jetzt glauben sie sicher, man ndet das nicht in einem grnen Buch
u
- tut man aber!
Prof. Holdgrn
u
10
10.1
Wir erinnern uns zunchst an eines der wesentlichen Ergebnisse aus Abschnitt 2.2. Bevor dort die Ordnung
a
einer Distribution deniert wurde haben wir in Satz 2.2 gezeigt, dass es zu T DpMq fr jede kompakte Menge
u
K M ein c 0 und ein m N gibt, sodass
d D pMq, Trpq K : | T, | C
sup |D pxq|
(10.1)
||m
x K
Bemerkung 10.1:
Beachte, dass die Distribution T genau dann endliche Ordnung hat, wenn m
paktum K abhngt.
a
10.1 Satz:
Ist T DpMq eine Distribution mit kompaktem Trger, so hat T endliche Ordnung.
a
Beweis:
Sei TrpT q K kompakt. Whle N M oen mit K N und N M kompakt. Whle nun m, c zum
a
a
Kompaktum N wie in (10.1).
Da es 1 , 2 D pMq mit Trp1 q N und Trp2 q M zK, 1 2 1 gibt (schlielich ist pM zK q N q M
T, 1
T, 2
looomooon
0 da TrpqK,Trp2 qM zK
T, 1
| T, |
| T, 1 |
(10.1)
sup |D p1 q pxq|
||m
x M
(3.6)
||m
x M
x M
sup D x
||m xM
pq
Das zeigt, dass unser gewhltes m es auch fr jedes andere Kompaktum L tut, und mit obiger Bemerkung folgt
a
u
die Behauptung.
10.1 Denition (E pMq):
Setze
E p Mq : C V p Mq
Wir unterscheiden nur zwischen E pMq und C V pMq, da wir auf E pMq spter Normen denieren wollen.
a
: EA M
T,
S, und
/C
(2) S,
Beweis:
Eindeutigkeit Sei
71
0
S, 0
T, 0
D pMq, Trp1 q A r
I1 1 und TrpI1 1 q A r
T, 0 T, I0
T, 0 I0
T, I1 1
0
Da nun obige Identitt fr alle D pMq erfllt ist ist S S I 0 S S I und die Wohldeniertheit
a u
u
ist gezeigt.
Wir haben also eine Abbildung S : EA pMq
die Eigenschaften 1) und 2) erfllt.
u
linear klar!
1) Man whlt 0
a
,
/ C deniert und mssen nun zeigen, dass sie linear ist und
u
S, T, 0 T, 0 0 d E pMq :
Tr A r
Notation 5:
Wir schreiben fr die Fortsetzung S einer Distribution auf EA pMq fr Tr T A A M auch einfach T ,
u
u
werden aber in Situationen, in denen Verwirrung deswegen droht die Fortsetzung von T mit T bezeichnen.
Der Grund dafr liegt darin, dass Distributionen im Allgemeinen einen sehr kleinen Wertebereich (nur die V-oft
u
dierenzierbaren Funktionen mit kompaktem Trger) haben und man sehr froh ist, wenn einige von ihnen als
a
Funktionalen auf greren Rumen interpretiert werden knnen. Wie bei vielen Interpretationen, bei denen die
o
a
o
Eigenschaften des betrachteten Objektes nicht tiefgreifend verndert werden, wird dann das entstandene Objekt
a
als das selbe betrachtet, wie jenes Objekt, von dem man ausgegangen wurde.
72
Bemerkung 10.2:
(1) Ist der Trger von T kompakt, so whlt man fr A gerade den Trger von T selbst. Dann ist der Schnitt
a
a
u
a
vom Trger einer beliebigen Funktion E pMq mit A automatisch kompakt und wir erhalten
a
EA p M q E p M q
und entsprechend gilt
T : E p Mq
T
(2) Es ergibt sich fr EA pMq und
u
/C
E pMq
T , T ,
D T , p1q|| T , D
Beweis:
Es reicht, die Behauptung fr ein einfaches Dierential Di zu zeigen. Sei also Di T DpMq und DT
u
1
dessen Fortsetzung auf EA pMq. Sei weiter 0 1 eine Zerlegung von EA pMq wie im Beweis zum
Satz 10.2, dann ist Di Di 0 Di 1 und es ist
T , Di T, Di 0 Di T, 0 DT ,
i
Betrachten wir nun wie im Punkt 1 der letzten Bemerkung eine Distribution T DpMq mit kompakten Trger
a
Tr T : A. Wie schon beschrieben ist dann EA pMq E pMq und man kann T auf ganz E pMq fortsetzen.
Man whlt sich nun fr oene Umgebung M U A ein D pMq derart aus, dass |U 1, dann ist
a
u
T , T,
Gebe es nun weiter ein c
dass
||m
sup |D |
K
erfllt ist und sei E pMq, dann kann man abschtzen, dass
u
a
| T, |
fest
| |
T,
c
sup |D p q|
||m
sup D sup |D |
||m K
cI
sup |D |
||m K
Analog zu einem vorherigen Kapitel fhren wir nun auf E pMq folgende Halbnorm19 ein
u
pK,m : E pMq
/ R ,
||m
sup |D |
K
| T, | cpK,m pq d E pMq 20
(10.2)
19 Der Beweis, dass es sich hierbei um eine Halbnorm handelt, ist trivial und folgt aus Linearitt, Homogenitt und Dreiecksuna
a
gleichung von Betrag und sup!
20 wir sagen dann, dass T stetig im Sinne 10.2 ist.
10.4 Satz:
Sei T : E pMq
73
/ C linear und stetig im Sinne 10.2, dann ist T eindeutige Fortsetzung einer Distribution T .
Beweis:
Wir denieren T : T|DpMq . Diese Abbildung ist sicherlich linear. Der Trger liegt wegen der Stetigkeit von T
a
im Sinne 10.2 automatisch in K und ist damit kompakt. Die Stetigkeit von T folgt: ist pi q eine Nullfolge in
D pMq, dann liegt Tr i L di fr ein Kompaktum L K und es gilt
u
| T, i | cpK,m pi q cpL,m pi q
/0
womit T auch stetig in dem Sinne ist, wie es in der Denition der Distributionen gefordert wurde.
Ist nun E pMq derart, dass Tr K r, dann ist pK,m pq 0 dm und folglich T, 0, womit
gezeigt wurde, dass T tatschlich eine Fortsetzung von T|DpMq ist.
a
Jetzt mssen wir nur noch die Eindeutigkeit der Fortsetzung zeigen. Sei dafr E pMq und U K eine oene
u
u
Menge, sodass U M noch kompakt ist. Sei weiter D pMq derart gewhlt, dass |U 1, dann gilt
a
0 auf U
pK,m p q 0
T, 0 T, T,
(10.3)
T| p
D M
q,
T|DpMq
T| p q ,
T,
10.3
T,
T
D M
Notation 6:
/ C, die stetig im Sinne 10.2 und damit eindeutige
Der Raum aller solcher linearen Abbildungen T : E pMq
Fortsetzungen einer Distribution mit kompakten Trger sind wird mit
a
E I p Mq
bezeichnet.
10.2 Denition (Nullfolge in E pMq):
Eine Folge pi q in E pMq heit Nullfolge, falls fr alle Kompakta K und jedes m N0 ppK,m pi qq eine Nullfolge
u
in R ist.
Bemerkung 10.3:
(1) Mit anderen Worten ist eine Folge in E pMq eine Nullfolge, wenn pD i q auf jedem Kompaktum K
und fr jedes Nm , dm N0 gleichmig gegen 0 konvergiert.
u
a
0
(2) Man beachte, dass hier nicht gefordert wird, dass es ein Kompaktum gibt, dass die Trger von allen i
a
beinhaltet, wie es bei den Testfunktionen gemacht wurde.
Aufgabe 4:
/ C ist genau dann stetig im Sinne 10.2, wenn fr jede Nullfolge pi qiN
Eine lineare Abbildung T : E pMq
u
in E pMq p T, i qiN eine Nullfolge in C ist.
10.2
10.1 Lemma:
Sei 0 M und T
Nm , || m
0
21 Wir
DpMq derart, dass Tr T t0u21 , dann gibt es ein m N sodass fr alle D pMq mit
u
D p0q 0 gilt:
T, 0.
74
Beweis:
Sei K M kompakt und seien m N und c 0 derart gewhlt, dass fr jede Testfunktion D pMq gilt, dass
a
u
| T, | c
||m
sup |D | 22
K
Nun whlen wir ein D pRm q derart, dass Tr B1 p0q und |B p0q 1 und denieren D pRm q, x
a
1{2
px{q. Dann ergibt sich Tr B p0q und |B p0q 1.
{ 2
Sei nun D pMq beliebig, dann ist D pMq 0 auf B{2 p0q und es folgt, weil Tr T t0u, dass
T, T, d 0
und es gilt folgende Abschtzung
a
| T, | | T, | c
||m
sup |D p q|
(10.4)
Als nchstes ziehen wir die Taylorsche Formel bei 0 zurate ([Holdgrn], 31.13 und 31.4)
a
u
pxq
wobei hier !
||m
i ! und x
i 1
D p0q
i xi .
i 1
D pxq
||m||
||m1
x
pm 1q
!
p1 tqm pD qptxqdt
Nn , | | m, dann gilt
0
x
D
p0q
!
||m||1
x
pm 1 | |q
!
p1 tqm|| pD qptxqdt
pk 1q p1 tq
1k
p1 tqk1
1k
0
dt
1
D x
pq
D
0
||m| | !
p q
0 m1| |
x
pm 1 | |q
!
||m||1
1
sup D
||m1|| !
D
tx dt
p1 tqm|| p
qp q
: m1|| c,m,
V
und daher
|D p qpxq|
|x|
22 Diese
c D x D x
pq
c m1| | c,m, | | D
c m1 c,m, sup |D |
m1
c,,m
pq
Wahlen sind mglich, da T einen kompakten Trger besitzt und damit von endlicher Ordnung ist - Satz 10.1
o
a
75
0 und damit die linke Seite in obiger Gleichung 0, womit die Abschtzung auf
a
| T, |
10.4
||m
||m
sup |D p q|
K
m1 c,,m
m c,,m
||m
looooooooooomooooooooooon
:C,,m V
/0
T,
Wie immer in Di
10.5 Satz:
Sei a M und T DpMq, sodass Tr T
Deltadistribution an a, also
T
||m
tau,
c D a , c
C d fr ein hinreichendes m
u
Beweis:
Wir nehmen ohne Beschrnkung der Allgemeinheit an, dass a 0 gilt. Der allgemeine Fall folgt dann durch
a
Verwendung des Verschiebungsoperators a an den geeigneten Stellen.
Sei m wie aus Lemma 10.1 und derart, dass D pMq nd |B p0q 1 fr 0 hinreichend klein. Sei weiter
u
D pMq beliebig, dann deniert man
1 pxq : pxq
p q x p xq
D 0
!
|looooooooomooooooooon
|m
:f pxq
0 auf B p0q gerade D p0q D f p0q d|| m, was dafr sorgt, dass
u
D 1 p0q 0 d|| m
T, 1 0 T, T, f
T, D !p0q pq
||m
T,pq D p0q
!
|m
|
:
c D 0 ,
|m
|
T
c D 0
||m
Wir mussten in jedem Fall um den Trger gewisse oene Umgebungen legen, um die obigen Ergebnisse zu
a
erhalten. Das folgende Beispiel soll nun zeigen, dass das auch in der Tat notwendig ist.
76
Beispiel 10.1:
Sei n 1, M R, D pMq, dann deniert man durch
T, mlim
V
1
k
k1
loooooooooooooooooooooooomoooooooooooooooooooooooon
:Tm ,
eine Distribution.
Aufgabe 5:
Zeigen sie, dass es sich dabei tatschlich um eine Distribution handelt.
a
u
Hinweis: Zeigen sie, dass fr jedes D pMq die Folge p Tm , qmN konvergiert.
Lsung 1:
o
Sei D pMq. Wir formen einfach um:
Tm ,
m
1
k
k 1
m
1
logpmq
k
k1
looooooooooomooooooooooon
I p0q
1
k
1
p0q k I p0q
k 1
loooooooooooooooooooomoooooooooooooooooooon
: S2
: S1
Wir wissen bereits aus der reellen Analysis (oder aus der Funktionentheorie), dass S1 fr m
u
Euler-Mascheroni-Konstante 0.577... konvergiert. Allgemein gilt
1
k
p0q
1 I
p0q
k
I ptq dt
I p0q dt
/ V gegen die
t
P s ds dt
pq
und entsprechend
p0q
1 I
0
pq
k k
P
s ds dt
pq
x R
0 0
4
1
k
k
N t0u : K
1
I 1
u
k ptq 1 fr t r k , 1s und k l
1
k 1,
/V
/V
/ 0, D k |
Tr T
/V
0
77
so ist T,
D |K
0.
Beweis:
Sei D pMq wie in der Voraussetzung und 0 vorgegeben. Sei auerdem |x a|
genau wie im Beweis des Spezialfalls Lemma 10.1 zeigen wir, dass dann
| | m
fr ein a K. Ganz
u
D x
p q m||1 c,m,
gilt.
Ahnlich zum Beweis von Lemma 10.1 wollen wir nun eine geeignete Funktion konstruieren. Whle dazu ein
a
pxq :
. Dann ist
1 x
, x Rn
n
Rn
K : tx Rn
| distpx, K q u .
Diese Menge ist ebenfalls kompakt fr hinreichend kleine 0 vollstndig in M enthalten. Sei dann
u
a
: 1K ,
2
also
p xq
1
n
1K2 py q
xy
dy
Rn
1
n
xy
dy.
K2
1
(2) Tr p q K3
(3) T, T,
Fr || m und x K3 gilt dann ganz analog
u
m| |1
|D p q pxq|
c, p3q
cm,,
(1) |K
sup |D py q| .
y K3
|D pxq|
|D p1K q pxq|
|p1K D q pxq|
2
n| |
p D q
xy
K2
1
n| |
D
dy
Rn
Transformationsformel
n |pD q pyq| dy
n| |
1
Rn
1
| |
dy
(10.5)
78
|D p q pxq|
m| || |1 C I
C P m||1 C P
falls 1, was wir aber ohne Einschrnkung annehmen knnen (schlielich soll
a
o
Damit ist dann wegen m ordpT q (vergleiche wieder Satz 2.2)
| T, |
fr alle 0 1, womit T,
u
0 folgt.
||m yM
C Q
|D p qpyq|
0 betrachtet werden).
11 Tensorprodukte
79
11
Tensorprodukte
Zunchst wollen wir uns an Abschnitt C.3 uber Tensorprodukte von Radonmaen erinnern. Wir wollen nun fr
a
u
Distributionen ein hnliches Resultat wie Satz C.4 herleiten und auch im Beweis hnlich vorgehen.
a
a
Seien stets M Rn , N Rm oen.
Notation 7:
Fr eine Funktion f : M N
u
/ C schreibe stets
fx py q : f px, y q, x M fest
N fest.
1
1
Llok pNq, so ist f g Llok pM Nq und es gilt fr D pM Nq:
u
Tf g ,
Fubini
pf gqpxq pxq dx
f pxqg py q px, y q dy dx
MN
f x g y x, y dy dx
N
f x g y x y dy dx
pq pq
pq
N
loooooooooomoooooooooon
pqp q
pq
D pMq
f pxq looomooon dx
Tg , x
:pxq
Tf ,
g y x y dy
D M
pq pq
p q
schuldig geblieben, das werden wir aber noch nachholen. Jedenfalls erscheint es mglich, bei Distributionen
o
genauso vorzugehen, wie bei Radonmaen.
Bis auf diese Zweideutigkeit mit dem Index ist das eindeutig!
Prof. Dr. Holdgr n
u
11.1 Satz:
Es sei T DpMq und C V pM Nq. Es gebe fr jedes b N eine Umgebung b Ub
u
kompakt mit der Eigenschaft, dass
y Ub Tr py q Kb
gilt.
Dann ist : N
/ C, y
fr jeden Multiindex
u
N oen und Kb M
pyq
T, Dp0, q
pN0 qm . Dabei bezeichnet p0, q pN0 qnm den Multiindex p0, ..., 0, 1 , ..., m q.
80
11 Tensorprodukte
Beweis:
Sei b N fest und U : Ub , K : Kb wie in der Voraussetzung. Wir weisen zunchst die Stetigkeit von nach.
a
Es gilt
|pM zK qU 0
nach Voraussetzung. Insbesondere bedeutet das fr jedes pN0 qnm auch
u
0.
D |pM zK qU
Fr y
u
/b
/ pD q
b
gleichmig auf K
a
(11.1)
mit
Da K kompakt ist, knnen wir durch Auswahl einer Teilfolge ohne Einschrnkung xi
o
a
annehmen. Da beliebig oft stetig dierenzierbar ist, gilt dann
D pxi , bq
/V
/V
/V
/ a fr ein a K
u
/ D pa, bq,
/b
/ T, b
pbq
T, Dp0, q
gilt. Es gengt
u
i te Stelle
zu zeigen, denn die hheren Ableitungen erhalten wir dann durch Ersetzen von durch Dp0,ei q usw., ebenso
o
beliebige Ableitungen.
Fr pN0 qn und hinreichend kleines t R gilt nach dem Mittelwertsatz
u
Dp,0q
mit einem
damit
Dp,0q
px, b tei q
px, bq t
Dp,ei q
px, b tei q
(11.2)
p0, 1q, welches von allen vorkommenden Zahlen / Funktionen abhngen kann. Insbesondere gilt
a
1
pbtei
t
b q
p xq
1
pD pbtei q D pb qq
t
Tr
1
pbtei
t
Dp,ei q
pxq (11.2)
b q K
zur Folge und damit dann wegen (11.2) und (11.3) auch
1
pbtei
t
b q
/0
gleichmig auf K
a
/ Dp,ei q
.
b
1
pbtei
t
b q
/0
/
T, Dp0,ei q
,
b
px, b tei q.
(11.3)
11 Tensorprodukte
81
f
fei pbq
/0
/ T, Dp0,ei q
.
b
T, Dp0,ei q
Beweis:
Lauf Satz 11.1 ist C V pNq. Ist y pr2 pTr pqq, so ist y
gilt Trp q pr2 pTr pqq und die Behauptung ist gezeigt.
0, was pyq
T, y
Folgerung 11.2:
Ist T DpMq mit kompaktem Trger K : TrpT q, so ist fr alle E pM Nq die Funktion
a
u
py q : T, y
aus E pNq. Dabei bezeichnet T, y die Anwendung der Fortsetzung im Sinne von Satz 10.3 auf y .
Beweis:
Wir erinnern uns, wie die Fortsetzung deniert war: Fr 1
u
T, 1 : T, 1
fr ein D pMq mit |U
u
betrachten. Damit gilt
fr ein beliebiges y
u
T, y
T, y
T, y p 1qy
T, p p 1qqy
Tr p p 1qqy Tr pq K I
S : D pM Nq
Beweis:
Die Linearitt von T
a
c 0, k N0 sodass
S,
S,
S D I pM Nq.
S ist klar. Es bleibt nach Satz 2.2 zu zeigen: Fr alle Kompakta A M N gibt es
u
D pM Nq , Tr pq A
| T S, | c
sup
px,yqM N
pN0 qmn
||k
|D px, yq|
82
11 Tensorprodukte
Zu vorgegebenem A M N kompakt setze zum Beispiel K : pr1 pAq M, L : pr2 pAq N und erhalte so
kompakte Mengen K, L mit A K L. Whle nun nach Satz 2.2 c1 , c2 0 sowie k1 , k2 N0 sodass
a
D pMq , Trpq K
| T, | c1
sup D pxq ,
(11.4)
pN qn xM
||0k1
D pNq , Trpq L | S, | c2
sup |D py q| .
pN0 qm yN
| |k2
(11.5)
|pyq| | T, y |
(11.4)
c1
pN qn xM
||0k1
pN0 qm und y N:
|D pyq|
y N
pN qn xM
||0k1
c1
pq
pN qn xM
||0k1
sup
pN qn px,yqM N
||0k1
pxq .
y
D p, q
x .
sup
sup Dp,0q
T, D p0, q
sup D y pxq c1
p, q
x, y .
D
p q
(11.6)
| T S, |
| S, |
c2
(11.5)
pN0 q
| |k2
(11.6)
c1 c2
sup |D py q|
y N
sup
p, q
x, y
D
p q
sup
|D px, yq|
S. Diese Notation
Betrachtet man D pM Nq, mit einem D pMq und D pNq, dann ist y
und folglich ergibt sich mit den Notationen des letzten Satzes
T S, S,
S, T, y
T, S, I
I pyq dy N
(11.7)
D pMq D pNq
k 1
i k
N,
D pMq,
D pNq
/ R, k pxq
k
c
n
exppk 2 }x}2 q.
11 Tensorprodukte
83
E pRn q
k 0
(1) k
(2)
(3) es gilt
Rn
k pxq dx 1 dk
k pxq dx
N wegen
Rn
k
c
Rn
k
c
Rn
Rn
(4) Tr k
k
c
i1
n
exp
x2
i
dx
i 1
n
R
n
exppk 2 }x}2 q dx
n
. . .
Fubini
k
c
n
exppk 2 x2 q dx
i
i 1
k
c
n
exppk 2 t2 q dt
i 1
Rn
2
1
4
y
x1
-4
-3
-2
-1
-1
Abbildung 11.1: Das Integral von k konzentriert sich fr groes k immer strker an 0.
u
a
11.1 Lemma:
Sei f : Rn
Rn
Rn
/V
Beweis:
Sei 0 gegeben, dann whle 0 derart, dass fr }x y }
a
u
gewhlt, dass fr k k0 folgende Ungleichung erfllt ist
a
u
u
k x dx
}y}
pq
23 Hier
/ C durch
p2q
}y}
/ f.
k pxq dx
84
11 Tensorprodukte
Das eine Wahl zu treen ist, ist intuitiv schon aus Abbildung 11.1 zu ersehen, folgt aber auch durch Substitution:
Dann folgt fr k
u
k
c
n
k0
exppk 2 }x}2 q dx
}y}
1
c
ky z
n
}z}k
expp}z }2 q dz
k y f x y dy f x
n
R
k y f x y
f x dy
n
R
k y f x y
f x dy
k y f x
}y}
}y}
k y dy 2 sup f x
k y dy
xR
}y}
}y}
2 sup f x
/V
/0
pqp q pq
p qp p q p qq
3
p qp p q p qq
f beschrnkt
a
p3q
pq
p qp p yq f pxqq
| p q|
dy
pq
| p q|
| |
xR
p1 2 sup |f pxq|q
x Rn
D pRn q
/ f in E pRn q
fk
/ D f
pD f qk pD f q k D pf k q D fk
und damit folgt zusammen
D fk
/ D f
d gleichmig auf
a
Rn
p : Rn
mit Koezienten c
C.
||m
c x , x
x i
i
x 1
Folgerung 11.4:
Jede Funktion f D pRn q ist in E pRn q Grenzwert einer Folge von Polynomen. Es gibt also ein Folge ppn qnN von
/V
n
/ D f
Polynomen, sodass fr jedes Kompaktum K Rn und jeden Multiindex Nn die Folge D pn
u
0
konvergiert.
Beweis:
Wir fassen die Funktion fk als Funktion mit Variablen z
fk pz q
k
c
n
Cn
f py q exp
p q
i 1
2
zi
2
yi
dy
11 Tensorprodukte
85
Oensichtlich ist diese Abbildung als Funktion von zi fr feste z1 , .., zi , .., zn holomorph und wir knnen f
u
p
o
induktiv entwickeln (schrittweise Taylorentwicklung mit dem Cauchyschen Integralsatz)
f pz1 , .., zn q
l
al z2 , .., zn z1 ,
al pz2 , .., zn q
1
2i
l 0
|1 |m
f p1 , z2 , .., zn q
d1
1 0
und weiter
fk pz1 , .., zn q
V
l
ak pz2 , .., zn qz1
l
l 0
...
V
l2
l l
1V ak ,l pz3 , .., zn qz1 z2
l
1
l1 1
...
1V ak ,..,l
l
ln
l
zii
i 1
l1 1
Da in allen Zwischenschritten holomorphe (also insbesondere analytische) Funktionen entwickelt wurden konvergiert die letzte Summe gleichmig auf jedem Kompaktum gegen fk .
a
Wegen (Cauchyscher Integralsatz)
1
f p q
f I pz q
2i
p zq2 d
| |R0
konvergieren dann auch alle Ableitungen gleichmig gegen die Ableitungen von fk .
a
Wir denieren nun
n
pn pxq
an ,..,ln
l1
l1 ,l2 ,..,ln 1
p Nq /
0
in D M
Beweis:
Sei K : pr1 pTr q M, L : pr2 pTr q dann sind beide kompakt und sei weiter : Rnm
Fortsetzung von auf den ganzen Raum (auerhalb des Trgers mit 0 fortgesetzt).
a
Whle weiter 1 D pMq und 2 D pNq, sodass
a
1 |K
2 | 1 und 0 1 , 2 n
L
pp yq
x,
ak x
||m
||m
ak
| |m
m
i 1
k
pk pxqqi py q
i
k
fr Polynome pk und qi aus D pMq und D pNq. Es gilt also
u
i
i 1
k
pk qi
i
i 1
bk x ck y
i 1
xi
i
D pRnm q /
yi in
/ C die
86
11 Tensorprodukte
1 2
k
pk qi
i
i 1
k
1 pk 2 qi
i
gleichm.auf M
Nq /
i 1
1 2
pk
i
k
qi
i 1
c D p1 2 qD
N /
N
Also konvergiert die Folge ppi qi q in D pM Nq gegen .
auf M
pk
i
k
qi
i 1
gleichm.auf M
11.4 Satz:
Die Konstruktion T
c D p1 2 qD
D 1
p 2 q
Beweis:
Die Funktionalgleichung deniert T
Stetigkeit deniert dann den Rest.
Bemerkung 11.3:
Damit ist auch die Bezeichnung T
Folgerung 11.6:
Es gilt
TrpT
S q Tr T Tr S
Beweis:
Wir zeigen die Doppelseitige Inklusion:
Ist y
Tr T
und wir erhalten
pr1 pTr q r T S, 0
Tr ppM z Tr T q N M pN z Tr S qq
T S, 0
indem wir 1 2 mit Tr 1 pM z Tr T q N und Tr 2 M pN z Tr S q setzen und einsehen, dass
dann
T S, T S, 1 2
T S, 1 T S, 2
00
0
Obige Menge knnen wir auch, wie man auch leicht graphisch nachvollzieht, als pM NqzpTr T
o
beschreiben, womit die erste Inklusion gezeigt ist.
Tr S q
11 Tensorprodukte
87
Sei a Tr T, b Tr S, dann gilt nach der Denition des Trgers einer Distribution:
a
d 0 h D pMq, D pNq :
Tr B paq, Tr
B pbq mit T, $ 0 $ S,
Folgerung 11.7:
Fr Nn und
u
0
Nm folgt
0
Beweis:
Sei D pMq und
gilt
Dp, q pT
S q D T D S
D p Nq, dann reicht es wegen Satz 11.3, obige Identitt fr zu untersuchen. Dafr
a u
u
Dp,q pT S q,
Folgerung 11.8:
Die Zuordnung
p1q|||| T S, Dp,q p q
p1q|||| T S, D D
p1q|||| T, D S, D
D T, D S,
D T D S,
DpMq D I pNq
pT, S q
DI pM Nq
T S
pTi q
/T
Ti S
/T
und
pSi q
/S
T Si
/T
Beweis:
Mit der Denition der Konvergenz von Distributionen gilt unter obigen Voraussetzungen
/ T, d D pMq und Si , i
/ S, d D pNq
Ti ,
Sei nun D pM Nq und D pMq durch pxq S, x wie ublich deniert, dann gilt
/ T, T S,
Ti S, Ti ,
was die erste Gleichung zeigt. Mit Folgerung 11.5 folgt analog die zweite Gleichung und die Folgerung ist
bewiesen.
Beispiel 11.1:
88
11 Tensorprodukte
Betrachten wir nun noch einmal die Stammdistributionen. Dort hatten wir gesehen, dass fr S
u
(Satz 7.2.2), dass
D1 S 0 hT0 D I pM0 q : d D pMq S, T0 , C
/ D pM0 q wiefolgt deniert war:
wobei C : D pMq
Cpx2 , .., xn q
DpMq gilt
pt, x2 , .., xn q dt
/ R, x 1
1 T0
1 T0 , dann folgt
D1 S
0 hT0 D I pM0 q :
D1 p1 T0 q Folgerung 11.7 D1 1 T0 0 T0 0
1, px2 , .., xn q
D pM0 q
pt, x2 , .., xn q dt
C p qpx2 , .., xn q
(11.8)
und damit
S,
(11.8)
T0 , C p q
T0 , 1,
1, T0 ,
1 T0 ,
Wir bekommen hier eine weitere Eigenschaft der Stammdistribution geschenkt, die im Kapitel 7 noch nicht
erreicht werden konnte.
11.5 Satz:
In der Darstellung S
Beweis:
Sei T1 eine weiter Distribution mit den gewnschten Eigenschaften, dann gilt
u
S
1 T0 1 T1
24
1 pT0 T1 q 0
1 pT0 T1 q, 0 d D pI q, D pM0 q
1, T0 T1 , 0 d D pI q, d D pM0 q
T0 T1 , 0 d D pM0 q
T0 , T1 , d D pM0 q
T0 T1
24 Whle
a
hierfr ein
u
11 Tensorprodukte
11.0.1
89
Zur Symmetrie
Die Formel (11.7) deutet darauf hin, dass die Bildung des Tensorprodukts bei Distributionen symmetrisch ist.
Allerdings macht eine Aussage wie
T S S T
/ N M, px, y q py, xq
V : MN
so haben wir
pS T q V T S.
Seien nun M Rn oen, n 0 und T D pM q fr 1, ..., m. Dann kann man rekursiv auch das
u
Tensorprodukt T1 T2 ... Tm D pM1 ... Mm q durch
T1 ... Tm , : T1 ... Tm1 , px1 , ..., xm1 q Tm , xm
px1 , ..., xm q
D pM1 ... Mm q
d D pM q , 1, ..., m.
T ,
11.1
In diesem Abschnitt wollen wir nun noch unsere Bezeichnung Tensorprodukt mit Blick auf Anhang D recht
fertigen. Natrlich betrachten wir hier den Ring R C.
u
11.6 Satz:
Das von uns denierte Tensorprodukt
D pMq D pNq
D p M q D p Nq
/
p, q
D pMq D pNq D pM Nq
p, q
bilinear. Dabei bezeichnen wir mit D pMq D pNq den Unterraum von D pM Nq, welcher von Elementen der
Form erzeugt wird. Im Diagramm ist also
Nach Eigenschaft des algebraischen Tensorprodukts D pMq C D pNq gibt es genau eine lineare Abbildung
: D pMq C D pNq
/ D pMq C D pNq .
Im Diagramm ist sofort klar, dass surjektiv ist. Bleibt die Injektivitt zu zeigen. Sei also
a
C i
0
i 1
n
0. Ohne Einschrnkung nehmen wir an, dass 1 , ..., n linear unabhngig sind, da
a
a
wir ansonsten einfach eine Basis von span t1 , ..., n u nehmen, die i in dieser Basis darstellen und die obige
Zu zeigen ist
i 1
i C i
90
11 Tensorprodukte
i i
px, yq
i 1
Lassen wir y
i pxq i py q
i 1
N fest, so folgt
i py qi
i 1
0
Ti , j
Beweis:
Ubungsaufgabe!
falls i j
sonst
1
0
25
11.7 Satz:
Das von uns denierte Tensorprodukt
D I pMq D I pNq
pT, S q
D I pM Nq
/
pT, S q
D I pM Nq
/
bilinear. Nach Denition des algebraischen Tensorprodukts gibt es genau eine lineare Abbildung
/ D I p M Nq
: D I pMq C D I pNq
Man sieht wieder sofort, dass surjektiv ist. Fr die Injektivitt sei wieder
u
a
0
Ti C Si
Ti Si
i 1
i 1
Wie oben knnen wir ohne Einschrnkung annehmen, dass T1 , ..., Tn linear unabhngig sind. Whle nun gem
o
a
a
a
a
Hilfssatz 11.1 1 , ..., n D pMq mit
Ti , j i,j
Fr beliebiges
u
i 1
25 Kommt
Ti Si , j
i,j Sj ,
Sj ,
i 1
das noch???
12 Faltung
91
12
12.1
Faltung
Faltung zweier Distributionen
Sei in diesem Kapitel stets M Rn . Wir wollen nun die Faltung fr Distributionen denieren, natrlich wieder
u
u
1
1
so, dass sie mit der Funktionseinbettung Llok pRn q f Tf vertrglich ist. Leider exisitert fr f, g Llok pRn q
a
u
das Integral
pf gq pxq :
f py qg px y q dy
Rn
nicht zwingend. Im Allgemeinen geht dies nur, falls f und g kompakten Trger haben.
a
Betrachte deshalb fr D pRn q die Funktion , was p qpx, y q px y q, x, y Rn bedeuten soll.
u
Dadurch erhalten wir D pRn Rn q und wir knnten versuchen, fr T, S D I pRn q die Faltung T S
o
u
uber das Tensorprodukt zu denieren.
Dazu setzen wir jetzt voraus, dass Tr pS q kompakt ist. Weiter whlen wir ein U TrpS q, U Rn oen und ein
a
D pRn q mit |U 1. Wegen Satz 3.4 und
p 1q S,
Tr U
ist S
p q
lo mo n, loooomoooon
oS o 1
0 d D p Rn q
Tr Rn U
p 1q pS T q S T S T.
Betrachte nun die Funktion p 1q p q, also
px, yq pxqpx yq.
(12.1)
Damit die rechte Seite von 12.1 ungleich 0 ist, muss x Tr p q und x y Tr pq, also y pTrpq Trp qq
sein. Also gilt
Tr pp 1q p qq Tr p q pTr pq Tr p qq
p 1q pS T q , S T, p 1q p q
bilden! Das fhrt uns zu folgender
u
12.1 Denition:
Seien S, T D I pRn q und sei TrpS q kompakt. Wir denieren die Faltung S T von S und T durch
D pRn q
S T, : S T, p 1q p q ,
fr ein
u
Beweis (Wohldeniertheit):
Wir mssen nur zeigen, dass obige Denition nicht von der Wahl von abhngt. Sei dazu 1
u
a
1 |U1 1 fr eine oene Umgebung U1 TrpS q. Wie oben berechnet man
u
D pRn q mit
Tr S T
looooomooooon
TrpS qTrpT q
und daher ist
Das zeigt
S T, pp 1 q 1q p q
S T, p 1q p q
0.
S T, p1 1q p q
92
12 Faltung
12.1 Satz:
Seien S, T
D I pRn q und sei entweder TrpT q oder TrpS q kompakt. Dann gilt S T D I pRn q.
Beweis:
Ohne Einschrnkung nehmen wir TrpS q als kompakt an, der andere Fall geht analog (betrachte dann 1 statt
a
u
1 und |U 1 fr ein U TrpT q usw..).
Die Linearitt der Abbildung S T ist oensichtlich.
a
Sei nun pi qiN eine Nullfolge aus D pRn q und sei D pRn q mit |U 1 fr eine oene Umgebung U TrpS q.
u
Wir zeigen nun, dass auch pp 1q pi qqiN eine Nullfolge in D pRn Rn q ist. Nach Denition einer Nullfolge
aus D pRn q gibt es ein Kompaktum K sodass Tr pi q K d i N. Damit folgt aber wie oben
Tr pp 1q pi qq Trp q pK Trp qq
- und die rechte Seite ist ein festes Kompaktum in Rn Rn . Fr die Ableitungen gilt mit pN0 qnn :
u
D pp 1q pi qq
p q
, N0 n n
c, D p 1q D p1 q
looooomooooon loooooomoooooon
/V
gleichmig auf Rn
a
pD0 q 1 pD i q
/
Rn 0
Dabei haben wir 0 pN0 qn so gewhlt, dass p0 , 0q, die anderen Ableitungen falls als Ableitungen der
a
konstanten 1-Funktion weg. ist entsprechend p1 n1 , ..., n 2n q pN0 qn .
Also ist pp 1q pi qqiN eine Nullfolge in D pRn Rn q, und da S T eine Distribution ist, folgt
S T, i
S T, p 1q p q
/V
/0
12.2 Satz:
Sei S D I pRn q mit TrpS q kompakt und T
also y
y . Setze nun
py q
py q
:
:
T, y
S, y
D pRn q und
S T,
S,
T, ,
wobei S, uber die Fortsetzung von S gem Satz 10.3 berechnet wird.
a
Es gilt also
S T,
S, x T, y
px yq
T, y S, x px y q
Beweis:
E pRn q und D pRn q sind oensichtlich.
Whle ein D pRn q mit |U 1 fr eine oene Umgebung U
a
u
(12.2)
(12.3)
12 Faltung
93
S S
S, x
S, px T, x
S, x T, x
S,
T, y
S, loooooooooooooooooomoooooooooooooooooon
x p 1q px, y q px y q
xpxqpxyq
looooooooooooooooooooomooooooooooooooooooooon
S,xpxyq pyq
Beweis:
Oenbar ist p q px, y q p q py, xq fr alle x, y
u
(12.2) bzw. (12.3) oensichtlich.
Bemerkung 12.1:
Sei A Rn abgeschlossen und K
T S.
abgeschlossen.
Beweis:
Sei pxm ym qmN eine Folge aus A K, xm
(12.4)
insbesondere
S T,
S T, p 1q p q 0.
94
12.4 Satz:
Seien S, T
12 Faltung
D I pRn q und sei TrpS q oder TrpT q kompakt. Dann gilt fr alle pN0 qn :
u
D pS T q pD S q T S pD T q
(12.5)
Beweis:
Ohne Einschrnkung der Allgemeinheit nehmen wir TrpT q als kompakt an (tausche sonst die Bezeichner S und
a
T , laut obigem Satz ist S T T S). Sei D pRn q und pN0 qn beliebig. Deniere nun wie in Satz 12.2
pX q : T, p qx
Dann ist D pRn q und es gilt S T,
gehrige genau D . Damit folgt
o
T, y
px yq
p1q|| S T, D
p1q|| S, D
D S,
pD S q T,
D pS T q ,
px yq p1q||
T, y
D px yq
so erhlt man
a
S pD T q ,
S, I
p1q|| S T, D
D pS T q ,
0 D I pRn q und T D I pRn q beliebig. Wir wissen bereits, dass Trpq t0u
T,
T, x , y
T, x pxq
px, yq
(12.6)
T,
Also ist das Dirac- das neutrale Element der Faltung. Insbesondere gilt nach Satz 12.4 fr jedes pN0 qn :
u
D T
pD T q pD q T
Das heit, die Ableitungen der Distribution T knnen allein uber die algebraische Operation der Faltung mit
o
1 I
aber
H
1 I H
1I
H 0H 0
1 p q 1 1.
Beachte, dass all diese Ausdrcke wohldeniert sind, da I , , 1 und I H kompakten Trger haben!
u
a
Wir sehen also, dass die Faltung von Distributionen in keinster Weise assoziativ ist.
12 Faltung
95
Wir erinnern uns daran, dass die Faltung zweier Funktionen (Denition 1.4) durch
f g pxq
f py qg px y qdy
Rn
f px y qg py qdy
Rn
1
1
Llok pRn q die Faltung f g sogar noch immer in Llok pRn q liegt. Dies motiviert
12.5 Satz:
1
1
Sind f und g aus Llok pRn q und sei Tr f oder Tr g kompakt, gilt obige Gleichung fast uberall und ist aus Llok .
Beweis:
Zuerst bemerken wir, dass wegen
Tf ,
Rn
Tf g
(12.7)
px, yq f pxqgpyqpx yq
mebar, weil die mebaren Abbildungen einen Ring bilden, der auch uber der Verknpfung abgeschlossen ist
u
und die Addtion, wie auch f , g und mebar sind. Obige Abbildung ist sogar in L 1 pRn Rn q, denn
Rn
Rn
f pxq
Rn
}}V
g py qpx y qdydx
Rn
f pxq
Rn
g py qdydx
Rn
f py qg pxqpx y qdy
Rn
fast uberall exisitiert und ist integrabel! Nun rechnet man nach:
(1) Es ist
Rn
x x y
Rn
Rn
Rn
pxq
f px y qg py qdydx
Rn
pxqf g pxqdx
Rn
Tf g ,
Rn
g py qpx y qdy px Tg , p qx
(12.8)
96
12 Faltung
Rn
Rn
(12.9)
Rn Rn
f pxq Tg , p qx
Rn
Tf , px Tg , y
Tf Tg
(12.3)
px yq q
/ T , dann folgt
K dm N,
Beweis:
Beachte zuerst, dass S per Notationskonvention 6 der Trger von S automatisch kompakt ist, also die
a
Voraussetzungen zum Bilden der Faltung erfllt sind.
u
Sei D pRn q eine beliebige Testfunktion, dann defniert man
pxq : S, p qx
dann ist nach Folgerung 11.1 eine Testfunktion aus D pRn q und wir stellen fest, dass
Tm ,
S Tm ,
Whle ein D pR q, sodass | 1, dann gilt
a
S Tm , S Tm , p 1qp q
T,
S T,
12.2
S T, p, 1qp q S T,
Wir weren uns nun mit der Faltung von mehr als 2 Distributionen beschftigen. Dabei ist der Begri der
a
eigentlichen Abbildung von Relevanz. Fr die ntigen topologischen Denitionen, Lemmata und Stze verweisen
u
o
a
wir auf die einschlgige Literatur beziehungsweise den Anhang A.
a
12.7 Satz:
/ Rn eigentlich ist ((A.3), (A.2)),
(1) Seien T1 , .., Tm DpRn q Distributionen derart, dass m Tr T1 .. Tr Tm
n
dann gibt es fr alle 0 Funktionen 1 , .., m E pR q, sodass |Tr Ti 1 und folgende Eigenschaften erfllt
u
u
sind:
(1) p1 ... m qp m q D pRn .. Rn q d D pRn q
(2)
Beweis:
Es ist (oensichtlicherweise)
Tr pp1 .. m qp m qq
Whle nun die mithilfe des Satzes vom Hut derart, dass
a
Tr
pTr T q2 pA.4q
12 Faltung
97
Damit folgt automatisch, nach obigem Zusammenhang, dass p1 .. m qp m q kompakten Trger hat (es
a
ist der Schnitt des Kompaktums pm q1 pTr q mit der Abgeschlossenen Menge pTr 1 ... Tr m q, also nach
Korollar A3 selbst kompakt) und damit eine Testfunktion auf Rnm ist.
Da die Denition des mehrfachen Tensorproduktes rekursiv geschah und nicht von der Reihenfolge abhing,
in der man das Tensorprodukt bildet, reicht es, die Unabhngigkeit fr Eigenschaft 2 lediglich an einem
a
u
zu uberprfen. Wegen der symmetrischen Rollen der uberprfen wir nun Eigenschaft 2 an 1 nach (die
u
u
T1 .. Tm , p1 .. m qp m q
I
I
T1 .. Tm , p1 .. m qp m q T1 .. Tm , pp1 1 q .. m qp m q
T2 .. Tm , px2 , .., xm q
I
T1 , x1 p1 1 qpx1 q . . . m pxm qpx1 .. xm q
looooooooooooooooooooooooooooooooooomooooooooooooooooooooooooooooooooooon
D pRnpm1q q
T2 .. Tm , 0
0
womit die Unabhngigkeit gezeigt wurde.
a
T1 .. Tm , : T1 .. Tm , p1 .. m qp m q
wobei die i wie im vorherigen Satz gewhlt werden.
a
12.8 Satz:
Obige Denition ist wohlgeformt, also
T1 .. Tm
DpRn q
Beweis:
Die Linearitt der Faltung ist oensichlich, weil das Ergebenis nicht von der Wahl der i abhngt wie oben
a
a
gezeigt.
Um die Stetigkeit der Faltung zu zeigen, sei pi q eine Nullfolge in D pRn q, es gibt also per Denition ein Kompaktum K Rn , sodass Tr i K di N und alle pD q konvergieren gleichmig gegen 0.
a
Beim Studium des Beweises des letzten Satzes fllt auf, dass die i lediglich von den Ti abhngen, also una
a
abhngig von unserer Folge gewhlt werden knnen. Dann ist, wie schon im obigen Beweis besprochen, die
a
a
o
Abbildung
px1 , .., xm q
j 1
j pxj q i
j 1
xj
98
12 Faltung
m
m
j xj i
xj
D
p q
j 1
j 1
m
m
c D
j xj D i
xj
j 1
j 1
c
c1 ,..,m
Dj j xj
j 1
1 ..m
D j j xj
c
c ,..,
p q
D i
xj
j 1
m
D i
xj
1
m
j 1
j 1
1 ..m
m
m
c
c1 ,..,m
sup D j j D i
xj
xj Tr Tj
j 1
j 1
loooooooooooooooooooooooooooooomoooooooooooooooooooooooooooooon
1 ..m
p q
p q
m
xj
C I D i
:C I
j 1
/V
/
pi q NF in D pRn q 0
i
T1 .. Tm , p1 .. m qpi m q
T1 .. Tm ,
/0
/0
Beispiel 12.3:
Seien T und S Distributionen und Tr S kompakt. Sei weiter eine glatte Funktion, sodass |U 1 fr eine
u
Umgebung U von Tr S und sei 2 .
Dann ist : Tr 1 Tr eigentlich und wir sehen, dass die Faltung nach beiden Denitionen durch
T S, T S, p1 qp q
gegeben ist. Die Denitionen sind also konsistent.
Beispiel 12.4:
Man muss dennoch aufpassen mit mehrfachen Faltungen:
Seien zum Beispiel T1 , T2 , T3 DpRn q gegeben und T2 0, dann ist zwar T1 T2 T3 wohldeniert, T1 T3 aber
nicht!
12.9 Satz:
Es gilt
Beweis:
Beachte, dass die rechte Menge nach Lemma A.4 abgeschlossen ist.
12.10 Satz:
Sei 2 : Tr pT1 q Tr pT2 q
eigentlich und es gilt T1 T2
/ Rn eigentlich fr T1 , T2
u
T2 T1 .
12 Faltung
99
Beweis:
Das unter den gemachten Voraussetzungen auch 2 : Tr pT2 q Tr pT1 q
Sind T D I pMq und S D I pNq, so gilt im Sinne von Abschnitt 11.0.1
T
S S S.
Da auerdem auch p q px, y q p q py, xq gilt, folgt die Behauptung auch gleich aus der Denition.
Das ist schon per Denition so...
...mehr oder weniger!
Prof. Dr. Holdgr n
u
12.11 Satz:
Seien T1 , ..., Tm
Beweis:
/ Rn nach Lemma A.4, Teil
Der Ausdruck T1 ... Tm1 ist deniert, da m1 : Tr pT1 q ... Tr pTm1 q
(2), eigentlich ist (da Tm $ 0 ist auch TrpTm q $ r!). Auerdem gilt nach Satz 12.9
Tr pT1 ... Tm1 q Tr pT1 q ... Tr pTm1 q ,
womit auch pT1 ... Tm1 q Tm nach Lemma A.4 deniert ist. Bleibt die Gleichheit zu zeigen.
Sei 0. Whle dazu E pRn q, sodass eingeschrnkt auf eine Umgebung von Tr pT q identisch 1 ist.
a
a
Auerdem soll sogar Tr p q pTr pT qq gelten. Whle dann ein E pRn q mit
a
|pTrpT qq ...pTrpT
1
m 1 q q
1,
/ Rn eigentlich ist. Wir haben frher schon gesehen, dass dies mglich ist. Dann
u
o
sodass : Tr p q Tr pm q
ist auf einer Umgebung von Tr pT1 ... Tm1 q Tr pT1 q ... Tr pTm1 q konstant 1. Fr D pRn q erhalten
u
wir:
T1 ... Tm1 ,
:pxq, D pRn q
Rn
p1 ... m1 q p m1 q px1 , ..., xm1 q
1 px1 q ... m1 pxm1 q px1 ... xm1 q
1 px1 q ... m1 pxm1 q px1 ... xm1 q Tm , xm m pxm qpx1 ... xm q
Tm , xm 1 px1 q ... m pxm q px1 ... xm1 q px1 ... xm q
Tm , xm 1 px1 q ... m pxm qpx1 ... xm q ,
qq p p qq 1 benutzt haben. Zusammen mit (12.10) liefert das
...
Tr Tm
(12.10)
100
12 Faltung
Bemerkung 12.2:
Unter geeigneten Voraussetzungen gilt also
T1 ... Tm
T2 T1 .
Folgerung 12.2:
DI pRn q : T
mit den Operationen
D I p Rn q |
Bemerkung 12.3:
Beachte, dass TrpT q kompakt
12.3
Nochmal Stammdistributionen
b,
Vr
1 fr a b.
u
D I id pRq : DI pRq
p1 f q T D Iid pRq : DI pRq .
p
Sei h die Heaviside-Funktion aus (). Dann ist oenbar hTh D I pRn q und h 1Th1 D I pRn q. Setze nun
p
S : h pf T q ph 1q pp1 f q T q .
f T
Mittels der Faltung ist also die Berechnung einer Stammdistribution deutlich leichter!
Beispiel 12.6 ( Aueiten im Mehrdimensionalen):
und
E : ph 1q 0 .
ra, Vr Rn1
Tr pp1 f q T q sV, bs Rn1 .
Tr pf T q
12 Faltung
101
D1 E
pf T q D1 E pp1 f q T q
lo mo n pf T q pp1 f q T q
o 0 o
D I pRn q
T
Auch hier haben wir das Problem also wieder sehr elegant algebraisch gelst.
o
12.12 Satz:
/ Rn sei eigentlich. Seien auerdem T D I pRn q
Seien A1 , ..., Am Rn abgeschlossen und m : A1 ... Am
mit Tr pT q A fr 2, ..., n. Sei pSi qiN eine Folge in D I pRn q sodass Tr pSi q Ai fr alle i N und
u
u
/V
i
/ gilt.
Si
Dann ist Tr pS q A1 und es gilt
Si T2 ... Tm
/V
/ S T2 ... Tm .
Beweis:
Whle Funktionen C V pRn q, sodass auf einer Umgebung von A identisch 1 ist, 1, ..., n. Auerdem
a
knnen wir so whlen, dass
o
a
/ Rn
m : Tr p1 q ... Tr pm q
eigentlich ist.
Dann gilt fr jedes D pRn q
u
Si T2 ... Tm ,
Si T2 ... Tm , p1 ... m q p q
/V
Folgerung 11.8
und die Behauptung ist gezeigt.
S T2 ... Tm , p1 ... m q p q
S T2 ... Tm ,
102
13 Regularisierung
13
13.1
Regularisierung
Allgemeine Einfuhrung
u, x Rn
(13.1)
Diese Notation wird uns durch die folgenden Stze begleiten, genauso wie die bereits bekannte Bezeichnung
a
y pxq px y q fr ein D pRn q.
u
13.2
13.1 Satz:
Sei T D I pRn q und D pRn q. Dann liegt die Funktion
pT q : x
T, x
q
T, y
px yq
(13.2)
TT .
(13.3)
Beweis:
Laut Satz 11.1 ist T E pRn q. Wir brauchen also nur noch die Gleichung (13.3) zu zeigen.
Sei dazu D pRn q beliebig. Per Denition ist dann
T T ,
(12.2)
T, x looooooooooomooooooooooon .
T , y px y q
:I pxq
py q px y q dy
Rn
py xq py q dy
Rn
py xq py q dy
Rn
q
q
px y q py q dy
Rn
T , y
q
px yq
q
13 Regularisierung
103
Also ist
T T ,
T T ,
q q
(12.3)
T , y
q
q
T, x px y q
q
py q T, y dy
|
Rn
py q T, y dy
}
Rn
Denition T
py q pT q py q dy
Rn
TT , ,
T T
TT .
D I pRn q eine Folge pi qiN aus D pRn q gibt, sodass fr alle D pRn q
u
i pxq pxq dx Ti ,
/V
/ T,
Rn
gilt.
/V
i
/ 0 in D I pRn q und Tr pi q B 1 p0q. Wir haben zum Anfang
Whle zunchst i D pRn q mit T1
a
a
i
schon gesehen, dass dies mglich ist (etwa mit i 1 aus Hilfssatz 1.1). Nach Satz 12.12 gilt dann
o
i
T Ti
/V
/ T
T,
(13.3)
T Ti
/V
/ T.
Jetzt mssen wir uns noch um den kompakten Trger kmmern. Whle dazu i
u
a
u
a
fr jedes i N gilt. Setze nun
u
Dann ist i D pR
i j. Das zeigt
i : i pT i q .
pq
Bi 0
1
TT i , Ti , ,
/ V gegen T, , was
Ti
zeigt.
D pRn q sodass i |
/V
d i j.
/T
104
13 Regularisierung
13.3 Satz:
Sei M Rn oen. Dann ist D pMq unter der Einbettung f
Beweis:
Sei T DI pMq. Whle eine kompakte Ausschpfung Ki
a
o
Tf
dicht in D I pMq.
M.
Ki
i 1
Whle auerdem i
a
D pMq, sodass i |
Ki
Ti : i T.
Dann ist zwingend Tr pTi q Tr pi q Ki2 fr jedes i N und daher knnen wir mit Satz 3.5 ohne Einu
o
schrnkung Ti D I pRn q. Whle nun zu 0 Funktionen D pRn q wie in Hilfssatz 1.1. Dann nden wir
a
a
/ V und
eine Folge pi qiN mit i 0 fr i
u
Ki1 Bi p0q M .
Sei nun noch D pMq beliebig. Dann gilt
Tpi T q i ,
TTi i ,
i T Ti ,
(13.3)
i T, x
i py qpx y q dy
Rn
Tr x
i py qpx y q dy Tr pq Bi p0q
Rn
TTi i ,
i0 T, x
pi T q T
Tp T q
0
i0
i0 T Ti
/V
i py qpx y q dy
Rn
/V
/ i T,
0
/ i T
0
T, i0
i T
/V
p qKi0
Tr
T, .
/T
13 Regularisierung
13.2.1
105
Wir knnen diesen Satz auch im abstrakten Kontext beweisen. Da D pMq ein lokal konvexer topologischer
o
Vektorraum und D I pMq der zugehrige topologische Dualraum ist, stellt
o
D pMq , D I pMq
0 d D p Mq
0 d T D I p Mq
0
0.
Fr die zweite Aussage brauchen wir dabei den Satz von Hahn-Banach. Wir haben dann auf D I pMq die schwache
u
Topologie D I pMq , D pMq deniert, die auch schwach-*-Topologie genannt wird. Diese ist gegeben durch die
Halbnormen
D : T | T, | , D pMq .
Damit wird der Raum D I pMq hausdorsch. Auerdem ist die Abbildung T
unter dieser Topologie auf D I pMq, das heit wir haben eine Einbettung
(13.4)
Beweis:
Wir nehmen an, die Behauptung sei falsch. Dann ist Im pq D I pMq ein echter Untervektorraum. Nach dem
I
Satz von Hahn-Banach existiert dann eine Linearform D I pMq sodass
0, aber $ 0.
D pMq, welches die Abbildung liefert, das heit fr alle
u
|Impq
Laut der Gleichheit in (13.4) nden wir ein
D pMq gilt dann
0.
Da aber $ 0 ist, muss auch $ 0 sein, was etwa mit wegen
T ,
0 T ,
|pxq|2 dx
M
13.3
Zunchst wollen wir uns mit der Lsung von Faltungsgleichungen beschftigen. Sei dazu S
a
o
a
2
Def pS q : T
s : Def psq
/ Rn ist eigentlich .
/ D I p Rn q , T
T S.
Man macht sich schnell klar, dass Def psq ein Untervektorraum von D I pRn q ist, denn nach Lemma A.1 folgt
/ Rn eigentlich.
: TrpS q TrpTi q / Rn fr i 1, 2 eigentlich : TrpS q pTrpT1 q TrpT2 qq
u
Auerdem ist s oenbar linear.
Betrachte nun das Problem
Gegeben U
(13.5)
106
13 Regularisierung
13.2 Denition:
Eine Distribution E
Def pS q heit Fundamentallsung zum Problem (13.5), wenn spE q 0 D I pRn q gilt.
o
0 .
Bemerkung 13.2:
Ist nun U D I pRn q mit kompaktem Trger TrpU q, so ist die Abbildung
a
S pE U q S E U
pS E q U U U,
das heit T : E U ist eine Lsung des Problems (13.5) spT q U .
o
...,das ich da oben unten hingeschrieben habe!
Prof. Dr. Holdgr n
u
13.3.1
Sei P C rx1 , ..., xn s ein Polynom, das heit fr x px1 , ..., xn q und fr p1 , ..., n q pN0 qn ist mit
u
u
x x1 ... xn
n
1
a x
P pxq
pN0 qn
||m
fr gewisse Keozienten a
u
pN0 qn
||m
a D
Gegeben
Distributionell:
Gegeben
u C pRn q , gesucht f
(13.6)
(13.7)
pN0 qn
||m
a D 0
D I p Rn q .
Oenbar ist dann TrpS q kompakt, das heit wir knnen ohne Probleme falten. Fr jedes T
o
u
S T
pN0 qn
||m
a pD 0 q T
pN0 qn
||m
a 0 pD T q
pN0 qn
||m
a D T
P pDqT
(13.8)
13 Regularisierung
107
Natrlich ist diese Forderung wegen (13.8) quivalent zu S E , und daher ist fr ein U E I pRn q, das heit
u
a
u
fr eine Distribution U mit kompaktem Trger die Lsung zu (13.7) einfach gegeben als T : E U :
u
a
o
P pDqT
U
S T U
S pE U q U
TrpS q,TrpU q kompakt
pS E q U U
0 U U
(13.8)
pTf qI
(13.9)
zeigen, da diese Gleichung aus keinem unserer vorhandenen Stze folgt. Sei dazu D I pRn q. Dann gilt:
a
Th ,
pxq dx
xV
x x x0
loooooomoooooon
pq
0
pxq dx
xpxq dx
Tf , I
pTf qI ,
Das zeigt (13.9). Damit haben wir dann
Dxm
D k xm
f m bzw.
m
m Dx 1 fr m 1
u
m
m pm 1q ... pm k 1qx k .
Betrachte nun
xm 1 ... xm1
n,
1,
m
m
px1 , ..., xn q : looooooooooomooooooooooon px1 , ..., xn q xm1 px1 q ... x 1 pxn q
xm1 ... x 1
n-mal
Em :
ppm 1q!q
m
xm 1 ... xn,1
1,
108
13 Regularisierung
Beweis:
m
Per Konstruktion ist genau D1 xm 1
1,
13.5 Satz:
Sei T D I pRn q beliebig und M Rn oen. Dann gibt es ein f
pD1 ...Dn qm Tf T
auf M
gilt.
Beweis:
Sei D pRn q mit |M 1. Auf M gilt dann natrlich T T , aber der Trger von T
u
a
womit diese Distribution endliche Ordnung m N besitzt. Daher gilt
T
0 pT q
In dieser Gleichung haben wir natrlich die Funktion Em2 mit ihrer zugehrigen Distribution TEm2 identiu
o
ziert. Diese Identikation wollen wir in diesem Beweis auch beibehalten.
Es bleibt also zu zeigen, dass die Distribution Em2 pT q von einer stetigen Funktion herkommt.
Seien dazu die Funktionen wie in Hilfssatz 1.1). Setze dann
f : pEm2 pT qq
C V p Rn q
gem dem Satz uber die Regularisierung. Insbesondere gilt dann auch
a
Tf
pEm2 pT qq T
(13.3)
p q p
q
Tr T ,Tr T kompakt
pT q Em2 T .
Da die Funktion Em2 wie oben schon bemerkt m-mal stetig dierenzierbar ist, folgt mit Korollar 1.1 fr alle
u
Mulittindizes mit || m
D pEm2 q
/ D Em2 ,
wobei wir hier Em2 wieder als Funktion verstehen. Nun berechnet man allgemein
f pxq
pT q Em2 , y px yq
T, z Em2 , y px py zqq
T, z
Em2 py q px py z qq
Rn
T, z pEm2 q px zq
(13.10)
Whle nun ein D pR q sodass 1 auf einer Umgebung von Tr pT q gilt. Sei auerdem x0 Rn fest,
a
x B1 px0 q beliebig. Dann ist K : Trp q B1 px0 q kompakt und daher gilt
n
D pEm2 q
gleichmig auf K
a
/ D Em2
d pN0 qn mit || m.
(13.10)
T, z
pEm2 q px zq
T, loooooooooooooooooomoooooooooooooooooon ,
z pz q pEm2 q px z q
p q
Tr Tr
13 Regularisierung
109
und wir zeigen nun, dass die rechte Seite mit 0 gleichmig gegen
a
f pxq : T, z
Em2 px zq
konvergiert. Fr jedes feste x0 haben wir das schon gezeigt, aber wir brauchen die gleichmige Konvergenz auf
u
a
K.
u
Hierfhr reicht es aus, dies fr B1 px0 q fr ein beliebiges x0 zu zeigen, weil man beliebige Kompakta immer duch
u
u
endlich viele solcher Blle uberdecken kann.
a
Nun ist die Ordnung von T endlich, also gibt es fr jedes Kompaktum K eine Konstante cK , sodass fr alle
u
u
D pRn q die Ungleichung
| T, | cK
}D }V
||m
erfllt ist.
u
Sei nun 0 und x B1 px0 q, dann ist
|f pxq|
cTr
||m
z Rn
c D z Dz Em2 x z
cTr
sup
z Tr
||m
cTr
sup
c
sup
D z
1 Dz Em2
n
z Tr
||m,zR
||m
Dz Em2 x z
c sup
z Tr
| |m
pq p
p qq
p q|p q p
q px q
qp q
Aber wegen der Kompaktheit von B1 px0 q und Tr , ist auch L : B1 px0 q Tr x z kompakt. Weiter ist
1.1
Em2 mfach stetig dierenzierbar, weshalb Dz pEm2 q Dz Em2 nach Satz 1.4.2 gleichmig auf
a
L gegen Du Em2 konvergiert, womit die gleichmige Konvergenz der f gezeigt wre.
a
a
Damit gilt dann f
auch Tf
0 /
f gleichmig auf jedem Kompaktum, womit f stetig ist. Insbesondere gilt dann
a
0 /
Tf und es folgt
pD1 ...Dn qm Tf
lim pT q
auf M. Auch hier haben wir wieder Funktionen und Distributionen an einigen Stellen identiziert.
13.3.2
Der Fall n $ 2
Wir betrachten nun den Fall
P pDq
2
Di
i 1
110
13 Regularisierung
Polynome p : Rn
||k
Bemerkung 13.4:
Man beobachtet, dass
wobei t : Rn
f t t k f
f : Rn
t t k T
An dieser Stelle erinnern wir nochmals daran, dass die Nacheinanderausfhrung von Distribution und Abbildung
u
punktweise wie folgt deniert (5.4) war:
T t , pdet t q1 T, 1 t1 T,
t
n
1
t
13.1 Lemma:
Es gilt natrlich, dass Tf fr homogene f homogen ist.
u
u
Beweis:
Es gilt fr beliebiges D pRn q
u
Tf t , (5.5) Tf ,
Tt f ,
tk f pxqpxq dx
t
Rn
f pxqpxq dx
Rn
tk
Tf ,
Beweis:
Es ist
t ,
1
, 1
t
tn
p0q
tn
1
,
tn
(13.11)
13 Regularisierung
111
Beispiel 13.4:
Es ist f pxq |x|k homogen vom Grad k, denn f ptxq |tx|k
Beschftigen wir uns nun weiter mit der Laplace-Gleichung und betrachten fr n $ 2 die Funktion
a
u
/ R, x |x|2n
f : Rn
die nach obigem Beispiel homogen vom Grad 2 n ist und es gilt folgendes
13.2 Lemma:
Es ist f lokal integrierbar.
Beweis:
Es gilt wegen Satz der Transformationsformel (betrachte dafr zum Beispiel [Holdgrn], Satz 51.15)
u
u
f :R
/C
f dx
Rn
Sn
n1
f pty q dt dpy q
n{2
Weiter ist
1d 2 n , wobei die funktion wiefolgt deniert ist:
p 2 q
S n1
13.8 Denition (Funktion):
Die Gammafunktion ist als
: R
/ R, x
lim /
nx n!
V xpx 1q . . . px nq
(2) pxqx px 1q
(3)
1
2
c
Nun reicht es, die lokale Integrierbarkeit von f an der einzig kritischen Stelle, der 0 zu zeigen:
pq
f pxq dx
x B1 0
pq
|x|2n dx
x B1 0
S n 1 0
Sn
S n 1
p1 0q dpyq
{
n 2
2
1 pn{2q
2
V
13.3 Lemma:
Es ist auf Rn zt0u
0
112
13 Regularisierung
Beweis:
Wir rechnen diese Identitt fr x Rn zt0u nach:
a u
|x|2n
f pxq
i 1
2
Di
2n
2
x2
j
j 1
Di 2xi
i 1
2n 1
2
x2
j
j 1
pn 2q
i 1
pn 2q
pn 2q
pn 2q
j 1
n
pn 2q n
pn 2q0
0
n
2
x2
j
n
2
x2
j
xi n
2
x2 n
i
n
2
x2
j
n 1
2
x2
j
x2 n
i
1n
n
2
x2
j
j 1
2xi
n2
2
x2
j
j 1
n 2
2
x2
j
j 1
n2
2
x2
j
i 1
j 1
i 1
n
2
x2
j
j 1
j 1
j 1
x2
j
j 1
i 1
n
2
j 1
i 1
Di xi
i 1
pn 2q
2 n
2
n2 1
2
x2
j
i 1
x2 n
i
n 2
2
x2
j
j 1
Man setze nun T : Tf . Auf Rn zt0u gilt nun, wie man durch leichtes Nachrechnen ermittelt, f
ist damit
Tr T Tr Tf t0u
und wir wissen, dass dann (Satz 10.5)
T
j 1
||m
c D 0
0 und es
13 Regularisierung
113
Beweis:
Wir rechnen fr D pRn q nach:
u
Di T t ,
Di T,
1
tn
1
t
t1 T, Di p q
n
1
t
t1 T, Di 1
n
t
1
t
tn1 1 T, Di
1
t
1 T t , Di
t
1
Di pT t q,
t
1
Di ptk T q,
t
tk1 Di T,
was die Behauptung zeigt.
Weil nun f wie schon oben bemerkt, homogen vom Grad 2 n ist, ist nun T homogen vom Grad n. Weiter
nach obigem Lemma und vorhin besprochenem Beispiel D homogen vom Grad n || und wir rechnen
nach:
T t n T t t n
c pD q t
c t|| D
||m
also zusammen
p1 t|| qD 0
||m
Sei nun D pRn q eine Testfunktion, sodass 1 auf einer Umgebung von 0. Dann setze
gilt:
4
|| , D 0 $
D , p1q
1
x pxq, sodass
!
und damit
0
||m
c p1 t|| qD ,
c p1 t| qD , d
0 d $ 0
c0
Zur Bestimmung von c0 whle nun ein D pRq, das konstant 1 ist auf einer Umgebung von 0 und deniere
a
pxq p|x|q. Dann ist D pRn q und p0q 1, sowie
pxq
i 1
n
i 1
i 1
n
2
Di p}x}q
Di
xi
I p}x}q
}x}
xi
P p}x}q
}x}
xi
}x}
}x} xi 2}x}
I p}x}q
2xi
}x}2
}x}2 x2
i
}x}3
i1
i1
n
n
2
2
xi
n}x}2
xi
1
i 1
P p}x}q ix}2 I p}x}q
}
}x}3
2
1
P p}x}q I p}x}q pn x}q}x}
3
}
n1 I
P p|x|q |x| p|x|q
P p}x}q
x2
i
}x}2
I p}x}q
(13.12)
114
13 Regularisierung
c0 p0q
T,
p1q2 Tf ,
|x|2n pxq dx
Rn
13.12
t t
n 1 2 n
S n 1 0
2 n{2
pn{2q
2 {
n 2
pn{2q
2 {
n 2
pn{2q
n1 I
ptq dt dpy q
P ptq
t
t P t dt
t I t V
0
pq
I ptq dt
2 {
pn 2qI ptq dt
n 2
pn{2q
n 2
2
p2 nq pn{2q
Damit haben wir errechnet, dass fr n $ 2
u
E
p{q
2p2nnq2n{2 Tx|x|
2
Der Fall n 2
In diesem Fall betrachten wir die Funktion
f : R2
13.5 Lemma:
Es ist auf R2 zt0u
/ R, x log }x}
0
13 Regularisierung
115
Beweis:
Wir rechnen wieder fr x R2 zt0u nach:
u
f pxq
p q log
2
D1
x2
1
x2 x2
2
1
Di
i 1
Di
i 1
2
2
D2
xi
x2
2
2 x2 x2
2
1
2xi
x2 x2
1
2
x2 2x2
2
i
px2 x2 q2
1
2
i1
x2 x2 x2 x2
px2 1 x2 q22 px21 x22q2
2
1 2
1
0
px2 x2 q2
1
2
0
2
x2
1
13.6 Lemma:
f ist lokal integrierbar.
Beweis:
Wieder reicht es aus, eine Umgebung von 0 zu untersuchen und vollkommen analog zum Fall n $ 2 berechnen
wir
pq
log }x} dx
S1
B1 0
log t dt dpy q
0
1
log t dt
0
4
Das Problem, da
Was diesen Fall a priori schwerer erscheinen lsst, ist die Tatsache, dass f nicht homogen ist. Aber es gilt
a
folgendes
13.7 Lemma:
Es ist Tf homogen vom Grad
2.
Bemerkung 13.5:
Wegen obigem Lemma ist Tf deniert!
116
13 Regularisierung
Beweis:
Wieder rechnen wir einfach nach (dabei: D pR2 q):
Tf t ,
1
Tf , 1
t
t2
1
p1q2 Tf , 1
t
t2
1
p1q2 Tf , 1 t12
t
t2
1
Tf t ,
t2
1
Tf t ,
t2
1
Txlog }tx} ,
t2
1
Txlogpt}x}q ,
t2
1
Txlog tlog }x}q ,
t2
1
Tf t ,
t2
1
Tf t ,
t2
1
Tx pf tq ,
t2
1
Tf ,
t2
1
Tf ,
t2
26
Damit ist die Behauptung gezeigt.
Tf
c0
knnen diesen Schritt wie auch die folgenden nur machen, weil f fast uberall 2-fach stetig dierenzierbar ist!
o
13 Regularisierung
117
D pR2 q,
c0 1
c0 p0q
T,
Tf ,
Tf ,
f dx
R2
(13.12)
R2
}x} p}x}qq dx
1
1
t log t p P ptq I ptqq dt dpy q
t
S1 0
2
0
partielle Integration
2
0
t P ptq dt
partielle Integration
I ptq|V 2 I ptq dt
2t 0
0
2ptq|V
0
2
Dies liefert uns schlielich das Ergebnis fr den Fall n 2 und wir fassen:
u
pq
n
2
2n
n T
2p2nq 2 x}x}
1
2 Txlog }x}
0 )
n$2
n2
13.3.3
Wir beschftigen uns in diesem Abschnitt beschftigen wir uns mit dem Finden einer Fundamentallsung zur
a
a
o
Cauchy-Riemann Dierentialgleichung.
Bemerkung 13.6:
Mit der Lsung einer nicht-homogenen Cauchy-Riemann Dierentialgleichung kann man auch den Satz von
o
Runge relativ elegant beweisen. Dafr verweisen wir auf [Narasimham].
u
118
13 Regularisierung
Sei nun n 2, R2
1
pD1 iD2 q, Dz : 1 pD1 iD2 q
2
2
/ R,
D2 v,
D1 v
D2 u
Bemerkung 13.7:
(1) In diesem Fall ist die Funktion automatisch unendlich oft komplex dierenzierbar, sogar analytisch.
(2) Es reicht sogar aus f
1
Llok pR2 q und Dz Tf 0 zu fordern, damit f holomorph ist!
f :C
1
diese Abbildung ist in Llok pCq, denn
pq
|f pzq| dz
13.7 Satz:
Es ist Dz T
|f | dt dpyq 2
S1 0
B1 0
1
z
1
t dt 2
t
Tf denieren.
, also ist
E
1
Tz
1
z
$0
pz q
D p
q
z
1
Dz pz q
z
loooomoooon
0 (f holomorph)
1
z Dz pzq Dz pzq
z
(13.13)
13 Regularisierung
119
und wir rechnen nach, wobei R derart gro gewhlt sei, dass Tr BR p0q:
a
Dz T,
T, Dz
1
z Dz dpx, yq
R2
13.13
lim /
Dz
D1
}z}
D1
}z}
lim /
}z}
0 2
pq
1
lim /
0 2
pq
dz
1
dz i
2
1
dz i
2
1
2i
D2
}z}
D2
}z}
pz q
z
pz q
z
D2
}z}
}px,yq}
lim /
1
2
1
lim /
0 2
0
2
0
2
dz
dz
pz q
z
dx dy
pz q
dx
z
pz q
p dy i dxq
z
pq
pz q
p dy i dxq
z
B 0
pz q
p dy i dxq
z
B 0
pz q
p dy i dxq
z
BR 0
1
dx dy i
2
pz q
dy
z
Satz v.Stokes 27
}z}
lim /
lim /
pz q
z
}z}
lim /
pz q
z
D1
lim /
lim /
pz q
z
/ 0 }z}
p cos , sin q
p dp sin q i dp cos qq
cos t i sin t
p cos , sin q
p cos t i sin tq d
cos t i sin t
p cos , sin q d
1
lim /
0 2
1
lim /
volpS 1 q p q
0 2
MWS
/0
/
p0q
Damit ist natrlich gezeigt, dass Dz T gilt. Um das Minus zu erklren, das bei der Anwendung des Satzes
u
a
von Stokes entstand, betrachten man Grak 13.1:
Abbildung 13.2: Man sieht, dass wenn man an das zu integrierende Gebiet einen Tangentialvektor und an ihn
eine orientierte y Achse legt, dass der entstehende Normalenvektor ein mal in die falsche Richtung, also nach
innen zeigt. Aber man muss natrlich mit der selben Orientierung auf beiden Randkomponenten integrieren.
u
Also ist auf dem inneren Rand die von der Standardorientierung auf den Rand induzierte Orientierung falsch
und es entsteht ein Minus beim Integrieren.
27 nat rlich
u
i sin q mit 0 2
120
13 Regularisierung
13.3.4
Sei : loRnon lo mo n
omo
oR o
/ C eine Funktion, welche wir hier physikalisch als die Temperaturverteilung eines
homogenen Krpers in Bezug auf die Zeit t auassen wollen (es tritt hierbei keine Energiezufuhr von auen
o
auf!).
Physikalisch gehorcht die Temperatur dann folgender Relation:
n
f 0 also explizit: f f2
ft
ft i1 pfxi q2
Notation 9:
Wir werden von hier an mit
Dw
px1 , x2 , x3 , tq 0 dx1 , x2 , x3 , t R 28
fft
Bemerkung 13.8:
Auch obige Denition ist physikalisch motiviert: es spiegelt die Fragestellung wider, wie die Temperaturverteilung eines Krpers nach einer Zeit t ist, wenn man die Temperaturverteilung am Anfang (t 0) kennt.
o
Eine wesentliche Rolle in der Theorie der Wrmeleitungsgleichung nimmt das folgende Lemma an:
a
13.8 Lemma:
Es ist
exp
}x}2
dx
cn
(13.14)
Rn
Beweis:
Der Beweis ist in drei Schritte unterteilt: zuerst zeigt man den Fall n 2, fhrt ihn dann auf n 1 zurck und
u
u
ndet schlielich mit dem Satz von Fubini eine Verallgemeinerung.
(1) Es ist
exp
}x}2
dx
R2
exp
x2 y2 dpx, yq
R2
2 V
Polarkoordinaten
r exp
r 2
dr d
0 0
28 Nat rlich
u
1
2 exp r2 d
0
1
d
2
c2
wird in der Physik aus oensichtlichen Grnden nur die positive Zeitachse betrachtet!
u
13 Regularisierung
121
(2) Es ist
g
f
f
exp
e
g
f
f
e exp
dx
g
f
f
exp
e
|x|
g
f
f
f
e
exp
exp
g
f
f
f
e exp
g
f
f
e exp
2
p|x|2 q dx
p|x|2 q dx
exp p|y |2 q dy
R R
p|x|2 |y|2 q dy dx
R R
Fubini
R2
p}x}2 q dx
R2
Fall 1
c2
(3) Es ist
exp
}x}
dx
Rn
exp
x2
i
dpx1 , .., xn q
i 1
Rn
Fubini
...
R
R
loomoon
exp
x2
i
dxi
i 1
n mal
i 1
Fall 2
exp
x2
i
dxi
i1
cn
Nun wollen wir die Fundamentallsung der Wrmeleitungsgleichung konstruieren. Sei dafr folgende Funktion
o
a
u
E D pRn Rq deniert:
E:R
}x}2
4t
n
t 2 exp
}x}2 dx
4t
Rn
Rn
n
t 2 exp
2n
Rn
2
4t}y}
4t
expp}y }2 q dy
p2cqn
13.14
n
2n t 2 dy
122
13 Regularisierung
Also zusammen
b
a
E px, tq dx dt
Rn
b
a
1
hptq c n
p2 q
n
2
exp
2
}x} dx dt hptq dt V
b
4t
Rn
Nun ist jedes Kompaktum aus R R in einem hinreichend groem Wrfel und der wiederum in Rn ra, bs fr
u
u
hinreichend groe a und b R, womit die Behauptung gezeigt wre.
a
n
13.10 Lemma:
Es gilt fr t $ 0
u
Dw E
0.
Beweis:
9
Der Fall t 0 ist trivial, weil dann in jedem Summanden der Faktor hptq oder hptq auftaucht, der verschwindet.
Also betrachten wir nun den Fall t 0, wo h konstant 1 ist. Da die Ableitung von h hier verschwindet und man
den konstanten Faktor 1 vergessen kann, reicht es aus, E {h zu untersuchen.
Wir rechnen nach:
Dw E px, tq
t 0
E
px, tq
h
3
f 1 ptq n exp }x}2 f2 1 ptq n exp }x}2
2
2
f t 2n
4t
pfxi q2 2n
4t
i 1
Dw
2 n n 1
t 2 exp
2n 2
n
n
2
n
2
n
2
1
2
ptq n exp
2n
i1
n n
2
2
}x}
4t
x2
i
4t2
n
2
exp
}x}
4t
}x}2
4t2
}x}2 }x}2
4t2
4t
21n ptq
n
2
exp
}x}
4t
1
2t
x
}x} 21n ptq exp }x} }4t}2
2n 2
4t
4t
2
2
x 2
1
21n ptq exp }x} }4t}2 n 21n ptq exp }x} 2t
4t
4t
t 2 1 exp
n
n
2
exp
2
n
2
2n 2 t 1 exp }x} 21n ptq
4t
n
2
n
2
n
2
13.8 Satz:
Es ist
Dw TE
Also ist TE die Fundamentallsung fr DW T
o
u
S.
.
(13.15)
Beweis:
Sei D pRn Rq, dann gelten folgende Gleichungen:
(1)
E px, tq
f px, tq dt
ft
partielle Integration
f E px, tqpx, tq dt
ft
t
(2)
Rn
Rn
E px, tqpx, tq dx
13 Regularisierung
123
2 y, dx 2n 2 dy:
Dw TE ,
f T ,
ft
E
fft TE , TE ,
TE , fft TE ,
f px, tq dpx, tq
E px, tq
ft
Rn
q
1
2
lim
0
lim
0
lim
0
Rn
Rn
Substitution
Rn t
lim
0 2n
p q p q
lim E x, x, dx
0
Rn
cn
2 n
n
2
cn p0, 0q
n
2
exp
Rn
exp
}y}2
Dw E x, t x, t d x, t
Rn p,Vq
loooooooooooooooooooomoooooooooooooooooooon
p q p q p q
0
}y} p2cy, q dy
dy
Rn
(13.14)
p0, 0q
Ubertragen wir diese Forderung nun in die Distributionensprache, so setzen wir das gesuchte u auf der negativen
1
reellen Achse durch 0 fort und erhalten auf diese Weise eine Funktion u Llok pRn Rq, was uns wiederum eine
I pRn1 q liefert.
gesuchte Distribution Tu D
29 dabei
pq
verwenden wir immer implizit, dass der Faktor h t in E immer nur die positive Zeitdimension ausschneidet
124
13 Regularisierung
Fr die gilt dann vollkommen analog zur Rechnung zum Beweis, dass TE Fundamentallsung ist:
u
o
Dw Tu ,
Tu , fft
f px, tq dpx, tq
upx, tq
ft
R R
f px, tq dx dt
upx, tq
ft
n
Dw
u0 dt0
t 0 Rn
...
lim upx, qpx, q dx
Rn
upx, 0qpx, 0q dx
Rn
f pxqpx, 0q dx
Rn
Rn
f pxq x lo mo n, y
o o
D I pRq
px, yq dx
Tf , x , y px, yq
Tf ,
Tf
Rn r0, Vq
Dw T F
(1) Tr T
(2)
Bemerkung 13.9:
Wir hatten fr D pRn q und eine Distribution T DpRn q gesehen (13.3) gesehen, dass die Faltung von
u
Distributionen mit der Faltung von Funktionen und Distributionen vertrglich ist.
a
Ein Blick auf den Beweis dieser Tatsache aber zeigt, dass fr eine Distribution T mit kompaktem Trger diese
u
a
Tatsache auch fr E pRn q gilt, also:
u
T T
13.9 Satz:
Hat F
TT dT E I pRn q, d E pRn q
(13.16)
13 Regularisierung
125
TE pF
auf W
Rn p0, Vq
Tu
upx, tqpxq dx
Rn
lim
F
Beweis:
Sei D pRn Rq, dann ist
T,
TE F ,
F , py, sq TE , px, tq px y, s tq
F, y , s TE , px, tq px y, s tq
F, y TE , px, tq px y, tq
F, y E px, tqpx y, tq dpx, tq
R n 1
F, y
Rn
E px y, tqpx, tq dpx, tq
ebenfalls
F, y
Rn
und |U V 1.
und wir rechnen weiter von obiger Stelle mit der Einsicht, dass der nchste Schritt ebenfalls aus obiger Identitt
a
a
folgt
weil Tr F
U und Tr V
V V W
und Tr
T, F, y
F, y
Nun ist TrpF
Rn1
E px y, tqpx, tq dpx, tq
Tr F
126
13 Regularisierung
All das galt nun fr beliebige D pRn Rq und es ist u per Konstruktion unabhngig von .
u
a
Weiter berechnen wir schlielich:
T, T , px, tq F, y E px y, tq
T , u
Tu ,
womit die erste Behauptung gezeigt wurde.
Beschftigen wir uns nun mit der dritten Behauptung:
a
TD u , Dw Tu , Dw T| , F , 0
Beweis:
Sei D pRn q beliebig, dann ist mit der ublichen Substitution x
lim
TE ,
n
1
lim ptq 2
t0 2n
lim 2
pi 2
2 ty
pxq exp
Rn
p2 ty q exp
}x}2 dx
4t
Rn
p0q exp
}y}2
}y}2
dy
dy
Rn
(13.14)
p0q
Tu TF E
Bemerkung 13.9
t
F TEt
Lemma
/ F
12.7
127
14
Wir verweisen an dieser Stelle auf den Anhang zum Thema der Fouriertransformation, auf den wir uns des
ofteren beziehen werden.
Bemerkung 14.1:
| T, |
||,||m
}},
S Ip Rn q, so ist T|
p q
D Rn
DpRn q.
Beweis:
Es ist T|DpRn q stetig auf D, weil D pRn q nach S pRn q stetig einbetten lsst.
a
Beispiel 14.1:
Ist Tr T kompakt fr eine Distribution T
u
DpRn q, so ist T
temperiert.
Beweis:
Ist der Trger von T kompakt, so ist T fortsetzbar auf E pRn q und kann wegen
a
D p Rn q S p Rn q E p Rn q
damit auf S pRn q einschrnkbar. Wegen der stetigen Einbettung von S pRn q nach E pRn q ist diese Abbildung
a
schlielich stetig.
Beispiel 14.2:
Ist f
Beweis:
Es ist fr ein D pRn q
u
| Tf , |
f dx
}}0,0 }f }1
128
/ C eine mebare Abbildung von hchstens polynomiellen Wachstum, dann ist Tf temperiert.
o
Beweis:
Mit der Denition einer hchstens polynomiell wachsenden Abbildung folgt die Tatsache, dass f lokal integriero
bar ist trivialerweise.
Man whle nun k
a
N derart, dass
1
1 x
| |
p1 |x|2 qm pxq
S pR q
k hkkkkkkkkkkkkikkkkkkkkkkkkj
n
1
p1 }x}2 qmk loomooqn
px
1 }x}2
looooooomooooooon
L 1 pRn q
S pRn q
Also ist
| Tf , |
f x x dx
x 2 mk
x 2 m loooooooooooooomoooooooooooooon
dx sup f x 1
loooooooooooooomoooooooooooooon sup x 1
2 k
x
n 1
R
c
looooooooooomooooooooooon
}}P,0
pq pq
p } } q
c}u}P,0
Also ist Tf
p qp } } q
p qp } } q
S I p Rn q .
/ C und ein
Bemerkung 14.3:
Eine Distribution T D I pRn q ist fortsetzbar zu einer stetigen, linearen Abbildung T : S pRn q
dann, wenn es ein c 0 und ein m N gibt, sodass
/ C genau
129
p
f pxqpxq dx
(14.1)
Rn
(E.1)
x
Das zeigt Tf
p
f pxqpxq dx
Rn
Tf ,
p
x
Tf ,
Tfp.
Bemerkung 14.5:
p
Ist T S I pRn q, so ist trivialer Weise auch T S I pRn q, da nach Folgerung E.1 die Fouriertransformation
/ S pRn q ein topologischer Isomorphismus ist.
p : S p Rn q
Der Beweis ist furchtbar einfach!
Prof. Dr. Holdgr n
u
14.2 Satz:
Die Fouriertransformation F : S I pRn q
/ S I pRn q , T
Beweis:
Deniere
p
T ist bijektiv, linear und topologisch.
q
q
T , : T, .
q
q
Dann gilt trivialer Weise T T usw. Wir zeigen damit die Formel
p
n q
p
T p2 q T ,
womit F 1 pT q
(14.2)
p
p2qn T und die Behauptung folgt. (14.2) gilt wegen
1
p p
T,
p
p
T,
p
T,
q
T, p2 q
Satz E.7
q
p2qn T ,
fr jedes S pRn q.
u
14.1 Lemma (Rechenregeln):
Sei T S I pRn q, pN0 qn , u
gilt:
(1) x T
(2) D T
S I pRn q und
S I pRn q und
p
(3) T u
(4)
exp { q T
pixu
{
p
T u exp pixuq T
p
i|| D T .
z
D T
p
i|| x T .
130
Beweis:
(1) Unter Verwendung der Leibnizregel ist es klar, dass x T
x T,
p
p
T, x
Satz E.5
z
piq|| T, D
y
x T ,
piq||
(2) Die Eigenschaft D T
p
T , D
p
i D T ,
(3) Ist S
p
i x T ,
S u ,
S, u
p
T u ,
Lemma E.3
p
T , u
{
T, u
p
T, exp pixuq
p
exp pixuq T,
exp { q T ,
pixu
fr jedes S pR
u
py q exp pixy q dy
Rn
py q exp pixy q dy
Rn
q
p
T T.
p
u
p2qn T u
p2qn T u
(3)
p
p
q
p
q
{
{
1
p
q
p2qn exp pixuq T
q
exp pixuq T
p
exp pixuq T
q
p
pxq
131
14.4 Denition:
Sei A AutR pRn q Gln pRq. Dann denieren wir
A : A1
fr die Transposition
u
pqT
einer Matrix.
14.1 Hilfssatz:
Sei A AutR pRn q. Dann ist A
Beweis:
T
Es gengt zu zeigen, dass A1
u
A.
AT
AT
A1
A1 A
idT idR
R
n
sein.
14.2 Lemma:
Sei A AutR pRn q und S pRn q. Dann ist A pRn q und es gilt
A
p
{
|detpAq| A .
Beweis:
Die Tatsache, dass A pRn q ist, folgt wieder direkt mit der Leibniz-Regel.
Wir berechnen mit Hilfe des obigen Hilfssatzes
p Aq pxq
p
py q exp pi pApxqy qq dy
Rn
py q exp
ixAT y
dy
Rn
Substitution y
1
|detpAq|
pA z q exp pixz q dz
Rn
{
|detpAq| A ,
{
T A
|detpAq| T A
1
Beweis:
Da A pRn q laut Lemma, ist T A I pRn q klar. Beachten wir die Denition von T A fr Distributionen
u
132
T , so ergibt sich
{
T A,
p
A,
p
T, A1
Lemma 14.2
{
T, AT
p
T , AT
fr beliebiges I pRn q, womit die Behauptung folgt.
u
Bemerkung 14.6:
Ist T Tf mit einem f
|detpAq|
p
|detpAq| T A ,
Lemma 14.2
1
1
1
x
|detpAq| TfpA |detpAq| Tfp A |detpAq| Tf A .
x fr alle x
u
1 und A
A.
{
p
T AT A
fr alle T I pRn q. Da T
u
gezeigt haben:
q
A T ist das wieder konsistent mit der Eigenschaft, die wir weiter oben schon
p
q
T T
q
Beispiel 14.4:
Sei T
0 D I pRn q. Da T
p
0 ,
p
0 ,
p0q
p
Rn
T1 ,
p
also 0 1 im distributionellen Sinne (mit 1T1 r1s).
p
Auerdem folgt mit der Umkehrformel
p
1
q
wegen .
p
x
T1 p0 p2qn
z
D 0
i|| x T1 i|| x .
p
x
x
z
x
x p0 i|| D T1 i|| p2qn D 0 .
133
0 a und damit
p
{
p
a 0 a exp pixaq 0 exp pixaq T1 .
exp{q T1
pixa
x
T1 a
p2qn a
p2qn a
(14.3)
x
Mit der Formel (4) aus dieser Folgerung knnen wir etwa cos oder sin berechnen!
o
x
Beispiel 14.5:
Sei n 1. Betrachte die Funktion
/ R, x
sgn : R
6
8 1
7
1
0
falls x 0
falls x 0 .
falls x 0
Dann gilt sgn 1 2 h fr die Heaviside-Funktion aus (). Insbesondere folgt im distributionellen Sinne
u
sgnI
p
Daher hat man 2 20
psgn 1qI 2 hI 20 .
i
y
2p{q ixsgn im distributionellen Sinne, das heit 2 sgn : T
sgnI
y
x T 1.
Aus Satz 5.2 folgt, dass jede Lsung der Gleichung (14.4) die Form
o
&
1
x
fr ein c C mit
u
&
1
,
x
pxq
dx
x
c 0
pxq
dx
x
2
i
&
1
x
pxq p0q
dx, D pRq
x
c 0
0
und
&
~
1
&
1
,
q
x
pxq
dx
x
V
V
pxq
x dx
pxq
dx
x
pxq
dx
x
&
1
,
x
pxq
x dx
pxq
dx
x
pxq p0q
dx
x
1
pxq p0q
dx
x
pxq p0q
dx
x
(14.4)
134
fr jedes D pRq folgt
u
also c 0. Als Distribution gilt also
2c
0
i
sgn
y
&
z
1
0,
&
2 1
i x
i sgn
15 Der Faltungssatz
135
15
15.1
Der Faltungssatz
Der Faltungsatz fur Distributionen mit kompaktem Trger
a
p
fp g,
wie in Satz E.1, (4) gezeigt wird. Insbesondere kann man so die (mglicherweise komplizierte) Faltung von f
o
und g mittels der Fouriertransformation ausrechnen, denn die Umkehrformel liefert
f g
Wir wollen im Prinzip fr T, S
u
1 p
{
{
pf
p
g
pf gq p2qn p2qn fy gq .
f pxq : T, y
exp pixyq
p
T Tf .
Beweis:
a
Die Wohldeniertheit von f ist klar, da eine Distribution T E I pRn q kompakten Trger hat und daher auf jede
Funktion g E pRn q angewendet werden kann.
Sei nun D pRn q, sodass 1 auf einer Umgebung von TrpT q gilt. Damit ist dann
Tf ,
f pxqpxq dx
Rn
Tr T
Es folgt die Behauptung.
T , f
T , x T, y
pyqpyq
p
p
T,
p
T,
pyq
p
136
15 Der Faltungssatz
15.2 Satz:
Es gilt fr Distributionen S, T
u
T Tf : f T
E I pRn q, dass
z
S T
p p
ST
Beweis:
Es ist nach Satz 12.3 S T noch immer in E I pRn q und es folgt mit den letzten Satz, dass
S T
Tf
wobei
hpxq
S T, y exp pixyq
S, y1 T, y2 exp pixpy1 , y2 qq
f pxqgpxq
def.
p
fr S Tf , T Tg .
u p
15.2
Diese Menge ist mit stellt mit punktweiser Addition und Multiplikation sowie der Skalarmultiplikation eine
Algebra und einen Untervektorraum von E pRn q dar.
Beispiel 15.1:
Die Abbildung f : Rn
Beweis:
Es ist D f pxq p pxq exp i}x}2 und damit ist |D f pxq| |p |, womit die Behauptung gezeigt ist.
15.1 Lemma:
Ist f ein Multiplikator von S pRn q, so ist f S pRn q und es ist die Abbildung m : S pRn q
linear und stetig.
Beweis:
Es gilt fr beliebige Multiindizes und
u
}f },
sup x D pf q
x Rn
sup x
c D f D
xRn
sup
c x D f D
n
xR
sup
Qon D
lo mo
o
xRn
0||| | Polynom
r max }}Q ,
Damit ist sowohl klar, dass f S pRn q erfllt ist, als auch die Stetigkeit von m gezeigt.
u
/ S pRn q, f
15 Der Faltungssatz
137
Folgerung 15.1:
Sei f M fest, dann ist fr jede temperierte Distribution T
u
Beweis:
Es lsst sich f T wie folgt als Verknpfung stetiger Abbildungen auassen und ist damit selbst stetig:
a
u
fT :
S p Rn q
/ S pRn q
/ f
stetig(Lemma)
/C
stetig(Def)
T, f
f T
Beweis:
Es ist zu zeigen, dass fr eine in S pRn q konvergente Folge pTj q
u
erfllt ist.
u
Die Konvergenz in S pRn q ist punktweise. Es gilt also
Tj ,
/V
/V
/ S I pRn q
/ T die Identitt f Tj
a
/V
/ fT
T, d S pRn q
f Tj , Tj ,
lof on
omo
S pRn qLemma
/V
T, f f T,
/
M.
Beweis:
Es ist f pxq T, y
Es ist T
derart, dass
| T, | c
sup |D |
(15.2)
||m xRn
und wir sehen fr ein beliebiges x aus dem kompakten Trger K von T mit eben gesehener Formeln (15.2) und
u
a
(15.2), dass
|D f pxq|
(15.2)
(15.2)
||m xK
sup D f pxq
||m xK
||m xK
138
15 Der Faltungssatz
Beweis:
p
p
Es ist mit den letzten Stzen T Tf mit f M . Weiter wurde in Satz 14.2 gezeigt, dass auch S in S I pRn q
a
p in S I pRn q liegt.
liegt und damit schlielich f S
p
p
p
/ S I pRn q bijektiv ist, liefert nun ein U S I pRn q, sodass U f S erfllt ist.
Die Tatsache, dass pq : S I pRn q
u
Nun ist noch zu zeigen, dass U S T .
Gleichung (14.2) sagt uns dazu, dass fr eine beliebige temperierte Distribution V 30
u
q
p2qn V
p
V
q
V, V ,
q
p
p
p2qn V,
n V ,
p p
p2q
Weil wir hier von stetigen Bedingungen reden, reicht es, die Behauptung fr
u
dicht liegt in S pRn q. Damit gilt schlielich
q
U,
(15.3)
p p
p2qn U ,
p p
p2qn f S,
p p
p2qn S, f
(15.4)
(15.4)
Nun ist der Trger von kompakt und folglich T eine wohldenierte Distribution mit kompakten Trger und
a
a
es gilt mit der ersten Version des Faltungssatzes
{
T T
(14.2)
p p
T T
(15.5)
p
f T
f T
p
Tf
p
(15.6)
U,
q
(15.6)
(15.4)
(12.2)
(12.2)
(15.5)
p p
p2qn S, f
p z
p2qn S, T
S, pT qq
S, x pT qpxq
S, x T, y px yq
q
S, x T, y px yq
q
S T,
Bemerkung 15.1:
p
Wir haben gesehen, dass fr T E I pRn q folgt, dass T Tf fr ein f M und sich schlielich ergibt, dass
u
u
I pRn q. Allerdings gilt nicht, dass aus f M folgt, dass Tf E I pRn q.
z
p
p
T S f S dS S
30 im
gilt.
15 Der Faltungssatz
15.3
139
Notation 12:
Es ist fr ein f
u
Notation ein
p
die Abbildung Tf aus S I pRn q. Damit ist auch Tf
x
p
M tTf , F
x
Ist nun ein T M und S
p S I pRn q.
S
Damit ergibt sich
M u E I pRn q
p
S I pRn q, dann ist per Denition T Tf
p
x
T Tf
x
und weiter
q
p2qn Tf Tp2q fq M S I pRn q31
n
qp
pp
T S p2 qn f S S I pRn q
p
p2qn fqS
(15.7)
denieren. Eingeschrnkt auf S E I pRn q ergibt sich die alte Denition, sodass die Konsistenz dieser Wahl
a
gezeigt ist.
Explizit ausformuliert ergibt sich dann mit obiger Gleichung
S T
1
{
{
p2qn S T
~
1 p p
z
SS T
n
p2q T
(15.7)
Bemerkung 15.2:
Ist g L 1 pRn q, so ist pF 1 g qpxq
|
x
qp
S T
fS
x
qq
qp
S T
fS
x
q
p
fS
Beweis:
Oensichtlich ist F 1 g stetig und beschrnkt und wir zeigen nun, dass F 1 Tg
a
1
p
Nach der klassischen Umkehrformel ist f pxq p2qn g pxq.
Es ist
{
1 |
1
n|
|
x
p2qn Tg p2qn p2q Tg Tg
Tf ist:
und damit
F 1 pTg q
1 |
p2qn pTg
Tp q g
q
p
Tf
1
2 n
15.5 Satz:
Sei T DpRn q und M Rn beschrnkt und oen. Dann gibt es ein f : Rn
a
T|M
Beweis:
Sei D pRn q mit | M
p1 qm Tf |
E I pRn q
x
T
31 Hier
Tg
Tf
identiziert.
140
15 Der Faltungssatz
Tf , also
und folglich
Tf Tf
p p
f C pRn q
x
x
|
Tg p2qn Tg Tp2q
1
q1
ng
p
q
f p2 qn g1
1 p
p2qn fq g1
p
Also gibt es eine stetige Funktion f mit f pxq p1 }x}2 qm g pxq.
z
p
Durch Umstellen erhlt man (bedenke dabei, dass D i|| x
a
{
p
g pxq p1 }x}2 qm f pxq p1 qm f
Tg
Tp1q f
{
Tp{ f
1q
{
p1 qm Tf
m
Also ist
T
p1 qm Tf
16 Periodische Distributionen
141
16
16.1
Periodische Distributionen
Existenz und erste Beispiele periodischer Distributionen
Zn f px kq f pxq f k pxq.
T a da Zn
Bemerkung 16.1:
Obige Denition ist quivalent dazu, dass
a
T
T e d 1, .., n
16.3 Denition:
Sei k Zn . Dann deniere die Funktion ek
E pRn q durch
ek pxq : exp p2ikxq ,
x Rn .
Bemerkung 16.2:
Zunchst halten wir fest, dass mit Beispiel 14.3 wegen |exp p2ikxq| 1 fr alle x Rn oenbar Tek S I pRn q
a
u
fr jedes k Zn folgt. Es ist auerdem klar, dass die Distributionen Tek fr jedes k Zn periodisch sind, da fr
u
u
u
S pRn q und l Zn gilt:
Tek
l ,
Tek , l
exp p2ikxq px lq dx
Rn
Rn
Das zeigt Tek
l Te
exp 2i lo mo n
okl o
Z!
ek pxqpxq dx
Rn
Tek , .
16.1 Satz:
Seien nun ck
k Zn
32 Wir
O pp1 }k}qm q.
ck Tek
142
16 Periodische Distributionen
Beweis:
Sei S pRn q und p N, dann ist
1
p
p}k}2 qp |p2kq| p2q2p |2}k}|2p |p2kq|
p
1
z
p2q2p p p2kq
p
p1 }k}qmn1 |p2kq| c
D
sup x{ .
||,||p xRn
p
p1 }k}qmn1 |p2kq| C
sup }},
||,||p xRn
(16.1)
|ck p2kq|
p
K p1 }k }q
|p2kq|
p
K p1 }k }q
CI
m n 1
(16.1)
p1 }k}qn1
|p2kq|
p
p1 }k}qn1
sup }}, V in die Konstante eingeht.
(16.2)
||,||p xRn
p1 |x|qk1 dx Vol
S n1
Rn
n1 dt V
tn1 p1 tq
berechnet. Mit dem mehrdimensionalen Integralkriterium fr Reihen (genau wie das eindimensionale aus der
u
Anfngervorlesung) folgt, dass
a
gilt.
Sei N
N. Dann ist
p1 }k}qn1 V
(16.3)
Zn
ck Tek ,
}k}N
ck ek x x dx
}k}N
pq pq
}k}N
(16.2)
CI
|ck p2kq|
p
}k}N
p1 }k}qn1
/ V wegen (16.3) absolut konvergent. Das zeigt die absolute Konvergenz der Reihe
ck Tek ,
k Zn
ck Tek ,
k Z
Damit ist
k
Zn
CP
||,||p
}}, .
e
ck Tek in S I pRn q konvergent und da S I pRn q ein Frecht-Raum - insbesondere vollstndig - ist,
a
16 Periodische Distributionen
143
T :
ck Tek
k Zn
l ,
T, l
ck Tek , l
k Zn
k Zn
ck Tek , l
ck Tek
l ,
k Zn
Tek periodisch
ck Tek ,
k Zn
Das zeigt T
l T
ck Tek ,
k Zn
T, .
16.2 Satz:
Es gilt
lo mo n k
o 0 o
kZn
E I pRn q
in S I Rn
p q /
: S S I p Rn q
(16.4)
}k}N
0 k ,
||,||p
}k}N
V.
0 k ,
k Zn
S S I pRn q.
Um die Periodizitt zu zeigen sei l Zn . Dann ist
a
0 k
k Zn
k Zn
Indexverschiebung
k Zn
0 k l
k Zn
0 kl
0 k
144
16 Periodische Distributionen
Nun brauchen wir das folgende Lemma, welches eine Art Teilung der Eins darstellt:
16.1 Lemma:
n
Sei I : s1, 1r der oene Einheitswrfel im Rn . Dann gibt es ein
u
1 auf
Rn
k Zn
gilt.
Beweis:
Da nur fr endlich viele k Zn k pI q I $ r gilt, ist die (punktweise) Existenz der Summe klar.
u
$
Sei nun 1 , 1 und D pRq mit 0, pxq 1 fr |x| und Tr pq s1, 1r. Ein solches existiert
u
2
nach dem Satz vom Hut.
Fr festes t R gibt es dann mindestens 2 und hchstens 3 k Z, sodass k ptq $ 0. Daher ist
u
o
ptq :
k Z
ptq
,
k ptq
tR
als Funktion aus D pRq wohldeniert. Ganz oensichtlich ist eine Lsung wie in der Behauptung fr den Fall
o
u
n 1, denn
l
l
l lZ
lZ 1.
k l
k
lZ
Fr beliebiges n N setze entsprechend
u
k Z
k Z
: loooomoooon
...
D pRn q .
n Faktoren
Damit ist
px1 , ..., xn q
p x q
16.1 Hilfssatz:
Sei T D I pRn q und a Rn . Dann gilt
k T
T k
(16.5)
Beweis:
Sei D pRn q. Dann gilt
a T,
T, x a , y
px yq
T, x px aq
T, a
T a , .
Mithilfe dieses Hilfssatzes und des vorigen Lemmas knnen wir den folgenden, sehr tiefgreifenden Satz beweisen:
o
16 Periodische Distributionen
145
16.3 Satz:
Es gilt
Tek
Beweis:
Setze
T :
Sei weiter
lo mo n k .
o 0 o
E I pRn q
k Zn
k Zn
Tek
S I pRn q .
Zn
T
o n
lo mo k T
o
n
D pRn q
k Zn
pp k q T q .
k Zn
Um dies formal zu beweisen, rechnet man die Anwendung auf ein S pRn q nach. Da T selbst nach Satz 16.1
periodisch ist, folgt dann weiter
T
p k q pT k q
k Zn
p q
loTon k .
omo
(16.6)
E I pRn q
k Zn
pek 1q T,
pek 1q Te ,
l
l Zn
p Te , ek
Tel , ek
l Zn
l Zn
Indexverschiebung
Tel ,
l Zn
Tel ,
l Zn
Tel ,
Tel ,
l Zn
Rn
l Zn
Rn
l Zn
Tel ,
l Zn
Tel ,
l Zn
0.
Entsprechend ist
pek 1q T 0
fr alle k Zn . Fr die speziellen k e mit 1 n erhlt man so
u
u
a
pexp p2ix q 1q T 0,
(16.7)
wobei wieder x als Funktion aufgefasst wird. Allgemein berechnet man nun
exp p2itq 1
sinptq
t
loomoon
tR
CV ps1,1rq
und wegen
p q fr alle t s1, 1r liefert das ein C V ps1, 1rq sodass ptq $ 0 d t s1, 1r und
u
sin t
t
t s1, 1r .
146
16 Periodische Distributionen
x px q T 0
1, ..., n, was wegen Tr pq s1, 1rn und ptq $ 0 sofort
x T 0
impliziert.
Schlgt man [Holdgrn], Satz 31.13 mit a
a
u
mit Integralrestglied
(16.8)
C V pRn q
p0q
fr spezielle C V pRn q.
u
das heit aber, dass fr jedes D pRn q
u
T,
T,
T, p0q
T, x
T, p0q
x T,
looooomooooon
0 nach p16.8q
T, , p0q
p0q loomoon
T, 1
: C
C 0
T
fr ein C
u
(16.9)
pC0 q k C
k Zn
0 k .
k Zn
Zn , das heit
k pJ q Rn .
k Zn
Sei auerdem 1J . Dann ist Trpq kompakt und entsprechend L 1 pRn q. Daher ist T
Faltung T T ist wohldeniert. Mit Satz 12.6 folgt
T T
Tek T .
(16.10)
k Zn
Wir berechnen jetzt also Tek T . Sei D pRn q. Dann gilt mit der Denition der Faltung
Tek T ,
Tek , x T , y
Tek , x
Rn
Fubini
J
Rn
px yq
px y q dy
ek pxqpx y q dy dx
looooooomooooooon
stetig, mebar
Rn
ek pxqpx y q dx dy
Rn
ek pxqpxq dxek py q dy
pxqek pxq
ek py q dx.
16 Periodische Distributionen
147
Wegen
ek py q dy
exp p2iky q dy
folgt also
Tek T
exp p2ik y q dy
0
T1
$0
0
falls k
falls k
T T
0
T1 ,
falls k
falls k
$0
0
T1 .
0 k
kZn
loooooooomoooooooon
T T1
1T
c
p0 k q T k T T k
p0 k q T
k Zn
pp k q T q
k Zn
T k
k Zn
T1
die disjunkte Vereinigung der k pJ q, k Zn ist.
daraus, dass R
Das zeigt nun endlich die Behauptung.
Wenn sie stetig sind, ist das mit der Stetigkeit furchtbar einfach.
Prof. Holdgrn
u
16.2
k
k Zn
p
T p2k q Tek
(16.11)
k Zn
u
a
in S I pRn q in dem Sinne, dass es (laut Satz 15.1) fr T als Distribution mit kompaktem Trger ein f
p Tf gibt, und entsprechend T p2k q : f p2k q gesetzt wird.
p
T
Beweis:
Wir falten T mit der Distribution
Tek
k Zn
M mit
0 k ,
k Zn
diese Gleichung gilt nach obigem Satz. Da TrpT q kompakt ist, ist diese Faltung wohldeniert. Das liefert mit
Satz 12.6 sofort
T Tek
k Zn
Tek
k Zn
0 k
k Zn
p k q
k .
k Zn
Hilfssatz 16.5
k Zn
148
16 Periodische Distributionen
Die rechte Seite entspricht schon der Behauptung. Die linke Seite berechnen wir mittels Bemerkung 13.1: Es
gilt entsprechend
T Tek
TT e
(16.12)
ek px yq . Man berechnet
pT ek q pxq T, y exp p2ikxq exp p2ikyq
p
exp p2ikxq T p2kq
p
mit der Interpretation T p2k q f p2k q fr T Tf aus der Behauptung. Wir haben also
u p
p
T ek ek T p2k q
T Tek
p
TT p2kqe T p2kq Te
p
k
f p t nq
n Z
p
f p2nq exp p2intq ,
t R.
n Z
Aufgabe 6:
Berechne mit Hilfe der klassischen Poisson-Summenformel Reihen wie
V
1
V
1
n
,
2
4
n
n 1
n 1
Bemerkung 16.5:
Die klassische Form der Poissonschen Summationsformel ndet recht viele Anwendungen. Sie wird nicht nur
zum exakten berechnen von Summen verwendet sondern zum Beispiel auch genutzt, um die Konvergenz der
Thetareihen in der Theorie der Modularfunktionen zu zeigen.
16.5 Satz (Anwendung der Poissonschen Formel in der Gruppentheorie33 ):
Sei G eine lokal kompakte, hausdorsche und abelsche topologische Gruppe, H eine Untergruppe und H u die
Menge der Charaktere von G, die auf H trivial wirken. Gelten weiterhin folgende Voraussetzungen
(1) Fr jedes a G liege die Abbildung H
u
(2) Die Abbildung G
/ C, x
/ C, y
f payq in L 1 pH q
Dann gilt unter der Voraussetzung, dass die Haarmae auf H und H u richtig normiert sind
f py qdy
Aufgabe 7:
Zeigen sie, dass sich fr G R und H
u
16.3
Hu
p
f p qd
16.6 Satz:
Sei T DpRn q eine periodische Distribution, dann ist T S I pRn q und es gibt Koezienten
ck C, k Zn , ck Op|1 }k }|qm (m N geeignet), sodass
T
ck Tek
k Zn
33 f r
u
16 Periodische Distributionen
149
Beweis:
Sei D pMq wie im letzten Lemma gewhlt, also
a
0,
k Zn
p1, 1qn ,
k Zn
p k qT
k Zn
Tr
(16.13)
p k qpT k q
pT q k
k Zn
Es gilt nun weiter mit (16.5) und der Tatsache, dass T kompakten Trger besitzt
a
T
16.14
k Zn
16.5
pT q k
pT q p k q
k Zn
Faltg.stetig
p q
k
kZn
I pRn q looooooomooooooon
E
S I pRn qp16.4q
loTon
omo
/ E I pRn q T
16.14
pT q k
k Zn
16.11
x
T p2k qTek
Zn
x
wobei die Auswertung als f p2k q fr das f , sodass T Tf erfllt ist, zu interpretieren ist. Weiter ist nach
u
u
dem entsprechenden Satz f M , hat also hchstens polynomielles Wachstum, was folglich auch fr die
o
u
ck : f p2k q
gilt.
16.4 Denition (Fourierreihe f r periodische Distributionen, Fourierkoezienten):
u
Man nennt oben denierte Reihe die Fourierreihe von T , die ck heien entsprechend die Fourierkoezienten
von T .
Um obige Denition zu verteidigen, muss noch die Eindeutigkeit von Reihe und Koezienten gezeigt werden,
die ja wiederum a priori von der Wahl der Abbildung abhing, dazu folgender
16.7 Satz:
Die Fourierkoezienten einer periodischen Distribution sind eindeutig.
Beweis:
Sei T
ck Tek , wobei ck
k Zn
k Zn
y
ck Tek
p2qn
14.4
ck 2k
k Zn
Sei nun k0 Zn fest gewhlt und sei weiter D pMq derart gewhlt, dass p2k0 q 1 und
a
a
Tr 2 Zn t2k0 u, dann ist mit obiger Gleichung
p
T , p2qn ck 2k ,
p2qn ck
Da aber die Fouriertransformation eingeschrnkt auf S I pRn q bijektiv ist, bedeutet dies, dass ck
a
0
eindeutig ist.
150
16 Periodische Distributionen
12.7
Tpek q el
pek q el pxq
Rn
py qe2iky e2ilpxyq dy
Rn
py qe2ipklqy e2ilx dy
Rn
also zusammengefasst
e2ipklqy dy
e2ilx
r0,1sn
0
e2ilx
k,l Te
Tek Tel
k
k
$l
l
34
l Zn
k,l cl Tel
cl Tel Tek
l Zn
T Tek
T ist wohltemperiert
T
k Z
34 hier
ck Tek
k Z
T Tek
151
17
Umgebung von a auf der immer noch T|U Tf fr das selbe f gilt, sodass a regulr, also in V enthalten ist.
a
Folglich ist U V und V oen.
17.1 Satz:
Sei U : M z TS pT q, dann hat T auf ganz U die Darstellung Tf fr ein f
u
E pU q.
Beweis:
Die per Denition existenten Umgebungen U , I, sodass T|U Tf , bilden oensichtlich eine Uberdeckung
von U .
Zu dieser whle man
a
eine ihr untergeordnete Teilung der Eins t , I u.
Dann folgt fr f :
u
f , dass T|U Tf und die Behauptung ist gezeigt.
Bemerkung 17.1:
Es ist (trivialerweise) TS pT q TrpT q, was direkt aus der Denition des Trgers einer Distribution folgt.
a
17.2 Satz:
Sei T DpRn q eine Distribution und S
S I pRn q, so ist TS pT S q TS pT q TS pS q.
Beweis:
Whle Abbildungen E pRn q und D pRn q, sodass 1 auf einer Umgebung von TS pT q und 1
a
auf einer Umgebung von TS pS q. Diese Wahlen sind mglich, da TS pS q kompakt ist und damit der Satz vom
o
Hut anwendbar ist und tRn z TS pT q, TrpT q u eine Uberdeckung von Rn ist, zu der es eine ihr untergeordnete
Zerlegung der 1 gibt. Die Abbildung TrpT q erfllt dann die gewnschten Eigenschaften.
u
u
Nun gilt
T S
pT p1 qT q pS p1 qS q
T S p1 qT p1 qS T p1 qS p1 qT S
In allen Termen, in den ein Faktor 1 fr ein t, u vorkommt, ist das entsprechende Produkt als
u
Distribution uberall regulr und dementsprechend nach dem letzten Satz als Tf fr ein geeignetes f darstellbar.
a
u
Nach (12.7) ist dann die Distribution darstellbar als (hier exemplarisch fr den Summanden T p1 qS)
u
Tf p1qS , ist also regulr und entsprechend ohne singulren Trger.
a
a
a
Wir haben gezeigt, dass
TS pT S q TS pT S q TrpT S q
12.4
Tr Tr
152
Man whlt nun Folgen pk qkN und pk qkN , sodass Trpk q und Trpk q absteigende Folgen sind und
a
Tr k
TS pT q und
k N
Tr k
TS p S q
k N
Trpk q, sodass
a
Nun ist Trpk q kompakt und in Rn enthalten, weswegen es folgenkompakt ist und wir eine konvergente Teilfolge
pbk q nden. Doch dann konvergiert auch pak q pa bk q und die Grenzwerte mssen in den entsprechenden
u
singulren Trgern von S und T liegen, also folgt die Behauptung.
a
a
17.3 Denition (partielle Dierentialgleichung mit konstanten Koezienten):
n
j
Sei P CrX1 , .., Xn s, x
a
a x ein Polynom in n Variablen dann nennt man das
xj :
Polynom
||m
||m
j 1
P pD q
||m
Dj j
j 1
j
Man deniert fr einen partiellen Dierentialoperator P pDq
u
a
Dj deniert man das Hauptsymbol
P
||m
P pxq
||m
j 1
a x
j
Ein Dierentialoperator P pDq
a
Dj heit elliptisch, falls
||m
j 1
P pxq $ 0 dx $ 0
Beispiel 17.1:
Folgendes sind Beispiele elliptischer Dierentialoperatoren
(1) Der Laplaceoperator , deniert durch ppxq
j 1
x2 ist elliptisch.
j
Q
P
1
2
Op}x}km|| q.
Beweis:
||m
153
Weiter ist P oensichtlich homogen vom Grad m, und es folgt mit positiven c , 0
m 1
m1
cj }x}j dx Rn
j 0
Also ist
1
P p xq
Op}x}m q fr x
u
/V
Q
pxq Op}x}m q fr x / V
u
P
und wir haben die Behauptung fr 0 gezeigt.
u
Nun reicht es noch, die Behauptung fr einen Standardbasisvektor e zu zeigen. Es folgt fr den elliptischen
u
u
Dierentialoperator D Q
P
P D QP 2QD P
Nun ist der Grad des Zhlers kleiner oder gleich k m 1 und der des Nenners gleich 2m.
a
Wenden wir nun den bewiesenen Fall 0 an und erhalten
Q
P
Q
P
Op}x}km12m q fr x
u
/V
Beweis:
u
Die Inklusion ist trivialerweise klar: Ist T bei a M regulr, so ist T Tf mit einem f C V pU q fr eine
a
Umgebung U von a. Damit folgt aber P pDq T TP pDqf , das heit P pDq T ist bei a ebenfalls regulr. Das zeigt
a
TS pP pDqT q TS pT q.
Nach unseren Regeln fr die Fouriertransformation gilt
u
P{T
pDq
p
P pixq T .
Denieren wir P pxq : P pixq, so ist oenbar P genau dann elliptisch, wenn P elliptisch ist. Nach Voraussetzung nden wir also ein c 0 mit
}x}2 c |P pxq| 1.
p1 q 1 1
auf ganz Rn (das heit insbesondere hat diese Funktion hchstens polynomielles Wachstum) und wegen der
o
Stetigkeit haben wir
U : Tp1q 1 S pRn q .
P
S pR q
n
p
mit E
p
U . Insbesondere kommt also E von einer (stetigen) Funktion her. Wir
TS pE q t0u .
Dazu nehmen wir ,
i|||| D
p
x E
i|||| D
(17.1)
Tx p1q 1 .
P
154
Die rechte Seite dieser Gleichung knnen wir als Funktion betrachten. Fr groe x ist pxq
o
u
dem Hilfssatz 17.1 oben haben wir
| | || n m 1.
Fr dieses folgt so als Funktion
u
D E
x{
O }x}n1
(17.2)
L 1 pRn q als Funktion zur Folge und wegen den Eigenschaften der Fouriertransformation so
x D E C p Rn q .
Damit meinen wir, dass die Distribution x D E gleich einer Distribution Tf mit einem f C pRn q ist.
Sei nun fest. Zu x $ 0 nden wir ein mit (17.2) und x $ 0. Division durch x liefert, dass D E als
D E
Das hat x{
D E
Da dies fr alle gilt haben wir also
u
E |Rn zt0u
C pRn z t0uq .
C V pRn z t0uq .
p
p
P pxq E p1 q p0 S
p
fr ein S mit S als Distribution (dieses S existiert, da kompakten Trger hat). Das zeigt
u
a
P pDqE
0 S.
Sei N M oen, sodass N kompakt in M enthalten ist. Whle dazu ein D pMq mit |N 1. Es gengt zu
u
a
zeigen, dass TS pT q TS pP pDqT q gilt.
Auf N gilt dann T T und Tr pT q Trp q M kompakt, das heit T E I pRn q durch Fortsetzung durch
0 auf Rn z Trp q. Die (damit wohldenierte) Faltung liefert nun
T
q
p
p
c als Distribution und Tf mit f pxq pyq exp pixyq dy, f C V pRn q folgt sofort, dass
R
S C V pRn q als Funktion gilt. Die Eigenschaften der Faltung liefern so
TS pT q TS pE q TS pP pDqT q TS pS pT qq TS pP pDqT q.
loomoon
loooooomoooooon
Wegen S
r
t0u
||m
a C
Der Beweis dieser Aussage ndet sich in zum Beispiel bei Hrmander in einem der Bcher uber linear partial
o
u
p qtu
155
18
p
durch die klassische Formel f pxq f pxq exp pixy q dy deniert. Wir wollen nun in diesem Abschnitt zunchst
a
R
p
beobachten, dass }f }2 konst }f }2 fr gute Funktionen f und
u
p : L 1 Rn
}f }2 :
g
f
f
f x
e
| p q|2 dx
Rn
p q L 2 pRn q
/?
p: L 1 R n
Fr 0 setze
u
Dann ist
Sei f
Rn
2
pxq :
pxq dx 1.
1 x
.
n
f py q px y q dy.
Rn
Dann ist f
0 /
0.
Beweis:
Oenbar ist die Funktion y f pxq px y q aus L 1 pRn q. Daher ist f wohldeniert.
Genau wie in Satz 1.3 ist f C V pRn q.
Wegen
f pxq
f px y q py q dy
Rn
L 2 pRn q
Rn
} } |f pxq|
f 2
2
Rn
dx
L 2 pRn q
py q dy .
Rn
looooomooooon
Rn
f px y q py q looomooon y
looooooooomooooooooon py q
1
Rn
py q
|f px yq|2 dx dy }f }2 .
2
Rn
looooooooomooooooooon
}f }2
2
156
|f pxq f pxq|2
y dy
f xf x
n
R
p p q p yqq p q
Rn
}f f }2
2
py q}f
f y }2 dy
2
Rn
pxq}f
f x }2 dx.
2
Rn
0
/ 0 gleichmig in x Trpq gilt.
a
Es bleibt also zu zeigen, dass }f f x }2
n
Ist f K pR q, so ist f gleichmig stetig, womit diese Aussage klar ist. Gem Satz C.3 ist K pRn q L 2 pRn q
a
a
dicht, das heit zu 0 nden wir g K pRn q mit }f g }2 .
Dann ist auch
}f x g x }2
}f f x }2
}f g}2 }g g x }2 }g x f x }2
2 }g g x }2
0 /
0.
Bemerkung 18.2:
u
Also ist L 2 pRn q C V pRn q dicht in L 2 pRn q bezglich der
18.1 Satz:
D pRn q ist dicht in L 2 pRn q bezglich der
u
} }2 -Norm.
} }2 -Norm.
Beweis:
Sei f L 2 pRn q und f wie im Hilfssatz oben. Whle ein D pRn q mit 0
a
Setze nun
g pxq : pxq f pxq.
Dann ist g
g
f
f
e
}x }2 1
|f pxq|2 dx.
Der erste Term auf der rechten Seite geht laut Hilfssatz fr 0 gegen 0 und der zweite Term konvergiert
u
nach dem Lebesgueschen Satz uber die majorisierte Konvergenz (mit Majorante |f |) gegen 0.
L 2 pRn q, sodass
x
Tf Tg
n
gilt. Auerdem ist }g }2 p2 q }f }2 .
p
Denieren wir f : g als die Plancherel-Transformation, so ist
c
}fp}2 2n }f }2
(18.1)
Beweis:
Sei zunchst f
a
157
Rn
p
haben wir
Insbesondere fr
u
p
pxq pxq dx
Rn
pxq
py q exp pixy q dy
q
p
.
Rn
nq
n
p
p q
q
p
q
Daher ist p2 q p2 q und es folgt mit der Formel oben, dass
p2qn
pxqpxq dx
Rn
Rn
pxq pxq dx
pxqpxq dx.
p z
Rn
Das zeigt
p
T,
p
f pxqpxq dx.
Rn
p
T,
p
Also ist T : D pRn q
/ C,
p
}f }2 }}2 p2q }f }2 }}2 .
n
2
p
T , bezglich der
u
D pRn q L 2 pRn q dicht, das heit es gibt genau eine stetige lineare Fortsetzung
: L 2 p Rn q
/ C mit ,
p
T,
d D pRn q .
c
| , g | 2n }f }2 gilt, da D pRn q L 2 pRn q dicht ist. Nach dem Satz von
} g } 1
Riesz (Satz B.2) nden wir genau ein g L 2 pRn q mit
Klar ist auch, dass } }
sup
2
p
T,
p|gq
g py qpy q dy
d D pRn q .
Rn
Bleibt nur noch zu zeigen, dass in der letzten Ungleichung sogar Gleichheit gilt.
Dazu beachten wir, dass genauso
mit einem h L 2 pR
q und }h}
p x
T Tg
Th
}g}2 p2q }f }2 gilt. Mit der Umkehrformel gilt
p
p
n q
n
p
T p2 q T p2 q Tf ,
q
q
das heit wir haben h p2 q f fast uberall. Entsprechend gilt
(18.2)
158
Beweis:
Es gilt B.1
pfp, gq B.1
p
18.1
1 p
}f g}2 }fp g}2 i}fp ig}2 i}fp ig}2
p
p
p
p
4
1
p2qn }f g}2 p2qn }f g}2 ip2qn }f ig}2 ip2qn }f
4
ig}2
B.1
p2qn pf, gq
18.3 Satz:
Sind f, g
Beweis:
Weil sowohl f als auch g messbar sind, ist auch die Abbildung
R n Rn
/R
1
1
f py q2 f py qg px y q g px y q2
2
2
1
2 pf pyq gpx yqq2 L 1 pRn q
ist sie auch integrabel, also als Abbildung in Abhngigkeit von y in L 1 pRn q und man deniert
a
f g pxq
f py qg px y qdy
Rn
} }L
pRn q gilt
|f gpxq|
f y g x
y dy
pqp q
Cauchy-Schwarz
}f }L }g y }L
}f }L }g}L
V
2
2
|f gpzq f gpxq|
f y
n
R
f y
Cauchy-Schwarz
z
dy
}f }L }g g xz }L
2
/x
/
dy
159
Tf Tg ,
y
Tf , x Tg , y px yq
y
x
Rn
Rn Rn
Rn
Rn
f g py qpy qdy
Rn
Tf g ,
18.4 Satz:
Seien f, g
z
f g
fp g
p
Beweis:
Man betrachte die inverse Fouriertransformation
p p
F 1 pf g qpxq
p2qn
p p
f py qg py qeixy dy
(18.3)
Rn
p
p2qn fp, y gpyqeixy
Wegen
ixy
g
p y e
Ist schlielich y
sodass36
p
gpyqeixy
x
p
hx py q g py qeixy dy
36 weil
pq
ppyq |eixy | ppyq
g
g
eine L 2 Funktion und es gibt fr festes x Rn
u
eine Funktion hx
Rn 37
die Fouriertransformation auf L 2 bis auf Konstante ein isometrischer Isomorphismus ist!
L 2 pRn q,
(18.4)
160
Th
14.2
1
q
p
p
p2qn Th ,
1
y q
p
p2qn Th ,
x
1
p
x q
p2qn Th ,
1
p
x
q
p2qn hx pyqpyqdy
x
Rn
18.4
E.3
18.2
1
p2qn
1
p2qn
Rn
p
g py qeixy py qdy
p
q
{
p
q
g py q x py qdy
Rn
1
p2qn
q
x , g L
p
x , g L
q
q
g py qpy xqdy
2
Rn
y
x
y
Also haben wir gesehen, dass fr fast alle y
u
g py qpx y qdy
Rn
g px y qpy qdy
Rn
Tygpxyq ,
Rn
hx py q g px y q
(18.5)
1
p
p2qn fp, y gpyqeixy
1
18.4
x
p2qn fp, hx
18.4
f, hx
18.5
f py qg px y qdy
18.2
p p
f g
Rn
f g pxq
z
f g
ha C : f pzq
37 beachte
||1
a z
161
Diese Reihe konvergiert gleichmig auf allen Kompakta und es ergibt sich
a
a
1
p2qn
...
|z1 |1
f pz1 , .., zn q
n
|zn |1 1
dz1 . . . dzn
z 1
In anderen Worten: die Holomorphie in jede Raumrichtung impliziert die Stetigkeit der gesamten Abbildung.
162
19
Beobachtung 19.1:
p
Sei f K pRn q, dann kann man f pz q
holomorphe Funktion.
Rn
Notation 13:
p
Wir werden nun zwischen den Notationen von f als Funktion auf dem reellen Vektorraum oder als holomorphe
Funktion auf Cn hin- und herspringen, ohne dabei die Notation nennenswert zu ndern.
a
p
Der Leser mchte f als eine Funktion mit komplexen Denitionsbereich auassen, wenn das Argument z heit.
o
Notation 14:
Wir schreiben fr einen Vektor z
u
Im z1
n
C Impzq ... Cn .
Im zn
19.1 Lemma:
Fr Funktionen f : Cn
u
a
quivalent:
(1)
(2)
d Nn hc V : dz Cn , df A : |z f pzq| c ea} Im z}
0
dm N hcm V : dz Cn , df A : |f pzq| cm ea} Im z}
n
(3)
(4)
(5)
p1|z |qm
1
p1|z |m q
1
Beweis:
Wir zeigen folgende Implikationsketten:
p1q p2q
163
t1, .., nu
nm
|z f pzq| c ea} Im z} |z f pzq| c ea} Im z}
|f pzq| 5 ea} Im z} z 1
c
2
ea} Im z} p
cea} Im z} 1c zeaq} Im z} 2
c0
0
p1z q
maxtc0 , c uea} Im z} p12z q
sowie jedes
nm
nm
nm
|f pzq|n
maxtc0 , c uea} Im z}
|f pzq|n
ea} Im z} 2nm
n
n
|f pzq| e }
nm
2nm
p1 z qnm
maxtc0 , c u
n
a Im z
nm
nm
1
g
f
|z | 1
|z | 1
nm
p1 z qnm
1
} 2nm f maxtc , c u
f
n
0
f
f 1
n
p1 z qnm
f
e
n
1
n
looooooomooooooon
p1z qm
n
g
f n
f
n
e
max c0 , c
looooooooooomooooooooooon
|f pzq| cm ea} Im z}
n
:cm
1
1
n
p1 z qm
p1 |z |qm
p2q p3q
p1 |z |qm
|z | 1 |z |m
p1 |z |qm 1 |z |m
p1 |z |qm
p2q
1
n
p1 |z |m q
p1 |z |qm
1
n
p1 |z |m q
|f pzq| cm ea} Im z}
n
p2q p4q
p1 |z |qm
cm ea} Im z}
n
p1 |z |m q
19.2 Lemma:
Es gibt eine Konstante c 0, sodass fr alle c Cn folgende Ungleichung gilt:
u
c
p1 |z |q 1 }z}
Beweis:
Es sind auf dem Cn alle Normen quivalent, was man mittels der Homogenitt der Norm und der Kompakta
a
heit des abgeschlossenen Einheitsballes im Cn , sowie der damit verbundenen Tatsache, dass alle Normen
als stetige Abbildungen darauf Maximum und Minimum annehmen, zeigt. Daher gibt es eine Konstante
c 0, sodass
c
164
p1 |z|q
maxtc, 1u 1
$
p|z | |z z |q
1c
|z |
1 c}z }1
1 }z }
p1 |z |qm
1
m
p1 |z |q
p1 }z}q
p1 }z}qm
Also ist
1
n
p3q p5q
p1 |z |qm
2
cm p1 1z}qm pq |f pzq| cm ea} Im z}
n
}
p1 |z |qm
:cP
m
Auch hier nutzen wir wieder die Aquivalenz aller Normen auf dem Cn aus. Folglich gibt es eine Konstante
n
c 0 derart, dass fr alle z C
u
}z}V c}z}
(19.1)
p3q
cP ea} Im z}
m
n
|f pzq|
p1 |z |m q
cP ea} Im z}
m
cP ea} Im z}
m
$
p|z |m |z z |m q
1
1 }z }m
V
1
P ea} Im z}
cm
1 cm }z }m
1
1
ea} Im z}
cI
m
maxt1, cu
1 }z }m
loooooomoooooon
:cQ
p4q p5q
1
n
p1 }z}qm
}z} 1 }z}m
p1 }z}qm 1 }z}m
p1 }z}qm
p2q
p1 }z}m q
1
n
p1 }z}qm
1
n
p1 }z}m q
|f pzq| cm ea} Im z}
n
p1 }z}qm
cm ea} Im z}
n
p1 }z}m q
p5q p1q
165
pxqeixz dx
Rn
(2) f ist holomorph und tf u erfllt die quivalenten Bedingungen aus dem letzten Lemma.
u
a
Beweis:
Wie schon in Beobachtung 19.1 festgestellt folgt aus der Kompaktheit des Trgers von die Holomorphie
a
von f und wir mssen lediglich eine der Eigenschaften aus dem vorigen Lemma zeigen.
u
Fr reelle z gilt wie schon gesehen
u
z
D pz q i|| z f pz qpz q
p
Mit dem Identittssatz fr holomorphe Funktionen, gilt dies auch auf Cn .
a
u
Wir rechnen nach
p
|z f pzq| |z pzq|
z
D pzq
D x eixz dx
pq
Tr
p2aq
}x}a
}x}a
Rn
p2aq
sup eixz
p2aq
Rn
}x}a
x Rn
}x}a
x Rn
womit die erste der quivalenten Eigenschaften aus dem letzten Lemma nachgewiesen wurde.
a
Sei also f : Cn
a Im z
u
|f pzq| cm p1e }z}qm dm N fr ein cm 0
dann folgt
pxq
p
1 q
p
p2qn f0
CV p Rn q
1 p
q
p
p2qn f0 pxq f0 pxq
Identittssatz
a
pz q f
p
Es bleibt nun noch zu zeigen, dass deniert ist und kompakten Trger hat, der in Ba p0q enthalten ist.
p
a
166
p2qn puq
Rn
...
V V
V
V
loooooooooooooooooomoooooooooooooooooon
:I
Oenbar ist
I
Rlim
V
xI , xn
und fr dieses Integral knnen wir mit dem Cauchy-Integralsatz wie folgt den Integrationsweg verschieben:
u
o
yR
n
R
Abbildung 19.3: Verschieben des Integrationsweges
Oenbar haben die beiden vertikalen Wegstcke die Lnge |yn |, und da nach Voraussetzung
u
a
I
f z , zn
pa zI , z
cm exp p1 } }pz}qmn q }q
/ V gegen 0. Es folgt
lim
xI , xn
exp pxn yn q
xI , xn
Nun fhren wir diese Verschiebung in jeder Koordinate durch. Damit folgt
u
f px iy q exp pixuq dx
Rn
mit beliebigem y
Rn und entsprechend
|p2q puq|
n
exp pyuq
Rn
exp pyuq
Rn
f px iy q exp pixuq dx
exp pa}y }q
dx
c
n
p1 }x }2 q
1
I exp pyuq a}y}
c
167
/ C mit
p
T Tf|Rn
Cn .
Cn . Dann ist
mit einem T
Tf|Rn
p
T
Beweis:
p
(1) Mit Satz 15.3 wissen wir schon, dass T Tf mit einem f
C.
fz
pz q
T, u
exp pizuq
z
loooooooomoooooooon
0 da z exppizuq holomorph
ptq
Fr z
u
Cn deniere dann
z pxq :
1 fr t 1
u
0 fr t 2.
u
}z}2
a2 }x}2
mit dem a aus der Voraussetzung. Diese Funktion ist dann beliebig oft stetig dierenzierbar. Auerdem
ist klar, dass
z pxq 1.
}x}2 a2 }z2}2
(19.2)
z pxq 0.
Oenbar gengt es, die Abschtzungen fr f aus der Behauptung fr }z } 1 zu zeigen, denn fr }z } 1
u
a
u
u
u
ist f beschrnkt und man kann einfach die Konstante c hinreichend gro whlen.
a
a
168
2
}z}2
c 2
c
a2 2 a2 2 2a 2 a 2
Tr pz q K : Bac2 p0q.
Nach Voraussetzung ist T eine Distribution mit kompaktem Trger, das heit es gibt ein c
a
m N, sodass fr }z } 1
u
0 und ein
c
sup |Du pz puq exp pizuqq|
||m uRn
wobei c die Suprema aller Ableitungen von bis zu einer gewissen Ordnung enthlt. Auerdem ist
a
}u}
a2
cI }z }
|f pzq|
} pzq} }z}
}z }2
/V
C }z }| | exp p}u}}
2
}z}2
exp
} pzq}
pzqq
pzq}q .
z puq 0,
d
I
cI }z }m exp
Wegen
C }z || | exp pu
u Rn
} pzq}
a2
2
}z}2
2
}z}2
|f pzq|
I
cP }z }m exp pa} pz q}q
mI
cP p1 }z }q exp pa} pz q}q ,
pS q pxq :
S, y
px yq
Rn
S I pRn q mit
pxq dx 1. Wie in
TS S T
V pRn q. Der Trger von S berechnet sich nun wie folgt:
gilt. Auerdem ist S C
a
Tr pS q Tr pTS q Tr pS T q Tr pS q Tr p q TrpS q B p0q.
(19.3)
{
p x
Auerdem gilt S T S als Funktion - und ist wegen der Kompaktheit des Trgers von auf
x
a
n
C holomorph. Nach dem Satz von Paley-Wiener gibt es also fr alle k N eine Konstante ck 0 sodass
u
fr alle z Cn gilt:
u
| pzq| ck p1 }z}qk exp p} pzq}q .
x
Das zeigt
169
Entsprechend folgt
{
S
p x
S
d0
170
20
Wir betrachten wieder eine lineare partielle Dierentialgleichung mit konstanten Koezienten gegeben durch
ein Polynom
P C rX1 , ..., Xn s
und P pDq P pD1 , ..., Dn q. Gesucht ist eine Fundamentallsung, das heit ein E
o
P pDqE
D I pRn q mit
0 E I pRn q .
Sei nun xI
||m
Nach dem Hauptsatz der Algebra zerfllt dieses Polynom vollstndig uber C. Seien also 1 , ..., m
a
a
C die
pXn q .
Aus der Funktionentheorie wissen wir, dass man die Anzahl der Nullstellen von PxI in B p q als
1
2i
|z |
I
PxI pz q
dz
PxI pz q
berechnen kann, sofern auf dem Rand f B p q keine Nullstellen von PxI liegen. Allerdings ist dieser Ausdruck
stetig in xI und daher lokal konstant.
Daher knnen wir eine Umgebung von xI nden, sodass fr alle y I in dieser Umgebung die Polynome PxI und
o
u
PyI die gleiche Anzahl an Nullstellen in B p q haben.
Wir behaupten nun, dass es zu festem xI ein rm 1, m 1s gibt, sodass
| p q | 1
fr alle 1, ..., m gilt.
u
Angenommen, diese Behauptung wre falsch. Setze dann I : tt R
a
die Lnge 2. Nach Annahme ist aber
a
m
rm 1, m 1s ,
i 1
das heit wir uberdecken mit Intervallen einer Gesamtlnge 2m ein Intervall der Lnge 2m 2 - ein Widerspruch!
a
a
Damit nden wir ein wie behauptet und wegen der lokalen Konstantheit der Nullstellenanzahl wie oben
beschrieben erfllt dieses die Behauptung fr alle y I aus einer Umgebung von xI . Wir fassen zusammen:
u
u
20.1 Lemma:
Es gibt oene Mengen Uj
171
|j | m 1
(2) xI
(3)
(20.1)
|j p q| 1.
Rn 1
(4) Es gengt j
u
Beweis:
Die Eigenschaften (1) bis (3) haben wir oben schon gesehen. Eigenschaft (4) gilt, da oenbar zur Uberdeckung
jedes Kompaktums per Denition endlich viele Mengen Uj ausreichen und R eine kompakte Ausschpfung
o
besitzt.
Setze nun
:
V1
U1
:
V2
U2 zV1
.
.
.
:
Vk
Uk z
k 1
Vj , k
N 2 .
j 1
I
Da die Uj s als oene Mengen mebar sind, sind auch die Mengen Vj
dann
Rn1
Uj
j N
Sei nun
Vj
(20.2)
j N
disjunkt
Wj : Vj
R, j N.
Wir wollen nun unsere Fundamentallsung denieren. Sei dazu D pRn q. Dann ist wie oben schon gesehen
o
p
holomorph auf dem ganzen Cn . Deniere nun E durch
E,
:
V px , ..., x , x i q
p 1
q
1
n1
n
j
n
p2q j1 P px1 , ..., xn1 , xn ij q dx
(20.3)
Wj
V pxI , x i q
p
q
1
n
j
n
I , xn ij q dx.
p2q j1 P px
Wj
Auf Wj gilt
P xI , xn ij
PxI pxn ij q
pxn ij q ,
wobei wie oben deniert die Nullstellen von PxI sind. Wegen
| pxn ij q| |j p q| 1
per Denition von j auf Wj folgt, dass
I
P x , xn
ij 1
auf Wj . Das zeigt, dass der Nenner von (20.3) im jeweiligen Integrationsbereich nicht verschwindet. Sei nun
a 0 und k N, dann deniert man
Ak : t D pRn q : Tr Ba p0q und
sup |D | 1u
||k xRn
172
da 0, dk N hc 0 : | E, | c d Ak
damit E wohldeniert und stetig ist.
Wir nden mit dem Satz von Paley-Wiener eine konstante c derart, dass
x ij en und wir folgern unter Vernderung der Konstanten und wegen (20.1)
a
p
|pzq| cp1 }x}qn1 eapm1q
obige Abschtzung gilt natrlich fr jedes Wj , weil alle j gleichmig nach oben abgeschtzt wurden.
a
u
u
a
a
1
/ V, sodass
Weiter ist wegen 1 }x} 0 dx Rn und p1 }x}qn1 Opxn1 q fr x
u
p1}x}qn1
Rn
1
| E, | p2qn p1 }1 }qn1 dx cea} Im z}
x
R
V d Ak
n
||m
I pDq
p
P{pz q P pz qpz q
Rechnen wir nun nach, dass E tatschlich die gesuchte Distribution ist:
a
wegen
~
q
p1q|| D D
q
P I pDq,
20.4
Fubini
(20.4)
I pDq
E, P
1
ID
P{ x
p2qn jN
p2qn jN
p2qn jN
Wj
Wj
(20.5)
p q p ij en q dx
P px ij en q
(
P ( ((
(px ( ij en q px i e qdx
(p
j n
P ( i (
(px ((j en q
p
pxI , xn ij qdxn dxI
Vj R
An dieser Stelle verwenden wir wieder in jedem Summanden den Cauchyschen Integralsatz. Dieser besagt,
dass ein Integral uber einen geschlossenen Weg uber eine Funktion ohne Singularitten im Inneren der Kurve
a
verschwindet. Da auch hier (analog zur Grak 19.3) die senkrechten Wege immer hchstens von Lnge |j
o
a
p
m 1 sind und in Richtung der Unendlichkeit abfllt, ist das Integral auf beiden parallelen zur reellen Achse
a
gleich gro und man erhlt:
a
20.1
Vj R
Vj
Vj
lim /
pxI , xn ij qdxn dx
p
p
pxI , tqdtdxI
(20.6)
173
1
q
P I pDqE, 20.6 p2qn
j N
Vj R
1
I
p I
p2qn jN px , xn qdxn dx
20.2
1
p2qn
1
p2qn
20.7
Vj R
pxI , xn qdx
p
Rn
p
pxI , xn qeix0 dx
Rn
1 p
p
p2qn p0q
p0q
q
,
q
Abbildung 20.4: Die Hrmandertreppe - Herr Hrmander fand diesen Beweis, indem er auf die Idee kam,
o
o
den Rn im Cn mit solch unendlich langen Brettern auszulegen und die Integration auf diesen statt uber dem
Rn t0u Cn ausfhren.
u
Bemerkung 20.1:
Da sich die Polynome im Beweis gegenseitig krzen, htte man die Behauptung auch fr komplexe Vielfache
u
a
u
von P zeigen knnen.
o
Korollar 20.1:
Sei P CrX1 , .., Xn s komplexes Polynom von Grad m in n Variablen derart, dass
m
P pX1 , .., Xn q Xn
n 1
j
Xn Pj pX1 , .., Xn1 q
j 0
fr Polynome Pj CrX1 , .., Xn1 s von Grad n j und P pDq der zugehrige Dierentialoperator mit konstanten
u
o
Koezienten, dann gibt es eine Fundamentallsung zu P , also eine Distribution E DpRn q derart, dass
o
P pDqE
Beweis:
D1
Beweis:
.
Sei D . als Vektor aufgefasst und A
.
Dn
Rn v Av, dann gilt folgender
20.2 Hilfssatz:
Sei A Gln pRq und P
wobei
174
Beweis:
Sei A komponentenweise durch A pa, q1, n dargestellt, dann ist
AD
A1 D
1
.
.
n .
t
also P A D
An D
qP
A1 D , ..,
An D
D ppAxqq
1 1
.
.
D
n .
A x
An x
1
n
Apxq
a D
(20.7)
20.8
a D
n
n
20.8
D p Aq
a a D D
a D
Womit gezeigt wurde, dass
At D
At D
1 1
a D
A
A
T A, P I pDq
T, | det A|1 P I pDq A1
pA q pA q
T, | det A|1 P I ppA1 qt At Dq A1
20.8
T, | det A|1 P I pAt Dqp A1 q
P pAt DqpT q, | det A|1 A1
P pAt DqpT q A,
P pDqpT Aq,
1 t
a1 x , ..,
an x
man stellt sich nun die Frage, wie der Koezient von
P At pxq
pAt xq
||m
xm
n
n
||m
j 1
j
aj x
j
anj xm restterme
n
:
||m
a pAt xq
j 1
(20.8)
175
Ganz oensichtlich kann ein A Gln pRq derart gewhlt werden, dass 1 erfllt wird, sodass wir das Korollar
a
u
zum Spezialfall auf P At anwenden knnen und erhalten ein E DpRn q derart, dass
o
P pDqpE Aq P pAt DqE A A | det A|1
wegen
A, | det A|1 , A1
| det A|1 p0q
und folglich lst det ApE Aq das Problem.
o
Bemerkung 20.2:
(1) Damit ist gezeigt, dass jede partielle Dierentialgleichung mit konstanten Koezienten im distributionellen
Sinne eine Fundamentallsung besitzt, also mit jeder rechten Seite auf dem gesamten Rn lsbar ist.
o
o
(2) Man kann einen analogen Satz auch fr nicht-konstante Koezienten zeigen. Der dafr ntige Beweis ist
u
u o
allerdings sehr viel komplexer!
176
A Topologie
Man kann ja politisch zu dieser Frau (Angela Merkel) stehen wie man will,
aber Allgemeinbildung hat diese Frau. Aber das ist ja auch klar,
schlielich hat sie Physik studiert.
Prof. Holdgrn
u
A
A.1
A.1.1
Topologie
Zum Satz von Banach-Steinhaus
Einleitende Worte
Dieser Anhang soll nur einen kurzen Einblick darauf werfen, inwiefern der Satz von Banach-Steinhaus aus
der Funktionalanalysis verallgemeinerbar ist, um ihn auch auf die Distributionen anzuwenden und damit die
Vollstndigkeit von DpMq zu zeigen.
a
Wir werden an dieser Stelle keine Beweise fr die aufgestellten Stze geben, sondern verweisen statt dessen auf
u
a
[Robertson/Robertson], Seiten 67 und 81 verweisen.
A.1.2 Der Satz von Banach-Steinhaus
A.1 Satz (Satz von Banach-Steinhaus, klassisch):
Sei E ein Banachraum und F ein normierter Raum, sowie A Morphnormvect pE, F q und gelte
sup }Au} V du E
A A
dann folgt
sup }A} V
A A
wobei }.} in der ersten Aussage die Norm auf F beschreibe und in der zweiten Ungleichung fr die Operatornorm
u
stehe.
Korollar A.1:
Sei E ein Banachraum und F ein normierter Raum. Sei weiter pAn q Morphnormvect pE, F q eine Folge
stetiger linearer Operatoren, sodass fr alle u in E der Grenzwert lim / An u in F exisitert, dann ist auch
u
n
V
/ F, u lim An u stetig und linear.
der punktweise Grenzoperator T : E
/V
n
A.1 Denition (topologischer Vektorraum):
Ein topologischer Raum pV, q heit toplogischer Vektorraum uber einem Krper K, falls er eine stetige Veko
:V V
/ V,
:K V
/V
dx V h K
: x A tv |v
Au
A Topologie
177
(A.1)
Dieser Satz ist dank der vielen Denitionen relativ leicht beweisbar, was es leider nicht einfacher macht, ihn
anzuwenden, weil es nun gilt, fr einen Vektorraum E die Eigenschaft nachzuweisen, dass er tonneliert ist. Dazu
u
nun noch ein paar Ergebnisse:
A.7 Denition (Frechetraum):
Ein Vektorraum heit Frechetraum, wenn
(1) er lokal konvex ist
(2) er metrisiert ist
(3) mit der von der Metrik induzierten Topologie vollstndig ist.
a
A.4 Satz:
Frechetrume sind tonneliert.
a
A.5 Satz:
Sei K M eine kompakte Menge, dann sind auf D pM, Kq die bekannten Halbnormen pm deniert, die zusammen eine Metrik auf K induzieren. Mit dieser Metrik wird D pM, Kq zu einem Frechetraum.
Betrachte
D p Mq
O
jk
/
o7 C
ooo
o
ooo
ooo
o
ooo
ooo
o
ooo
T
D pM, Kq
Dann legen wir M mit abzhlbar vielen Kompakta K aus und induzieren auf D pMq die Limestopologie, also
a
die feinste lokal konvexe Topologie, sodass alle jk noch stetig sind.
A.6 Satz:
Unter den oben angegebenen Voraussetzungen ist D pMq tonneliert.
Korollar A.2:
DpMq ist vollstndig.
a
178
A Topologie
A.2
Eigentliche Abbildungen
(A.2)
.
Notation 15:
Wir betrachten die Abbildung
/ Rn , px1 , .., xm q
xi
(A.3)
i 1
A.1 Lemma:
Seien A1 , .., Am
m : A1 .. Am
/ Rn ist eigentlich
dr 0hs 0, dx
A :
x
r |x | s d1 .. m
Beweis:
Wir beweisen beide Richtungen einzeln:
pm q1 pLq
px1 , .., xm q A1 .. Am
: xi
i 1
kompakt, was folglich auch fr alle Projektionen auf die A gilt38 . Folglich liegen die Bilder der Prou
jektionen in einem hinreichend groem s -Ball. Das Maximium uber ts1 , .., sm u liefert das gewnschte
u
s.
uB
4
m
px1 , .., xm q A1 .. Am : xi r .
R Dann ist K :
pm q1 pLq
Nach Voraussetzung gibt es dann ein s R, sodass |x | s dx K und folglich ist pr pK q Bs p0q d1
m, also
i 1
pm q1 pLq K
Bs p0q : P
nun ist das Produkt auf der rechten Seite als Produkt relativ kompakter Mengen selbst relativ kompakt39
und K als abgeschlossene Teilmenge eines Kompaktums wiederum kompakt , wie im folgenden Lemma
gezeigt wird.
A.2 Lemma:
Eine abgeschlossene Teilmenge A eines Kompaktums K ist selbst wieder kompakt.
38 Eigenschaft
39 Satz
A Topologie
179
Beweis:
Man nimmt eine oene Uberdeckung von A. Diese bildet zusammen mit K zA eine uberdeckung des Kompaktums
Diese wiederum uberdeckt auch A. Wegen K zA A r ist K zA kein Teil der Uberdeckung von A und wir
A B p0q
(A.4)
m : A1 .. Am
/ Rn
Beweis:
Sei r 0 vorgegeben, dann ist |x | s fr ein jedes x aus pm q1 pA1 .. Am q.
u
Dann gibt es fr ein x A1 immer ein xI A , sodass |x xI | , also
u
Notation 17:
Fr ein HompRn , Rq schreiben wir
u
pxq x,
fr Skalare c1 , .., cn
u
A.7 Satz:
Seien A1 , .., Am
R ein Quadrant.
tx Rn | x, n cn u
/ Rn eigentlich.
Beweis:
Sei r 0 vorgegeben und sei px1 , .., xm q pm q1 pA1 .. Am q. Dann gilt mit der Stetigkeit der 40
x1 .. xm , | x1 .. xm , | r
und
x , r
$
xi , r
i 1
$
c,
i 1
hs : |x | s
was uns die Behauptung liefert.
40 auf
endlich-dimensionalen Rumen sind lineare Abbildungen immer beschrnkt und damit stetig!
a
a
180
A Topologie
Korollar A.4:
Seien a1 , .., am Rn fest und
dann ist
m : A1 .. Am
A : tx
Rn | pr px q a 0 d 1, .., nu
/ Rn eigentlich.
A.3 Lemma:
In hausdorschen Rumen ist das Bild kompakter Mengen unter stetigen Abbildungen wieder kompakt.
a
Beweis:
/ N eigentlich. Dann
Beweis:
Sei a f pM q und U eine kompakte Umgebung von a. Wegen der Eigentlichkeit von f ist dann f 1 pU q kompakt
in M .
Dann ist nach obigem Lemma f pf 1 pU qq f f 1 pU q f pM q U kompakt und folglich abgeschlossen und
wir stellen fest
a f pM q f pM qzU
f pM q U f pM qzU f pM q U f pM qzU f pM q U
nun ist a U und damit a f pM qzU , womit a f pM q U f pM q gilt.
A.4 Lemma:
(1) Sind A1 .. Am ist abgeschlossen, wenn alle A abgeschlossen sind und
eigentlich ist.
Rn abgeschlossen, Am $ r und m : A1 .. Am
m1 : A1 .. Am1 / Rn ist eigentlich.
2 : pA1 .. Am1 q Am / Rn ist eigentlich.
m : A1 .. Am
/ Rn
Beweis:
Wir zeigen beide Aussagen einzeln.
(1) Diese Aussage folgt direkt aus dem letzten Satz.
(2) Whle zunchst am
a
a
pm q1 pK am q pA1 ... Am q .
m
/ pRn qm1 die Projektion auf die ersten m 1 Komponenten. Entsprechend
Dabei ist pr1,...,m1 : pRn q
1 pK q pA .. A q selbst kompakt und daher
ist pm1 q
1
m1
m1 : A1 ... Am1 / Rn
pr1,...,m1
eigentlich
Betrachte nun
Da die rechte Seite von (A.5) aber das Bild einer nach Voraussetzung kompakten Menge unter der stetigen
Funktion pm1 idAm q ist, folgt die Behauptung.
A Topologie
181
A.3
topologische Gruppen
Bemerkung A.1:
Wir behandeln R in diesem Abschnitt als additive Gruppe.
A.9 Satz (Satz und Denition uber das Haarma):
f paxqdpxq
f pxqdpxq da G
/ C derart, dass
C!
A.10 Satz:
182
A Topologie
Beispiel A.2:
Es ergeben sich folgende Relationen:
(1) R R
(2) Z S 1
(3) S 1
Z
GG
B Funktionalanalysis
183
sucked all the blood out of a man and then became the man itself.
So keep this in mind - always hit rst!
Prof. V. Pidstrygach
B
B.1
Funktionalanalysis
Der Satz von Hahn-Banach
Oftmals bentigt man aus der Funktionalanalysis den groen Hammer. Darunter verstehen wir eigentlich
o
immer den Satz von Hahn-Banach, dessen Konsequenzen sehr weitreichend sind. Formuliert erscheint er wie
folgt:
B.1 Satz:
Sei E ein C-Vektorraum und F ein Untervektorraum von E. Sei p : E
/ C ein lineares Funktional mit
:F
|puq| ppuq, d u F
/ C sodass | und
F
p q ppuq d u E
gilt.
Fr den Beweis vergleiche etwa [Robertson/Robertson].
u
Auerdem wollen wir hier auch den Satz von Riesz angeben:
B.2 Satz:
Sei pH, p|qq ein Hilbertraum, : H
gilt:
}} fr die Operatornorm.
u
pv|uq .
B.2
Wir betrachten nun die Flle eines reellen und komplexen Hilbertraumes und zeigen, dass bei gegebener Norm
a
das Skalarprodukt zurckgewonnen werden kann. Man spricht hierbei von der Polarisation.
u
B.3 Satz (Polarisationsgleichung f r komplexe Hilbertrume):
u
a
Es gilt in einem komplexen Hilbertraum pV, } }q
1
pf, gq 4 }f g}2 }f g}2 i}f ig}2 i}f ig}2
(B.1)
184
B Funktionalanalysis
Beweis:
Man rechnet einfach nach:
1
}f
4
1
ppf g, f gq pf g, f gq
4
ipf ig, f ig q ipf ig, f ig qq
1
ppf, f q pf, gq pg, f q pg, gq pf, f q pf, gq
4
pg, f q pg, gq
Beweis:
Man rechnet einfach nach:
1
}f
2
g}2 }f g}2
1
ppf g, f gq pf g, f gqq
2
1
ppf, f q pf, gq pg, f q pg, gq pf, f q pf, gq pg, f q pg, gq
2
1
p2pf, gq 2pg, f qq
2
pf, gq
C Integrationstheorie
185
Integrationstheorie
Wie bereits zu Beginn des Skriptes festgestellt, verwenden wir einiges an Integrationstheorie, insbesondere das
Lebesgue-Ma etc.. Die Grundlagen der Integrationstheorie (z.B. auch der Radon-Mae), kann man etwa bei
[Rudin], Abschnitte 2 und 6, nden. Natrlich wollen wir hier nicht alle benutzten Stze und Denitionen
u
a
auhren, sondern nur die nicht allgemein bekannten. Wir betrachten dabei stets das Lebesque-Ma.
u
C.1
einer Nullmenge Werte annimmt), muss man eigentlich Aquivalenzklassen von Funktionen modulo Nullmengen
betrachten. Dies liefert dann den Raum L2 . Der Einfachheit halber gehen unterschlagen wir stillschweigend diese
Klassen und meinen mit Ausdrcken f g fr L p Funktionen immer die Gleichheit bis auf Nullmengen.
u
u
Sei N
L 1 pN q
ist gf
pN q
/ C zuordnen. Wegen
L 1 pN q und daher ist das Integral wohldeniert. Auerdem zeigt diese Abschtzung auch
a
/ C stetig (unter
v pf q vg pf q g, f
f pxqg pxq dx
d f L 1 pN q
gilt.
Fr den Beweis verweisen wir etwa auf [Hewitt/Stromberg], Theorem 20.19.
u
C.2
Der Raum L 2
C.1 Denition:
Wir denieren den Raum L2 pRn q durch
L 2 pRn q :
6
8
7
/C
f : Rn
Bemerkung C.2:
Sind f, g L 2 pRn q, so ist wegen |f | |g |
| f mebar und
|f pxq|
1
2
|f |2 |g|2
auch f g
pf |gq :
Rn
D
F
dx V
Rn
C.2 Denition:
Seien f, g L 2 pRn q. Das Skalarprodukt von f und g ist
Insbesondere ist pf |f q : }f }2 .
2
L 1 pRn q.
186
C Integrationstheorie
} }2 Norm.
Bemerkung C.3:
Ist f L 2 pRn q und K pRn q L 1 pRn q L 2 pRn q, so ist
f L 1 pRn q ,
1
das heit es gilt L 2 pRn q Llok pRn q .
C.3
/ C, : K pNq
C.4 Satz:
Es gibt genau ein Radonma : K pM Nq
/ C mit
p q p q pq pq ,
Oder etwas bombastischer geschrieben:
pxq py q dp qpx, y q
K pMq,
pxq dpxq
pxq d pxq,
K pM Nq setze
py q :
px, y q dpxq
p q pq :
py q d py q.
K pNq.
/ C zwei Radonmae.
K pMq,
K pNq.
D Algebraische Tensorprodukte
187
Algebraische Tensorprodukte
Als weiterfhrende Literatur fr diesen Abschnitt bietet sich [Jantzen / Schwermer], Abschnitt VI, 10 an. Dort
u
u
sind auch alle ntigen Beweise zu nden.
o
D.1 Denition:
Sei R ein kommutativer Ring und M und N zwei R-Moduln. Ein Paar pT, q heit Tensorprodukt von M
und N uber R, falls
/ S gibt es genau
M ?
N
??
??
??
??
??
/S
T
h!
kommutiert.
D.2 Denition:
Ist pT, q das Tensorprodukt von M und N uber R, so schreiben wir
: M R N, pu, vq : u R v, u M, v N.
u
Auerdem nennen wir Elemente w T Tensoren und u R v fr u M , v N
T
D.1 Lemma:
(1) Es gilt
T
ui vi
| ui M,
vi
N, n N0
reine Tensoren .
i 1
(2) Sind pT, q und pT I , I q Tensorprodukte zu M und N uber R, so gibt es einen eindeutig bestimmten R
/ T I mit I :
Modul-Isomorphismus : T
M ?
N
??
?? I
??
??
??
/ TI
T
h!
Fr den Beweis siehe [Jantzen / Schwermer], VI, Lemma 10.2 und den Beweis von VI, Satz 10.3 (vergleiche
u
auch VI, Abschnitt 10.4!).
D.1 Satz:
Zu einem kommutativen Ring R und zwei R-Moduln M und N gibt es stets ein Tensorprodukt.
Fr den Beweis siehe [Jantzen / Schwermer], VI, Satz 10.3.
u
188
E Fouriertransformation
Fouriertransformation
Notation 19:
Fr x, y Rn schreiben wir xy : x, y
u
xi yi .
i 1
Sei f Llok pRn q, dann ist die Fouriertransformierte f von f deniert als
f py q :
pq
p q
f x exp ixy
loooooooomoooooooon dx
1
Llok pRn q
Rn
Den Prozess f
f nennt man Fouriertransformation.
E.1 Satz (Eigenschaften der Fouriertransformation):
1
Es gelten fr f, g Llok pRn q folgende Eigenschaften
u
1
x Rn
|fpyq| dy.
Rn
f py qg py q dy
Rn
f pxqg pxq dx
(E.1)
Rn
(3) (Riemann-Lebesgue-Lemma)
Es gilt
lim / f pxq 0.
}x }
V
z
(4) f g
(5)
f g
q
Mit f pxq f pxq gilt
Beweis:
(1) Sei pyk qkN eine Folge aus dem Rn mit yk
f.
/V
/ y0 . Dann konvergiert
/V
f pyk q
Rn
/V
/
Rn
E Fouriertransformation
189
Die Linearitt der Fouriertransformation ist wegen der Linearitt des Integrals oensichtlich, und die fr
a
a
u
die Stetigkeit ntige Abschtzung folgt daraus, dass fr jedes y Rn
o
a
u
f y
pq
f x exp
pq
ixy dx
p q
|exp pixyq|
|f pxq| loooooomoooooon dx }f }1
1
Rn
gilt.
(2) Zunchst macht man sich klar, dass die Funktion
a
auf dem R
Rn
endlich, das heit wir knnen mit dem Satz von Fubini wie folgt rechnen:
o
f pxqg pxq dx
Rn
Rn
g pxq
f py q
Rn
f py q exp pixy q dy dx
Rn
Rn
f py qg py q dy
Rn
1
(3) Wir zeigen hier zunchst, dass fr eine Folge pfn qnN aus Llok pRn q und f
a
u
}fn f }1
gilt. Betrachte dazu
fn x
/V
/0
}fn f}V
auch
/V
/0
p q f pxq
fn f x
fn f y exp
pq
p qp q
/
a 1Q
p q
}fn f }1
/V
ixy dy
1
Llok pRn q mit
41
,a
C, k N
1Q mit Q
zeigen:
f pxq
c
1
c
n
...
b1
1
41 Ein
bn
c
exp pitx q dt
r
n
V b c V fr jedes 1, ..., n.
u
b , c
rb , c s zu
190
E Fouriertransformation
Fr jedes y
u
R gilt aber
exp
ity dt
p q
iy exp
2
p q |y| .
b
ity a
exp pitx q dt
/ 0.
fr |x|
u
f pxq
1Q .
/0
px, yq f pyqgpx yq
n
|pf gq pxq| dx
Rn
Rn
Rn
daher darf der Satz von Fubini auch hier angewendet werden und es folgt fr z
u
z
f g pz q
Rn :
Rn
Rn
f py q
Rn
f py qg px y q exp pixz q dy dx
Rn
f py q
Rn
(5) Zu zeigen ist
g px y q exp pixz q dx dy
Rn
Rn
f pz q g pz q
f pxq f pxq
f p xq
f py q exp pixy q dy
Rn
f py q exp pixy q dy
Rn
f pxq
eines Kompaktums fast uberall 0 ist). Insbesondere ist dies fr f D pRn q oder f K pRn q erfllt. Dann ist f
u
u
n
/ C, sodass
analytisch und es existiert eine holomorphe Funktion g : C
g|Rn
gilt.
f
E Fouriertransformation
191
Beweis:
Sei Trpf q in der kompakten Menge K enthalten. Dann ist
f pxq
f py q exp pixy q dy
Rn
f py q exp pixy q dy
f py q
exp pixy q dx
1
pexp piyq exp piyqq 2 sinpyq .
iy
y
1
Diese Funktion ist zwar Riemann-Integrierbar, aber nicht aus Llok pRq, da der Betrag nicht mehr integrierbar
ist.
E.1
Wir wollen nun einen Raum S von Funktionen auf dem Rn nden, sodass
S
1
Llok pRn q gilt,
S f S
Deniere dafr zu ,
u
gilt.
E pRn q .
x Rn
E.3 Denition:
Der Raum der schnell fallenden Funktionen ist
S pRn q : S
Weise.42
Daher ist S metrisierbar und hausdorsch.
E.3 Satz:
u
S ist folgenvollstndig, das heit ist pk qkN eine Folge aus S , sodass fr alle
a
ein m N existiert, sodass fr alle k, l m gilt:
u
}k k }, ,
so gibt es ein S mit
fr alle ,
u
42 Sind
pN0 qn .
}n },
/V
/0
N gegeben, so ist
V
dn pa, bq
d pa, bq :
2n
1 dn pa, bq
n 1
eine Metrik. Natrlich liefern unsere Halbnormen jeweils eine Halbmetrik, und man sieht leicht ein, dass die Halbnormen
u
separierend sind.
} },
192
E Fouriertransformation
Beweis:
Aus
fr ein C pRn q. Genauso sind durch Wahl von 0, pN0 qn beliebig alle Ableitungen D k gleichmig
u
a
konvergent und aus einem Satz aus der Analysis I / II folgt
k
/V
/ D gleichmig.
a
E pRn q , D k
/V
/ x D .
sup x D k x D
/V
/0
x Rn
/V
/ 0.
/V
/ in S , so folgt
P pxqQ pDq k
in S .
Daher knnen wir die Halbnormen
o
/V
/ P pxqQpDq
} }, auch durch
}}P,Q : sup |P pxq Q pDq pxq|
x Rn
mit Polynomen P, Q ersetzen. Dann erhalten wir allerdings uberabzhlbar viele Halbnormen!!
a
E.4 Satz:
(1) Sind P und Q Polynome uber C in n Unbestimmten, so ist die Abbildung
/ S , P pxqQpDq
E Fouriertransformation
193
1
(4) Es gilt S pRn q Llok pRn q und die entsprechende Einbettung ist stetig.
Beweis:
(1) Diese Aussage ist klar nach Bemerkung E.4.
(2) Sei D pRn q. Da kompakten Trger hat, gilt fr jedes ,
a
u
p q
x Rn
x Tr
pN0 qn
x D pxq V.
Daher ist S , was wir oben schon bemerkt hatten. Ist nun pi qiN eine Nullfolge in D, so ist Tr pi q K
fr alle i N mit einem geeigneten festen Kompaktum K. Daher gilt fr , pN0 qn
u
u
}i },
sup x D i pxq
x Rn
sup x D i pxq
x K
x K
/V
pq
B1 0
1
x
j pxq : pxq
j
looomooon
j pxq
1
x
j
j pxq
hat man
D
pj 1q
j | |
falls
falls
0
$0
(E.2)
Damit folgt
x D j
p q pxq
x D
j 1 x
c, D j
x
, pN0 qn
pp q q p q
x D x
p 1q p q
pq
konst
1
sup x D pxq sup x c0, pj
n
n
j 0 xR
xR
$
konst
1
}}, supn x c0, pj
j 0
xR
$
(E.2)
1q pxqD pxq
1q pxqD pxq .
sup x D V
x Rn
/V
1 |x|2
m
194
E Fouriertransformation
ist, folgt
n1 ). Da
2
sup 1 |x|2
Rn
pxq
C V wegen S
|pxq| p1 C |2 qm ,
|x
1
1
womit || durch eine Llok pRn q-Funktion majorisiert ist. Da stetig ist, folgt Llok pRn q.
Bemerkung E.5:
Es ist sogar
1
S pRn q Llok pRn q
dicht.
E.5 Satz:
Es gelten fr S pRn q und Nn folgende Identitten43 :
u
a
0
z
p
(1) D i|| x
y
p
(2) x i|| D
Beweis:
Wir knnen ohne Beschrnkung der Allgemeinheit annehmen, sein ein Standardeinheitsvektor e und rechnen
o
a
nach:
(1) Es ist
z
D pxq
n
fy 1 n k1
Fubini
Rn
part.Int
Rn1
$
k 1
p
py1 , .., yn qpix q exp pix y q dy dpy1 , .., y , .., yn q
ix
exp pixy q py q dy
Rn
p
ix pxq
f
(2) Es gilt, weil sowohl y py q exp pixy q als auch y fx py q exp pixy q iy py q exp pixy q fr
u
n
n
1
jedes x und jedes noch in L pR q liegen ( S pR q) und wir daher den Satz von Lebesgue anwenden
knnen
o
f
pD q pxq fx
p
Rn
i
py q exp pixy q dy
Rn
y py q exp pixy q dy
Rn
ix pxq
y
y
p
x pxq iD .
43 Hierbei
/ R, x x .
E Fouriertransformation
195
Korollar E.1:
Ist S pRn q, so ist E pRn q.
p
Beweis:
Der Beweis dieser Tatsache wurde implizit bereits im letzten Beweis erbracht, als man zeigte, dass sich die te
p
p
partielle Ableitung von gerade als ix ergibt.
Korollar E.2:
p
Sei S pRn q, dann ist auch S pRn q und die Fouriertransformation p: S
Beweis:
Seien und Nn fest gewhlt, dann ist nach eben bewiesenem Satz und mit der Stetigkeit der Fouriertransa
0
/ L 1 p Rn q
formation als Abbildung S
x D
p
y
px
x i|| x D{q D px q1 V
also
}}, D px q1 V
p
zusammen mit obigem Korollar ergibt sich damit, dass S pRn q.
p
/ R, x exp
1 }x}2
2
p
p2 q 2
n
Beweis:
Die Eigenschaft, unendlich oft dierenzierbar zu sein, ist klar. Weiter beobachtet man leicht, dass D p ,
/ V schneller als jedes Polynom
wobei p ein von abhngiges Polynom von Grad || ist. Da aber fr x
a
u
gegen 0 konvergiert, bleibt x D x p beschrnkt, was wiederum impliziert, dass
a
}}, V d, Nn S pRn q
0
Beschftigen wir uns nun mit der letzten Behauptung:
a
p
pxq
py q exp pixy q dy
Rn
Rn
1
exp }y }2 exp pixy q dy
2
Rn
Rn
1 2
exp
y
2 1
1 2
exp y ix y
2
1
1
44 Dies
p q
S Rn
exp
1
exp y 2 ix y
2
x y
dy
dy
dy
ist mglich, da bereits gezeigt wurde, dass die Multiplikation mit x und die Dierentiation stetige Abbildungen
o
/ S Rn sind und auerdem S stetig nach L 1 Rn einbettet.
p q
p q
196
E Fouriertransformation
Nun ist
1 2
exp
x
2 1
n
2
n
2
n
2
1
exp x2
2
1
1
2 exp x2
2
c
1
1
!
2 exp x2 exp y 2 ix y dy
2
2
looooooomooooooon
:
zurckgefhrt.
u
u
Nun ist
I pxq
d
exp
dx
1 x2 x exp 1 x2 xpxq
2
2
I x 0
p
x
p
p
0 I x ix iI
p p
x I
p
was schlielich aussagt, dass sowohl als auch derselben linearen, skalaren Dierentialgleichung ersten Grades
p
gehorchen. Eine solche Gleichung hat hchstens einen 1-dimensionalen Unterraum, was aussagt, dass und
o
linear abhngig sind.
a
Folglich gilt
hc R : c
p
exp
1 y2
2
exp pi0y q dy
exp
1 y2
2
dy
exp
x2
dx
13.14
pxq
1
p2qn
py q exp pixy q dy
p
also ist
q
1
n
p
p
p
p
q
p2qn oder p2q
Beweis:
Rn
1
n
Rn
1 pxq exp
i x y
1 p y
1
n
c n
y
2
1
dx
E Fouriertransformation
197
p
dx
Rn
p
dx
Rn
1c n
2
n
x x
Rn
p2q
pxq exp
n
2
Rn
/0
dx
1 }x}2
2
1
exp }x}2
2
n
2
Rn
p2cq p0q
p2q p0q
n
2
13.14
p2q p0q
/ 45
pxq1
Rn
pxq1 pxq dx
exp
}x}2
dx
dx
dx
Rn
p
dx
Rn
/0
p
pxq exp
1
2 }x}2
dx
Rn
p
pxq dx.
Rn
Damit haben wir zumindest schon mal gezeigt, dass folgendes gilt:
p
p0q
p
pxq dx p2 qn p0q
p
Rn
{
a
(E.3)
Beweis:
Man rechnet nach
{
a pxq
py aq exp pixy q dy
Rn
Rn
{
a
exp pixaq
py q exp pixy q dy
Rn
p
exp pixaq pxq
p q
45 wegen der Beschrnktheit von und der Eigenschaft von , in L 1 Rn zu liegen, folgt die Konvergenz mit dem Satz von
a
1
Lebesgue!
198
E Fouriertransformation
Nun rechnet man mit obigem Ergebnis und dem Lemma von eben nach:
p
paq
p
p
exp pixaq pxq dx
Rn
{
a pxq dx
Rn
p2qn a p0q
p2qn paq
Wir haben damit gezeigt, dass folgende Folgerung gilt:
Folgerung E.1:
Die Abbildung
p: S
/S
/V
/ 0 d,
Nn .
0
Stichwortverzeichnis
199
Stichwortverzeichnis
Quadrant, 180
Abbildung
eigentlich, 179
hchstens polynomielles Wachstum, 129
o
stetig und linear, 41
Ableitung
beliebig oft dierenzierbare Distribution, 47
Richtungsableitung
Distributionen, 46
Rechenregeln, 47
Anfangswertproblem, 62
Wrmeleitung, 120
a
Banach
Satz von Banach-Steinhaus, 177, 178
Cauchy
Cauchyscher Integralsatz, 85
Cauchy-Riemann Dierentialgleichung, 118
Fundamentallsung, 118
o
Dierentialgleichung
partiell, 153
Grad, 153
Dierentialgleichungssystem, 62
fr Distributionen, 63
u
homogen, 62
Dierentialoperator
elliptisch, 153
Hauptsymbol, 153
partiell, 153
Wrmeleitung, 120
a
Distribution, 12, 15
beliebig oft dierenzierbar, 47
Cauchyfolge, 32
Dipol, 49
Einbettung singulrer Funktionen, 39
a
Einschrnkung, 23
a
Faltung, 91
Ableitung, 94
neutrales Element, 94
Symmetrie, 93
Trger, 93
a
Folgenkonvergenz, 30
Fortsetzung, 17, 23, 70, 72
Fouriertransformierte, 129
Fundamentalfolge, 32
Fundamentallsung, 106
o
Gleichheit auf Mengen, 23
homogen, 110
Konvergenz, 30
Multiplikation mit Funktionen, 36
Rechenregeln, 37
Ordnung, 16
periodisch, 142
Regularisierung, 103
Richtungsableitung, 46
Stammdistribution, 54
Stetigkeit, 45
temperiert, 128
Tensorprodukt, 81
Trger, 25
a
Vollstndigkeit von DpMq, 32
a
Distributionen
Produkt, 137
Ehrenpreis
Satz von Malgrange-Ehrenpreis, 175
Euler-Mascheroni-Konstante, 76
Faltung, 9, 91
Distributionen
mehrfach, 97
Funktionen, 159
Folge
Konvergenz in D pMq, 12
Konvergenz in D m pMq, 17
Fortsetzung
von Distributionen, 70, 72
Fourier
Fourierkoezienten, 150
Fourierreihe periodischer Distr., 150
Fouriertransformation, 189
Eigenschaften, 189
invers, 197
Fouriertransformierte, 189
Frechet
Frechetraum, 178
Fubini
fr Distributionen, 86
u
Fundementalsystem, 62
Funktion
Faltung, 9
Heaviside-, 6, 49
holomorph, 161
homogen, 109
homogen im Sinne d. Distrib., 110
lokal integrierbar, 8
periodisch, 142
schnell fallende, 192
Testfunktion, 7
Trger, 7
a
Gammafunktion, 111
Gruppe
topologisch, 182
Halbnorm, 14
Hartop
Satz von, 162
Heaviside
Heavisidefunktion, siehe Funktion
Hilbert
Hilbertraum, 184
Laplace
Fundamentallsung, 117
o
Lemma
Riemann-Lebesgue, 189
200
Limestopologie, 178
Lusin
Satz von, 68
Ma
Haarma, 182
Malgrange
Satz von Malgrange-Ehrenpreis, 175
Menge
absolut konvex, 177
absorbierend, 177
Multiplikator, 137
Norm, 14
euklidische, 7
Nullfolge
in E pMq, 73
Parsevall
Formel von, 158
Payley
Satz von ..-Wiener, 166
Plancherel
Formel, 157
Transformation, 157
Poisson
Summationsformel, 148
Polarisations
komplexe Hilbertrume, 184
a
reelle Hilbertrume, 185
a
Polynom
in mehreren Variablen, 84
Punkt
regulr, 152
a
punktweise hinreichend klein, 45
Radonma, 187
Raum
folgenvollstndiger, 192
a
Frechet-, 193
lokal kompakt, 179
Regularittssatz, 154
a
relativ kompakt, 66
Richtungsableitung
Distributionen, 46
Riemann
Cauchy-Riemann Dierentialgleichung, 118
Fundamentallsung, 118
o
Satz
Existenz- und Eindeutigkeitssatz fr das Anfangsu
wertproblem, 62
Existenzsatz fr Dierentialgleichungssysteme von
u
Distributionen, 64
Integralsatz von Cauchy, 85
Satz vom Hut, 21
Satz von Banach-Steinhaus, 177, 178
Satz von Malgrange-Ehrenpreis, 175
von Hahn-Banach, 184
von Lusin, 68
Schwartz, 6
Satz von, 168
Sobolev, 6
Stichwortverzeichnis
Steinhaus
Satz von Banach-Steinhaus, 177, 178
Taylor
Taylorsche Formel, 74
Teilung der Eins, 21
Tensor, 188
reiner, 188
Tensorprodukt, 188
Tonne, 178
Topologie
kompakt-oen, 182
Limestopologie, 178
Trger
a
singulr, 152
a
Translationsoperator, 43
Vektorraum
Frechetraum, 178
lokal konvex, 177
tonneliert, 178
topologisch, 177
Wrmeleitung
a
Distributionslsung, 125
o
Fundamentallsung, 123
o
Wrmeleitungsdierentialoperator, 120
a
Wiener
Satz von Payley-, 166