Théorèmes de préparation Gevrey et étude de certaines applications formelles (Q4484556)

Let \(\mathbb C[[X]]\) be the ring of formal power series in \(X=(X_1,\dots,X_s)\) over \(\mathbb C\). The author studies subrings \(\mathbb C[[X]](M)\) of \(\mathbb C[[X]]\) of series with growth conditions on coefficients (generalizing the Gevrey conditions). Namely, let \(M=\{M_n\}_{n\in\mathbb N}\) be a sequence of real positive numbers such that \[ \begin{aligned} &M_0=1,\\ &\frac{M_{n+1}}{M_{n}}\leq\frac{M_{n+2}}{M_{n+1}},\;\;n\in\mathbb N,\\ &M_{n+1}<C^{n+1}M_n,\;\;n\in\mathbb N,\text{ for some constant } C>0. \end{aligned} \] Then \[ \mathbb C[[X]](M)=\bigcup_{C_0>0} \left\{f=\sum f_J X^J \in\mathbb C[[X]]:\sup\frac{| f_J| }{M_{| J| }C_0^{| J| } }<\infty \right\}. \] Using known preparation theorems for such subrings the author proves for these subrings: 1. A preparation theorem of Malgrange type, 2. A theorem on derivations in \(\mathbb C[[X]](M)\), generalizing a Płoski theorem [\textit{A. Płoski}, in: Analytic functions, Proc. Conf., Błazejewko 1982, Lect. Notes Math. 1039, 389--393 (1983)], 3. A theorem concerning properties of compositions \(A\circ F\) of formal mappings \(F\in(\mathbb C[[X]](M) )^n\) with a \(A\in{\mathbb C}[[X]]\).