Search

This thesis presents the construction of a p-adaptive Residual Distribution scheme for the steady Euler equations and a hp-adaptive Residual Distribution scheme for the steady penalized Navier-Stokes equations in dimension two and three. The Euler and Navier-Stokes equations are recalled along with their non dimensional versions. The basis definitions and properties of the steady Residual Distribution schemes are presented. Then, the construction of a p-adaptive Residual Distribution scheme for the Euler equations is considered. The construction of the p-adaptive scheme is based upon the expression of the total residual of an element of a given degree k (in the Finite Element sense) into the total residuals of its linear sub-elements. The discrete solution obtained with the p-adaptive scheme is then a one degree polynomial in the divided elements and a k-th degree polynomial in the undivided ones. Therefore, the discrete solution is in general discontinuous at the interface between a divided element and an undivided one. This is in apparent contradiction with the continuity assumption used in general to demonstrate the discrete Lax-Wendroff theorem for Residual Distribution schemes. However, as we show in this work, this constrain can be relaxed. The consequence is that if special quadrature formulas are employed in the numerical implementation, the discrete Lax-Wendroff theorem can still be proved, which guaranties the convergence of the p-adaptive scheme to a weak solution of the governing equations. The formulas that express the total residual into the combination of the total residuals of the sub-elements are central to the method. In dimension two, the formula is obtained with the classical Lagrange basis in the quadratic case and with the Bézier basis in dimension three. These two formulas are then generalized to arbitrary polynomial degrees in dimension two and three with a Bézier basis. In the second part of the thesis the application of the p-adaptive scheme to the penalized Navier-Stokes equations with anisotropic mesh adaptation is presented. In practice, the p-adaptive scheme is used with the IBM-LS-AUM (Immersed Boundary Method with Level Sets and Adapted Unstructured Meshes) method. The IBM-LS-AUM allows to impose the boundary conditions with the penalization method and the mesh adaptation to the solution and to the level-set increases the accuracy of the representation of the surface and the solution around walls. When the IBM-LSAUM is combined with the p-adaptive scheme, it is possible to use high-order elements outside the zone where the penalization is applied. The method is robust as shown by the numerical applications at low to large Mach numbers and at different Reynolds in dimension two and three.; Cette thèse présente la construction d’un schéma aux Résidus Distribués p-adaptatif pour la discrétisation des équations d’Euler ainsi qu’un schéma aux Résidus Distribués hp-adaptatif pour les équations de Navier- Stokes pénalisées. On rappelle tout d’abord les équations d’Euler et de Navier-Stokes ainsi que leurs versions non dimensionnelles. Les définitions et propriétés de base des schémas aux Résidus Distribués sont ensuite présentées. On décrit alors la construction d’un schéma aux Résidus Distribués p-adaptatif pour les équations d’Euler. La construction du schéma p-adaptatif est basée sur la possibilité d’exprimer le résidu total d’un élément K de degré k (au sens où l’élément fini (K; P; Sigma ) est un élément fini de degré k) comme une somme pondérée des résidus totaux de ses sous-éléments de degré 1. La solution discrète ainsi obtenue est en général discontinue à l’interface entre un élément subdivisé et un élément non subdivisé. Ceci contredit l’hypothèse de continuité de la solution qui est utilisée pour démontrer le théorème de Lax-Wendroff discret pour les schémas aux Résidus Distribués. Cependant, on montre que cette hypothèse peut être assouplie. La conséquence pratique est que si l’on emploie des quadratures particulières dans l’implémentation numérique, on peut quand même démontrer le théorème de Lax-Wendroff discret, ce qui garantit la convergence du schéma numérique vers une solution faible des équations d’origine. Les formules qui permettent d’exprimer le résidu total comme une somme pondérée des résidus totaux des sous-éléments sont à la base de la méthode de p-adaptation présentée ici. Dans le cas quadratique, la formule est obtenue avec les classiques fonctions de base de Lagrange en dimension deux et avec des fonctions de base de Bézier en dimension trois. Ces deux formules sont ensuite généralisées à des degrés polynomiaux quelconques en dimension deux et trois avec des fonctions de base de Bézier. Dans la deuxième partie de la thèse, on présente l’application du schéma p-adaptatif aux équations pénalisées de Navier-Stokes avec adaptation de maillage anisotrope. . En pratique, on combine le schéma p-adaptatif avec la méthode IBM-LS-AUM (Immersed Boundary Method with Level Sets and Adapted Unstructured Meshes). La méthode IBM-LS-AUM permet d’imposer les conditions aux bords grâce à la méthode de pénalisation et l’adaptation anisotrope du maillage à la solution numérique et à la level-set augmente la précision de la solution et de la représentation de la surface. Une fois la méthode IBM-LS-AUM combinée avec le schéma p-adaptatif, il est alors possible d’utiliser des éléments d’ordre élevés en-dehors de la zone où la pénalisation est appliquée. La méthode est robuste comme le montrent les diverses expérimentations numériques à des vitesses faibles à élevées et à différents nombres de Reynolds.

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 construct discretization 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 construction 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: \begin{itemize} \item The definition of higher order polynomial representations of the solution over polygons and polyhedra; \item The design of low order compact conservative RD schemes consistent with a given (high degree) polynomial representation. Among these, particular accent is put on the simplest, given by a generalization of the Lax-Friedrich's (LxF) scheme; \item The design of a positivity preserving nonlinear transformation, mapping first-order linear schemes onto nonlinear very high order schemes. \end{itemize} 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. Unfortunately, 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 thoroughly 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. In the last chapter, we consider one possible extension to the Navier-Stokes equations in which the viscous terms are discretized by a standard Galerkin approach. We formally show that the overall discretization is consistent with the Navier-Stokes equations. However some accuracy issues are highlighted and discussed. The method is tested on a flat plate laminar boundary layer flow. The results are satisfactory. The work presented in this thesis allows a better understanding of the general properties of very high order RDS, and contributes substantially to bring forward a number of open issues for future improvement. These improvements should make RD discretizations a very appealing alternative to now classical high order and very high order FV ENO/WENO schemes, and to the increasingly popular class of Discontinuous Galerkin schemes.; 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.

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 construct discretization 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 construction 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: \begin{itemize} \item The definition of higher order polynomial representations of the solution over polygons and polyhedra; \item The design of low order compact conservative RD schemes consistent with a given (high degree) polynomial representation. Among these, particular accent is put on the simplest, given by a generalization of the Lax-Friedrich's (LxF) scheme; \item The design of a positivity preserving nonlinear transformation, mapping first-order linear schemes onto nonlinear very high order schemes. \end{itemize} 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. Unfortunately, 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 thoroughly 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. In the last chapter, we consider one possible extension to the Navier-Stokes equations in which the viscous terms are discretized by a standard Galerkin approach. We formally show that the overall discretization is consistent with the Navier-Stokes equations. However some accuracy issues are highlighted and discussed. The method is tested on a flat plate laminar boundary layer flow. The results are satisfactory. The work presented in this thesis allows a better understanding of the general properties of very high order RDS, and contributes substantially to bring forward a number of open issues for future improvement. These improvements should make RD discretizations a very appealing alternative to now classical high order and very high order FV ENO/WENO schemes, and to the increasingly popular class of Discontinuous Galerkin schemes.; 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.

