Bounds for extended Lipschitz constants (Q1187301)

Let \(X\) be a closed subset of \(I=[-1,1]\) with cardinality at least \(n+2\), and \(C[X]\) the space of real-valued functions on \(X\) endowed with the uniform norm. The set of all polynomials of degree \(n\) or less is denoted by \(\pi_ n\), and let \(B_ n(f)\) be the best uniform approximation to \(f\in C[X]\) from \(\pi_ n\). Let \(e_ n(f)(x)=f(x)-B_ n(f)(x)\), \(x\in X\) and \(E_ n(f)=\{x\in X;| e_ n(f)(x)=\| e_ n(f)\|\}\). The extended global Lipschitz constant is defined to be \(L_ n(f)=\inf\{\lambda_ n(h);h\in C[x],E_ n(h)=E_ n(f)\) and \(\text{sign} e_ n(h)(x)=\gamma\text{sgn} e_ n(f)(x)\), \(x\in E_ n(f)\), where \(\gamma=+1\) or \(-1\}\). Here \(\lambda_ n(f)\) is globally Lipschitz constant. The main result of this paper is: Theorem. Suppose \(f\in C[x]\), and suppose that \(E_ n(f)=X_ n=\{x_ 0,x_ 1,\ldots,x_{n+1}\}\). Then \(\hat\lambda_ n(f)\leq L_ n(f)\leq 6+4\hat\lambda_ n(f)\), where \(\hat\lambda_ n(f)\) is the local Lipschitz constant.