No label defined (Q4026671)

Let \(T\) be a simplex in \(\mathbb{R}^ d\), \(d\in \mathbb{N}\). First, the author introduces an elliptic differential operator \(L^ r\) on \(C^{2r}(T)\), \(r\in \mathbb{N}\), where \(L\) can be considered as a multivariate generalization of the Legendre differential operator \(Lf= (d/dx) x(1- x) f'(x)\) and where \(L^ r f:= L(L^{r- 1} f)\). Then a new polynomial operator \(M^ r_ n(f)\) consisting of linear combinations of the introduced multivariate ``Legendre'' derivatives of Bernstein type polynomials is constructed. Using the close connection between the Bernstein type operator \(M_ n\) and the differential operator \(L\) the author proves, besides other results, that for \(f\in L^ p(T)\), \(1\leq p\leq \infty\), \[ \| M^{r- 1}_ n f- f\|_ p\leq C(n^{-r/2}\| f\|_ p+ \omega^ p_{2r}(f, n^{-1/2})) \] (\(C\) being a constant independent of \(n\) and \(f\)). Corresponding inverse theorems are also given. It shoud be mentioned that the operator \(M^ r_ n\) has analogue approximation properties analogous to those of a Bernstein type operator, introduced by \textit{Z. Ditzian} and \textit{K. Ivanov} [J. Approximation Theory 56, No. 1, 72-90 (1989; Zbl 0692.41021)] in the one-dimensional case. As a further consequence of the derived results the author obtains that in the one-dimensional case \(d= 1\), \(\| M^{r- 1}_ n f- f\|_ p= O(n^{-\alpha})\) is equivalent to \(E^ p_ n(f)= O(n^{- 2\alpha})\), where \(1\leq p\leq \infty\), \(\alpha< r\), and \(E^ p_ n(f)\) denotes, as usual, the minimum deviation of \(f\) with respect to the set of algebraic polynomials of degree less than or equal to \(n\). For the entire collection see [Zbl 0746.00075].