Fourier-Transformation

Poll without page-refresh

Article on other languages:

	del.icio.us
	Digg
	Furl
	Reddit
	Rojo
	Add to OnlyWire

Dieser Artikel gibt eine Übersicht über die üblichen Varianten der Fourier-Transformation. Häufig wird die kontinuierliche Fourier-Transformation kurz als Fourier-Transformation bezeichnet; für anschauliche Beispiele siehe Artikel Fourier-Analyse und Diskrete Fourier-Transformation.

Die Fourier-Transformation ist eine Integraltransformation, die einer gegebenen Funktion eine andere Funktion (ihre Fourier-Transformierte) zuordnet. Sie ist eng mit der Laplace-Transformation verbunden. In vielen Einsatzgebieten wird sie dazu verwendet, um für zeitliche Signale (z. B. ein Sprachsignal oder einen Spannungsverlauf) das Frequenzspektrum zu berechnen (vgl. Fourier-Analyse).

Allgemein umfasst der Begriff Fourier-Transformation eine Reihe sehr ähnlicher Transformationen, welche Funktionen (auch endliche und unendliche Folgen sind Funktionen) in Frequenzkomponenten oder Elementarschwingungen zerlegen. Auf diese wird weiter unten eingegangen.

Die Fourier-Transformation und ihre Varianten sind in vielen Wissenschafts– und Technikzweigen von außerordentlicher praktischer Bedeutung. Die Anwendungen reichen von der Physik (Akustik, Optik, Gezeiten, Astrophysik) über viele Teilgebiete der Mathematik (Zahlentheorie, Statistik, Kombinatorik und Wahrscheinlichkeitstheorie), die Signalverarbeitung und Kryptographie bis zu Ozeanographie und Wirtschaftswissenschaften. Je nach Anwendungszweig erfährt die Zerlegung vielerlei Interpretationen. In der Akustik ist sie beispielsweise die Frequenz-Transformation des Schalls in Oberschwingungen.

Die Fourier-Transformation wurde von dem französischen Mathematiker Jean Baptiste Joseph Fourier 1822 in seiner Théorie analytique de la chaleur entwickelt.

Varianten der Fourier-Transformation

Die verschiedenen Varianten der Fourier-Transformation sind in folgender Tabelle zusammengefasst. Dabei sind die Formeln als formal zu verstehen, d. h. sie sind ohne Rücksicht auf Existenz– und Konvergenzbedingungen angegeben.

Funktionstyp	Art der Transformation	Formel	Entwicklung in Frequenzkomponenten
$(x_0,\dots,x_{N-1})\in\mathbb{C}^N$	Diskrete Fourier-Transformation	$\hat x_k=\sum_{n=0}^{N-1} x_ne^{-\mathrm{i}2\pi\frac{kn}{N}}$	$x_n=\frac1N\sum_{k=0}^{N-1} \hat x_ke^{\mathrm{i}2\pi\frac{kn}{N}}$
$(x_n)_{n\in\Z}\in\mathbb{C}^\Z$	Fourier-Reihe	$\hat x(\omega)=\frac{1}{\sqrt{2\pi}}\sum_{n=-\infty}^\infty x_ne^{-\mathrm{i}\omega n}$	$x_n=\frac{1}{\sqrt{2\pi}}\int_{-\pi}^{\pi}\hat x(\omega)e^{\mathrm{i}\omega n}d\,\omega$
$x:[-\pi,\pi]\to\mathbb{C}$	Fourier-Reihe	$\hat x_k=\frac{1}{\sqrt{2\pi}}\int_{-\pi}^{\pi}x(t)e^{-\mathrm{i}\,kt}d\,t$	$x(t)=\frac{1}{\sqrt{2\pi}}\sum_{k=-\infty}^\infty \hat x_ke^{\mathrm{i}\,kt}$
$x:\R\to\mathbb{C}$	kontinuierliche Fourier-Transformation	$\hat x(\omega)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}x(t)e^{-\mathrm{i}\,\omega t}d\,t$	$x(t)=\frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty}\hat x(\omega)e^{\mathrm{i}\,\omega t}d\,\omega$

Man kann in der Transformation einen beliebigen positiven Faktor hinzufügen, muss diesen dann aber in der Entwicklungsformel wieder herausdividieren. Oft wählt man die Faktoren so, dass die Entwicklung nach einem orthonormalen System erfolgt, bzw. die Transformation und Entwicklung als lineare Abbildungen unitär sind. Dies ist in der Tabelle in den drei letzten Zeilen der Fall.

