No label defined (Q4373754)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1107800
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1107800 |
Statements
16 February 1998
0 references
near best polynomial approximants
0 references
\(\alpha\)-wedge condition
0 references
0.8512226939201355
0 references
Let \(K\) be a compact subset of the complex plane \(\mathbb{C}\) with the connected complement \(\Omega := \mathbb{C} \setminus K\). Let \(\varepsilon_n(f)\) be the error of the best uniform approximation on \(K\) by polynomials of degree at most \(n\). Members of a sequence of polynomials \(\{p_n\}\) are called ``near best'' polynomial approximants to \(f\) on \(K\) if \(\| f - p_n\| _K \leq C \varepsilon_n(f)\) with a constant \(C > 0 \) independent of \(n\). One says that \(\Omega\) satisfies an \(\alpha\)-wedge condition at a prime end (in the sense of Carathéodory) \(\mathcal Z \in \partial \Omega\) if \(\mathcal Z\) is accessible along a curve lying in a wedge of the opening \(\alpha \pi\) with the vertex \(\zeta \in | \mathcal Z | \) contained in \(\Omega\). If there exists \(h>0\) such that the \(\alpha\)-wedge condition is satisfied at each prime end of \(\partial \Omega\) with a wedge of radius \(h\), then we say that \(\Omega\) satisfies an \(\alpha\)-wedge condition. The author shows that if \(\Omega\) satisfies the \(\alpha\)-wedge condition then for any \(\sigma\) with \(0<\sigma <\frac {\alpha}{2-\alpha}\) and for each function \(f\) continuous on \(K\) and holomorphic in the interior \(K^o\) of \(K\) there exists a sequence \(\{p_n\}\) of ``near best'' polynomial approximants to \(f\) on \(K\) (with the constant \(C\) dependent on \(\sigma, \alpha\) and \(h\)) such that \[ \lim_{n \to \infty} \frac {\| f-p_n\| _E}{\varepsilon_n (f)} exp (n^{\sigma)} = 0 \] for every compact subset \(E\) of \(K^o\). For the entire collection see [Zbl 0878.00064].
0 references