On the moment problem in the spaces of ultradifferentiable functions of mean type (Q2123088)

The author studies the image of the Borel map \[ \rho:C^\infty(\mathbb{R}) \rightarrow \mathbb{C}^\mathbb{N}, \quad f \mapsto (f^{(n)}(0))_n \] restricted to spaces of ultradifferentiable functions of mean type as introduced in [\textit{D. A. Abanina}, Result. Math. 44, No. 3--4, 195--213 (2003; Zbl 1057.46025)]. They are generalizations of classical ultradifferentiable classes defined via weight functions. More precisely, for a given weight function \(\omega\) and a parameter \(p \in (0,\infty]\), one sets \[ \mathcal{E}^p_{(\omega)}(\mathbb{R}):= \left\{ f \in C^\infty(\mathbb{R}): \forall l <\infty, \,\forall q \in (0,p)~ |f|_{\omega,q,l}:= \sup_{j \in \mathbb{N}} \sup_{|x|\leq l} \frac{|f^{(j)}(x)|}{\exp(q\phi_\omega^* (j/q))}<\infty \right\}, \] i.e., for \(p = \infty\) one recovers the classical Beurling type class defined via a weight function. And for \(p \in [0,\infty)\), one sets \[ \mathcal{E}^p_{\{\omega\}}(\mathbb{R}):= \left\{ f \in C^\infty(\mathbb{R}): \forall l <\infty, \,\exists q \in (p, \infty)~ |f|_{\omega,q,l}<\infty \right\}, \] i.e., for \(p = 0\) one recovers the classical Roumieu type class defined via a weight function. The respective sequence spaces \(\Lambda^p_{(\omega)}\) and \(\Lambda^p_{\{\omega\}}\) are defined in complete analogy in the obvious way. Then the main theorem is represented by Theorem 1, which states that for two weight functions \(\omega, ~\sigma\) with \(p\omega \leq q \sigma\), the following statements are equivalent: \begin{itemize} \item[(1)] \(\rho (\mathcal{E}^p_{(\omega)}(\mathbb{R})) \supseteq \Lambda^q_{(\sigma)}\), \item[(2)] \(\rho (\mathcal{E}^p_{\{\omega\}}(\mathbb{R})) \supseteq \Lambda^q_{\{\sigma\}}\), \item[(3)] \(\limsup_{y \rightarrow \infty} \frac{2}{\pi \sigma(y)} \int_0^\infty \frac{\omega(yt)}{t^2+1} \,dt \leq \frac{q}{p}\). \end{itemize} The proof of the equivalence of (1) and (3) uses a dualization approach that follows closely the arguments of [\textit{J. Bonet} et al., North-Holland Math. Stud. 170, 97--111 (1992; Zbl 0769.46008)]. The equivalence with (2) then follows via a reduction to the Beurling case via employing precise inclusion results of Beurling and Roumieu classes.