On analogues of Borel's theorem for spaces of ultradifferentiable functions of normal type (Q2387010)

Given a non-quasianalytic weight function in the sense of \textit{R. W. Braun, R. Meise} and \textit{B. A. Taylor} [Result. Math. 17, 206--237 (1990; Zbl 0735.46022)] and \(q \in [0, \infty ]\), denote by \[ {\mathcal E}^q_{(\omega)}({\mathbb R}^N)=\{ f \in {\mathcal C}^{\infty}({\mathbb R}^N): \forall K \subset \subset {\mathbb R}^N \, \, \forall \, 0<s<q \, \, \sup_{x \in K}\sup _{\alpha } | f^{(\alpha)}(x)| \text{ e}^{-s\varphi *(\frac{| \alpha | }{s})} < \infty \, \} \] and \[ {\mathcal E}^q_{\{\omega\}}({\mathbb R}^N)=\{ f \in {\mathcal C}^{\infty}({\mathbb R}^N): \forall K \subset \subset {\mathbb R}^N \, \, \exists \, 0<q<s \, \, \sup_{x \in K}\sup _{\alpha } | f^{(\alpha)}(x)| \text{ e}^{-s\varphi *(\frac{| \alpha | }{s})} < \infty \, \}, \] where \(\varphi *\) denotes the Young conjugate of the convex function \(\varphi (t):=\omega(\text{e}^t).\) Observe that \({\mathcal E}^{\infty}_{(\omega)}({\mathbb R}^N)\) and \({\mathcal E}^0_{\{\omega\}}({\mathbb R}^N)\) are the spaces of ultradifferentiable functions of Beurling and of Roumieu type. Let \[ {\mathcal E}^q_{(\omega)}=\{ (x_{\alpha})_{\alpha \in {\mathbb N}_0^N}: \,\forall 0<s<q, \, \sup | x| _{\alpha}\text{ e}^{-s\varphi *(\frac{| \alpha | }{s})}< \infty\} \] and \[ {\mathcal E}^q_{\{\omega\}}=\{ (x_{\alpha})_{\alpha \in {\mathbb N}_0^N}: \,\exists \, s>q, \, \sup | x| _{\alpha}\text{ e}^{-s\varphi *(\frac{| \alpha | }{s})}< \infty\}. \] The Borel map \(B(f)=(f^{(\alpha)}(0))\) is a continuous linear map from \({\mathcal E}^q_{(\omega)}({\mathbb R}^N)\) into \({\mathcal E}^q_{(\omega)}\) and from \({\mathcal E}^q_{\{\omega\}}({\mathbb R}^N)\) into \({\mathcal E}^q_{\{\omega\}}\). As was shown in [\textit{R. Meise} and \textit{B. A. Taylor}, Ark. Mat. 26, No.~2, 265--287 (1988; Zbl 0683.46020)] and [\textit{J. Bonet, R. W. Braun, R. Meise} and \textit{B. A. Taylor}, Stud. Math. 99, No.~2, 155--184 (1991; Zbl 0738.46009)], the Borel map is surjective for \(q=0\) or \(q= \infty\) if and only if \(\omega\) is a strong weight, that is, if for some \(K>1\), \(\lim \sup_{t \to \infty}\frac{\omega(Kt)}{\omega(t)}<K.\) In the present paper, it is shown that the Borel map is surjective for \(0<q< \infty\) if and only if \(\lim_{t \to \infty}\frac{\omega(\lambda t)}{\omega(t)}=1\) for each \(\lambda >1.\) This condition clearly implies that \(\omega\) is a strong weight, but the converse does not hold since the Gevrey weights do not satisfy this condition.