Diskrete Fourier-Transformation

Hauptartikel Diskrete Fourier-Transformation

Es gibt keine Einschränkungen in der Anwendung der Transformation und der Entwicklungsformel. Sind F, T positive Zahlen mit FT=1/N, und sind M,L beliebige ganzzahlige Verschiebungen, so kann eine allgemeinere Variante der Transformationsformeln angegeben werden. Mit $t n = n T$ und $ω k = k (2π F)$ gilt

$\hat x_k=T\sum_{n=-M}^{N-M-1}x_n e^{-\mathrm{i}\omega_kt_n}$ und $x_n=F\sum_{k=-L}^{N-L-1}\hat x_k e^{-\mathrm{i}\omega_kt_n}$ .

Zeitdiskrete Fourier-Transformation

Hauptartikel Fourier-Reihe

Ist die Folge $(x_n)_{n\in\Z}\in\mathbb{C}^\Z$ absolut summierbar, d. h. $\sum_{n\in\Z}|x_n|<\infty$ , so konvergiert die Fourier-Reihe in der Transformationsformel. Der Grenzwert der Reihe ist eine stetige Funktion, so dass auch die Integrale existieren. Da die Funktionen $e_n(\omega)=(2\pi)^{-\frac{1}{2}}\exp(\mathrm{i}\omega n)$ ein Orthonormalsystem bilden, erhält man aus der Zerlegungsformel wieder die Ausgangsfolge zurück. Verfolgt man dieses Argument weiter, so kann man diese Transformation auch für Folgen definieren, deren Reihe der Betragsquadrate endlich ist, d. h. $\sum_{n\in\Z}|x_n|^2<\infty$ .

Für positive F, T mit FT=1 kann wieder eine allgemeinere Transformationsformel angegeben werden. Seien $t n = n T$ Zeitpunkte mit Abstand T, dann gilt:

$\hat x(\omega)=\frac{T}{\sqrt{2\pi}}\sum_{n=-\infty}^\infty x_ne^{-\mathrm{i}\omega t_n}$ und $x_n=\frac{1}{\sqrt{2\pi}}\int_{-\pi F}^{\pi F}\hat x(\omega)e^{\mathrm{i}\omega t_n}d\,\omega$ .

Fourier-Reihen für Funktionen auf einem Intervall

Hauptartikel Fourier-Reihe

Jede stetige Funktion, welche über einem Intervall [0,T] definiert ist, lässt sich in eine Fourier-Reihe entwickeln, d. h. beide Seiten der Transformation existieren. Mit der Grundfrequenz F=1/T und den Kreisfrequenzen $ω k = k (2π F)$ gilt:

$\hat x_k=\frac{1}{\sqrt{2\pi}}\int_{0}^{T}x(t)e^{-\mathrm{i}\,\omega_k t}d\,t$ und $x(t)={\sqrt{2\pi}F}\sum_{k=-\infty}^\infty \hat x_ke^{\mathrm{i}\,\omega_kt}$ .

Es können allgemeinere Typen von Funktionen in eine Fourier-Reihe entwickelt werden, so abschnittsweise stetige, beschränkte Funktionen oder allgemeiner messbare quadratintegrable Funktionen.

Kontinuierliche Fourier-Transformation

Hauptartikel Kontinuierliche Fourier-Transformation

Die kontinuierliche Fourier-Transformation ist definiert durch

$\mathcal{F}_{t \omega}\{x(t)\} = \hat x(\omega)= \frac{1}{\sqrt{2 \pi}} \int\limits_{-\infty}^\infty x(t) e^{-\mathrm{i} \omega t} \,dt$

Die Rücktransformation (Fourier-Synthese oder inverse Fourier-Transformation) lautet analog dazu:

$\mathcal{F}_{\omega t}^{-1}\{\hat x(\omega)\} = f(t) = \frac{1}{\sqrt{2 \pi}} \int\limits_{-\infty}^\infty F(\omega) e^{\mathrm{i} \omega t} \,d \omega$

In der Literatur findet man auch andere Definitionen, die als Vorfaktor statt $\frac{1}{\sqrt{2 \pi}}$ nur $\frac{1}{2 \pi}$ oder 1 haben. Dies hängt von den jeweils verwendeten Normierungskonventionen ab. Die hier verwendete Variante hat den ästhetischen Vorteil, dass der Vorfaktor bei Hin- und Rücktransformation gleich ist. Außerdem vereinfacht sie die Darstellung des Satzes von Plancherel:

