Trigonometrische Reihen und Potenzreihen mit mehrfach monotoner Koeffizientenfolge. (Q2607480)

Die Besprechung kann nur einen Teil der wesentlichen Resultate nennen, die in der vorliegenden Arbeit zum Teil in überaus einfacher Weise geliefert werden. \[ a_0 + a_1 + \cdots + a_n + \cdots \tag{1} \] sei eine gegebene unendliche Reihe; die Folgen \[ s_n^0 = \sum_{\nu = 0}^n a_\nu, \quad s_n^1 = \sum_{\nu = 0}^n s_\nu^0, \dots \qquad (n =1,2, \dots) \] werden die Teilsummen nullter, erster, \(\dots\) Ordnung von (1) genannt. Sind die Glieder der Folge \(s_n^k\) nicht negativ (\(k\) fest), so soll die Reihe (1) von \(k\)-ter Ordnung nicht negativ heißen. Nach einigen einleitenden Bemerkungen untersucht der Verf. die aus \[ \frac {1+z}{1-z} = 1 + 2 \sum_{\nu = 1}^\infty z^\nu \quad \text{ und } \quad \frac {z}{1-z^2} = \sum_{\nu = 0}^\infty z^{2\nu+ 1} \] für \(z = re^{i\theta}\) durch Spaltung in Realteil und Imaginärteil sich ergebenden Reihen und die daraus durch gliedweise Differentiation hervorgehenden Reihen, und zwar in bezug auf die Ordnung der Positivität der Teilsummen. Zunächst wird gezeigt, daß \[ 1+ 2 \cos\, \theta + 2 \cos\, 2\theta + \cdots \] für jedes reelle \(\theta\) von erster Ordnung nicht negativ ist. Daraus folgt fast ohne Rechnung, daß alle die genannten Reihen in geeignet gewählten Intervallen von bestimmter Ordnung nicht negativ oder nicht positiv sind (eine Ausnahme macht lediglich die Ableitung der Realteilreihe von \(\sum\limits_{\nu = 0}^\infty z^{2\nu + 1}\)); z.B. ergibt sich, daß \[ \sin\, \theta + \sin\, 2\theta + \sin\, 3\theta + \cdots \] für \(0 < \theta < \pi\) entschieden positiv, für \(\pi < \theta < 2\pi\) entschieden negativ von erster Ordnung ist und daß \[ \sin\, \theta + 2 \sin\, 2\theta + 3 \sin\, 3\theta + \cdots \] für \( 0 < \theta < \pi\) von der dritten Ordnung positiv ist. Dann wird nach der Positivität und Monotonie von Funktionen gefragt, die durch trigonometrische Reihen mit ein- oder mehrfach monotoner Koeffizientenfolge dargestellt sind. Für die Cosinusreihe \[ f(\theta) = \frac {\alpha_0}2 + \sum_{n=1}^\infty \alpha_n \cos n \theta \tag{2} \] wird bewiesen: Ist \(\alpha_n\) eine zweifach monotone Nullfolge (die Reihe (2) konvergiert dann in \(0 < \theta < 2\pi\) nach einem Satz von \textit{Schlömilch}), so ist \(f (\theta)\) in \(0 < \theta < 2\pi \) nicht negativ, und wenn außerdem \(\varDelta^2 \alpha_0 > 0\) ist, so ist \(f(\theta)\) in demselben Intervall sogar positiv, und es gilt \[ f(\theta ) \geqq \frac {\varDelta^2 \alpha_0}2. \] Unter der Voraussetzung, daß \((\alpha_n)\) eine vierfach monotone Nullfolge ist, folgt sogar, daß \(f(\theta )\) in \(0 < \theta < \pi\) monoton abnimmt. Und für die Sinusreihe \[ g(\theta) = \sum_{\nu=1}^\infty c_\nu \sin\, (2\nu -1)\,\theta, \] deren Koeffizientenfolge \((c_\nu)\) als monoton abnehmende Nullfolge vorausgesetzt ist, ergibt sich: Bei jedem \(a > 0\) gibt es in \((0, a)\) Stellen, in denen \(g(\theta)\) positiv ist. Die gegebenen Sätze werden nun angewendet, um Aufschluß zu gewinnen über die Lage der Nullstellen von trigonometrischen Restreihen mit ein- oder mehrfach monotoner Koeffizientenfolge. Dabei wird gezeigt: Ist \((c_\nu )\) eine monoton fallende Nullfolge, so konvergiert die Reihe \[ g (\theta) = \sum_{\nu = 0}^\infty c_\nu \sin\, (n + 2\nu + 1) \,\theta \tag{3} \] in \(0 < \theta < \pi\), und ihre Summe ist eine daselbst stetige Funktion; \(g (\theta)\) hat in \(0 < \theta < \pi\) mindestens \(n\) Nullstellen \(t_1, \dots, t_n\) in derart, daß für \(k = 1, 2, \dots, n\) \[ (k-1) \frac \pi{n} < t_k < k \frac \pi{n} \] gilt. Ohne Schwierigkeit folgt dann aus der \textit{Heine}schen Darstellung des \(n\)-ten \textit{Legendre}schen Polynoms in Form einer Sinusreihe die \textit{Markoff-Stieltjes}sche Einschränkung der Nullstellen dieses Polynoms und die \textit{Stieltjes}sche Abschätzung für dieses Polynom selbst. Weiter ergibt sich als Abschätzung der Restreihe und der Teilsummen gewisser Potenzreihen: Wenn \((a_n)\) eine dreifach monotone Nullfolge ist, dann konvergiert \(\sum\limits_{\nu=0}^\infty a_\nu z^\nu\) für \(|z | \leqq 1\), \( z \not = 1\), und bei jedem solchem \(z\) und jedem \(n\) gilt \[ \left| \sum_{\nu = n+1}^\infty a_\nu z^\nu \right| \leqq \left| \sum_{0}^\infty a_\nu z^\nu \right| \quad \text{ sowie } \quad \left| \sum_{\nu = 0}^n a_\nu z^\nu \right| \leqq 2\left| \sum_{\nu = 0}^\infty a_\nu z^\nu \right|. \] Und schließlich wird aus der vierfachen Monotonie der Koeffizientenfolge \((c_\nu)\) einer Potenzreihe \(\sum\limits_{\nu = 1}^\infty c_\nu z^\nu\) geschlossen, daß \[ f(z) = \sum\limits_{\nu = 1}^\infty c_\nu z^\nu \] das Innere des Einheitskreises schlicht auf die Ebene abbildet. \ \ (IV 3 D; IV 4 G, H.)