On the Forelli-Rudin projection theorem (Q2017896)

The investigation is motivated by the Forelli-Rudin projection theorem (see [\textit{F. Forelli} and \textit{W. Rudin}, Indiana Univ. Math. J. 24, 593--602 (1974; Zbl 0297.47041)], [\textit{M. Mateljević} and \textit{M. Pavlović}, Proc. Edinb. Math. Soc., II. Ser. 36, No. 3, 375--389 (1993; Zbl 0805.47026)]). Let \(L^{p}_{\mu}(0,1)\) (\(p\geq1\), \(\mu>0\)) be the space of all measurable functions on \((0,1)\) with the finite norm \[ \| \varphi \| = \left( \mu \int_{0}^{1}(|\varphi(t)|^{p}|t|^{\mu-1}\,dt \right)^{1/p}. \] The author investigates the integral operator of the form \[ (F_{\sigma}\varphi)(s)= \mu\int_{0}^{1}(1-t)^{\sigma} {}_{2}F_{1}\left(\frac{\lambda}{2},\frac{\lambda}{2};\mu;st\right)\varphi(t)t^{\mu-1}\,dt, \] where \(0<s<1\), \(\lambda=\mu+\sigma+1\), \(_{2}F_{1}\) is the Gauss hypergeometric function. The main result of the paper sounds as follows. For \(1\leq p<\infty\), the operator \(F_{\sigma}\) is bounded in the space \(L^{p}_{\mu}(0,1)\) if and only if \(\sigma >\frac{1}{p}-1\). In this case \[ \| F_{\sigma} \| = \frac {\Gamma(\mu+1)\Gamma(\frac{1}{p})\Gamma(\sigma+1-\frac{1}{p})} {\left(\Gamma(\frac{\lambda}{2})\right)^{2}}. \] As a consequence it is proved that for the Berezin transform \(\mathfrak B\) in the \(L^{p}\)-space on the unit ball in \({\mathbb C}^{n}\) the following equality holds \[ \| {\mathfrak B} \| = \left\{ \prod_{k=1}^{n}\left(1+\frac{1}{kp}\right) \right\} \frac{\frac{\pi}{p}}{\sin\frac{\pi}{p}}. \] This assertion generalizes the result obtained by \textit{M. Dostanić} [J. Anal. Math. 104, 13--23 (2008; Zbl 1155.47051)] in the case \(n=1\).