$\int\limits_{-\infty}^\infty \left|x(t)\right|^2 \,d t = \int\limits_{-\infty}^\infty \left|\hat x(\omega)\right|^2 \,d \omega$ .

Diese Bedingung ist z. B. in der Physik wichtig für die Energieerhaltung durch die Fourier-Transformation. Mathematisch gesehen bedeutet die Gleichung, dass die Fourier-Transformation eine unitäre Abbildung ist.

Manchmal, z. B. in der Signaltheorie, bevorzugt man die – ebenfalls energieerhaltende – Version der Fourier-Transformation, bei der die – auch Spektralfunktion genannte – Fourier-Transformierte von der Frequenz statt der Winkelgeschwindigkeit abhängt:

$\mathcal{F}_{t \nu}\{x(t)\} = \hat x(\nu)= \int\limits_{-\infty}^\infty x(t) e^{-\mathrm{i} 2 \pi \nu t} \,d t.$

Die Beziehung zwischen beiden Arten der Fourier-Transformation wird durch $\nu = \frac{\omega}{2 \pi}$ vermittelt.

Die Rücktransformation lautet dann

$\mathcal{F}_{\nu t}^{-1}\{\hat x(\nu)\} = x(t)= \int\limits_{-\infty}^\infty \hat x(\nu) e^{\mathrm{i} 2 \pi \nu t} \,d\nu$ .

Da hier über die Variable $ν$ statt $ω$ integriert wird, entfällt in dieser Darstellungsform der Vorfaktor.

Existenz der Fourier-Transformierten

Hinreichend, aber nicht notwendig für die Konvergenz des Fourier-Integrals ist die absolute Integrierbarkeit der Zeitfunktion $f (t)$ , d. h. f ist Borel-messbar und Lebesgue-integrierbar, kurz: liegt in $L^1(\R)$ .

Dann ist $\|f\|_1=\int\limits_{-\infty}^\infty \left|f(t)\right|\,dt<\infty$ .

Ist diese Bedingung erfüllt, so ist die Fourier-Transformierte F von f eine stetige, beschränkte Funktion auf $\R$ , es gilt sogar $F(\omega)\to 0$ für $|\omega|\to \infty$ .

Dass die Bedingung nicht notwendig ist, sieht man zum Beispiel an der Sinc-Funktion $sin(t) / t .$ . Diese ist nicht absolut integrierbar, hat aber eine Fourier-Transformierte.

Es existiert die Fourier-Transformierte ferner für jede quadratintegrierbare Funktion (und ist für diese normerhaltend, s. u.). Auch für Distributionen wie die Delta-Distribution lässt sich eine Fourier-Transformiertion definieren.

Rechenregeln

Für Linearkombinationen gilt $\mathcal F(f+\alpha g)=\mathcal F(f)+\alpha\mathcal F(g)$ ,

$f,g\in L^1(\R),\;\alpha\in\mathbb C$ .

Für das Faltungsprodukt gilt $\mathcal F(f*g)=\sqrt{2\pi}\mathcal F(f)\cdot\mathcal F(g)$ , bei $f,g\in L^1(\R)$ .
Sind f und g sogar quadratintegrabel, $f,g\in L^1(\R)\cap L^2(\R)$ , so gilt die Plancherel-Identität $\langle f,\,g\rangle=\langle \mathcal F(f),\,\mathcal F(g)\rangle$ .

Da $L^1(\R)\cap L^2(\R)$ dicht in $L^2(\R)$ liegt, erlaubt es die Plancherel-Identität, die Fourier-Transformation als unitären Operator auf dem Hilbertraum $L^2(\R)$ zu definieren, obwohl das Fourier-Integral für Funktionen aus $L^2(\R)$ nicht mehr in jedem Punkt konvergieren muss.

Varianten der Fourier-Transformation

Die verschiedenen Begriffe in diesem Zusammenhang werden leider in der Literatur nicht einheitlich gebraucht, und es existieren mehrere Namen für den gleichen Vorgang. So nutzt man Fourier-Transformation sehr oft als Synonym der kontinuierlichen Fourier-Transformation, und mit Fourier-Analyse wird oft die Zerlegung in eine Fourier-Reihe gemeint, manchmal aber auch die kontinuierliche Transformation.

Je nach den Eigenschaften der zu untersuchenden Funktion gibt es im wesentlichen drei Varianten (auf Grund der oben genannten Unschärfe der Begriffe erhebt die Liste keinen Anspruch auf vollständige Richtigkeit):

