Theorems on Fourier series and power series. II, III. (Q2602274)

Teil I, eine Angabe der Resultate, ist in J. London math. Soc. 6 (1931), 230-233 erschienen und in JFM 57.0318.* besprochen. {\boldkey II.} Diese wichtige und schwierige Arbeit enthält Ergebnisse und Methoden von größtem Interesse. Es sei gesetzt: \[ \begin{aligned} f(\theta) & = \dfrac{a_0}{2} + \sum\limits_n a_n\cos\, n\theta + b_n\sin\, n\theta), \;z=\varrho e^{i\theta}; \\ \varphi(z) & = \dfrac{a_0}{2} + \sum\limits_n \varrho^n(a_n\cos\, n\theta + b_n\sin\, n\theta) \\ & \phantom{ = \dfrac{a_0}{2}} + i\sum\limits_n \varrho^n(-b_n\cos\, n\theta + a_n\sin\, n\theta); \\ g^2(\theta) & = \int\limits_0^1 (1-\varrho)|\varphi'(\varrho e^{i\theta})|^2 d\varrho; \\ P(\varrho, \theta) & = \dfrac{1-\varrho^2}{1-2\varrho\, \cos\, \theta + \varrho^2}; \\ X^2(\varrho, \theta) & = \dfrac{1}{2\pi}\int\limits_{-\pi}^\pi |\varphi'(\varrho e^{i(\theta +t)})|^2 P(\varrho, t) dt; \\ g^{*2}(\theta) & = \int\limits_0^1 (1-\varrho)X^2(\varrho, \theta)\, d\varrho; \\ \beta >\alpha >0, & \;\;(1+\alpha)\nu_n\leqq\nu_{n+1}\leqq (1+\beta)\nu_n; \\ \Delta_n & = \sum\limits_{p=\nu_n}^{\nu_{n+1}-1} (a_p\,\cos\, p\theta + b_p\,\sin\, p\theta ); \end{aligned} \] dann gilt für \(p > 1\) \[ \begin{gathered} A(p,\alpha,\beta)\int\limits_0^{2\pi}\left(\sum\Delta_\nu^2 \right)^\tfrac{p}{2}d\theta\leqq \int\limits_0^{2\pi}|f|^pd\theta\leqq B(p,\alpha,\beta)\int\limits_0^{2\pi}\left(\sum\Delta_\nu^2 \right)^\tfrac{p}{2}d\theta\\ \text{mit } A>0, \;B<\infty. \end{gathered} \] Wenn \(f\in L^p (p > 1)\), so stellt jede der Reihen \[ \sum \pm\Delta_\nu \] ebenfalls eine Funktion der Klasse \(L^p\) dar. Endlich gilt \[ \begin{gathered} A(p)\int\limits_0^{2\pi}|g(\theta)|^pd\theta\leqq \int\limits_0^{2\pi}|f|^pd\theta\leqq B(p)\int\limits_0^{2\pi}|g(\theta)|^pd\theta \\ \text{mit } A>0, \;B<\infty, \\ \int\limits_0^{2\pi}g^{*2k}d\theta\leqq A_k\int\limits_0^{2\pi}|f|^{2k}d\theta \\ (k \text{ ganz positiv}, A<\infty). \end{gathered} \] Die Einführung der Funktionen \(g\) und \(g^*\) gibt das Band zwischen der Funktion \(\varphi(z)\) auf dem Konvergenzkreis und in seinem Inneren. Die beiden ersten Sätze sind tiefliegende Folgerungen der Beziehungen zwischen \(f, g\) und \(g^*\). Zu ihrer Untersuchung benutzen die Verf. den Maximumsatz von \textit{Hardy} und \textit{Littlewood} (Acta math., Uppsala, 54 (1930), 81-116; JFM 56.0264.*) und die Differentialgleichung, der das Quadrat des Absolutbetrages einer regulären Funktion genügt. {\boldkey III.} Es sei \[ \begin{gathered} f = \sum A_\nu (\theta), \;A_\nu = a_\nu\,\cos\,\nu\theta + b_\nu\,\sin\,\nu\theta, \;f\in L^r, \;r>1, \\ S_n = \sum\limits_1^n A_\nu, \;(1+\alpha)\nu_n < \nu_{n+1} < (1+\beta)\nu_n, \;\;S(\theta) = \max\limits_\nu |S_{n_\nu}(\theta)| \end{gathered} \] Dann gilt: \quad \(\int\limits_0^{2\pi}S^r(\theta)\, d\theta\leqq A(r, \alpha, \beta)\int\limits_0^{2\pi}|f|^r\, d\theta\). \noindent Ist ferner \[ \begin{gathered} 1< p\leqq 2; \;\;S_n^*(\theta) = \sum\limits_{\nu =0}^n\lambda_\nu A_\nu (\theta); \;\;\lambda_m = \log\{m+2\}^{-\tfrac{1}{p}}; \\ T(\theta) = \max\limits_n |\lambda_nS_n(\theta)|; \;T^*(\theta) = \max S_n^*(\theta), \end{gathered} \] so gilt: \[ \int\limits_0^{2\pi}T^p\, d\theta\leqq A(p)\int\limits_0^{2\pi}|f|^p\, d\theta; \;\int\limits_0^{2\pi}T^{*p}\, d\theta\leqq A(p)\int\limits_0^{2\pi}|f|^p\, d\theta; \] endlich gilt für \[ \begin{gathered} f\in L^q, \;q\geqq 2; \;Q(\theta) = \max\limits_n |l_n\delta_n(\theta)|, \\ Q^*(\theta) = \max\limits_n\sum\limits_1^n l_nA_n(\theta); \;l_n = \log (n+2)^{\tfrac{1}{q}-1}: \\ \int\limits_0^{2\pi}Q^q(\theta)\, d\theta\leqq A_q\int\limits_0^{2\pi}|f|^q\, d\theta; \;\;\int\limits_0^{2\pi}Q^{*q}(\theta)\, d\theta\leqq A_q\int\limits_0^{2\pi}|f|^q\, d\theta. \end{gathered} \] Das erste Theorem ist bekannt für \(r = 2\). Der Beweis für den Allgemeinfall ist sehr viel schwieriger zu führen. Es werden im wesentlichen die Ergebnisse der beiden früheren Arbeiten benutzt. Die letzten beiden Theoreme sind auch bekannt für \(p = 2; q = 2\). Hier reichen für den Beweis des allgemeinen Falls die früheren Ergebnisse nicht aus.