The diagonal mapping in mixed norm spaces

From MaRDI portal





Let \(H(U^n)\) be the space of all functions holomorphic on the \(n\)-dimensional unit polydisk \(U^n\). Let \(T^n\) be the distinguished boundary of \(U^n\) equipped with the normalized surface area measure \(d\sigma_n\). Given a function \(f\in H(U^n)\), let \(M_q(r, f)=\left\{\int_{T^n} | f(r\zeta)| ^q \,d\sigma_n(\zeta)\right\}^{1/q}\) for \(0<q<\infty\) and \(r\zeta=(r_1\zeta_1, \dots, r_n\zeta_n)\). For \(q=\infty\), as usual, \(M_\infty(r, f)\) is defined to be the essential supremum of \(| f(r\zeta)| \) over \(\zeta\in T^n\). For \(0<p<\infty\), \(0<q\leq\infty\), and \(\alpha=(\alpha_1, \cdots, \alpha_n)\) with each \(\alpha_j>-1\), we say that a function \(f\in H(U^n)\) belongs to the holomorphic mixed-norm space \(H^{p,q,\alpha}(U^n)\) if \[ | | f| | _{p,q,\alpha} =\left\{ \int_{[0,1]^n}M_q^p(r,f) \prod_{j=1}^n (1-r_j^2)^{\alpha_j} \, dr_1\cdots dr_n \right\}^{1/p}<\infty. \] Let \(\mathcal D\) be the diagonal mapping. Namely, \({\mathcal D} f(z)=f(z, \dots, z)\) for functions \(f\in H(U^n)\) and \(z\in U\). It has been known that \({\mathcal D} H^{p,p,\alpha}(U^n)=H^{p,p,| \alpha| +2n-2}(U)\) where \(| \alpha| =\alpha_1+\cdots+\alpha_n\). This result was proved by \textit{J. H. Shapiro} [Duke Math. J. 43, 187--202 (1976; Zbl 0354.46036)] and \textit{F. A. Shamoyan} [Sib. Math. J. 31, 350--365 (1990; Zbl 0723.32002)]. The main result of this paper is the generalization of such a mapping property of \(\mathcal D\) to holomorphic mixed-norm spaces: \({\mathcal D} H^{p,q,\alpha}(U^n)=H^{p,q,| \alpha| +(p/q+1)(n-1)}(U)\). In the course of the proof the authors obtain mixed-integral versions of Hardy inequalities and establish certain boundedness of weighted Bergman projections.











This page was built for publication: The diagonal mapping in mixed norm spaces

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