Intorno agli zeri di alcune classi di funzioni analitiche. (Q2614656): Difference between revisions

Anschließend an die Sätze von \textit{Fejér, Berwald}, \textit{Segre} und Ref. (1929; JFM 55.0074.*. 1933; JFM 59.0121.*-123. 1934; JFM 60.0062.*-63. 1931; JFM 57.0128.*) beweist Verf. eine Reihe gleichgearteter Sätze über reelle Potenzreihen. Es bedeute stets \[ f(z)=\sum_{n=0}^{\infty} a_nz^n \] eine Potenzreihe mit reellen Koeffizienten; ferner sei \(a_{\nu} = 0\), wenn \(\nu<0\) gilt. (1) Es sei \(k\) eine nichtnegative ganze Zahl. Die Elemente der Folge \[ c_n=a_{k+n}+a_{k-n} \qquad (n=0,1,2,\ldots) \] seien beschränkt und nicht negativ. Ist die Folge \((c_n)\) nicht konkav (d. h. ist \(2c_n \leqq c_{n-1} + c_{n+1}\), \(n = 1, 2,\ldots\)) und eigentlich konvex für \(n\leqq k+1\) (d. h. ist \(2c_n < c_{n-1}+c_{n+1}\) für \(n=1,2,\ldots, k+1\)), so hat \(f(z)\) \(k\) Nullstellen im Innern des Einheitskreises. (Verallgemeinerung eines Satzes des Ref.) (2) Ist \[ |a_k|>\sum_{n=1}^{\infty} |a_{k+n}+a_{k-n}|, \] so hat \(f (z)\) \(k\) Nullstellen im Innern des Einheitskreises. (3) Es sei \(c_n=a_{k+n}-a_{k-n-1} \geqq 0\) (für \(n = 0, 1, 2,\ldots\)). Ist \[ c_0>c_1>\cdots>c_{k-1}\geqq c_k\geqq c_{k+1}\geqq\ldots, \] so hat \(f (z)\) entweder \(k\) oder \(k - 1\) Nullstellen im Innern des Kreises \(|z|<1\), je nachdem \(\sum\limits_{n=0}^{\infty} a_n\) positiv ist oder nicht ((2) und (3) sind Verallgemeinerungen der Sätze von \textit{Berwald}). (4) Es sei die Folge \(c_n = a_{k+n}-a_{k-n}\) (\(n=1,2,\ldots\)) beschränkt, nicht negativ, nicht konkav und konvex für \(2 \leqq n \leqq k+1\); dann hat \(f (z)\) im Innern des Einheitskreises \[ \begin{alignedat}{2}{2} k &+ 1 \text{ Nullstellen}, \text{ wenn bei radialer Näherung } & \lim\limits_{x=1} f (x) > 0,\;(- 1)^k \lim\limits_{x=-1} f (x) < 0;\\ &k \mskip65mu,\!, \mskip30mu, \mskip25mu,\!, \mskip25mu,\!,\mskip30mu,\!,\mskip60mu,\!, & \lim\limits_{x=1} f (x) > 0,\;(- 1)^k \lim\limits_{x=-1} f (x) \geqq 0;\\ & \mskip60mu \text{ oder } \mskip45mu,\!, \mskip25mu,\!,\mskip30mu,\!,\mskip60mu,\!, & \lim\limits_{x=1} f (x) \leqq 0,\;(- 1)^k \lim\limits_{x=-1} f (x) < 0;\\ k &-1 \mskip45mu,\!, \mskip30mu, \mskip25mu,\!, \mskip25mu,\!,\mskip30mu,\!,\mskip60mu,\!, & \lim\limits_{x=1} f (x) \leqq 0,\;(- 1)^k \lim\limits_{x=-1} f (x) \geqq 0. \end{alignedat} \] (5) Man kann im Satze (4) die Voraussetzung mit der folgenden vertauschen: Es sei \(c_n = n(a_{k+n} - a_{k-n}) \geqq 0\) \((n = 1, 2,\ldots)\) und \(c_1 > c_2 >\cdots > c_k\geqq c_{k+1}\geqq \cdots\). (6) Es sei die Folge \(c_n = a_{k+n} + a_{k-n-1}\) \((n = 0, 1,\ldots)\) beschränkt und nicht negativ. Ist die Folge \(d_n = c_{n+1} - c_n\) \((n= 0, 1,\ldots)\) nicht konvex und eigentlich konkav für \(n\leqq k\), so hat \(f (z)\) in dem Kreise \(|z|<1\) \[ \begin{alignedat}{2}{2} &k \mskip25mu \text{ Nullstellen}, \text{ wenn bei radialer Näherung } & (-1)^k\lim\limits_{x=-1} f (x) > 0;\\ &k -1 \mskip45mu,\!, \mskip30mu, \mskip25mu,\!, \mskip25mu,\!,\mskip30mu,\!,\mskip60mu,\!, & (-1)^k\lim\limits_{x=-1} f (x) \leqq 0. \end{alignedat} \] (7) Man kann die Voraussetzung im Satze (6) mit folgender vertauschen: Es sei \(c_n = (2n + 1) (a_{k+n} + a_{k-n-1}) \geqq 0\) \((n = 0, 1, 2,\ldots)\) und \[ c_0>c_1>\cdots > c_{k-1}\geqq c_k>c_{k+1}\cdots. \] ((4), (5), (7) sind Verallgemeinerungen der Sätze von \textit{Segre}.) Der Schluß der Arbeit behandelt verschiedene Verallgemeinerungen der vorigen Sätze. Hierbei treten gewisse aus den Koeffizienten \(a_n\) gebildete höhere Differenzen auf.