Summation of Fourier series. (Q565535)

Ein Summationsverfahren für \textit{Fourier-Lebesgue}sche Reihen heißt \((F)\)-effektiv, wenn es für jede (im \textit{Lebesgue}schen Sinne integrable) Funktion \(f\) die zugehörige \textit{Fourier}reihe in jedem Stetigkeitspunkte von \(f\) zur Summe \(f\) summiert; es heißt \((L)\)-effektiv, wenn es die Summe \(f\) liefert in jedem Punkt, in welchem \[ \lim \limits _{h\to 0} \frac {1}{2h} \int \limits _{-h}^{h}| f(x+t)-f(x)| dt=0 \] ist. Nach einigen einleitenden Bemerkungen über die allgemeinen bei \textit{Fourier}reihen auftretenden Probleme gibt Verf. in der Hauptsache ein Referat über Resultate, die in der Literatur bezüglich der \(F\)-bezw. \(L\)-Effektivität einer Reihe von Summationsverfahren vorliegen, wobei auch einige noch unveröffentliche Ergebnisse von \textit{Tamarkin} und Verf. erwähnt werden. Folgende Summationsverfahren kommen zur Sprache: 1) \(s_n\) sei die \(n\)-te Partialsumme der gegebenen Reihe, \(\{ p_{\nu }\}\) eine Folge komplexer Zahlen mit \(p_0+p_1+\cdots +p_n\neq 0\). Man bildet \[ \lim _{n\to \infty } \frac {p_ns_0+p_{n-1}s_1+\cdots +p_0s_n} {p_0+p_1+\cdots +p_n}. \] 2) Man bildet \[ \lim _{n\to \infty }\frac {p_0s_0+p_1s_1+\cdots +p_ns_n} {p_0+p_1+\cdots +p_n}. \] 3) \(\{ \lambda _n\}\) sei eine monoton wachsende Folge. An Stelle von \(\sum u_n\) bildet man \[ \lim \limits _{\omega \to \infty } \sum \limits _{\lambda _n<\omega } \left ( 1-\frac {\lambda _n}{\omega }\right ) ^K u_n. \] 4) \(q(u)\) sei in \(<0, 1>\) von beschränkter Variation, sei stetig bei \(u=0\), und es sei \(q(0)=0,q(1)=1\). Dann sei \[ \mu _n=\int \limits _0^1 u^ndq(u) \qquad (n=0, 1, 2,\cdots ). \] Man bildet \[ \lim \limits _{n\to \infty } \sum \limits _{k=0}^{n} \binom {n}{k}s_k\sum \limits _{j=0}^{n-k} (-1)^j\binom {n-k}{j}\mu _{j+k}. \] 5) \(f,g=\sum \limits _{n=0}^{\infty }b_n\omega ^n\) seien zwei Funktionen der komplexen Veränderlichen \(\omega \),de\-ren Eigenschaften hier nicht aufgeführt seien. Dann wird \(\sum u_{\nu }\) summiert als \(\lim \limits _{n\to \infty }U_n\), wobei die \(U_n\) durch die formale Identität \[ \sum _{\nu =0}^{\infty } u_{\nu }(f(\omega ))^{\nu }= (g(\omega ))^{-1} \sum _{n=0}^{\infty }b_nU_n\omega ^n \] gegeben sind. 6) \(K(s)\) sei definiert für \(s\geqq 0\), stetig bei \(s=0\) in \((0,\infty )\) von beschränkter Variation und gleich 1 bei \(s=0\). Man bildet \[ \lim \limits _{\omega \to \infty }\sum \limits _{n=o}^{\infty } K\left ( \frac {n}{\omega }\right ) u_n. \] Der Fall, daß\ \(K\) von einem gewissen \(s\) ab verschwindet, wird gesondert behandelt. 7) Konvergenzerzeugende Faktoren \(\gamma (n,\alpha )\), die analytisch in \(n\) und \(\alpha \) sind. \(\alpha \) konvergiert gegen 0. 8) Sei \(E(z)=\sum \limits _{n=0}^{\infty }c_nz^n \quad (c_0=1,c_n\geqq 0)\) eine ganze Funktion. Man bildet \[ \lim _{\omega \to \infty } \frac {\sum \limits _{0}^{\infty }s_nc_{n+1}\omega ^{n+1}}{E(\omega )}. \] Zum Schluß\ sind noch einige Bemerkungen über die Summation von Integralen hinzugefügt.