Polynomial approximation on $C^2$-domains

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Dai, Feng, Prymak, Andriy
Format: Preprint
Published: 2022
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866916686684225536
author Dai, Feng
Prymak, Andriy
author_facet Dai, Feng
Prymak, Andriy
contents 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 $Ω\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(Ω)$. 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 $Ω$. Such an inequality also allows us to establish the inverse theorem for Ivanov's average moduli of smoothness on general compact $C^2$-domains.
format Preprint
id arxiv_https___arxiv_org_abs_2206_01544
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle Polynomial approximation on $C^2$-domains
Dai, Feng
Prymak, Andriy
Classical Analysis and ODEs
Numerical Analysis
41A10, 41A17, 41A27, 41A63, 41A55, 65D32
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 $Ω\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(Ω)$. 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 $Ω$. Such an inequality also allows us to establish the inverse theorem for Ivanov's average moduli of smoothness on general compact $C^2$-domains.
title Polynomial approximation on $C^2$-domains
topic Classical Analysis and ODEs
Numerical Analysis
41A10, 41A17, 41A27, 41A63, 41A55, 65D32
url https://arxiv.org/abs/2206.01544