The Fourier transform identity theorem. (Q573096)

\textit{Definitionen}: Eine in jedem endlichen Intervall \(L\)-integrable Funktion \(f(x)\) heißt zu \(L_{\varrho}\) gehörig, wenn für ein \(\varrho \geqq 1\) die Zahl \[ l_{\varrho}(f) = \left\{ \frac{1}{\sqrt{2\pi}} \int\limits_{-\infty}^{+\infty} |f(x)|^{\varrho} \, dx \right\}^{\frac{1}{\varrho}} \] als endliche existiert. Gehören \(f(x)\) und die \(f_{\nu}(x)\) zu demselben \(L_{\varrho}\), so bedeutet \(f(x)=\underset{\nu \to \infty} {\text{l.m.}}(\varrho)f_{\nu}(x)\), daß \[ \lim\limits_{\nu \to \infty} l_{\varrho} (f-f_{\nu}) = 0. \] Eine Funktion \(f(x)\) besitzt eine \textit{Fourier}-Transformierte \(F(u)\) in \(L_{\varrho}\), wenn \[ F(u) = \underset{\nu \to \infty} {\text{l.m.}}(\varrho) \frac{1}{\sqrt{2\pi}} \int\limits_{-\nu}^{+\nu} f(x) \, e^{-ixu} \, dx. \] Der Hauptsatz der vorliegenden Arbeit lautet nun bei Zugrundelegung dieser Definitionen: \textit{Theorem} \(C\). Hat \(f\) eine \textit{Fourier}-Transformierte \(F\) in einem \(L_{\varrho}\), und hat \(F\) eine \textit{Fourier}-Transformierte \(\mathfrak{F}\) in einem \(L_{\mu}\), dann ist fast überall: \[ \mathfrak{F}(x) = f(-x). \] Der Beweis wird dadurch geführt, daß gewisse Zackenfunktionen und ihre \textit{Fourier}-Transformierten eingeführt werden, und daß für die Kombination der gegebenen Funktionen \(f\), \(F\) und \(\mathfrak{F}\) mit diesen Hilfsfunktionen der \textit{Parseval}sche Satz bewiesen wird. Nimmt man zu Theorem \(C\) den Satz von \textit{Titchmarsh} (1924; F. d. M. 50, 201 (JFM 50.0201.*)) hinzu, daß ein \(f\) aus \(L_{\varrho}\) (\(1 < \varrho \leqq 2\)) stets eine \textit{Fourier}-Transformierte aus \(L_{\varrho'}\) \(\left( \varrho' = \dfrac{\varrho}{\varrho-1} \right)\) besitzt, so erhält man den bekannten Reziprozitätssatz: Wenn \(f\) eine \textit{Fourier}-Transformierte \(F\) in \(L_{\varrho'}\) (\(1 < \varrho \leqq 2\)) besitzt, so gehört \(F\) zu \(L_{\varrho'}\) und \(f(-x)\) ist die \textit{Fourier}-Transformierte von \(F\) in \(L_{\varrho'}\).