Sur un théorème de S. Bernstein concernant la formule de quadrature de P. Tschebycheff. (Q2604665)

Die im Intervall \(0 \leqq x \leqq 1\) definierte reelle Funktion \(p(x) \geqq 0\) läßt eine \textit{Tschebyscheff}sche Quadraturformel \(n\)-ter Ordnung zu, wenn es \(n\) Zahlen \(x_k\) mit \(0 \leqq x\leqq 1\) gibt, so daß für jedes Polynom \(F_n(x)\) vom Grade \(\leqq n\) die Formel \[ \int\limits_0^1 F_n(x)p(x)\,dx = \frac Cn \sum_{k=1}^n F_n(x_k) \quad \left(C= \int\limits_0^1p(x)\,dx > 0\right) \] gilt. Nach \textit{S. Bernstein} (C. R. Acad. Sci. URSS (2) 14, 323-326; JFM 63.0188.*) besteht dann die Ungleichung \[ \frac Cn \leqq \sup \{\sigma_m(\xi + 0)-\sigma_m(\xi-0)\} = \varrho_m(\xi); \tag \(\alpha\) \] dabei bedeutet \(m\) eine natürliche Zahl \(\leqq \frac {n+1}2\), \(\xi\) eine extreme Nullstelle des zur Belegungsfunktion \(p(x)\) gehörenden \textit{Tschebyscheff}schen Polynoms \(P_m(x)\) vom Grade \(m\), und \(\sigma_m(x)\) durchläuft alle in \(0\leqq x \leqq 1\) wachsenden Funktionen, die den \(2m\) Bedingungen \[ \int\limits_0^1 x^kd\sigma_m(x)=\int\limits_0^1 x^kp(x)\,dx, \quad k= 0, 1, \ldots, 2m - 1 \tag \(\beta\) \] genügen. Ist nun das reelle Polynom \(P(x) = \sum\limits_0^{2m-1}c_kx^k\) nichtnegativ für \(0 \leqq x \leqq 1\), so leitet der Verf. aus \((\alpha)\) und \((\beta)\) die Ungleichung ab \[ P(\xi)\cdot \frac Cn \leqq \int\limits_0^1 P(x)p(x)\,dx, \] welche dazu dienen kann, die Unmöglichkeit der \textit{Tschebyscheff}schen Quadraturformel für große \(n\) zu beweisen, wenn man über das Polynom \(P(x)\) passend verfügt. Dies wird an dem Beispiel \(p(x) = x^\alpha(1-x)^\beta\), \(-\frac 12 \leqq \alpha\), \(\beta \leqq \frac 12\), näher erläutert.