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

      0 references
      16 February 1998
      0 references
      near best polynomial approximants
      0 references
      \(\alpha\)-wedge condition
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references