Fourier-Analysis

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Zeitbereich)
Wechseln zu: Navigation, Suche

Die Fourier-Analysis (Aussprache: fuʁie), 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 die Fourier-Analysis, die Fourier-Reihe und die Fourier-Integrale nach dem französischen Mathematiker Jean Baptiste Joseph Fourier, der im Jahr 1822 in seiner Théorie analytique de la chaleur Fourier-Reihen untersuchte.

Die Fourier-Analysis ist 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.

Aus Sicht der abstrakten harmonischen Analyse sind sowohl die Fourier-Reihen und die Fourier-Integrale als auch die Laplace-Transformation, die Mellin-Transformation oder auch die Walsh-Transformation (dabei werden die trigonometrischen Funktionen durch die Walsh-Funktionen ersetzt) Spezialfälle einer allgemeineren (Fourier-)Transformation.

Varianten der Fourier-Transformation[Bearbeiten]

Zusammenhang von Zeit- und Frequenzbereich bei den vier möglichen Varianten der Fourier-Analyse mit zeitdiskreten/zeitkontinuierlichen Verlauf und spektral diskreten bzw. kontinuierlichen Verlauf. Zeitdiskrete Folge bzw. diskretes Spektrum bedingt auf der gegenüberliegenden Seite ein Spiegelspektrum bzw. eine periodische Fortsetzung.

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 vier Varianten, wie in nebenstehender Abbildung dargestellt:

  1. Eine in einem endlichen Intervall periodische fortgesetzte Funktion kann in eine Fourier-Reihe zerlegt werden. Das Spektrum ist somit diskret.
  2. Ein Vorgang, der unperiodisch bis ins Unendliche reicht, erfordert die kontinuierliche Fourier-Transformation (auch Fourier-Integral). Dabei wird ein kontinuierliches Zeitsignal in ein kontinuierliches Spektrum transformiert.
  3. Sind von einem Vorgang nur Werte an diskreten, äquidistanten Zeitpunkten in einem endlichen Intervall bekannt — durch diese Intervallbildung entsteht eine periodische Fortsetzung — wird die diskrete Fourier-Transformation (DFT) angewendet und ein diskretes Frequenzspektrum mit Spiegelspektren entsteht. Die DFT und deren Optimierungen in Form der schnelle Fourier-Transformation (FFT) spielen in der digitalen Signalverarbeitung eine bedeutende Rolle. Ein Beispiel für einen solchen Vorgang ist ein Musikstück, von welchem zur Speicherung auf einer herkömmlichen Audio-CD pro Sekunde 44.100 Amplitudenwerte des Audiosignals am Ausgang eines Mikrophons abgetastet werden.
  4. Mit der DFT verwandt aber nicht zu verwechseln ist die Fouriertransformation für zeitdiskrete Signale (englisch discrete-time Fourier transform, DTFT) welche ebenfalls von zeitlich diskreten Werten ausgeht, aber im Gegensatz zur DFT ein kontinuierliches Spektrum bildet. Sie ist damit für die Spektralanalyse auf Digitalcomputern nicht unmittelbar anwendbar, findet aber bei der theoretischen Analyse von Signalen im Spektrum Anwendung, da sich dabei das Spektrum statt in einer Folge unter Umständen als ein geschlossener mathematischer Ausdruck angeben lässt.[1]


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

Variante Definitionsmenge von x Periodizität von x Frequenzspektrum
Fourier-Reihe kontinuierliches Intervall periodisch diskret
Kontinuierliche Fourier-Transformation kontinuierlich aperiodisch kontinuierlich
Diskrete Fourier-Transformation (DFT) diskret, endlich aperiodisch, periodisch fortgesetzt diskret, endlich
Fouriertransformation für zeitdiskrete Signale (DTFT) diskret, endlich aperiodisch kontinuierlich

Fourierreihen[Bearbeiten]

Hauptartikel: Fourierreihe

