Tout le contenu de ce mémoire est un travail en commun de l'auteur et de Xavier Buff.<br /><br />Pour theta nombre de Brjuno, soit r(theta) le rayon conforme du disque de Siegel de P_theta(z)=exp(i.2.pi.theta)z+z^2 et Phi(theta) la variante due à Yoccoz de la somme de Brjuno. Soit Upsilon(theta) = log r(theta) + Phi(theta). <br />Nous avons démontré précédemment que Upsilon possède un prolongement continu à R, et donné une formule explicite pour sa valeur aux rationnels.<br /><br />La conjecture de Marmi-Moussa-Yoccoz, toujours ouverte, est que la fonction Upsilon est 1/2-Höldérienne.<br /><br />Nous démontrons ici que l'exposant ne peut être amélioré : quel que soit l'intervalle I non vide, Upsilon n'est delta-Höldérienne sur I pour aucun delta>1/2. Sa variation sur I est également non bornée.<br />La preuve est basée sur un développement asymptotique en tout p/q de Upsilon(x_n) pour certaines suites de rationnels x_n tendant vers p/q.<br />L'étude d'un point parabolique et de ses perturbations se fait parfois par l'introduction d'un champ de vecteurs auquel la dynamique est comparée.<br />Nous introduisons un champ de vecteurs particulier qui permet d'une part de donner des estimations suffisamment fines pour effectuer le développement asymptotique de Upsilon(x_n) ; d'autre part de proposer une normalisation intéressante des coordonnées de Fatou d'un point parabolique, dont nous donnons quelques propriétés de base.<br />J'ai apporté un soin particulier à la rédaction de l'implosion parabolique, qu'il a fallu raffiner légèrement et adapter à notre champs de vecteurs.

Nous nous intéressons à la linéarisation de certaines familles de germes analytiques. En généralisant les définitions et propriétés du diamètre transfini, nous obtenons un théorème de majoration polynomiale valable à la fois pour les nombres complexes et p-adiques. Nous utilisons ensuite ces outils pour donner une nouvelle démonstration du théorème de Perez-Marco concernant la linéarisation des familles non résonantes de germes analytiques qui subissent une perturbation polynomiale. Cette nouvelle preuve permet de démontrer un analogue du théorème de Perez-Marco dans le cadre p-adique. De plus, cette nouvelle technique nous permet de récupérer une information diophantienne et donne de nouveaux exemples de germes non linéarisables. Nous généralisons ensuite ce théorème au cas des perturbations par des fractions rationnelles et finissons par étudier un cas résonant et retrouvons, de façon élémentaire, certaines propriétés concernant le centralisateur des germes tangents à l'identité.

La théorie classique des formes normales a pour but de simplifier des problèmes compliqués grâce à des changements de coordonnées réguliers pour ne conserver que les caractéristiques dynamiques du système. Plus précisément, on considère un système dynamique que l'on dit "élémentaire", comme par exemple la partie linéaire d'un champ de vecteurs au voisinage d'un point singulier, et on se donne une perturbation de ce système élémentaire. Les formes normales sont alors l'ensemble des représentants de ces perturbations à la conjugaison près d'une transformation régulière. Elles ne sont constituées que des termes qui caractérisent la dynamique du système perturbé et que l'on appelle "résonances". Dans la première partie de la thèse on cherche à comprendre la dynamique locale d'équations différentielles implicites de la forme F(x,y,y')=0, où F est un germe de fonction holomorphe au voisinage d'un point singulier. Pour cela on utilise la relation intime entre les systèmes implicites et les champs liouvilliens. La classification par transformation de contact des équations implicites provient de la classification symplectique des champs liouvilliens. On utilise alors toute la théorie des formes normales pour les champs de vecteurs, dans le cas holomorphe (Brjuno, Siegel, Stolovitch) et dans le cas réel (Sternberg), que l'on adapte pour les champs liouviliens avec des transformations symplectiques. On établit alors des résultats de classification des équations implicites en fonction des invariants dynamiques, ainsi que des conditions d'existence de solutions locales via les formes normales. / The aim of the classical theory of normal forms is to simplify complicated problems by using regular changes of coordinates, in order to keep the dynamical characteristics of the system. More precisely, we consider a dynamic system said to be "elementary", like a linear part of a vector field in the neighborhood of a singular point, and we focus on a perturbation of this elementary system. Normal forms are the set of all representatives of those perturbations under the action of the group of regular transformation. They are composed of terms which caracterise the dynamics of the perturbed system, and which are called "resonances". In the first part, we try to understand the local dynamic of implicit equations of the form $F(x,y,y')=0$, where $F$ is a germ of holomorphic function in a neighborhood of a singular point. To this end we use the relation between implicit systems and liouvillian vector fields. The classification by contact transformations of implicit equations come from the symplectic classification of liouvillian vector fields. We use all normal forms theory for vector fields, in complex case (Bjruno, Siegel, Stolovitch), and in real case (Sternberg), adapted to liouvillian fields with symplectic transformations. We establish classification results for implicit equations according to the dynamical invariants, and existence conditions of local solutions using normal forms. In the second part, we undertake the normalization of an analytic vector field in a neighborhood of the torus. Brjuno enunciates a theorem of normalization, under conditions of control of small divisors and integrability of the normal forms ; however he doesn't give any proof of that theorem.

