DTFT

DTFT
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 im Jahr 1822 in seiner Théorie analytique de la chaleur entwickelt.

Inhaltsverzeichnis

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 tn = nT 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 tn = nT 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 von \R nach \C, 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,g\in L^1(\R),\;\alpha\in\mathbb C.

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):

  1. Eine in einem endlichen Intervall periodische Funktion kann in eine Fourier-Reihe zerlegt werden.
  2. Ein Vorgang, der unperiodisch bis ins Unendliche reicht, erfordert die kontinuierliche Fourier-Transformation (auch Fourier-Integral).
  3. 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 a0: = A0, 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 c0: = a0, 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 cn, und damit auch die der anderen Darstellungen, sich aus der Summenfunktion zurückgewinnen lassen.

Dazu wird die obige Gleichung mit e − imω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 einωT = (e2π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 <fN > 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 an 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 einx bzw. die sin(nx),cos(nx) 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. Die Anwendung der Fourier-Transformation auf die Differentialgleichung ergibt den Frequenzgang des Systems.

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 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 bn 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 &amp;amp; \mbox{falls } m=n \\ 0 &amp;amp; \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 bn, durch

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

wenn die bn 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 (bn)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 = einω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 &amp;amp; \mbox{falls } m=n \\ 0 &amp;amp; \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

Siehe auch


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Discrete-time Fourier transform — In mathematics, the discrete time Fourier transform (DTFT) is one of the specific forms of Fourier analysis. As such, it transforms one function into another, which is called the frequency domain representation, or simply the DTFT , of the… …   Wikipedia

  • Fouriertransformation für zeitdiskrete Signale — Die Fouriertransformation für zeitdiskrete Signale, auch als englisch discrete time Fourier transform, abgekürzt DTFT bezeichnet, ist eine lineare Transformation aus dem Bereich der Fourier Analysis. Sie bildet ein zeitdiskretes, endliches… …   Deutsch Wikipedia

  • Relations between Fourier transforms and Fourier series — In the mathematical field of harmonic analysis, the continuous Fourier transform has very precise relations with Fourier series. It is also closely related to the discrete time Fourier transform (DTFT) and the discrete Fourier transform (DFT).… …   Wikipedia

  • Discrete Fourier transform — Fourier transforms Continuous Fourier transform Fourier series Discrete Fourier transform Discrete time Fourier transform Related transforms In mathematics, the discrete Fourier transform (DFT) is a specific kind of discrete transform, used in… …   Wikipedia

  • List of Fourier-related transforms — This is a list of linear transformations of functions related to Fourier analysis. Such transformations map a function to a set of coefficients of basis functions, where the basis functions are sinusoidal and are therefore strongly localized in… …   Wikipedia

  • Fourier analysis — In mathematics, Fourier analysis is a subject area which grew out of the study of Fourier series. The subject began with trying to understand when it was possible to represent general functions by sums of simpler trigonometric functions. The… …   Wikipedia

  • Z-transform — In mathematics and signal processing, the Z transform converts a discrete time domain signal, which is a sequence of real or complex numbers, into a complex frequency domain representation. It is like a discrete equivalent of the Laplace… …   Wikipedia

  • Window function — For the term used in SQL statements, see Window function (SQL) In signal processing, a window function (also known as an apodization function or tapering function[1]) is a mathematical function that is zero valued outside of some chosen interval …   Wikipedia

  • Circular convolution — The circular convolution, also known as cyclic convolution, of two aperiodic functions occurs when one of them is convolved in the normal way with a periodic summation of the other function.  That situation arises in the context of the… …   Wikipedia

  • Fourier-Analysis — Die Fourier Analysis (Aussprache des Namens: fur je) auch bekannt als Fourier Analyse oder klassische harmonische Analyse ist die Theorie der Fourier Reihen und Fourier Integrale. Ihre Ursprünge reichen in das 18. Jahrhundert zurück. Benannt sind …   Deutsch Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”