Sur certaines classes de fonctionnelles linéaires dans les espaces \(C_p\) et sur les termes complémentaires des formules d'analyse approximative. I, II. (Q2587269): Difference between revisions

Der erste Teil der Arbeit enthält allgemeine Untersuchungen über gewisse lineare Funktionale. \(A\) sei eine Funktionaloperation, die einer jeden reellen Funktion \(f (x)\), die im Intervall \(\langle a, b\rangle\) eindeutig ist und eine stetige Ableitung \(m\)-ter Ordnung (\(m \geqq 0\), \(f^{(0)}(x)\equiv f(x))\) besitzt, eine gewisse Zahl \(A[f(x)]\) zuordnet. Das Funktional \(A [f(x)]\) möge folgende Eigenschaften besitzen: \[ A [f_1(x) + f_2(x)] = A [f_1(x)] + A [f_2(x)], \tag{"A)"} \] \[ | A [f (x)] | \leqq K \cdot \max(M^{(0)}, M^{(1)}, \dots, M^{(m)}), \tag{"B)"} \] wo \(K\) von \(f (x)\) nicht abhängt und \[ M^{(i)} = \max_{a \leqq x \leqq b} |f^{(i)} (x)|, \qquad (i = 0, 1,\dots, m) \quad\text{ ist.} \] \[ A [P_n(x)] = 0 \quad \text{für jedes Polynom }P_n(x)\text{ vom Grade } \leqq n, \text{ wo } n \geqq m-1. \tag{"C)"} \] Ist \(\mu \) eine ganze Zahl mit \(m \leqq \mu \leqq n+1\), so gibt es eine solche Funktion von beschränkter Variation \(\alpha_\mu (x)\), daß für jede Funktion \(f (x)\) mit stetiger \(\mu\)-ter Ableitung in \(\langle a, b\rangle\) \[ A[f(x)]= \int\limits_a^b f^{(\mu)} (x) d\alpha_\mu (x) \tag{1} \] gilt, wo das Integral im Sinne von Stieltjes zu nehmen ist. Für \(\mu > m\) gilt die Darstellung mit dem Riemannschen Integral \[ A[f(x)]= -\int\limits_a^b f^{(\mu)} (x) \alpha_{\mu -1}(x)\, d (x) . \tag{2} \] Die Funktionen \(\alpha_\mu (x)\) werden nach einer Methode von \textit{F. Riesz} (Ann. sci. École norm. sup. (3) 28 (1911), 33-62; F. d. M. 42, 374 (JFM 42.0374.*)) gebildet. Im Fall \(\mu > m\) gelten zu (1) und (2) analoge Darstellungen mit Lebesgueschen bzw. Stieltjes-Lebesgueschen Integralen, wenn nur die Existenz einer absolut stetigen \((\mu - 1)\)-ten Ableitung von \(f (x)\) vorausgesetzt wird. Die \(\alpha_\mu (x)\) (\(\mu = m, m+1, \dots, n-1\)) sind orthogonal im Intervall \(\langle a, b\rangle\) bezüglich eines jeden Polynoms vom Grade \(\leqq n -\mu - 1\). Wichtig für die Anwendungen ist die Darstellung \[ A[f(x)] = c f^{(n+1)} (\xi) \quad (a \leqq \xi \leqq b) \quad c = A\left[ \frac {x^{n+1}+ P_n(x)} {(n+1)!} \right], \tag{3} \] wo \(P_n(x)\) ein beliebiges Polynom vom Grade \(\leqq n\) ist. Die vorhergehenden Untersuchungen werden sodann auf Funktionale \(A[f(x)] \) übertragen, für die an Stelle der Eigenschaft C) \(A [P^*_n (x) ] = 0\) gilt, mit \[ P^*_n (x) = c_0u_0 (x) + \cdots + c_n u_n (x) \qquad (n \geqq m - 1). \] Hier sind die \(c_\nu\) Konstanten, die \(u_\nu (x)\) linear unabhängige Funktionen, die in \(\langle a, b\rangle\) genügend oft differenzierbar sind. Für jede ganze Zahl \(\mu\) mit \(m \leqq \mu \leqq n+1\), für die in \(\langle a, b\rangle\) die Wronskische Determinante \(W(u_0,u_1,\dots, u_{\mu - 1})\not = 0\) ist, gibt es eine Funktion von beschränkter Variation \(\alpha_\mu (x)\), so daß für jede Funktion \(f (x)\), deren \(\mu\)-te Ableitung in \(\langle a, b\rangle\) stetig ist, \[ A[f(x)]= \int\limits_a^b L\mu (f/x) \,d \alpha_\mu (x) \] gilt, mit \[ L_\mu (f/x) \equiv \frac {W(u_0,u_1,\dots, u_{\mu - 1},f)} {W(u_0,u_1,\dots, u_{\mu - 1})}, \quad L_0 (f/x) \equiv f(x). \] Auch (2) wird entsprechend verallgemeinert. Dem Ausdruck (3) entspricht die Beziehung \(A [f(x)] = c_\mu L_\mu (f/\xi)\) (\(a \leqq \xi \leqq b\)), wo \(c_\mu = A [S_\mu (x)]\) und \(S_\mu (x)\) eine Lösung der linearen Differentialgleichung \(L_\mu (y/x) = 1\) ist. Der zweite Teil enthält die Anwendung der Ergebnisse des ersten Teils auf die Fehlerabschätzung von Formeln der praktischen Analysis. Insbesondere werden einfache Ausdrücke erhalten für die Fehler der Laplaceschen Quadraturformel mit inneren Koordinaten, der Tschebyscheffschen Formeln der mechanischen Quadratur und von verschiedenen Formeln der angenäherten Differentiation, die sich aus den Interpolationsformeln von Stirling und Bessel ergeben.