Eine in einem endlichen Intervall periodische Funktion kann in eine Fourier-Reihe zerlegt werden.
Ein Vorgang, der unperiodisch bis ins Unendliche reicht, erfordert die kontinuierliche Fourier-Transformation (auch Fourier-Integral).
Sind von einem (unperiodischen) Vorgang nur Werte an diskreten, äquidistanten Zeitpunkten in einem endlichen Intervall bekannt, wird die Diskrete Fourier-Transformation angewendet. Ein Beispiel für einen solchen Vorgang ist ein Musikstück, von welchem zur Speicherung auf einer herkömmlichen Audio-CD pro Sekunde 44100 Amplitudenwerte des Audiosignals am Ausgang eines Mikrophons abgetastet werden.

Man erhält bei allen Transformationen ein Frequenzspektrum, das je nach Variante diskret (unendlich scharfe Linien) oder kontinuierlich ist:

Variante	Definitionsmenge von f	Periodizität von f	Frequenzspektrum
Fourier-Reihe	kontinuierliches Intervall	periodisch	diskret
Kontinuierliche Fourier-Transformation	kontinuierlich	aperiodisch	kontinuierlich
Diskrete Fourier-Transformation	diskret, endlich	periodisch	diskret, endlich

Zur Berechnung der diskreten Fourier-Transformation wird oft die schnelle Fourier-Transformation (FFT) verwendet, ein Algorithmus, bei dem die Anzahl der Rechenschritte zur Berechnung der Fourier-Koeffizienten wesentlich kleiner ist als bei einer direkten Implementation der Integration.

Wegen der Bedeutung der Fourier-Transformation in der Signalverarbeitung sind Signalprozessoren für die Berechnung der Fourier-Transformation optimiert.

Mathematische Motivation

(Dieser Abschnitt setzt über die Schulmathematik des Gymnasiums hinaus nur Kenntnisse im Rechnen mit komplexen Zahlen sowie die Euler-Formel voraus.)

Mathematische Grundlagen

Wir betrachten stetige, von der Zeit t reell abhängige Funktionen bzw. Vorgänge (z. B. als vektorwertige Funktionen) f(t), die sich nach einer Zeit $T$ wiederholen, also periodisch mit Periode T sind, f(t+T)=f(t). Joseph Fourier postulierte in seiner Arbeit, dass sich f aus periodischen, harmonischen Schwingungen, also Sinus- oder Kosinusfunktionen, verschiedener Phase und Amplitude und genau definierter Frequenz zusammensetzen lässt. Betrachten wir eine solche zusammengesetzte Funktion mit (N+1) Summanden:

$f(t) = A_0 + A_1 \cos(\omega t + \varphi_1) + A_2 \cos(2 \omega t + \varphi_2) + \ldots + A_N \cos(N \omega t + \varphi_N)= \sum_{n=0}^N A_n \cos (n \omega t + \varphi_n).$

Die einzelnen Schwingungen haben die Kreisfrequenz $n ω$ , also die Frequenz $n ω / 2π$ . Damit hat die erste Schwingung (Grundschwingung) die Frequenz $1 / T$ , die nächsten $2 / T$ , $3 / T$ , …

Weil ein Sinus nur ein phasenverschobener Kosinus ist, konnte die Reihendarstellung auf Kosinus-Funktionen beschränkt werden. Wir erhalten sofort auch die Sinusterme, wenn wir die Additionstheoreme benutzen:

$f(t)=\sum_{n=0}^N A_n \cos (n \omega t + \varphi_n) =A_0+\sum_{n=1}^N (A_n\cos \varphi_n\cdot\cos(n \omega t)-A_n\sin \varphi_n\cdot\sin(n \omega t))$

Mit $a 0 : = A 0$ , $a_n:=A_n\cos \varphi_n$ und $b_n:=A_n\sin \varphi_n$ erhalten wir eine phasenfreie Darstellung

$f(t) = a_0+\sum_{n=1}^N (a_n \cos(n \omega t) - b_n\sin(n\omega t)).$

Im nächsten Schritt soll die Summe mit Hilfe komplexer Zahlen umgeschrieben werden. Es sind dann komplexe Koeffizienten erlaubt, und die Reihe wird komplexwertig. Sofern reelle Funktionen betrachtet werden, kann diese als Realteil der Summe zurückgewonnen werden. Aus der Euler-Formel oder auch nach der Definition der trigonometrischen Funktionen mit der Exponentialfunktion folgt

