Laguerre entire functions and related locally convex spaces (Q3151998)

Denote by \(H(\mathbb{C})\) the space of all entire functions on \(\mathbb{C}\). For \(b>0\) let \[ B_b:= \Biggl\{ f\in H(\mathbb{C})\;\Biggl|\;\| f\|_b:= \sum_{k\in \mathbb{N}_0} \frac{1}{b^k} | f^{(k)}(0)|< \infty\Biggr\} \] and define \({\mathcal A}_a:= \bigcap_{b>a} B_b\) endowed with its natural Fréchet space topology. \({\mathcal L}^+\), the set of Laguerre entire functions, is defined as the set all \(f\in H(\mathbb{C})\) which can be represented as \[ f(z)= Cz^l \exp(\alpha z) \prod_{j=1}^\infty (1+\beta_jz), \quad z\in \mathbb{C}, \] for suitable \(C\in \mathbb{C}\), \(l\in \mathbb{N}_0\), \(\alpha\geq 0\) and a decreasing sequence \((\beta_j)_{j\in \mathbb{N}}\) in \([0,\infty[\). Finally, let \({\mathcal L}_a^+:={\mathcal L}^+\cap{\mathcal A}_a\) for \(a\geq 0\). The authors prove several linear topological properties of the spaces \({\mathcal A}_a\) and \({\mathcal L}_a^+\). For \(\theta\geq 0\), they also investigate the differential operators \(\Delta_\theta\) and \(\varphi(\Delta_\theta)\) for \(\varphi\in H(\mathbb{C})\), defined by \[ (\Delta_\theta f)(z):= \theta f'(z)+ zf''(z), \quad \varphi(\Delta_\theta) f(z):= \sum_{k=0}^\infty \sum_{m=0}^\infty \frac {\varphi^{(k)}(0)} {k!} \frac {f^{(m)}(0)} {m!} \Delta_\theta^k z^m. \] In particular, they show that for \(\theta,a,b\geq 0\) satisfying \(ab< 1\) and \(c:= b/(1-ab)\), the map \({\mathcal L}_a^+\times {\mathcal L}_b^+\to {\mathcal L}_c^+\), \(G(\varphi,f):= \varphi(\Delta_\theta)f\) is continuous. Also, they give an integral representation for \(\varphi (\Delta_\theta)\) when \(\varphi(z)= \exp(az)\) and treat certain intial value problems for \(\Delta_\theta\) in \({\mathcal A}_a\).