Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 27/latex
\setcounter{section}{27}
\zwischenueberschrift{Die Fourier-Transformation}
\inputdefinition
{}
{
Zu einer
\definitionsverweis {integrierbaren Funktion}{}{}
\maabb {f} {\R^n} { {\mathbb C}
} {}
nennt man die Funktion
\maabbdisp {\hat{f}} { \R^n } { {\mathbb C}
} {,}
die durch
\mavergleichskettedisp
{\vergleichskette
{ \hat{f} ( {\mathfrak u} )
}
{ \defeq} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f({\mathfrak t}) d {\mathfrak t}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definiert ist, die
\definitionswort {Fourier-Transformation}{}
von $f$.
}
Der Vorfaktor wird häufig auch anders gewählt, weggelassen oder mit dem Maß verarbeitet. Auch die Bezeichnung der Variablen wird sehr unterschiedlich gehandhabt. Einer integrierbaren komplexwertigen Funktion $f$ wird also eine andere Funktion $\hat{f}$ zugeordnet. Eine physikalische Interpretation ist, dass beispielsweise bei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
$f( {\mathfrak t} )$ eine zeitabhängige nichtperiodische
\zusatzklammer {beispielsweise gedämpfte} {} {}
Schwingung ist und $\hat{f} ( {\mathfrak u} )$ bzw. dessen Betrag angibt, wie stark die Frequenz ${\mathfrak u}$ in $f$ vorkommt.
Die Fourier-Transformation ist zunächst für integrierbare Funktionen definiert und liefert eine Funktion, von der wir noch keine Eigenschaft kennen. Da das definierende Integral sich nicht ändert, wenn man $f$ auf einer Nullmenge abändert, ist die Fourier-Transformation auf $L^1(\R^n)$ definiert.
\inputbemerkung
{}
{
Sei
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es ist dann
\mavergleichskettealign
{\vergleichskettealign
{ e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle }
}
{ =} { e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} }
}
{ =} { \cos \left( - {\mathfrak u} {\mathfrak t} \right) + { \mathrm i} \sin \left( - {\mathfrak u} {\mathfrak t} \right)
}
{ =} { \cos \left( {\mathfrak u} {\mathfrak t} \right) - { \mathrm i} \sin \left( {\mathfrak u} {\mathfrak t} \right)
}
{ } {
}
}
{}
{}{}
ein Element des komplexen Einheitskreises. Wenn man ${\mathfrak u}$ fixiert und ${\mathfrak t}$ varieren lässt, handelt es sich um eine Bewegung auf dem komplexen Einheitskreis, wobei ${\mathfrak u}$ angibt, mit welcher Frequenz der Kreis durchlaufen wird. Wenn zusätzlich eine $\R_{\geq 0}$-wertige Funktion gegeben ist, so kann man den Integranden in der Fouriertransformation
\mavergleichskettedisp
{\vergleichskette
{ e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f({\mathfrak t})
}
{ =} { f({\mathfrak t}) { \left( \cos \left( {\mathfrak u} {\mathfrak t} \right) - { \mathrm i} \sin \left( {\mathfrak u} {\mathfrak t} \right) \right) }
}
{ } {
}
{ } {}
{ } {}
}
{}{}{}
so verstehen, dass eine durch ${\mathfrak u}$ getakte Kreisbewegung mit dem variablen Radius $f({\mathfrak t})$ durchgeführt wird. Das Integral dieser Bewegung über
\mavergleichskette
{\vergleichskette
{ {\mathfrak t}
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
berechnet den durchschnittlichen Aufenthaltsort der Bewegung. Dass ein solcher Durchschnitt existiert, setzt voraus, dass $f$ integrierbar ist, also abklingt, für ${\mathfrak t} \rightarrow \pm \infty$ geht der Radius gegen $0$. Man erwartet im Allgemeinen, dass dieser durchschnittliche, über die Zeit gemittelte, Aufenthaltsort nahe beim Nullpunkt liegt, da sich ja die verschiedenen Auslenkungen bei einem Kreisumlauf, wenn der Radius sich dabei nicht stark ändert, weitgehend wegheben. Wenn es hingegen eine gewisse Synchronizität zwischen der Kreisbewegung und der Auslenkungsbewegung gibt, so erwartet man, dass der Durchschnittswert diese Auslenkung widerspiegelt.
}
{Fourier-Transformation/Linearität/Fakt}
{Lemma}
{}
{
\faktsituation {Die
\definitionsverweis {Fourier-Transformation}{}{}
\maabbdisp {} {L^1( \R^n) } { \operatorname{Abb} \, { \left( \R^n , {\mathbb C} \right) }
} {}}
\faktfolgerung {ist linear.}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 27.1. }
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Wir betrachten die Funktion
\mavergleichskettedisp
{\vergleichskette
{ f( {\mathfrak t} )
}
{ =} { \begin{cases} e^{-a {\mathfrak t} } \text{ für } {\mathfrak t} \geq 0 \\ 0 \text{ sonst} \, . \ \end{cases}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Es ist
\mavergleichskettealign
{\vergleichskettealign
{ \hat{f}( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \int_\R e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } f( {\mathfrak t}) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \int_0^\infty e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } e^{-a {\mathfrak t} } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \int_0^\infty e^{ - { \left( a+ { \mathrm i} {\mathfrak u} \right) } {\mathfrak t} } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \cdot \left( { \frac{ -1 }{ a+ { \mathrm i} {\mathfrak u} } } e^{ - { \left( a+ { \mathrm i} {\mathfrak u} \right) } {\mathfrak t} } \right) | _{ 0 } ^{ \infty }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \cdot { \frac{ 1 }{ a+ { \mathrm i} {\mathfrak u} } }
}
{ } {}
{ } {}
{ } {}
}
{}{}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Wir betrachten die Funktion
\mavergleichskettedisp
{\vergleichskette
{ f( {\mathfrak t} )
}
{ =} { e^{-a \betrag { {\mathfrak t} } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es ist unter Verwendung von
Beispiel 27.4
\mavergleichskettealign
{\vergleichskettealign
{ \hat{f}( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \int_\R e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } e^{-a \betrag { {\mathfrak t} } } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \int_0^\infty e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } e^{-a {\mathfrak t} } d {\mathfrak t} + { \frac{ 1 }{ \sqrt{2\pi} } } \int_0^{-\infty} e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } e^{a {\mathfrak t} } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \cdot { \frac{ 1 }{ a + { \mathrm i} {\mathfrak u} } } - { \frac{ 1 }{ \sqrt{2\pi} } } \int_0^{\infty} e^{ { \mathrm i} {\mathfrak u}s } e^{-a s } d s
}
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \cdot { \frac{ 1 }{ a+ { \mathrm i} {\mathfrak u} } } + { \frac{ 1 }{ \sqrt{2\pi} } } \cdot { \frac{ 1 }{ a- { \mathrm i} {\mathfrak u} } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ \sqrt{2\pi} } } \cdot { \frac{ 2a }{ a^2+ {\mathfrak u}^2 } }
}
{ =} { { \frac{ \sqrt{2} }{ \sqrt{\pi} } } \cdot { \frac{ a }{ a^2+ {\mathfrak u}^2 } }
}
{ } {}
{ } {}
}
{}{.}
}
\inputbeispiel{}
{
Sei
\mavergleichskette
{\vergleichskette
{ a
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert und sei $f$ die
\definitionsverweis {Indikatorfunktion}{}{}
zum Intervall
\mathl{[-a,a]}{.} Dann ist für
\mavergleichskette
{\vergleichskette
{ {\mathfrak u}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\mavergleichskettealign
{\vergleichskettealign
{ \hat{f}( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \int_{-a}^a e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \cdot \left( { \frac{ -1 }{ { \mathrm i} {\mathfrak u} } } e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } \right) | _{ -a } ^{ a }
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \cdot { \frac{ 1 }{ { \mathrm i} {\mathfrak u} } } \cdot { \left( - e^{ - { \mathrm i} {\mathfrak u} a } + e^{ { \mathrm i} {\mathfrak u} a } \right) }
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \cdot { \frac{ 2 \sin \left( a {\mathfrak u} \right) }{ {\mathfrak u} } }
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ \sqrt{2} }{ \sqrt{\pi} } } \cdot { \frac{ \sin \left( a {\mathfrak u} \right) }{ {\mathfrak u} } }
}
{ } {}
{ } {}
{ } {}
}
{}{.}
Bei
\mavergleichskette
{\vergleichskette
{ {\mathfrak u}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist direkt
\mavergleichskette
{\vergleichskette
{ \hat{f}( 0 )
}
{ = }{ { \frac{ \sqrt{2} a }{ \sqrt{ \pi} } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
was sich auch bei stetiger Fortsetzung des allgemeinen Ausdrucks ergibt.
}
\inputfaktbeweis
{Fourier-Transformation/Translationseigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Für die
\definitionsverweis {Fourier-Transformation}{}{}
gelten die folgenden Rechenregeln.}
\faktfolgerung {\aufzaehlungdrei{Zu
\mavergleichskette
{\vergleichskette
{ v
}
{ \in }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ g( {\mathfrak t})
}
{ = }{ f({\mathfrak t} ) e^{ { \mathrm i} \left\langle v , {\mathfrak t} \right\rangle }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \hat{g} ({\mathfrak u})
}
{ =} { \hat{f} ({\mathfrak u}-v)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Zu
\mavergleichskette
{\vergleichskette
{ g({\mathfrak t})
}
{ = }{ f({\mathfrak t}-v)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \hat{g} ({\mathfrak u})
}
{ =} { \hat{f} ({\mathfrak u}) \cdot e^{ - { \mathrm i} \left\langle {\mathfrak u} , v \right\rangle }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}{Zu
\mavergleichskettedisp
{\vergleichskette
{ g
}
{ =} { f(c{\mathfrak t})
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und reelles
\mavergleichskette
{\vergleichskette
{ c
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettedisp
{\vergleichskette
{ \hat{g} ( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ \betrag { c }^n } } \hat{ f} { \left( { \frac{ 1 }{ c } } {\mathfrak u} \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}}
\faktzusatz {}
\faktzusatz {}
}
{
\aufzaehlungdrei{Es ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } g({\mathfrak t}) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f({\mathfrak t} ) e^{ { \mathrm i} \left\langle v , {\mathfrak t} \right\rangle } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} -v , {\mathfrak t} \right\rangle } f({\mathfrak t} ) d {\mathfrak t}
}
{ =} { \hat{f} ( {\mathfrak u} -v)
}
{ } {
}
}
{}
{}{.}
}{Es ist wegen der Translationsinvarianz
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } g({\mathfrak t}) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f( {\mathfrak t}-v ) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , s+v \right\rangle } f( s ) d s
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} +v \right\rangle } f( {\mathfrak t} ) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot e^{ -{ \mathrm i} \left\langle {\mathfrak u} , v \right\rangle } \int_{\R^n} e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f( {\mathfrak t} ) d {\mathfrak t}
}
}
{
\vergleichskettefortsetzungalign
{ =} { \hat{f} ( {\mathfrak u} ) \cdot e^{ -{ \mathrm i} \left\langle {\mathfrak u} , v \right\rangle }
}
{ } {
}
{ } {}
{ } {}
}
{}{.}
}{Mit
\mavergleichskette
{\vergleichskette
{ s
}
{ = }{ c {\mathfrak t}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist
\mavergleichskettealign
{\vergleichskettealign
{ \hat{g} ( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot \int_{\R^n} e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } g( {\mathfrak t} ) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot \int_{\R^n} e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } f( c {\mathfrak t} ) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot \int_{\R^n} e^{ - { \mathrm i} \left\langle {\mathfrak u} , { \frac{ s }{ c } } \right\rangle } f( s ) d { \frac{ s }{ c } }
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot { \frac{ 1 }{ \betrag { c }^n } } \cdot \int_{\R^n} e^{ - { \mathrm i} \left\langle { \frac{ {\mathfrak u} }{ c } } , s \right\rangle } f( s ) d s
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 1 }{ \betrag { c }^n } } \hat{f} \left( \frac{ {\mathfrak u} }{ c } \right)
}
{ } {}
{ } {}
{ } {}
}
{}{.}
}
\inputfaktbeweis
{Fourier-Transformation/Normalverteilung/Dichte/Fakt}
{Lemma}
{}
{
\faktsituation {Für die
\definitionsverweis {Fourier-Transformation}{}{}
von
\mavergleichskette
{\vergleichskette
{ f ({\mathfrak t})
}
{ = }{ e^{ { \frac{ {\mathfrak t}^2 }{ 2 } } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}}
\faktfolgerung {gilt
\mavergleichskettedisp
{\vergleichskette
{ \hat{f} ( {\mathfrak u} )
}
{ =} { e^{ { \frac{ {\mathfrak u}^2 }{ 2 } } }
}
{ } {}
{ } {}
{ } {}
}
{}{}{.}}
\faktzusatz {D.h. die Dichte der
\definitionsverweis {Normalverteilung}{}{}
ist ein
\definitionsverweis {Fixpunkt}{}{}
für die Fourier-Transformation.}
\faktzusatz {}
}
{
Mit quadratischer Ergänzung ist
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ {\mathfrak t}^2 }{ 2 } } - { \mathrm i} {\mathfrak u} {\mathfrak t}
}
{ =} { { \frac{ {\mathfrak t}^2-2 { \mathrm i} {\mathfrak u} {\mathfrak t} }{ 2 } }
}
{ =} { { \frac{ { \left( {\mathfrak t}- { \mathrm i} {\mathfrak u} \right) }^2 + {\mathfrak u}^2 }{ 2 } }
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist mit
Satz 14.6
\mavergleichskettealign
{\vergleichskettealign
{ \hat{f} ( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \int_\R e^{ - { \mathrm i} {\mathfrak u} {\mathfrak t} } e^{ { \frac{ {\mathfrak t}^2 }{ 2 } } } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \int_\R e^{ { \frac{ {\mathfrak t}^2 }{ 2 } } - { \mathrm i} {\mathfrak u} {\mathfrak t} } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } \int_\R e^{ { \frac{ { \left( {\mathfrak t} - { \mathrm i} {\mathfrak u} \right) }^2 + {\mathfrak u}^2 }{ 2 } } } d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ \sqrt{2 \pi} } } e^{ { \frac{ {\mathfrak u}^2 }{ 2 } } } \int_\R e^{ { \frac{ { \left( {\mathfrak t}- { \mathrm i} {\mathfrak u} \right) }^2 }{ 2 } } } d {\mathfrak t}
}
}
{
\vergleichskettefortsetzungalign
{ =} { e^{ { \frac{ {\mathfrak u}^2 }{ 2 } } }
}
{ } {}
{ } {}
{ } {}
}
{}{,}
wobei im Integral wegen der Symmetrie der Imaginärteil gleich $0$ ist.
\inputfaktbeweis
{Fourier-Transformation/Faltungssatz/Fakt}
{Satz}
{}
{
\faktsituation {Es seien
\maabb {f,g} {\R^n} { {\mathbb C}
} {}
\definitionsverweis {integrierbare Funktionen}{}{.}}
\faktfolgerung {Dann gilt für die
\definitionsverweis {Fourier-Transformation}{}{}
der
\definitionsverweis {Faltung}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ \widehat{ f *g }
}
{ =} { (2 \pi)^{n/2} \cdot \hat{f } \cdot \hat{g}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 9.8
(für Dichten) angewendet auf die Addition und
Korollar 13.2
ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \widehat{ f *g } ( {\mathfrak u} )
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot \int_{\R^n} e^{ - { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } (f * g) ({\mathfrak u}) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot \int_{\R^n \times \R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t}_1 + {\mathfrak t}_2 \right\rangle } f({\mathfrak t}_1 ) g ({\mathfrak t}_2 ) d {\mathfrak t}_1 d {\mathfrak t}_2
}
{ =} { { \frac{ 1 }{ (2 \pi)^{n/2} } } \cdot { \left( \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t}_1 \right\rangle } f( {\mathfrak t}_1 ) d {\mathfrak t}_1 \right) } \cdot { \left( \int_{\R^n} e^{ -{ \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t}_2 \right\rangle } g ({\mathfrak t}_2 ) d {\mathfrak t}_2 \right) }
}
{ =} { (2 \pi)^{n/2} \cdot \hat{f }({\mathfrak u}) \cdot \hat{g} ({\mathfrak u})
}
}
{}
{}{.}
\inputfaktbeweis
{Fourier-Transformation/Gleichmäßig stetig/Fakt}
{Satz}
{}
{
\faktsituation {Die
\definitionsverweis {Fourier-Transformation}{}{}
$\hat{f}$ einer
\definitionsverweis {integrierbaren Funktion}{}{}}
\faktfolgerung {ist
\definitionsverweis {gleichmäßig stetig}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Sei
\mavergleichskette
{\vergleichskette
{ \epsilon
}
{ > }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgegeben. Es sei
\mavergleichskettedisp
{\vergleichskette
{ a
}
{ =} { \int_{\R^n} \betrag { f } d \lambda^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zu
\mavergleichskette
{\vergleichskette
{ \epsilon'
}
{ = }{ \epsilon/ (a+2)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es nach
Aufgabe 9.12
einen abgeschlossenen Ball $B \left( 0,r \right)$ mit
\mavergleichskettedisp
{\vergleichskette
{ \int_{\R^n \setminus B \left( 0,r \right) } fd\lambda^n
}
{ \leq} { \epsilon'
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Wir setzen
\mavergleichskette
{\vergleichskette
{ \delta
}
{ \defeq }{ { \frac{ \epsilon' }{ r } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann gilt für
\mavergleichskette
{\vergleichskette
{ {\mathfrak u}_1, {\mathfrak u}_2
}
{ \in }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{ \Vert { {\mathfrak u}_1- {\mathfrak u}_2} \Vert
}
{ \leq }{ \delta
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nach
Aufgabe 32.14 (Analysis (Osnabrück 2021-2023))
die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ \betrag { e^{ { \mathrm i} \left\langle {\mathfrak t} , {\mathfrak u}_1 \right\rangle } - e^{ { \mathrm i} \left\langle {\mathfrak t} , {\mathfrak u}_2 \right\rangle } }
}
{ \leq} { \Vert { {\mathfrak t} } \Vert \cdot \Vert { {\mathfrak u}_1- {\mathfrak u}_2} \Vert
}
{ \leq} { \Vert { {\mathfrak t} } \Vert \cdot \delta
}
{ } {
}
{ } {
}
}
{}{}{}
und damit
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \betrag { \hat{f} ( {\mathfrak u}_1) - \hat{f} ( {\mathfrak u}_2) }
}
{ \leq} { \betrag { \int_{\R^n} { \left( e^{ - { \mathrm i} \left\langle {\mathfrak u}_1 , {\mathfrak t} \right\rangle } - e^{ - { \mathrm i} \left\langle {\mathfrak u}_2 , {\mathfrak t} \right\rangle } \right) } f( {\mathfrak t} ) d {\mathfrak t} }
}
{ \leq} { \int_{\R^n} \betrag { e^{ - { \mathrm i} \left\langle {\mathfrak u}_1 , {\mathfrak t} \right\rangle } - e^{ - { \mathrm i} \left\langle {\mathfrak u}_2 , {\mathfrak t} \right\rangle } } \cdot \betrag { f( {\mathfrak t} ) } d {\mathfrak t}
}
{ =} { \int_{ B \left( 0,r \right) } \betrag { e^{ - { \mathrm i} \left\langle {\mathfrak u}_1 , {\mathfrak t} \right\rangle } - e^{ - { \mathrm i} \left\langle {\mathfrak u}_2 , {\mathfrak t} \right\rangle } } \cdot \betrag { f( {\mathfrak t} ) } d {\mathfrak t} + \int_{\R^n \setminus B \left( 0,r \right) } \betrag { e^{ - { \mathrm i} \left\langle {\mathfrak u}_1 , {\mathfrak t} \right\rangle } - e^{ - { \mathrm i} \left\langle {\mathfrak u}_2 , {\mathfrak t} \right\rangle } } \cdot \betrag { f( {\mathfrak t} ) } d {\mathfrak t}
}
{ \leq} { \int_{ B \left( 0,r \right) } \Vert { {\mathfrak t} } \Vert \cdot \delta \cdot \betrag { f( {\mathfrak t} ) } d {\mathfrak t} + 2 \int_{\R^n \setminus B \left( 0,r \right) } \betrag { f( {\mathfrak t} ) } d {\mathfrak t}
}
}
{
\vergleichskettefortsetzungalign
{ \leq} { r \cdot \delta \cdot \int_{ B \left( 0,r \right) } \betrag { f( {\mathfrak t} ) } d {\mathfrak t} + 2 \epsilon'
}
{ \leq} { r \cdot \delta \cdot a + 2 \epsilon'
}
{ \leq} { \epsilon' ( a +2 )
}
{ =} { \epsilon
}
}
{}{.}
\inputfaktbeweis
{Fourier-Transformation/Ableitungseigenschaften/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\maabb {f} {\R^n} { {\mathbb C}
} {}
eine Funktion und sei
\mavergleichskette
{\vergleichskette
{ (r_1 , \ldots , r_n)
}
{ \in }{ \N^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktvoraussetzung {Für jedes Tupel $(k_1 , \ldots , k_n)$ mit
\mavergleichskette
{\vergleichskette
{ (k_1 , \ldots , k_n)
}
{ \leq }{ (r_1 , \ldots , r_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mathl{{\mathfrak t}_1^{k_1} \cdots {\mathfrak t}_n^{k_n} f}{}
\definitionsverweis {integrierbar}{}{.}}
\faktfolgerung {Dann ist die
\definitionsverweis {Fourier-Transformierte}{}{}
$\hat{f}$ von $f$ in Richtung $D_1^{r_1} \cdots D_n^{r_n}$
\definitionsverweis {partiell differenzierbar}{}{}
und es gilt
\mavergleichskettedisp
{\vergleichskette
{ D_1^{r_1} \cdots D_n^{r_n} { \left( \hat{f} \right) }
}
{ =} { (- { \mathrm i})^{ r_1 + \cdots + r_n } { \left( {\mathfrak t}_1^{r_1} \cdots {\mathfrak t}_n^{r_n} f \right) }^{\hat{ \,} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Mit Induktion genügt es, die Aussage für $D_1$ zu zeigen. Unter Verwendung von
Korollar 11.3,
angewendet auf das Maß $f d \lambda^n$ und die Funktion ${\mathfrak t} \mapsto e^{- { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle }$,
ist
\mavergleichskettealign
{\vergleichskettealign
{ { \left( D_1 \hat{f} \right) } { \left( {\mathfrak u} \right) }
}
{ =} { { \frac{ 1 }{ (2\pi)^{n/2} } } \int_{\R^n} D_1 { \left( e^{- { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } \right) } f( {\mathfrak t} ) d {\mathfrak t}
}
{ =} { { \frac{ 1 }{ (2\pi)^{n/2} } } \int_{\R^n} { \left( - { \mathrm i} \right) } {\mathfrak t}_1 { \left( e^{- { \mathrm i} \left\langle {\mathfrak u} , {\mathfrak t} \right\rangle } \right) } f( {\mathfrak t} ) d {\mathfrak t}
}
{ =} { { \left( - { \mathrm i} {\mathfrak t}_1 f \right) }^{ \hat {\, } }
}
{ } {
}
}
{}
{}{.}
Es liegt also unter den formulierten Voraussetzungen ein kommutatives Diagramm
\mathdisp {\begin{matrix} \operatorname{Abb} \, { \left( \R^n , {\mathbb C} \right) } & \stackrel{ FT }{\longrightarrow} & \operatorname{Abb} \, { \left( \R^n , {\mathbb C} \right) } & \\ \!\!\!\!\! \cdot (- { \mathrm i} )^ { \betrag { r } } {\mathfrak t}^r \downarrow & & \downarrow D^r \!\!\!\!\! & \\ \operatorname{Abb} \, { \left( \R^n , {\mathbb C} \right) } & \stackrel{ FT }{\longrightarrow} & \operatorname{Abb} \, { \left( \R^n , {\mathbb C} \right) } & \!\!\!\!\! \\ \end{matrix}} { }
vor, wobei die Definitionsbereiche nicht die gesamte Abbildungsmenge sind.