Invariant spaces of entire functions (Q2037678)

Let \(D\subset\mathbb{C}\) be a convex domain and let \(H(D)\) be the space of holomorphic functions on \(D\) endowed with the compact open topology. The paper under review deals with the following problem: Let \(W\) be an invariant subspace of the differentiation operator on \(H(D)\). Which conditions ensure that all functions of \(W\) can be extended to entire functions? This problem naturally arises from the problem of expanding convergence domains of exponential series and their special cases, power series and Dirichlet series. \(W\) is assumed to satisfy \textit{spectral synthesis}, i.e., the closure of the span of the eigenvectors of the differentiation operator in \(H(D)\) is the whole \(W\). The following subset of the unit circle \(\mathbb{T}\) is defined, \[ J(D)= \Bigl\{\omega\in \mathbb T: \ \sup_{z\in D}\text{Re}\,z\omega=+\infty \Bigr\}. \] Let \(\Delta:=\{\lambda_k: k\in\mathbb{N}\}\) be the sequence of eigenvalues of the differentiation operator acting on \(W\). Let \(\Xi(\Delta):=\{\overline{\lambda}/|\lambda|: \lambda\in \Delta\} \). The main theorem asserts that the continuation problem has a positive solution when \(\Xi(\Delta)\subset J(D)\). This result was known only under the assumption that \(J(D)\) is open in \(\mathbb{T}\).