On the Fourier-Laplace transform of functionals on a space of infinitely differentiable functions on a convex compact (Q2235951)

Let \(\Omega\subset\mathbb{R}^{n}\) be a bounded and convex domain and \(K\) its closure. Given a sequence \(\mathcal{H}\) of convex functions on \(\mathbb{R}^{n}\) satisfying a number of conditions, the spaces \[ \mathcal{E}_m(K) = \left\{f\in \mathcal{C}^{\infty}(K)\colon \sup_{x\in \Omega,\alpha\in\mathbb{N}^{n}}\frac{|(\partial^{\alpha}f)(x)|}{\mathrm{e}^{h_m(\alpha)}}<\infty\right\} \] and \[ \mathcal{E}_{\mathcal{H}}(K) = \varprojlim_{m} \mathcal{E}_m(K) \] are defined. The aim of this article is to study the Fourier-Laplace transform on the dual space \(\mathcal{E}_{\mathcal{H}}'(K)\). The main result is a Paley-Wiener-Schwartz type theorem for this dual space. More precisely, it is shown that the Fourier-Laplace transform is an isomorphism between the space \(\mathcal{E}_{\mathcal{H}}'(K)\) and the space \[ P_{K,\mathcal{H}}(\mathbb{C}^{n}) = \varinjlim_{m} P_{K,m}(\mathbb{C}^{n}), \] where \(P_{K,m}(\mathbb{C}^{n})\) is the space of all entire functions where the norm \[ \|f\|_m = \sup_{z\in\mathbb{C}^{n}} \frac{|f(z)|}{\mathrm{e}^{{H_K(\operatorname{Im}z)+\varphi_m(z)}}} \] is finite, where \(H_K(x)=\max_{\xi \in K}\langle x,\xi \rangle\) and \(\varphi_m\) is a function defined using the Young-Fenchel conjugate of \(h_m\). In addition, a number of properties of the spaces \(\mathcal{E}_{\mathcal{H}}(K)\) and \(P_{K,\mathcal{H}}(\mathbb{C}^{n})\) are studied.