Projective representations of spaces of quasianalytic functionals (Q4821075)

In [Trans. Am. Math. Soc. 272, 107--160 (1982; Zbl 0599.46026)], \textit{K. D. Bierstedt, R. Meise} and \textit{W. H. Summers} considered weighted (LF)-spaces \({\mathcal V}H(G)\) of holomorphic functions on an open set \(G \subset \mathbb{C}^N\) and introduced projective hulls \(H\overline{V}(G)\) of these spaces. \({\mathcal V}H(G)\) is always continuously embedded in \(H\overline{V}(G)\), and \(H\overline{V}(G)\) is a projective limit of Banach spaces. The question whether the (LF)-space coincides algebraically with its projective hull (which is always the case for weighted (LB)-spaces) and whether it carries the topology induced from its projective hull was called the question of projective description or representation. Let \({\mathcal A}(G)\) denote the space of all complex valued real-analytic functions on an open convex subset \(G\) of \(\mathbb{R}^N\). Its strong dual \({\mathcal A}(G)'_b\) is isomorphic to an (LF)-space \({\mathcal FA}'(G)\) of entire functions on \(\mathbb{C}^N\) via the Fourier-Laplace transform. Each step space of this (LF)-space is a Fréchet space whose topology is given by weighted sup-seminorms. \textit{L. Ehrenpreis} [Am. J. Math. 82, 522--588 (1960; Zbl 0098.08401)] showed that the topology of \({\mathcal FA}'(\mathbb{R}^N)\) cannot be described by weighted sup-seminorms. \textit{J. Bonet} and \textit{R. Meise} [Math. Scand. 94, No. 2, 249--266 (2004; Zbl 1064.46018)] proved that \({\mathcal FA}'(G)\) has a strictly finer topology than its projective hull. In the present article, the authors prove, however, that \({\mathcal FA}'(G)\) coincides with its projective hull algebraically. The authors also extend this result to the spaces \({\mathcal E}'_{\{\omega\}}(G)\) of quasianalytic functionals, where \({\mathcal E}_{\{\omega\}}(G)\) denotes the space of all \(\omega\)-ultradifferentiable functions of Roumieu type on \(G\) for a given (quasianalytic) weight function \(\omega\). More precisely, they prove that the (LF)-space \({\mathcal FE}'_{\{\omega\}}(G)\) of entire functions on \(\mathbb{C}^N\) which arise as the Fourier-Laplace transforms of the elements of \({\mathcal E}_{\{\omega\}}(G)'_b\) coincides algebraically with its projective hull and has a strictly finer topology. (The latter assertion already follows from the above quoted article of Bonet and Meise.) The corresponding result for non-quasianalytic classes \({\mathcal E}_{\{\omega\}}(G)\) was obtained in [\textit{J. Bonet} and \textit{R. Meise}, J. Math. Anal. Appl. 255, 122--136 (2001; Zbl 0960.46027)]. The proof in the present case is different from the one in the non-quasianalytic case.