The surjectivity of the Borel mapping in the mixed setting for ultradifferentiable ramification spaces (Q2297585)

Let \(M=(M_k)_{k \ge 0}\) be a positive sequence and \(r\) a positive integer. The authors consider the ultradifferentiable class \(\mathcal D_{r,\{M\}}([-1,1])\) of \(C^\infty\)-functions compactly supported in \([-1,1]\) such that \(f^{(rn+j)}(0)=0\) for all \(n \in \mathbb N\) and all \(j=1,\ldots,r-1\), and with \[ \exists h>0 : \sup_{n \in \mathbb N,\, x \in [-1,1]} \frac{|f^{(rn)}(x)|}{h^n M_n} < \infty, \] as well as the class \(\mathcal{D}_{r,(M)}([-1,1])\), where the existential quantifier is replaced by a universal quantifier. Similarly, \(\Lambda^{\{M\}}\) (resp. \(\Lambda^{(M)}\)) denotes the set of sequences \((a_n)_n \subseteq \mathbb C\) such that \(\sup_{n \in \mathbb N} \frac{|a_n|}{h^n M_n} < \infty\) for some \(h>0\) (resp. for all \(h>0\)). Under mild assumptions on the weight sequences \(M,N\), the authors show that the condition \[ \exists s \in \mathbb N_{\ge 1} : \sup_{p\ge 1} \frac{(\lambda_{p,s})^{1/r}}{p} \sum_{k \ge p} \left(\frac{N_{k-1}}{N_k}\right)^{1/r} <\infty \] with \[ \lambda_{p,s} := \sup_{0\le j < p} \left(\frac{M_p}{s^p N_j}\right)^{1/(p-j)} \] is necessary and sufficient for \[ \Lambda^{\{M\}} \subseteq \{(f^{(rn)}(0))_n : f \in \mathcal D_{r,\{M\}}([-1,1])\} \] as well as for \[ \Lambda^{(M)} \subseteq \{(f^{(rn)}(0))_n : f \in \mathcal D_{r,(M)}([-1,1])\}. \] Also some related spaces, where the domain is \([0,\infty)\) or \([0,1]\) (with or without condition on the support), are treated. The case \(r =1\) is due to \textit{J. Schmets} and \textit{M. Valdivia} [J. Math. Anal. Appl. 297, No. 2, 384--403 (2004; Zbl 1073.46015)] whose proofs are adjusted in the paper under review to the situation where \(r>1\). The ultradifferentiable classes \(\mathcal D_{r,\{M\}}([-1,1])\) and \(\mathcal D_{r,(M)}([-1,1])\) were introduced and studied by \textit{J. Schmets} and \textit{M. Valdivia} [Stud. Math. 143, No. 3, 221--250 (2000; Zbl 0972.46013)] in a related context.