On certain series of functions. (Q2590849): Difference between revisions

Verf. knüpft an die Arbeiten von \textit{H. Rademacher} (Math. Ann., Leipzig, 87 (1922), 112-138; F. d. M. 48, 485 (JFM 48.0485.*)), \textit{A. Khintchine, A. Kolmogoroff} (Rec.math.,Moscou, 32 (1925), 668-677; F. d. M. 52, 212 (JFM 52.0212.*)) und \textit{M. Kac} (J. London Math. Soc. 13 (1938); 131-134; Studia math. Lwów 7 (1938), 96-100; JFM 64.0214.*, 213) an. Im Folgenden bedeute \(\varPhi (t)\) eine Funktion der reellen Veränderlichen \(t\) mit der Periode 1. Dieselbe sei den Bedingungen \[ \begin{gathered} \textstyle \int\limits_{0}^{1}\varPhi (t)\,dt=0,\tag{1}\\ \textstyle \int\limits_{0}^{1}|\,\varPhi (t)\,|^4\,dt=A_1^4<\infty ,\tag{2}\\ \textstyle \int\limits_{0}^{1}|\,\varPhi (t+h)-\varPhi (t)\,|^4\,dt\leqq A_2^4|\,h\,|^{4\alpha }\;\;\text{für alle}\;h,\quad\;1\geqq \alpha >0\tag{3}\end{gathered} \] unterworfen. Ferner sei eine Zahlenfolge \(n_1<n_2<n_3\cdots\) gegeben. Konvergiert nun \[ \displaylines{\rlap{\qquad (4)\qquad } \hfill \textstyle \sum\limits_{k=1}^{\infty }\dfrac{k^\frac{1}{2}}{2^{\tfrac{\alpha }{2}(n_{ k+1}-n_{ k})}},\hfill} \] so folgt, daß für jede Folge \(\{a_n\}\) mit \[ \displaylines{\rlap{\qquad (5) \qquad} \hfill \textstyle \sum a_n^2\;\text{konvergent} \hfill} \] die Reihe \[ \displaylines{\rlap{\qquad (6)\qquad} \hfill \textstyle \sum\limits_{k=1}^{\infty }a_k\varPhi (2^{n_{ k}}t) \hfill} \] fast überall konvergiert. Hat hingegen die Folge \((n_k)\) die Eigenschaft \[ \displaylines{\rlap{\qquad (7) \qquad} \hfill \frac{k}{2^{\alpha (n_{ k}-n_{ k-1})}} \to0\;\;\text{mit}\;\;k\to\infty,\hfill} \] so folgt aus der Konvergenz von (6) die von (5). Ist (5) aber divergent, so gilt das gleiche für (6) bis auf eine Nullmenge. Ist weiterhin eine Folge von Funktionen \(\varPhi _i(t)\) (\(i = 1\), 2, 3,\dots ), \(\varPhi _i(t+1)=\varPhi _i(t)\), gegeben, die sämtliche Bedingungen (1) bis (3) erfüllen, und gilt außerdem \[ \textstyle \int\limits_{0}^{1}|\,\varPhi _i(t)\,|\,dt\geqq \varDelta \biggl(\int\limits_{0}^{1}|\,\varPhi _i(t)\,|^2\,dt\biggr)^\frac{1}{2}, \] wo \(\varDelta \), sowie \(A_1^4\), \(A_2^4\) von \(i\) unabhängige Konstante sind, so gelten für die Reihe \(\sum\limits_{k=1}^{\infty }a_k\varPhi _k(2^{n_{ k}}t)\) dieselben Aussagen, wie die soeben über (6) gemachten. Der Satz kann auch wie folgt ausgesprochen werden: \(\chi_i(t)\) sei eine Funktionenfolge mit den Eigenschaften: \[ \begin{gathered} \chi_i(t+1)=\chi_i(t),\;\;\textstyle \int\limits_{0}^{1}\chi_i(t)\,dt=0,\\ \biggl(\textstyle \int\limits_{0}^{1}\chi_i^4(t)\,dt\biggr)^\frac{1}{4}\leqq A_{13}\biggl(\int\limits_{0}^{1}\chi_i^2(t)\,dt\biggr)^\frac{1}{2},\; \int\limits_{0}^{1}|\,\chi_i(t+h)-\chi_i(t)\,|^4\,dt \leqq A_{15}\, |\,h\,|^4\,\biggl(\int\limits_{0}^{1}\chi_i^2(t)\,dt\biggr)^2. \end{gathered} \] Gilt nun für \(\{n_k\}\) die Konvergenz von (4), so folgt aus der von \[ \displaylines{\rlap{\qquad (8)\qquad} \hfill \textstyle \sum\limits_{i=1}^{\infty } \int\limits_{0}^{1}\chi_i^2(t)\,dt\hfill} \] fast überall die von \[ \displaylines{\rlap{\qquad (9)\qquad} \hfill \textstyle \sum\limits_{i=1}^{\infty } \chi_i(2^{n_{ i}}t).\hfill} \] Gilt aber (7), so folgt aus der Konvergenz von (9) die von (8). Endlich zeigt Verf., daß, wenn \(\varPhi (t)\) den Bedingungen \(\varPhi (t+1)=\varPhi (t)\), \[ \begin{gathered} \textstyle \int\limits_{0}^{1}|\,\varPhi (t)\,|^2\,dt=A_2^2\;\text{genügt, die Reihen}\\ \textstyle \sum\limits_{n=1}^{\infty }|\,a_n\,|\;\;\text{und}\;\,\sum\limits_{n=1}^{\infty }|\,a_n\varPhi _n(t)\,|\end{gathered} \] zugleich konvergieren und divergieren, bis auf eine Nullmenge.