Dans cette thèse, nous nous intéressons à deux thèmes d'analyse géométrique. Le premier concerne le comportement asymptotique des fonctions harmoniques en relation avec la géométrie, sur des graphes et des variétés. Nous étudions des critères de convergence au bord des fonctions harmoniques, comme celui de la bornitude non-tangentielle, de la finitude de l'énergie ou encore de la densité de l'énergie. Nous nous plaçons pour cela dans différents cadres comme les graphes hyperboliques au sens de Gromov, les variétés hyperboliques au sens de Gromov, les graphes de Diestel-Leader ou encore dans un cadre abstrait pour obtenir des résultats pour les points du bord minimal de Martin. Les méthodes probabilistes utilisées exploitent le lien entre les fonctions harmoniques et les martingales. Le deuxième thème abordé dans cette thèse concerne l'étude des propriétés des ensembles rectifiables de dimension 1 dans le groupe de Heisenberg, en relation avec des opérateurs d'intégrales singulières. Nous étendons à ce contexte sous-riemannien une partie des résultats de la théorie des ensembles uniformément rectifiables de David et Semmes. Nous obtenons notamment un théorème géométrique du voyageur de commerce qui fournit une condition pour qu'un ensemble Ahlfors-régulier du premier groupe de Heisenberg soit contenu dans une courbe Ahlfors-régulière.

Dans cette thèse, nous nous intéressons à deux thèmes d'analyse géométrique. Le premier concerne le comportement asymptotique des fonctions harmoniques en relation avec la géométrie, sur des graphes et des variétés. Nous étudions des critères de convergence au bord des fonctions harmoniques, comme celui de la bornitude non-tangentielle, de la finitude de l'énergie ou encore de la densité de l'énergie. Nous nous plaçons pour cela dans différents cadres comme les graphes hyperboliques au sens de Gromov, les variétés hyperboliques au sens de Gromov, les graphes de Diestel-Leader ou encore dans un cadre abstrait pour obtenir des résultats pour les points du bord minimal de Martin. Les méthodes probabilistes utilisées exploitent le lien entre les fonctions harmoniques et les martingales. Le deuxième thème abordé dans cette thèse concerne l'étude des propriétés des ensembles rectifiables de dimension 1 dans le groupe de Heisenberg, en relation avec des opérateurs d'intégrales singulières. Nous étendons à ce contexte sous-riemannien une partie des résultats de la théorie des ensembles uniformément rectifiables de David et Semmes. Nous obtenons notamment un théorème géométrique du voyageur de commerce qui fournit une condition pour qu'un ensemble Ahlfors-régulier du premier groupe de Heisenberg soit contenu dans une courbe Ahlfors-régulière. / In this thesis, we are interested in two topics of geometric analysis. The first one is concerned with the asymptotic behaviour of harmonic functions in connection with geometry on graphs and manifolds. We study criteria for convergence at boundary of harmonic functions such as non-tangential boundedness, finiteness of non-tangential energy or finiteness of the energy density. We deal with Gromov hyperbolic manifolds, Gromov hyperbolic graphs, Diestel-Leader graphs and with an abstract frame to obtain criteria at minimal Martin boundary points. The methods, coming from probability theory and metric geometry, use the relation between harmonic functions and martingales. The second topic concerns the rectifiability properties of 1-dimensional sets in the Heisenberg group in connection with the boundedness of singular integral operators. We extend to this sub-Riemannian setting parts of the theory of uniformly rectifiable sets due to David and Semmes. In particular, we obtain a geometric traveling salesman theorem which provides a condition for an Ahlfors regular set of the first Heisenberg group to be contained in an Ahlfors regular curve.

