On the singularities of an analytic function. (Q2612023)

Es sei \[ f(z)=\sum_{n=0}^\infty a_nz^n \] ein Funktionselement vom Konvergenzradius 1. Als einfache Verallgemeinerungen bekannter Kriterien von \textit{Pringsheim} und \textit{Hadamard} für das Auftreten eines Pols erster Ordnung der Funktion \(f(z)\) am Bande des Konvergenzkreises beweist Verf: (1) Notwendig und hinreichend dafür, daß \(z=1\) ein Pol \(m\)-ter Ordnung von \(f(z)\) ist, und daß \(f(z)\) auf \(|z|=1\) keine weitere Singularität besitzt, ist die Existenz eines Polynoms \(g(x)\) vom Grade \(m-1\), für das die Größen \(A_n=\dfrac{a_n}{g(n)}\) die Beziehung erfüllen: \[ \limsup_{n\to\infty}| A_{n+1} - A_n|^{\tfrac1n} < 1. \] (2) Notwendig und hinreichend dafür, daß \(f(z)\) auf \(|z|=1\) genau einen Pol \(m\)-ter Ordnung und keine weitere Singularität besitzt, ist die Existenz eines Polynoms \(g(x)\) vom Grade \(m-1\), für das die Größen \(A_n = \dfrac{a_n}{g(n)}\) die Beziehung erfüllen: \[ \limsup_{n\to\infty}|A_n^2-A_{n-1}A_{n+1}|^{\tfrac1n}<1. \] Endlich wird noch der folgende Satz über Grenzwerte bewiesen, von dem spezielle Fälle für die Herleitung der zitierten Kriterien von Bedeutung sind: Ist \(\limsup\limits_{n\to\infty}|a_n|^{\tfrac1n}=1\), so ist für das Bestehen der Beziehung \(\lim\limits_{n\to\infty}\dfrac{a_{n+1}}{a_n}=1\) notwendig und hinreichend die Existenz einer Folge komplexer Zahlen \(\lambda_n\) mit \(\lim\limits_{n\to\infty}\lambda_n=1\) und \(\limsup\limits_{n\to\infty}| a_{n+1}-\lambda_na_n|^{\tfrac1n}<1\).