Division by flat ultradifferentiable functions and sectorial extensions

From MaRDI portal
(Redirected from Publication:1428280)



Abstract: We consider classes mathcalAM(S) of functions holomorphic in an open plane sector S and belonging to a strongly non-quasianalytic class on the closure of S. In mathcalAM(S), we construct functions which are flat at the vertex of S with a sharp rate of vanishing. This allows us to obtain a Borel-Ritt type theorem for mathcalAM(S) extending previous results by Schmets and Valdivia. We also derive a division property for ideals of flat ultradifferentiable functions, in the spirit of a classical Cinfty result of Tougeron.


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\).




Cited in
(57)








This page was built for publication: Division by flat ultradifferentiable functions and sectorial extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1428280)