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.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-15T14:53:56Z No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-19T14:01:42Z (GMT) No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) / Made available in DSpace on 2016-08-19T14:01:42Z (GMT). No. of bitstreams: 1 hugorolandojachohancco.pdf: 1087180 bytes, checksum: 30f544acc78e47c2892563f8ab257478 (MD5) Previous issue date: 2016-07-18 / Consideramos os campos vetoriais C1 sobre uma variedade riemanniana compacta, sem bordo, de dimensão finita n, com n ≥3. Uma classe homoclínica de um campo vetorial é o fecho de conjunto de pontos homoclínicos transversais associados com uma órbita periódica hiperbólica. Neste trabalho, provamos que as classes homoclínicas para um conjunto residual de campos vetoriais C1 são conjuntos neutrais, mais ainda, a classe homoclínica é a intersecção dos fechos do conjunto estável e o conjunto instável. Como consequencia das propriedades do conjuntos neutrais, provamos as propriedades genéricas das classes homoclínicas. Assim, provamos que as classes homoclínicas de campos vetoriais C1-genérico X são conjuntos transitivos maximais, saturados e que dependem continuamente da órbita periódica. Também provamos que uma classe homoclínica de X não apresentam ciclos de X formados por classes homoclínicas de X. Além disso, uma classe homoclínica de X é isolado se, e somente se, é Ω-isolado. Mais ainda, é isolado, se a classe homoclínica é hiperbólica. Todas estas propriedades são bem conhecidos para campos vetoriais estruturalmente estáveis e Axioma A. / We consider the vector fields C1 on a compact Riemannian manifold, boundaryless of finite dimension n, with n ≥3. A homoclinic class of a vector field is the closure of the set transverse homoclinic point associated with a hyperbolic periodic orbit. In this work, we prove that the homoclinic classes for a residual set of vector fields C1, are neutral sets, moreover, the homoclinic class is the intersection of the closure the stable set and unstable set. As a consequence of the properties of the neutral sets, we prove the generic properties of homoclinic classes. Thus, we proved that in the homoclinic classes of generic C1 vector fields X are maximal transitive sets, saturated and depend continuously on the periodic orbit. We also proved that a homoclinic class X, does not exhibit cycles of X formed by homoclinic class of X. Furthermore, homoclinic class X is isolated if it only if it is Ω-isolated. But still, it is isolated, the homoclinic class is hyperbolic. All these properties are well known to structurally stable vector fields and Axiom A.

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

