Fourieranalyse: Unterschied zwischen den Versionen
Ip253 (Diskussion | Beiträge) |
Ip253 (Diskussion | Beiträge) |
||
Zeile 14: | Zeile 14: | ||
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> | 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 Aussage dieses Abschnitts formulieren: | + | Nun können wir die zentrale Aussage dieses Abschnitts formulieren: |
'''Konvergenzsatz von Dirichlet''' | '''Konvergenzsatz von Dirichlet''' | ||
Zeile 26: | Zeile 26: | ||
|'''Beweis''' | |'''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''. | ||
+ | |||
+ | |||
+ | Nun benötigen wir erst einmal einige Hilfssätze. | ||
+ | |||
+ | '''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 | ||
+ | |||
+ | |||
+ | <math> D_n(x) = \frac{\sin(n x + x/2)}{\sin(x/2)} </math>. | ||
+ | |||
+ | Weiter ist <math> D_n(2 \pi a) = 2n + 1 </math> für alle <math> \; a \in \mathbb{Z} </math>. | ||
+ | |||
+ | |||
+ | '''Beweis:''' | ||
+ | |||
+ | 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=== | ===Beispiele=== | ||
Zeile 33: | Zeile 62: | ||
<!-- dritter Mensch --> | <!-- dritter Mensch --> | ||
===Zeichnen mit Fourierreihen=== | ===Zeichnen mit Fourierreihen=== | ||
+ | |||
==Fouriertransformation== | ==Fouriertransformation== | ||
Version vom 19. August 2021, 20:16 Uhr
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]