Fourieranalyse: Unterschied zwischen den Versionen

Aus FunFacts Wiki
Zur Navigation springen Zur Suche springen
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.


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

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]

Anwendungsbeispiele

Quellen

Weiterführende Links