Dans ce travail, les équations moyennes des mouvements planétaires sont calculées à un ordre élevé grâce à une programmation en calcul formel dédié. Le système résultant comprend plus de 150 000 termes polynomiaux et fournit une très bonne approximation de l'évolution à long terme du système solaire. Le système d'équations est développé à ordre 2 dans les masses et l'ordre 5 en excentricité et inclinaison. le système de degré 3 est intégré analytiquement au premier ordre ce qui fournit une solution de plus de 25 000 termes. Le problème des petits diviseurs séculaires est discuté et une liste de petits diviseurs de grande amplitude dans la solution est donnée, le terme principal étant lié à l'argument $ g_1-g_5 + (s_2-s_1) $ qui intervient dans l'excentricité de Mercure et de Jupiter, et dans l'inclinaison de Mercure et de Vénus. Il est démontré que la présence de ces diviseurs compromet grandement la construction d'une solution analytique, sans tenir compte du fait que la même solution de degré 5 comprend plus de 3 000 000 termes. Les équations séculaires sont ensuite intégrées numériquement d'une façon très efficace sur plus de 1 million d'années, avec un pas de 500 ans pour toutes les planètes, après avoir rajouté la contribution moyenne de la relativité générale et de la Lune. Par comparaison avec les éphémérides DE102 sur plus de 3000 ans, il est démontré que les équations séculaires représentent très bien l'évolution à long terme du système solaire.

La théorie classique des formes normales a pour but de simplifier des problèmes compliqués grâce à des changements de coordonnées réguliers pour ne conserver que les caractéristiques dynamiques du système. Plus précisément, on considère un système dynamique que l'on dit "élémentaire", comme par exemple la partie linéaire d'un champ de vecteurs au voisinage d'un point singulier, et on se donne une perturbation de ce système élémentaire. Les formes normales sont alors l'ensemble des représentants de ces perturbations à la conjugaison près d'une transformation régulière. Elles ne sont constituées que des termes qui caractérisent la dynamique du système perturbé et que l'on appelle "résonances". Dans la première partie de la thèse on cherche à comprendre la dynamique locale d'équations différentielles implicites de la forme F(x,y,y')=0, où F est un germe de fonction holomorphe au voisinage d'un point singulier. Pour cela on utilise la relation intime entre les systèmes implicites et les champs liouvilliens. La classification par transformation de contact des équations implicites provient de la classification symplectique des champs liouvilliens. On utilise alors toute la théorie des formes normales pour les champs de vecteurs, dans le cas holomorphe (Brjuno, Siegel, Stolovitch) et dans le cas réel (Sternberg), que l'on adapte pour les champs liouviliens avec des transformations symplectiques. On établit alors des résultats de classification des équations implicites en fonction des invariants dynamiques, ainsi que des conditions d'existence de solutions locales via les formes normales.