Sulle condizioni sufficienti per le successioni di Fourier. (Q5924662)

In Ergänzug einer vorangehenden Arbeit (1934; F. d. M. \(60_{\text{I}}\), 225) gibt Verf. ein sehr allgemeines hinreichendes Kriterium dafür, daß \[ \frac {1}{2} a_0 + \Sigma a_n \cos nx \] die \textit{Fourier}reihe einer \(L\)-integrierbaren Funktion darstellt. In ihm sind viele bekannte und eine Anzahl neu formulierter Kriterien als Sonderfälle enthalten. Es lautet: Es sei \(\alpha _0 \neq 0,\alpha _1,\alpha _2,\cdots,\) eine beliebige komplexe Zahlenfolge und die Folge \((\gamma _n)\) durch die Gleichung \[ \alpha _0 \gamma _0 = 1, \alpha _0 \gamma _n + \alpha _1 \gamma _{n-1} + \cdots + \alpha _n \gamma _0 = 0\;(n \geqq 1) \] bestimmt. Wenn dann \[ \text{ mit}\;Da_n = \sum _{i=0}^\infty \alpha _i a_{n+i} \text{ auch}\;\sum _{i=0}^\infty \gamma _i Da_{n+i} \tag{1} \] für jedes \(n = 0, 1,\cdots \) konvergiert und \( = a_n\) ist; wenn, \[ \frac {1}{2} \gamma _n + \sum _{i=1}^p \gamma _{n-i} \cos ix = \vartheta (x,n,p) \tag{2} \] gesetzt \((0 \leqq x \leqq 2\pi,\;0 \leqq p \leqq n)\), eine Folge \((\mu _n)\) und eine nicht negative Funktion \(\psi (x)\) existiert, die in \(<0, 2\pi >\) überall endlich und in der Umgebung höchstens endlich vieler Stellen nicht beschränkt ist, so daß \[ |\vartheta (x,n,p)| < \mu _n \psi (x),\quad \sum _{n=0}^\infty |Da_n|\mu _n < + \infty \] ist, und wenn (3) eine Folge \((\nu _n)\) existiert, für die \[ \int _0^{2\pi }|\vartheta (x,n,p)|\,dx < \nu _n,\quad \sum _{n=0}^\infty |Da_n| \nu _n < + \infty \] ist, - dann ist \(\frac {1}{2} a_0 + \Sigma a_n \cos nx\) die \textit{Fourier}reihe einer \(L\)-integrierbaren Funktion.