Jede stetig differenzierbare Funktion, die auf dem Intervall [0,T] definiert ist, lässt sich in eine Fourierreihe entwickeln, das heißt, beide Seiten der Transformation existieren. Mit der Grundfrequenz F=1/T und den Kreisfrequenzen \omega_k=k(2\pi F) gilt:


    \hat x_k=\frac{1}{\sqrt{2\pi}}\int_{0}^{T}x(t)\mathrm{e}^{-\mathrm{i}\,\omega_k t}\mathrm d\,t
und 
    x(t)={\sqrt{2\pi}F}\sum_{k=-\infty}^\infty \hat x_k\mathrm{e}^{\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[Bearbeiten]

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) \mathrm{e}^{-\mathrm{i} \omega t} \,\mathrm dt

Die Rücktransformation lautet dazu:


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

In der Literatur findet man auch andere Definitionen, die als Vorfaktor statt \tfrac{1}{\sqrt{2 \pi}} nur \tfrac{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 Parseval:

\int_{-\infty}^\infty \left|x(t)\right|^2 \,\mathrm dt = \int_{-\infty}^\infty \left|\hat x(\omega)\right|^2 \,\mathrm d\omega.

Diese Bedingung ist zum Beispiel 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, was unter anderem in der Quantenmechanik fundamental ist.

Manchmal, zum Beispiel 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_{-\infty}^\infty x(t) \mathrm{e}^{-\mathrm{i} 2 \pi \nu t} \,\mathrm dt.

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

Die Rücktransformation lautet dann

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

Da hier über die Variable \nu statt \omega integriert wird, entfällt in dieser Darstellungsform der Vorfaktor.

Diskrete Fourier-Transformation[Bearbeiten]

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=nT und \omega_k=k(2\pi F) gilt

\hat x_k=T\sum_{n=-M}^{N-M-1}x_n \mathrm{e}^{-\mathrm{i}\omega_kt_n}

und

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

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.

Fourier-Synthese[Bearbeiten]

Alle Transformationen, die in der Fourier-Analysis betrachtet werden, haben die Eigenschaft, dass eine entsprechende inverse Transformation existiert. In den Ingenieurwissenschaften, der Physik und der numerischen Mathematik nennt man das Zerlegen einer Funktion in ihr Spektrum ebenfalls Fourier-Analyse. Der Begriff beschreibt also nicht nur dieses Teilgebiet der Funktionalanalysis, sondern auch den Prozess der Zerlegung einer Funktion. Das Darstellen der Ausgangsfunktion mit Hilfe des Spektrums aus der Fourier-Analyse wird als Fourier-Synthese bezeichnet. Da diese Begriffsbildung besonders in den angewandten Wissenschaften üblich ist, tritt diese auch eher im Zusammenhang mit der diskreten Fourier-Transformation und der schnellen Fourier-Transformation auf.

Anwendungen[Bearbeiten]

Anschauliche Darstellung der Fourier-Transformation aus dem Zeitbereich, dargestellt in rot, in den Frequenzbereich, dargestellt in blau. Aufgrund der Periodizität des Zeitsignals treten nur einzelne Spektralkomponenten im Frequenzbereich auf

Die Fouriertransformation besitzt vor allem in den Ingenieurwissenschaften, wie der Signalverarbeitung und in der Physik, bedeutende Anwendungsbereiche. Dabei werden auch spezielle Begriffe und Nomenklaturen verwendet:

Zeitbereich
(englisch time domain) Erfolgt die Analyse oder Darstellung in Abhängigkeit von der Zeit, spricht man vom Zeitbereich. Beschreibt die veränderliche Variable eine Position im Raum (z. B. bei der digitalen Bildverarbeitung) wird er auch als Ortsbereich oder Ortsraum bezeichnet.
Zeitsignal
Unter einem Zeitsignal versteht man die Beschreibung des Signalverlaufs im Zeitbereich, d. h. als Funktion der Zeit.[2] Man verwendet den Ausdruck Zeitsignal auch im Zusammenhang mit der Fourier-Transformation, wenn man sich ausdrücklich auf die Rücktransformierte bezieht. D. h. wenn klargestellt werden soll, dass sich die nun folgende Beschreibung nicht auf das Spektrum des Signals bezieht.
Frequenzbereich
Als Frequenzbereich oder -raum (englisch frequency domain) wird der Bildbereich nach erfolgter Transformation (z. B. durch Fourier- oder Laplace-Transformation) bezeichnet. Diese Bezeichnungen gehen auf Arbeiten aus Ende der 1940er Jahre am MIT Research Laboratory of Electronics zurück.[3]

In technisch motivierten Anwendungen wird der Bezug zwischen dem Zeitbereich mit der Originalfunktion x(t) und dem Frequenzbereich mit der Bildfunktion X(j\omega) auch mit folgender Symbolik dargestellt:

 x(t) \circ\!\!-\!\!\bullet X(j\omega)

In der Physik stellt die Fouriertransformation in der Wellenmechanik die Verknüpfung zwischen Zeitbereich und Frequenzraum dar. Werden statt Zeitsignale Signale als Funktion des Ortes betrachtet, stellt die Fouriertransformation eine Verknüpfung zwischen dem Ortsraum und den im Frequenzraum vorhandenen Ortsfrequenzen bzw. Wellenzahlen dar. In mehreren Dimensionen werden die Wellenzahlen in Form von Wellenvektoren beschrieben. In der Kristallographie heißt der zum Ortsraum reziproke Frequenzraum reziproker Raum.

In der Quantenmechanik entsprechen, bis auf einen Proportionalitätsfaktor, die Wellenzahlen dem Impuls des Teilchens, woraus sich ein Zusammenhang mit der Heisenbergsche Unschärferelation ergibt. Da Orts- und Impulsraum durch die Fouriertransformation verknüpft sind, führt die Verknüpfung der Ausdehnungen zu einer Unschärfe. Analog ergibt sich auch die Energie-Zeit-Unschärfe aus der Fouriertransformation, wobei hier die Frequenz bis auf Proportionalitätsfaktor der Energie entspricht und somit eine Verknüpfung von Energie und Zeit durch die Fouriertransformation gegeben ist, die zu einer Unschärfe führt.

Geschichte[Bearbeiten]

Schon ab 1740 diskutierten Mathematiker wie Bernoulli und d’Alembert die Möglichkeit, periodische Funktionen als trigonometrische Reihen darzustellen. Die heute bekannte Reihenentwicklung für periodische Funktionen geht auf den französischen Mathematiker Fourier zurück. Zu Beginn des 19. Jahrhunderts veröffentlichte er sein Werk Théorie analytique de la chaleur, in dem er davon ausgeht, dass jede Funktion in eine trigonometrische Reihe entwickelt werden könne. Er benutzte diese Reihen insbesondere zum Lösen der Wärmeleitungsgleichung. In diesem Werk führte er auch die kontinuierliche Fourier-Transformation in Form einer Kosinus-Transformation ein. Mit dieser versuchte er die Wärmeleitungsgleichung auf unbeschränkten Mengen insbesondere auf der reellen Achse zu lösen.[4]

Peter Gustav Lejeune Dirichlet untersuchte diese trigonometrischen Reihen, die heute Fourier-Reihen heißen, weiter und konnte erste Konvergenzeigenschaften beweisen. So konnte er 1829 zeigen, dass die Fourier-Reihe punktweise konvergiert, wenn die Ausgangsfunktion lipschitz-stetig ist. Zur exakten Berechnung der Fourier-Koeffizienten führte Bernhard Riemann dann seinen Integralbegriff ein und entdeckte 1853 das Lokalisationsprinzip. Das besagt, dass die Konvergenz beziehungsweise Divergenz sowie gegebenenfalls der Wert der Fourier-Reihe einer Funktion f bei x durch das Verhalten von f in einer beliebig kleinen Umgebung von x eindeutig bestimmt ist.[5]

Erst 1876 fand Paul Du Bois-Reymond eine stetige Funktion, deren Fourier-Reihe nicht punktweise konvergiert.[6] In seinem Satz konnte Fejér 1904 jedoch zeigen, dass die Fourier-Reihe für jede stetige Funktion im arithmetischen Mittel konvergiert. Im Jahr 1915 warf Nikolai Nikolajewitsch Lusin die Frage auf, ob die Fourier-Reihe für jede Funktion f \in L^2 konvergiert. Dies konnte erst 1968 von Lennart Carleson positiv beantwortet werden und Hunt verallgemeinerte 1968 das Ergebnis auf Funktionen f \in L^p mit p > 1. Die Voraussetzung p > 1 ist allerdings wesentlich, wie das Beispiel einer integrierbaren Funktion mit überall divergenter Fourier-Reihe, das Kolmogorow 1926 fand, zeigt.[5]

Da die Fourier-Transformation auch außerhalb der Mathematik einen großen Anwendungsbereich hat, ist man an einem Algorithmus interessiert, mit dem ein Computer die Fourier-Koeffizienten mit möglichst wenig Aufwand berechnen kann. Solche Verfahren nennt man Schnelle Fourier-Transformation. Der bekannteste Algorithmus stammt von James Cooley und John W. Tukey, die ihn 1965 veröffentlichten. Jedoch wurde ein Algorithmus schon 1805 von Carl Friedrich Gauß entwickelt. Er benutzte ihn zur Berechnung der Flugbahnen der Asteroiden (2) Pallas und (3) Juno. Zum ersten Male wurde eine Variante des Algorithmus von Carl Runge im Jahre 1903 beziehungsweise 1905 veröffentlicht. Darüber hinaus wurden vor Cooley und Tukey schon eingeschränkte Varianten der schnellen Fourier-Transformation veröffentlicht. So hat zum Beispiel Irving John Good 1960 ebenfalls einen solchen Algorithmus veröffentlicht.[5]

Mathematische Motivation[Bearbeiten]

Mathematische Grundlagen[Bearbeiten]

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:

\begin{align}
f(t) &= A_0 + A_1 \cos(\omega t + \varphi_1) + A_2 \cos(2 \omega t + \varphi_2) + \cdots + A_N \cos(N \omega t + \varphi_N) \\
 &= \sum_{n=0}^N A_n \cos (n \omega t + \varphi_n)
\end{align}

Die einzelnen Schwingungen haben die Kreisfrequenz n\omega, also die Frequenz n\omega/2\pi. 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:

\begin{align}
 f(t) &= \sum_{n=0}^N A_n \cos (n \omega t + \varphi_n) \\
 &=A_0+\sum_{n=1}^N (\,\underbrace{A_n\cos \varphi_n}_{=a_n}\cdot\cos(n \omega t)-\underbrace{A_n\sin \varphi_n}_{=b_n}\cdot\sin(n \omega t))
\end{align}

Zusammen mit a_0:=A_0 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( \mathrm{e}^{\mathrm{i}x} + \mathrm{e}^{-\mathrm{i}x} \right) und  \sin (x) = \frac{1}{2 \mathrm{i}} \left( \mathrm{e}^{\mathrm{i}x} - \mathrm{e}^{-\mathrm{i}x} \right) ,

somit

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

Mit den komplexen Koeffizienten c_0:=a_0, c_n:=\tfrac12(a_n+\mathrm{i}b_n) und c_{-n}:=\tfrac12(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_n \mathrm{e}^{\mathrm{i}n \omega  t }

Fourier-Reihe[Bearbeiten]

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 \mathrm{e}^{-\mathrm{i} m \omega t} multipliziert und sodann auf beiden Seiten über dem Intervall [0,T], d. h. über eine Periode integriert. Mit Umformungen erreicht man folgende Aussage:

\begin{align}
e^{-\mathrm{i} m \omega t} f(t)
   &= \sum_{n=-N}^N c_n \left( \mathrm{e}^{\mathrm{i}n \omega t} \mathrm{e}^{-\mathrm{i} m \omega t} \right)
    =\! \sum_{n=-N-m}^{N-m} c_{n+m} \mathrm{e}^{\mathrm{i} (n+m) \omega t - \mathrm{i} m\omega t}
\\ &=\! \sum_{n=-N-m}^{N-m} c_{n+m} \mathrm{e}^{\mathrm{i} n \omega t }
\end{align}

Daraus folgt


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

Für das n-te Integral auf der rechten Seite gilt:


 \int_0^T \mathrm{e}^{\mathrm{i} n \omega t } \mathrm dt = \begin{cases}
  T & \mathrm{f\ddot ur}\;n=0 \\
   \displaystyle\ \frac1{\mathrm{i}n \omega } (\!\!\!\overbrace{\mathrm{e}^{\mathrm{i} n\omega T }}^{\quad=\mathrm{e}^{2\pi\mathrm i n}=1} \!\!\!\!- 1) = 0
   & \mathrm{f\ddot ur}\;n\ne 0
 \end{cases}

Es liefert also nur der Summand für n=0 einen Beitrag, es vereinfacht sich das Integral also zu

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

 \Leftrightarrow c_m = \frac1T \int_0^T f(t) \mathrm{e}^{-\mathrm{i} m \omega t} \mathrm 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:

\begin{align}
f_N(t) :=\sum_{n=-N}^N c_n\mathrm{e}^{in\omega t}
   &=\frac1T \sum_{n=-N}^N \int_0^T f(s) \mathrm{e}^{-\mathrm{i} n \omega s} \, \mathrm ds\;\mathrm{e}^{\mathrm{i}n\omega t}
\\ &=\frac1T \int_0^T \sum_{n=-N}^N f(s) \mathrm{e}^{\mathrm{i} n \omega (t-s)} \, \mathrm ds
\\ &=\int_0^T \frac1TS_N(\omega(t-s)) f(s) \, \mathrm ds
\end{align}

Mit dem Dirichlet-Kern

S_N(\tau):=\sum_{n=-N}^N (\mathrm{e}^{\mathrm{i} \tau})^n=\frac{\sin((N+\frac12)\tau)}{\sin(\frac12\tau)}

Aperiodische Vorgänge (Fourier-Integral)[Bearbeiten]

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) \mathrm{e}^{\mathrm{i} \omega t} \, \mathrm d \omega

mit


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

Aus der Folge a_n ist nun das kontinuierliche Spektrum a(\omega) 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[Bearbeiten]

Die Fourier-Transformation wird oft eingesetzt, um Differentialgleichungen zu lösen. Denn die \mathrm{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. Die Anwendung der Fourier-Transformation auf die Differentialgleichung ergibt den Frequenzgang des Systems.

Abstrakte harmonische Analyse[Bearbeiten]

Hauptartikel: Harmonische Analyse

Die abstrakte harmonische Analyse ist die Weiterentwicklung der Fourier-Analysis auf lokalkompakte topologische Gruppen. Auf diesen Gruppen kann man mit Hilfe des Haar-Maßes, das das Lebesgue-Maß als Spezialfall umfasst, ein Integral definieren. Zentral in der abstrakten harmonischen Analyse ist der Begriff der Charakters, der von Lew Semjonowitsch Pontrjagin eingeführt wurde. Das ist ein stetiger Gruppenhomomorphismus \chi \colon G \to \mathrm{S}^1 von der lokalkompakten, abelschen Gruppe G in die Sphäre. In Analogie zu linearen Funktionalen und den Dualräumen bilden ihre Gesamtheit die Dualgruppe \widehat{G}. Der Begriff Dualgruppe wird durch den Dualitätssatz von Pontrjagin gerechtfertigt. Aus Sicht der abstrakten harmonischen Analyse versteht man dann unter der Abbildung

\begin{align}
\mathcal{F}(f) \colon \widehat{G} &\rightarrow {\mathbb C},\\
\mathcal{F}(f)(\chi) &= \int_G f(x) \overline{\chi(x)}\mathrm{d} \lambda(x)
\end{align}

die Fourier-Transformation. Wählt man G = \R und \chi_z(x) = e^{i x z} so ist \widehat{G} = \R und man erhält die klassische kontinuierliche Fourier-Transformation. In der abstrakten harmonischen Analyse gibt es genauso wie in der klassischen Fourier-Analysis für diese Transformation auch eine Rücktransformation. Außerdem umfasst diese abstrakte Fourier-Transformation auch die Fourier-Reihe sowie die Laplace-Transformation, die Mellin-Transformation und andere Transformationen als Spezialfälle.

Einzelnachweise[Bearbeiten]

  1. Fouriertransformation für zeitdiskrete Signale (DTFT) (PDF; 783 kB), studentischer Seminarvortrag, Universität Koblenz-Landau, 2005
  2.  Martin Bossert: Einführung in die Nachrichtentechnik. Oldenbourg Wissenschaftsverlag, 2012, ISBN 978-3-486-70880-6, S. 90 - 92.
  3. Y.W. Lee, T.P. Cheatham Jr., J.B. Wiesner: The Application of Correlation Functions in the Detection of Small Signals in Noise. In: Technical Report Nr. 141. MIT Research Laboratory of Electronics, 13. Oktober 1949, abgerufen am 30. Juli 2013.
  4. Jean Baptiste Joseph Fourier: Théorie analytique de la chaleur. Chez Firmin Didot, père et fils 1822 (Volltext in der Google-Buchsuche).
  5. a b c  Chr. Schmid: Fourier-Analyse. In: Guido Walz (Hrsg.): Lexikon der Mathematik. 1 Auflage. Spektrum Akademischer Verlag, Mannheim/Heidelberg 2000, ISBN 3-8274-0439-8.
  6. Paul Du Bois-Reymond: Untersuchungen über die Convergenz und Divergenz der Fourierschen Darstellungsformeln, Abhandlungen der Mathematisch-Physicalischen Classe der K. Bayerische Akademie der Wissenschaften, 1876, Volume 13, Seite 1-103

Literatur[Bearbeiten]

  •  Rolf Brigola: Fourier-Analysis und Distributionen. edition swk, Hamburg 2013, ISBN 978-3-8495-2892-8.
  • S. Bochner, K. Chandrasekharan: Fourier Transforms. Princeton University Press, Princeton NJ 1949 (Annals of mathematics studies 19, ISSN 0066-2313).
  • Otto Föllinger: Laplace-, Fourier- und z-Transformation. Bearbeitet von Mathias Kluw. 8. überarbeitete Auflage. Hüthig, Heidelberg 2003, ISBN 3-7785-2911-0 (Studium).
  • Burkhard Lenze: Einführung in die Fourier-Analysis. 3. durchgesehene Auflage. Logos Verlag, Berlin 2010, 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 (Cambridge Monographs on Mechanics and Applied Mathematics).
  • Athanasios Papoulis: The Fourier Integral and Its Applications. Reissued. McGraw-Hill, New York NY u. a. 1987, ISBN 0-07-048447-3 (McGraw-Hill Classic Textbook Reissue Series).
  • Elias M. Stein, Rami Shakarchi: Princeton Lectures in Analysis. Band 1: Fourier Analysis. An Introduction. Princeton University Press, Princeton NJ 2003, ISBN 0-691-11384-X.

Weblinks[Bearbeiten]

 Commons: Fourier-Analyse – Sammlung von Bildern, Videos und Audiodateien