On some spaces of holomorphic functions of exponential growth on a half-plane (Q283906)

The authors consider some spaces of holomorphic functions on the right half-plane, mainly the so-called generalized Hardy-Bergman spaces and Zen spaces. The main results are the Paley-Wiener theorem for these spaces and some statements about the Mellin transform and orthogonal projections, which are well known for the classical Hardy spaces. Let \(\mathcal{R}\) be the right half-plane, and for \(b>0\) let \(H^{p}(S_{b})\) be the Hardy space on the vertical strip \(\{z=x+iy,\,0<x<b\}\). Let \(\omega\) be a translation-invariant measure on \(\overline{\mathcal{R}}\) given by \(\omega=\nu\otimes dy\) with \(\nu(\{0\})>0\). Then one defines the generalized Hardy-Bergman space \(\mathcal{M}^{p}_{\omega}(\mathcal{R})\) as: \[ \mathcal{M}^{p}_{\omega}=\big\{ f\in\text{Hol}(\mathcal{R}): f\in H^{p} (S_{b}),\text{ for all }0<b<\infty\text{ and }f\in L^{p}(\overline{R},d\omega)\big\}. \] The authors consider the case of measures \(\omega\) of the form \[ \omega_{a,\rho}=\nu_{a,\rho}\otimes dy=\sum^{\infty}_{n=0}\frac{a^{n}}{n!} \delta_{\frac{\rho}{2}n}(x)\otimes dy, \] where \(a,\rho>0\) are some fixed parameters. The corresponding space is denoted by \(\mathcal{M}^{p}_{a,\rho}\). Writing, as usual, \(\widehat{f}\) for the Fourier transform of a function \(f\) and \(f_{0}(y)=f(0+iy)\), the authors prove the following Paley-Wiener theorem: \(\bullet\)\quad Let \(f\in \mathcal{M}^{2}_{a,\rho}\). Then \(\widehat{f_{0}}\in L^{2}(\mathbb{R}, e^{ae^{\rho\xi}}\,d\xi)\) and \[ \|f\|_{\mathcal{M}^{2}_{a,\rho}}=\|\widehat{f_{0}}\|_{L^{2}(\mathbb{R}, e^{ae^{\rho\xi}})}.\leqno(1) \] Conversely, if \(\psi\in L^{2}(\mathbb{R}, e^{ae^{\rho\xi}}\,d\xi)\) and for \(z\in\mathcal{R}\), we set \[ f(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{+\infty}_{-\infty} \psi (\xi) e^{z\xi}\,d\xi. \] Then \(f\in \mathcal{M}^{2}_{a,\rho}\) and equality (1) holds and \(\psi=\widehat{f_{0}}\). Another result states that the Mellin transform is an isometry from \(\mathcal{M}^{2}_{a,\rho}\) onto some \(L^{2}\) space on the positive half-line. More precisely, if \(\varphi\) is a function defined on \((0,+\infty)\) and we consider the Mellin transform given by \[ M\varphi(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{+\infty}_{0} \varphi(t) t^{z-1}\,dt, \] then the following is true: \(\bullet\)\quad The mapping \[ M: L^{2} \left((0,+\infty),e^{a\xi^{\rho}}\frac{d\xi}{\xi}\right) \to \mathcal{M}^{2}_{a,\rho} \] is a surjective isometry. Concerning the Hardy-Bergman spaces \(\mathcal{M}^{p}_{a,\rho}\), the authors prove that the orthogonal projection does not extend to a bounded operator on \(\mathcal{M}^{p}_{a,\rho}\) for \(p\neq 2\): \(\bullet\)\quad The orthogonal projection operator \(P: L^{2}(\overline{\mathcal{R}},d\omega_{a,\rho})\to \mathcal{M}^{2}_{a,\rho}\) is unbounded as operator \[ P: L^{p}(\overline{\mathcal{R}},d\omega_{a,\rho})\cap L^{2} (\overline{R}, d\omega_{a,\rho})\to \mathcal{M}^{p}_{a,\rho} \] for every \(p\neq 2\). Assume now that \(\omega=\nu\otimes dy\), where \(\nu\) satisfies a doubling-type condition at the origin, that is, \[ \sup_{t>0}\frac{\nu ([0,2t])} {\nu[(0,t])} \leq R, \] where \(R\) is a constant. The Zen space associated to \(\omega\) is \[ A_{\omega}^{p}(\mathcal{R})=\left\{f\in\text{Hol}(\mathcal{R}) : \sup_{r>0}\int\limits^{+\infty}_{0}\int\limits_{\mathbb{R}} |f(x+r+iy)|^{p}\,dy\,d\nu (x)<+\infty\right\}. \] For \(\varphi\in L^{2}((-\infty,0),\nu(\xi)\,d\xi)\) and \(z\in\mathcal{R}\), \(T\varphi(z)\) is the inverse Laplace transform \[ T\varphi(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{0}_{-\infty} \varphi(\xi) e^{z\xi}\,d\xi. \] For the spaces \(A^{p}_{\omega}\) the following Paley-Wiener type theorem holds: \(\bullet\)\quad (i) If \(\varphi\in L^{2}((-\infty,0),v(\xi)\,d\xi)\), then \(T\varphi\in A^{2}_{\omega}\) and \[ \|T\varphi\|_{A^{2}_{\omega}}=\|\varphi\|_{L^{2}((-\infty,0),v(\xi)\,d\xi)}. \] \quad\;\, (ii) Conversely, if \(F\in A^{2}_{\omega}\), then there exists \(\varphi\in L^{2}((-\infty,0), v(\xi)\,d\xi)\) such that \(F=T\varphi\) and \[ \|F\|_{A^{2}_{\omega}}=\|\varphi\|_{ L^{2}((-\infty,0),v(\xi)\,d\xi)}. \]