On the characterization of a distribution function by its Fourier transform. (Q2596573)

\(\sigma (x)\) sei eine Verteilungsfunktion, d. h. in \(-\infty < x < +\infty\) nicht abnehmend, normiert, \(\sigma(-\infty) = 0\), \(\sigma(\infty) = 1\). Ihre Fourier-Transformierte ist \[ \varLambda(u; \, \sigma)=\int\limits_{-\infty}^{+\infty} e^{iux} \, d \sigma (x). \] Bekanntlich besteht zwischen der Glätte von \(\sigma (x)\) und der Größenordnung von \(\varLambda(u; \, \sigma)\) ein Zusammenhang. Ist z. B. \((c > 0)\) \[ \varLambda(u; \, \sigma)=O(e^{-c |\, u \,|}) \quad \text{für} \quad |\, u \,| \to \infty, \] so ist \(\sigma (x)\) auf \((-\infty, \, +\infty)\) analytisch. Die Verf. zeigen nun, daß keine schwächere Bedingung die Analytizität von \(\sigma (x)\) garantiert. Wenn \(\eta(u)\) irgend eine Funktion ist, die langsamer als jede Funktion \(e^{-c |\, u \,|}\) \((c>0)\) gegen 0 abnimmt für \(|\, u \,| \to \infty\), so gibt es eine Verteilungsfunktion \(\sigma (x)\), deren Fourier-Transformierte von derselben Größenordnung wie \(\eta(u)\) ist, während die Punkte, wo \(\sigma (x)\) nicht analytisch ist, eine beliebige abgeschlossene Menge bilden.