Vorlesungsskriptum

1
Fourieranalysis
Frank Werner
2
1
Keine Garantie f ur Vollstandigkeit oder Richtigkeit.
Entnommen aus der Vorlesung Harmonische Analysis an der Georg-August-Universitat Gottingen von Professor Dr. Tschinkel im
Sommersemester 2007
2
Gottingen, fwerner@math.uni-goettingen.de
2 Literatur
Literatur
[Rudin] Walter Rudin: Reelle und Komplexe Analysis
Oldenbourgverlag, 499 Seiten, ISBN: 3-486-24789-1
[Forster] Otto Forster: Analysis I. Dierential- und Integralrechnung einer Veranderlichen
Viewegverlag Wiesbaden, 287 Seiten, ISBN: 3-834-80088-0
Vorwort 3
Vorwort
Dieses Skript ist unter einigem Arbeitsaufwand wahrend der Vorlesung

Harmonische Analysis von Professor

Juri Tschinkel im Sommersemester 2007 an der Georg-August-Universitat Gottingen entstanden.
Es handelt sich hierbei ausdr ucklich nur um eine studentische Mitschrift, nicht um ein oziell vom Dozen-
ten herausgegebenes Skript. Trotz groer Anstrengungen sind sicherlich einige Fehler mathematischer wie auch
sprachlicher Natur im Skript verblieben, was hoentlich nicht allzu groe Schwierigkeiten f ur das Verstandnis
aufwerfen wird.
Dieses Skript soll nicht die ganze Vorlesung wiedergeben, sondern nur den Teil uber Fourieranalysis.
Gottingen, im Mai 2007
Frank Werner
4 Inhaltsverzeichnis
Inhaltsverzeichnis
Literatur 2
Vorwort 3
Inhaltsverzeichnis 4
1 Fourierreihen 5
1.1 Einf uhrung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Die Besselsche Ungleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Vollstandigkeit in der L
2
-Norm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 Gleichmaige Konvergenz von Fourierreihen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.5 Bemerkungen und Ausblicke . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.1 Charaktere und LCA-Gruppen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5.2 Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.3 Die allgemeine Fouriertransformation auf LCA-Gruppen . . . . . . . . . . . . . . . . . . . 18
1.5.4 Der allgemeine Satz von Plancherel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.6 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Die Fouriertransformation 20
2.1 Konvergenzsatze und Faltung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.1.1 Die Faltung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2 Die Fouriertransformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3 Umkehrformel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4 Satz von Plancherel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Die Poissonsche Summationsformel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.6 Ein Beispiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.7 Aufgaben . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3 Anwendungen 33
3.1 Die Warmeleitungsgleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.1 Physikalische Diskussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2 Die Laplace-Gleichung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.3 Der Sampling-Satz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3.1 Technische Bedeutung . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
4 Losung der Aufgaben 38
Stichwortverzeichnis 42
1 Fourierreihen 5
1 Fourierreihen
1.1 Einf uhrung
Wir wollen uns mit der Frage beschaftigen, ob wir eine gegebene periodische Funktion f : R
//
C als Summe
einfacher Wellen, d.h. c cos (2kx) bzw. c sin (2kx) mit k Z, c C, schreiben konnen. Wir meinen damit
eine Darstellung
f (x) :=

nZ
c
n
exp (2inx)
mit Koezienten c
n
C.
1.1 Denition:
Eine Funktion f : R
//
C heit genau dann periodisch, wenn
f (x + 1) = f (x) x R
gilt.
Bei uns haben

periodische Funktionen also stets die Periodenlange 1.

1.2 Denition:
Mit ( (R/Z) bezeichnen wir den C-Vektorraum der stetigen, periodischen Funktionen f : R
//
C.
Bemerkung 1.1:
Durch
f, g) :=
1
_
0
f (x) g (x) dx
denieren wir auf ( (R/Z) ein hermitesches Skalarprodukt.
Beweis:
Oensichtlich gilt
f + g, h) = f, h) + g, h)
f, g) = g, f)
f ur f, g, h ( (R/Z) und C. Klar ist auch
f, f) =
1
_
0
[f (x) [
2
dx 0 f ( (R/Z)
Bleibt also nur zu zeigen, dass
f ,= 0 f, f) , = 0
Sei also 0 ,= f ( (R/Z). Da f stetig ist gibt es dann ein x (0, 1) und ein > 0 s.d.
f (x) ,= 0 und [f (y) [
[f (x) [
2
y (x , x + )
Entsprechend folgt dann
f, f) =
1
_
0
[f (t) [
2
dt
x+
_
x
[f (t) [
2
dt 2
_
[f (x) [
2
_
2
> 0
und die Behauptung ist gezeigt.
1.3 Denition:
F ur k Z bezeichnen wir mit
e
k
(x) := exp (2ikx) , x R
die abstrakte Welle der Periode k.
1.1 Lemma:
Es gelten folgende Aussagen:
6 1 Fourierreihen
(1) F ur k, l Z gilt
e
k
, e
l
) =
k,l
:=
_
1 falls k = l
0 falls k ,= l
(2) Ist
f (x) =
n

k=n
c
k
e
k
(x)
so sind die Koezienten gegeben als
c
k
= f, e
k
)
Beweis:
(1) Diese Aussage rechnen wir einfach nach:
e
k
, e
l
) =
1
_
0
exp (2ikx) exp (2ilx) dx
=
1
_
0
exp (2ix(k l)) dx
Ist nun k = l, so ist exp (2ix(k l)) = 1 f ur jedes x und daher ist die rechte Seite der Gleichung genau
1. Im Falle k ,= l berechnen wir mittels Stammfunktion leicht
e
k
, e
l
) =
1
2i (k l)
exp (2ix(k l))

1
0
=
1
2i (k l)
(1 1) = 0
(2) Hier berechnet man einfach die Skalarprodukte f, e
j
):
f, e
j
) =
_
n

k=n
c
k
e
k
, e
j
_
=
n

k=n
c
k
e
k
, e
j
)
Teil (1)
= c
j
Das zeigt die Behauptung.
1.4 Denition:
Mit (R/Z) bezeichnen wir den C-Vektorraum der periodischen Funktionen f : R
//
C, f ur welche die
Einschrankung f
|
[0,1]
riemann-integrierbar ist.
Bemerkung 1.2:
Zu Erinnerung: Wir nennen eine Funktion f : [0, 1]
//
R genau dann riemann-integierbar, wenn es f ur alle
> 0 Treppenfunktionen
3
, auf [0, 1] gibt, s.d.
(x) f (x) (x) x [0, 1]
und
1
_
0
( (x) (x)) dx <
gilt.
Bemerkung 1.3:
Das hermitesche Skalarprodukt , ) auf ( (R/Z) setzt sich auf (R/Z) fort, ist aber dort nicht mehr denit
(d.h. aus f, f) = 0 folgt nicht mehr zwangslaug, dass f = 0.).
3
Vergleiche die Denition 1.10 weiter unten.
1 Fourierreihen 7
1.5 Denition:
Durch
|f|
2
:=
_
f, f)
denieren die eine Norm auf ( (R/Z).
Dabei ist nichts mehr zu zeigen, da diese Norm von einem Skalarprodukt herr uhrt und somit automatisch alle
Eigenschaften einer Norm erf ullt.
1.6 Denition:
Sei f (R/Z). Dann heien die Zahlen
c
k
(f) := f, e
k
) C
f ur k Z die Fourierkoezienten von f.
Falls nur eine Funktion f vorhanden ist, so schreiben wir auch oft c
k
statt c
k
(f).
1.7 Denition:
Sei f (R/Z). Die Reihe

k=
c
k
(f) e
k
(x)
- d.h. der Grenzwert der Folge der Partialsummen
S
n
:=
n

k=n
c
k
(f) e
k
(x)
- heit Fourierreihe von f.
Bemerkung 1.4:
Die Fourierreihe von f braucht nicht punktweise gegen f zu konvergieren. Wir werden aber spater sehen, dass
sie im L
2
-Sinne f ur f (R/Z) stets gegen f konvergiert.
1.2 Die Besselsche Ungleichung
1.2 Lemma:
Sei f (R/Z). Dann gilt f ur jedes n N:
|f
n

k=n
c
k
(f) e
k
|
2
2
= |f|
2
2

k=n
[c
k
[
2
Beweis:
Setze
g :=
n

k=n
c
k
(f) e
k
Wegen Lemma 1.1, Teil (1), folgt dann
f, g) =
n

k=n
c
k
(f) f, e
k
) =
n

k=n
[c
k
(f) [
2
Gleichzeitig gilt aber
g, g) =
n

k=n
n

l=n
c
k
(f) c
k
(f) e
k
, e
l
) =
n

k=n
[c
k
(f) [
2
und daher folgt
f, g) = g, g) (1.1)
Dann gilt aber
|f g|
2
2
= f g, f g) = f, f) f, g) g, f) +g, g)
(1.1)
= |f|
2
2
g, f)
und das zeigt die Behauptung.
8 1 Fourierreihen
Wir erhalten quasi als Korollar die folgende Ungleichung, die wir aber wegen ihrer Wichtigkeit trotzdem als
Satz bezeichnen:
1.1 Satz (Besselsche Ungleichung):
Ist f (R/Z), so gilt:

