Sie sind auf Seite 1von 4

Kapitel 9: Fourier-Analyse

9.1 Fourier-Reihen
Wir haben in den vorherigen Kapiteln die analytischen (holomorphen) Funktionen als das Musterbeispiel fr korrekte Funktionen hingestellt. Sind sie das wirklich? Die Antwort wird erst am Ende dieses Kapitels gegeben werden. Die Starrheit der analytischen Funktionen erscheint intuitiv als ungeeignet fr physikalische Anwendungen. Besonders die bermittlung von Nachrichten, die ja willkrliche Elemente enthalten, drfte unvereinbar sein mit dieser Starrheit. Jedes kleine Stck der Nachricht wrde den Rest festlegen. Wellen werden am besten durch die sogenannten Fourier-Reihen beschrieben. Eine Funktion f(x) ist periodisch mit der Periode l, wenn f(x+l) = f(x) fr alle x. Reine Tne gehorchen der Funktion f(x) = sin (x) = sin (x + 2). D.h. die Periode ist 2. Nun gilt eix = cos x + isin x. und eix = ei(x+ 2). Fourier ging von der Erkenntnis aus, dass reale Tne anscheinend aus reinen Tnen zusammengesetzt sind: (9.1) f() = a0 + a1 cos + b1 sin + a2 cos 2 + b2 sin 2 + mit = 2/l Man kann das nun ausdrcken mit Potenzen von e und in der elegantesten Formulierung sieht das Ergebnis dann so aus: (9.2) F(z) = i zi wobei i von bis + luft und z=eix. = 2/l und l ist die Periode. Und es ist z.B. an=n + -n. (Aufgepasst: (9.2) benutzt alpha-Koeffizienten). Diese Art von Reihen nennt man im Allgemeinen eine Laurent-Reihe.

9.2 Funktionen auf einem Kreis


Laurent-Reihen sind also allgemeiner als Fourier-Reihen, da sie nicht auf Terme mit z=ei beschrnkt sind. Weil eine periodische Funktion sich endlos wiederholt, knnen wir uns vorstellen, dass sie auf einem Kreis definiert ist, dessen Umfang die Lnge der Periode l hat. Wenn wir den Einheitskreis whlen, dann ist =1 und z=ei. Wenn wir nun z-Werte auerhalb des Einheitskreises zulassen, dann haben wir die Fourier-Zerlegung von (9.2) ausgedehnt auf die gesamte komplexe Ebene, bzw. auf einen Bereich, in dem f(z) konvergiert. (s wird sich herausstellen, dass es sich beim Konvergenzbereich um eine Scheibe handelt). Diese Scheibe der Konvergenz entsteht, weil sich die Laurent-Reihe zusammensetzt aus Potenzen von z und 1/z Die Reihen mit z: F-(z) = 1z + 2z + konvergieren im Innern eines Kreises mit Radius >= 1. Die Reihen mit 1/z: F+(z) = -1z-1 + -2z-2 + konvergieren auerhalb eines Kreises mit Radius <= 1. Auf der Riemann-Kugel entspricht dies einem Bereich auf der oberen und unteren Hemisphre.

9.3 Frequenzanalyse auf der Riemann-Kugel.

Die Laurent-Reihe wird wie oben beschrieben zerlegt in einen positiven Frequenzanteil F+(z) und einen negativen Frequenz-Anteil F-(z). In der Quantenmechanik bentigen wir eine Funktion, die von - bis + auf der reellen Achse ihre Werte hat. Die Transformation t = tan x bildet den Einheitskreis auf die Zahlengerade ab. Diese Transformation lsst sich holomorph abbilden auf die Riemann-Kugel durch (9.3) t = (z 1) / (iz + i) und z = (-t + i) / (t + i)

Wir erinnern uns: Das Innere des Einheitskreises wird auf die obere Hlfte der t-Ebene (negative Frequenzen) abgebildet, und das uere auf die untere Hlfte (positive Frequenzen).

9.4 Die Fourier-Transformation


Eine Fourier-Transformation kann angesehen werden als der Grenzfall einer Fourier-Reihe F(z). Wenn wir die Periode l ber alle Grenzen wachsen lassen, dann gibt es keine Periodizitt mehr. F(z) ist dann eine ganz normale Funktion. Wir erinnern uns an die allgemeine FourierReihe: F(z) = ar zr mit z = eix. R durchluft die Menge der ganzen Zahlen von - bis +. Und =2/l. Wir lassen nun l ber alle Grenzen wachsen, und der Einfachheit halber setzen wir l=2N mit natrlichen Zahlen N. Dann ist =1/N. Dann wird unsere Fourier-Reihe zu: (9.4) F(z) = ar e(ir/N)x . Die Gre p=r/N wird spter in der Quantenmechanik als Impuls eines Teilchens fungieren. Wir whlen diese Gre p als Integrations-Variable und anstelle von ar gehen wir ber zu g(p). Und die Summe wird zu: (9.5) f(x) = 1/2 g(p) e ixp dp Die inverse Funktion zu f(x) ist g(p) in der Art: (9.6) g(p) = 1/2 f(x) e ixp dx Die Funktion g(p) heit Fourier-Transformierte von f(x) und umgekehrt.

9.5 Frequenzaufspaltung bei der Fourier-Transformation


