Sull' analiticità delle funzioni rappresentate mediante serie trigonometriche. (Q2598949)

In Fortsetzung früherer Untersuchungen (Boll. Un. mat. Ital. 17 (1938), 105-116; F.~d.~M. 64\(_{\text{I}}\), 226) gibt Verf. hinreichende Bedingungen dafür an, daß eine trigonometrische Reihe \[ \tfrac{1}{2} a_0+\sum_{n=1}^{\infty} (a_n \, \cos \,nx+b_n \, \sin \,nx) \tag{1} \] eine in \((0, \,2\pi)\) [runde Klammern sollen offene Intervalle bedeuten] analytische Funktion darstellt. Dabei heißt eine Funktion \(f(x)\) der reellen Veränderlichen \(x\) in \((a, \,b)\) analytisch, wenn sich \(f(x)\) für jedes \(x_0\) aus \((a, \,b)\) in einer gewissen Umgebung von \(x_0\) durch eine konvergente Potenzreihe \(\mathfrak{P}(x-x_0)\) darstellen läßt. 1) Es strebe \(a_n \to 0\), \(b_n \to 0\), und es sei mit geeigneten positiven Konstanten \(A\) und \(\alpha\) für jedes ganze \(p \geqq 0\) \[ |\, \varDelta_p \,a_1 \,|<A, \;\; |\, \varDelta_p \,b_1 \,|<A, \] \[ \sum_{n=1}^{\infty} |\, \varDelta_{p+1} \,a_n \,| \,(n+p)^p<A \, \alpha^p \,p!, \; \sum_{n=1}^{\infty} |\, \varDelta_{p+1} \,b_n \,| \,(n+p)^p<A \, \alpha^p \,p!. \] Dann konvergiert die Reihe (1) in jedem in \((0, \,2\pi)\) gelegenen abgeschlossenen Intervall gleichmäßig gegen eine in \((0, \,2\pi)\) analytische Funktion \(f(x)\). 2) Es strebe für ein ganzes \(r \geqq 0\) \[ \varDelta_{r+1} \,a_n \to 0, \; \varDelta_{r+1} \,b_n \to 0, \] und es sei mit geeigneten positiven Konstanten \(A\) und \(\alpha\) für jedes ganze \(p \geqq 0\) \[ |\, \varDelta_p \,a_1 \,|<A \, \alpha^p, \; |\, \varDelta_p \,b_1 \,|<A \, \alpha^p, \] \[ \begin{aligned} \sum_{n=1}^{\infty} |\, \varDelta_{p+r+1} \,a_n \,| \,(n+p+r+1)^p & < A \, \alpha^p \,p!, \\ \sum_{n=1}^{\infty} |\, \varDelta_{p+r+1} \,b_n \,| \,(n+p+r+1)^p & < A \, \alpha^p \,p!. \end{aligned} \] Dann ist die Reihe (1) in jedem in \((0, 2\pi)\) gelegenen abgeschlossenen Intervall gleichmäßig zu einer in \((0, 2\pi)\) analytischen Funktion \(f(x)\) Cesàro-summierbar von der Ordnung \(r + 1\). Wegen weiterer Sätze mit variierten und allgemeineren Bedingungen sei auf die Arbeit selbst verwiesen. Verf. betont, daß sich die Beweise auf den Fall mehrerer Variabeln übertragen lassen.