L'optimisation de formes en aérodynamique nécessite l'utilisation d'algorithme- s (méthode avec état adjoint) et/ou d'outils (différentiation automatique) qui peuvent se révéler coûteux en temps (ingénieur et de calcul) ou en mémoire nécessaire à la mise en oeuvre des calculs. Une première approche consiste à essayer d'améliorer leur performance, grâce notamment à l'utilisati- on de méthodes telles que la résolution simultanée ("One-Shot") et/ou la méthode multiniveau. Tout en conservant ces approches, nous présentons une méthode d'optimisation où une approximation du gradient de la fonctionnell- e coût est calculée par différences divisées. L'algorithme ainsi obtenu est appliqué à la résolution de problèmes inverses bidimensionnels.

Une approche multidimensionelle pour la résolution numérique des équations d'Euler et de Navier-Stokes sur maillages non-structurés est proposée. Dans une première partie, un exposé complet des schémas de distribution, dits de "fluctuation-splitting" ,est décrit, comprenant une étude comparative des schémas décentrés, positifs et de 2ème ordre, pour résoudre l'équation de convection à coefficients constants, ainsi qu'une étude théorique et numérique de la précision des schémas sur maillages réguliers et distordus. L'extension à des lois de conservation non-linéaires est aussi abordée, et une attention particulière est portée au problème de la linéarisation conservative. Dans une deuxième partie, diverses discrétisations des termes visqueux pour l'équation de convection-diffusion sont développées, avec pour but de déterminer l'approche qui offre le meilleur compromis entre précision et coût. L'extension de la méthode aux systèmes des lois de conservation, et en particulier à celui des équations d'Euler de la dynamique des gaz, représente le noyau principal de la thèse, et est abordée dans la troisième partie. Contrairement aux schémas de distribution classiques, qui reposent sur une extension formelle du cas scalaire, l'approche développée ici repose sur une décomposition du résidu par élément en équations scalaires, modélisant le transport de variables caracteristiques. La difficulté vient du fait que les équations d'Euler instationnaires ne se diagonalisent pas, et admettent une infinité de solutions élémentaires (ondes simples) se propageant dans toutes les directions d'espace. En régime stationnaire, en revanche, les équations se diagonalisent complètement dans le cas des écoulements supersoniques, et partiellement dans le cas des écoulements subsoniques. Ainsi, les équations sous forme conservative peuvent être remplacées par un système équivalent comprenant deux équations totalement découplées, exprimant l'invariance de l'entropie et de l'enthalpie totale le long des lignes de courant, et deux autres équations, modélisant les effets purement acoustiques. En régime supersonique, celles-ci se découplent aussi, et expriment la convection le long des lignes de Mach d'invariants de Riemann généralisés. La discrétisation de ces équations par des schémas scalaires décentrés permet de simuler des écoulements continus et discontinus avec une grande précision et sans oscillations. Finalement, dans une dernière partie, l'extension aux équations de Navier-Stokes est abordée, et la discrétisation des termes visqueux par une approche éléments finis est proposée. Les résultats numériques confirment la précision et la robustesse de la méthode., Doctorat en sciences appliquées, info:eu-repo/semantics/nonPublished

