Extension and restriction of holomorphic functions on convex finite type domains (Q648754): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 00:51, 5 March 2024

scientific article
Language Label Description Also known as
English
Extension and restriction of holomorphic functions on convex finite type domains
scientific article

    Statements

    Extension and restriction of holomorphic functions on convex finite type domains (English)
    0 references
    28 November 2011
    0 references
    Let \(D\) be a convex domain of finite type in \(\mathbb C^n\) with smooth boundary \(bD\) and \(S\) a non-singular hypersurface in \(D\). The article deals with the problem of characterizing those holomorphic functions on \(S\) which can be extended to \(p\)-integrable holomorphic functions on \(D\). It is assumed that \(S=A\cap D\), where \(A:=\{z\in U\mid g(z)=0\}\) is defined by a regular holomorphic function \(g\) in a neighborhood \(U\) of \(\overline{D}\), and that \(A\) intersects \(bD\) transversally. The extension theorems of the paper are proved under additional assumptions (if \(n\geq 3\)) concerning specific non-degeneracy properties of \(g\). A central result is the following: It exists a finite positive Borel measure supported on S with the property that the restriction operator \(R_S:\text{Hol}(D)\rightarrow \)Hol\((S)\) induces an epimorphism \[ H^p(D)=\left\{f\in \text{Hol} (D)\;\Big|\; \int_D|f|^pdV<\infty\right\}\rightarrow H^p(S,\mu)=\left\{f\in \text{Hol}(S)\;\Big|\; \int_S|f|^pd\mu<\infty\right\}. \] Moreover there is a linear operator \(E_S:H^p(S,\mu)\rightarrow H^p(D)\) with \(R_S\circ E_S=\)id, hence a splitting of the Banach space \(H^p(D)=\big(\text{Ker}R_S\cap H^p(D)\big)\oplus H^p(S,\mu)\), \(1\leq p<\infty\). Another result of the article, which is valid for \(n>1\) in the above setting without additional assumptions, gives a necessary and sufficient condition for a finite Borel measure supported on \(S\) such that \(R_S\big(H^2(D)\big)\subset H^2(S,\mu)\). This result is closely related to the main topic of the author's paper [Manuscr. Math. 133, No. 1--2, 1--18 (2010; Zbl 1233.32006)].
    0 references
    \(p\)-integrable holomorphic function
    0 references
    finite positive Borel measure
    0 references
    convex domain of finite type
    0 references
    Whitney type cover
    0 references
    non-isotropic polydisk
    0 references
    Bergman space
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references