Sur le calcul effectif d'une fonction quasi analytique dont on donne les dérivées en un point. (Q1460287)

Der im Titel genannte Punkt sei der Ursprung. Ist \(\alpha_1, \alpha_2, \alpha_3, \dots\) eine gegebene Folge positiver Zahlen, so nennt Verf. eine im Intervall \([0, 1]\) unbegrenzt differentierbare Funktion ``von der Klasse der \(\alpha_\nu\)'', wenn eine Konstante \(k\) existiert, so daß \[ |f^{(\nu)} (x)| < k^\nu \alpha_\nu \quad (\nu = 0, 1, 2, \dots) \quad \text{ in } [0, 1]. \] Mit \(f\) und \(g\) ist dann auch \(f + g\), \(f \cdot g\), \(\int{f} \,dx\) von der Klasse der \(\alpha_\nu\); desgleichen \(f^\prime (x)\), falls der Quotient \(\alpha_{\nu + 1} / \alpha_\nu\) beschränkt ist. Mit Hilfe einer Minimalbetrachtung konstruiert Verf. hierauf zu gegebenen \[ \alpha_\nu \quad \text{ und } \quad C_\nu,\quad \nu = 0, 1, 2, \dots, \] eine Folge von Funktionen \(f_n (x)\) mit \[ f_n^{(\nu)} (0) = C_\nu,\quad \nu = 0, 1, \dots, n-1, \] welche immer dann, wenn eine Funktion \(F(x)\) von der Klasse der \(\alpha_\nu\) mit \[ F^{(\nu)} (0) = C_\nu,\quad \nu = 0, 1, 2, \dots \] existiert, gegen diese Funktion konvergiert. Daraus folgt: Es gibt Konstanten \(A_\nu^{(n)}\), welche nur von den \(\alpha_\nu\) abhängen, der Art, daß jede Funktion von der Klasse der \(\alpha_\nu\) die Darstellung \[ F(x) = \lim_{n = \infty} \sum_{\nu = 0}^n A_\nu^{(n)} \frac{F^{(\nu)} (0)}{\nu !} x^\nu \] zuläßt, in ihrem ganzen Existenzbereiche [0, 1]. Ein weiterer Satz, sowie eine Anwendung auf die quasianalytische Fortsetzung der Potenzreihen [vgl. die Ref. Carleman-Borel (JFM 49.0230.01; JFM 49.0230.02)] beschließen die inhaltsreiche Note.