Une approche multidimensionelle pour la résolution numérique des équations d'Euler et de Navier-Stokes sur maillages non-structurés est proposée. Dans une première partie, un exposé complet des schémas de distribution, dits de "fluctuation-splitting" ,est décrit, comprenant une étude comparative des schémas décentrés, positifs et de 2ème ordre, pour résoudre l'équation de convection à coefficients constants, ainsi qu'une étude théorique et numérique de la précision des schémas sur maillages réguliers et distordus. L'extension à des lois de conservation non-linéaires est aussi abordée, et une attention particulière est portée au problème de la linéarisation conservative. Dans une deuxième partie, diverses discrétisations des termes visqueux pour l'équation de convection-diffusion sont développées, avec pour but de déterminer l'approche qui offre le meilleur compromis entre précision et coût. L'extension de la méthode aux systèmes des lois de conservation, et en particulier à celui des équations d'Euler de la dynamique des gaz, représente le noyau principal de la thèse, et est abordée dans la troisième partie. Contrairement aux schémas de distribution classiques, qui reposent sur une extension formelle du cas scalaire, l'approche développée ici repose sur une décomposition du résidu par élément en équations scalaires, modélisant le transport de variables caracteristiques. La difficulté vient du fait que les équations d'Euler instationnaires ne se diagonalisent pas, et admettent une infinité de solutions élémentaires (ondes simples) se propageant dans toutes les directions d'espace. En régime stationnaire, en revanche, les équations se diagonalisent complètement dans le cas des écoulements supersoniques, et partiellement dans le cas des écoulements subsoniques. Ainsi, les équations sous forme conservative peuvent être remplacées par un système équivalent comprenant deux équations totalement découplées, exprimant l'invariance de l'entropie et de l'enthalpie totale le long des lignes de courant, et deux autres équations, modélisant les effets purement acoustiques. En régime supersonique, celles-ci se découplent aussi, et expriment la convection le long des lignes de Mach d'invariants de Riemann généralisés. La discrétisation de ces équations par des schémas scalaires décentrés permet de simuler des écoulements continus et discontinus avec une grande précision et sans oscillations. Finalement, dans une dernière partie, l'extension aux équations de Navier-Stokes est abordée, et la discrétisation des termes visqueux par une approche éléments finis est proposée. Les résultats numériques confirment la précision et la robustesse de la méthode., Doctorat en sciences appliquées, info:eu-repo/semantics/published

