On étudie le comportement topologique du flot horocyclique sur des surfaces hyperboliques géométriquement infinies. Cette étude est intimement liée à celle du flot géodésique sur ces surfaces. Le premier chapitre commence par introduire les objets de géométrie hyperbolique que nous utiliserons. Il présente ensuite une classe de surfaces, les flûtes hyperboliques, qui couvrent une grande partie de la complexité des surfaces géométriquement infinies. Enfin, il aborde la notion de finesse asymptotique d'une demi-géodésique, qui donne la limite inférieure du rayon d'injectivité de la surface le long de la demi-géodésique. Le deuxième chapitre est consacré aux propriétés classiques du flot horocyclique sur lesquelles nous baserons nos preuves. Le troisième chapitre concerne l'étude de l'intersection entre l'adhérence de l'orbite horocyclique issue d'un vecteur u d'une surface hyperbolique et la demi orbite géodésique issue de ce même vecteur. Nous montrons que si la finesse asymptotique de la demi-orbite géodésique issue de u est finie et si u n'est pas périodique pour le flot horocyclique, cette intersection contient une infinité divergente de points. Par ailleurs, si la finesse asymptotique est nulle, alors cette intersection est égale à toute la demi-orbite géodésique positive. Nous montrons cependant que même si la finesse asymptotique n'est pas nulle, la demi-orbite géodésique peut tout de même être contenue dans cette intersection. Le quatrième chapitre étudie les liens entre une orbite horocyclique issue d'un vecteur u et la feuille fortement stable associée. Nous commençons par montrer que les adhérences de ces deux ensembles coïncident toujours. Cependant, cette propriété ne s'étend pas aux ensembles eux-mêmes et nous donnons ensuite une condition suffisante pour que qu'ils ne coïncident pas. Nous montrons qu'alors la feuille fortement stable est une union d'une quantité non dénombrable d'orbites horocycliques. / We study the topological behavior of the horocycle flow on geometrically infinite hyperbolic surfaces. This study and that of the geodesic flow are deeply interwoven. The first chapter introduces the basic objects of hyperbolic geometry that we will use. Next, it presents a class of surfaces, the hyperbolic flutes, which carries most of the complexity of geometrically infinite surfaces. Then, it details the notion of asymptotic thinness for a half-geodesic, which determines the size of the most thin parts that this half-geodesic crosses. The second chapter focuses on the classical properties of the horocycle flow on which we will base our proofs. The third chapter presents the study of the intersection between the closure of a horocyclic orbit stemming from a vector u on a hyperbolic surface and the positive half-geodesic stemming from the same vector. We show that if the asymptotic thinness of the half-orbit stemming from u is finite and if u is not periodic for the horocycle flow, then this intersection contains an unbounded sequence of points. Moreover, if the asymptotic thinness is zero, then all the halfgeodesic orbit is included in the intersection. However, we also prove that the half-geodesic orbit can be included in the intersection and even if the asymptotic thinness is not zero. The fourth chapter studies the links between a horocyclic orbit starting from a vector u and the strong stable manifold associated to u. We first show that the closure of these two sets are always the same. However, we then give a sufficient condition for these two sets to be different and we prove that in this case, the strong stable manifold is a reunion of an uncountable number of horocyclic orbits.