Ce travail de thèse porte sur l’étude de l’hyperbolicité complexe de compactifications de quotients de domaines symétriques bornés, et plus spécifiquement, de quotients de la boule. On souhaite ainsi comprendre la géométrie des courbes entières que ces compactifications contiennent, ainsi que le type de leurs sous-variétés. On prouve d'abord un critère métrique de positivité du fibré co-tangent d’une variété complexe, reposant notamment sur les travaux de J.-P. Demailly et de S. Boucksom. Ce critère peut s’appliquer à une large classe de variétés, dépassant le cadre précédent ; avec Y. Brunebarbe, on s'est ainsi intéressé aux variétés supportant une variation de structures de Hodge complexes. Dans le cas d’un quotient de la boule, ce critère permet de montrer qu’un revêtement ramifié d’une compactification toroïdale lisse, étale sur l’intérieur, et ramifiant à des ordres supérieurs à 7 sur le bord, ne contient que des variétés de type général en dehors de son bord. Dans ce cadre, ceci fournit une version effective d’un théorème de Y. Brunebarbe. On étudie par ailleurs d’autres situations que ces compactifications lisses : avec E.Rousseau et B. Taji, on donne des critères d'hyperbolicité complexe de ces compactifications lorsque les quotients sont singuliers. On présente aussi une version effective d’un théorème de J.-P. Demailly, concernant le caractère big des différentielles de jets sur la compactification donnée. Enfin, on montre que les méthodes métriques présentées précédemment s’étendent au cas de tous les domaines symétriques bornés ; elles fournissent alors des résultats effectifs d'hyperbolicité algébrique et transcendante pour d’autres domaines que la boule. / This work deals with the study of complex hyperbolicity of compactifications of quotients of bounded symmetric domains, and more specifically, of quotients of the ball. We are interested in the geometry of the entire curves such a compactification contains, as well as to the type of its subvarietes. We first prove a metric criterion for the positivity of the cotangent bundle of a complex manifold, based in particular on the work of J.-P. Demailly and of S. Boucksom. This criterion can be applied to a large class of manifolds, going beyond the previous frame; with Y. Brunebarbe, we apply in particular these methods to the case of manifolds supporting a complex variation of Hodge structures.In the case of a ball quotient, the criterion shows that on a ramified cover of a toroidal compactification, étale on the inside part, and ramifying at orders higher than 7 on the boundary, there is no subvariety which is not of general type, and not included in the boundary. In this setting, this gives an effective version of a theorem of Y. Brunebarbe. We also study other situations than these smooth compactifications : with E. Rousseau and B. Taji, we give metric criterions for the complex hyperbolicity of these compactifications, if the quotients are singular. In the case of the ball, we present also an effective version of a theorem of J.-P. Demailly, concerning the bigness of the Green-Griffiths jet differentials on the given compactification. Finally, we show that the previous metric methods can be applied to the case of all bounded symmetric domains ; they give effective hyperbolicity results, algebraic and transcendental, for other bounded symmetric domains than the ball.

