Analysis on Besov spaces. II: Embedding and duality theorems (Q2370767)

This article continues the authors' previous paper [J. Math. Anal. Appl. 310, No. 2, 477--491 (2005; Zbl 1085.32003)] about Besov spaces of holomorphic functions on domains~\(D\) for which the complex geometry of the boundary is well understood: namely, strictly pseudoconvex domains in~\(\mathbb{C}^{n}\), pseudoconvex domains of finite type in~\(\mathbb{C}^{2}\), and convex domains of finite type in~\(\mathbb{C}^{n}\). Let \(\delta(z)\) denote the distance from a point~\(z\) in~\(D\) to the boundary of~\(D\), let \(K(z)\) denote the Bergman kernel function of~\(D\) on the diagonal, and let \(dv\) denote Lebesgue measure. The authors define \(B^{p}(D)\) to be the space of holomorphic functions for which \(\delta(z)^{n+1}\nabla^{n+1}f(z)\) belongs to the weighted space \(L^{p}(D,K\,dv)\). The main results are the following. Theorem~1: If \(1<p<\infty\), then the space \(B^{p}(D)\) embeds compactly into the space \(VMOA\) of functions with vanishing mean oscillation; functions in the space \(B^{1}(D)\) extend to be continuous functions on the closure of~\(D\). Theorem~2: If \(1<p\leq\infty\), then \(B^{p}(D)\) is the dual of the space of holomorphic functions that belong to \(L^{p/(p-1)}(D,K^{1/(1-p)}\,dv)\), the duality being exhibited by the unweighted \(L^{2}\) pairing. Theorem~3: Let \(d(z,w)\) denote the distance between \(z\) and~\(w\) in the Bergman metric on~\(D\); then \(| f(z)-f(w)| \) is bounded by a constant (depending on \(p\) and~\(D\)) times the \(B^{p}\) norm of~\(f\) times \(1+d(z,w)^{(p-1)/p}\). Theorem~4: If \(1\leq p \leq\infty\), then the subspace of \(B^{p}(D)\) consisting of bounded functions is an algebra; moreover, if multiplication by a holomorphic function~\(f\) is a bounded operator on \(B^{p}(D)\), then \(f\)~is a bounded function, and every bounded function in a certain subspace \(LB^{p}(D)\) of \(B^{p}(D)\) does generate a bounded multiplication operator on \(B^{p}(D)\).