$\cos (x) = \frac{1}{2} \left( e^{\mathrm{i}x} + e^{-\mathrm{i}x} \right)$ und $\sin (x) = \frac{1}{2 \mathrm{i}} \left( e^{\mathrm{i}x} - e^{-\mathrm{i}x} \right)$ ,

somit

$f(t) = a_0+\sum_{n=1}^N \frac12 \left( a_n (e^{\mathrm{i}n \omega t} + e^{-\mathrm{i}n \omega t}) - { 1 \over \mathrm{i} } b_n (e^{\mathrm{i}n \omega t} - e^{-\mathrm{i}n \omega t})\right)$

$= a_0+\sum_{n=1}^N \frac12 \left( a_n (e^{\mathrm{i}n \omega t} + e^{-\mathrm{i}n \omega t})+\mathrm{i}b_n (e^{\mathrm{i}n \omega t} - e^{-\mathrm{i}n \omega t})\right)$

$= a_0+\sum_{n=1}^N \frac12\left( (a_n+\mathrm{i}b_n)e^{\mathrm{i}n \omega t}+(a_n-\mathrm{i}b_n)e^{-\mathrm{i}n \omega t}\right)$

Mit den komplexen Koeffizienten $c 0 : = a 0$ , $c_n:=\frac12(a_n+\mathrm{i}b_n)$ und $c_{-n}:=\frac12(a_n-\mathrm{i}b_n)$ für n>0 erhalten wir eine Summe mit auch negativen Indizes

$f(t) = \sum_{n=-N}^N c_ne^{\mathrm{i}n \omega t }$

Fourier-Reihe

Wir kennen jetzt also die trigonometrische Summe in verschiedenen Darstellungen. Es war aber gefragt, eine periodische stetige Funktion mittels solch einer Summe zu approximieren. Dazu stellen wir fest, dass die komplexen Koeffizienten $c n$ , und damit auch die der anderen Darstellungen, sich aus der Summenfunktion zurückgewinnen lassen.

Dazu wird die obige Gleichung mit $e - i m ω t$ multipliziert und sodann auf beiden Seiten über dem Intervall $[0, T]$ , d. h. über eine Periode, integriert. Mit Umformungen erreicht man folgende Aussage:

$e^{-\mathrm{i} m \omega t} f(t) = \sum_{n=-N}^N c_n \left( e^{\mathrm{i}n \omega t} e^{-\mathrm{i} m \omega t} \right) = \sum_{n=-N-m}^{N-m} c_{n+m} e^{\mathrm{i} (n+m) \omega t - \mathrm{i} m\omega t} =\sum_{n=-N-m}^{N-m} c_{n+m} e^{\mathrm{i} n \omega t }$

Daraus folgt $\int_0^T e^{-\mathrm{i} m \omega t} f(t) dt= \sum_{n=-N-m}^{N-m} c_{n+m} \int_0^T e^{\mathrm{i} n \omega t } dt ,$

und für das $n$ -te Integral auf der rechten Seite gilt:

bei

n = 0

: $\int_0^T e^{\mathrm{i} 0 \omega t } dt = T$

bei $n\ne0$ : $\int_0^T e^{\mathrm{i} n \omega t } dt = \left[ \frac1{\mathrm{i}n \omega } e^{\mathrm{i} n\omega t} \right]_0^T$ $= \frac1{\mathrm{i}n \omega } (e^{\mathrm{i} n\omega T } - 1)$

Wegen $ω T = 2π$ gilt nun aber $e i n ω T = (e 2πi) n = 1$ , also $\int_0^T e^{\mathrm{i} n \omega t } dt = 0$

Insgesamt vereinfacht sich das Integral zu

$\int_0^T f(t) e^{-\mathrm{i} m \omega t} dt= \sum_{n=-N-m}^{N-m} c_{n+m} \int_0^T e^{\mathrm{i}n \omega t} dt =Tc_m$

$\Leftrightarrow c_m = \frac1T \int_0^T f(t) e^{-\mathrm{i} m \omega t} dt.$

Wir können nun versuchen, die trigonometrische Summe durch eine beliebige stetige periodische Funktion f zu ersetzen, die Koeffizienten nach obigen Formeln zu bestimmen und die mit diesen Koeffizienten gebildeten trigonometrischen Summen mit der Ausgangsfunktion vergleichen:

$f_N(t):=\sum_{n=-N}^N c_ne^{in\omega t}$

