On Fourier constants. (Q1440885)

Zu einer Folge reeller Zahlen \(a_0,a_1,a_2,\dots\), für die bei einem gewissen \(p \geqq 1\) die Reihe \[ (1)\quad \sum_1^\infty| a_n|^{1+\frac 1p} \] konvergiert, existiert bekanntlich eine auf dem Intervall \(<-1,+1>\) der \textit{Lebesgue}schen Klasse \(L^{1+p}\) angehörende Funktion \(f(x)\), deren \textit{Fourier}reihe \[ \frac 12 a_0+\sum_1^\infty a_n \cos n \pi t \] ist. Setzt man für \(0<l \leqq 1\) \[ (2)\quad a_n(l)=\frac 2l \int_0^l f(t) \cos \frac{n \pi t}{l} dt,\;b_n(l)=\frac 2l \int_0^l f(t) \sin \frac{n \pi t}{l} dt, \] so hat man auf \(<1,+1>\) \[ (3)\quad f(t) \sim \frac{a_0(l)}{2}+\sum_1^\infty a_n(l) \cos \frac{n \pi t}{l} \] und auf \(<0,l>\) \[ (4)\quad f(t) \sim \sum_1^\infty b_n(l) \sin \frac{n \pi t}{l}. \] Im Falle \(p=1\) zieht die Konvergenz der Reihe \(\frac{a_0^2}{2}+\sum_{n=1}^\infty a_n^2\) bekanntlich die Konvergenz der Reihen (3) und (4) nach sich. Verf. gibt in der vorliegenden Arbeit gewisse Verallgemeinerungen dieses Satzes. Mit Hilfe eines von \textit{Titchmarsh} (M. Z. 25 (1926), 321-347; F. d. M. 52) herrührenden Satzes beweist er die folgenden beiden Sätze: I. Aus der Konvergenz der Reihe (1) folgt die Konvergenz der Reihe \[ (5)\quad \sum_1^\infty| b|^{1+\frac 1p}\;(p \geqq 1) \] und umgekehrt. II. Aus der Konvergenz der Reihe (1) mit \(p \geqq 1\) folgt die Konvergenz der Reihen \[ (6)\quad \sum_1^\infty | a_n(l)|^{1+\frac{1'}{p}}\;\text{und}\;(7)\quad \sum_1^\infty| b_n(l)|^{1+\frac 1p}, \] wenn \(l\) eine positive rationale Zahl \(<1\) ist. Verf. hat in II die Voraussetzung eines rationalen \(l\) gemacht, um den Satz von Titchmarsh anwenden zu können; es ist ihm aber nicht gelungen, den Satz II nachträglich von dieser einschränkenden Voraussetzung zu befreien.