Deux groupes sont dits élémentairement équivalents s'ils satisfont les mêmes énoncés du premier ordre dans le langage des groupes. Aux environs de l'année 1945, Tarski posa la question suivante, connue désormais comme le problème de Tarski : les groupes libres non abéliens sont-ils élémentairement équivalents ? Une réponse positive à cette fameuse question fut apportée plus d'un demi-siècle plus tard par Sela, et en parallèle par Kharlampovich et Myasnikov, comme le point d'orgue de deux volumineuses séries de travaux. Dans la foulée, Sela généralisa aux groupes hyperboliques sans torsion, dont les groupes libres sont des représentants emblématiques, les méthodes de nature géométrique qu'il avait précédemment introduites à l'occasion de son travail sur le problème de Tarski. Les résultats rassemblés ici s'inscrivent dans cette lignée, en s'en démarquant toutefois dans la mesure où ils traitent des théories du premier ordre des groupes hyperboliques en présence de torsion. Dans un premier chapitre, on démontre, entre autres, que tout groupe de type fini qui est élémentairement équivalent à un groupe hyperbolique est lui-même hyperbolique. On démontre ensuite que les groupes virtuellement libres sont presque homogènes, ce qui signifie que deux éléments qui sont indiscernables du point de vue de la logique du premier ordre sont dans la même orbite sous l'action du groupes des automorphismes du groupe ambiant, à une indétermination finie près. Enfin, on donne une classification complète des groupes virtuellement libres de type fini du point de l'équivalence élémentaire à deux quantificateurs. / Two groups are said to be elementarily equivalent if they satisfy the same first-order sentences in the language of groups, that is the same mathematical statements whose variables are only interpreted as elements of a group. Around 1945, Tarski asked the following question : are non-abelian free groups elementarily equivalent? An affirmative answer to this famous Tarski's problem was given in 2006 by Sela and independently by Kharlampovich and Myasnikov, as the culmination of two voluminous series of papers. Then, Sela gave a classification of all finitely generated groups that are elementarily equivalent to a given torsion-free hyperbolic group. The results contained in the present thesis fall into this context and deal with first-order theories of hyperbolic groups with torsion. In the first chapter, we prove that any finitely generated group that is elementarily equivalent to a hyperbolic group is itself a hyperbolic group. Then, we prove that virtually free groups are almost homogeneous, meaning that elements are almost determined up to automorphism by their type, i.e. the first-order formulas they satisfy. In the last chapter, we give a complete classification of finitely generated virtually free groups up to elementary equivalence with two quantifiers.

Nous étudions dans ce travail la modélisation de la cristallisation d'une chambre magmatique fermée. Le modèle physique et mathématique couple trois phénomènes élémentaires : solidification, sédimentation et réactions chimiques entre solide et liquide magmatique. L'adimensionnement des équations aux dérivées partielles permet de faire apparaître deux paramètres exprimant les ratios respectifs de la vitesse de solidification sur la vitesse de déplacement et de la cinétique d'échange chimique sur la vitesse de déplacement. La vitesse de déplacement relatif entre le solide et le liquide, la vitesse de solidification et la loi de partage à l'équilibre sont supposées connues ; la loi d'équilibre chimique peut être non linéaire et s'appliquer aux éléments majeurs. Le modèle est écrit pour un constituant chimique. Il est scindé en deux sous modèles, celui de la cristallisation/sédimentation et celui du transport réactif. Le premier est exprimé par une équation de nature hyperbolique et est résolu par un schéma à trois points, le second est résolu par des schémas décentrés. Le code de calcul est écrit en langage Fortran 90, il est ensuite validé par des méthodes théoriques telles que la méthode des courbes caractéristiques, par des calculs analytiques ou par des considérations qualitatives. Les simulations numériques montrent que, pour certaines valeurs des paramètres adimensionnés et pour certaines formes de la loi d'équilibre chimique, la composition chimique de la chambre peut présenter une répartition non uniforme des compositions, en particulier bimodale (deux valeurs des concentrations sont privilégiées), à partir de conditions initiales homogènes. Le degré de cette bimodalité dépend notamment de la forme de la loi de partage à l'équilibre. Ce modèle fournit un cadre intellectuel pour discuter les phénomènes responsables de la variété de compositions des roches magmatiques, notamment dans une même province. Il montre en particulier que le couplage entre trois phénomènes élémentaires suffit à rendre compte de la bimodalité ou plus généralement de l'apparition de discontinuités de composition, sans faire intervenir de phénomène additionnel.

