L'application d'une formule de T. J. Stieltjes à un problème de M. D. Pompeiu. (Q2590795)

Verf. geht von einer Verallgemeinerung des Mittelwertsatzes der Differentialrechnung aus, die man Stieltjes verdankt: Ist die Funktion \(f(x)\) auf dem abgeschlossenen Intervall \(\langle a, b\rangle\) \(n\)-mal differenzierbar, sind \(x, x_1,\ldots, x_n\) paarweise verschiedene Stellen aus \(\langle a, b\rangle\), und setzt man \[ \varphi(z)=(z-x)(z-x_1)\cdots (z-x_n), \tag{1} \] so existiert eine zwischen min \((x, x_1, \ldots, x_n)\) und max \((x, x_1,\ldots, x_n)\) gelegene Zahl \(\xi\), so daß sie die Gleichung \[ \dfrac{f(x)}{\psi'(x)}+ \dfrac{f(x_1)}{\psi'(x_1)}+\cdots +\dfrac{f(x_n)}{\psi'(x_n)}= \dfrac{1}{n!}f^{(n)}(\xi)\tag{2} \] erfüllt. Verf. schreibt (2) in Determinantenform: \[ \begin{vmatrix} f(x) & x^{n-1}\cdots 1\\ f(x_1) & x_1^{n-1}\cdots 1\\ f(x_n) & x_n^{n-1}\cdots 1\\ \end{vmatrix} =\dfrac{\varDelta}{n!}f^{(n)}(\xi);\tag{3} \] dabei bedeutet \(\varDelta\) die Vandermondesche Determinante der Zahlen \(x, x_1,\ldots, x_n\). Verf. beweist nun: Ist \(f(x)\) ein Polynom \((n + 1)\)-ten Grades, so ist die Zahl \(\xi\) das arithmetische Mittel aus \(x, x_1, \ldots, x_n\): \[ \xi=\dfrac{x+x_1+\cdots +x_n}{n+1}. \tag{4} \] Wird umgekehrt die Gleichung (3) durch diesen Wert \(\xi\) erfüllt, so ist \(f (x)\) ein Polynom \((n + 1)\)-ten Grades. Die Gleichung (3) mit dem durch (4) gegebenen Wert \(\xi\) ist also für die Polynome \((n+ 1)\)-ten Grades charakteristisch; das ist eine Verallgemeinerung eines für \(n = 1\) von \textit{D. Pompeiu} (C. R. Acad. Sci., Paris, 190 (1930), 1107-1109; JFM 56.0222.*) bewiesenen Satzes.