Remarks on the theory of conjugate functions. (Q565546)

Es sei \(\omega (z)=u(z)+iv(z)\) für \(| z| <1\) regulär und \(\omega (0)=0\). Es wird der folgende Satz bewiesen: Für \(0<q<1,0<r<1\) ist \[ \frac {1}{2\pi }\int \limits _{-\pi }^{\pi } | v(re^{i\vartheta })| d\vartheta \leqq A_q\left ( \frac {1}{2\pi }\int \limits _{-\pi }^{\pi } | u(re^{i\vartheta })| d\vartheta \right ) ^q+ \] \[ +\frac {c}{q}\int \limits _{-\pi }^{\pi }| u(re^{i\vartheta })| \log \left ( \frac {| u(re^{i\vartheta })| }{q}+1\right ) d\vartheta, \] wobei \(c\) eine numerische und \(A_q\) eine nur von \(q\) abhängige Konstante ist, \(A_q=O(\topsmash {\dfrac {1}{1-q}})\) für \(q\to 1\). Dieser Satz ergänzt frühere ähnliche Ungleichungen zwischen allgemeineren Mittelverden von \(| u| \) und \(| v| \) (\textit{M. Riesz}, 1927; F. d. M. 53, 259 (JFM 53.0259.*). \textit{Hardy}, 1928; F. d. M. 54, 222 (JFM 54.0222.*)). Aus dem obigen Satze folgt sodann das nachstehende Ergibnis für \textit{Fourier}\-reihen, das entsprechend die aus den genannten ähnlichen Ungleichungen folgenden Sätze ergänzt: \(f(\vartheta )\) sei eine \(L\)-integrierbare Funktion der Periode \(2\pi \) und außerdem sei \(f\overset {+} {\log }| f| \) \(L\)-integrierbar. Dann ist auch die konjugierte Funktion \(\widetilde f (\vartheta )\) \(L\)-integrierbar, und es gilt \[ \frac {1}{2\pi }\int \limits _{-\pi }^{\pi } | \widetilde f (\vartheta )| d\vartheta \leqq A_q\left ( \frac {1}{2\pi }\int \limits _{-\pi }^{\pi } | f(\vartheta )| d\vartheta \right ) ^q+ \frac {c}{q}\int \limits _{-\pi }^{\pi }| f(\vartheta )| \log \left ( \frac {| f(\vartheta )| }{q}+1\right ) d\vartheta, \] \[ 0<q<1. \] Ferner ist für \(n\to \infty \) \[ \int \limits _{0}^{2\pi }| s_n(\vartheta )-f(\vartheta )| d\vartheta \to 0, \quad \int \limits _{0}^{2\pi }| \tilde s _n(\vartheta )-\tilde f(\vartheta )| d\vartheta \to 0, \] wo \(s_n(\vartheta )\) bzw. \(\tilde s_n(\vartheta )\) den \(n\)-ten Abschnitt der \textit{Fourier}reihe von \(f(\vartheta )\) bzw. \(\tilde f(\vartheta )\) bezeichnet. (Vgl. \textit{M. Riesz I. c. Kolmogoroff} 1925; F. d. M. 51, 216 (JFM 51.0216.*); \textit{Zygmund} 1929, 1932; F. d. M. \(55_{\text{II}}\), 751; \(58_{\text{I}}\), nachstehendes Referat). (IV 4. )