Cette thèse s’intéresse aux problématiques de routage dans les réseaux, notamment dans le graphe des systèmes autonomes (AS) d’Internet. Nous cherchons d’une part à mieux comprendre les propriétés du graphe de l’Internet qui sont utiles dans la conception de nouveaux paradigmes de routage. D’autre part, nous cherchons à évaluer par simulation les performances de ces paradigmes. La première partie de mes travaux porte sur l’étude d’une propriété́ métrique, l’hyperbolicité́ selon Gromov, utilisée dans la conception de nouveaux paradigmes de routage. Je présente dans un premier temps une nouvelle approche pour le calcul de l’hyperbolicité́ d’un graphe utilisant une décomposition du graphe par les cliques-séparatrices et la notion de paires éloignées. Je propose ensuite un nouvel algorithme pour le calcul de l’hyperbolicité́ qui, combiné avec la méthode de décomposition par les cliques-séparatrices, permet son calcul sur des graphes composés de 58 000 sommets en quelques heures. La deuxième partie de mes travaux porte sur le développement de DRMSim, une nouvelle plate-forme de simulation de modèles de routage dynamiques. Celle-ci permet l’évaluation des performances des schémas de routage et leur comparaison au protocole de référence, le protocole de routeur frontière, BGP. DRMSim a permis l’étude par simulation de différents schémas de routage compact sur des topologies à O(10k) nœuds. Je détaille l’architecture de DRMSim et quelques exemples d’utilisation. Puis, je présente une étude réalisée en vue de développer une version parallèle et distribuée de DRMSim dans le cadre de la simulation de BGP / This thesis considers routing issues in networks, and particularly the graph of the autonomous systems (AS) of the Internet. Firstly, we aim at better understanding the properties of the Internet that are useful in the design of new routing paradigms. Secondly, we want to evaluate by simulation the performance of these paradigms. The first part of my work concerns the study of the Gromov hyperbolicity, a useful metric property for the design of new routing paradigms. I show how to use a decomposition of the graph by clique-separators as a pre-processing method for the computation of the hyperbolicity. Then, I propose a new algorithm to compute this property. Altogether, these methods allows us for computing the hyperbolicity of graphs up to 58 000 nodes. The second part of my work concerns the development of DRMSim, a new Dynamic Routing Model Simulator. It facilitates the evaluation of the performances of various routing schemes and their comparison to the standard routing scheme of the Internet, the border router protocol BGP. Using DRMSim, we performed simulations of several compact routing schemes on topologies up to O(10k) nodes. I describe its architecture and detail some examples. Then, I present a feasibility study for the design of a parallel/distributed version of DRMSim in order to simulate BGP on larger topologies.

Cette thèse se consacre à l'étude de théorèmes limites pour des suites de variables aléatoires stationnaires (en particulier issues d'un système dynamique). Nous nous concentrons sur deux résultats importants, notamment par leurs applications en statistiques. Nous étudions tout d'abord le comportement limite des sommes de variables aléatoires, plus précisément le théorème limite central et son principe d'invariance. Ensuite nous considérons le principe d'invariance pour les processus empiriques.<br />Dans le cadre du principe d'invariance faible de Donsker, plusieurs résultats s'obtiennent au travers d'approximations par des martingales et plus généralement par des critères projectifs. Nous comparons quatre de ces critères et montrons leur indépendance mutuelle. Les critères étudiés sont la décomposition martingale-cobord (Gordin, 1969), la condition de Hannan (1979), le critère de Dedecker et Rio (2000) et<br />la condition de Maxwell et Woodroofe (2000).<br />En ce qui concerne le comportement asymptotique des processus empiriques, nous établissons un principe d'invariance dans le cas des automorphismes du tore. Cela permet de sortir du cadre hyperbolique connu et d'obtenir un premier résultat pour une transformation partiellement hyperbolique.<br />Nous proposons également une nouvelle approche, basée sur des méthodes d'opérateurs, permettant d'établir un principe d'invariance empirique. Cette méthode s'applique en particulier aux cas où l'on a de bonnes propriétés pour une classe de fonctions ne contenant pas les fonctions indicatrices. C'est en particulier le cas de certains systèmes dynamiques dont l'opérateur de transfert admet un trou spectral.<br />En dernier lieu, suivant une question de Burton et Denker (1987), nous nous intéressons à la classe des processus pour lesquels le théorème limite central a lieu. En référence au cadre des processus empiriques, nous étudions en particulier les suites de sommes partielles des itérées d'une fonction indicatrice.

