Polynomial approximation on $C^2$-domains
Abstract
We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact $C^2$-domain $\Omega\subset \mathbb{R}^d$. This new modulus of smoothness is defined via finite differences along the directions of coordinate axes, and along a number of tangential directions from the boundary. With this modulus, we prove both the direct Jackson inequality and the corresponding inverse for the best polynomial approximation in $L_p(\Omega)$. The Jackson inequality is established for the full range of $0<p\leq \infty$, while its proof relies on a recently established Whitney type estimates with constants depending only on certain parameters; and on a highly localized polynomial partitions of unity on a $C^2$-domain which is of independent interest. The inverse inequality is established for $1\leq p\leq \infty$, and its proof relies on a recently proved Bernstein type inequality associated with the tangential derivatives on the boundary of $\Omega$. Such an inequality also allows us to establish the inverse theorem for Ivanov's average moduli of smoothness on general compact $C^2$-domains.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2022
- DOI:
- 10.48550/arXiv.2206.01544
- arXiv:
- arXiv:2206.01544
- Bibcode:
- 2022arXiv220601544D
- Keywords:
-
- Mathematics - Classical Analysis and ODEs;
- Mathematics - Numerical Analysis;
- 41A10;
- 41A17;
- 41A27;
- 41A63;
- 41A55;
- 65D32
- E-Print:
- the material in this article is based heavily on a part of arXiv:1910.11719