Convergence of processes of interpolation in a complex domain (Q1907394): Difference between revisions

Let \(D\) be the unit disc in the complex plane with boundary \(\gamma\) and let \(AC\) be the set of functions analytic in \(D\) and continuous in the closed disc \(\overline D\). For any function \(\omega\) which is continuous, semiadditive and nondecreasing on the semi-axis \([0, \infty)\) such that \(\omega (0) = 0\) the set \(AC (\omega)\) consists of all functions \(f \in AC\) such that the modulus of continuity \(\omega (f; \delta)\) of \(f\) satisfies \(\omega (f; \delta) = O (\omega (\delta))\). A triangular matrix of points \(z_{k,n} \in \gamma\) with \(1 \leq k \leq n\) is called regular if for each fixed \(n\) the points \(z_{k,n}\) form the vertices of a regular \(n\)-gon. The Lagrange interpolation polynomial for \(f\) at the knots \(z_{k,n}\) is denoted by \(L_n (f,z)\). It is known that for a regular matrix of interpolation points \(L_n (f,z)\) converges uniformly on the closed disc to \(f\) for all \(f \in AC (\omega)\) provided \(\omega\) satisfies the Dini-Lipschitz condition \(\lim \omega (1/n) \ln n = 0\). On the other hand if \((*)\) \(\lim \sup \omega (1/n) \ln n > 0\) then there exists a function \(f \in AC (\omega)\) such that \(L_n (f,z)\) does not converge to \(f\) on some subset of \(\gamma\) of the second category. The main result of the present paper: If for each \(n\) the \(z_{k,n}\) are the \(n\)-th roots of \(-1\), and \(\omega\) satisfies \((*)\) and \(\lim \delta/ \omega (\delta) = 0\) for \(\delta \to 0\) then there exists \(f \in AC (\omega)\) such that \(L_n (f,z)\) does not converge to \(f(z)\) at each point \(z \in \gamma\).