Sur les systèmes complets de fonctions analytiques. (Q2596255)

Das System der in einem endlichen, einfach zusammenhängenden, abgeschlossenen Bereich \(\mathfrak B\) analytischen Funktionen \(\varphi _n(z)\) (\(n = 0, 1,\ldots \)) heiße dort vollständig, wenn sich zu jedem \(k = 0, 1,\ldots \) und \(\varepsilon > 0\) eine Nummer \(n\) und Koeffizienten \(A_0,\ldots,A_n\) angeben lassen, so daß \[ \Bigl|\,z^k-\sum _{\nu =0}^n A_\nu\,\varphi _\nu (z)\,\Bigr|<\varepsilon \] für jedes \(z\) aus \(\mathfrak B\) ist. Dann läßt sich auf Grund des Rungeschen Satzes zu jeder im offenen Bereich \(\mathfrak B\) analytischen Funktion \(g (z)\) eine Folge linearer Aggregate der \(\varphi _n(z)\) angeben, die in jedem abgeschlossenen Teilbereich \(\mathfrak B'\) des offenen Bereichs \(\mathfrak B\) gleichmäßig gegen \(g (z)\) konvergiert. Teils durch Approximation der Potenzen \(z^k\) durch Ausdrücke der Form \(\sum _{\nu =0}^n c_\nu\,e^{\nu z}\), teils durch Anwendung der Newtonschen Interpolationsformel im Komplexen ergeben sich in \S \ 1 hinreichende Bedingungen dafür, daß ein Funktionensystem \(\{ f(\alpha _nz)\} \) (\(\alpha _n\) Konstante) vollständig ist. 1) Es sei \(f (z)\) eine ganze Funktion der Ordnung 1 und vom Typus \(\sigma \). Das System der Funktionen \(f(nz)\) (\(n=0,1,\ldots \)) ist in \(| z |\leqq R\) vollständig, wenn \[ f^{(p)}(0)\neq 0,\;\;\;p=0,1,\ldots,\tag{\(\alpha \)} \] \[ \sigma < \frac {\pi }{R}\tag{\(\beta \)} \] ist. Die Bedingung \((\alpha )\) ist auch notwendig. 2) Es sei \(\alpha _n\) (\(n=0,1,\ldots \)) eine Folge komplexer Zahlen mit \(|\alpha _n|<1\) und \(\lim \alpha _n = 0\), ferner sei \(f (z)\) in \(| z|<1\) analytisch und die (in Theorem III nicht mehr ausdrücklich genannte) Bedingung \((\alpha )\) erfüllt. Dann ist das Funktionensystem \(\{ f(\alpha _nz)\} \) in \(| z |\leqq 1\) vollständig. 3) Ein weiterer Satz gibt hinreichende Bedingungen für die Vollständigkeit des Systems \(\{ f(\alpha _nz)\} \) in \(| z |\leqq R\) für den Fall, daß \(\lim \,| a_n|=\infty \) ist und die \(\alpha _n\) gewissen Limesrelationen genügen, in die die Ordnung und der Typus der ganzen Funktion \(f (z)\) eingehen. In \S \ 2 wird ein auf der Newtonschen Interpolationsformel im Komplexen beruhendes Verfahren angegeben zur gleichmäßigen Approximation einer in \(\langle 0,1\rangle \) gegebenen reellen stetigen Funktion durch lineare Aggregate von Potenzen \[ x^{\alpha _0}, x^{\alpha _1},\ldots \;(0=\alpha _0<\alpha _1<\cdots ), \] sofern die (nach \textit{H. Müntz} zur Vollständigkeit des Systems \(\{x^{\alpha _n}\} \) in \(\langle 0,1\rangle \) notwendige und hinreichende) Bedingung \( \sum _{n =0}^\infty \frac {1}{\alpha _n}=+\infty \) erfüllt ist. Damit ist zugleich die eine Hälfte des \textit{Müntz}schen Satzes erneut bewiesen. (IV 3 D.)