On a power series which has only algebraic singularities on its convergence circle. IV. (Q1440998)

Die Arbeit befaß\ t sich mit den Partialsummen \[ f_n(x)=\sum_{\nu=0}^n a_\nu x^\nu \] einer Potenzreihe \[ f(x)=\sum_{\nu=0}^\infty a_\nu x^\nu,\;\overline{\lim_{\nu \to \infty}} \root \nu\of{| a_\nu|}=1, \] die auf ihrem Konvergenzkreis nur algebraische Singularitäten \(\frac{1}{\omega_r}(r=1,2,\dots,s)\) hat, die also in der Umgebung von eine Entwicklung der Form \[ f(x)=c_r(1-\omega_rx)^{\frac{m_r}{p_r}} +c_r^{(1)} (1\omega_rx)^{\frac{m_r+1}{p_r}}+\cdots +\sum_{n=0}^\infty \alpha_n x^n \] \((c_r \neq 0\); \(m_r,p_r\), ganz, \(p_r>0\); \(\frac{m_r}{p_r} \neq 0,1,2,\dots; \overline{\lim_{n \to \infty}} \root n\of {| \alpha|}<1)\) zuläßt. \(-\frac{m_r}{p_r}\) heiß\ t die Ordnung von \(\frac{1}{\omega_r}\) und \(\lambda=\text{Max}\left(-\frac{m_1}{p_1},\dots,-\frac{m_s}{p_s} \right)\) die Ordnung von \(f(x)\) auf \(| x|=1\); endlich sei \(k\) die Zahl der Singularitäten von der Ordnung \(\lambda\) auf \(| x|=1\). 1. Außerhalb \(| x|=1\) gilt \(\lim_{n \to \infty} f_n(x)=\infty\) für alle Punkte \(x\), ausgenommen höchstens eine Menge vom ``linearen Maß'' Null (d. h. die Menge kann mit abzählbar vielen Kreisen so überdeckt werden, daß\ die Summe ihrer Radien beliebig klein ist). Ist \(\lambda>1\), so gilt auch \(\lim_{n \to \infty} f_n(x)=\infty\) gleichmäßig im Durchschnitt von \(| x|\geqq 1\) und \(a \leqq \left| x-\frac{1}{\omega_r} \right| \leqq A\) (\(A\) hinreichend klein; \(0<a<A\)), falls \(\frac{1}{\omega_r}\) von der Ordnung \(\lambda\) ist. Vgl. auch \textit{Matsumoto}, 1927; F. d. M. 53, 301 (JFM 53.0301.*), und \textit{Shimizu}, Journal Phys.-Math. Soc. of Japan 1 (1928), 312-318; F. d. M. \(55_{\text{II}}\). 2. Was das Verhalten der \(f_n(x)\) auf \(| x|=1\) betrifft, so gilt, falls \(\lambda>1\) ist, \[ (\text{a})\quad \lim_{n \to \infty} \{| f_n(x)|+| f_{n+1}(x)| +\cdots+| f_{n+k-1}(x)|\}=\infty \] gleichmäßig auf jedem regulären Bogen von \(| x|=1\) und \[ (\text{b})\quad \lim_{n \to \infty} \{| f_n(x_1)| +| f_n(x_2))|+\cdots +| f_n(x_k)|\}=\infty \] für irgend \(k\) reguläre Punkte \(x_1,x_2,\dots,x_k\) auf \(| x| = 1\). Aus diesen Abschätzungen werden eine Reihe von Schlüssen über das Verhalten der \(f_n(x)\) auf \(| x|=1\) gezogen. 3. Über die Nullstellen der \(f_n(x)\) außerhalb \(| x|=1\) wird bewiesen, daß\ ihrer für genügend großes \(n\) außerhalb \(| x|=r,(r>1)\), höchstens \(k-1\) liegen und daß\ in dieser Abschätzung \(k1\) durch keine kleinere Zahl ersetzt werden kann. Ist weiter \(E\) die Ableitungsmenge der Wurzeln der \(f_n(x)=0\) außerhalb \(| x|=1\), und ist \(D\) ein endliches Gebiet außerhalb \(| x|=1\), das von \(| x|=1\) und \(E\) einen positiven Abstand hat, so gilt \(\lim_{n \to \infty}f_n(x)=\infty\) gleichmäßig in \(D\). -- Die Ableitungsmengen der Wurzeln von \(f_n'(x)=0\) und \(\int^x f(x)dx=0\) außerhalb \(|x|=1\) sind je mit \(E\) identisch. -- Unter gewissen Voraussetzungen über die Lage der Singularitäten der Ordnung \(\lambda\) auf \(| x|=1\) lassen sich über \(E\) genauere Aussagen machen. 4. Was die Verteilung der Nullstellen von \(f_n(x)=0\) in der Nachbarschaft von \(| x|=1\) betrifft, so sei \(N(\theta)\) die Zahl der Wurzeln von \(f_n(x)=0\) in \[ 1-\varepsilon_1<| x|<1+\varepsilon_2,\;\theta_0 <\text{arg}x<\theta_0+\theta \] \[ (0 \leqq \theta_0 <2\pi; \varepsilon_1,\varepsilon_2 \;\text{beliebige, aber feste positive Zahlen}). \] Es gilt dann \(\lim_{n \to \infty} \frac{N(\theta)}{n}=\frac{\theta}{2\pi}\). Aus diesem Resultat, das noch verschärft wird, zieht der Verf. weitere Schlüsse über die Lage der Wurzeln der \(f_n(x)=0\). Vgl. auch \textit{Carlson}, 1924; F. d. M. 50, 223-224.