2.2 La X-dérivation de la fonction exp . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2.1 Dérivée directionnelle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.2.2 La X-dérivation de la fonction exp X=. . . . . . . . . . . . . . . . . . 36
2.3 Série entière de la fonction exp X. . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.1 Formule de Taylor de exp X. . . . . . . . . . . . . . . . . . . . . . . . . 39
2.3.2 Série entière de exp X. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4 Série de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
2.4.1 Injectivité de la X-dérivation de la fonction X7! exp X. . . . . . . . . . 43
2.4.2 Séries de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.4.3 Noyaux de la X- dérivation de la fonction X7! exp X........... 48
2.4.4 Relation de Plancherel et de Parseval . . . . . . . . . . . . . . . . . . . . 50
2.5 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3 Inversibilité de la fonction exponentielle d’un champ de vecteurs par le
théorème de Nash-Moser 56
3.1 Flot borné et ‡ot opérant doucement sur un espace de Frêchet E: ......... 56
3.1.1 Flot borné . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
3.1.2 Absorbant et ‡ot conjugué . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1.3 Flot opèrant doucement sur un espace de Frêchet . . . . . . . . . . . . . 57
3.1.4 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1.5 Propriétés usuelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.2 Propriétés de la fonction exponentielle d’un champ de vecteurs . . . . . . . . . . 67
3.2.1 La fonction exponentielle d’un champ de vecteurs est douce . . . . . . . . 67
3.2.2 Surjectivité de la dérivée de la fonction exponentielle . . . . . . . . . . . . 69
3.2.3 Propriété de l’inverse à droite de la dérivée de la fonction exponentielle . 71
3.3 Inversibilité de la fonction exponentielle par le théorème de Nash-Moser . . . . . 74
4 Applications 75
4.1 Stabilité douce de degré r et de base b sur un espace de Frêchet . . . . . . . . . . 75
4.2 Surjectivité locale de l’opérateur adXpar un di¤éomorphisme adjoint sur 1
0. . 77
3