On the convergence almost everywhere of Rademacher's series and of the Bochner-Fejér sums of a function almost periodic in the sense of Stepanoff. (Q568561)

Es sei \(f_0(x) = (-1)^{[x]}\) und \(f_n(x) = f_0(2^n x)\). Ist dann \(\{a_n\}\) eine Folge reeller Zahlen mit konvergenter Summe \(\sum a_n^2\), so besagt ein Satz des Ref. (Math. Ann. 87 (1922), 112-138; F. d. M. 48, 485 (JFM 48.0485.*)-486), daß \[ \sum a_nf_n(x)\tag{1} \] fast überall konvergent ist. Für diesen Satz wird zunächst ein neuer Beweis erbracht. Er beruht 1) auf dem Satz, daß die \textit{Fejér}-Summen der \textit{Fourier}reihe einer periodischen \(L\)-integrierbaren Funktion fast überall gegen die Funktion konvergieren und 2) auf einem vom Verf. eingeführten Begriff der ``Äquimensurabilität'' zweier Systeme von Treppenfunktionen. Zwei Reihen von äquimensurablen Funktionensystemen konvergieren auf Mengen gleichen Maßes. Die Folge \(f_1(x), f_2(x),\dots \) ist im Intervall \((0,1)\) mit jeder ihrer Teilfolgenäquimensurabel. Es genügt daher, die Konvergenz von \[ \sum a_nf_{\nu (n)}(x)\tag{2} \] fast überall in \((0,1)\) für eine geeignete monoton wachsende Folge von Indices \(\nu (n)\) zu beweisen. Die \(\nu (n)\) werden nun so stark wachsend gewählt, daß die späten Glieder in ihrer hohen Periodizität die von vorhergehenden Partialsummen gebildeten \textit{Fejér}summen nicht stören. Diese \textit{Fejér}summen sind aber zugleich diejenigen der Funktion \(f(x)\), gegen die (2) wegen \(\sum a_n^2<\infty \) im Mittel konvergiert. Mit den \textit{Fejér}summen konvergiert dann auch (2) fast überall gegen \(f(x)\). Dieser Gedankengang wird nun etwas abgewandelt für die Konstruktion gewisser fastperiodischer Funktionen \textit{Stepanoff}scher Art. Es werden zunächst in \[ \sum a_nf_0(\lambda _nx)\tag{3} \] mit konvergentem \(\sum a_n^2\) aber divergentem \(\sum |a_n|\) die \(\lambda _n\) linear unabhängig und hinreichend schnell wachsend so bestimmt, daß (3) asymptotisch äquimensurabel mit (1) ist. (Man vermißt in der Arbeit eine genaue Definition von ``asymptotisch äquimensurabel'', kann sie aber leicht ergänzen.) Dann ist (3) wieder fast überall konvergent gegen eine Funktion \(f(x)\), die zugleich auch der \(S_2\)-Limes von (3) ist; d. h. (3) konvergiert gegen \(f(x)\) gemessen in der \textit{Stepanoff}schen Distanz zweiter Ordnung: \[ \text{obere Grenze}_{-\infty <X<\infty }\quad \int \limits _X^{X+1}\biggl \{f(x) - \sum _{n=1}^N a_nf_0(\lambda _nx)\biggr \}^2 \,dx\to 0\quad \text{mit}\quad N\to \infty. \] Die Funktion \(f(x)\) ist \(S_2\)-fastperiodisch, besitzt daher eine formale \textit{Fourier}reihe. Es kann leicht gezeigt werden, daß die \textit{Bochner-Fejér}-Summen dieser \textit{Fourier}reihe fast überall divergieren. In einem weiteren Beispiel dieses Typus werden \(\lambda _n=\dfrac {q_n}{p_n}\) mit ganzzahligen teilerfremden \(q_n\), \(p_n\) gewählt, \(p_n\) überdies als Primzahlen. In diesem Fall sind die \textit{Fourier}-perioden alle kommensurabel und die Funktion ist daher \(S_2\)-grenzperiodisch. Wieder divergieren die \textit{Bochner-Fejér}-Summen fast überall. Im Abschnitt 4 der Arbeit wird in einer mit den übrigen Methoden nicht zusammenhängenden Weise eine \(S\)-fastperiodische Funktion mit nur zwei Gliedern der Periodenbasis konstruiert, deren \textit{Bochner-Fejér}-Summen in einer Menge positiven Maßes divergieren. Ausgegangen wird dabei von einer Funktion in zwei Veränderlichen, die in jeder periodisch ist, so daß jedoch die Perioden zueinander inkommensurabel sind. Der \textit{Dirichlet-Kronecker}sche Approximationssatz wird bei diesen Überlegungen wiederholt herangezogen. Die Beispiele dürften im ganzen zeigen, daß von den \textit{Bochner-Fejér}schen Summen keine andere Konvergenz erwartet werden kann ale eine solche, die in demselben Distanzmaß ausgedrückt werden kann, das auch der betrachteten Klasse von fastperiodischen Funktionen zugrunde gelegt ist (IV 3 C.)