The quadratic variation of a function and its Fourier coefficients. (Q1457678)

Der Autor definiert für reelle periodische Funktionen \(f(x)\) Gesamtschwankungen \(\nu\)-ter Ordnung \(V^{(\nu)}\). Für \(\nu=1\) erhält man die bekannte von C. Jordan eingeführte Gesamtschwankung über eine Periode. Es wird gezeigt: Ist \(V^{(\nu-1)}\) endlich, so hat \(f\) nur Unstetigkeiten erster Art und \(V^{(\nu)}\) ist die Summe der \(\nu\)-ten Potenzen der (absolut genommenen) Spünge von \(f(z)\). Ist \(V^{(\nu)}\) endlich und \(f(x)\) stetig, so ist \(V^{(\nu)}=0\) für \(\nu>\nu_0\). Die ``quadratische'' Gesamtschwankung \(V^{(2)}\) läßt sich mit den Fourierkoeffizienten in Verbindung setzen und so ergeben sich zunächst für Funktionen beschränkter Gesamtschwankung (im Jordanschen Sinne) notwendige und hinreichende Stetigkeitskriterien. So folgt zunächst: für die Stetigkeit einer Funktion \(f\) beschränkter Schwankung (Periode \(2\pi\), Fourierkoeffizienten \(a_n,b_n\)) ist notwendig und hinreichend, daß \[ Q(f)=\overline{\lim_{n \to \infty}} 2n \sum_1^\infty (a_m^2+b_m^2) \sin^2 \frac{m \pi}{n}=0. \] Hieraus kann der Autor ein Ergebnis von Neder (Math. Zeitschr. 6, 1920) herleiten, schließlich aber die sehr einfache notwendige und hinreichende Stetigkeitsbedingung beweisen: \[ \lim_{n \to \infty} \frac 1n \sum_1^n m^2 (a_m^2+b_m^2)=0. \] Es folgen Aussagen über die Konvergenz der Fourierreihen von Funktionen von endlichem \(V^{(\nu)}\), die sich für allgemeines \(\nu\) durch die Zurückführung auf eine Lipschitzsche Bedingung ergeben, für \(\nu=2\) dagegen direkt zu weitergehenden Resultaten führen. Es sei nur folgendes genannt: wenn die Fourierreihe einer Funktion mit endlichem \(V^{(2)}\) \((C,1)\)-summierbar ist, so konvergiert sie, falls \(Q(f)=0\). Endlich werden die letztgenannten Ergebnisse auf die trigonometrische Interpolation ausgedehnt, sowie auf die Konvergenz von Reihen, die nach den Orthogonalfunktionen von Walsh (Amer. Journ. of Math. 45; F. d. M. 49, 293 (JFM 49.0293.*), 1923) fortschreiten.