Functions of a complex variable with assigned derivatives at an infinite number of points, and an analogue of Mittag-Leffler's theorem. (Q1450493)

Es handelt sich um folgende Frage (der Einfachheit wegen werde hier nicht die allgemeinste behandelte genau formuliert): Gegeben eine abzählbare Menge von Punkten \(z_n\) mit \(\infty\) als einzigem Häufungspunkt, und zu jedem \(z_n\) eine Folge von Zahlen \(b_{n0}\), \(b_{n1}\), \(\ldots\). Von jedem \(z_n\) aus werde ein geradliniger Schnitt nach \(\infty\) geführt, und zwar so, daß sich diese Schnitte nicht treffen. Gesucht ist eine Funktion \(F (z)\), die in dem so entstandenen Bereich, den Rand ohne die Punkte \(z_n\) einbezogen, regulär ist, während sie in den \(z_n\) noch stetig und beliebig oft differenzierbar sein und die vorgegebenen Werte als Ableitungen besitzen soll: \(F^{(m)}(z_n) = b_{nm}\). Die Aufgabe wird zunächst für einen einzigen vorgegebenen Punkt, der als der Ursprung gewählt sei, gelöst, indem bei vorgegebenen Ableitungen \(a_n\) und der negativ reellen Achse als Schnitt die gesuchte Funktion in Gestalt der Reihe \[ \sum \frac{a_nz^n}{n!}\left(1-e^{-\frac{b_n}{\root 3\of z}}\right) \] angeschrieben wird; für \(\root 3 \of z\) ist dabei der auf der reell positiven Achse reelle Zweig zu nehmen; die \(b_n\) werden positiv so bestimmt, daß die zu stellenden Konvergenzforderungen erfüllt sind; darüber hinaus kann über sie noch so verfügt werden, daß \(F (z)\) und endlich viele ihrer Ableitungen in einem beliebigen endlichen Gebiet, für das der Nullpunkt äußerer Punkt ist, beliebig klein werden, was nachher für eine Konvergenzfrage im allgemeinen Fall von Bedeutung ist. Dieser erledigt sich durch den Ansatz \[ F(z) = \sum D_n(z)E_n(z), \] wobei die Funktion \(D_n(z)\) in dem eingangs genannten Gebiet einschließlich \(z_n\) regulär ist, während sie mit allen ihren Ableitungen in allen andern \(z_\nu\) verschwindet -- eine solche Funktion läßt sich ohne Schwierigkeit aufbauen --; die Gewinnung von \(E_n(z)\) fällt unter die vorhin behandelte spezielle Aufgabe: Sie muß in der ganzen durch den Schnitt von \(z_n\) aus aufgeschlitzten Ebene regulär sein und in \(z_n\) Ableitungen besitzen, die mit den dort vorgegebenen Werten in leicht ersichtlichem Zusammenhang stehen. Die Frage wird insbesondere noch dahin verallgemeinert, daß für \(\{z_n\}\) eine beliebige Menge isolierter Punkte zugelassen wird. Für den erstgenannten Spezialfall vgl. \textit{J. F. Ritt} (1916; F. d. M. 46, 471) und \textit{A. Besikowitsch} (1924; F. d. M. 50, 240 (JFM 50.0240.*)).