Weighted holomorphic Besov spaces on the polydisk (Q646795)

The purpose of this article is to introduce holomorphic weighted Besov spaces on the unit polydisk \(\mathbb{D}^n\) in such way that the known classical results of the one variable case remain true. The class of weights belong to the so-called space \(S\) of functions of regular variation. Let \(1 \leq p < \infty\) and let \(w= (w_1, w_2,\dots, w_n)\), \(w_j \in S\) (\(1 \leq j \leq n\)). We denote by \(L_p(w)\) the set of all measurable functions on \(\mathbb{D}^n\) for which \[ \|f\|_{L_p(w)}^{p} = \int _{\mathbb{D}^n} |f(z)|^p \frac{w(1-|z|)}{(1 - |z|^2)^2} dV(z) < \infty, \] where \(dV\) denotes the Lebesgue measure on \(\mathbb{D}^n\). A holomorphic function on \(\mathbb{D}^n\) belongs to the weighted Besov space \(B_p(w)\) if \[ \|f\|_{B_p(w)}^{p} = \int _{\mathbb{D}^n} |Df(z)|^p \frac{w(1-|z|)}{(1 - |z|^2)^{2-p}} dV(z) < \infty. \] Here \(Df\) represents a special fractional derivative of \(f\). One of the main results states that for \(\beta = (\beta_1, \beta_2,\dots, \beta_n)\), \(\beta_j > 1\) for all \(j\) and \(1 \leq p < \infty\), \(f \in B_p(w)\) if and only if \(g(z) = (1 - |z|^2)^{\beta} D^{\beta}f(z) \in L_p(w).\) Moreover \(\|f\|_{B_p(w)} \approx \|g\|_{L_p(w)}\). The authors also prove projection theorems and theorems of the existence on a right inverse.