Radial derivative on bounded symmetric domains (Q4484589)

Let \(\Omega\) be a bounded symmetric domain in \(\mathbb{C}^n\) in its Harish-Chandra realization. For a holomorphic function \(f\) on~\(\Omega\), denote by \(f=\sum_{k=0}^\infty f_k\) its homogeneous expansion (i.e., \(f_k(z)=\sum_{|\alpha|=k}(\partial^\alpha f/\partial z^\alpha)(0) z^\alpha/\alpha!\), where the summation is taken over all multiindices \(\alpha\) of length~\(k\)). For \(\beta>0\) and \(s\geq 0\), define the radial derivative \(R^{\beta,s}\) by \(R^{\beta,s}f:=\sum_k (k+s)^\beta f_k\). Finally, for \(0<q\leq\infty\) let \[ M_q(r,f):=[\int_{b\Omega} |f(r\zeta)|^q d\sigma (\zeta)]^{1/q} \] (with the usual interpretation for \(q=\infty\)), where \(b\Omega\) is the Shilov boundary of \(\Omega\) and \(d\sigma\) the unique \(K\)-invariant probability measure on~\(b\Omega\). The~main result of the paper is the following: Let \(0<p,q\leq\infty\), \(\beta>0\), \(s>0\), and let \(\phi\) be any positive continuous function on \([0,1)\) such that, for some \(a<b\), \((1-r)^{-a}\phi(r)\) is decreasing near 1 and tends to zero as \(r\nearrow 1\), while \((1-r)^{-b}\phi(r)\) is increasing near 1 and tends to infinity as \(r\nearrow 1\). Then \[ \int_0^1 (1-r)^{-1} \phi(r)^p M_q(r,f)^p dr \simeq \int_0^1 (1-r)^{p\beta-1} \phi(r)^p M_q(r,R^{\beta,s}f)^p dr \] for all \(f\) holomorphic on~\(\Omega\). A similar assertion holds also for \(s=0\) (i.e., the ordinary radial derivative), provided one inserts a factor of \(r^{-p}\) into the integrand on the right-hand side. For \(R^{\beta,s}f\) replaced by the fractional derivative \(f^{[\beta]}:=\sum_k \Gamma(k+\beta+1) f_k/\Gamma(k+1)\), these assertions were obtained by \textit{J. H. Shi} in [J.~Math. Anal. Appl. 126, 161-175 (1987; Zbl 0625.32003)].