Au début du XXème siècle, Poincaré puis Birkhoff ont été amenés, lors de leur recherche sur le problème restreint des trois corps, à étudier les courbes invariantes par une transformation d'une surface préservant l'aire. Cinquante ans plus tard, les théorèmes KAM démontrent la persistance de courbes invariantes après perturbation en topologie de classe k plus grande ou égale à trois. On peut alors se demander ce que devient ce résultat en topologie de classe moins élevée. Par ailleurs, l'étude des dynamiques C1-génériques connaît de nombreux développements, grâce notamment au Connecting Lemma. Par exemple, Bonatti et Crovisier on démontré qu'un difféomorphisme C1-générique d'une telle surface possède un ensemble dense de points dont l'orbite sort de tout compact. Ces deux résultats permettent de penser qu'un difféomorphisme C1-générique d'une surface n'admet pas de courbes fermées simples invariantes. C'est ce que nous démontrons dans ce travail. On obtient assez facilement, en utilisant le Connecting Lemma ainsi que les propriétés topologiques de l'anneau, qu'un difféomorphisme C1-générique de l'anneau possède des points périodiques sur toute courbe fermée simple invariante. Cela se généralise à une surface quelconque en utilisant une famille dénombrable d'anneau constituant une base de voisinages d'une courbe fermée simple quelconque. La construction d'une telle famille d'anneaux est le principal résultat du premier chapitre. Il s'agit alors de supprimer les points périodiques sur les courbes invariantes. Dans un premier temps, nous nous inspirerons d'un argument qu'Herman utilise dans le cadre de courbes invariantes par les twists de l'anneau pour montrer que tous les points périodiques ne peuvent être hyperboliques. Ensuite, nous définissons une propriété, la propriété Γ, qui si elle est vérifiée par un difféomorphisme symplectique et l'un de ses points périodiques elliptiques, empêche que ce point périodique appartienne à une courbe invariante. En montrant que cette propriété est vérifiée par un difféomorphisme C1-générique et tous ses points périodiques elliptiques, nous obtenons le résultat souhaité. Dans le quatrième chapitre, nous nous employons à définir de façon rigoureuse la notion de fonction génératrice qui est l'outil classique pour perturber des difféomorphismes symplectiques

Mon travail de recherche a couvert ces dernières années un spectre assez large de modélisation, analyse numérique et simulation pour des problèmes physiques et biologiques, de la mécanique à l'échelle moléculaire ou particulaire, niveau dit " microscopique ", à la diffusion non-linéaire, niveau " macroscopique ", en passant par des équations cinétiques décrivant la distribution en vitesse de particules, niveau " mésoscopique ". Le point commun de ces travaux est l'étude de comportements asymptotiques et la recherche d'explications de phénomènes observables macroscopiques par des descriptions micro ou mésoscopiques à l'aide d'outils numériques. Les applications auxquelles on s'intéresse ici sont, pour la partie physique, liées à la thermodynamique couplée ou non avec du transfert radiatif ou une dynamique particulaire raréfiée et, pour la partie biologie-chimie, à des problèmes de propagation d'information par des mécanismes de transport ou de diffusion, ainsi qu'à la recherche de formation de motifs et à l'étude d'extinction de populations. Les équations aux dérivées partielles étudiées proviennent de modèles déterministes ou probabilistes et se classent dans les catégories de transport et de diffusion évolutifs. L'apparition, lors de l'adimensionnement des problèmes, de petits paramètres qui augmentent l'influence de certains des phénomènes caractéristiques dans la solution peut entraîner des difficultés importantes lors du traitement numérique, ce qui impose le recours à des solutions nouvelles permettant de recouvrer au minimum le comportement macroscopique prédit par les observations et par l'analyse mathématique.

Les méthodes hybrides Moments/PDF sont bien adaptées pour la description des écoulements diphasiques turbulents, polydispersés, hors équilibre thermodynamique. Ces méthodes permettent d'avoir une description assez fine de la polydispersion, de la convection et des termes sources non-linéaires. Cependant, les approximations issues de telles simulations sont bruitées ce qui, dans certaines situations, occasionne un biais. L'approche alternative étudiée dans ce travail consiste à coupler une description Eulerienne des moments avec une description stochastique Lagrangienne à l'intérieur de la phase dispersée, permettant de réduire l'erreur statistique et d'éliminer le biais. La mise en oeuvre de cette méthode nécessite le développement de schémas numériques robustes. Les approches proposées sont basées sur l'utilisation simultanée des techniques de relaxation et de décentrement, et permettent d'obtenir des approximations stables des solutions instationnaires du système d'équations aux dérivées partielles, avec des données peu régulières provenant du couplage avec le modèle stochastique. Une comparaison des résultats de la méthode hybride Moments-Moments/PDF avec ceux issus de la méthode hybride ''classique'' est présentée en termes d'analyse des erreurs numériques sur un cas de jet co-courant gaz-particules.

