Subspaces of $C^\infty$ invariant under the differentiation

Abstract

Let $L$ be a proper differentiation invariant subspace of $C^\infty(a,b)$ such that the restriction operator $\frac{d}{dx}\bigl{|}_L$ has a discrete spectrum $Λ$ (counting with multiplicities). We prove that $L$ is spanned by functions vanishing outside some closed interval $I\subset(a,b)$ and monomial exponentials $x^ke^{λx}$ corresponding to $Λ$ if its density does not exceed the critical value $\frac{|I|}{2π}$, and moreover, we show that the result is not necessarily true when the density of $Λ$ equals the critical value. This answers a question posed by the first author and B. Korenblum. Finally, if the residual part of $L$ is trivial, then $L$ is spanned by the monomial exponentials it contains.