Dans cette thèse, nous étudions les sujets suivants :- la stabilité ergodique pour les systèmes conservatifs ;- la généricité de l'existence d'exposants positifs pour certains produits tordus avec fibres de dimension deux ;- rigidité des mesures $u$-Gibbs pour certains systèmes partiellement hyperboliques ;- la transitivité robuste.Nous donnons une preuve de la stabilité ergodique pour certains systèmes partiellement hyperboliques sans utiliser l'accessibilité. Ces systèmes ont été introduits par Pierre Berger et Pablo Carrasco, et ils ont les propriétés suivantes : ils possèdent une direction centrale bidimensionnelle ; ils sont non-uniformément hyperboliques avec un exposant positif et un exposant négatif le long de la direction centrale pour presque tout point, et la décomposition d'Oseledets n'est pas dominée.Dans un autre travail, nous donnons des critères de stabilité ergodique pour des systèmes ayant une décomposition dominée. En particulier, nous explorons la notion d'hyperbolicité par chaîne introduite par Sylvain Crovisier et Enrique Pujals. À l'aide de cette notion, nous donnons des critères explicites de stabilité ergodique et nous donnons quelques applications.Dans un travail commun avec Mauricio Poletti, nous prouvons que le produit aléatoire de difféomorphismes de surface conservatifs possède génériquement une région avec des exposants positifs. Nos résultats s'appliquent également aux produits tordus plus généraux.Nous étudions également les perturbations dissipatives de l'exemple de Berger-Carrasco. Nous classifions toutes les mesures $u$-Gibbs qui peuvent apparaître dans un voisinage de l'exemple. Dans ce voisinage, nous prouvons que toute mesure $u$-Gibbs est soit l'unique mesure SRB du système, soit la désintégration dans le feuilletage central est atomique. Dans un travail commun avec Pablo Carrasco, nous prouvons que cet exemple est robustement transitif (en fait robustement topologiquement mélangeant). / In this thesis we study the following topics:-stable ergodicity for conservative systems;-genericity of the existence of positive exponents for some skew products with two dimensional fibers;-rigidity of $u$-Gibbs measure for certain partially hyperbolic systems;-robust transitivity.We give a proof of stable ergodicity for a certain partially hyperbolic system without using accessibility. This system was introduced by Pierre Berger and Pablo Carrasco, and it has the following properties: it has a two dimensional center direction; it is non-uniformly hyperbolic having both a positive and a negative exponent along the center for almost every point, and the Oseledets decomposition is not dominated.In a different work, we find criteria of stable ergodicity for systems with a dominated splitting. In particular, we explore the notion of chain-hyperbolicity introduced by Sylvain Crovisier and Enrique Pujals. With this notion we give explicit criteria of stable ergodicity, and we give some applications.In a joint work with Mauricio Poletti, we prove that the random product of conservative surface diffeomorphisms generically has a region with positive exponents. Our results also hold for more general skew products.We also study dissipative perturbations of the Berger-Carrasco example. We classify all the $u$-Gibbs measures that may appear inside a neighborhood of the example. In this neighborhood, we prove that any $u$-Gibbs measure is either the unique SRB measure of the system or it has atomic disintegration along the center foliation. In a joint work with Pablo Carrasco, we prove that this example is robustly transitive (indeed robustly topologically mixing).

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é : - la représentation polynomiale d'ordre très élevé de la solution sur des polygones et des polyèdres; - 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); - 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. 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 CLs 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 quandrangles, 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. / Numerical simulations are nowadays a major tool in aerodynamic design in aeronautic, automotive, naval industry etc... One of the main challenges to push further the limits of the simulation codes is to increase their accuracy within a fixed set of resources (computational power and/or time). Two possible approaches to deal with this issue are either to contruct discretizations yielding, on a given mesh, very high order accurate solutions, or to construct compact, massively parallelizable schemes to minimize the computational time by means of a high performance parallel implementation. In this thesis, we try to combine both approaches by investigating the contruction and implementation of very high order Residual Distribution Schemes (RDS) with the most possible compact stencil. The manuscript starts with a review of the mathematical theory of hyperbolic Conservation Laws (CLs). The aim of this initial part is to highlight the properties of the analytical solutions we are trying to approximate, in order to be able to link these properties with the ones of the sought discrete solutions. Next, we describe the three main steps toward the construction of a very high order RDS: - The definition of higher order polynomial representations of the solution over polygons and polyhedra; - The design of low order compact conservative RD schemes consistent with a given (high degree) polynomial representation. Among these, particular accest is put on the simplest, given by a generalization of the Lax-Friedrich's (\LxF) scheme; - The design of a positivity preserving nonlinear transformation, mapping first-order linear schemes onto nonlinear very high order schemes. In the manuscript, we show formally that the schemes obtained following this procedure are consistent with the initial CL, that they are stable in $L^{\infty}$ norm, and that they have the proper truncation error. Even though all the theoretical developments are carried out for scalar CLs, remarks on the extension to systems are given whenever possible. Unortunately, when employing the first order \LxF scheme as a basis for the construction of the nonlinear discretization, the final nonlinear algebraic equation is not well-posed in general. In particular, for smoothly varying solutions one observes the appearance of high frequency spurious modes. In order to kill these modes, a streamline dissipation term is added to the scheme. The analytical implications of this modifications, as well as its practical computation, are thouroughly studied. Lastly, we focus on a correct discretization of the boundary conditions for the very high order RDS proposed. The theory is then extensively verified on a variety of scalar two dimensional test cases. Both triangular, and hybrid triangular-quadrilateral meshes are used to show the generality of the approach. The results obtained in these tests confirm all the theoretical expectations in terms of accuracy and stability and underline some advantages of the hybrid grids. Next, we consider solutions of the two dimensional Euler equations of gas dynamics. The results obtained are quite satisfactory and yet, we are not able to obtain the desired convergence rates on problems involving solid wall boundaries. Further investigation of this problem is under way. We then discuss the parallel implementation of the schemes, and analyze and illustrate the performance of this implementation on large three dimensional problems. Due to the preliminary character and the complexity of these three dimensional problems, a rather qualitative discussion is made for these tests cases: the overall behavior seems to be the correct one, but more work is necessary to assess the properties of the schemes in three dimensions.