On considère des méthodes de Galerkin stochastiques pour des systèmes hyperboliques faisant intervenir des données en entrée incertaines de lois de distribution connues paramétrées par des variables aléatoires. On s'intéresse à des problèmes où un choc apparaît presque sûrement en temps fini. Dans ce cas, la solution peut développer des discontinuités dans les domaines spatial et stochastique. On utilise un schéma de Volumes Finis pour la discrétisation spatiale et une projection de Galerkin basée sur une approximation polynomiale par morceaux pour la discrétisation stochastique. On propose un solveur de type Roe avec correcteur entropique pour le système de Galerkin, utilisant une technique originale pour approcher la valeur absolue de la matrice de Roe et une adaptation du correcteur entropique de Dubois et Mehlmann. La méthode proposée reste coûteuse car une discrétisation stochastique très fine est nécessaire pour représenter la solution au voisinage des discontinuités. Il est donc nécessaire de faire appel à des stratégies adaptatives. Comme les discontinuités sont localisées en espace et évoluent en temps, on propose des représentations stochastiques dépendant de l'espace et du temps. On formule cette méthodologie dans un contexte multi-résolution basé sur le concept d'arbres binaires pour décrire la discrétisation stochastique. Les étapes d'enrichissement et d'élagage adaptatifs sont réalisées en utilisant des critères d'analyse multi-résolution. Dans le cas multidimensionnel, une anisotropie de la procédure adaptative est proposée. La méthodologie est évaluée sur le système des équations d'Euler dans un tube à choc et sur l'équation de Burgers en une et deux dimensions stochastiques

Thèse doctorat : Mathématiques : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 5 p.

Ce mémoire est consacré à mes travaux sur la dynamique conforme dans les espaces métriques. Il est constitué de deux parties, la première concernant les groupes hyperboliques, et la seconde l'itération de revêtements ramifiés dans des espaces topologiques. Ces deux parties sont reliées par le dictionnaire de D. Sullivan. On a choisi d'orienter l'exposition en prenant la conjecture de J.W. Cannon comme fil d'Ariane.

Depuis Ruelle, puis Rugh, Baladi, Tsujii, Liverani et d'autres, on sait que la fuite vers l'équilibre statistique dans de nombreux systèmes dynamiques chaotiques est gouvernée par le spectre de résonances de Ruelle de l'opérateur de transfert. A la suite de récents travaux de Faure, Sjöstrand et Roy, cette thèse propose une approche semiclassique de systèmes dynamiques chaotiques de type partiellement expansifs. Une partie du mémoire est consacrée aux extensions d'applications expansives vers des groupes de Lie compacts, en se reistreignant essentiellement aux extensions vers le groupe spécial unitaire SU(2). On se sert de la théorie des états cohérents pour les groupes de Lie, développée dans les années 70 par Perelomov et Gilmore, pour mettre en oeuvre les outils semiclassiques et la théorie des résonances de Helfer et Sjöstrand. On en déduira une estimation de Weyl et un gap spectral pour les résonances de Ruelle prouvant que la fuite vers l'équilibre statistique dans ces modèles est gouvernée par un opérateur de rang fini (en accord avec les résultats obtenus par Tsujii pour les semi-flots partiellement expansifs). On étend ensuite cette approche aux modèles "ouverts" pour lesquels la dynamique présente un ensemble captif de Cantor. On montrera l'existence d'un spectre discret de résonances de Ruelle et on prouve une loi de Weyl fractale, analogue classique du théorème de Lin-Guillopé-Zworski pour les résonances du laplacien hyperbolique sur les surfaces à courbure négative constante. On montre aussi un gap spectral asymptotique. On expliquera pourquoi ces modèles semblent être des objets d'étude adaptés pour approcher des questions importantes et difficiles du chaos classique ou quantique. On pense en particulier au problème de la minoration du nombre de résonances, étudié dans le contexte des applications quantiques par Nonnenmacher et Zworski.