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

Hardy spaces (30H10) Bergman spaces and Fock spaces (30H20) Spaces and algebras of analytic functions of one complex variable (30H99) Hilbert spaces with reproducing kernels (= (proper) functional Hilbert spaces, including de Branges-Rovnyak and other structured spaces) (46E22)

Abstract: In this paper we study spaces of holomorphic functions on the right half-plane

c a l R

, that we denote by

c a l M_{o}^{p} m e g a

, whose growth conditions are given in terms of a translation invariant measure

o m e g a

on the closed half-plane

o v e r l i n e c a l R

. Such a measure has the form

o m e g a = u o t i m e s m

, where

m

is the Lebesgue measure on

m a t h b b R

and

u

is a regular Borel measure on

[0, + i n f t y)

. We call these spaces generalized Hardy-Bergman spaces on the half-plane

c a l R

. We study in particular the case of

u

purely atomic, with point masses on an arithmetic progression on

[0, + i n f t y)

. We obtain a Paley-Wiener theorem for

c a l M_{o}^{2} m e g a

, and consequentely the expression for its reproducing kernel. We study the growth of functions in such space and in particular show that

c a l M_{o}^{p} m e g a

contains functions of order 1. Moreover, we prove that the orthogonal projection from

L^{p} (c a l R, d o m e g a)

into

c a l M_{o}^{p} m e g a

is unbounded for

p e q 2

. Furthermore, we compare the spaces

c a l M_{o}^{p} m e g a

with the classical Hardy and Bergman spaces, and some other Hardy-Bergman-type spaces introduced more recently.

Review text

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.NEWLINENEWLINELet \(\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: NEWLINENEWLINE\[NEWLINE \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\}. NEWLINE\]NEWLINE NEWLINENEWLINEThe authors consider the case of measures \(\omega\) of the form NEWLINE\[NEWLINE \omega_{a,\rho}=\nu_{a,\rho}\otimes dy=\sum^{\infty}_{n=0}\frac{a^{n}}{n!} \delta_{\frac{\rho}{2}n}(x)\otimes dy, NEWLINE\]NEWLINE where \(a,\rho>0\) are some fixed parameters. The corresponding space is denoted by \(\mathcal{M}^{p}_{a,\rho}\). NEWLINENEWLINENEWLINENEWLINE 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: NEWLINENEWLINENEWLINE \(\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 NEWLINE\[NEWLINE\|f\|_{\mathcal{M}^{2}_{a,\rho}}=\|\widehat{f_{0}}\|_{L^{2}(\mathbb{R}, e^{ae^{\rho\xi}})}.\leqno(1) NEWLINE\]NEWLINE NEWLINEConversely, if \(\psi\in L^{2}(\mathbb{R}, e^{ae^{\rho\xi}}\,d\xi)\) and for \(z\in\mathcal{R}\), we set NEWLINENEWLINE\[NEWLINE f(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{+\infty}_{-\infty} \psi (\xi) e^{z\xi}\,d\xi.NEWLINE\]NEWLINE NEWLINEThen \(f\in \mathcal{M}^{2}_{a,\rho}\) and equality (1) holds and \(\psi=\widehat{f_{0}}\). NEWLINENEWLINENEWLINENEWLINE 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. NEWLINENEWLINENEWLINE More precisely, if \(\varphi\) is a function defined on \((0,+\infty)\) and we consider the Mellin transform given by NEWLINE\[NEWLINE M\varphi(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{+\infty}_{0} \varphi(t) t^{z-1}\,dt, NEWLINE\]NEWLINEthen the following is true: NEWLINENEWLINENEWLINENEWLINE \(\bullet\)\quad The mapping NEWLINE\[NEWLINE M: L^{2} \left((0,+\infty),e^{a\xi^{\rho}}\frac{d\xi}{\xi}\right) \to \mathcal{M}^{2}_{a,\rho} NEWLINE\]NEWLINE is a surjective isometry. NEWLINENEWLINENEWLINENEWLINE 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\): NEWLINENEWLINENEWLINENEWLINE \(\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 NEWLINE\[NEWLINE 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} NEWLINE\]NEWLINE for every \(p\neq 2\). NEWLINENEWLINENEWLINENEWLINE Assume now that \(\omega=\nu\otimes dy\), where \(\nu\) satisfies a doubling-type condition at the origin, that is, NEWLINENEWLINENEWLINE\[NEWLINE \sup_{t>0}\frac{\nu ([0,2t])} {\nu[(0,t])} \leq R, NEWLINE\]NEWLINEwhere \(R\) is a constant. The Zen space associated to \(\omega\) is NEWLINE\[NEWLINE 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\}. NEWLINE\]NEWLINE For \(\varphi\in L^{2}((-\infty,0),\nu(\xi)\,d\xi)\) and \(z\in\mathcal{R}\), \(T\varphi(z)\) is the inverse Laplace transform NEWLINE\[NEWLINE T\varphi(z)=\frac{1}{\sqrt{2\pi}} \int\limits^{0}_{-\infty} \varphi(\xi) e^{z\xi}\,d\xi. NEWLINE\]NEWLINE For the spaces \(A^{p}_{\omega}\) the following Paley-Wiener type theorem holds:NEWLINENEWLINE\(\bullet\)\quad (i) If \(\varphi\in L^{2}((-\infty,0),v(\xi)\,d\xi)\), then \(T\varphi\in A^{2}_{\omega}\) and NEWLINE\[NEWLINE \|T\varphi\|_{A^{2}_{\omega}}=\|\varphi\|_{L^{2}((-\infty,0),v(\xi)\,d\xi)}. NEWLINE\]NEWLINENEWLINENEWLINE\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 NEWLINENEWLINE\[NEWLINE\|F\|_{A^{2}_{\omega}}=\|\varphi\|_{ L^{2}((-\infty,0),v(\xi)\,d\xi)}.NEWLINE\]

Recommendations

Cites work

Cited in

(11)

This page was built for publication: On some spaces of holomorphic functions of exponential growth on a half-plane

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