On the convergence factor of Fourier series at a point. (Q2611943)

Verf. erweitert in dieser Note einige Sätze, die sich auf die konvergenzerzeugenden Faktoren bei \textit{Fourier}reihen solcher Funktionen beziehen, die entweder im \textit{Lebesgue}schen oder im \textit{Denjoy}schen Sinne integrierbar sind. Setzt man in üblicher Weise \(\varphi(t) = f(x+ t) + f(x- t) - 2f (x)\), so ist bekanntlich die Folge \(\lambda_\nu = \dfrac{1}{\log \nu}\) nach \textit{Hardy} (Proc. London Math. Soc. (2) 12 (1913), 365-372; F. d. M. 44, 302 (JFM 44.0302.*)) konvergenzerzeugend im Punkte \(x\), falls \(\int\limits_0^t |\varphi (\tau)|\, d\tau = o(t)\), während dies nach \textit{Jacob} (Jahresbericht D. M. V. 36 (1927), 223-227; F. d. M. 53, 254 (JFM 53.0254.*)) nicht zutreffen muß, falls \(\int\limits_0^t |\varphi (\tau)|\, d\tau = O(t)\). Verf. beweist nun unter anderem für im \textit{Lebesgue}schen Sinne integrierbare Funktionen: \ \ I. Die Folge \(\lambda_\nu = \dfrac{1}{(\log \nu)^{1+r}}\) ist konvergenzerzeugend, falls \[ \int\limits_0^t |\varphi(\tau)|\, d\tau = o\left(t\left(\log \dfrac 1t\right)^r\right) \qquad (r \geqq 0). \] \ II. Die Folge \(\lambda_\nu = \dfrac{1}{\nu^{\tfrac 12}}\) ist konvergenzerzeugend, falls \(\int\limits_0^t \varphi(\tau)\, d\tau = o(t)\). III. Die Folge \(\lambda_\nu = \dfrac{1}{\nu^{\tfrac 34}}\) ist konvergenzerzeugend, falls \(\int\limits_0^t \int\limits_0^\tau \varphi(\sigma)\, d\sigma\,d\tau = o(t^2)\). Für Funktionen, die im \textit{Denjoy}schen Sinne integrierbar sind, wird jetzt in Verallgemeinerung des vom Verf. bereits früher bewiesenen Satzes, wonach die Folge \(\lambda_\nu = \dfrac{1}{\nu}\) konvergenzerzeugend ist, falls \(\int\limits_0^t \varphi(\tau)\, d\tau = o(t)\), gezeigt: IV. Die Folge \(\lambda_\nu = \dfrac{1}{\nu^{\tfrac 43}}\) ist konvergenzerzeugend, falls \(\int\limits_0^t \int\limits_0^\tau \varphi(\sigma)\, d\sigma\,d\tau = o(t^2)\). Verf. beweist ferner an Hand effektiver Beispiele, daß die in II, III und IV auftretenden Exponenten nicht durch kleinere ersetzt werden können.