n=
[c
k
(f) [
2
|f|
2
2
=
1
_
0
[f (x) [
2
dx
Beweis:
Mit Lemma 1.2 haben wir
0 |f
n

k=n
c
k
(f) e
k
|
2
2
= |f|
2
2

k=n
[c
k
(f) [
2
f ur jedes n N und daher gilt insbesondere im Grenz ubergang n
//
, dass

n=
[c
k
(f) [
2
|f|
2
2
was die Behauptung zeigt.
1.3 Vollstandigkeit in der L
2
-Norm
1.8 Denition:
Wir sagen genau dann, dass eine Folge f
n
von Funktionen aus (R/Z) in der L
2
-Norm gegen ein f
(R/Z) konvergiert, wenn
lim
n
|f
n
f|
2
= 0
gilt.
Bemerkung 1.5:
Konvergenz in der L
2
-Norm hat nichts mit punktweiser Konvergenz zu tun.
Sei zum Beispiel f
n
die periodische Fortsetzung der Funktion
_

_
n
2
x falls x
_
0,
1
n

n
2
x + 2n falls x
_
1
n
,
2
n

0 falls x
_
2
n
, 1

Oensichtlich gilt dann f

n
n
//

//
0 punktweise, aber wegen
1
_
0
f
n
(x) dx =
1
n
_
0
n
2
xdx +
2
n
_
1
n
_
2 n
2
x
_
dx = 1
liegt oenbar keine L
2
-Konvergenz vor.
Andererseits denieren wir f ur k N
0
und 0 l 2
k
1 durch
I
2
k
+l
:=
_
l
2
k
,
l + 1
2
k
_
Intervalle I
n
, n N deren Lange mit n
//
gegen 0 geht. Gleichzeitig ist aber jedes x [0, 1] in unendlich
vielen der I
n
s enthalten. Setzen wir also unsere Funktionsfolge f
n
als die charakteristischen Funktionen dieser
Intervalle, also
f
n
:= I
I
n
so muss diese Folge im L
2
-Sinne gegen 0 konvergieren, tut dies punktweise aber nicht.
Bemerkung 1.6:
Liegt gleichmaige Konvergenz
f
n
n
//

//
f
auf [0, 1] vor, so konvergiert die Folge f
n
auch im L
2
-Sinne gegen f.
1 Fourierreihen 9
Beweis:
Sei > 0. Wir nden ein n
0
N, s.d. f ur alle n n
0
:
|f f
n
|

<

d.h. [f (x) f
n
(x) [ <

x [0, 1]
Daher gilt dann f ur die L
2
-Norm und alle n n
0
:
|f f
n
|
2
2
=
1
_
0
[f (x) f
n
(x) [
2
dx <
und die Behauptung ist gezeigt.
1.1 Hilfssatz:
Seien < a < b < reelle Zahlen und f : [, ]
//
R eine stetig dierenzierbare Funktion. F ur k R setze
F (k) :=
b
_
a
f (x) sin (kx) dx
Dann gilt
lim
|k|
F (k) = 0
und diese Konvergenz ist gleichmaig f ur a, b [, ].
Beweis:
Sei k ,= 0. Dann erhalten wir durch partielle Integration:
F (k) = f (x)
cos (kx)
k

b
a
+
1
k
b
_
a
f

(x) cos (kx) dx

Da sowohl f als auch f

auf dem abgeschlossenen Intervall [, ] stetig sind, nden wir ein M > 0 s.d.
[f (x) [ M [f

(x) [ x [, ]
Mit obiger Formel gilt dann
[F (k) [
2M
[k[
+
M (b a)
[k[

2M
[k[
+
M ( )
[k[
und die Behauptung ist gezeigt.
1.3 Lemma:
F ur 0 x 1 gilt

k=1
cos (2kx)
k
2
=
2
_
x
2
x +
1
6
_
Beweis:
Sei x (0, 1). Dann gilt f ur jedes k ,= 0:
2
x
_
1
2
cos (2kt) dt =
sin (2kx)
k
(1.2)
Auerdem erhalten wir mit der Formel f ur die geometrische Reihe und einigem Rechenaufwand:
n

k=1
cos (2kx) =
sin ((2n + 1) x)
2 sin (x)

1
2
(1.3)
Zusammen erhalten wir so
n

k=1
sin (2kx)
k
(1.2)
= 2
n

k=1
x
_
1
2
cos (2kt) dt
(1.3)
= 2
x
_
1
2
sin ((2n + 1) x)
2 sin (x)
dt 2
1
2
_
x
1
2
_
10 1 Fourierreihen
Nun wenden wir Hilfssatz 1.1 f ur die Funktion
f (x) =
1
2 sin (x)
an. Das ist moglich, da wir f ur festes x (0, 1) stets 0 < < < 1 nden, s.d. x [, ]. Dann ist f in
dem Intervall [, ] stetig dierentierbar und wir konnen den Hilfssatz mit a = min
_
1
2
, x
_
und b = max
_
1
2
, x
_
anwenden. Wir erhalten so

k=1
sin (2kx)
k
=
_
1
2
x
_
f ur x (0, 1) (1.4)
und diese Konvergenz ist gleichmaig auf jedem Intervall der Form [, 1 ], > 0.
Nun betrachten wir die Reihe aus der Behauptung. Wegen [cos (2kx)[ 1 x [0, 1] konvergiert diese Reihe
gleichmaig auf [0, 1] und wir denieren daher durch
f (x) :=

k=1
cos (2kx)
k
2
(1.5)
eine stetige Funktion auf [0, 1]. Die Reihe (1.4) ist bis auf Konstanten die Reihe der Ableitungen, und wie
gesehen konvergiert diese gegen
_
1
2
x
_
auf (0, 1). Nach einem bekannten Satz aus der Dierentialrechnung
uber gleichmaige Konvergenz und Dierentiation muss also
f

(x) =
2
(2x 1)
auf (0, 1) und wegen der Stetigkeit auch auf [0, 1] gelten. Bilden der Stammfunktion liefert
f (x) =
2
_
x
2
x
_
+ c
auf [0, 1], womit nur noch c =

2
6
zu zeigen ist.
Bekanntlich gilt
1
_
0
cos (2kx) dx = 0 x N
und wegen der gleichmaigen Konvergenz von (1.5) gilt also
0 =

k=1
1
_
0
cos (2kx)
k
2
dx
gleichmaige Konvergenz
=
1
_
0
f (x) dx =

2
3


2
2
+ c
Das zeigt die Behauptung.
Wir werden nun zunachst f ur charakteristische Funktionen zeigen, dass die Fourierreihe im L
2
-Sinne gegen die
Funktion konvergiert. Daf ur fehlen uns allerdings noch einige Bezeichnungen:
1.9 Denition:
Sei A [0, 1]. Dann bezeichnen wir mit
I
A
(x) :=
_
1 falls x A
0 sonst
die charakteristische Funktion von A.
1.10 Denition:
Seien I
1
, ..., I
n
Teilintervalle von [0, 1]. Dann nennen wir eine Funktion s der Form
s (x) :=
m

j=1

j
I
I
j
(x)
mit m N und Koezienten
j
R Treppenfunktion.
Bemerkung 1.7:
F ur eine Treppenfunktion wie in Denition 1.10 gilt per Denition
1
_
0
f (x) dx =
m

j=1

j
[I
j
[
Dabei bezeichnet [I
j
[ die Lange des Intervalls I
j
.
1 Fourierreihen 11
1.4 Lemma:
Sei f : R
//
R periodisch, s.d. f
|
[0,1]
eine Treppenfunktion ist. Dann konvergiert die Fourierreihe von f im
L
2
-Sinne gegen f.
Beweis:
Nach Lemma 1.2 gen ugt es zu zeigen, dass
|f|
2
2
=

k=
[c
k
(f) [
2
gilt. Wir zeigen dies zunachst f ur den Spezialfall
f
|
[0,1]
= I
[0,a]
f ur ein a [0, 1].
In diesem Fall ist oensichtlich c
0
(f) = a und f ur k Z, k ,= 0:
c
k
(f) = f, e
k
) =
1
_
0
I
[0,a]
e
k
(x) dx =
1
2ik
exp (2ikx)

a
0
=
i
2k
(exp (2ika) 1)
Insbesondere berechnen wir dann den Betrag [c
k
(f) [ als
[c
k
(f) [ = c
k
(f) c
k
(f)
=
1
4

2
k
2
(exp (2ika) 1) (exp (2ika) 1)
=
1
4
2
k
2
(1 exp (2ika) exp (2ika) + 1)
=
1 cos (2ka)
2
2
k
2
Mit Hilfe von Lemma 1.3 gilt dann

k=
[c
k
(f) [
2
= a
2
+

k=1
1

2
k
2

1

k=1
cos (2ka)
k
2
= a
2
+
1
6
a
2
+ a
1
6
= a
=
1
_
0
[I
[0,a]
(x) [
2
dx
= |f|
2
2
was der Behauptung f ur den Spezialfall entspricht.
Nun wollen wir den Spezialfall auf eine beliebige charakteristische Funktion eines Intervalls verallgemeinern. Sei
dazu I [0, 1] ein Intervall und f = I
I
. Ohne Einschrankung konnen wir I als abgeschlossen annehmen, da die
Randpunkte die Integrale zur Berechnung von c
k
(f) und |f|
2
2
als Nullmengen nicht beeinussen. Wir wollen
den oben bereits gezeigten Spezialfall anwenden und beobachten dazu die Veranderung der Fourierkoezienten
unter Shifts. Setze dazu
f
y
(x) = f (x + y) f ur x, y [0, 1]
Dann ist die Funktion f
y
ebenfalls periodisch und riemann-integierbar. Auerdem gilt:
c
k
(f
y
) =
1
_
0
f (x + y) exp (2ikx) dx
=
1+y
_
y
f (x) exp (2ik (x y)) dx
f periodisch
= exp (2iky)
1
_
0
f (x) exp (2ikx) dx
= exp (2iky) c
k
(f)
12 1 Fourierreihen
Insbesondere gilt also
[c
k
(f
y
) [ = [c
k
(f) [
Ganz analog zeigt man
|f
y
|
2
= |f|
2
und erhalt so aus dem oben gezeigten Spezialfall, dass die Behauptung auch f ur beliebige charakteristische
Funktionen von Intervallen gilt.
Konvergenz in der L
2
-Norm ist eine lineare Eigenschaft, daher ist die Behauptung somit auch f ur beliebi-
ge Treppenfunktionen - die ja Linearkombinationen von charakteristischen Funktionen von Intervallen sind -
gezeigt.
1.2 Satz:
Sei f (R/Z). Dann konvergiert die Fourierreihe von f in der L
2
-Norm gegen f und es gilt die
Parsevalsche Gleichung

k=
[c
k
(f) [
2
= |f|
2
2
=
1
_
0
[f (x) [
2
dx
Beweis:
Ist f komplexwertig, so schreibe f = u + iv und erhalte entsprechend f ur die Partialsummen
S
n
(f) = S
n
(u) + iS
n
(v)
Wir konnen also ohne Einschrankung annehmen, dass f reellwertig ist.
Da f riemann-integrierbar uber das Intervall [0, 1] ist, muss f insbesondere beschrankt sein, d.h. wir konnen
durch Umskalierung
[f (x) [ 1
erreichen und nehmen dies daher ebenfalls ohne Einschrankung an.
Sei nun > 0 vorgegeben. Da f
|
[0,1]
riemann-integrierbar ist, nden wir Treppenfunktionen , s.d.
1 f 1
und
1
_
0
( (x) (x)) dx <

2
8
gilt. Setze nun
g := f
Dann gilt oenbar g 0, es gilt per Denition
S
n
(f) = S
n
() + S
n
(g)
und wir haben
[g (x) [
2
[ (x) (x) [
2
(x)(x)2
2 ( (x) (x))
f ur alle x R. Insbesondere gilt so f ur das Integral:
|g|
2
2
=
1
_
0
[g (x) [
2
dx 2
1
_
0
( (x) (x)) dx

2
4
Laut Lemma 1.4 nden wir ein n
0
N s.d. f ur alle n n
0
| S
n
() |
2
<

2
gilt. Lemma 1.2 liefert gleichzeitig
|g S
n
(g)
2
2
|g|
2
2
<

2
4
und daher erhalten wir mit der Dreiecksungleichung
|f S
n
(f) |
2
= |g + S
n
() S
n
(g) |
2
| S
n
() |
2
+|g S
n
(g) |
2
<
Damit ist die Behauptung gezeigt.
1 Fourierreihen 13
1.4 Gleichmaige Konvergenz von Fourierreihen
1.2 Hilfssatz:
Sei f : R
//
R stetig und periodisch. Gilt

k=
[c
k
(f) [ <
so konvergiert die Fourierreihe von f gleichmaig gegen f.
Beweis:
Nach Voraussetzung und mit [ exp (2ikx) [ = 1 x R konvergiert die Reihe

k=
c
k
(f) exp (2ikx)
gleichmaig auf R. Da die einzelnen Summanden stetig sind, muss also auch die Grenzfunktion g stetig sein.
Laut Satz 1.2 konvergiert die Fourierreihe von f bez uglich der L
2
-Norm gegen f, d.h. es gilt
|f g|
2
= 0
Da aber sowohl f als auch g stetige Funktionen sind, und die L
2
-Norm auf den stetigen Funktionen denit ist
(vergleiche Bemerkung 1.1), folgt
f = g
und die Behauptung ist gezeigt.
1.3 Satz:
Sei f : R
//
C periodisch, stetig und st uckweise stetig dierenzierbar. Dann konvergiert die Fourierreihe
von f gleichmaig gegen f. Insbesondere konvergiert sie auch punktweise gegen f, d.h. unter den gemachten
Voraussetzungen gilt f ur jedes x [0, 1]:
f (x) =

k=
c
k
(f) e
k
(x)
Beweis:
Laut Voraussetzung nden wir eine Unterteilung
0 t
0
< t
1
< ... < t
r
= 1
s.d. die Einschrankung f
|
[t
j
,t
j+1
]
f ur jedes j 0, ..., r 1 stetig dierenzierbar ist.
Sei nun
j
: [t
j1
, t
j
]
//
C die stetige Ableitung von f auf dem Intervall [t
j1
, t
j
], j = 1, ..., r. Wir denieren
: [0, 1]
//
C
als die periodische Funktion, deren Einschrankung
|
[t
j1
,t
j
]
f ur alle j = 1, ..., r mit
j
ubereinstimmt. Sei
weiter c
k
der k-te Fourierkoezient von f,
k
der k-te Fourierkoezient von . Dann gilt nach der Besselschen
Ungleichung (Satz 1.1), dass

k=
[
k
[
2
||
2
2
<
da oenbar riemann-integrierbar auf [0, 1] ist. Mittels partieller Integration erhalten wir nun f ur j = 1, ..., r
und k ,= 0:
t
j
_
t
j1
f (x) exp (2ikx) dx =
1
2ik
f (x) exp (2ikx)

t
j
t
j1
+
1
2ik
t
j
_
t
j1
(x) exp (2ikx) dx (1.6)
14 1 Fourierreihen
Das bedeutet aber f ur k ,= 0, dass
c
k
=
1
_
0
f (x) exp (2ikx) dx
=
r

j=1
t
j
_
t
j1
f (x) exp (2ikx) dx
(1.6)
=
1
2ik
r

j=1
(f (t
j1
) exp (2ikt
j1
) f (t
j
) exp (2ikt
j
)) +
1
2ik
t
j
_
t
j1
(x) exp (2ikx) dx
=
1
2ik
(f (0) f (1)) +
1
2ik
1
_
0
(x) exp (2ikx) dx
f periodisch
=
1
2ik

k
Allgemein gilt f ur zwei komplexe Zahlen , C mit der ersten binomischen Formel, dass
[[
1
2
_
[[
2
+[[
2
_
Entsprechend gilt dann hier f ur c
k
nach der eben berechneten Formel:
[c
k
[
1
2
_
1
4
2
k
2
+[
k
[
2
_
Insbesondere folgt daher

k=
[c
k
[
1
4
2

k=1
1
k
2
+
1
8
2
+
1
2

k=
[
k
[
2
<
womit die Behauptung mit Hilfe von Hilfssatz 1.2 gezeigt ist.
1.5 Bemerkungen und Ausblicke
In diesem Teil werden wir f ur die Satze und Aussagen keine Beweise geben, denn er soll lediglich als Ausblick
dienen. Auf einige der Aussagen kommen wir aber spater nochmal zur uck.
Bemerkung 1.8:
Sei
L
2
(R/Z)
die Vervollstandigung des Hilbertraumes ( (R/Z) mit dem Skalarprodukt
f, g) =
1
_
0
f (x) g (x) dx
Dann konnen wir die Hauptresultate des ersten Abschnitts wie folgt zusammenfassen:
1.4 Satz:
Die Funktionen
e
k
(x) := exp (2ikx) , k Z
bilden ein vollstandiges Orthonormalsystem von L2 (R/Z).
1.5.1 Charaktere und LCA-Gruppen
1.11 Denition:
Ein Charakter einer metrisierbaren abelschen Gruppe A ist ein stetiger Gruppenhomomorphismus
: A
//
:= z C [ [z[ = 1
1 Fourierreihen 15
Beispiel 1.1:
(1) Die Charaktere von Z (als diskrete topologische Gruppe) sind genau die Abbildungen
k exp (2ikx) , x R/Z
(2) Die Charaktere von R/Z (mit der Quotiententopologie) sind genau
x exp (2ikx) , k Z
(3) Die Charaktere von R mit der kanonischen Topologie sind genau die Abbildungen
x exp (2ixy) , y R
1.12 Denition:
Eine LCA-Gruppe (LCA steht f ur

locally compact abelian) A ist eine metrisierbare, lokal kompakte abelsche

Gruppe, die eine kompakte Ausschopfung besitzt, d.h. es gibt eine Folge K
1
K
2
... von Kompakta, s.d.
A =

_
n=1
K
n
gilt.
Beispiel 1.2 (f ur LCA-Gruppen):
Die folgenden Gruppen sind LCA-Gruppen:
R, R/Z, Z, ...
1.13 Denition:
Sei A eine LCA-Gruppe. Dann bezeichnen wir mit

A
die Menge aller Charaktere von A.
Bemerkung 1.9:
Ist A eine LCA-Gruppe, so ist auch

A wieder eine LCA-Gruppe, welche auch das Pontryagin-Dual von A
genannt wird.
Als Topologie auf

A betrachten wir dabei die Topologie der lokal gleichmaigen Konvergenz, die wir wie folgt
durch eine Metrik induzieren konnen:
Sei K
n
, n N eine kompakte Ausschopfung von A. Setze
d
n
(, ) := sup
xK
n
[(x) (x) [
f ur zwei Elemente ,

A. Dann deniert
d

A
(, ) :=

n=1
1
2
n
d
n
(, )
f ur zwei Elemente ,

A eine Metrik auf

A, welche die Topologie der lokal gleichmaigen Konvergenz induziert.
Beispiel 1.3:

= R/Z

R/Z

= Z

= R
Bemerkung 1.10:
Auf Q kennen wir den Absolutbetrag [ [. Allerdings kann man auf Q noch die folgenden anderen

Betrage
denieren:
Sei p eine Primzahl. Dann denieren wir eine Abbildung [ [
p
: Q
//
R
0
wie folgt:
Sei 0 ,= q Q, q =
a
b
p
m
mit ggt(a, p) = 1 = ggt(b, p). Dann setze
[q[
p
:=
1
p
m
Auerdem setze [0[
p
= 0.
Diese Abbildung erf ullt die folgenden Eigenschaften:
16 1 Fourierreihen
(1) [q[
p
= 0 q = 0
(2) [qr[
p
= [q[
p
[r[
p
(3) [q + r[
p
max [q[
p
, [r[
p
[q[
+
[r[
p
1.14 Denition:
Wir nennen zwei Absolutbetrage auf Q aquivalent, wenn sie die gleiche Topologie auf Q erzeugen. Eine

Aquivalenzklasse daf ur heit dann Primstelle von Q.

1.5 Satz:
Die Primstellen von Q entsprechen genau den Primzahlen und , wobei f ur den

gewohnlichen Absolutbetrag
[ [ steht.
1.15 Denition:
F ur eine Primstelle von Q bezeichnen wir mit
Q

die Vervollstandigung von Q bez uglich des [ [

-Absolutbetrages.
Beispiel 1.4:
Es ist
Q

= R
und f ur eine Primzahl p liefert Q
p
genau die bekannten p-adischen Zahlen.
Bemerkung 1.11:
F ur jede Primstelle ist Q

eine LCA-Gruppe, und f ur p Prim enthalt diese den Ring der ganzen p-adischen
Zahlen:
Q
p
Z
p
= x Q
p
[ [x[
p
1
Die ganzen p-adischen Zahlen kann man auch denieren als den umgekehrten projektiven Limes
lim

Z/p

Z
der Projektionen
Z/p
+1
Z
//
Z/p

Z
Dieser topologische Ring ist dann nach dem Satz von Tychonov als abgeschlossene Menge in einem Produkt
kompakter Mengen selbst kompakt.
Es gilt auch
Z
p
= Z[[x]] / (x p)
als topologischer Ring.
Bemerkung 1.12 (Adelen, Idelen):
Der Adele-Ring von Q ist deniert als
/
Q
:= R

p prim
Q
p
Der Strich am Produkt bedeutet dabei, dass fast alle Glieder einer Folge a

aus dem Produkt Elemente

in Z
p
seien sollen.
Der Idele-Ring von Q ist deniert als
1
Q
:= R

p prim
Q

p
Der Strich am Produkt bedeutet diesmal, dass fast alle Glieder einer Folge a

aus dem Produkt Elemente

in Z

p
seien sollen.
1 Fourierreihen 17
1.5.2 Integration
1.16 Denition:
Sei (
c
(A) die Menge aller komplexwertigen, stetigen Funktionen auf A mit kompaktem Trager.
1.17 Denition:
Eine lineare Abbildung
I : (
c
(A)
//
C
heit verallgemeinertes Integral oder auch nur Integral, falls
f (x) 0 x R I (f) 0
Insbesondere impliziert f (x) 0 in dieser Aussage f (x) R.
1.18 Denition:
F ur f (
c
(A) und s A setzen wir
(L
s
f) (x) = f
_
s
1
x
_
1.19 Denition:
Ein Integral I heit linksinvariant, falls
I (L
s
f) = I (f) s A, f (
c
(A)
gilt.
1.6 Satz:
Auf jeder LCA-Gruppe A gibt es ein nicht-triviales, linksinvariantes Integral I. Ist I

ein zweites linksinvariantes

Integral, so gilt
I

= c I
f ur ein geeignetes c > 0.
1.20 Denition:
Ein Integral wie in Satz 1.6 nennen wir auch Haarintegral auf A. Wir schreiben dann auch
_
A
f (x) dx =
_
A
f (x) d(x) := I (f)
f ur f (
c
(A).
Beispiel 1.5:
(1) Auf R denieren wir durch
I (f) :=
_
R
f (x) dx, f (
c
(R)
ein Haarintegral.
(2) Auf R

= R 0 denieren wir durch

I (f) :=
_
R

f (x) [x[
1
dx, f (
c
(R

)
ein Haarintegral.
(3) Auf Z denieren wir durch
I (f) :=

n=
f (n) , f (
c
(Z)
ein Haarintegral. Beachte, dass die Summe stets endlich ist, da f kompakten Trager hat und Z als topo-
logische Gruppe diskret ist.
1.21 Denition:
Sei
_
das Haarintegral auf A. F ur eine stetige Funktion f : A
//
[A, ) deniere
_
A
f (x) dx := sup
C
c
(A)
0f
_
A
(x) dx [0, ]
18 1 Fourierreihen
Wir erhalten so eine Ausdehnung des Integrals auf alle stetige reellwertigen, positiven Funktionen. Um eine
beliebige stetige Funktion auf A integrieren zu konnen, zerlegen wir sie nun in Real- und Imaginarteil, diese
beiden Teile jeweils noch in einen positiven und einen negativen Teil und berechnen die einzelnen Integrale. Das
Integral von f uber A ist dann entsprechend als die Summe dieser Werte mit Vorzeichen deniert.
1.22 Denition:
Sei B A eine Teilmenge. Setze
I
B
(x) :=
_
1 falls x B
0 falls x / B
1.23 Denition:
Sei f : A
//
R eine stetige Funktion. Dann denieren wir durch
f
+
:= f I
{xA | f(x)0}
f

:= f I
{xA | f(x)<0}
zwei positive, reellwertige Funktionen. Auerdem gilt
f = f
+
f

1.24 Denition:
Sei f : A
//
C stetig. Wir denieren das Integral von f uber A wie folgt:
_
A
f (x) dx :=
_
A
(f)
+
(x) dx
_
A
(f)

(x) dx + i
_
_
_
A
(f)
+
(x) dx
_
A
(f)

(x) dx
_
_
Der Wert dieses Integrals ist eine komplexe Zahl oder , und das genau in dem Fall, wo mindestens eines der
Einzelintegrale den Wert hat.
1.5.3 Die allgemeine Fouriertransformation auf LCA-Gruppen
Sei A eine LCA-Gruppe.
1.25 Denition:
Wir setzen
L
1
bc
(A) :=
_
_
_
f : A
//
C [ f ist stetig, beschrankt und es gilt |f|
1
:=
_
A
[f (x) [ dx <
_
_
_
1.26 Denition:
Wir setzen
L
2
bc
(A) :=
_
_
_
f : A
//
C [ f ist stetig, beschrankt und es gilt |f|
2
:=
_
A
[f (x) [
2
dx <
_
_
_
Bemerkung 1.13:
(1) Sowohl L
1
bc
(A) als auch L
2
bc
(A) sind C-Vektorraume und es gilt
L
1
bc
(A) L
2
bc
(A)
(2) L
2
bc
(A) ist mit dem Skalarprodukt
f, g) :=
_
A
f (x) g (x) dx
ein Prahilbertraum.
1.27 Denition:
F ur ein f L
1
bc
(A) denieren wir die Fouriertransformation

f :

A
//
C durch

f () :=
_
A
f (x) (x) dx
1 Fourierreihen 19
Beispiel 1.6:
F ur A = R/Z ist etwa

R/Z

= Z
und f ur ein f : R/Z
//
C ist die Fouriertransformation

f : Z
//
C gerade gegeben durch

f (k) = c
k
(f)
Diese Aussage pr uft man durch Einsetzen der Denitionen leicht nach.
1.5.4 Der allgemeine Satz von Plancherel
1.7 Satz (allgemeiner Satz von Plancherel):
Sei A eine LCA-Gruppe. F ur f L
1
bc
(A) ist

f L
2
bc
(A) und es gibt genau ein Haarintegral auf

A, s.d.
|f|
2
= |

f|
2
gilt. Die Fouriertransformation setzt sich zu einem Hilbertraumisomorphismus der Vervollstandigungen
L
2
(A)
//
L
2
_

A
_
fort.
Dieser Satz stellt eine Verallgemeinerung der Theorie der Fourierreihen (auf R/Z) und der Fouriertransformation
(auf R), welche wir in Abschnitt 2 besprechen werden, dar.
Beispiel 1.7:
F ur A = R/Z ist

A = Z und es gilt
|f|
2
= |

f|
2

1
_
0
[f (x) [
2
dx =

n=
[c
k
(f) [
2
Damit ist klar, welches Haarma wir laut Satz 1.6 auf L
2
bc
_

A
_
denieren m ussen.
1.6 Aufgaben
Aufgabe 1.1:
Sei f die periodische Funktion der Periode 1, welche auf dem Intervall [0, 1[ durch
x 2
_
x
1
2
_
2
gegeben ist. Man berechne die Fourierreihe von f und folgere die Gleichung

2
12
= 1
1
2
2
+
1
3
2

1
4
2
+ ... =

n=1
(1)
n+1
n
2
Aufgabe 1.2:
Man entwickle die Funktion f : [0, 1)
//
R gegeben durch
f (t) = (2t)
2
4
2
t
in eine Fourierreihe und beweise die Formel

n=1
8
k
2
=
4
4
45
Aufgabe 1.3:
Man zeige, dass alle Charaktere von R durch
x exp (2ixy)
f ur ein y R gegeben sind.
20 2 Die Fouriertransformation
2 Die Fouriertransformation
2.1 Konvergenzsatze und Faltung
Wir benotigen zunachst zwei Lemmata, bei denen es sich um Spezialfalle des Satzes von der dominierten
Konvergenz (Lebesque) und des Satzes von der monotonen Konvergenz (ebenfalls Lebesque) handelt. Aus diesem
Grund werden wir die beiden Lemmata auch nicht beweisen, obgleich der Beweis in diesen beiden Spezialfallen
relativ einfach ist.
2.1 Lemma (ohne Beweis):
Sei (f
n
)
nN
eine Folge stetiger Funktionen auf R, welche lokal gleichmaig gegen f konvergiert. Wir nehmen
an, dass es eine nicht-negative Funktion g auf R gibt, s.d.

g (x) dx < und [f

n
(x) [ g (x) x R, n N
Dann existieren die Integrale

f
n
(x) dx n N und

f (x) dx
und es gilt
lim
n

f
n
(x) dx =

f (x) dx
Wie gesagt, hier handelt es sich um einen Spezialfall des Satzes von der dominierten Konvergenz nach Lebesgue,
dessen Beweis in jedem besseren Buch uber Dierentialrechnung und Matheorie zu nden ist (z.B. in [Rudin],
Seite 30, Satz 1.34).
2.2 Lemma (ohne Beweis):
Sei (f
n
)
nN
eine Folge stetiger Funktionen auf R, und sei eine stetige Funktion f gegeben, s.d. f
n
lokal
gleichmaig und monoton wachsend gegen f konvergiert, d.h.
f
n
(x) f
n+1
(x) n N, x R und f
n
n
//

//
f lokal gleichmaig
Dann gilt
lim
n

f
n
(x) dx =

f (x) dx
Beide Seiten dieser Gleichung konnen auch den Wert + annehmen.
Hierbei handelt es sich oenbar um einen Spezialfall des Satz von der monotonen Konvergenz nach Lebesgue,
dessen Beweis sich etwa in [Rudin], Seite 26, Satz 1.26 ndet.
2.1.1 Die Faltung
2.1 Denition:
F ur eine stetige, beschrankte Funktion auf R, f ur welche das Integral

[f (x) [ dx
existiert, setzen wir
|f|
1
:=

[f (x) [ dx
2.2 Denition:
Wir setzen
L
1
bc
(R) := f : R
//
C [ f ist stetig, beschrankt, und es gilt |f|
1
<
Bemerkung 2.1:
Dann ist | |
1
oenbar eine Norm auf L
1
bc
(R).
2 Die Fouriertransformation 21
2.1 Satz:
Seien f, g L
1
bc
(R). Dann existiert das Integral

f (x y) g (y) dy (2.1)
f ur alle x R und deniert in x eine L
1
bc
(R)-Funktion.
Beweis:
Da f L
1
bc
(R) nden wir ein C > 0, s.d. [f (x) [ C x R. Insbesondere gilt damit

[f (x y) g (y)[ dy C

[g (y)[ dy = C |g|
1
<
Also existiert das angegebene Integral (2.1) f ur jedes x R und ist als Funktion von x beschrankt.
Wir zeigen nun die Stetigkeit von (2.1) in der Variablen x. Sei dazu x
0
R. Wir nden nach Voraussetzung ein
C > 0, s.d.
[g (x)[ C [f (x)[ x R
Auerdem konnen wir g , 0 annehmen, da das Integral (2.1) sonst trivial ist und die Aussagen sofort folgen.
Wegen |g|
1
< nden wir zu > 0 ein T > [x
0
[, s.d
_
|y|>T
[g (y) [ dy <

4C
(2.2)
gilt. Da stetige Funktionen auf Kompakta gleichmaig stetig sind, nden wir ein > 0, s.d. f ur alle x mit
[x[ 2T gilt:
[x x

[ < [f (x) f (x

) [ <

2|g|
1
(2.3)
F ur [x x
0
[ < gilt dann entsprechend

T
_
T
f (x y) g (y) dy
T
_
T
f (x
0
y) g (y) dy

T
_
T
[f (x y) f (x
0
y)[ [g (y)[ dy
(2.3)
<

2|g|
1
T
_
T
[g (y)[ dy

2
Auerdem gilt f ur den Rest des Integrals:
_
|y|>T
[f (x y) f (x
0
y)[ [g (y)[ dy 2C
_
|y|>T
[g (y)[ dy
(2.2)
<

2
Daher haben wir gezeigt, dass
[x x
0
[ <

f (x y) g (y) dy

f (x
0
y) g (y) dy

<
und daher ist das Integral aus (2.1) als Funktion von x R stetig.
Bleibt also noch zu zeigen, dass
|f g|
1
<
22 2 Die Fouriertransformation
gilt. Dazu schatzen wir einfach ab:
|f g|
1
=

[f g (x) [ dx
=

f (x y) g (y) dy

dx

[f (x y) g (y)[ dy dx
absolute Konvergenz der Integrale
=

[f (x y) g (y)[ dxdy
Substitution xx+y
=

[f (x)[ [g (y)[ dxdy

= |f|
1
|g|
2
<
Das zeigt die Behauptung.
2.3 Denition:
F ur f, g L
1
bc
(R) und x R setzen wir
(f g) (x) :=

f (x y) g (y) dy
Laut Satz 2.1 gilt f ur die entstehende Funktion f g L
1
bc
(R). Wir nennen f g die Faltung von f mit g.
2.3 Lemma:
Die Faltung erf ullt folgende Rechenregeln:
(1) f g = g f f ur alle f, g L
1
bc
(R).
(2) f (g h) = (f g) h f ur alle f, g, h L
1
bc
(R).
(3) f (g + h) = f g + f h f ur alle f, g, h L
1
bc
(R).
Beweis:
(1) Eine Substitution der Form y x y liefert:
(f g) (x) =

f (x y) g (y) dy
=

f (y) g (x y) dy
=

f (y) g (x y) dy
= (g f) (x)
(2) Oenbar konvergieren alle auftretenden Integrale absolut, daher d urfen wir stets die Integrationsreihen-
2 Die Fouriertransformation 23
folge vertauschen. Damit erhalten wir
f (g h) (x) =

f (x y)

g (y z) h(z) dz dy
=

h(z)

f (x y) g (y z) dy dz
yy+z
=

h(z)

f (x y z) g (y) dy dz
= (f g) h(x)
(3) Diese Aussage folgt direkt aus der Linearitat des Integrals.
2.2 Die Fouriertransformation
2.4 Denition:
F ur f L
1
bc
(R) denieren wir die Fouriertransformation von f durch

f (y) :=

f (x) exp (2ixy) dx, y R

Dieses Integral existiert oenbar f ur jedes y R, da

f (x) exp (2ixy) dx

[f (x) exp (2ixy)[ dx =

[f (x)[ dx = |f|
1
< (2.4)
2.2 Satz (Eigenschaften der Fouriertransformation):
Sei f L
1
bc
(R). Dann gelten die folgenden Aussagen:
(1) Wenn g(x) = exp (2iax) f (x) f ur ein a R ist, so gilt
g (y) =

f (y a) , y R
(2) Ist g (x) = f (x a) mit einem a R, so ist
g (y) =

f (y) exp (2iay) , y R
(3) F ur ein weiteres g L
1
bc
(R) und h := f g gilt

h(y) =

f (y) g (y) y R
(4) Ist g (x) = f
_
x

_
f ur ein > 0, so ist
g (y) =

f (y) , y R
(5) Ist g (y) = 2ixf (x) mit g L
1
bc
(R), so ist

f stetig dierenzierbar und es gilt
_

f
_

(y) = g (y) , y R
(6) Sei f stetig dierenzierbar und f, f

L
1
bc
(R). Dann ist gilt

(f

) (y) = 2iy

f (y) , y R
und insbesondere ist die Funktion y y

f (y) beschrankt.
(7) Ist f zweimal stetig dierenzierbar und f, f

, f

L
1
bc
(R), so gilt

f L
1
bc
(R)
24 2 Die Fouriertransformation
Beweis:
(1) F ur jedes y R gilt:
g (y) =

g (x) exp (2ixy) dx

=

f (x) exp (2iax) exp (2ixy) dx

=

f (x) exp (2ix(y a)) dx

=

f (y a)
(2) F ur jedes y R gilt:
g (y) =

g (x) exp (2ixy) dx

=

f (x a) exp (2ixy) dx
xx+a
=

f (x) exp (2i (x + a) y) dx

= exp (2iay)

f (x) exp (2ixy) dx

= exp (2iay)

f (y)
(3) Hier gilt f ur jedes y R:

h(y) =

h(x) exp (2ixy) dx

=

f (x z) g (z) dz exp (2ixy) dx

=

f (x z) exp (2ixy) dxg (z) dz

xx+z
=

f (x) exp (2ixy) dxexp (2izy) g (z) dz

=

f (y) g (y)
2 Die Fouriertransformation 25
(4) F ur jedes y R gilt:
g (y) =

g (x) exp (2ixy) dx

=

f
_
x

_
exp (2ixy) dx
xx
=

f (x) exp (2ixy) dx

=

f (y)
(5) Man sieht sofort, dass

f(y)

f(z)
y z
=

f (x) exp (2izx)

exp (2ix(y z)) 1
y z
dx
gilt. Nun denieren wir
(x, u) :=
exp (2ixu) 1
u
Setzt man dort die denierende Potenzreihe f ur exp ein, so sieht man sofort, dass
[(x, u) [ 2[x[ u ,= 0 und (x, u)
u
//
0
//
2ix
wobei die Konvergenz lokal gleichmaig ist. Die Funktionenfolge (setze u =
1
n
)

n
(x) := f (x) exp (2ixz)
exp
_
2ix
1
n
_
1
1
n
wird also dominiert durch die Funktion [f (x) 2x[, die nach Voraussetzung in L
1
bc
(R) liegt. Auerdem
konvergiert
n
lokal gleichmaig gegen 2ixf (x) exp (2izx). Laut Lemma 2.1 gilt also
_

f
_

(z) = lim
yz

f (y)

f (z)
y z
=

2ixf (x) exp (2izx) dx = g (z) z R

(6) Laut Voraussetzung ist [f[ integrierbar, d.h. es gibt Folgen S
n
, T
n
n
//

//
, s.d.
f (S
n
)
n
//

//
0 und f (T
n
)
n
//

//
0
gilt. Damit gilt dann aber:

(f

) (y) = lim
n
T
n
_
S
n
f

(x) exp (2ixy) dx

= lim
n
[f (T
n
) exp (2iyT
n
) f (S
n
) exp (2iyS
n
)] + lim
n
2iy
T
n
_
S
n
f (x) exp (2ixy) dx
= 2iy

f (x) exp (2ixy) dx

= 2iy

f (y)
Die Beschranktheit der Abbildung : y y

f (y) folgt damit einfach aus der Voraussetzung, dass f

L
1
bc
(R), denn damit ist

(f

) = 2i durch |f

|
1
beschrankt laut (2.4).
26 2 Die Fouriertransformation
(7) Wenden wir Aussage (6) zweifach an, so erhalten wir, dass die Abbildung
y y
2

f (y)
beschrankt ist. Insbesondere ist also auch y
_
1 + y
2
_

f (y) beschrankt, d.h. C > 0, s.d f ur alle y R
gilt:

f (y)

C
[1 + y
2
[
Daraus folgt aber

f (y) [ dy

C
[1 + y
2
[
dy <
und die Behauptung ist gezeigt.
2.3 Satz (Faltungssatz):
Seien f, g L
1
bc
(R). Dann gilt

f g =

f g
Beweis:
Mit dem Satz von Fubini folgt sofort f ur jedes y R:

f g (y) =

(f g) (x) exp (2ixy) dx

=

f (x z) g (z) dz exp (2ixy) dx

xz+x
=

f (x) g (z) exp (2i (z + x) y) dxdz

=

_
_

f (x) exp (2ixy) dx

_
_
g (z) exp (2izy) dz
=

f (y) g (y)
was die Behauptung zeigt.
2.5 Denition:
Sei o = o (R) der sogenannte Schwartzraum, d.h.
o (R) :=
_
f : R
//
C [ f C

(R) und m, n 0 gilt

m,n
(f) := sup
xR
[x
m
f
n
(x)[ <
_
2.4 Lemma:
Es gilt o L
1
bc
(R) und aus f o folgt auch

f o.
Beweis:
Ist f o, so ist die Funktion x
_
1 + x
2
_
f (x) nach Voraussetzung beschrankt durch ein geeignetes C > 0.
Damit folgt wie oben

[f (x) [ dx <
und daher ist f L
1
bc
(R).
Teil (5) des Satzes 2.2 liefert
f o

f C

(R) und
_

f
_
(n)
(x) =

((2ix)
n
f (x))
2 Die Fouriertransformation 27
Aus Teil (6) des selben Satzes folgt aber, dass f ur jedes f o

_
f
(n)
_
(y) = (2iy)
n

f (y)
gilt. Daher ist f ur jedes m, n 0 die Funktion y
m
_

f
_
(n)
(y) als Fouriertransformation einer Funktion der Art

_
(2ix)
n
f
(m)
(x)
_
aus dem Schwartzraum gegeben. Das zeigt die Behauptung.
2.3 Umkehrformel
2.6 Denition:
Sei > 0 und x R. Dann deniere
h

(x) :=

exp ([t[) exp (2itx) dt

2.5 Lemma:
(1) Die Funktion h

erf ullt
h

(x) =
2
4
2
x
2
+
2
und

(x) = 1 > 0 (2.5)

Insbesondere gilt also
h

(x) =
1

h
1
_
x

_
> 0
(2) Ist f L
1
bc
(R), so gilt f ur alle > 0, dass
(f h

) (x) =

exp ([t[)

f (t) exp (2ixt) dt (2.6)
Beweis:
(1) Man berechnet zunachst leicht
h

(x) =

exp ([t[) exp (2itx) dt

=

_
0
exp (t (2ix )) dt +
0
_

exp (t (2ix + )) dt
=
1
2ix
exp (t (2ix ))

0
+
1
+ 2ix
exp (t (2ix + ))

>0
=
1
2ix
+
1
+ 2ix
=
2
4
2
x
2
+
2
28 2 Die Fouriertransformation
und sieht somit die Darstellung aus (2.5) ein. Damit folgt aber direkt

(x) dx = 2

1
4
2
x
2
+
2
dx
=
2

1
_
2x

_
2
+ 1
dx
x

2
x
=
1

1
x
2
+ 1
dx
=
1

arctan (x)

=
1

2
+

2
_
= 1
und die ganze Gleichung (2.5) ist gezeigt.
Mit der eben gezeigten Darstellung folgt insbesondere
1

h
1
_
x

_
=
1

2
4
2
x
2

2
+ 1
=
2
4
2
x
2
+
2
= h

(x)
(2) Hier rechnen wir auch einfach nach und nutzen wieder die absolute Konvergenz der Integrale:
(f h

) (x) =

f (x y) h

(y) dy
=

f (x y)

exp ([t[) exp (2ity) dt dy

=

f (x y) exp ([t[) exp (2ity) dy dt

yxy
=

f (y) exp ([t[) exp (2it (x y)) dy dt

=

f (y) exp (2ity) dy exp ([t[) exp (2itx) dt

=

f (t) exp ([t[) exp (2itx) dt

Damit ist auch hier die Gleichung (2.6) gezeigt.
2.6 Lemma:
F ur alle f L
1
bc
(R) und f ur alle x R gilt:
lim
0
f h

(x) = f (x) (2.7)

Beweis:
Da

(y) dy = 1
2 Die Fouriertransformation 29
wie in Lemma 2.5, Teil (1), gesehen, folgt hier sofort
f h

(x) f (x) =

(f (x y) f (x)) h

(y) dy
=

(f (x y) f (x))
1

h
1
_
y

_
dy
yy
=

(f (x y) f (x)) h
1
(y) dy
Auerdem ist f laut Voraussetzung beschrankt, d.h. es gibt ein C > 0 s.d.
[f (x) [ C x R
Der Integrand von oben wird dementsprechend dominiert durch die wegen (2.5) reellwertige und positive Funk-
tion
2Ch
1
()
und konvergiert f ur
//
0 lokal gleichmaig gegen 0. Daher folgt wiederum aus Lemma 2.1 die Behauptung.
2.4 Satz (Umkehrsatz):
Sei f L
1
bc
(R), s.d. auch

f L
1
bc
(R) ist. Dann gilt f ur alle x R:

f (x) = f (x) d.h. f (x) =

f (y) exp (2ixy) dy

Beweis:
Sei > 0. Dann gilt wegen (2.6):
f h

(x) =

exp ([t[)

f (t) exp (2ixt) dt
Laut Lemma 2.6 geht die linke Seite f ur
//
0 gegen f (x), und der Integrand der rechten Seite wird oenbar
durch die Funktion
[

f (t) [
dominiert und konvergiert gleichmaig mit
//
0 gegen

f (x) exp (2itx), d.h. mit Lemma 2.1 folgt die Be-
hauptung.
Wir halten zuletzt noch folgendes oensichtliches Korollar fest:
Korollar 2.1:
Die Fouriertransformation
: o
//
o
ist eine Bijektion.
2.4 Satz von Plancherel
2.7 Denition:
Wir denieren den Raum
L
2
bc
(R) :=
_
_
_
f : R
//
C [ f ist stetig, beschrankt und es gilt |f|
2
2
:=

[f (x) [
2
dx <
_
_
_
2.7 Lemma:
F ur alle f, g L
2
bc
(R) konvergiert das Integral
f, g) :=

f (x) g (x) dx
30 2 Die Fouriertransformation
und deniert ein Skalarprodukt auf L
2
bc
(R).
Der Raum
L
1
bc
(R) L
2
bc
(R)
ist ein Unterraum.
Beweis:
F ur jedes feste T > 0 ist ( ([T, T]) mit
f, g)
T
:=
T
_
T
f (x) g (x) dx und |f|
2,T
:=
_
f, f)
T
, f, g ( ([T, T])
ein Prahilbertraum. Die Cauchy-Schwarz-Ungleichung liefert nun
T
_
T
[f (x) g (x)[ dx = [[f[, [g[)
T
[ |f|
2,T
|g|
2,T
|f|
2
|g|
2
Daher muss das Integral aus der Behauptung f ur alle stetigen Funktionen, d.h. f ur alle Funktionen f, g L
2
bc
(R)
konvergieren.
Die Eigenschaften eines Skalarproduktes rechnet man nun wie in Bemerkung 1.1 einfach nach.
Zuletzt ist noch zu zeigen, dass L
1
bc
(R) L
2
bc
(R), denn da es sich um Vektorraume handelt, ist die Unterraumei-
genschaft dann klar. Sei also f L
1
bc
(R). Dann ist f beschrankt, d.h. es gibt ein C > 0, s.d. [f (x) [ C x R.
Damit folgt aber

[f (x) [
2
dx =

[f (x) [[f (x) [

2
dx C

[f (x) [ dx = C|f|
1
<
und daher ist f L
2
bc
(R).
2.5 Satz (Plancherel):
Sei f L
1
bc
(R). Dann ist

f L
2
bc
(R) und es gilt
|f|
2
= |

f|
2
Beweis:
Setze

f (x) := f (x) f ur x R und g :=

f f. Dann gilt per Denition
g (x) =

f (y x)f (y) dy, x R

und daher insbesondere g (0) = |f|
2
2
. Auerdem erhalten wir aus Satz 2.2, Teil (3), dass
g (t) =

f (t)

f (t) =

f (t)

f (t) = [

f (t) [
2
(2.8)
Damit folgt dann
|f|
2
2
= g (0)
(2.7)
= lim
0
g h

(0)
= lim
0

exp ([t[) g (t) dt

(2.8)
= lim
0

exp ([t[) [

f (t) [
2
dt
Lemma 2.2
= |

f|
2
2
Damit ist die Behauptung gezeigt.
2 Die Fouriertransformation 31
2.5 Die Poissonsche Summationsformel
2.8 Lemma:
Sei f : R
//
C stetig und f ur alle x R konvergiere
g (x) :=

lZ
f (x + l)
absolut. Auerdem nehmen wir an, dass die Fourierreihe der periodischen Funktion g

kZ
c
k
(g) exp (2ikx)
punktweise gegen g konvergiert. Falls

lZ
1
_
0
f (y + l) exp (2iky) dy =
1
_
0

lZ
f (y + l) exp (2iky) dy
f ur jedes k Z gilt, so ist

lZ
f (l) =

kZ

f (k)
Beweis:
Unter den gemachten Voraussetzungen konnen wir einfach wie folgt berechnen:

lZ
f (l) = g (0)
=

kZ
c
k
(g)
=

kZ
1
_
0
g (y) exp (2iky) dy
=

kZ
1
_
0

lZ
f (y + l) exp (2iky) dy
=

kZ

lZ
1
_
0
f (y + l) exp (2iky) dy
=

kZ

lZ
exp (2ikl)
l+1
_
l
f (y) exp (2iky) dy
=

kZ

f (y) exp (2iky) dy

=

kZ

f (k)
Das zeigt die Behauptung.
2.6 Satz (Poissonsche Summationsformel):
Sei f L
1
bc
(R) eine bis auf eventuell endlich viele Ausnahmepunkte st uckweise stetig dierenzierbare Funktion.
Sei auerdem
(x) :=
_
f

(x) falls f

(x) existiert
0 sonst
Wir nehmen an, dass die Funktionen x x
2
f (x) und x x
2
(x) beschrankt sind. Dann gilt die sogenannte
Poissonsche Summationsformel:

lZ
f (l) =

kZ

f (k)
32 2 Die Fouriertransformation
Beweis:
Wir weisen die Voraussetzungen von Lemma 2.8 nach:
(1) Da x x
2
f (x) eine beschrankte Funktion ist (und f selbst nach Voraussetzung auch), ist auch x
_
1 + x
2
_
f (x) durch eine Konstante C > 0 beschrankt und daher gilt

kZ
[f (x + k) [

kZ
C
1 + (k + x)
2
<
Insbesondere konvergiert also die Summe
g (x) =

kZ
f (x + k) (2.9)
absolut und gleichmaig gegen eine stetige Funktion g.
(2) Ganz analog konvergiert auch die Summe

kZ
(x + k)
gleichmaig gegen eine st uckweise stetige Funktion g. Damit erhalten wir aber
x
_
0
g (t) dt =
x
_
0

kZ
(t + k) dt
=

kZ
x
_
0
(t + k) dt
=

kZ
k+x
_
k
(t) dt
=

kZ
(f (k + x) f (k))
(2.9)
= g (x) g (0)
Daher ist g st uckweise stetig dierenzierbar und laut Satz 1.3 konvergiert daher die Fourierreihe von g
insbesondere punktweise gegen g.
(3) In (1) wurde schon gezeigt, dass die Summe (2.9) gleichmaig gegen g konvergiert. Nach einem bekannten
Satz aus der Dierentialrechnung d urfen die Integrale daher vertauscht werden.
2.6 Ein Beispiel
2.9 Lemma:
Sei
f (x) := exp
_
x
2
_
Dann gilt f o und

f = f.
Beweis:
Bis auf eine Konstante ist f die eindeutige
4
Losung der Dierentialgleichung
f

(x) = 2xf (x) (2.10)

Eine einfache Induktion liefert nun, dass f ur jedes n N ein Polynom p
n
existiert, s.d.
f
(n)
(x) = p
n
(x) f (x)
4
Folgt hier z.B. schon aus logarithmischem Integrieren
3 Anwendungen 33
gilt. Damit folgt f o (exp fallt gegen schneller als jedes Polynom). Laut Lemma 2.4 ist dann auch

f o
und daher berechnen wir mit Satz 2.2, Teil (5), dass
_

f
_

(y) =

(2ix) exp
_
x
2
_
exp (2ixy) dx
= i

_
exp
_
x
2
__

exp (2ixy)
partielle Integration
= 2y

exp
_
x
2
_
exp (2ixy) dx
= 2y

f (y)
Daher erf ullt

f genauso wie f die Dierentialgleichung (2.10) und es folgt

f = c f
f ur eine Konstante c R. Laut Satz 2.4 haben wir

f (x) = f (x)
und doppeltes Anwenden dieser Formel liefert c
2
= 1. Mit

f (0) =

exp
_
x
2
_
dx > 0
und wegen f > 0 folgt aber c > 0, also c = 1 und das zeigt die Behauptung.
2.7 Aufgaben
Aufgabe 2.1:
Sei f (x) = exp
_
x
2
_
. Man zeige f L
1
bc
(R) und berechne die Faltung
f f
Aufgabe 2.2:
Sei > 0. Man beweise die Formel
1 + exp (2)
1 exp (2)
=
1

n=

2
+ n
2
durch Anwenden der Poissonschen Summationsformel auf die Funktion
f (x) exp (2[x[)
Aufgabe 2.3:
Man folgere aus Aufgabe 2.2, dass f ur e := exp (1) die Gleichung
3 e
4e 4
=
1
1 + (2)
2
+
1
1 + (4)
2
+
1
1 + (6)
2
+ ... =

n=1
1
1 + (2n)
2
gilt.
3 Anwendungen
Wir wollen nun die Fouriertheorie von oben anwenden, insbesondere auf partielle Dierentialgleichungen. F ur
eine stetig dierenzierbare Funktion u = u(t, x) bezeichnen wir dabei mit
u
x
:=
u
x
die partielle Ableitung von u nach x usw.. Auerdem werden wir dabei eine etwas andere Fouriertransformation
als die oben eingef uhrte verwenden, die Rechenregeln bleiben aber bis auf Faktoren der Form 2 stets erhalten.
34 3 Anwendungen
3.1 Die Warmeleitungsgleichung
Wir betrachten die sogenannte Warmeleitungsgleichung
_
u
xx
= u
t
t > 0, x R
u
|
t=0
(x) = f (x) x R
(3.1)
Oenbar handelt es sich dabei um eine partielle Dierentialgleichung. Praktisch beschreibt u = u(t, x) hier die
Temperatur am Punkt x zur Zeit t > 0, wenn die Temperatur zur Zeit t = 0 durch die Funktion f gegeben ist.
Wir nehmen an, dass f L
1
bc
(R) ist und f ur alle t > 0 die Funktion x u(t, x) ebenfalls in L
1
bc
(R) ist. Unter
diesen Voraussetzungen konnen wir x u(x, t) und f fouriertransformieren, d.h. die Integrale

f () :=

f(x) exp (ix) dx

und
U (t) :=

u(x, t) exp (ix) dx

f ur jedes t > 0. F ur U schreiben wir auch
U = T
x
[u(t, x)] ()
um zu zeigen, dass es sich um die Fouriertransformation von u bez uglich der Variablen x handelt.
Jetzt nehmen wir zusatzlich noch an, dass u, u
x
, u
xx
f ur alle festen t > 0 Funktionen aus L
1
bc
(R) bez uglich x
sind, und dass die Fouriertransformation bez uglich x mit der partiellen Ableitung bez uglich t vertauscht, d.h.
T
x
[u
t
] = T
x
_
u
t
_
=

t
T
x
[u] =
U
t
Transformieren wir unter diesen Annahmen die partielle Dierentialgleichung von oben, so ist diese aquivalent
zu
_

2
U (, t) =
U
t
(, t) t > 0,

R = R
U (, 0) =

f ()

R = R
F ur festes R konnen wir diese gewohnliche Dierentialgleichung durch
U (, t) = C () exp
_

2
t
_
losen. Einsetzen der Anfangsbedingung liefert dann
C () =

f ()
Daher ist die Fouriertransformation bez uglich x der Losung zu (3.1) gegeben als
U (, t) =

f () exp
_

2
t
_
Wir wollen dieses U nun als Produkt zweier Fouriertransformationen schreiben, um die Losung u selbst als
Faltung zu erhalten. Eine Variablensubstituion der in Lemma 2.9. behandelten Funktion liefert daf ur
T
x
_
1

4t
exp
_

x
2
t
__
() = exp
_

2
t
_
Denieren wir also
E (x, t) =
1

4t
exp
_

x
2
t
_
so ist
U (, t) = T
x
[E (x, t)] () T
x
[f] ()
und daher gilt mit dem Faltungssatz (Satz 2.3) und dem Umkehrsatz (Satz 2.4), dass
u(t, x) = E (x, t)
x
f (x) =
1

4t

exp
_

y
2
4t
_
f (x y) dy
f ur alle t > 0.
Diese Losung ist auch in einem groeren Kontext als den oben gemachten Voraussetzungen g ultig. Ist f nur
stetig und beschrankt, so lost das oben denierte u ebenfalls die Gleichung u
xx
= u
t
in RR
+
und es gilt
lim
t0
u(x, t) = f (x)
3 Anwendungen 35
3.1.1 Physikalische Diskussion
Wir betrachten die Anfangsbedingung
f (x) =
(1,1)
(x) =
_
1 falls 1 < x < 1
0 sonst
Wie oben ist dann die Losung u von (3.1) gegeben als
u(x, t) =
1

4t
x+1
_
x1
exp
_

y
2
4t
_
dy =
1

4t
1
_
1
exp
_

(x y)
2
4t
_
dy
F ur jedes t > 0 ist diese Funktion f ur alle x positiv. Das macht aber physikalisch keinen Sinn, da sich die Warme
nicht in beliebig kleiner Zeit verteilen kann!
Eine weitere seltsame Eigenschaft der Warmeleitungsgleichung kann man wie folgt sehen. Deniere
h(t) :=
_
exp
_

1
2t
2
_
falls t > 0
0 falls t 0
Dann ist h (

(R) und wir konnen durch

g (t) := h(t 1) h(2 t)
ebenfalls eine positive (

-Funktion mit Trager in [1, 2] denieren. Setze nun

u(t, x) :=

m=0
g
(m)
(t)
(2m)!
x
2m
Dann lost dieses u die Warmeleitungsgleichung (3.1) f ur die Anfangsbedingung f (x) = 0 x R. Aber u
ist selbst nicht identisch Null, f ur 1 < t < 2 ist u f ur jedes x R strikt positiv. Dieses Ergebnis macht
physikalisch keinen Sinn, und insbesondere liegt keine Eindeutigkeit der Losung vor. Das deutet darauf hin,
dass das verwendete Modell zur physikalischen Herleitung der Gleichung (3.1) fehlerhaft ist.
3.2 Die Laplace-Gleichung
Wir betrachten die sogenannte Laplace-Gleichung
_

_
u
xx
+ u
yy
= 0 in R R
+
u
|
y=0
(x) = f (x) in R
u beschrankt f ur y > 0
(3.2)
Oenbar handelt es sich auch hier um eine partielle Dierentialgleichung zweiter Ordnung. Auch hier nehmen
wir wieder an, dass die Funktion x u(x, y) f ur festes y > 0 eine L
1
bc
(R)-Funktion ist. Unter dieser Annahme
konnen wir wieder Fouriertransformieren, d.h.
U (, y) := T
x
[u(x, y)] () =

u(x, y) exp (ix) dx

existiert f ur y > 0. Auerdem nehmen wir wieder an, dass die Fouriertransformation bez uglich x mit der
partiellen Ableitung nach y vertauscht, d.h.
T
x
[u
yy
] =

2
(y)
2
T
x
[u]
und dass sowohl u
x
als auch u
xx
in L
1
bc
(R) liegen. Unter diesen Annahmen konnen wir Gleichung (3.2) Fourier-
transformieren und erhalten so

2
U (, y) +

2
(y)
2
U (, y) = 0
Diese gewohnliche Dierentialgleichung in y konnen wir f ur festes y wieder durch
U (, y) = A() exp (y) + B () exp (y)
36 3 Anwendungen
losen. Da die Gleichung (3.2) ein beschranktes u f ur y > 0 fordert, muss auch U f ur festes in y > 0 beschrankt
sein. Daher folgt
A() = 0 f ur < 0 und B () = 0 f ur > 0
Wir schreiben unsere Losung U daher wie folgt um:
U (, y) = C () exp (y[[)
mit C () = A() + B (). Die transformierte Anfangsbedingung liefert jetzt
C () = U (, 0) =

f () ,

R = R
Daher ist die Fouriertransformierte bez uglich x der Losung u = u(x, y) gegeben als
U (, y) :=

f () exp (y[[)
Bekanntlich ist exp (y[[) die Fouriertransformierte bez uglich x der Funktion
P
y
(x) :=
y

1
y
2
+ x
2
ist (vergleiche Aufgabe NUMMER), erhalten wir mit dem Faltungssatz (Satz 2.3) wieder die Losungsdarstellung
u(x, y) = (P
y
f) (x) =
y

f (t)
(x t)
2
+ y
2
dt
Diese Gleichung wird auch Poissonsche Integralformel f ur die Halbebene y > 0 genannt.
Auch hier gen ugt es wieder, f stetig und beschrankt zu fordern.
3.3 Der Sampling-Satz
3.1 Lemma (Parsevalsche Gleichung):
Sei (V, , )) ein Hilbertraum mit vollstandigem Orthonormalsystem
j

jN
. Dann gilt
u, v) =

j=1
u,
j
) v,
j
)
Beweis:
Sei P
n
(u) die Projektion von u auf den von
1
, ...,
n
aufgespannten Untervektorraum, d.h.
P
n
(u) :=
n

j=1
u,
j
)
j
Dann ist oenbar
P
n
(u) , P
n
(v)) =
n

j=1
u,
j
) v,
j
)
Wir berechnen nun
[u, v) P
n
(u) , P
n
(v))[ = [u, v) u, P
n
(v)) +u, P
n
(v)) P
n
(u) , P
n
(v))[
[u, v P
n
(v))[ +[u P
n
(u) , P
n
(v))[
Cauchy-Schwarz
|u||v P
n
(v) | +|u P
n
(u) ||P
n
(v) |
Bessel-Ungleichung
|u||v P
n
(v) | +|u P
n
(u) ||v|
und hier geht der letzte Ausdruck mit n
//
gegen 0, da
j

jN
ein vollstandiges Orthonormalsystem ist.
Das zeigt die Behauptung.
3.1 Satz (Shannons Sampling-Satz):
Sei f eine stetige Funktion auf R, f L
1
bc
(R) und es gelte

f () = 0 f ur [[ C.
Dann ist
f (t) =

nZ
f
_
n
C
_
sin (Ct n)
Ct n
3 Anwendungen 37
Beweis:
Aus der Umkehrformel (Satz 2.4) wissen wir
f (t) =
1
2

f () exp (it) d =
1
2
c
_
c

f () exp (it) d (3.3)

Unser Ziel wird es nun sein, dieses Integral umzuschreiben. Sei dazu
g () =
C

f () f ur [[ < C
und ansonsten 2C-periodisch fortgesetzt. Die Fourierreihe von g ist dann gegeben als

nZ
c
n
(g) exp
_
i
n
C

_
mit
c
n
(g) =
1
2C
C
_
C
g () exp
_
i
n
C

_
d
=
1
2
C
_
C

f () exp
_
i
n
C

_
d
= f
_

n
C
_
Auerdem setzen wir
h() := exp (it) f ur [[ < C
und ansonsten wiederum 2C-periodisch fortgesetzt auf R. Dann hat h die Fourierreihe

nZ
c
n
(h) exp
_
i
n
C

_
mit den Koezienten
c
n
(h) =
1
2C
C
_
C
exp (it) exp
_
i
n
C

_
d
=
1
2C
exp
_
it i
n
C

_
it i
n
C

=C
=C
=
sin (Ct + n)
Ct + n
Wir schreiben dir Formel aus (3.3) nun wie folgt um:
f (t) =
1
2C
C
_
C
C

f () exp (it) d =
1
2C
C
_
C
g () h() d
Jetzt wenden wir Lemma 3.1 auf das Skalarprodukt , )
C
:=
1
2C
C
_
C
() () auf dem Raum ( (R/2CZ) der
stetigen, 2C-periodischen Funktionen an und erhalten so
f (t) =

nZ
c
n
(g) c
n
(h)
=

nZ
f
_

n
C
_
sin (Ct + n)
Ct + n
=

nZ
f
_
n
C
_
sin (Ct n)
Ct n
Wegen g, h L
2
(R/2CZ) konvergiert diese Reihe sogar gleichmaig und die Behauptung ist gezeigt.
38 4 Losung der Aufgaben
3.3.1 Technische Bedeutung
Satz 3.1 sagt uns genau folgendes:
Ein Signal f(t), welches nur aus

Uberlagerungen von Wellen der Frequenz mit [[ C entsteht, kann exakt
aus einem Sampling zu diskreten Zeiten in Zeitintervallen der Lange

C
rekonstruiert werden. Hat man also die
Werte von f zu den Zeiten
n
C
, n Z, so kann der Wert von f zu jeder Zeit t exakt rekonstruiert werden.
Insbesondere bei der Digitalisierung von Tonaufnahmen macht man sich dieses Ergebnis zu nutze. Das Mensch-
liche Ohr kann etwa 20.000 Hertz horen, d.h. setzt man C = 48.000 Hertz, so gehen sicherlich keine (horbaren)
Informationen verloren. Nun speichert man digital den Wert der Tonfunktion f zu den besagten Zeiten
n
C
,
n Z, und kann dann zum Abspielen den urspr unglichen Ton f zu jedem Zeitpunkt t exakt rekonstruieren.
Damit ist es ezient moglich, Toninformationen digital zu speichern.
4 Losung der Aufgaben
Losung zu Aufgabe 1.1:
Es gilt
f (x) = 2
_
x
1
2
_
2
= 2x
2
2x +
1
2
Damit folgt f ur k ,= 0 mit partieller Integration:
c
k
(f) =
1
_
0
f (x) exp (2ikx) dx
=
1
_
0
_
2x
2
2x +
1
2
_
exp (2ikx) dx
=
1
2ik
_
2x
2
2x +
1
2
_
exp (2ikx)

x=1
x=0
+
1
2ik
1
_
0
(4x 2) exp (2ikx) dx
=
1
2ik
_
1
2

1
2
_
+
1
2ik
1
_
0
(4x 2) exp (2ikx) dx
=
1
2ik
_
_
1
2ik
(4x 2) exp (2ikx)

x=1
x=0
+
1
2ik
1
_
0
4 exp (2ikx) dx
_
_
=
1
4
2
k
2
(2 + 2)
=
1

2
k
2
F ur k = 0 gilt oensichtlich
c
k
(f) =
1
_
0
f (x) exp (2ix 0) dx =
1
_
0
f (x) dx =
1
6
Daher ist die Fourierreihe von f gegeben als
f (x) =
1
6
+

n=
n=0
1

2
n
2
exp (2ikx) =
1
6
+

n=1
2

2
n
2
cos (2nx)
Wegen f
_
1
2
_
= 0 folgt damit sofort
0 =
2
f
_
1
2
_
=

2
6
+

k=1
2
k
2
cos (k) =

2
6
+ 2

k=1
(1)
k
k
2
Umstellen ergibt die gew unschte Gleichung:

2
12
=

k=1
(1)
k+1
k
2
4 Losung der Aufgaben 39
Losung zu Aufgabe 1.2:
Zunachst berechnen wir die Fourierkoezienten von f. F ur k ,= 0 folgt mit partieller Integration:
c
k
(f) =
1
_
0
f (x) exp (2ikx) dx
=
1
_
0
_
(2x)
2
4
2
x
_
exp (2ikx) dx
=
1
2ik
_
(2x)
2
4
2
x
_
exp (2ikx)

x=1
x=0
+
1
2ik
1
_
0
_
8
2
x 4
2
_
exp (2ikx) dx
=
1
2ik
(0 0) +
1
2ik
1
_
0
_
8
2
x 4
2
_
exp (2ikx) dx
=
1
2ik
1
2ik
_
8
2
x 4
2
_
exp (2ikx)

x=1
x=0
+
1
2ik
1
_
0
8
2
exp (2ikx) dx
=
1
4
2
k
2
8
2
=
2
k
2
F ur k = 0 berechnet man leicht
c
k
(f) =
1
_
0
f (x) dx =
1
_
0
4
2
x
2
4
2
xdx =
4
3

2
2
2
=
2
3

2
Daher ist die Fourierreihe von f gegeben als
f (x) =
2
3

2
+
k=

k=
k=0
2
k
2
exp (2ikx) =

k=1
4
k
2
cos (2kx)
2
3

2
Mit der Parsevalschen Gleichung (Satz 1.2) gilt dann

2
3

2
+

k=1
8
k
4
=

kZ

f (k)

2
= |f|
2
2
=
1
_
0
[f (x) [
2
dx
=
1
_
0
(2x)
4
8
2
x(2x)
2
+ 16
4
x
2
dx
=
1
_
0
16
4
x
4
32
4
x
3
+ 16
4
x
2
dx
= 16
4
1
_
0
x
4
2x
3
+ x
2
dx
= 16
4
_
1
5

1
2
+
1
3
_
= 16
4
1
30
40 4 Losung der Aufgaben
Damit folgt

k=1
8
k
2
=
4
9

4
+
8
15

4
=
20
45

4
+
24
45

4
=
4
45

4
und das zeigt die Behauptung.
Losung zu Aufgabe 1.3:
Ist : R
//
S
1
= z C [ [z[ = 1 ein Charakter, so erf ullt per Denition die folgenden drei Bedingungen:
(1) ist stetig
(2) (0) = 1
(3) (x + y) = (x) (y) x, y R.
Jetzt wenden wir zum Beispiel [Forster], 12, Satz 4 (Seite 116) auf an (der dort verwendete Beweis kann
wortlich gleichbleibend auf eine Funktion : R
//
C erweitert werden) und erhalten so
(x) = a
x
f ur a = (1). Da aber
a
x
= exp (x log(a))
folgt die Behauptung mit y :=
log(a)
2i
.
Losung zu Aufgabe 2.1:
Oensichtlich ist f L
1
bc
(R), denn f ist stetig und uberall kleiner als 1. Man berechnet
(f f) (y) =

f (y x) f (x) dx
=

exp
_
(y x)
2
x
2
_
dx
=

exp
_
y
2
2xy 2x
2
_
dx
= exp
_
y
2
_

_

exp
_
2
_
x
2
xy
__
dx
= exp
_
y
2
_
exp
_
1
2
y
2
_

_

exp
_
2x
2
xy +
1
4
y
2
_
dx
= exp
_

1
2
y
2
_

_

exp
_
2
_
x
1
2
y
_
2
_
dx
xx+
1
2
y
= exp
_

1
2
y
2
_

_

exp
_
2x
2
_
dx
x
x

2
= exp
_

1
2
y
2
_
1

exp
_
x
2
_
dx
= exp
_

1
2
y
2
_
1

=
_

2
exp
_

y
2
2
_
und die Aufgabe ist gelost.
4 Losung der Aufgaben 41
Losung zu Aufgabe 2.2:
Die Poissonsche Summationsformel liefert

lZ
f (l) =

kZ

f (k)
Wegen > 0 ist f L
1
bc
(R) und die Summationsformel ist anwendbar.
Wir berechnen also zunachst die Fourierkoezienten der Funktion f aus der Aufgabenstellung:
c
k
(f) =

f (x) exp (2ikx) dx

=

exp (2 ([x[ + ikx)) dx

=
0
_

exp (2x(ik )) dx +

_
0
exp (2x( + ik)) dx
=
1
2 (ik )
exp (2x(ik ))

x=0
x=
+
1
2 ( + ik)
exp (2x( + ik))

x=
x=0
=
1
2 ( + ik)

1
2 (ik )
=
a
(k
2
+
2
)
Da auerdem

lZ
f (l) =

lZ
exp (2[l[)
= 1 + 2

l=1
(exp (2))
l
= 1 + 2
_
1
1 exp (2)
1
_
= 1 +
2
1 exp (2)
=
1 + exp (2)
1 exp (2)
folgt sofort
1

kZ

k
2
+
2
=

kZ

f (k) =

lZ
f (l) =
1 + exp (2)
1 exp (2)
und die Aufgabe ist gelost.
Losung zu Aufgabe 2.3:
Wir setzen einfach =
1
2
und erhalten so aus Aufgabe 2.2, dass
1 + e
1
1 e
1
2 =
1

nZ
1
2
_
1
2
_
2
+ n
2
= 2 + 2

nZ
n=0
1
1 + (2n)
2
= 2 + 4

n=1
1
1 + (2n)
2
Wegen
1 + e
1
1 e
1
2 =
3 e
e 1
folgt daraus dann die Behauptung.
42 Stichwortverzeichnis
Stichwortverzeichnis
p-adische Zahlen, 16
ganze, 16
Adele-Ring von Q, 16
Besselsche Ungleichung, 8
Cauchy-Schwarz-Ungleichung, 30
Charakter
einer metrisierbaren abelschen Gruppe, 14
Faltung, 22
Eigenschaften, 22
Existenz, 21
Faltungssatz, 26
Faltungssatz, 26, 34, 36
Fourierkoezienten, 7
Fourierreihe, 7
Konvergenz, 12
Fouriertransformation, 18, 19, 23
allgemeiner Satz von Plancherel, 19
auf LCA-Gruppen, 18
Eigenschaften, 23
Faltungssatz, 26
Poissonsche Summationsformel, 31
Satz von Plancherel, 30
Funktion
auf LCA-Gruppe
Vektorraum L
1
bc
(A), 18
Vektorraum L
2
bc
(A), 18
charakteristische, 10
Faltung, siehe Faltung
periodisch, 5
periodische, riemann-integrierbare, 6
Raum L
1
bc
(R), 20
Norm, 20
Raum L
2
bc
(R), 29
Skalarprodukt, 30
riemann-integierbar, 6
stetige, periodische, 5
Treppenfunktion, 10
Vektorraum ( (R/Z), 5
Norm, 7
Vektorraum (R/Z), 6
gewohnliche Dierentialgleichung, 34
Idele-Ring von Q, 16
Integral, 17
Haarintegral, 17
linksinvariantes, 17
Konvergenz
in der L
2
-Norm, 8
LCA-Gruppe, 15
Pontryagin-Dual, 15
Lebesgue
Satz von der dominierten Konvergenz, 20
Satz von der monotonen Konvergenz, 20
Orthonormalsystem
Parsevalsche Gleichung, 36
Parsevalsche Gleichung, 12, 36
partielle Dierentialgleichung, 33
Laplace-Gleichung, 35
Wameleitungsgleichung, 34
Plancherel
allgemeiner Satz von, 19
Satz von, 30
Poissonsche Integralformel, 36
Poissonsche Summationsformel, 31
Pontryagin-Dual einer LCA-Gruppe, 15
Primstelle, 16
Satz von Plancherel, 30
Schwartzraum, 26
Shannon
Sampling-Satz, 36
Skalarprodukt
hermitesch
auf ( (R/Z), 5
Treppenfunktion, 10
verallgemeinertes Integral, siehe Integral
Welle, 5