Compactness of Hankel operators with symbols continuous on the closure of pseudoconvex domains (Q1727962)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Compactness of Hankel operators with symbols continuous on the closure of pseudoconvex domains
scientific article

    Statements

    Compactness of Hankel operators with symbols continuous on the closure of pseudoconvex domains (English)
    0 references
    0 references
    0 references
    0 references
    21 February 2019
    0 references
    The authors study the relation between the compactness of a Hankel operator and the boundary behavior of the symbol. Let \(\Omega\) be a domain in \(\mathbb{C}^n\) and let \(A^2(\Omega)\) be its Bergman space. The Bergman projection is the orthogonal projection \(P:L^2(\Omega)\to A^2(\Omega)\). The Hankel operator \(H_{\phi}:A^2(\Omega)\to L^2(\Omega)\) with symbol \(\phi\in L^{\infty}(\Omega)\) is defined as \[ H_{\phi}f=(I-P)(\phi f), \] where \(I\) denotes the identity operator. The main result is that, when \(\Omega\) is bounded pseudoconvex in \(\mathbb{C}^2\) with Lipschitz boundary and \(\phi\in C(\overline{\Omega})\), if \(H_{\phi}\) is compact on \(A^2(\Omega)\), then \(\phi\circ f\) is holomorphic for any holomorphic \(f:\mathbb{D}\to b\Omega\). This improves the previous result by \textit{T. G. Clos} and \textit{S. Şahutoğlu} [Complex Anal. Oper. Theory 12, No. 2, 365--376 (2018; Zbl 1465.47020)] in one direction. Based on the result by \textit{P. Matheos} [A Hartogs domain with no analytic discs in the boundary for which the $\overline{\partial}$-Neumann problem is not compact. PhD Thesis. University of California Los Angeles, CA (1997)] and the result by \textit{S. Şahutoğlu} and \textit{Y. E. Zeytuncu} [J. Geom. Anal. 27, No. 2, 1274--1285 (2017; Zbl 1375.32061)], the converse the main result is not true. The authors also prove a similar result in the setting of convex domains in \(\mathbb{C}^n\). Namely, when \(\Omega\) is bounded convex in \(\mathbb{C}^n\) and \(\phi\in C(\overline{\Omega})\), if \(H_{\phi}\) is compact on \(A^2(\Omega)\), then \(\phi\circ f\) is holomorphic for any holomorphic \(f:\mathbb{D}\to b\Omega\). However, the converse of the second result is still open.
    0 references
    0 references
    Hankel operators
    0 references
    convex domains
    0 references
    pseudoconvex domains
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers