Subspaces of C^ invariant under the differentiation

From MaRDI portal
(Redirected from Publication:491506)
Subspaces of \(C^\infty\) invariant under the differentiation



Abstract: Let L be a proper differentiation invariant subspace of Cinfty(a,b) such that the restriction operator has a discrete spectrum Lambda (counting with multiplicities). We prove that L is spanned by functions vanishing outside some closed interval Isubset(a,b) and monomial exponentials xkelambdax corresponding to Lambda if its density does not exceed the critical value frac|I|2pi, and moreover, we show that the result is not necessarily true when the density of Lambda 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.


Let \(C^{\infty}(a,b)\) be the space of infinitely differentiable functions on \((a,b)\) (\(-\infty\leq a < b\leq\infty\)) with the topology of uniform convergence of each derivative of the function on compacts in \((a,b)\). In the paper, there is investigated the structure of closed subspaces of \(C^{\infty}(a,b)\) which are invariant for the differentiation operator \(D=\frac{d}{dx}\). Let \(L\subset C^{\infty}(a,b)\) be a \(D\)-invariant subspace such that \(\sigma(D|_{L})\) is a nonvoid discrete subset of \(\mathbb C\) consisting of eigenvalues of \(D\). The residual part of \(L\) is defined as follows: \[ \bigcap \{ p(D)L: p\text{ is a polynomial}\}. \] There are found sufficient conditions of the following property: the subspace \(L\) is generated by its residual part and the monomial exponentials \(x^{k}e^{\lambda x}\) it contains. It is proved that this result is not necessarily true if these conditions are violated.




Cited in
(32)








This page was built for publication: Subspaces of \(C^\infty\) invariant under the differentiation

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