Absolutely representing systems of exponentials with imaginary exponents in spaces of infinitely differentiable functions. (Q1432261): Difference between revisions

Let \(C^\infty (\mathbb{R}^p)\) denote the snace of infinitely differentiable complex valued functions on \(\mathbb{R}^p\). We say that a compact subset \(K\) of \(\mathbb{R}^p\) is thick in case its interior \(K_0\neq\emptyset\) and \(\overline K_0=K\). Let \(C^\infty(K)\) denote those \(f\) in \(C^\infty (K_0)\) which, together with all their partial derivatives, have continuous extensions to \(K\). A sequence \(\{x_k\}\) in \(C^\infty(K)\) is called an absolutely representing sequence (ARS) in case we can write \(x= \sum^\infty_{k=1} c_kx_k\) as an absolutely convergent series for each \(x\) in \(C^\infty(K)\). We say that \(K\) in a Whitney compact set in case each \(f\) in \(C^\infty(K)\) has the form \(f=g|_K\) for some \(g\) in \(C^\infty(\mathbb{R}^p)\). The author announces various conditions equivalent to the existence of ARS's whose elements are imaginary exponential functions. Among them is the condition that \(K\) be Whitney compact. Sketches of some proofs are given. He then gives a counterexample to a result of \textit{Chan-Porn} [Stud. Math. 94, 193--212 (1989; Zbl 0704.46014)] and shows that an ARS in each term of a projective limit need not be an ARS in the limit.