Sur quelques intégrales du type de Dini. (Q2596103): Difference between revisions

Es sei \(F (x)\) mit \(2\pi\) periodisch und \[ \varDelta (F, x,h) \equiv \varDelta (x, h) = F(x + h) + F(x - h)- 2F(x). \] Besitzt \(F (x)\) eine hinreichend reguläre -- etwa einer Lipschitz-Bedingung positiver Ordnung genügende -- Ableitung \(F^\prime (x)\), so gilt an jeder Stelle \(x\) \[ \int\limits_0^{2\pi} |\varDelta (x,t) |^r t^{-r-1} \, dt< \infty \quad \text{ für } \quad r \geqq 1. \tag{1} \] Wird dagegen nur die Existenz von \(F^\prime (x)\) an einer einzelnen Stelle vorausgesetzt, so kann das für diese Stelle gebildete Integral (1) divergieren. Verf. zeigt jedoch: I. Ist die Funktion \(F (x)\) stetig und besitzt sie in einer Menge \(E\) von positivem Maß eine Ableitung \(F^\prime (x)\), so existiert (1) für \(r \geqq 2\) fast überall in \(E\). Für \(r < 2\) wird der Satz falsch. Weiter wird für totalstetiges \(F (x)\) über die Größenordnung des Integrals (1) bewiesen.: II. Ist die Funktion \(F (x)\) totalstetig und gehört ihre Ableitung zur Klasse \(L^q\) mit \(q \geqq 2\), so gilt die Abschätzung \[ \int\limits_0^{2\pi} \int\limits_0^{2\pi} | \varDelta (x, t) |^q t^{-q-1}\, dxdt \leqq C_q \int\limits_0^{2\pi} | F^\prime (x)|^q \, dx. \] III. Ist \(F (x)\) totalstetig, \(F(0) = F (2\pi)\), so gilt für \(1< p \leqq 2 \) \[ \int\limits_0^{2\pi} | F^\prime (x)|^p \, dx \leqq C_p \int\limits_0^{2\pi} \int\limits_0^{2\pi} | \varDelta (x, t) |^p t^{-p-1}\, dxdt. \]