On separate ultradifferentiability of functions

From MaRDI portal





Soient \(M=(M_k)_{k\geq 0}\) une suite de nombres réels positifs et \(X\) un ouvert de \(\mathbb{R}^n\); une fonction \(f\) de classe \(C^\infty\) sur \(X\) est ultradifférentiable de classe \(C(M)\) si pour tout compact \(K\) de \(X\) il existe \(c>0\) tel que \(| \partial^\alpha f(x)| \leq c^{1+| \alpha| }M_{| \alpha| }\) pour tout \(\alpha \in \mathbb{N}^n\) et tout \(x\in K\), où \(| \alpha| =\alpha_1+\ldots+\alpha_n\) (la classe de Gevrey d'ordre \(m\) est obtenue dans le cas particulier où \(M_k=(k!)^m)\). L'Auteur montre que si la suite \(M\) est logarithmiquement convexe (i.e. si \(M_k^2\leq M_{k-1} M_{k+1}\) pour tout \(k\geq 1)\) et ``différentiable (i.e. s'il existe \(\rho>1\) tel que \(\rho^{-k}M_k\leq M_{k+1}\leq \rho^k M_k\) pour tout \(k\leq 0\)), alors toute fonction de classe \(C^\infty\) séparément en chacune des variables et ultradifférentiable de classe \(C(M)\) séparément en chacune des variables est ultradifférentiable de classe \(C(M)\) en l'ensemble des variables.











This page was built for publication: On separate ultradifferentiability of functions

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