On absolutely representing systems in spaces of infinitely differentiable functions (Q4494513)

Let \(H\) be a complete locally convex space. A representing system is a sequence \(X:= (x_k)\) such that each element \(x\in H\) can be expressed (not necessarily uniquely) as a series \(\sum^\infty_{k=1} c_k x_k\) (\(c_k\in\mathbb{C}\), \(k\in\mathbb{N}\)). If this series converges absolutely in \(H\) for each \(x\), then \(X\) is called an absolutely representing system (ARS). The main part (Sections 2 and 3) of the paper discusses the existence of ARSs in the space \(C^\infty(K)\) of all complex valued infinitely differentiable functions on a compact \(K\subset \mathbb{R}^p\) \((p\geq 1)\), where \(K\) has non-empty interior \(\mathring K\) and \(\overline{\mathring K}= K\). The equivalence of the following conditions is proved (Theorem 2.4): (1) \(K\) is a Whitney compactum (i.e., \(C^\infty(K)\) coincides with the space of traces on \(K\) of functions from \(C^\infty(\mathbb{R}^p)\)); (2) there exists in \(C^\infty(K)\) an ARS of exponentials with purely imaginary exponents; (3) for each open bounded rectangular parallelepiped \(T= \{x: a_k< x_k< b_k\), \(k= 1,\dots, p\}\) containing \(K\) the system \[ {\mathcal E}^T_p:= \Biggl\{\exp \Biggl(2\pi i \sum^p_{j=1} {k_j x_j\over b_j- a_j}\Biggr): k_s= 0,\pm 1,\pm 2,\dots\;(s= 1,\dots, p)\Biggr\} \] is an ARS in \(C^\infty(K)\). Some conditions under which the system \({\mathcal E}^T_p\) is not an ARS are indicated (Theorem 2.6). It is shown that no system of exponentials can be basis in \(C^\infty(K)\). The author also corrects an error contained in [\textit{Chan-Porn}, Stud. Math. 94, No. 3, 193-212 (1989; Zbl 0704.46014)]. In the final section 5, ARSs of exponentials in the spaces \(H(G)\) (functions analytic in an arbitrary domain \(G\subset \mathbb{C}^p\)) and \(H(K)\) (analytic germs on a compact \(K\subset \mathbb{C}^p\)) are investigated.