Man sagt, eine komplexe Funktion f(x) habe positive Frequenz, wenn ihre FourierTransformierte g(p)=0 fr alle p>=0. In diesem Fall besteht g(p) nur aus Komponenten der Form eixp fr p<0. Wir wollen nun fr eine periodische Funktion f(x) mit der Periode l=2 zurckkehren zur Beschreibung in der komplexen z-Ebene. Angenommen wir wollen nun die Periode auf Werte grer als 2 wachsen lassen, und x soll nach wie vor die Lnge des Bogens auf dem Kreis sein. Wir denken uns eine Folge von Kreisen, die alle durch den Punkt (0,0) gehen. Der erste Kreis soll seinen Mittelpunkt bei (0,-i) haben, die darauf folgenden Kreise bei (0,-il/2). Durch unsere spezielle Wahl liegen alle diese Kreise auf der unteren Hlfte der komplexen Ebene und fr l= geht der Kreis ber in die reelle x-Achse. Die Orientierung des Kreises ist im Uhrzeigersinn, dies ist genau die umgekehrte Drehrichtung wie sonst blich. Dadurch kehrt sich die Bedeutung von Innen und Auen um.

(9.7) z = il/2 (e-ix 1) Fr endliches l knnen wir die Funktion f(x) als eine Fourier-Reihe darstellen mit dem Mittelpunkt (0,-il/2). Die Bedingung fr positive Frequenzen ist die holomorphe Erweiterbarkeit von f in das Innere des Kreises. Im Grenzfall l-> bedeutet dies die Erweiterung auf die untere Hlfte der komplexen Ebene.

9.6 Fourier-Analyse der Rechteckwelle


Wir stellen uns zunchst die Frage, welche Funktionen knnen wir darstellen als FourierTransformierte? Wir haben gesehen, dass die Fourier-Transformierte g(p) einer Funktion f(x) mit positiver Frequenz zusammengesetzt ist aus nicht-analytischen Funktionen. Das Verhalten von f(x) im Punkte x= ist auch nicht analytisch. Unsere physikalische Motivation, FourierTransformationen zu studieren war die Behandlung von nicht-analytischen Signalen mit unerwartetem Verhalten. Fourier zeigte zu Beginn des 19-ten Jahrhunderts, dass man periodische Funktionen, wie zum Beispiel die Rechteckwelle zusammensetzen kann aus Sinuswellen. Fr die Rechteckwelle fand er die Reihe: (9.8) s(x) = sin x + 1/3 sin 3x + 1/5 sin 5x + Die Laurent-Reihe, die zu dieser Fourier-Reihe gehrt ist: (9.9) 2i s(x) = -1/5 z-5 -1/3 z-3 z-1 + z + 1/3 z3 + 1/5 z5 + mit z = e ix Wir knnen nun diese Laurent-Reihe in zwei Hlften teilen: 2i s(x)=S+ + S(9.10a) S- = z + 1/3 z3 + 1/5 z5 + = ln ((1+z)/(1-z)) und (9.10b) S+= -1/5 z-5 -1/3 z-3 z-1 = ln ((1+1/z)/(1-1/z)) Es stellt sich heraus, dass diese Funktion zwischen +/- oszilliert, wie sich das fr eine Rechteckwelle gehrt. Was ist die Lehre, die wir aus diesem Beispiel ziehen? Eine Funktion, die nicht einmal stetig ist und auch nicht analytisch lsst sich ganz unauffllig als Fourier-Reihe darstellen. Auf dem Einheitskreis erscheint sie als vernnftige Laurent-Reihe, aber die Scheibe der Konvergenz beschrnkt sich auf den Einheitskreis selbst (eine Scheibe der Breite 0). Auerhalb des Kreises divergiert diese Laurent-Reihe. Die positiven und negativen Hlften der LaurentReihe aber lassen sich holomorph erweitern auf je eine Halbkugel der Riemann-Kugel. Weil es an den Punkten z=+/- 1 Singularitten gibt springt die Summe von einer zur anderen Seite.

9.7 Hyperfunktionen
Wir fragen nun: Was ist der allgemeine Typ einer Funktion auf dem Einheitskreis, der dargestellt werden kann als Summe von zwei Funktionen F+ und F-, von denen die eine im Innern des Kreises, die andere im Auenbereich des Kreises holomorph ist, wobei nicht gesagt ist, dass diese Funktionen auf den Einheitskreis selbst analytisch fortgesetzt werden knnen. Wenn wir f(x) als Differenz schreiben von F- (x) und -F+ (x), dann ist f(x) der Sprung, der sich ergibt, wenn sich diese beiden Funktionen am Einheitskreis treffen. Eine

Verallgemeinerung dieser Idee ist der Begriff der Hyperfunktion, der von dem japanischen Mathematiker Mikio Sato 1958 erfunden wurde. Hyperfunktionen werden im Allgemeinen auf dem offenen Intervall =(a,b) (als Teil der reellen x-Achse) definiert. Die Hyperfunktion ist der Sprung von der holomorphen Funktion f(x), die auf einem Gebiet der komplexen Ebene R+ holomorph ist, das von nach unten begrenzt wird und der Funktion g(x), die auf einem Gebiet R- holomorph ist. R- wird nach oben von begrenzt. Sato sagt nun: Ein Funktionspaare (f0, g0) ist quivalent zu dem Funktionspaar (f1, g1), wenn f1=f0+h und g1=g0+h mit einer beliebigen Funktion h, die auf R+ vereinigt mit R- holomorph ist. Die Hyperfunktion ist also eine quivalenzklasse von Funktionspaaren. Wir erinnern uns an die Reprsentation von Brchen als quivalenzklassen. Die Funktion h kann zwar die analytische Fortsetzbarkeit der beteiligten Funktionen beeinflussen, aber nicht den Sprung an dem offenen Intervall =(a,b). Hyperfunktionen sind allgemeiner als analytische Funktionen. Ja man kann zeigen: Sie umfassen auch alle unstetigen Funktionen mit endlichem Grad der Unstetigkeit C-n. Wenn man eine Funktion aus C-n m-mal integriert, dann gehrt sie zu Cm-n.