Fourieranalyse
Einleitung
Fourier-Reihen
Anschauung
Summendarstellung
Konvergenz einer Reihendarstellung
Um uns mit der Konvergenz einer Fourier-Reihe zu einer gegebenen Funktion zu befassen, definieren wir zunächst für ein [math] \: f: \mathbb{R} \rightarrow \mathbb{C} [/math] und ein [math] x /in \mathbb{R} [/math] im Fall der Existenz der jeweiligen Limiten
[math] f( x^+) := \lim_{t \searrow x} f(t) \: \: \: \: \: \: f( x^-) := \lim_{t \nearrow x} f(t) \: \: \: \: \: \: f(x^+_-) := \frac{f( x_+) + f( x^-)}{2} \\ f´( x^+) := \lim_{t \searrow 0} \frac{f(x+t)-f(x)}{t} \\ f´( x^-) := \lim_{t \nearrow 0} \frac{f(x+t)-f(x)}{t} [/math]
Nun können wir die zentrale Aussage dieses Abschnitts formulieren:
Konvergenzsatz von Dirichlet
Sei [math] \, f: \mathbb{R} \rightarrow \mathbb{R} \; 2\pi \; [/math]-periodisch und integrierbar auf [math] [ 0, 2π ] [/math]. Sei [math] x \in \mathbb{R} [/math] derart, dass [math] f( x^+), \, f( x^-), \, f´(x^+) \, [/math] und [math] \, f´(x^−) \, [/math] existieren. Dann gilt [math] \, FS(f)(x) = f(x^+_-) [/math].
Insbesondere gilt also, falls [math] \, f \, [/math] in [math]\, x \, [/math] differenzierbar ist, [math] \, FS(f)(x) = f(x) [/math].
Beweis |
Wir definieren zunächst:
Für alle [math] n \in \mathbb{N} [/math] heiße die Funktion [math] D_n: \mathbb{R} \Rightarrow \mathbb{C}, \; x \mapsto \sum_{k=-n}^n e^{ikx} \\ [/math] der n-te Dirichlet-Kern.
Lemma: (Sinusdarstellung der Dirichlet-Kerne) Für alle [math] n \in \mathbb{N} [/math] und alle [math] x \in \mathbb{R} \setminus \{ 2\pi a | a \in \mathbb{Z} \} [/math] gilt
Weiter ist [math] D_n(2 \pi a) = 2n + 1 [/math] für alle [math] \; a \in \mathbb{Z} [/math].
Sei [math] x \in \mathbb{R} \setminus \{ 2 \pi a | a \in \mathbb{Z} \} [/math]. Dann gilt [math] D_n(x) = \sum_{k=-n}^n e^{ikx} = e^{-inx} \sum_{k=0}^2n e^{ikx} [/math]. Da gilt [math] e^{inx} \neq 1 [/math], folgern wir aus der Formel der Partialsummen einer geometrischen Reihe [math] \begin{align} D_n &= e^{-inx} \frac{1-e^{i(2n+1)x}{1-e^{ix}} \\ [/math]
|
Beispiele
Zeichnen mit Fourierreihen
Fouriertransformation
Inverse Fouriertransformation
Man kann diese Transformation auch in die andere Richtung vollziehen. Diese inverse Transformation lautet dann:
[math]f(x)=\frac{1}{\sqrt{2\pi}^n} \int_{\mathbb{R}^n}\ (\mathbb{F}f)\ (y)\ e^{iy\dot x} dy [/math]