Dans la production d'électricité, un des leviers centraux pour réduire les détériorations et les pertes causées par l'humidité dans les turbines à vapeur est l'étude des films liquides. Ces films minces, sont créés par la déposition de gouttes et sont fortement cisaillés. Des gouttes peuvent ensuite être arrachées du film. A l'heure actuelle, aucun modèle complet et valide n'existe pour décrire ce phénomène. Un modèle 2D à formulation intégrale associé à des lois de fermetures a été dérivé pour représenter ce film. Comparé aux équations classiques de Saint-Venant, le modèle prend en compte davantage d'effets : le transfert de masse, l'impact des gouttes, le cisaillement à la surface libre, la tension de surface, le gradient de pression et la rotation. Une analyse des propriétés du modèle (hyperbolicité, entropie, conservativité, analyse de stabilité linéaire, invariance par translation et par rotation) est réalisée pour juger de la pertinence du modèle. Un nouveau code 2D est implémenté dans un module de développement libre du code EDF Code Saturne et une méthode de volumes finis pour un maillage non-structure a été développée. La vérification du code est ensuite effectuée avec des solutions analytiques dont un problème de Riemann. Le modèle, qui dégénère en modèle classique de Saint-Venant pour le cas d'un film tombant sur un plan inclinée, est validé par l'expérience de Liu and Gollub, 1994, PoF et comparé à des modèles de références (Ruyer-Quil and Manneville, 2000, EPJ-B et Lavalle, 2014, PhD thesis). Un autre cas d'étude met en scène un film cisaillé en condition basse-pression de turbine à vapeur et, est validé par l'expérience de Hammitt et al., 1981, I. Enfin, le code film est couplé aux données 3D du champ de vapeur autour d'un stator d'une turbine basse-pression du parc EDF, issues de Blondel, 2014, PhD thesis. Cette application industrielle montre la faisabilité d'une simulation d'un film en condition réelle du turbine à vapeur. / In the electricity production, one central key to reduce damages and losses due to wetness in steam turbines is the study of liquid films. These thin films are created by the deposition of droplets and are highly sheared. This film may then be atomized into coarse water. At the moment, no comprehensive and validated model exists to describe this phenomenon. A 2D model based on a integral formulation associated with closure laws is developed to represent this film. Compared to classical Shallow-Water equation, the model takes into account additional effect : mass transfer, droplet impact, shearing at the free surface, surface tension, pressure gradient and the rotation. The model properties (hyperbolicity, entropy, conservativity, linear stability, Galilean invariance and rotational invariance) has been analyzed to judge the pertinence of the model. A new 2D code is implemented in a free module of the code EDF Code Saturne and a finite volume method for unstructured mesh has been developed. The verification of the code is then carried out with analytical solutions including a Riemann problem. The model, which degenerates into classical Shallow-Water equations for the case of a falling liquid film on a inclined plane, is validated by the experiment of Liu and Gollub, 1994, PoF and compared to reference models (Ruyer-Quil and Manneville, 2000, EPJ-B et Lavalle, 2014, PhD thesis). Another study depicts a sheared film under low-pressure steam turbine conditions and is validated by the experiment of Hammitt et al., 1981, FiI. Lastly, the code film is coupled to 3D steam data around a fixed blade of a BP100 turbine, from Blondel, 2014, PhD thesis. This industrial application shows the feasibility of liquid film's simulation in real steam turbine condition.