$=\frac1T \sum_{n=-N}^N \int_0^T f(s) e^{-\mathrm{i} n \omega s} \,ds\;e^{\mathrm{i}n\omega t}$ $=\frac1T \int_0^T \sum_{n=-N}^N f(s) e^{\mathrm{i} n \omega (t-s)} \,ds\;$ $=\int_0^T \frac1TS_N(\omega(t-s)) f(s) \,ds\;$

Die Funktion $S_N(\tau)=\sum_{n=-N}^N (e^{\mathrm{i} \tau})^n=\frac{\sin((N+\frac12)\tau)}{\sin(\frac12\tau)}$ ist der Dirichlet-Kern.

Konvergenz der Fourier-Reihe

Die so definierte Reihe <f_N > ist allerdings nutzlos, wenn sie nicht gegen die ursprüngliche Funktion konvergiert. Tatsächlich konvergiert sie für sehr viele Funktionen, unter anderem für alle differenzierbaren Funktionen oder alle quadratintegrierbaren Funktionen, und zwar im erstgenannten Fall punktweise, im letztgenannten Fall allerdings nur „fast überall“, d. h. mit folgender Definition: $f\to g \Leftrightarrow\int\limits_0^T |f(t)-g(t)|^2\,\mathrm dt \to 0\,.$ Auch in diesem Fall soll wie ganz am Anfang das Gleichheitszeichen benutzt werden.

Wir können in diesem Sinne also zusammenfassen:

$f(t) = \sum_{n=-\infty}^\infty { e^{\mathrm{i}n \omega t} \over T } \int_0^T f(t) e^{-\mathrm{i} n \omega t} dt.$

Aperiodische Vorgänge (Fourier-Integral)

Voraussetzung für die hergeleitete Fourier-Reihe ist die Periodizität von $f (t)$ über dem Zeitintervall $T$ . Selbstverständlich gibt es auch nichtperiodische Funktionen, die diese Voraussetzung für kein endliches Zeitintervall erfüllen. Wie schon gezeigt, hat die $n$ -te Oberschwingung die Frequenz $n / T$ . Die Differenz der $n$ -ten Oberfrequenz von der vorherigen ist $n / T - (n - 1) / T = 1 / T$ , das heißt die Oberfrequenzen haben den Abstand $1 / T$ . Für $T$ gegen unendlich geht ihr Abstand gegen Null – die Summe wird im Grenzfall zum Riemann-Integral.

Das Fourier-Integral, die kontinuierliche Fourier-Transformation, ist also gegeben durch

$f(t)= \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty a(\omega) e^{\mathrm{i} \omega t} \,d \omega$

mit

$a(\omega) = \frac{1}{\sqrt{2 \pi}} \int_{-\infty}^\infty f(t) e^{-\mathrm{i} \omega t} \,dt.$

Aus der Folge $a n$ ist nun das kontinuierliche Spektrum $a (ω)$ geworden. Man bezeichnet genau genommen die zweite Transformation als Fourier-Transformation, die erste, deren inverse, ist die Fourier-Synthese.

Die zweite Gleichung kann analog wie für die Reihe hergeleitet werden.

Das angegebene Beziehungspaar gilt u. a. erneut für quadratintegrierbare Funktionen.

Differentialgleichungen

Die Fourier-Transformation wird oft eingesetzt, um Differentialgleichungen zu lösen. Denn die $e i n x$ bzw. die $sin(n x),cos(n x)$ sind Eigenfunktionen der Differentiation, und die Transformation wandelt lineare Differentialgleichungen mit konstanten Koeffizienten in normale algebraische Gleichungen um. (So ist zum Beispiel in einem linearen zeitinvarianten physikalischen System die Frequenz eine Erhaltungsgröße, und das Verhalten kann für jede Frequenz einzeln gelöst werden.)

Verallgemeinerung

(Der folgende Abschnitt setzt Kenntnisse in linearer Algebra voraus.)

Allgemeine Betrachtung

Als verallgemeinerte Fourier-Transformation wird jede Zerlegung einer Funktion in ein System von Basisfunktionen bezeichnet. Solche Zerlegungen finden u. a. im Apparat der Quantenmechanik eine wichtige Anwendung. Durch die folgende abstrakte Betrachtung gewinnt man wichtige Einsichten in die eigentliche Bedeutung der Fourier-Transformation, die elementare Herleitung in den vorangegangenen Abschnitten erscheint in einem neuen Licht.