In this thesis, we investigate properties of incompressible flows that interact with a rigid body or a source and a sink. In the case of an incompressible viscous fluid that satisfies the Navier Stokes equations in a 2D bounded domain well-posedness of Leray-Hopf weak solutions is well-understood. Existence and uniqueness are proved. Moreover solutions are continuous in time with values in L 2 (Omega) and they satisfy the energy equality. Recently the problem of a rigid body moving in a viscous incompressible fluid modeled by the Navier-Stokes equations coupled with the Newton laws that prescribe the motion of the solid, was also tackled in the case where the no-slip boundary conditions were imposed. And the correspondent well-posedness result for Leray-Hopf type weak solutions was proved. In this manuscript we consider the case of the Navier-slip boundary conditions. In this setting, the existence result for the coupled system was proved by G'erard-Varet and Hillairet in 2014. Here, we prove that solutions are continuous in time, that they satisfy the energy equality and that they are unique. Moreover we show an existence result for weak solutions of a viscous incompressible fluid plus rigid body system in the case where the fluid velocity has an orthoradial part of infinite energy.For an inviscid incompressible fluid modelled by the Euler equations in a 2D bounded domain, the case where the fluid is allowed to enter and to exit from the boundary was tackled by Judovic who introduced some conditions which consist in prescribing the normal component of the velocity and the entering vorticity. In this manuscript we consider a bounded domain with two holes, one of them is a source which means that the fluid is allowed to enter in the domain and the other is a sink from where the fluid can exit. In particular we find the limiting equations satisfied by the fluid when the source and the sink shrink to two different points. The limiting system is characterized by a point source/sink and a point vortex in each of the two points where the holes shrunk.; Dans cette thèse, nous étudions les propriétés des écoulements de fluides qui interagissent avec un corps rigide ou avec une source et un puits. Dans le cas d'un fluide visqueux incompressible qui satisfait les équations de Navier Stokes dans un domaine borné 2D, les solutions faibles de Leray-Hopf sont bien comprises. L'existence et l'unicité sont prouvées. De plus, les solutions sont continues en temps `a valeurs dans L 2 (Omega) et satisfont l’égalité d'énergie classique. Plus récemment, le problème d'un corps rigide en mouvement dans un fluide visqueux incompressible modélisé par les équations de Navier-Stokes couplées aux lois de Newton qui décrivent le mouvement du solide a également été abordé dans le cas où des conditions aux limites sans glissement ont été prescrites. Des résultats analogues concernant les solutions de Leray-Hopf ont également été démontrés dans ce contexte. Dans ce manuscrit, nous étudions le cas de conditions aux limites de Navier-Slip. Dans ce cadre, le résultat d'existence pour le système couplé a été prouvée par G'erard-Varet et Hillairet en 2014. Ici, nous montrons que les solutions sont continues en temps, qu'elles satisfont l’égalité d'énergie et qu’elles sont uniques. De plus, nous montrons un résultat d'existence des solutions faibles dans le cas d'un fluide incompressible visqueux auquel s'ajoute un corps rigide dans le cas où la vitesse du fluide a une partie orthonormale d'énergie infinie.Pour un fluide incompressible non visqueux modélisé par les équations d'Euler dans un domaine borné 2D, le cas où le fluide est autorisé à entrer et à sortir de la frontière a été traité par Judovic qui a introduit certaines conditions limites consistant à prescrire la composante normale de la vitesse et de la vorticité entrante. Dans ce manuscrit, nous considérons un domaine borné qui possède deux trous. L'un d'eux est une source, ce qui signifie que le fluide est autorisé à entrer dans le domaine et l'autre est un puits où le fluide peut sortir. En particulier, nous établissons les équations limites vérifiées par le fluide lorsque la source et le puits se contractent en deux points différents. Le système limite est caractérisé par un point source/puits et un point vortex en chacun des deux points où les trous se sont contractés.

This thesis presents the construction of a p-adaptive Residual Distribution scheme for the steady Euler equations and a hp-adaptive Residual Distribution scheme for the steady penalized Navier-Stokes equations in dimension two and three. The Euler and Navier-Stokes equations are recalled along with their non dimensional versions. The basis definitions and properties of the steady Residual Distribution schemes are presented. Then, the construction of a p-adaptive Residual Distribution scheme for the Euler equations is considered. The construction of the p-adaptive scheme is based upon the expression of the total residual of an element of a given degree k (in the Finite Element sense) into the total residuals of its linear sub-elements. The discrete solution obtained with the p-adaptive scheme is then a one degree polynomial in the divided elements and a k-th degree polynomial in the undivided ones. Therefore, the discrete solution is in general discontinuous at the interface between a divided element and an undivided one. This is in apparent contradiction with the continuity assumption used in general to demonstrate the discrete Lax-Wendroff theorem for Residual Distribution schemes. However, as we show in this work, this constrain can be relaxed. The consequence is that if special quadrature formulas are employed in the numerical implementation, the discrete Lax-Wendroff theorem can still be proved, which guaranties the convergence of the p-adaptive scheme to a weak solution of the governing equations. The formulas that express the total residual into the combination of the total residuals of the sub-elements are central to the method. In dimension two, the formula is obtained with the classical Lagrange basis in the quadratic case and with the Bézier basis in dimension three. These two formulas are then generalized to arbitrary polynomial degrees in dimension two and three with a Bézier basis. In the second part of the thesis the application of the p-adaptive scheme to the penalized Navier-Stokes equations with anisotropic mesh adaptation is presented. In practice, the p-adaptive scheme is used with the IBM-LS-AUM (Immersed Boundary Method with Level Sets and Adapted Unstructured Meshes) method. The IBM-LS-AUM allows to impose the boundary conditions with the penalization method and the mesh adaptation to the solution and to the level-set increases the accuracy of the representation of the surface and the solution around walls. When the IBM-LSAUM is combined with the p-adaptive scheme, it is possible to use high-order elements outside the zone where the penalization is applied. The method is robust as shown by the numerical applications at low to large Mach numbers and at different Reynolds in dimension two and three.; Cette thèse présente la construction d’un schéma aux Résidus Distribués p-adaptatif pour la discrétisation des équations d’Euler ainsi qu’un schéma aux Résidus Distribués hp-adaptatif pour les équations de Navier- Stokes pénalisées. On rappelle tout d’abord les équations d’Euler et de Navier-Stokes ainsi que leurs versions non dimensionnelles. Les définitions et propriétés de base des schémas aux Résidus Distribués sont ensuite présentées. On décrit alors la construction d’un schéma aux Résidus Distribués p-adaptatif pour les équations d’Euler. La construction du schéma p-adaptatif est basée sur la possibilité d’exprimer le résidu total d’un élément K de degré k (au sens où l’élément fini (K; P; Sigma ) est un élément fini de degré k) comme une somme pondérée des résidus totaux de ses sous-éléments de degré 1. La solution discrète ainsi obtenue est en général discontinue à l’interface entre un élément subdivisé et un élément non subdivisé. Ceci contredit l’hypothèse de continuité de la solution qui est utilisée pour démontrer le théorème de Lax-Wendroff discret pour les schémas aux Résidus Distribués. Cependant, on montre que cette hypothèse peut être assouplie. La conséquence pratique est que si l’on emploie des quadratures particulières dans l’implémentation numérique, on peut quand même démontrer le théorème de Lax-Wendroff discret, ce qui garantit la convergence du schéma numérique vers une solution faible des équations d’origine. Les formules qui permettent d’exprimer le résidu total comme une somme pondérée des résidus totaux des sous-éléments sont à la base de la méthode de p-adaptation présentée ici. Dans le cas quadratique, la formule est obtenue avec les classiques fonctions de base de Lagrange en dimension deux et avec des fonctions de base de Bézier en dimension trois. Ces deux formules sont ensuite généralisées à des degrés polynomiaux quelconques en dimension deux et trois avec des fonctions de base de Bézier. Dans la deuxième partie de la thèse, on présente l’application du schéma p-adaptatif aux équations pénalisées de Navier-Stokes avec adaptation de maillage anisotrope. . En pratique, on combine le schéma p-adaptatif avec la méthode IBM-LS-AUM (Immersed Boundary Method with Level Sets and Adapted Unstructured Meshes). La méthode IBM-LS-AUM permet d’imposer les conditions aux bords grâce à la méthode de pénalisation et l’adaptation anisotrope du maillage à la solution numérique et à la level-set augmente la précision de la solution et de la représentation de la surface. Une fois la méthode IBM-LS-AUM combinée avec le schéma p-adaptatif, il est alors possible d’utiliser des éléments d’ordre élevés en-dehors de la zone où la pénalisation est appliquée. La méthode est robuste comme le montrent les diverses expérimentations numériques à des vitesses faibles à élevées et à différents nombres de Reynolds.