Quatre leçons sur les fonctions quasianalytiques de variable réelle. (Q1458878)

Bekanntlich war Borel der erste, der darauf hingewiesen hat, daß\ unter gewissen gleichmäßigen Einschränkungen für ihre beliebigen Ableitungen \(f^{(n)}; n=0, 1, 2, \dots\), auch allgemeinere Funktionen als nur die analytischen durch alle ihren Ableitungen in einem gegebenen Punkte eindeutig bestimmt sind (C. R. 154, 1491, 1912; F. d. M. 43, 485 (JFM 43.0485.*)); er nannte solche Funktionen quasianalytisch. Während für eine analytische Funktion \(f\) an einem endlichen Gebiet \(\Gamma\) stets mit einer passenden Konstanten \(C\) die Ungleichung gilt: \[ | f^{(n)}|^\frac{1 n}<C_n \] und umgekehrt, müssen nun die allgemeineren Bedingungen für eine nur quasianalytische Funktion anders lauten, und hier hat im Reellen Denjoy (C. R. 173 1329, 1921; F. d. M. 48, 295 (JFM 48.0295.*)) den dann von Carleman (C. R. 174 373 1922 F. d. M. 48, 295 (JFM 48.0295.*)) vollständig bewiesenen folgenden Satz angegeben: Ist \(f_n=\text{Max}| f^{(n)}(x)|^{\frac 1n}\), \(a \leqq x \leqq b\), und ist \(\sum f_n^{-1}\) divergent, so ist \(f\) quasianalytisch. Die beiden ersten der obigen (Sorbonne-) Vorlesungen geben mit verschiedenen Vereinfachungen den angeführten Carlemanschen Beweis wieder. Es folgt aus dem Satz u. a., daß\ für eine unbeschränkt derivierbare Funktion \(f(x), 0 \leqq x \leqq 1\), \(f(0)=f'(0)=\cdots=f^{(n)}(0)=\cdots=0\) der Ausdruck \(\sum f_n^{-1}\) beschränkt bleiben muß, und Borel (C. R. 174, 505, 1922; F. d. M. 48, 295 (JFM 48.0295.*)) hat eine obere Schranke 176, auch angegeben; die dritte Vorlesung behandelt das Problem mehr im Anschluß\ an Carleman (Verh. des 5. skand. Math.-Kongr., Helsingfors 1923; F. d. M. 49, 705 (JFM 49.0705.*)), während in der vierten, neben einer Behandlung der Fourierentwicklung von \(f(x)\), auf der so gewonnenen Grundlage in relativ einfacher Weise eine neue Bestimmung von \(f(x)\) aus allen \(f^{(n)}(0)\) gegeben wird, allerdings nur unter der Voraussetzung, daß\ \(f(x)\) überhaupt existiert, wofür zunächst keine direkten Kriterien vorhanden sind.