Man betrachte die zu transformierenden Funktionen (wie oben zunächst Funktionen mit der Periodizität T) als Elemente eines „Vektorraums mit Skalarprodukt“. Dass die Vektorraumaxiome erfüllt sind, erkennt man schon durch Hinschreiben; nun steht die ganze Macht der Theorie der linearen Algebra zur Verfügung (wobei der betrachtete Raum von unendlicher Dimension ist).

Als geeignetes Skalarprodukt (Inneres Produkt) zweier Funktionen definiert man wie üblich das Integral des Produktes über einem von der Anwendung abhängigen Intervall. Es bietet sich an, über die Periode von 0 bis T zu integrieren:

$f \cdot g = \int_0^T \overline{f(t)}g(t)dt.$

Dabei ist $\overline{f(t)}$ das Konjugiert-komplexe von f(t). So wie (1,0,0), (0,1,0), (0,0,1) eine Basis des dreidimensionalen reellen Anschauungsraumes $\mathbb{R}^3$ ist, besitzt auch der Funktionenraum wie jeder Vektorraum eine Basis. Während im endlich-dimensionalen die Basen genau die minimalen Erzeugendensysteme sind, muss bei den unendlich-dimensionalen Funktionenräumen durch ein Funktionensystem das Kriterium der Vollständigkeit (im Sinne der Funktionalanalysis) erfüllt sein.

Gegeben sei das vollständige Basissystem B. Man kann jede Funktion aus dem Funktionenraum als Linearkombination der Basisfunktionen $b n$ darstellen:

$(1) \ f = \sum \lambda_n b_n.$

Praktisch möglich ist die Bestimmung der Koeffizienten $λ n$ aber nur, wenn das Basissystem ein Orthogonalsystem ist, und ist sogar besonders einfach, wenn es ein Orthonormalsystem ist, d. h. wenn für alle $b_n, b_m \in B$ gilt

$(2) \ b_n \cdot b_m = \begin{cases} 1 & \mbox{falls } m=n \\ 0 & \mbox{falls } m \neq n \end{cases} = \delta_{mn}.$

Denn wie man die Komponente eines Vektors in x-Richtung im $\mathbb{R}^3$ durch

$r_x = b_x \cdot \vec r = \left( 1,0,0 \right) \cdot \vec r$

erhält – denn auch das obige Beispiel ist eine Orthonormalbasis – so erhält man allgemein den Faktor $λ n$ , die „Komponente in Richtung“ von $b n$ , durch

$(3) \ \lambda_n = b_n \cdot f,$

wenn die $b n$ ein vollständiges Orthonormalsystem, eine Orthonormalbasis, bilden. Der Beweis ist einfach: Denn unter Ausnutzung der Linearitätseigenschaften des Skalarprodukts erhält man

$b_n \cdot f =^{(1)} b_n \cdot \left( \sum_\nu \lambda_\nu b_\nu \right)$ $= \sum_\nu \lambda_\nu ( b_n \cdot b_\nu) =^{(2)} \sum_\nu \lambda_\nu \delta_{n\nu} = \lambda_n.$

Es sei angemerkt, dass der Vergleich mit dem $\mathbb{R}^3$ hier eher didaktischer Natur ist, denn die Beispielbasis ist genau genommen eine sog. Hamelbasis, während die Orthonormalbasis des untersuchten Funktionenraumes keine solche ist – der Raum besitzt auch eine Hamelbasis, die allerdings überabzählbar und von keinem praktischen Interesse ist. Die Orthonormalbasis hat abzählbare Dimension und sie ist vollständig, d. h. ihre lineare Hülle liegt dicht im Vektorraum, ist aber nicht notwendigerweise gleich dem Raum. Deshalb lässt sich nicht unbedingt jedes Element des Raums durch eine endliche, wohl aber durch eine unendliche Summe darstellen.

Der angegebene Funktionenraum, wie er z. B. in der Quantenmechanik verwendet wird, ist ein Hilbertraum. Üblicherweise betrachtet man solche Hilberträume, die eine abzählbare Orthonormalbasis besitzen, das heißt, die wie oben eine Orthonormalbasis $(b n) n$ besitzen, deren Indizes aus einer endlichen Menge oder aus den natürlichen oder ganzen Zahlen stammen. Dies ist äquivalent zur sogenannten Separabilität des Hilbertraums.

Zusammenfassend gilt nach (1) und (3) für eine beliebige Funktion f aus dem Funktionenraum und für jedes vollständige Orthonormalsystem B

$(4) \ f= \sum_n (b_n \cdot f) b_n$ ,

