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é.

Cette Thèse porte sur les familles tangentielles et les équations de Hamilton--Jacobi. <br />Ces deux sujets sont reliés à des thèmes classiques en théorie des singularités, comme la théorie des enveloppes, les singularités des fronts d'onde et des caustiques, la géométrie symplectique et de contact. <br />Les premiers trois chapitres de la Thèse sont consacrés à l'étude des familles tangentielles, à la classification de leurs singularités stables et simples, et à leurs interprétation dans le cadre de la Géométrie de Contact. <br />Le dernier chapitre est dédié à l'étude des solutions de minimax pour l'équation de Hamilton--Jacobi, notamment à la classification des leurs singularités génériques de petite codimension.

Un point d'aplatissement d'une courbe (réelle $C^\infty$ ou complexe holomorphe) de l'espace projectif (réel ou complexe) de dimension $n$ est un point de la courbe pour lequel l'hyperplan osculateur à un contact plus élevé qu'en un point ordinaire. Pour $n=2$, les points d'aplatissement sont communément appelés les points d'inflexions.\\ Dans la première partie de la thèse étudie les familles de courbes par rapport aux points d'aplatissement.\\ On introduit une notion de forme normale par rapport aux aplatissements des fibres d'une application $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$,\\ Ensuite, on commence la classification des germes d'applications (réels $C^\infty$ ou complexes holomorphes) $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$, par rapport aux points d'aplatissement des fibres de l'application. On introduit la notion de déformation verselle par rapport aux aplatissements, et on calcule ces déformations pour les fonctions de Morse de deux variables. Enfin, on définit ``les invariants fondamentaux de topologie projective'' d'un germe $f:(\KM^n,0) \to (\KM^{n-1},0)$ et on calcule ces invariants pour les éléments de la classification.\\ Dans une deuxième partie, on tente d'inclure la théorie des aplatissements des courbes en développant la théorie de propagation des fronts d'onde. par le biais d'un théorème de déformations verselles pour les applications legendriennes. On généralise des résultats de Kazarian sur les courbes spatiales au cas variétés de dimension quelconque. Notamment, on démontre un théorème sur la bifurcation des courbes paraboliques de certaines familles de surfaces dans l'espace projectif.

Reproduction de : Thèse de doctorat : Mathématiques appliquées : Grenoble, INPG : 1993. / Titre provenant de l'écran-titre.

Le sujet de cette thèse est la question du nombre minimal d'orbites de Reeb distinctes sur une variété de contact qui est le bord d'une variété symplectique compacte. L'homologie symplectique $S^1$-équivariante positive est un des outils principaux de cette thèse; elle est construite à partir d'orbites périodiques de champs de vecteurs hamiltoniens sur une variété symplectique dont le bord est la variété de contact considérée. Nous analysons la relation entre les différentes variantes d'homologie symplectique d'une variété symplectique exacte compacte (domaine de Liouville) et les orbites de Reeb de son bord. Nous démontrons certaines propriétés de ces homologies. Pour un domaine de Liouville plongé dans un autre, nous construisons un morphisme entre leurs homologies. Nous étudions ensuite l'invariance de ces homologies par rapport au choix de la forme de contact sur le bord. Nous utilisons l'homologie symplectique $S^1$-équivariante positive pour donner une nouvelle preuve d'un théorème de Ekeland et Lasry sur le nombre minimal d'orbites de Reeb distinctes sur certaines hypersurfaces dans $\R^{2n}$. Nous indiquons comment étendre au cas de certaines hypersurfaces dans certains fibrés en droites complexes négatifs. Nous donnons une caractérisation et une nouvelle façon de calculer l'indice de Conley-Zehnder généralisé, défini par Robbin et Salamon pour tout chemin de matrices symplectiques. Ceci nous a mené à développer de nouvelles formes normales de matrices symplectiques.

Cette thèse porte sur le comportement asymptotique des systèmes dynamiques et contient cinq chapitres indépendants.Nous considérons dans la première partie de la thèse trois systèmes dynamiques concrets. Les deux premiers chapitres présentent deux modèles de systèmes physiques : dans le premier, nous étudions la structure géométrique des langues d'Arnold de l'équation modélisant le contact de Josephson; dans le deuxième, nous nous intéressons au problème de Lagrange de recherche de la vitesse angulaire asymptotique d'un bras articulé sur une surface. Dans le troisième chapitre nous étudions la géométrie plane du billard elliptique avec des méthodes de la géométrie complexe.Les quatrième et cinquième chapitres sont dédiés aux méthodes générales d'étude asymptotique des systèmes dynamiques. Dans le quatrième chapitre nous prouvons la convergence des moyennes sphériques pour des actions du groupe libre sur un espace mesuré. Dans le cinquième chapitre nous fournissons une forme normale pour un produit croisé qui peut s'avérer utile dans l'étude des attracteurs étranges de systèmes dynamiques. / This thesis deals with the questions of asymptotic behavior of dynamical systems and consists of six independent chapters. In the first part of this thesis we consider three particular dynamical systems. The first two chapters deal with the models of two physical systems: in the first chapter, we study the geometric structure and limit behavior of Arnold tongues of the equation modeling a Josephson contact; in the second chapter, we are interested in the Lagrange problem of establishing the asymptotic angular velocity of the swiveling arm on the surface. The third chapter deals with planar geometry of an elliptic billiard.The forth and fifth chapters are devoted to general methods of studying the asymptotic behavior of dynamical systems. In the forth chapter we prove the convergence of markovian spherical averages for free group actions on a probablility space. In the fifth chapter we provide a normal form for skew-product diffeomorphisms that can be useful in the study of strange attractors of dynamical systems.

