Spectral synthesis in the Schwartz space of infinitely differentiable functions (Q483675): Difference between revisions

Let \(W\subsetneq\mathcal{C}^\infty(]a,b[)\) be a linear subspace which is invariant under differentiation, and let \(\exp W\) be the set of exponential monomials \(t^je^{-i\lambda t}\) contained in \( W\). By a result of \textit{A. Aleman} and \textit{B. Korenblum} [Comput. Methods Funct. Theory 8, No. 2, 493--512 (2008; Zbl 1166.47011)], there is a minimal interval \(\emptyset\neq I_W\) relatively closed in \(]a,b[\) such that \(W_{I_W}:=\{f\in \mathcal{C}^\infty(]a,b[)\mid f\text{ is flat on }I_W\}\subset W\). The subspace \(W\) is said to admit spectral synthesis in the weak sense if \(W=\overline{W_{I_W}+\mathrm{span}(\text{Exp}\, W)}\). In this case, the spectrum of \(d/dx\) (in \(W\)) is discrete. By Fourier transformation \(\mathcal{F}\) and the Paley-Wiener theorem, the problem of weak spectral synthesis is translated into a problem for entire functions, namely, the weak localizability of the annihilator \(\mathbb{C}[z]\)-submodule \(\mathcal{F}(W^\circ)\) of \(\mathcal{P}:=\mathcal{F}(\mathcal{C}^\infty(]a,b[)')\). The main result of the paper now is the following: \(W\) admits spectral synthesis in the weak sense if and only if \(\mathcal{I}:=\mathcal{F}(W^\circ)\) contains a submodule \(\mathcal{I}(\varphi)\) for some \(\varphi\in\mathcal{P}\). Here, \(\mathcal{I}(\varphi)\) is the submodule consisting of all \(\psi\in\mathcal{P}\) divisible by \(\varphi\) and having the same indicator diagram as \(\varphi\). Related results recently have also been obtained by \textit{A. Aleman}, \textit{A. Baranov} and \textit{Yu. Belov} [J. Funct. Anal. 268, No. 8, 2421--2439 (2015; \url{doi:10.1016/j.jfa.2015.01.002})].