Boundary smoothness properties of \(\text{Lip }\alpha\) analytic functions (Q1326641)

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 569417
Language Label Description Also known as
default for all languages
No label defined
    English
    Boundary smoothness properties of \(\text{Lip }\alpha\) analytic functions
    scientific article; zbMATH DE number 569417

      Statements

      Boundary smoothness properties of \(\text{Lip }\alpha\) analytic functions (English)
      0 references
      0 references
      0 references
      19 June 1994
      0 references
      Let \(U\) be an open set and \(b\in \text{bdy}(U)\). Let \(0< \alpha< 1\). Let \(A(U)\) denote the space of \(b\) \(\text{Lip }\alpha\) functions that are analytic on \(U\), and \(a(U)\) the subspace \(\text{lip }\alpha\cap A(U)\). The space \(a(U\cup \{b\})\), consisting of the functions that are analytic near \(b\), is dense in \(a(U)\). Let \(k\) be a natural number. One says that \(a(U)\) admits a \(k\)th order continuous point derivation (cpd) at \(b\) if the functional \(f\mapsto f^{(k)}(b)\) is continuous on \(a(U\cup \{b\})\), with respect to the \(\text{Lip }\alpha\) norm. Theorem: \(a(U)\) admits a \(k\)th order cpd at \(b\) if and only if \[ \sum^ \infty_{n= 1} 2^{(k+ 1)n} M^{1+ \alpha}_ *(A_ n(b)\sim U)<+ \infty. \] Here \(M^ \beta_ *\) deotes \(\beta\)-dimensional lower Hausdorff content, and \(A_ n(b)\) denotes the annulus \[ \{z\in \mathbb{C}: | z- b|\in [2^{- n- 1}, 2^{- n}]\}. \] There is a weak-star topology on \(A(U)\), and the space \(A(U\cup \{b\})\) is weak-star dense in \(A(U)\). One says that \(A(U)\) admits a \(k\)th order weak-star cpd at \(b\) if the functional \(f\mapsto f^{(k)}(b)\) is weak-star continuous on \(A(U\cup \{b\})\). Theorem: \(A(U)\) admits a \(k\)th order weak-star cpd at \(b\) if and only if \[ \sum^ \infty_{n= 1} 2^{(k+ 1)n} M^{1+ \alpha} (A_ n(b)\sim U)<+\infty. \] This time, \(M^ \beta\) denotes ordinary \(\beta\)- dimensional Hausdorff content.
      0 references
      continuous point derivation
      0 references
      \(\text{Lip }\alpha\) norm
      0 references
      \(k\)th order
      0 references
      Hausdorff content
      0 references

      Identifiers