General inequalities for Stieltjes integrals and the convergence of Fourier series. (Q2596037)

Ersetzt man in der \textit{N. Wiener}schen Definition der totalen Variation \(p\)-ter Ordnung (vgl. \textit{L. C. Young}, Acta math., Uppsala, 67 (1936), 251-282; JFM 62.0250.*) \(u^p\) durch eine beliebige, in \(0\leqq u<+\infty \) von Null bis \(+\infty \) stetig wachsende Funktion \(\varPhi (u)\), so erhält man die totale \(\varPhi \)-Variation. Notwendig und hinreichend dafür, daß die totale \(\varPhi \)- Variation von \(f(x)\) auf \([x', x'']\) kleiner als \(P\) sei, ist die Existenz einer nicht-fallenden Funktion \(\omega (x)\), so daß \(|\,\varDelta f\,|\leqq \varPhi ^{-1}(\varDelta \omega )\), d. h. \[ |\,f(x+\varDelta x)-f(x)\,|\leqq \varPhi ^{-1}\,\bigl(\omega (x+\varDelta x)-\omega (x)\bigr), \] und \(\omega (x'')-\omega (x')<P\). In ähnlicher Weise wird erklärt, wann eine Funktion \(F(x, y)\) von zwei Veränderlichen beschränkte totale \(\varPhi \)- und \(\varPsi \)-Bivariation besitzt. Es wird allgemein das Bestehen von Ungleichungen der Form \[ |\,\varDelta f\,|\leqq \lambda (\varDelta \omega ),\;\;\text{und}\;\;|\,\varDelta _x\varDelta _yF\,|\leqq \lambda (\varDelta _x\omega )\cdot \mu (\varDelta _y\chi) \] bei zwei Veränderlichen, untersucht, wobei \(\lambda (u)\), \(\mu (u)\) in \(u\geqq 0\) steigende Funktionen sind mit \(\lambda \to 0\), \(\mu \to 0\) für \(u\to 0\); es zeigt sich, daß dann die einseitigen Grenzwerte von \(f(x)\) und von \(F(x, y)-F (x, b) - F(a, y)\) existieren. Es seien \([\alpha _r, \beta _r]\) endlichviele (nicht notwendig fremde) Intervalle; in jedem dieser Intervalle seien \(f(x)\) und \(g(x)\) erklärt, und zwar \(f(x)\) als Treppenfunktionen und \(g(x)\) so, daß die einseitigen Grenzwerte existieren, und es gelte \(|\,\varDelta f\,|\leqq \lambda (\varDelta \omega )\), \(|\,\varDelta g\,|\leqq \mu (\varDelta \chi)\). Wählt man \(\gamma _r\) mit \(\alpha _r\leqq \gamma _r\leqq \beta _r\) und setzt \[ A=\textstyle \sum\limits_{r}\bigl(\omega (\beta _r)-\omega (\alpha _r)\bigr),\;\;\;B=\sum\limits_{r}\bigl(\chi(\beta _r)-\chi(\alpha _r)\bigr), \] so besteht die Ungleichung \[ \textstyle \sum\limits_{r}\Biggl|\,\textstyle \int\limits_{\alpha _r}^{\beta _r}\bigl(f(x)-f(\gamma _r)\bigr)\,dg(x)\,\Biggr|\leqq K\cdot \sum\limits_{n=1}^{\infty }\lambda \biggl(\dfrac{A}{n}\biggr)\,\mu \biggl(\dfrac{B}{n}\biggr) \] mit einer absoluten Konstanten \(K\); das Stieltjes-Integral ist in einem dem Moore-Pollardschen verwandten Sinne zu nehmen. Diese Ungleichung wird in gewisser Weise verschärft für den Fall, daß \(\lambda \) überdies stetig und konkav ist. Eine analoge Ungleichung wird auch für zwei Veränderliche bewiesen; das hierbei auftretende Integral ist ein Stieltjes-Doppelintegral im Fréchetschen Sinne. In Anwendung dieser Ungleichungen werden die Resultate der oben angeführten Arbeit verallgemeinert: Beschränkte \(\varPhi \)- bzw. \(\varPsi \)-Variation der Funktion \(f\) bzw. \(g\) in \([x', x'']\) ist, falls \(\sum\limits_{n=1}^{\infty }\varPhi ^{-1}\biggl(\dfrac{1}{n}\biggr)\,\varPsi ^{-1}\biggl(\dfrac{1}{n}\biggr)\) endlich, hinreichend für die Existenz von \(\int\limits_{x'}^{x''}fdg\). Unter den gleichen Voraussetzungen gilt ein Satz über gleichmäßige Annäherung von \(\int fdg\) durch endliche Summen; ferner ist hinreichend für die Existenz von \(\int fdg\) (I) im Riemannschen Sinne, daß \(f\) und \(g\) keine gemeinsamen Unstetigkeitsstellen haben, (II) im Moore-Pollardschen Sinne, daß \(f\) und \(g\) keine gemeinsamen einseitigen Unstetigkeitsstellen besitzen. Auch der in genannter Arbeit bewiesene Satz über gliedweise Integration wird verallgemeinert. Durch Hinzunahme der Konvexität von \(\varPhi \) erfahren diese Sätze gewisse Modifikationen. Für Fréchetsche Stieltjes-Doppelintegrale wird Analoges über Existenz, Approximation und gliedweise Integration ausgesagt. Für Fourierreihen ergibt sich: (I) Ist \(f(x)\) von beschränkter \(\varPhi \)-Variation mit \(\varPhi (u)=\exp\,(-u^{-\alpha })\) für hinreichend kleine \(u\), so konvergiert die Fourierreihe von \(f(x)\) gegen \(\frac{1}{2}\;\{f(x+0)+f(x-0)\}\) sofern \(\alpha <\frac{1}{2}\). (II) Hat \(f_i\) die Periode \(2\pi \), die Fourierkoeffizienten \(a_n^{(i)}\), \(b_n^{(i)}\) und beschränkte \(\varPhi _i\)-Variation, \(i=1\), 2, und gibt es steigende Funktionen \(\varrho _i(u)\), \(i = 1\), 2, mit \(\varrho _1\,(u)\,\varrho _2\,(u)=u\), so daß \(\sum\limits_{n=1}^{\infty }\varrho _i\,\bigl(n^{-1}\,(\log\,n)^{1+\varepsilon}\bigr) \,\varPhi _i^{-1}\biggl(\dfrac{1}{n}\biggr)\) endlich ist, \(i=1\), 2, so konvergiert \[ \textstyle \sum\limits_{n=1}^{\infty }\pi n\, \displaystyle \begin{vmatrix}\,&\\ a_n^{(1)}&b_n^{(1)}\\ a_n^{(2)}&b_n^{(2)}\end{vmatrix}\;\;\text{gegen}\textstyle \int\limits_{-\pi }^{+\pi }\kern-2pt\frac{1}{2}\,\{f_1(x+0)+f_1(x-0)\}\,df_2(x). \] (IV 3 D.)