Application of orthogonal Tchebycheff polynomials to Lagrangean interpolation and to the general theory of polynomials. (Q2590890)

Verf. behandelt die zum Differential \(d\psi \) einer einsinnig wachsenden Funktion \(\psi (x)\) gehörigen orthogonalen Polynome (o. P.) \(n\)-ten Grades \(\varphi _n(x)\), die also, genormt, \( \) Grundgebiete \(g\) \((a\leqq x\leqq b)\) die Beziehungen befriedigen \[ \textstyle \int\limits_{a}^{b}\varphi _m(x)\,\varphi _n(x)\,d\psi =\delta _{mn}\quad(m, n=0, 1,\dots ). \] Überall vermerkt er die besonderen Ergebnisse für die klassischen o. P. von Jacobi. Laguerre, Hermite. -- Die Arbeit zerfällt in drei Teile. Der erste geht von der sogenannten ``zweiten Orthogonalität'' der o. P. aus; von Tschebyscheff entdeckt, vom Verf. hier anders gewonnen, besagt sie, daß, wenn \(x_k=x_{k, n}\) die Nullstellen von \(\varphi _n(x)\) sind und \(H_k\) das über \(g\) erstreckte Integral des \(k\)-ten Grundpolynoms \(l_k(x)\) der Lagrangeschen Schaltung (L. Sch.) bedeutet, \[ \displaylines{\rlap{\qquad\!(1)} \hfill \textstyle \sum\limits_{k=1}^{n}H_{k}\varphi _i(x_k)\;\varphi _j(x_k)=\delta _{ij},\quad \left.\sum\limits_{i=0}^{n-1}\varphi _i(x_p)\,\varphi _i(x_q)=\right\} \begin{matrix}\l\;&\\ 0,&q\neq p\\ H_p^{-1},&q=p\end{matrix}\hfill} \] ist (\(0\leqq i\), \(j\leqq n-1\); \(p, q = 1\),\dots, \(n\)). (1) liefert eine neue, die \(x_{k}\) als Sehaltstellen verwendende Darstellung des L. Sch.-Polynoms \(L_{n-1}(x)\) [in der ersten Zeile der Formel (29) lies \(\varphi _i(x)\) statt \(\varphi (x_i)\)]. Verf. arbeitet die Ähnlichkeiten der L. Sch.-Formel und der Entwicklung von \(f(x)\) nach den \(\varphi _n(x)\) heraus. Dann schätzt er \(l_k(x)\), \(\sum\limits_{k=1}^{n}|\,l_k(x)\,|\), \(H_k\), \(x_k-x_{k-1}\) bei großen \(w\) ab. -- Im zweiten Teil untersucht er zuerst die Konvergenz der \(L_{n-1}\) gegen \(f(x)\). Er zeigt, daß, wenn \(f(x)\) in einem Teile \(\gamma \) von \(g\) eine Lipschitzsche Bedingung von höherer als \(\frac{1}{2}\)-ter Ordnung erfüllt, \(L_{n-1}(x)\) bei genügender Zahl von Werten \(x_k\) in \(\gamma \) dort gleichmäßig gegen \(f(x)\) strebt. Für Jacobische Polynome, deren beide Parameter \(\leqq \frac{1}{2}\) sind, trifft das in ganz \(g\) zu. Die \textit{mittlere} Konvergenz der \(L_{n-1}(x)\) gegen \(f(x)\), zu der Verf. dann übergeht, kommt stets zustande, wenn \(g\) endlich ist. -- Im dritten Teile betrachtet Verf. \textit{allgemeine} Polynome. Dabei löst er hauptsächlich die Aufgabe, für alle \(G_{n-1}(x)=\sum\limits_{i=0}^{n-1}\kern-2pt g_ix^i\) gegebenen Grades eine gegebene lineare Verbindung der \(g_i\) nach oben abzuschätzen, wenn an \(n\) passend gewählten Stellen obere Schranken von \(|\,G_{n-1}\,|\) bekannt sind.