Über Potenzreihen mit ganzzahligen Koeffizienten. (Q5909548)

Über die Resultate \textit{Borel}s (Darboux Bull. (2) 18, 22, 1894) und seine eigenen (Palermo Rend. 40, 1) hinaus beweist der Verf. den folgenden Satz: Es sei \(R>1\). Die analytische Funktion \(f(x)=a_0+a_1x+a_2x^2+\cdots+a_nx^n+\cdots\) sei im Kreise \(| x| \leqq R\) eindeutig und, abgesehen von einer endlichen Anzahl von singulären Stellen, regulär. Wenn die Koeffizienten \(a_0,a_1,a_2,\dots\) ihrer Potenzreihenentwicklung und den Punkt \(x=0\) ganzerationale Zahlen sind, so ist \(f(x)\) eine rationale Funktion. Aus diesem Satze folgen mancherlei Korollare, z. B. das folgende: Die ganzen Funktionen \(g_1(z),g_2(z),\dots,g_n(z)\) sollen den Minimaltypus der Ordnung 1 nicht übertreffen (Typus \(e^{\varepsilon r}\)) und die Zahlen \(c_1,c_2,\dots,c_n\) sollen alle voneinander und von Null verschieden sein. Wenn die ganze Funktion \(g_1(z)c_1^z+g_2(z)c_2^z+\cdots+g_n(z)c_n^z\) für \(z=0,1,2,3\dots\) ganze rationale Zahlenwerte annimmt, so sind die Funktionen \(g_1(z),g_2(z)\dots,g_n(z)\) ganze rationale Funktionen und die Zahlen \(c_1,c_2,\dots,c_n\) ganze algebraische Zahlen. Der Verf. formuliert ferner folgenden Satz: `` Wenn eine Potenzreihe mit ganzzahligen Koeffizienten den Konvergenzradius 1 hat, so sind nur zwei Fälle möglich: entweder ist die dargestellte Funktion rational oder sie ist über den Einheitskreis hinaus nicht fortsetzbar'', und legt das Problem vor, über Wahrheit oder Falschheit des ausgesprochenen Satzes zu entseheiden.