On the uniqueness of the representation of a function by a trigonometric integral. (Q2600727): Difference between revisions

Es handelt sich um die Frage, wann eine Funktion \(\varphi (u)\) durch ihre \textit{Fourier}-Transformierte eindeutig bestimmt ist und wann die bekannte Umkehrformel Gültigkeit hat. Um zu gewissen Resultaten zu kommen, werden Voraussetzungen gemacht entweder über den Sinn, in dem die \textit{Fourier}-Transformierte zu nehmen ist (z. B. als \textit{Cesàro}sches Mittel), oder über das Verhalten der Transformierten oder über das der Funktion selbst. Von den sieben Sätzen der Arbeit seien die folgenden genannt: \textit{Satz 1}. Wenn \(\varphi (u)\) in jedem endlichen Intervall \(L\)-integrabel und die Transformierte \[ (2\pi)^{-\frac12} \int\limits_{-\infty}^{+\infty} \varphi(u)e^{ixu}\,du \] für alle \(x\) \((C, 1)\)-summabel zum Wert 0 ist, so verschwindet \(\varphi (u)\) fast überall. \textit{Satz 7}. \(\varphi(u)\) sei in jedem endlichen Intervall \(L\)-integrabel. Ferner sei \[ \varPhi (\sigma, x) = (2\pi)^{-\frac12} \int\limits_{-\infty}^{+\infty} e^{-\sigma | u|} \varphi (u) e^{ixu}\, du \] \((C, 1)\)-summabel für \(\sigma > 0\) und alle \(x\), \[ \overline\varPhi (x) = \limsup_{\sigma\to0} \varPhi (\sigma, x),\quad \underline\varPhi (x) = \liminf _{\sigma\to0} \varPhi (\sigma, x) \] seien für alle \(x\) endlich und in jedem endlichen Intervall \(L\)-integrabel, und es gelte: \[ \int\limits_0^x\overline\varPhi (t)\, dt = O (| x| ^\varkappa),\quad \int\limits_0^x \underline\varPhi(t)\, dt = O(|x |^\varkappa) \] (\(0 \leqq\varkappa < 1\)) für \(x \to\pm\infty\). Schließlich existiere eine in \((-\infty, \infty)\) überall dichte Menge \(E\), so daß \[ \varPhi(x) = (2\pi)^{-\frac12} \int\limits_{-\infty}^{+\infty} \varphi(u) e^{ixu}\,du \] für alle \(x\) aus \(E\) \((C, 1)\)-summabel zu einem endlichen Wert sei. Dann ist \[ \overline\varPhi(x)\equiv\underline\varPhi(x)\equiv\varPhi(x), \] und es ist fast überall \(\varPhi (x)\) \((C, 1)\)-summabel und die Umkehrformel im \((C, 1)\)-Sinne richtig.