Some theorems concerning trigonometrical series of a special type. (Q572582)

Über die Reihen (1) \({} \hfill f(\vartheta)= \sum a_n\cos n\vartheta, \hfill (2) \hfill g(\vartheta) = \sum a_n\sin n\vartheta, \hfill {} \) \noindent bei denen die \(a_n>0\) und monoton gegen 0 abnehmend sein sollen, sind schon verschiedene nicht triviale Eigenschaften bekannt. Insbesondere hat \textit{Hardy} (1928; F. d. M. 54, 311 (JFM 54.0311.*)) bewiesen: Ist \[ a_n\sim An^{-\alpha} \quad (A\geqq 0, \;0 < \alpha < 1), \tag{3} \] so ist für \(\vartheta \to +0\): (4) \({}\hfill f(\vartheta) \sim A\sin\frac 12 \alpha\pi\cdot \varGamma(1-\alpha)\vartheta^{\alpha-1}, \quad (5) \hfill g(\vartheta) \sim A \cos \frac 12 a\pi\cdot \varGamma(1-\alpha) \vartheta^{\alpha-1}. \hfill {}\) In der vorliegenden Note wird dies Ergebnis dahin verschärft, daß (3) die notwendige und hinreichende Bedingung dafür ist, daß (4) oder (5) richtig ist. Für \(\alpha = 1\) ist (5) noch richtig, d. h. \(na_n \to A\) ist notwendig und hinreichend dafür, daß \(g(\vartheta)\to \frac 12\pi A\) strebt für \(\vartheta \to + 0\). Auch eine Art Umkehrung des erstgenannten Satzes gilt: Wenn- ohne Voraussetzungen über die \(a_n- f(\vartheta)\) und \(g(\vartheta)\) für \(\vartheta > 0\) monoton abnehmen und (1) bzw. (2) ihre \textit{Fourier}reihen sind, so ist wiederum (3) notwendig und hinreichend dafür, daß (4) oder (5) richtig ist.