Alcune considerazioni sull' interpolazione lineari. (Q574012)

Es sei \(f (x) \not = 0\) eine zu interpolierende, dreimal stetig differenzierbare Funktion, \(\varphi (x) = \dfrac 1{f(x)}\). Man setze \[ g (x_0, k, h) = \frac {h f(x_0+k) + k f(x_0 - h)}{h + k}, \] \[ e (x_0, k, h) = |g (x_0, k, h) - f(x_0) |; \] ferner \[ \gamma (x_0, k, h) = \frac {h \varphi (x_0+k) + k \varphi(x_0 - h)}{h + k}, \quad F(x_0, k,h) = \frac 1{\gamma (x_0, k,h)}, \] \[ \varepsilon(x_0, k, h) = |F(x_0, k, h) - f(x_0)|. \] Verf. untersucht die Frage, wann man \(f(x_0)\) besser durch \(g(x_0,k,h)\) und wann besser durch \(F (x_0, k, h)\) interpoliert. Diese Frage läuft hinaus auf die Suche nach Kriterien dafür, daß \(\varepsilon > e\) bzw. \(\varepsilon < e\) gilt. Verf. beweist folgenden Satz: Es sei für \(| l| \leqq \lambda \, | f(x_0 + l) | > N\) und \(| f^{\prime\prime\prime}(x_0 + l) | < P\) (\(\lambda, N, P\) positiv). Ist dann \[ \{f^\prime (x_0)\}^2- f^{\prime\prime}(x_0) f(x_0)\lessgtr 0, \] so gibt es eine positive Zahl \(\chi\) derart, daß für \(0 \leqq h \leqq \chi\), \(0 \leqq k \leqq \chi\) die Ungleichung \(\varepsilon - e \lessgtr 0\) gilt. Für \(\chi\) wird eine Schranke angegeben. Die praktische Brauchbarkeit des Kriteriums wird an Hand einiger Beispiele erörtert.