Some new properties of Fourier constants. (Q1450363): Difference between revisions

Als Verallgemeinerung des \textit{Parseval}schen und des \textit{Riesz-Fischer}schen Theorems wurde zuerst von \textit{W. H. Young} für spezielle Exponenten (1912, 1913; F. d. M. 43, 323 (JFM 43.0323.*); 44, 301) und dann allgemein von \textit{F. Hausdorff} (1923; F. d. M. 49, 200 (JFM 49.0200.*)) der folgende Satz bewiesen, bei dem \(f (x)\) über \((-\pi,\pi)\) \(L\)-integrierbar, gerade und mit dem Mittelwert 0 vorausgesetzt wird, so daß nur die \textit{Fourier}konstanten \(a_1\), \(a_2\),\dots von 0 verschieden sein können: Ist \(1<p\leqq 2\) und \(\dfrac1p+\dfrac1{p'}=1\), so gilt: \begin{itemize} \item[A.] wenn \(|f|^p\) integrierbar ist, so ist \(\sum|a_n|^{p'}\) konvergent; \item[B.] wenn \(\sum|a_n|^p\) konvergiert, so ist \(|f|^{p'}\) integrierbar. Für diesen Satz wird ein neuer Beweis gegeben, der zugleich eine Vorbereitung für die folgenden schwierigeren Dinge darstellt. \end{itemize} Im Anschluß daran wird nun die folgende Frage aufgeworfen: Es sei \(r > 1\) und neben \(f\) auch \(|f|^r\) integrierbar. Für welche Werte von \(s\geqq 0\) und \(k\) ist dann \[ \sum n^{-k}|a_n|^s \tag{*} \] konvergent? Auf diese Frage wird eine vollständige Antwort gegeben. Der Fall \(r > 2\) ist ganz durchsichtig. Die Reihe (*) ist dann und nur dann sicher konvergent, wenn entweder \(s \geqq 2\) und \(k\geqq 0\) oder zwar \(s < 2\), aber zugleich \(k>1-\frac12s\) ist. Der Fall \(r = p \leqq 2\) ist schwieriger. Es werden dann drei Intervalle unterschieden: \[ s<p,\quad p\leqq s\leqq p'\quad p'<s. \] Für \(s > p'\) ist (*) für jedes \(k\geqq0\), aber nicht notwendig für ein \(k < 0\) konvergent. Für \(0\leqq s<p\) ist (*) dann und nur dann sicher konvergent, wenn \(k > \dfrac{p+s-ps}p\) ist. Für \(p \leqq s \leqq p'\) endlich ergibt sich auch noch ziemlich leicht, daß (*) sicher konvergiert, falls \(k>\dfrac{p+s-sp}p\) ist, und daß die letzte Schranke durch keine kleinere ersetzt werden kann. Es bleibt danach als einzige, aber auch wirklich interessante und schwierige Frage die zurück, ob (*) für \(p\leqq s\leqq p'\) und \(k=\dfrac{p+s-ps}p\) konvergieren muß oder nicht. Für \(s = p'\), \(k = 0\) erledigt der \textit{Hausdorff}sche Satz die Frage. Der Kern des Problems liegt demgemäß bei dem andern Grenzfall \(s = p\), \(k= 2 - p\), also der Frage nach der Konvergenz von \[ \sum n^{p-2}|a_n|^p, \tag{**} \] die im bejahenden Sinne entschieden wird. Mit ihr können auch die dazwischenliegenden Fälle als erledigt angesehen werden. Somit hat sich zusammenfassend ergeben: Wenn neben \(f\) auch \(|f|^r\) integrierbar ist, \(r > 1\), so ist (*) konvergent, wenn \begin{itemize} \item[(I)] \(r>2,\;s\geqq 2,\;k\geqq 0;\) \item[(II)] \(r>2,\ s< 2,\ k>1-\tfrac12s; \) \item[(III)] \(r=p\leqq2,\ s>\frac p{p-1},\ k\geqq0;\) \item[(IV)] \(r=p\leqq2,\ p\leqq s\leqq\frac {p-1}p,\ k\geqq\frac{p+s-ps}p;\) \item[(V)] \(r=p\leqq2,\ 0\leqq s<p,\ k>\frac{p+s-ps}p,\) \end{itemize} und braucht in allen übrigen Fällen nicht zu konvergieren. \par In den letzten Paragraphen werden noch verschiedene Folgerungen gezogen, unter denen die folgende hervorgehoben sei: Wenn zwei konjugierte Reihen \[ \sum(a_n \cos nx + b_n \sin nx)\quad\text{und}\quad \sum(b_n \cos nx - a_n \sin nx) \] beide {\it Fourier\/}reihen sind, so ist \(\sum\dfrac{|a_n|+|b_n|}n\) konvergent.