Quelques observations sur l'approximation de fonctions au moyen de polynômes à coefficients entiers. (Q578361)

\(\alpha\) sei eine feste Zahl zwischen 0 und \(\frac 12\); \(f(x)\) eine beschränkte Funktion im Intervall \((\alpha,1-\alpha)\); \(E_n\) bzw. \(E_n^e\) bedeute die beste \textit{Tschebyscheff}sche Annäherung von \(f(x)\) im genannten Intervall durch Polynome vom Grade \(\leqq n\) mit beliebigen bzw. mit ganzzahligen Koeffizienten. Verf. zeigt zunächst, indem er sich der \textit{Bernstein}schen Darstellung \(\sum\limits_{k=0}^nb_kx^k(1-x)^{n-k}\) eines Polynoms \(n\)-ten Grades bedient, daß \[ E_n^e-E_n=O((1-\alpha)^n), \quad \text{genauer} \quad 0\leqq E_n^e-E_n\leqq \frac{(1-\alpha)^{n+1}-\alpha^{n+1}}{1-2\alpha}. \] Aus diesem Satze und aus bekannten Ergebnissen von \textit{S. Bernstein} (Sammlung Mitteil. Protokolle math. Ges. Charkow (2) 13 (1912), 49-194; F. d. M. 43, 493 (JFM 43.0493.01)) folgert er die Beziehung \(\lim\limits_{n\to \infty} \dfrac{E_n^e}{E_n}=1\), wenn \(f(x)\) in der Ellipse mit den Brennpunkten \(\alpha\), \(1-\alpha\) und mit der Halbachsensumme \(a+b= \dfrac{1-2\alpha}{2(1-\alpha)}\) \textit{nicht} analytisch regulär ist. Es sei ferner \(f(x)\) eine im Intervall \(\langle 0,1\rangle\) stetige Funktion mit \(f(0)=f(1)=0\); \(E_n\) und \(E_n^e\) mögen die oben erklärte Bedeutung in bezug auf das Intervall \(\langle 0,1\rangle\) haben und \(E_n'\) sei die beste Annäherung von \(f(x)\) in \(\langle 0,1\rangle\), wenn zur Konkurrenz nur Polynome \(P(x)\) vom Grade \(\leqq n\) zugelassen werden, die der Bedingung \(P(0)=P(1)=0\) genügen. Dann bestehen die Beziehungen \[ E_n^e=E_n'+O\left(\frac 1n \right)\leqq 2E_n+O\left(\frac 1n\right). \]