La première partie de ce travail concerne les équations elliptiques non coercitives. Nous prouvons, tout d'abord dans un cadre linéaire, l'existence et l'unicité d'une solution faible dans l'espace d'énergie habituel $H^1(\Omega)$ pour une classe d'équations de convection-diffusion pour lesquelles le terme de convection provoque la perte de coercitivité. Nous prouvons des résultats de régularité höldérienne sur les solutions de ces équations qui permettent ensuite de résoudre ces mêmes équations avec un second membre mesure. Nous étendons aussi les résultats d'existence et d'unicité d'une solution dans des cas variationnels non-linéaires non-coercitifs et nous étudions, pour une équation elliptique linéaire non-coercitive, la convergence d'un schéma volumes finis. La deuxième partie concerne l'unicité des solutions à des problèmes elliptiques non-linéaires avec seconds membres mesure. La troisième partie aborde la question de la condition d'hyperbolicité des systèmes du premier ordre à coefficients constants. Nous prouvons une CNS pour qu'un tel système ait une solution pour toute condition initiale de type Riemann (condition initiale naturelle dans l'étude des discrétisations numériques de ces systèmes). A l'aide d'un système particulier, nous étudions ensuite la différence entre notre CNS et les diverses conditions d'hyperbolicité de la littérature, puis nous prouvons que la solution d'un système hyperbolique n'est pas toujours stable par rapport au flux. La quatrième partie rassemble quelques autres travaux. Le premier concerne la densité dans $W^{1,p}(\Omega)$ des fonctions régulières satisfaisant une condition de Neumann. Le second est l'étude d'une discrétisation EF mixtes---VF pour un écoulement diphasique à travers un milieu poreux. Le troisième et dernier est l'étude des mesures sur $]0,T[\times \Omega$ ne chargeant pas le boréliens de capacité parabolique nulle et l'application de cette étude à la résolution d'une équation parabolique non-linéaire avec second membre mesure.

La simulation numérique est aujourd'hui un outils majeur dans la conception des objets aérodynamiques, que ce soit dans l'aéronautique, l'automobile, l'industrie navale, etc... Un des défis majeurs pour repousser les limites des codes de simulation est d'améliorer leur précision, tout en utilisant une quantité fixe de ressources (puissance et/ou temps de calcul). Cet objectif peut être atteint par deux approches différentes, soit en construisant une discrétisation fournissant sur un maillage donné une solution d'ordre très élevé, soit en construisant un schéma compact et massivement parallélisable, de manière à minimiser le temps de calcul en distribuant le problème sur un grand nombre de processeurs. Dans cette thèse, nous tentons de rassembler ces deux approches par le développement et l'implémentation de Schéma Distribuant le Résidu (RDS) d'ordre très élevé et de compacité maximale. Ce manuscrit commence par un rappel des principaux résultats mathématiques concernant les Lois de Conservation hyperboliques (CLs). Le but de cette première partie est de mettre en évidence les propriétés des solutions analytiques que nous cherchons à approcher, de manière à injecter ces propriétés dans celles de la solution discrète recherchée. Nous décrivons ensuite les trois étapes principales de la construction d'un schéma RD d'ordre très élevé : \begin{itemize} \item la représentation polynomiale d'ordre très élevé de la solution sur des polygones et des polyèdres; \item la description de méthodes distribuant le résidu de faible ordre, compactes et conservatives, consistantes avec une représentation polynomiale des données de très haut degré. Parmi elles, une attention particulière est donnée à la plus simple, issue d'une généralisation du schéma de Lax-Friedrichs (LxF); \item la mise en place d'une procédure préservant la positivité qui transforme tout schéma stable et linéaire, en un schéma non linéaire d'ordre très élevé, capturant les chocs de manière non oscillante. \end{itemize} Dans le manuscrit, nous montrons que les schémas obtenus par cette procédure sont consistants avec la CL considérée, qu'ils sont stables en norme $\L^{\infty}$ et qu'ils ont la bonne erreur de troncature. Même si tous ces développements théoriques ne sont démontrés que dans le cas de CL scalaires, des remarques au sujet des problèmes vectoriels sont faites dès que cela est possible. Malheureusement, lorsqu'on considère le schéma LxF, le problème algébrique non linéaire associé à la recherche de la solution stationnaire est en général mal posé. En particulier, on observe l'apparition de modes parasites de haute fréquence dans les régions de faible gradient. Ceux-ci sont éliminés grâce à un terme supplémentaire de stabilisation dont les effets et l'évaluation numérique sont précisément détaillés. Enfin, nous nous intéressons à une discrétisation correcte des conditions limites pour le schéma d'ordre élevé proposé. Cette théorie est ensuite illustrée sur des cas test scalaires bidimensionnels simples. Afin de montrer la généralité de notre approche, des maillages composés uniquement de triangles et des maillages hybrides, composés de triangles et de quadrangles, sont utilisés. Les résultats obtenus par ces tests confirment ce qui est attendu par la théorie et mettent en avant certains avantages des maillages hybrides. Nous considérons ensuite des solutions bidimensionnelles des équations d'Euler de la dynamique des gaz. Les résultats sont assez bons, mais on perd les pentes de convergence attendues dès que des conditions limite de paroi sont utilisées. Ce problème nécessite encore d'être étudié. Nous présentons alors l'implémentation parallèle du schéma. Celle-ci est analysée et illustrée à travers des cas test tridimensionnel de grande taille. Du fait de la relative nouveauté et de la complexité des problèmes tridimensionels, seuls des remarques qualitatives sont faites pour ces cas test : le comportement global semble être bon, mais plus de travail est encore nécessaire pour définir les propriétés du schémas en trois dimensions. Enfin, nous présentons une extension possible du schéma aux équations de Navier-Stokes dans laquelle les termes visqueux sont traités par une formulation de type Galerkin. La consistance de cette formulation avec les équations de Navier-Stokes est démontrée et quelques remarques au sujet de la précision du schéma sont soulevées. La méthode est validé sur une couche limite de Blasius pour laquelle nous obtenons des résultats satisfaisants. Ce travail offre une meilleure compréhension des propriétés générales des schémas RD d'ordre très élevé et soulève de nouvelles questions pour des améliorations futures. Ces améliorations devrait faire des schémas RD une alternative attractive aux discrétisations classiques FV ou ENO/WENO, aussi bien qu'aux schémas Galerkin Discontinu d'ordre très élevé, de plus en plus populaires.

Dans le chapitre 1, nous développons le “corps d’Okounkov” pour une (1,1)-classe pseudo-effective sur une variété kählerienne compacte. Nous démontrons la formule de différentiabilité des volumes de classes grosses pour les varétés kähleriennes sur lesquelles les cônes nef modifiés et les cônes nef coı̈ncident. Par conséquent, nous démontrons l’inégalité de Morse transcendante de Demailly pour ces variétés kähleriennes particulières, y compris les surfaces kähleriennes. Ensuite, nous construisons le corps d’Okounkov généralisé pour toute (1,1)-classe grosse, et nous donnons une caractérisation complète des corps d’Okounkov généralisés sur les surfaces. Nous démontrons que cela se rapporte le volume euclidien standard du corps au volume de la classe grosse correspondant défini par Boucksom, ce qui permet de résoudre un problème proposé par Lazarsfeld et Mustaţă dans le cas des surfaces. Nous étudions aussi le comportement des corps d’Okounkov généralisé sur le bord du cône gros.Dans le chapitre 2, nous étudions la dégénérescence des courbes entières qui sont les feuilles de feuilletages sur des variétés projectives. Nous généralisons l’approximation diophantienne de McQuillan pour les feuilletages de dimension 1 avec des singularités absolument isolées. Comme une application, nous donnons une nouvelle preuve du théorème de Brunella, c’est-à-dire, toutes les feuilles d’un feuilletage générique de degré superieur à 2 dans CP^n est hyperbolique. Ensuite, nous introduisons la notion singularités faiblement réduites pour les feuilletages de dimension 1. L’hypothèse de singularités faiblement réduites est moins exigeante que celle de singularités réduites, mais joue le même rôle dans l’étude de la conjecture de Green-Griffiths-Lang. Finalement, nous discutons d’une stratégie pour démontrer cette conjecture pour les surfaces complexes.Dans le chapitre 3, nous démontrons la non-dégénérescence de la mesure de volume au sens de Kobayashi-Eisenman pour une variété dirigée singulière, c’est-à-dire l’hyperbolicité de la mesure au sens de Kobayashi, lorsque le faisceau canonique est gros au sens de Demailly.Dans le chapitre 4, notre premier objectif est de traiter des questions d’effitivité liées aux conjectures de Kobayashi et Debarre, reliant sur le travail de Brotbek et celui en collaboration avec Darondeau. Ensuite, nous combinons ces techniques pour étudier la conjecture sur l’amplitude des fibrés de Demailly-Semple proposés par Diverio et Trapani, et nous obtenons des estimations effectives liées à ce problème. Notre résultat contient à la fois les conjectures de Kobayashi et Debarre, avec certaines estimations effectives.Le but du chapitre 5 est double: d’une part, nous étudions une conjecture du type Fujita proposée par Popa et Schnell, et nous donnons une borne effective linéaire sur la génération globale générique de l’image directe du faisceau pluricanonique tordu. Nous signalons également la relation entre la constante de Seshadri et la borne optimale. D’autre part, nous donnons une réponse affirmative à une question de Demailly-Peternell-Schneider dans un cadre plus général. Comme des applications, nous généralisons les théorèmes de Fujino et Gongyo sur les images des variétés de Fano faibles aux cas KLT, et nous raffinons un résultat de Broustet et Pacienza sur la connexité rationnelle de l’image.Dans le chapitre 6, nous donnons une preuve concrète et constructive de l’équivalence entre la catégorie de fibrés de Higgs semistables de classes de Chern nulles, et celle des représentations linéaires du groupe fondamental d’une variété kählerienne compacte lisse. / In Part 1 of this thesis, we construct “Okounkov bodies” for an arbitrary pseudo-effective (1,1-class on a Kähler manifold. We prove the differentiability formula of volumes of big classes for Kähler manifolds on which modified nef cones and nef cones coincide. As a consequence we prove Demailly’s transcendental Morse inequality for these particular Kähler manifolds; this includes Kähler surfaces. Then we construct the generalized Okounkov body for any big (1,1)-class, and give a complete characterization of generalized Okounkov bodies on surfaces. We show that this relates the standard Euclidean volume of the body to the volume of the corresponding big class as defined by Boucksom; this solves a problem raised by Lazarsfeld and Mustaţă in the case of surfaces. We also study the behavior of the generalized Okounkov bodies on theboundary of the big cone.Part 2 deals with Kobayashi hyperbolicity-related problems. Chapter 2’s goal is to study the degeneracy of leaves of the one-dimensional foliations on higher dimensional manifolds. The first part of Chapter 2 generalizes McQuillan’s Diophantine approximations for one-dimensional foliations with absolutely isolated singularities, on higher dimensional manifolds. As an application, we give a new proof of Brunella’s hyperbolicity theorem, that is, all the leaves of a generic foliation of degree larger than 2 in CP 6n is hyperbolic. In the second part of Chapter 2 we introduce the so-called weakly reduced singularities for one-dimensional foliations on higher dimensional manifolds. The “weakly reduced singularities” assumption is less demanding than the one required for “reduced singularities”, but play the same role in studying the Green-Griffiths-Lang conjecture. Finally we discuss a strategy to prove the Green-Griffiths-Lang conjecture for complex surfaces.In Chapter 3, assuming that the canonical sheaf is big in the sense of Demailly, we prove theKobayashi volume-hyperbolicity for any (possibly singular) directed variety.In Chapter 4, our first goal is to deal with effective questions related to the Kobayashi and Debarre conjectures, relying on the work of Brotbek and his joint work with Darondeau. We then combine these techniques to study the conjecture on the ampleness of the Demailly-Semple bundles raised by Diverio and Trapani, and also obtain some effective estimates related to this problem. Our result integrates both the Kobayashi and Debarre conjectures, with some effective estimates.The purpose of Chapter 5 is twofold: on the one hand we study a Fujita-type conjecture by Popa and Schnell, and give an effective (linear) bound on the generic global generation of the direct image of the twisted pluricanonical bundle. We also point out the relation between the Seshadri constant and the optimal bound. On the other hand, we give an affirmative answer to a question by Demailly-Peternell-Schneider in a more general setting. As applications, we generalize the theorems by Fujino and Gongyo on images of weak Fano manifolds to the Kawamata log terminal cases, and refine a result by Broustet and Pacienza on the rational connectedness of the image.In Chapter 6, we give a concrete and constructive proof of the equivalence between the category of semistable Higgs bundles with vanishing Chern classes and the category of all representations of the fundamental groups on smooth Kähler manifolds. This chapter is written for the complex geometers who are not familiar with the language of differential graded category used by Simpson to prove the above equivalence on smooth projective manifolds, and for those who would like to see an elementary proof of Corlette-Simpson correspondence for semistable Higgs bundles.

La dynamique des systèmes hyperboliques est considérée bien comprise du point de vue topologique aussi bien que du point de vue stochastique. S. Smale et R. Abraham ont donné un exemple montrant que, en général, les systèmes hyperboliques ne sont pas denses parmi tous les systèmes diffélrentiables. Dans les années 1970, M. Brin et Y. Pesin ont proposé une nouvelle notion: hyperbolicité partielle pour affaiblir la notion d’hyperbolicité. Un but de cette thèse est de comprendre la dynamique de certains systèmes partiellement hyperboliques du point de vue stochastique aussi bien que du point de vue topologique. Du point de vue stochastique, nous démontrons les résultats suivants: — Il existe un sous-ensemble U ouvert et dense de difféomorphismes non hyperboliques robustement transitifs loin de tangences homocliniques, tels que pour tout f ∈ U, il existe des mesures ergodiques non hyperboliques qui sont limite faible des mesures périodiques, avec un seul exposant de Lyapunov nul, et dont les supports sont la variété entière; — Il existe un sous-ensemble ouvert et dense de l’ensemble des difféomorphismes partiellement hyperboliques (mais non hyperboliques) de dimension centrale un dont les feuilletages forts sont robustement minimaux, de sorte que la fermeture de l’ensemble des mesures ergodiques est l’union de deux convexes qui sont la fermeture des ensembles de mesures ergodiques hyperboliques de deux s-indices différents respectivement; ces deux ensembles convexes se coupent le long de la fermeture de l’ensemble des mesures ergodiques non hyperboliques. Par conséquent, toute mesure ergodique non hyperbolique est approchée par des mesures périodiques. C’est le cas pour une perturbation robustement transitive du temps un d’un flot d’Anosov transitif, ou du produit fibré d’un difféomorphisme d’Anosov sur le tore par une rotation du cercle. Ces résultats sont basés sur des résultats locaux dont les démonstrations impliquent beaucoup de définitions techniques. Du point de vue topologique, pour tout flot d’Anosov non transitif sur des variétés de dimension 3 orientables, nous construisons de nouveaux difféomorphismes partiellement hyperboliques en composant le temps t des flots d’Anosov (pour t > 0 large) avec des twists de Dehn le long des tores transversaux. Ces nouveaux difféomorphismes partiellement hyperboliques sont robustement dynamiquement cohérents. Cela généralise dans un cas général le processus spécial dans [BPP] pour construire de nouveaux difféomorphismes partiellement hyperboliques. De plus, nous démontrons que pour les nouveaux difféomorphismes partiellement hyperboliques que nous avons construits, leurs feuilletages centraux sont topologiquement équivalentes aux flots d’Anosov utilisés pour les construire. En conséquence, la structure des feuilles centrales des nouveaux difféomorphismes partiellement hyperboliques est la même que la structure des orbites d’un flot d’Anosov. La présence de mesures ergodiques non hyperboliques montre la non hyperbolicité des systémes. Dans cette thése, nous cherchons également à comprendre: dans quelle mesure la présence de mesures ergodiques non hyperboliques peut-elle caractériser le degré de non-hyperbolicité des systèmes? Nous démontrons que, pour les difféomorphismes génériques, si une classe homoclinique contient des orbites périodiques d’indices différents et sans certaines dominations, il existe une mesure ergodique non hyperbolique avec plus d’un exposant de Lyapunov qui s’annule et dont le support est la classe homoclinique entière. Le nombre d’exposants de Lyapunov nuls montre combien d’hyperbolicité a été perdue dans un tel type de systèmes. / The dynamics of hyperbolic systems is considered well understood from topological point of view as well as from stochastic point of view. S. Smale and R. Abraham gave an example showing that, in general, the hyperbolic systems are not dense among all differentiable systems. In 1970s, M. Brin and Y. Pesin proposed a new notion: partial hyperbolicity to release the notion of hyperbolicity. One aim of this thesis is to understand the dynamics of certain partially hyperbolic systems from stochastic point of view as well as from topological point of view. From stochastic point of view, we prove the following results: — There exists an open and dense subset U of robustly transitive nonhyperbolic diffeomorphisms far from homoclinic tangency, such that forany f ∈ U, there exist non-hyperbolic ergodic measures as the weak*- limit of periodic measures, with only one vanishing Lyapunov exponent, and whose supports are the whole manifold; — There exists an open and dense subset of partially hyperbolic (but nonhyperbolic) diffeomorphisms with center dimension one whose strong foliations are robustly minimal, such that the closure of the set of ergodic measures is the union of two convex sets which are the closure of the sets of hyperbolic ergodic measures of two different s-indices respectively; these two convex sets intersect along the closure of the set of nonhyperbolic ergodic measures. As a consequence, every non-hyperbolic ergodic measure is approximated by periodic measures. That is the case for robustly transitive perturbation of the time one map of a transitive Anosov flow, or of the skew product of an Anosov torus diffeomorphism by a rotation of the circle. These results are based on some local results whose statements involve in lots of technical definitions. From topological point of view, for any non-transitive Anosov flow on orientable 3-manifolds, we build new partially hyperbolic diffeomorphisms by composing the time t-map of the Anosov flow (for t > 0 large) with Dehn twists along transverse tori. These new partially hyperbolic diffeomorphisms are robustly dynamically coherent. This generalizes the special process in [BPP] for constructing new partially hyperbolic diffeomorphisms to a general case. Furthermore, we prove that for the new partially hyperbolic diffeomorphisms we built, their center foliations are topologically equivalent to the Anosov flows used for building them. As a consequence, one has that the structure of the center leaves of the new partially hyperbolic diffeomorphisms is the same asthe structure of the orbits of an Anosov flow. The presence of non-hyperbolic ergodic measures shows the non-hyperbolicity of the systems. In this thesis, we also attempt to understand: to what extent, can the presence of non-hyperbolic ergodic measures character how far from hyperbolicity the systems are? We prove that, for generic diffeomorphisms, if a homoclinic class contains periodic orbits of different indices and without certain dominations, then there exists a non-hyperbolic ergodic measure with more than one vanishing Lyapunov exponents and whose support is the whole homoclinic class. The number of vanishing Lyapunov exponents shows how much hyperbolicity has been lost in such kind of systems.

Cette thèse décrit la modélisation et la simulation de systèmes à deux phases composées de particules évoluant dans un gaz. Les deux phases interagissent entre elles et le type de modèle à considérer dépend directement du type de simulations envisagées. Dans une première partie, les deux phases sont considérées comme des fluides, elles sont décrites à l’aide d’un modèle de mélange avec une relation de dérive (permettant de suivre une vitesse relative entre les deux phases et de prendre en compte deux vitesses) et sont supposées à l’équilibre en température et pression. Cette partie du manuscrit est composée de la dérivation des équations, de l’écriture d’un schéma numérique associé à ce jeu d’équations, d’une étude d’ordre de ce schéma ainsi que de simulations. Une étude mathématique de ce modèle (hyperbolicité dans un cadre simplifié, stabilité du système linéaire autour d’un état constant) a été réalisée dans un cadre o`u le gaz est supposé barotrope. La seconde partie de ce manuscrit est consacrée à la modélisation de l’effet de collisions inélastiques sur les gouttelettes lorsque l’on se place à un temps de simulation beaucoup plus court, pour lequel les gouttelettes ne peuvent plus être vues comme un fluide. Pour modéliser ces collisions, on construit un modèle simplifié (moins coûteux en temps) de type BGK permettant de reproduire le comportement en temps de certains moments sur les gouttelettes. Ces moments sont choisis pour être représentatifs de l’effet des collisions sur ces gouttelettes, à savoir une thermalisation en vitesse et énergie. Ce modèle est discrétisé avec une méthode particulaire et des résultats numériques sont donnés en comparaison avec ceux obtenus avec un modèle résolvant directement l’équation de Boltzmann homogène. / This thesis describes the modelisation and the simulation of two-phase systems composed of droplets moving in a gas. The two phases interact with each other and the type of model to consider directly depends on the type of simulations targeted. In the first part, the two phases are considered as fluid and are described using a mixture model with a drift relation (to be able to follow the relative velocity between the two phases and take into account two velocities), the two-phase flows are assumed at the equilibrium in temperature and pressure. This part of the manuscript consists of the derivation of the equations, writing a numerical scheme associated with this set of equations, a study of this scheme and simulations. A mathematical study of this model (hyperbolicity in a simplified framework, linear stability analysis of the system around a steady state) was conducted in a frame where the gas is assumed barotropic. The second part is devoted to the modelisation of the effect of inelastic collisions on the particles when the time of the simulation is shorter and the droplets can no longer be seen as a fluid. We introduce a model of inelastic collisions for droplets in a spray, leading to a specific Boltzmann kernel. Then, we build caricatures of this kernel of BGK type, in which the behavior of the first moments of the solution of the Boltzmann equation (that is mass, momentum, directional temperatures, variance of the internal energy) are mimicked. The quality of these caricatures is tested numerically at the end.

Les grands réseaux de communication sont partout, des centres de données avec des millions de serveurs jusqu’aux réseaux sociaux avec plusieurs milliards d’utilisateurs.Cette thèse est dédiée à l’étude fine de la complexité de différents problèmes combinatoires sur ces réseaux. Dans la première partie, nous nous intéressons aux propriétés des plongements des réseaux de communication dans les arbres. Ces propriétés aident à mieux comprendre divers aspects du trafic dans les réseaux (tels que la congestion). Plus précisément, nous étudions la complexité du calcul de l’hyperbolicité au sens de Gromov et de paramètres des décompositions arborescentes dans les graphes. Ces paramètres incluent la longueur arborescente (treelength) et l’épaisseur arborescente (treebreadth). Au passage, nous démontrons de nouvelles bornes sur ces paramètres dans de nombreuses classes de graphes, certaines d’entre elles ayant été utilisées dans la conception de réseaux d’interconnexion des centres de données. Le résultat principal dans cette partie est une relation entre longueur et largeur arborescentes (treewidth), qui est un autre paramètre très étudié des graphes. De ce résultat, nous obtenons une vision unifiée de la ressemblance des graphes avec un arbre, ainsi que différentes applications algorithmiques. Nous utilisons dans cette partie divers outils de la théorie des graphes et des techniques récentes de la théorie de la complexité / Large scale communication networks are everywhere, ranging from data centers withmillions of servers to social networks with billions of users. This thesis is devoted tothe fine-grained complexity analysis of combinatorial problems on these networks.In the first part, we focus on the embeddability of communication networks totree topologies. This property has been shown to be crucial in the understandingof some aspects of network traffic (such as congestion). More precisely, we studythe computational complexity of Gromov hyperbolicity and of tree decompositionparameters in graphs – including treelength and treebreadth. On the way, we givenew bounds on these parameters in several graph classes of interest, some of thembeing used in the design of data center interconnection networks. The main resultin this part is a relationship between treelength and treewidth: another well-studiedgraph parameter, that gives a unifying view of treelikeness in graphs and has algorithmicapplications. This part borrows from graph theory and recent techniques incomplexity theory. The second part of the thesis is on the modeling of two privacy concerns with social networking services. We aim at analysing information flows in these networks,represented as dynamical processes on graphs. First, a coloring game on graphs isstudied as a solution concept for the dynamic of online communities. We give afine-grained complexity analysis for computing Nash and strong Nash equilibria inthis game, thereby answering open questions from the literature. On the way, wepropose new directions in algorithmic game theory and parallel complexity, usingcoloring games as a case example