Convergence of Hermite-Fejér type interpolation of higher order on an arbitrary system of nodes (Q5917529)

Let \(1 \geq x_{1,n} > x_{2,n} > \ldots > x_{n,n} \geq -1\) and \(m_{n,k}\) be natural numbers. Let \(H_n(f,x) = \sum_{k=1}^n f(x_{k,n}) A_{0,k,n}(x)\) be the Hermite-Fejér type interpolant of higher order, namely, for all \(k=1,\ldots,n\) it holds \(H_n(f,x_{k,n})=f(x_{k,n})\) and \(H_n^{(j)}(f,x_{k,n}) = 0\), \(j=1,2,\ldots,m_{k,n}-1\). The following criterion of convergence is established. Let all \(m_{k,n}\) be even. Then \(H_n(f)\) converges uniformly to \(f\) for any \(f \in C[-1,1]\) if and only if \(\left\| \sum_{k=1}^n | A_{0,k,n}| \right\| = O(1)\) and the uniform convergence takes place for the two functions \(f_1=x\) and \(f_2=x^2\). Under the weaker condition that all \(m_{k,n}\) are equal and even, the criterion was proved by the author earlier in [J. Approximation Theory 105, No. 1, 49--86 (2000; Zbl 0957.41001)].