Abstract. In [3], J. Chaumat and A.-M. Chollet prove, among other things, a Whitney extension theorem, for jets on a compact subset E of R n , in the case of intersections of non-quasi-analytic classes with moderate growth and a Łojasiewicz theorem in the regular situation. These intersections are included in the intersection of Gevrey classes. Here we prove an extension theorem in the case of more general intersections such that every C ∞ -Whitney jet belongs to one of them. We also prove a linear extension theorem in the case of a compact set with Markov's property. These extensions of jets can be chosen to be real-analytic on R n \ E. Then we prove a Łojasiewicz theorem.
Introduction.On note E un ensemble compact de R n . Une fonction f de classe C ∞ sur R n appartientà l'intersection des classes de Gevrey G lorsque, pour tout a > 0, on aUn jet F , défini sur E, appartientà G(E) lorsque, pour tout a > 0, on a donc G(E) est l'ensemble des jets qui appartiennentà l'intersection des classes de jets de Gevrey sur E.Les classes de Gevrey interviennent de façon naturelle dans des problèmes d'équations aux dérivées partielles. J. Chaumat et A.-M. Chollet ont prouvé que leur intersection jouit des mêmes bonnes propriétés que C ∞ (R n ). On pourra consulter [3] et [4] où sont notamment démontrés un théorème d'extension de type Whitney, un théorème de division ainsi qu'un théorème de préparation. L'intersection des classes de Gevrey y estétudiée dans le cadre plus large des intersectionsà croissance modérée. Ces intersections sont incluses dans l'intersection des classes de Gevrey.Plus généralement, soit φ une fonction convexe croissante sur R + . On suppose que lim t→+∞ φ(t)/t = +∞. Pour tout a > 0 et tout p ∈ N, on poseDe même, un jet F défini sur E appartientà Jφ(E) lorsque, pour tout a > 0, on a sup p∈N max supOn définit ainsi de nouvelles intersections de classes de fonctions et de classes de jets. Toute fonction de φ définit un jet de Jφ(E) via l'application de restrictionOn dit que la fonction φ est non quasi-analytique lorsque la suite (M (φ) ap ) p≥0 est non quasi-analytique, pour tout a > 0. Cela signifie que la
Extensions de jets
215fonction φ vérifie la condition suivante :Lorsque φ est la fonction définie par φ(x) = x ln(1 + x), on retrouve l'intersection des classes de Gevrey : φ = G et Jφ(E) = G(E). Si φ vérifie la condition suivante :on retrouve le cas d'une intersectionà croissance modérée. Les intersections construites ici sont plus riches que les intersectionsà croissance modérée. En effet, si f est une fonction de classe C ∞ sur R n , il existe une fonction φ non quasi-analytique telle que R E (f ) appartienneà Jφ(E).Dans un premier temps, on démontre un théorème d'extension de type Whitney :