Divergence of Lagrange interpolation on a set of second category (Q760862)

Es sei \(X=\{n_{kn}\}_{k=0,1,...,n+1}\) eine unendliche Dreiecksmatrix von Interpolationsknoten im Intervall \([-1,+1]\) und \[ L_ n(f,x):=L_ n(f,X,x):=\sum^{n}_{k=1}f(x_{kn})\ell_{kn}(X,x_{nk}) \] die dazugehörende Folge von Lagrange-Interpolationspolynomen. Wenn \(\omega_ m(f,t)\) der m-te Stetigkeitsmodul und \(\omega_ m(t):=\omega (t^ m)\) ist, führt der Autor die beiden Funktionenklassen \[ C(\omega_ m):=\{f| \omega_ m(f,t)=O_ f(\omega_ m(t))\},\quad C^*(\omega_ m):=\{f| \omega_ m(f,t)=o_ f(\omega_ m(t))\} \] ein. Für Funktionen dieser Klassen werden die folgenden ''Nichtkonvergenz-Resultate'' bewiesen: Satz 1: Sei X gegeben. Dann gelten: \[ (a)\quad \underline{\lim}_{n\to 0}\omega (t)| \ln t| >0\quad \Rightarrow \quad \exists f_ 1\in C(\omega): \overline{\lim}_{n\to \infty}| L_ n(f_ 1,X,x)-f_ 1(x)| \geq 1 \] auf einer dichten Menge zweiter Kategorie in [-1,1]. \[ (b)\quad \lim_{t\to 0}\omega (t) | \ln t| =\infty \quad \Rightarrow \quad \exists f_ 2\in C^*(\omega): \overline{\lim}_{n\to \infty}| L_ n(f_ 2,X,x)| =\infty \] auf einer dichten Menge zweiter Kategorie in [- 1,1]. Satz 2: Sei X gegeben. Dann gilt: \[ \lim_{t\to 0}\omega (t) | \ln t| \quad \Rightarrow \quad \exists f_ 3\in C(\omega): \overline{\lim}_{n\to \infty}\frac{| L_ n(f_ 3,X,x)-f_ 3(x)|}{\omega (1/\mu_ n)\ln n^{3+\epsilon}}\geq 1,\quad \epsilon >0 \] beliebig klein und auf einer dichten Menge zweiter Kategorie in [- 1,1].