Fourier series and mean moduli of continuity. (Q2604651)

Es sei \(f(\theta)\) eine mit \(2\pi\) periodische reelle Funktion der reellen Veränderlichen \(\theta\). Sie gehöre zur Klasse \(L^p\) und ihre \textit{Fourier}reihe laute \[ f(\theta) \sim \sum_{n=-\infty}^{+\infty} c_n e^{in\theta} \quad (c_{-n}= \bar c_n). \] Für beliebiges reelles \(t\) sei \[ \begin{gathered} \varDelta_0f(\theta;t) = f(\theta),\\ \varDelta_1f(\theta;t) = f(\theta+t)-f(\theta-t) \end{gathered} \] und weiter \[ \varDelta_mf(\theta;t) = \varDelta_1\varDelta_{m-1}f(\theta;t) = \sum_{\nu=0}^m (-1)^\nu\binom m\nu f(\theta+(m-2\nu)t) \quad (m = 2, 3,\ldots), \] dann wird allgemein für \(f(\theta)\in L^p\) (\(p > 0\)) \[ \omega_p^{(m)}(f;\delta) = \operatornamewithlimits{finsup}\limits_{0\leqq t\leqq \delta} \frac 1{2\pi}\left(\int\limits_{-\pi}^{+\pi} | \varDelta_mf(\theta;t)|^p\,dt\right)^{\tfrac 1p} \] als mittleres Stetigkeitsmaß \(m\)-ter Ordnung von \(f(\theta)\) in \(L^p\) bezeichnet. Verf. beweist eine Reihe von Sätzen über die Beziehungen zwischen dem mittleren Stetigkeitsmaß und den \textit{Fourier}koeffizienten \(c_n\), in denen bekannte Resultate von \textit{S. Bernstein}, \textit{Hardy} und \textit{Littlewood}, \textit{O. Szász} u. a. enthalten sind. Als Hauptresultate seien genannt: I. Es sei \(f(\theta) \in L^p\) (\(1 \leqq p \leqq 2\)). Gilt dann für ein \(k > 0\) \[ \sum_{n=1}^\infty n^{-k/p'}\left[\omega_p^{(m)}\left(f;\frac \pi{2n}\right)\right]^k <\infty \quad \left( \frac 1p + \frac 1{p'}=1\right), \] so gilt auch \[ \sum_{n=0}^\infty |c_n|^k < \infty. \] Dieser Satz wird noch verallgemeinert. II. Es sei \(1 \leqq p \leqq 2\), \(\dfrac 1p+\dfrac 1{p'}=1\). Ferner sei \(\eta(t)\) eine Funktion mit \(\eta(t) \downarrow 0\) für \(t \downarrow 0\), die die Bedingung \[ \sum_{\lambda=1}^\infty \left[ \eta\left(\frac \pi n 2^{-\lambda}\right)\right]^p = O\left\{\left[\eta\left(\frac \pi n\right)\right]^p\right\} \quad \text{für} \;n\to \infty \] erfüllt. Dann ist \[ \omega_{p'}^{(m)}(f;t) = O\{\eta(t)\} \quad \text{für} \;t\to 0 \tag{1} \] eine notwendige Bedingung dafür, daß \[ \sum_{\nu=1}^n \nu^{mp}|c_\nu|^p = O\left\{ n^{mp} \left[\eta\left(\frac \pi n \right)\right]^p\right\} \tag{2} \] gilt. -- Im Falle \(p = p' = 2\) stellt (1) eine notwendige und hinreichende Bedingung für das Bestehen von (2) dar. III. Daß Satz I für \(k = 1\) in gewissem Sinne das bestmögliche Resultat liefert, zeigt der folgende Satz: Es sei \(\eta(t)\) eine Funktion mit \(\eta(t) \downarrow 0\) für \(t \downarrow 0\), die die Bedingungen \[ \begin{gathered} \int\limits_1^u \eta\left(\frac 1x\right) \,dx = O\left\{u\eta\left(\frac 1u\right)\right\} \quad \text{für} \;u\to \infty \\ \sum_{n=1}^\infty n^{-\tfrac 1{p'}}\eta\left(\frac 1n\right) = \infty \quad \left(1 \leqq p\leqq 2, \;\frac 1p + \frac 1{p'}=1\right) \end{gathered} \] erfüllt. Dann gibt es eine Funktion \(f(\theta)\in L^p\), für die \[ \omega_p^{(m)}(f;\delta)< \eta(\delta) \quad \text{und daneben} \quad \sum_{n=0}^\infty |c_n|=\infty \] gilt. -- Im Spezialfall \(p = 2\) erfährt dieser Satz noch eine Erweiterung auf \(k > 0\).