Division by flat ultradifferentiable functions and sectorial extensions (Q1428280): Difference between revisions

Let \(M=(M_j)_{j\geq 0}\) be a strongly regular sequence of positive numbers, i.e. \(M_0=1\), \(M\) is non-decreasing, \(\{\log\,M_j\}\) is convex, \(M_{j+k}\leq A^{j+k}M_jM_k\) for any \((j,k)\in\mathbb N^2\), and \(\sum\frac{M_j}{(j+1)M_{j+1}}\leq A\frac{M_l}{M_{l+1}}\) for any \(l\in\mathbb N\). Let\(S\) be an unbounded, open, plane sector with vertex at the origin and let \(\mathcal A_M(S)\) be the class of functions which are holomorphic in \(S\) and whose derivatives at any order \(j\) are uniformly bounded by \(C\sigma^jj!\), where \(C\) and \(\sigma\) are positive constants that may depend on \(f\) in \(\mathcal A_M(S)\). The key result of the paper is the construction of a function \(G\in\mathcal A_M(S)\) which is flat at the vertex of \(S\) with a sharp rate of vanishing. This construction permits one to prove an ultradifferentiable Borel-Ritt theorem, i.e. to find an element of \(\mathcal A_M(S)\) asymptotic to a given formal power series \(\sum_{j\in\mathbb N}\lambda_j\frac{z^j}{j!}\) with \(| \lambda_j| \leq C\sigma^jj!M_j\), which, in particular, extends a previous result by \textit{J. Schmets} and \textit{M. Valdivia} [Stud. Math. 143, 221--250 (2000; Zbl 0972.46013)] valid under some additional restrictions on the sequence \(M\). The paper is completed by a factorization result in the ultradifferentiable setting, namely any ultradifferentiable function germ \(u\) in \(\mathbb R^n\) which is flat on a germ \(X\) of a real-analytic submanifold of \(\mathbb R^n\) can be factorized as \(u=u_1u_2\), where both \(u_1\) and \(u_2\) are ultradifferentiable and flat on \(X\).