Sur la moyenne arithmétique des coéfficients d'une série de Taylor. (Q1439455)

Verf. behandelt für eine in \(| z |<1\) reguläre analytische Funktion \[ f (z) = \sum_{\nu = 1}^\infty a_\nu z^\nu \] die Beziehungen zwischen dem Verhalten von \[ \varphi_n (\theta) = \frac 1n \sum_{\nu = 1}^n a_\nu e^{\nu \theta i} \quad \text{bei } \quad n \to \infty \] und dem Verhalten von \[ \varphi_r(\theta) = (1 - r) f (re^{\theta i}) \quad \text{ bei } \quad r \to 1. \] Aus dem \textit{Hilfssatz}: Bei reellen \(a_\nu\) und \[ f(r) = \sum_{\nu = 1}^\infty a_\nu r^\nu \] gilt \[ \varliminf_{n \to \infty}\frac 1n \sum_{\nu = 1}^n a_\nu \leqq \varliminf_{r \to 1} (1-r)f(r) \leqq \varlimsup_{r \to 1}(1-r)f(r) \leqq \varlimsup_{n \to \infty}\frac 1n \sum_{\nu = 1}^n a_\nu, \] wird die bekannte Tatsache gefolgert, daß die Existenz von \(\lim\limits_{n \to \infty} \varphi_n (\theta)\) die Existenz von \(\lim\limits_{r \to 1} \varphi_r (\theta)\) nach sich zieht. Im Anschluß an \textit{R. Schmidt} (1925; F. d. M. 51, 182 (JFM 51.0182.*)-184) stellt der Verf. das \textit{Theorem} (1) auf: Aus der Existenz von \[ \lim_{r \to 1} (1 - r) \sum_{\nu = 1}^\infty a_\nu r^\nu = a \] folgt die Existenz von \[ \lim_{n\to\infty} \frac 1n \sum_1^n a_\nu = a, \] wenn \[ \varlimsup_{n \to \infty} \frac 1n \left| \sum_{n(1-\delta)}^{n(1+\delta)}a_\nu \right| = \varphi (\delta) \to 0 \quad \text{ für } \delta \to 0 \] gilt. Der Verf. beweist mit Hilfe von Theorem (1), daß bei \[ \frac 1n \sum_{\nu = 1}^n |a_\nu|^2 = O (1) \] aus der Existenz von \(\lim\limits_{r \to 1} \varphi_r (\theta)\) die Existenz von \(\lim \limits_{n \to \infty} \varphi_n (\theta)\) folgt, wobei die Grenzwerte übereinstimmen. Mit dem obigen Hilfssatz wird gezeigt, daß aus \[ \begin{matrix} \dfrac 1n \sum_{1}^n |a_\nu|^2 = O (1), \\ (1-r) \int\limits_0^{2\pi} |f(re^{\theta i})|^2\, d\theta = O(1) \end{matrix} \] bei \(r \to 1\) folgt. Unter Benutzung eines Satzes von \textit{H. Weyl} (1916; F. d. M. 46, 278 (JFM 46.0278.*)-280) gewinnt der Verf. das \textit{Theorem} (2): Wenn \[ (1-r) \int\limits_0^{2\pi} |f(re^{\theta i})|^2\, d\theta = O(1) \] für \(r\to 1\) erfüllt ist, so gilt \(\varphi_r (\theta) \underset{r\to 1} {\longrightarrow} 0\) für alle \(\theta\), ausgenommen höchstens eine Menge vom Maße 0. Auf Grund der obigen Betrachtungen kann man Theorem (2) folgendermaßen aussprechen : Wenn \( \dfrac 1n \sum\limits_1^n |a_\nu|^2 = O(1)\) für \(n \to \infty \) gilt, so ist \(\varphi_n (\theta) \underset{n\to\infty}{\longrightarrow} 0\) für alle \(\theta\), ausgenommen höchstens eine Menge vom Maße 0. Der Verf. beweist dann das \textit{Theorem} (3): Wenn \[ (1 - r) \int\limits\limits_0^{2\pi} | f(re^{\theta i} )|^2 \, d \theta = O(1) \quad \text{ für} \quad r \to 1 \] gilt und \[ \varphi (\theta) = \lim_{r \to 1} (1-r) f(re^{\theta i} ) \] für alle \(\theta\) existiert, so ist \(\varphi (\theta) = 0\) für alle \(\theta\) mit Ausnahme einer höchstens abzählbaren Menge. Auch hier kann man analog wie bei Theorem 2 einen entsprechenden Satz für die Folge \(\varphi_n (\theta) = \dfrac 1n \sum\limits_1^n a_\nu e^{\nu \theta i}\) aufstellen. Zum Schluß behandelt der Verf. einen Spezialfall, in dem \(\varphi(\theta)\) für alle \(\theta\) existiert. \ \ (IV 2.)