New examples of illusory interpolations. (Q1521830): Difference between revisions

Es bezeichne \(f(x)\) eine Function, welche innerhalb eines gegebenen Flächenraumes \(S_x\) holotrop ist; \(x_1, x_2, \dots, x_n\) seien beliebige, von einander verschiedene Grössen in \(S_x, f_n (x)\) das durch die \(n\) numerischen Gleichungen \(f_n (x_1) = f (x_1), f_n (x_2) = f (x_2), \dots, f_n (x_n) = f (x_n)\) bestimmte Polynom, dessen Grad höchstens gleich \(n-1\) ist; endlich sei \(\omega (x) = (x-x_1) (x-x_2) \dots (x-x_n);\) dann gilt die Formel \(f (x) - f_n (x) = \omega (x) E_t\, \frac {f (t)}{[\omega (t) (t-x)]},\) wenn \(x\) in \(S_x\) liegt und das Zeichen \(E\) sich auf die Werte \(x, x_1, x_2, \dots, x_n\) erstreckt. Diese Formel wird für den Fall specialisirt, dass \(f (x)\) ein rationaler Bruch ist, und dann auf \(f (x) = \frac {1}{x^2+1}\) und \(f (x) = \frac {1}{x^2-1}\) angewandt. Im ersten Falle wird \(n=2\nu\) angenommen, statt der Grössen \(x_1, \dots, x_n\) werden die von Null verschiedenen Werte \(\pm \xi_1, \pm \xi_2, \dots, \pm \xi_n\) gesetzt, dann ergiebt sich \[ \frac {1}{x^2+1} - f_n (x) = \frac {(-1)^\nu}{x^2+1} \left( \frac {x^2- \xi_1^2} {1+\xi_1^2} \cdots \frac {x^2-\xi_\nu^2}{1+\xi_\nu^2} \right). \] Bezeichnet man jetzt durch \({\varXi}, {\varTheta}\) zwei beliebige positive Grössen, von denen die zweite \(>1\) ist, und nimmt die Grössen \(\xi_\nu\) kleiner als \({\varXi},\) \(x\) reell uns so an, dass \(| x| > \sqrt{\varTheta}^2 + {\varXi} + {\varTheta \varXi}^2\) ist, so wird die rechte Seite grösser als \(\varTheta^\nu\) und daher mit unendlich wachsendem \(\nu\) selbst unendlich. Im zweiten Beispiel \(\left(f(x) = \frac {1}{x^2-1} \right)\) bedeuten \(\xi_1', \xi_2', \dots, \xi_{\nu'}^\prime , \xi_1^{\prime \prime}, \xi_2^{\prime \prime}, \dots, x_{\nu'}^{\prime \prime}\) reelle Grössen, die sämtlich zwischen 0 und 1 (mit Ausschluss der Grenzen) liegen, \(n\) ist gleich \(2\nu' + 2\nu^{\prime \prime}.\) Für \(x=0\) ergiebt sich \(\left( \frac {1}{x^2-1} \right)_{x=0} - f_n (0) = 2^{\nu \prime \prime} \frac {\xi_1^{\prime 2}}{1-\xi_1^{\prime 2}} \cdots \frac {\xi_{\nu^\prime}^{\prime 2}}{1-\xi_{\nu^\prime} ^{\prime 2}};\) nimmt man jetzt die Grössen \(\xi > \sqrt {\tfrac{2}{3}}\) an, so wird \(\frac {\xi^2}{1-\xi^2} > 2;\) daher wird auch in diesem Falle für ein hinreichend grosses \(\nu''\) die Formel illusorisch.