Note on the behavior of certain power series on the circle of convergence with application to a problem of Carleman. (Q1440996)

Verf. betrachtet Potenzreihen von der Form \[ F(z)=\sum_{n=n_0}^\infty f(n) \text{exp}[2\pi i a(n)]z^n, \] in denen \(f(u)\) und \(a(u)\) zwei Funktionen sind, die einer der folgenden Voraussetzungen genügen: I. (1) \(a(u)\) ist reell und differenzierbar für \(u \geqq n_0\), ferner \(\lim_{u \to \infty} a(u)=+\infty\); (2) \(a'(u)>0\), nicht wachsend und \(\lim_{n \to \infty} f(x)=0\). (3) \(\sum_{n \geqq n_0}| f(n)-f(n+1)|\) konvergiert und \(\lim_{n \to \infty} f(n)=0\). II. (1) und (2) wie unter I; (3) \(\sum_{n \geqq n_0}| f(n)-f(n+1)| [a'(n)]^{-1}\) konvergiert und \(\lim_{n \to \infty}f(n)[a'(n)]^{-1}=0\). III. (1) und (2) wie unter I; (3) \(a''(u)\) ist vorhanden und nicht abnehmend, ferner stets negativ; (4) \(\sum_{n \geqq n_0}| f(n)-f(n+1)| | a''(n)|^{-\frac 12}\) konvergiert und \(\lim_{n \to \infty} f(n)| a''(n)|^{-\frac 12}=0\). Er beweist Sodann: Die Potenzreihe \(F(z)\) ist im Falle I konvergent für \(| z|\leqq 1\), \(z \neq 1\) und gleichmäßig konvergent für \(| z|\leqq 1\), \(| 1z|\geqq \varepsilon\); im Falle II konvergent für \(| z| \leqq 1\) und gleichmäßig konvergent für \(| z|\geqq 1\), arg \((1-z)\leqq \frac \pi 2-\varepsilon\); im Falle III gleichmäßig konvergent für \(| z|\leqq 1\). Es ist \(\varepsilon > 0\). Der Beweis stützt sich auf die \textit{Weyl - van der Corput}sche Abschätzung von Exponentialsummen. Aus dem Resultat folgt eine recht allgemeine Lösung eines von \textit{Carleman} behandelten Problems (1918; F. d. M. 46, 444 (JFM 46.0444.*)).