wobei die Konvergenz im Sinne des Hilbertraums zu verstehen ist, im Allgemeinen liegt keine punktweise oder gar gleichmäßige Konvergenz vor.

Fourier-Transformation als Beispiel

Den Weg zurück zur Fourier-Transformation findet man, indem man zunächst die Funktionen $b' n = e i n ω t$ untersucht, nach denen ja entwickelt wird. Sie sind ein Orthogonalsystem, denn mit $\omega = \frac{2\pi}{T}$ folgt

$b'_n \cdot b'_m$ $= \int_0^T \overline{e^{\mathrm{i} n \omega t}} e^{\mathrm{i} m \omega t} dt$ $= \int_0^T e^{-\mathrm{i} n \omega t} e^{\mathrm{i} m \omega t} dt$ $= \int_0^T e^{\mathrm{i} \omega t(m-n)} dt = \begin{cases} T & \mbox{falls } m=n \\ 0 & \mbox{falls } m \neq n \end{cases} = T \delta_{mn}.$

(Das Integral wurde schon in der elementaren Herleitung gelöst.)

Für die Norm findet man

$\| b'_n \| = \sqrt{ b'_n \cdot b'_n } = \sqrt T.$

Offenbar sind die $b' n$ orthogonal, orthonormal sind aber erst die $b_n={1 \over \sqrt{T}}e^{\mathrm{i} n \omega t}$ . Nach der allgemeinen Herleitung (4) gilt also für eine Funktion f(t)

$f(t)= \sum_{n=-\infty}^\infty (b_n \cdot f) b_n(t)$ $= \sum_{n=-\infty}^\infty \int_0^T \overline{b_n(s)}f(s)\,ds\,b_n(t)$ $= \sum_{n=-\infty}^\infty \int_0^T \frac{1}{\sqrt{T}}e^{-\mathrm{i}n\omega s}f(s)\,ds\,\frac{1}{\sqrt{T}}e^{\mathrm{i}n\omega t}$ $= \sum_{n=-\infty}^\infty \frac{e^{\mathrm{i}n\omega t}}{T} \int_0^T e^{-\mathrm{i}n\omega s}f(s)\,ds$

was genau dem Resultat der elementaren Herleitung entspricht. Wie dort der Konvergenzbeweis, fehlt auch hier nur noch der Beweis, dass das Basissystem für weite Funktionenklassen vollständig ist. Dies ist (ohne Beweis) der Fall, wenn keiner der Indizes n ausgelassen wird.

Literatur

S. Bochner, K. Chandrasekharan: Fourier Transforms. Princeton Book Comp. Publ., 2001, ISBN 0-691-09578-7.

O. Föllinger, M. Kluwe: Laplace-, Fourier- und z-Transformation. Hüthig, 2003, ISBN 3-7785-2911-0.

B. Lenze: Einführung in die Fourier-Analysis. Logos Verlag, Berlin 2000, ISBN 3-931216-46-2.

M. J. Lighthill: Introduction to Fourier Analysis and Generalised Functions. Cambridge University Press, Cambridge 2003, ISBN 0-521-09128-4.

A. Papoulis: The Fourier Integral and Its Applications. McGraw-Hill, New York 1962, ISBN 0-07-048447-3.

E. M. Stein, R. Shakarchi: Fourier Analysis: An Introduction. Princeton University Press, Princeton 2003, ISBN 0-691-11384-X.

Weblinks

Vorlesungsskript Anwendungen der Fourier-Transformation, Teile 1-6.

Siehe auch

Von „http://de.wikipedia.org/wiki/Fourier-Transformation“

Kategorien: Funktionalanalysis | Digitale Signalverarbeitung

This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.

Giant Panda

Mercedes Car

This site monitored by SitePinger.net

Fourier-Transformation

Inhaltsverzeichnis

Varianten der Fourier-Transformation

Diskrete Fourier-Transformation

Zeitdiskrete Fourier-Transformation

Fourier-Reihen für Funktionen auf einem Intervall

Kontinuierliche Fourier-Transformation

Existenz der Fourier-Transformierten

Rechenregeln

Varianten der Fourier-Transformation

Mathematische Motivation

Mathematische Grundlagen

Fourier-Reihe

Konvergenz der Fourier-Reihe

Aperiodische Vorgänge (Fourier-Integral)

Differentialgleichungen

Verallgemeinerung

Allgemeine Betrachtung

Fourier-Transformation als Beispiel

Literatur

Weblinks

Siehe auch