L'objet d'étude de ce mémoire est la géométrie des courbes holomorphes entières à valeurs dans le complémentaire d'hypersurfaces génériques de l'espace projectif complexe. Les conjectures célèbres de Kobayashi et de Green-Griffiths énoncent que pour de telles hypersurfaces, de grand degré, les images de ces courbes entières doivent satisfaire certaines contraintes algébriques. En adaptant les techniques de jets développées notamment par Bloch, Green-Griffiths, Demailly, Siu, Diverio-Merker-Rousseau, pour les courbes à valeurs dans une hypersurface projective (cas dit compact), nous obtenons la dégénérescence algébrique des courbes entières f : ℂ→Pⁿ∖Xd (cas dit logarithmique), pour les hypersurfaces génériques Xd de Pⁿ de degré d ≥ (5n)² nⁿ. Comme dans le cas compact, notre preuve repose essentiellement sur l'élimination algébrique de toutes les dérivées dans des équations différentielles qui sont vérifiées par toute courbe entière non constante. L'existence de telles équations différentielles est obtenue grâce aux inégalités de Morse holomorphes et à une variante simplifiée d'une formule de résidus originalement élaborée par Bérczi à partir de la formule de localisation équivariante d'Atiyah-Bott. La borne effective d ≥ (5n)² nⁿ est obtenue par réduction radicale d'un calcul de résidus itérés de très grande ampleur. Ensuite, la déformation de ces équations différentielles par dérivation le long de champs de vecteurs obliques, dont l'existence est ici généralisée et clarifiée, nous permet d'engendrer suffisamment de nouvelles équations pour réaliser l'élimination algébrique finale évoquée ci-dessus. / The topic of this memoir is the geometry of holomorphic entire curves with values in the complement of generic hypersurfaces of the complex projective space. The well-known conjectures of Kobayashi and of Green-Griffiths assert that for such hypersurfaces, having large degree, the images of these curves shall fulfill algebraic constraints. By adapting the jet techniques developed notably by Bloch, Green-Griffiths, Demailly, Siu, Diverio-Merker-Rousseau, in the case of curves with values in projective hypersurfaces (so-called compact case), we obtain the algebraic degeneracy of entire curves f : ℂ→Pⁿ∖Xd (so called logarithmic case), for generic hypersurfaces Xd in Pⁿ of degree d ≥ (5n)² nⁿ. As in the compact case, our proof essentially relies on the algebraic elimination of all derivatives in differential equations that are satisfied by every nonconstant entire curve. The existence of such differential equations is obtained thanks to the holomorphic Morse inequalities and a simplified variant of a residue formula firstly developed by Bérczi from the Atiyah-Bott equivariant localization formula. The effective lower bound d ≥ (5n)² nⁿ is obtained by radically simplifying a huge iterated residue computation. Next, the deformation of these differential equations by derivation along slanted vector fields, the existence of which is here generalized and clarified, allows us to generate sufficiently many new differential equations in order to realize the final algebraic elimination mentioned above.

[pt] Na primeira parte da tese, consideramos difeomorfismos com ciclos heterodimensionais associados a um par de selas P e Q de co-índice dois. Provamos que difeomorfismos com ciclos que possuem no mínimo um par de autovalores centrais do ciclo não real geram ciclos heterodimensionais robustos. Além disso, quando os autovalores centrais são não-reais, os ciclos robustos estão associados as continuações das selas iniciais (ou seja, os ciclos podem ser estabilizados). Na segunda parte deste trabalho estudamos mapas produto cruzado sobre aplicações deslocamento (do tipo Bernoulli) com fibras contrativas e dependência Holder nos pontos da base. Provamos que sistemas que satisfazem a propriedade de cobertura exibem blender simbólicos. Estes blenders são generalizações do blender usual cuja principal característica é que suas direções centrais podem ter qualquer dimensão d maior ou igual que 1. / [en] In the first part of the thesis, we consider diffeomorphisms having heterodimensional cycles associated with a pair of saddles P and Q of co-index two. We prove that diffeomorphisms with cycles, which have at least one pair of non-real central eigenvalues, generate robust heterodimensional cycles. Moreover, when both central eigenvalues are non-real, the robust cycles are associated with the continuation of the initial saddles (i.e. the cycle can be stabilized). In the second part of this work we study skew product maps over Bernoulli shifts with contracting fibers and Holder dependence on the base points. We prove that systems satisfying the covering property exhibit symbolic blenders. These blenders are generalizations of the usual blenders whose main property is that their central direction may have any dimension d greater than or equal to 1.