Cette thèse est un recueil de constructions et de résultats variés autour de problèmes de résonances et de stabilités. Premièrement, on s'intéresse à la conception et à l'analyse de méthodes numériques pour des problèmes académiques tels que le problème de Dirichlet sur un segment ou l'équation de transport associée à une rotation du plan. Ensuite, on étend l'analyse linéaire classique des équations de Vlasov-Poisson autour d'états d'équilibre homogènes pour décrire des phénomènes multidimensionnels et non linéaires. Enfin, une large partie est consacrée à l'étude d'équations de Schrödinger non linéaires en dimension 1. D'une part, on étudie l'impact d'une semi-discrétisation naturelle sur les ondes solitaires progressives et la croissance des normes de Sobolev. D'autre part, on développe une nouvelle famille de formes normales permettant de décrire la dynamique des petites solutions régulières pendant des temps très longs. / This manuscript deals with many problems about resonance and stability. First, we design and analyse numerical methods for academic problems like the Dirichlet problem on a segment line or the transport equation associated with a two dimensional rotation. Then, we extend the classical linear analysis of Vlasov-Poisson equations near homogeneous equilibria to describe nonlinear and multidimensional phenomena. Finally, a large part of this thesis is devoted to nonlinear Schrödinger equations in dimension 1. On the one hand, we study the impact of a natural semi-discretisation on the solitary traveling waves and on the growth of the high order Sobolev norms. On the other hand, we develop a new family of normal forms to describe the dynamic of small and smooth solutions for very long times.

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

Une tresse est une classe d'équivalence de mots de tresse. Diverses formes normales sur les tresses ont été décrites dans la littérature, c'est-à-dire, divers moyens de sélection, pour toute tresse, d'un mot de tresse distingué la représentant. Définie de façon naturelle sur les monoïdes de tresses de Birman-Ko-Lee (ou duaux), la forme normale tournante peut être étendue au groupe de tresses tout entier. Ici, nous donnons des contraintes de nature combinatoire satisfaites par cette nouvelle forme normale. Nous en obtenons ainsi une caractérisation et montrons que l'ensemble des formes normales tournantes des tresses duales constitue un langage régulier.<br /><br />Un résultat de P. Dehornoy (1992) affirme que toute tresse non triviale admet un représentant sigma-défini. Ce résultat est à la base de la construction de l'ordre des tresses. A l'aide de la forme normale tournante et de ses propriétés, nous montrons que toute tresse admet un représentant sigma-défini de longueur quasi-géodésique, ce qui résout une question ouverte depuis une quinzaine d'années. <br /><br />Un résultat de R. Laver montre que les monoïdes de Birman-Ko-Lee munis de l'ordre des tresses sont bien ordonnés mais laisse ouvert la détermination de leurs longueurs.<br />A l'aide de la forme normale tournante, nous obtenons une caractérisation de l'ordre des tresses sur le monoïde de Birman-ko-Lee à n brins à partir de sa restriction sur celui à (n-1) brins. Une conséquence de ce résultat est une nouvelle démonstration du résultat de R. Laver ainsi que la détermination de la longueur des monoïdes de tresses duaux munis de l'ordre des tresses.

Le sujet global de cette thèse est l'étude des solutions périodiques des systèmes plans d'équations différentielles ordianaires. Elle est divisée en deux grandes parties.<br />La première partie, (il s'agit d'un travail publié et écrit en collaboration avec R. Chouikha) est consacré à la recherche des solutions périodiques de « l'équation de Liénard généralisée ». On démontre un théorème qui asure dans certains cas l'existence de telles solutions.<br />La seconde partie est consacré à la recherche de centres isochrones de systèmes d'équations différentielles ordinaires polynomiaux plans. Grâce à l'usage de C-algorithme, on détermine huit nouveaux cas. On montre aussi l'efficacité de la méthode des formes normales dans de telles recherches, en examinant des systèmes d'ordre 2, 3, 4 et en retrouvant de manière uniforme plusieurs résultats déjà connus.