Inequalities connected with binary derivation, integrated Lipschitz conditions and Fourier series. (Q2604656)

Ist \(F(u)\) für \(u > 0\) definiert, so heißt (\(h > 0\)) \[ F_{\{h\}}= \lim_{\nu \to \infty} \left\{F\left(\frac h{2^\nu}\right)-F(0)\right\}\frac{2^\nu}h \] die binäre Ableitung von \(F\) in \(u=0\). -- Sind \(f\) und \(g\) \textit{Lebesgue}-integrable Funktionen mit der Periode \(\varLambda\), so heißt \[ F(t) = \frac 1\varLambda\int\limits_0^\varLambda f(x+t)g(x)\,dx \] die Faltung von \(f\) und \(g\). Für \(n = 1\), 2, \dots werde gesetzt: \[ S_n(x) = \frac 1\varLambda \sum_{k=1}^n f\left(x+\frac kn\varLambda\right) \left\{g\left(x+\frac kn\varLambda\right) - g\left(x+ \frac{k-1}n\varLambda\right)\right\} \] und \[ \bar S_n = \bar S_n(f,g) = \frac 1\varLambda \int\limits_0^\varLambda S_n(x)\,dx. \] Es ist \[ \bar S_n = \frac n\varLambda\left\{ F(0)-F\left(\frac \varLambda n\right)\right\}, \] und das bilineare Funktional von \(f\) und \(g\) \[ I(f,g) = \lim_{\nu \to \infty} \bar S_{2^\nu} \] unterscheidet sich bloß im Vorzeichen von einer binären Ableitung von \(F\). \(I\) kann als Verallgemeinerung eines \textit{Stieltjes}-Integrals aufgefaßt werden. Wenn \(f\), \(g\) ein \textit{Stieltjes-Riemann}-Integral besitzen, so ist es gleichet \(\varLambda \cdot I(f,g)\). \(I\) wird daher auch in der Gestalt \(\dfrac 1\varLambda \int\limits_{(\varLambda)} f(x)\,dg(x)\) geschrieben. \textit{Satz}. Für die binären Werte \(u=\dfrac h{2^\nu}\) (\(h > 0\), \(\nu=1, 2, \ldots\)) sei \[ \frac 1{2u^2}|F(2u) -2F(u) + F(0)| \leqq \varphi(u), \] wo \(u^2\varphi(u)\) monoton zunehmend und \(\varphi(u)\) integrabel ist. Dann existiert die binäre Ableitung von \(F\) für \(h\), und es ist \[ \left|\frac{F(h)-F(0)}h - F_{\{h\}}\right|\leqq \int\limits_0^h \varphi(u)\,du. \] Gebraucht wird in der Folge meist der in diesem Satz enthaltene Spezialfall: Wenn \(f\), \(g\) die Periode \(\varLambda\) haben, ihre Faltung überall endlich und für \(0 < h \leqq\frac 12 \varLambda\) \[ \left\{\frac 1\varLambda \int\limits_0^\varLambda|f(x+h) -f(x)|^p\,dx\right\}^{\tfrac 1p} \leqq \varphi_1(h), \left\{\frac 1\varLambda \int\limits_0^\varLambda|g(x+h) -g(x)|^{p'}\,dx\right\}^{\tfrac 1{p'}} \leqq \varphi_2(h) \] \(\left(p>0, \;p' >0, \;\dfrac 1p+\dfrac 1{p'}=1\right)\) ist, wo \(\varphi_1(u) \cdot \varphi_2(u)\) für \(u \geqq 0\) monoton wächst und \(\dfrac {\varphi_1(u)\varphi_2(u)}{u^2}\) rechts von \(u = 0\) integrabel ist, so existiert \(I(f,g)\), und es ist \[ |I(f,g)|\leqq \int\limits_0^\varLambda \frac{\varphi_1(u)\varphi_2(u)}{2u^2}\,du. \] Mit Lip \((\tilde \alpha;p)\) wird die Klasse aller Funktionen \(f\) von \(L_p\) mit der Periode \(\varLambda\) bezeichnet, die für \(0 < h \leqq \frac 12 \varLambda\) die Bedingung \[ \left\{\frac 1\varLambda \int\limits_0^\varLambda|f(x+h) -f(x)|^p\,dx\right\}^{\tfrac 1p} \leqq K\tilde \alpha(h) \] erfüllen, wo \(p \geqq 1\), \(\tilde \alpha(u)\) monoton wachsend und \(K\) eine von \(f\) abhängige Konstante ist. \textit{Satz}. Wenn \(f\prec \) Lip \((\tilde \alpha;p)\) und für ein \(q\geqq p\) das Integral \[ \int \tilde \alpha(u)u^{\tfrac 1q - \tfrac 1p-1}du \] bei \(u= 0\) konvergiert, so gehört \(f\) zu \(L_q\). Für \(\tilde \alpha(u) = u^\alpha\) wurde dies von \textit{Hardy} und \textit{Littlewood}, Math. Z. 27 (1928), 565-606 (F. d. M. 54, 275 (JFM 54.0275.*)) bewiesen. Mit den hier entwickelten Methoden erhält man neue Beweise für Resultate über die Konvergenz von \textit{Fourier}reihen und \textit{Fourier}integralen von Funktionen mit beschränkter Variation \(p\)-ter Potenz, die vom Verf. in Acta Math., Uppsala, 67 (1936), 251-282 (JFM 62.0250.*) und C. R. Acad. Sci., Paris, 204 (1937), 470-472 (JFM 63.0182.*) hergeleitet wurden. (IV 3 B, 8 A.)