Sur les termes complémentaires de certaines formules d'analyse approximative. (Q2589621): Difference between revisions

Hat man ein System von Funktionen \(\{u_i (x)\}\), die im Bereich \([ab]\) voneinander linear unabhängig sind und soweit wie nötig stetige Ableitungen haben, und wird für gewisse \(\mu\) die Wronskische Determinante \[ W(u_0,u_1, u_2, \dots, u_{\mu - 1}) \not= 0 \quad \text{für}\quad a \leqq x \leqq b, \] so wird für die gleichen \(\mu\) \[ \frac { W(u_0,u_1, u_2, \dots, u_{\mu - 1}, y)} { W(u_0,u_1, u_2, \dots, u_{\mu - 1})} = L_\mu (y|x) = 0 \] eine lineare Differentialgleichung von \(y\) mit in \([ab]\) stetigen Koeffizienten sein. Weiter sei \(A[f(x)]\) ein linearer Operator im Funktionsraum \(C_m\) der Funktionen \(f (x)\), deren Ableitungen bis zu denen \(m\)-ter Ordnung in \([ab]\) stetig sind, der für \(f(x)=\sum\limits_{i=0}^n k_i u_i (x)\) Null wird. Hat \(f (x)\) stetige Ableitungen bis zur \(\mu\)-ten Ordnung, so hat man für jedes \(\mu \) (\(m \leqq \mu \leqq n+1\)) die Beziehung \[ f (x) = \int\limits_{x_0}^x L_\mu (f | z ) H_\mu (x,z) \, dz + \sum_{i=0}^{\mu - 1} c_i u_i (x), \] wo \(H_\mu (x, z)\) die Funktion von Cauchy für obige Differentialgleichung ist. Nach einem Theorem von Riesz ist es dann möglich, eine Funktion \(\alpha_\mu(x)\) zu konstruieren, so daß \[ A [f(x)] = \int\limits_{a}^b L_\mu (f | x ) \, d \alpha_\mu (x) \] ist. Ist \(\alpha_\mu (x)\) monoton, so läßt sich die Formel auch schreiben \[ A [f(x)] = c_\mu L_\mu (f|\xi) \qquad a \leqq \xi \leqq b. \] Aus dieser ergeben sich Ausdrücke für die Restglieder von zahlreichen Formeln der praktischen Analysis. Verf. erwähnt: Die Laplacesche Summen- und Quadraturformel, die Formeln von Tschebyscheff, die Formeln für die numerische Differentiation, die aus den Formeln von Bessel und Stirling folgen, und die trigonometrischen Interpolationsformeln.