An extension of power series. (Q565666): Difference between revisions

Anknüpfend an Untersuchungen von \textit{W.Gontcharoff} (1930; F. d. M. \(56_{\text{I}}\), 260) und \textit{S.Takenaka} (1931; F. d. M. \(57_{\text{I}}\), 373) betrachtet Verf. Polynomentwicklungen der Form \[ \sum _{n=0}^{\infty } f^{(n)} (c_n) P_n (z) \quad \text{mit} \quad P_0 (z) = 1, \quad P_n(z) = \int _{c_0}^z dz_1 \int _{c_1}^{z_1} dz_2 \dots \int _{c_{n-1}}^{z_{n-1}} dz_n \quad (n=1,2, \dots ) \,. \] wo \(f(z)\) eine analytische Funktion, \((c_n)\) eine dem Definitionsbereich von \(f(z)\) angehörige Punktfolge bedeutet. Er erhält auf neuem Wege Verallgemeinerungen der Ergebnisse von \textit{Takenaka}; insbesondere wird gezeigt: 1) Es sei \[ \begin{aligned} |c_m| < \varrho \quad & \text{für} \quad m = 0,1,2, \dots. \\ |P_m (z)| < \frac {G^m}{m!} \quad & \text{für} \quad |z| < r \quad \text{und} \quad m > m_0 \,. \end{aligned} \] was \(r \leq \varrho + G\) zur Folge hat. Dann ist jede in einem Kreis \(|z| <R\) mit \(R > \varrho +G\) analytische Funktion \(f(z)\) im Kreise \(|z| < r\) durch die Reihe \[ f(z) = \sum _{n=0}^{\infty } f^{(n)} (c_n) P_n (z) \] darstellbar; die Reihe konvergiert in \(|z| < r\) absolut und gleichmäßig. Gilt unter den genannten Voraussetzungen noch \[ f^{(n)} (c_n) = 0 \quad \text{für} \quad n = 0,1,2, \dots \,. \] so verschwindet danach \(f(z)\) identisch. 2) Es sei \[ \overline {\lim }_{n \to \infty } n | c_n| = L. \quad |c_n| < r \quad (n = 0,1,2. \dots ). \] Dann ist jede im Kreise \[ |z| \leq R = \max \left ( \frac {L}{\log 2}. r \right ) \] analytische Funktion in \(|z| < r\) durch die Reihe \[ f(z) = \sum _{n=0}^{\infty } f^{(n)} (c_n) P_n (z) \] darstellbar; die Reihe konvergiert in \(|z|< r\) absolut und gleichmäßig. Gilt unter den genannten Voraussetzungen noch \[ f^{(n)} (c_n) = 0 \quad (n = 0,1,2, \dots ) \,. \] so verschwindet danach \(f(z)\) identisch. Für die letztere Tatsache wird noch ein direkter, besonders elementarer Beweis gegeben.