Une inégalité de Kolmogoroff et les fonctions presquepériodiques. (Q2580164)

\(f_0(x)\) (\(-\infty < x < \infty\)) sei eine im Sinne von Lebesgue integrierbare Funktion, \(f_1(x)\), \(f_2(x)\), \dots seien ihre sukzessiven Integralfunktionen. Sei \(M_k=\max|f_k(x)|\). Es besteht nach \textit{Kolmogoroff} (C. R. Acad. Sci., Paris, 207 (1938), 764-765; JFM 64.0210.*) die folgende Ungleichung: \(M_k\leqq M_0^{1-\tfrac kn}M_n^{\tfrac kn}t_nt_n^{-\tfrac kn}\), wo \(t_h=\dfrac 4\pi \sum\limits_{\nu=0}^\infty \dfrac{(-1)^{\nu(h+1)}} {(2\nu+1)^{h+1}}\) ist, und wo das Gleichheitszeichen nur für die Funktionen \(f_0(x)=a\,\text{sgn}\,\sin(bx+c)\) besteht. Verf. beweist diese Ungleichung zuerst für den Fall, daß \(f_n(x)\) fastperiodisch ist. Seine Beweismethode besteht in einer geschickten Vergleichung der allgemeinen Funktion mit der Extremalen und in einer Nullstellenabzählung. Für allgemeine (nicht fastperiodische) Funktionen wird der Beweis dadurch erbracht, daß gezeigt wird: zu jeder Funktion \(f_0(x)\) mit beschränkter \(n\)-ter Integralfunktion \(f_n(x)\) läßt sich eine periodische Funktion \(g_n(x)\) derart konstruieren, daß \(|\max|f_n^{(h)}(x)|-\max|g_n^{(h)}(x)||<\varepsilon\) für \(h=0\), 1, \dots, \(n\) gilt, wobei \(\varepsilon\) eine beliebig vorgegebene positive Zahl ist. -- Es wird gezeigt, daß die bekannten Ungleichungen von S. Bernstein (über die Derivierten eines trigonometrischen Polynoms) und H. Bohr-J. Favard (über Integralfunktionen einer fastperiodischen Funktion) als Extremfälle aus der Kolmogoroffschen folgen. -- Es wird ferner gezeigt, daß die Kolmogoroffsche Ungleichung (wenigstens für fastperiodische Funktionen) auf Integralfunktionen beliebiger gebrochener Ordnung (im Sinne von Weyl) verallgemeinert werden kann. Die Bestimmung der besten Konstanten gelingt aber im allgemeinen nicht, was damit zusammenhängt, daß sgn \(\sin x\) keine Extremale mehr bleibt. Als Extremfälle ergeben sich die von P. Civin, bzw. B. v. Sz. Nagy gegebenen Verallgemeinerungen des Bernsteinschen, bzw. Bohr-Favardschen Satzes auf Derivierte, bzw. Integrale gebrochener Ordnung.