The commutator of the Bergman projection on strongly pseudoconvex domains with minimal smoothness

From MaRDI portal
(Redirected from Publication:6065769)



Abstract: Consider a bounded, strongly pseudoconvex domain DsubsetmathbbCn with minimal smoothness (namely, the class C2) and let b be a locally integrable function on D. We characterize boundedness (resp., compactness) in Lp(D),p>1, of the commutator [b,P] of the Bergman projection P in terms of an appropriate bounded (resp. vanishing) mean oscillation requirement on b. We also establish the equivalence of such notion of BMO (resp., VMO) with other BMO and VMO spaces given in the literature. Our proofs use a dyadic analog of the Berezin transform and holomorphic integral representations going back (for smooth domains) to N. Kerzman & E. M. Stein, and E. Ligocka.


In what follows, given an exponent \(1<q<+\infty\), we let \(q':=\frac{q}{q-1}\), \(\mathrm{BMO}^p_r\) (resp., \(\mathrm{VMO}^p_r\)) denotes the bounded mean oscillation (resp., vanishing mean oscillation) space which takes the \(L^p\) average over all the Kobayashi balls with radius \(r>0\). Let \(P\) denote the Bergman projection. The main results of the paper are the following. Let \(D\subset\mathbb C^n\) be a bounded strongly pseudoconvex domain with \(\mathcal C^2\) boundary, \(q\geq2\), \(r>0\), \(b\in L^q(D)\). \begin{itemize} \item[1.] The commutator \([b,P]\) is bounded on \(L^p(D)\) for \(q'\leq p\leq q\) if and only if \(b\in\mathrm{BMO}^q_r\). In this case \[ \|[b,P]\|_{L^p(D)}\lesssim\|b\|_{\mathrm{BMO}^q_r}, \] where the implicit constant in the above estimate only depends on the parameters \(r\), \(p\), \(q\), and the domain \(D\). \item[2.] The commutator \([b,P]\) is compact on \(L^p(D)\) for \(q'\leq p\leq q\) if and only if \(b\in\mathrm{VMO}^q_r\). \item[3.] If \(1\leq p<+\infty\) then \[ \mathrm{BMO}^p_{\mathcal B}=\mathrm{BMO}^p_{\mathcal D}=\mathrm{BMO}^p_r,\quad \mathrm{VMO}^p_{\mathcal B}=\mathrm{VMO}^p_{\mathcal D}=\mathrm{VMO}^p_r, \] where \(\mathrm{BMO}^p_{\mathcal D}\) (resp., \(\mathrm{VMO}^p_{\mathcal D}\)) is the dyadic \(\mathrm{BMO}\) (resp., \(\mathrm{VMO}\)) space which takes the \(L^p\) average over the dyadic ``tents in \(D\) and \(\mathrm{BMO}^p_{\mathcal B}\) (resp., \(\mathrm{VMO}^p_{\mathcal B}\)) is the \(\mathrm{BMO}\) (resp., \(\mathrm{VMO}\)) space induced by a Berezin-like transform. \end{itemize}



Cites work









This page was built for publication: The commutator of the Bergman projection on strongly pseudoconvex domains with minimal smoothness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6065769)