Über mechanische Quadraturen. (Q2586521)

Ist jedem in einem abgeschlossenen Intervall \(\langle a, b\rangle\) gelegenen Punkt \(x^{(n)}_i\) (\(i = 1,\, 2,\,\ldots,\, n\); \(n = 1,\, 2,\,\ldots\)) die reelle Zahl \(\lambda^{(n)}_i\) zugeordnet und \(f (x)\) eine in \(\langle a, b\rangle\) definierte im Riemannschen Sinne eigentlich integrierbare Funktion, so heißt das durch die Vorschrift \[ Q_n[f]=\sum_{i=1}^n \lambda_i^{(n)} f\left(x_i^{(n)}\right)\quad (n=1,\,2,\,\ldots) \] erklärte Quadraturverfahren konvergent, wenn \[ \lim_{n\to\infty} Q_n[f]= \int\limits_a^b f(x)\,dx \] ist. \textit{Pólya} (Math. Z. 37 (1933), 264-286; F. d. M. \(59_{\text{I}}\), 261) hat notwendige und hinreichende Bedingungen angegeben, denen die \(x^{(n)}_i\) und \(\lambda^{(n)}_i\) genügen müssen, damit das Quadraturverfahren für alle Polynome bzw. alle stetigen Funktionen \(f (x)\) konvergiert. Verf. löst das entsprechende Problem für die Fälle, daß \(f (x)\) der Menge der absolut stetigen Funktionen, der Menge der in \(\langle a, b\rangle\) endlichen Funktionen ohne Unstetigkeitsstellen zweiter Art, schließlich der Menge der in \(\langle a, b\rangle\) beschränkten Funktionen mit abzählbar vielen Unstetigkeitsstellen angehört. In Verallgemeinerung eines Satzes von \textit{Fejér} (Math. Z. 37 (1933), 287-309; F. d. M. \(59_{\text{I}}\), 261) beweist Verf., daß, wenn das Quadraturverfahren für alle beschränkten Funktionen mit abzählbar vielen Unstetigkeitsstellen konvergiert, \(\max\limits_i \left| \lambda_i^{(n)}\right|\to 0\) für \(n \to \infty\) gilt. Endlich wird ein mit dem eingangs behandelten verwandtes Problem untersucht. Jedem \(x^{(n)}_i\) sei ein \(x^{(n)}_i\) enthaltendes Intervall \(\delta_i^{(n)}\) zugeordnet, so daß die Intervalle \(\delta_1^{(n)},\,\ldots,\,\delta_n^{(n)}\) einander nicht überschneiden, zu \(\langle a, b\rangle\) gehören und das ganze Intervall \(\langle a, b\rangle\) überdecken. Die Länge von \(\delta^{(n)}_i\) sei ebenfalls mit \(\delta^{(n)}_i\) bezeichnet. Verf. gibt notwendige und hinreichende Bedingungen dafür an, daß für jede in \(\langle a, b\rangle\) summierbare Funktion \(f (x)\) \[ \lim_{n\to\infty} \sum_{i=1}^n \lambda_i^{(n)}\frac1{\delta_i^{(n)}} \int\limits_{\delta_i^{(n)}} f(t)\, dt = \int\limits_a^b f (x)\, dx \] gilt.