Spelling suggestions: "subject:"équations dde navier - stokes"" "subject:"équations dde navier - vstokes""
61 |
Développement d'une méthode d'éléments finis multi-échelles pour les écoulements incompressibles dans un milieu hétérogène / Development of a multiscale finite element method for incompressible flows in heterogeneous mediaFeng, Qingqing 20 September 2019 (has links)
Le cœur d'un réacteur nucléaire est un milieu très hétérogène encombré de nombreux obstacles solides et les phénomènes thermohydrauliques à l'échelle macroscopique sont directement impactés par les phénomènes locaux. Toutefois les ressources informatiques actuelles ne suffisent pas à effectuer des simulations numériques directes d'un cœur complet avec la précision souhaitée. Cette thèse est consacré au développement de méthodes d'éléments finis multi-échelles (MsFEMs) pour simuler les écoulements incompressibles dans un milieu hétérogène avec un coût de calcul raisonnable. Les équations de Navier-Stokes sont approchées sur un maillage grossier par une méthode de Galerkin stabilisé, dans laquelle les fonctions de base sont solutions de problèmes locaux sur des maillages fins prenant précisément en compte la géométrie locale. Ces problèmes locaux sont définis par les équations de Stokes ou d'Oseen avec des conditions aux limites ou des termes sources appropriés. On propose plusieurs méthodes pour améliorer la précision des MsFEMs, en enrichissant l'espace des fonctions de base locales. Notamment, on propose des MsFEMs d'ordre élevée dans lesquelles ces conditions aux limites et termes sources sont choisis dans des espaces de polynômes dont on peut faire varier le degré. Les simulations numériques montrent que les MsFEMs d'ordre élevés améliorent significativement la précision de la solution. Une chaîne de simulation multi-échelle est construite pour simuler des écoulements dans des milieux hétérogènes de dimension deux et trois. / The nuclear reactor core is a highly heterogeneous medium crowded with numerous solid obstacles and macroscopic thermohydraulic phenomena are directly affected by localized phenomena. However, modern computing resources are not powerful enough to carry out direct numerical simulations of the full core with the desired accuracy. This thesis is devoted to the development of Multiscale Finite Element Methods (MsFEMs) to simulate incompressible flows in heterogeneous media with reasonable computational costs. Navier-Stokes equations are approximated on the coarse mesh by a stabilized Galerkin method, where basis functions are solutions of local problems on fine meshes by taking precisely local geometries into account. Local problems are defined by Stokes or Oseen equations with appropriate boundary conditions and source terms. We propose several methods to improve the accuracy of MsFEMs, by enriching the approximation space of basis functions. In particular, we propose high-order MsFEMs where boundary conditions and source terms are chosen in spaces of polynomials whose degrees can vary. Numerical simulations show that high-order MsFEMs improve significantly the accuracy of the solution. A multiscale simulation chain is constructed to simulate successfully flows in two- and three-dimensional heterogeneous media.
|
62 |
Extrapolation vectorielle et applications aux équations aux dérivées partielles / Vector extrapolation and applications to partial differential equationsDuminil, Sébastien 06 July 2012 (has links)
Nous nous intéressons, dans cette thèse, à l'étude des méthodes d'extrapolation polynômiales et à l'application de ces méthodes dans l'accélération de méthodes de points fixes pour des problèmes donnés. L'avantage de ces méthodes d'extrapolation est qu'elles utilisent uniquement une suite de vecteurs qui n'est pas forcément convergente, ou qui converge très lentement pour créer une nouvelle suite pouvant admettreune convergence quadratique. Le développement de méthodes cycliques permet, deplus, de limiter le coût de calculs et de stockage. Nous appliquons ces méthodes à la résolution des équations de Navier-Stokes stationnaires et incompressibles, à la résolution de la formulation Kohn-Sham de l'équation de Schrödinger et à la résolution d'équations elliptiques utilisant des méthodes multigrilles. Dans tous les cas, l'efficacité des méthodes d'extrapolation a été montrée.Nous montrons que lorsqu'elles sont appliquées à la résolution de systèmes linéaires, les méthodes d'extrapolation sont comparables aux méthodes de sous espaces de Krylov. En particulier, nous montrons l'équivalence entre la méthode MMPE et CMRH. Nous nous intéressons enfin, à la parallélisation de la méthode CMRH sur des processeurs à mémoire distribuée et à la recherche de préconditionneurs efficaces pour cette même méthode. / In this thesis, we study polynomial extrapolation methods. We discuss the design and implementation of these methods for computing solutions of fixed point methods. Extrapolation methods transform the original sequance into another sequence that converges to the same limit faster than the original one without having explicit knowledge of the sequence generator. Restarted methods permit to keep the storage requirement and the average of computational cost low. We apply these methods for computing steady state solutions of incompressible flow problems modelled by the Navier-Stokes equations, for solving the Schrödinger equation using the Kohn-Sham formulation and for solving elliptic equations using multigrid methods. In all cases, vector extrapolation methods have a useful role to play. We show that, when applied to linearly generated vector sequences, extrapolation methods are related to Krylov subspace methods. For example, we show that the MMPE approach is mathematically equivalent to CMRH method. We present an implementation of the CMRH iterative method suitable for parallel architectures with distributed memory. Finally, we present a preconditioned CMRH method.
|
63 |
Conception et analyse de schémas d'ordre très élevé distribuant le résidu : application à la mécanique des fluidesLarat, Adam 06 November 2009 (has links)
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.
|
64 |
Modélisation, analyse numérique et simulations autour de la respiration / Modelling, numerical analysis and simulations for human respirationFouchet-Incaux, Justine 17 April 2015 (has links)
Cette thèse est consacrée à la modélisation de la ventilation mécanique chez l'humain et à l'analyse numérique des systèmes en découlant. Des simulations directes d'écoulement d'air dans l'ensemble des voies aériennes étant impossibles (maillages indisponibles et géométrie trop complexe), il est nécessaire de considérer un domaine d'intérêt réduit, qui implique de travailler dans une géométrie tronquée, comportant des frontières artificielles ou encore de considérer des modèles réduits simples mais représentatifs. Si on cherche à effectuer des simulations numériques 3D où l'écoulement du fluide est décrit par les équations de Navier-Stokes, différentes problématiques sont soulevées :- Si on considère que la ventilation est la conséquence de différences de pression, les conditions aux limites associées sont des conditions de type Neumann. Cela aboutit à des questions théoriques en terme d'existence et d'unicité de solution et à des questions numériques en terme de choix de schémas et de méthodes adaptées.- Lorsque l'on travaille dans un domaine tronqué, il peut être nécessaire de prendre en compte les phénomènes non décrits grâce à des modèles réduits appropriés. Ici nous considérons des modèles 0D. Ces couplages 3D/0D sont à l'origine d'instabilités numériques qu'on étudie mathématiquement et numériquement dans ce manuscrit. Par ailleurs, lorsqu'on s'intéresse à des régimes de respiration forcée, les modèles usuels linéaires sont invalidés par les expériences. Afin d'observer les différences entre les résultats expérimentaux et numériques, il est nécessaire de prendre en compte plusieurs types de non linéarités, comme la déformation du domaine ou les phénomènes de type Bernoulli. Une approche par modèles réduits est adoptée dans ce travail.Pour finir, on a cherché à valider les modèles obtenus en comparant des résultats numériques et des résultats expérimentaux dans le cadre d'un travail interdisciplinaire.Parvenir à modéliser et simuler ces écoulements permet de mieux comprendre les phénomènes et paramètres qui entrent en jeu lors de pathologies (asthme, emphysème...). Un des objectifs à moyen terme est d'étudier l'influence du mélange hélium-oxygène sur le dépôt d'aérosol, toujours dans le cadre du travail interdisciplinaire. A plus long terme, l'application de ces modèles à des situations pathologiques pourrait permettre de construire des outils d'aide à la décision dans le domaine médical (compréhension de la pathologie, optimisation de thérapie...). / In this thesis, we study the modelling of the human mecanical ventilation and the numerical analysis of linked systems. Direct simulations of air flow in the whole airways are impossible (complex geometry, unavailable meshes). Then a reduced area of interest can be considered, working with reduced geometries and artificial boundaries. One can also use reduced models, simple but realistic. If one try to make 3D numerical simulations where the fluid flow is described by the Navier-Stokes equations, various issues are raised:- If we consider that ventilation is the result of pressure drops, the associated boundary conditions are Neumann conditions. It leads to theoretical questions in terms of existence and uniqueness of solution and numerical issues in terms of scheme choice and appropriate numerical methods.- When working in a truncated domain, it may be necessary to take into account non-described phenomena with appropriate models. Here we consider 0D models. These 3D/0D couplings imply numerical instabilities that we mathematically and numerically study in this thesis.Furthermore, when we focus on forced breathing, linear usual models are invalidated by experiments. In order to observe the differences between the experimental and numerical results, it is necessary to take into account several types of non-linearities, such as deformation of the domain or the Bernoulli phenomenon. A reduced model approach is adopted in this work. Finally, we sought to validate the obtained models by comparing numerical and experimental results in the context of interdisciplinary work.Achieving model and simulate these flows allow to better understand phenomena and parameters that come into play in diseases (asthma, emphysema ...). A medium-term objective is to study the influence of helium-oxygen mixture in the aerosol deposition. In the longer term, the application of these models to pathological situations could afford to build decision support tools in the medical field (understanding of pathology, therapy optimization ...).
|
65 |
Théorie des semi-groupes pour les équations de Stokes et de Navier-Stokes avec des conditions aux limites de type Navier / Semi-group theory for the Stokes and Navier-Stokes equations with Navier-type boundary conditionsAl Baba, Hind 10 June 2015 (has links)
Cette thèse est consacrée à l'étude théorique mathématique des équations de Stokes et de Navier-Stokes dans un domaine borné de R^3 en utilisant la théorie des semi-groupes. Trois différents types de conditions seront considérés : des conditions aux limites de Navier, de type-Navier et des conditions qui dépendent de la pression. Ce manuscrit est composé de six chapitres. Tout d'abord nous commençons par un état de l'art sur les équations de Navier-Stokes. Ensuite nous démontrons l'analyticité du semi-groupe de Stokes avec chacune des conditions ci-dessus. Ceci permet de résoudre le problème d'évolution en utilisant la théorie des semi-groupes. Nous étudions également les puissances complexes et fractionnaires de l'opérateur de Stokes pour lesquelles nous démontrons certaines propriétés et estimations. Ces résultats seront utilisés dans la suite pour obtenir des estimations de type L^p-L^q pour le semi-groupe de Stokes, un résultat de régularité L^p-L^q maximale pour le problème de Stokes inhomogène et des résultats d'existence et d'unicité locale pour le problème non-linéaire. Après nous étudions le problème d'évolution de Stokes. Outre la régularité L^p-L^q maximale, nous démontrons l'existence des solutions faibles u∈L^q (0,T; W^(1,p) (Ω)), fortes u∈L^q (0,T; W^(2,p) (Ω)) et très faibles u∈L^q (0,T; L^p (Ω)) du problème de Stokes. On termine par l'étude du problème de Navier-Stokes avec chacune des conditions aux limites citées ci-dessus. Tout d'abord, en utilisant les estimations L^p-L^q on démontre l'existence d'une unique solution locale u qui vérifieu∈BC([0,T_0 ); L_(σ,τ)^p (Ω))∩L^q (0,T_0; L_(σ,τ)^r (Ω)), q,r>p, 2/q+3/r=3/p.De plus, pour une donnée initiale petite, on obtient l'existence globale des solutions. Ensuite en estimant le terme non-linéaire en fonction des puissances fractionnaires de l'opérateur de Stokes on démontre la régularité de la solution. / This thesis is devoted to the mathematical theoretical study of the Stokes and Navier-Stokes equations in a bounded domain of R^3 using the semi-group theory. Three different types of boundary conditions will be considered: Navier boundary conditions, Navier-type boundary conditions and boundary condition involving the pressure. This manuscript contains six chapters. We prove first the analyticity of the Stokes semi-group with each of the boundary conditions stated above. This allows us to solve the time dependent Stokes problem using the semi-group theory. We will study also the complex and fractional powers of the Stokes operator for which we prove some properties and estimations. These results will be used in the sequel to prove an estimate of type L^p-L^q for the Stokes semigroup, as well as the maximal L^p-L^q regularity for the inhomogeneous Stokes problem and an existence result for the non-linear problem. Next we study the time dependent Stokes problem, besides the maximal L^p-L^q regularity, we prove the existence of weak u∈L^q (0,T; W^(1,p) (Ω)), strong u∈L^q (0,T; W^(2,p) (Ω)) and very weak u∈L^q (0,T; L^p (Ω)) solutions to the Stokes problem. We end with the study of the Navier-Stokes problem. First using the L^p-L^q estimate for the Stokes semi-group we prove the existence of a unique local in time mild solution for the Navier-Stokes problem that verifies u∈BC([0,T_0 ); L_(σ,τ)^p (Ω))∩L^q (0,T_0; L_(σ,τ)^r (Ω)), q,r>p, 2/q+3/r=3/p.Furthermore, for some initial data the solution is global in time. Finally, by estimating the non-linear term as a function of the fractional powers of the Stokes operator we prove that the solution is regular.
|
66 |
Contribution à l'Appréhension du Système Cardiovasculaire Modélisation et Traitement de Signaux issus de la Macrocirculation et de la Microcirculation sanguinesGuerreschi, Emmanuelle 25 November 2013 (has links) (PDF)
Le réseau artériel du système cardiovasculaire (SCV) est composé de deux sous-systèmes, la macrocirculation (artères élastiques et musculaires) et la microcirculation (artérioles et capillaires), qui interagissent afin de permettre une adaptation optimale de l'organisme aux différentes perturbations rencontrées. Avec l'âge et/ou des facteurs de risque comme l'hypertension, des lésions apparaissent au niveau du réseau artériel et le couplage macrocirculation/microcirculation semble avoir un rôle important dans le développement des pathologies vasculaires. Une meilleure appréhension de ce couplage pourrait permettre de mieux comprendre les processus physiopathologiques de certaines maladies vasculaires. Nous avons ainsi étudié les interactions entre la macrocirculation et la microcirculation sanguines à l'aide de deux approches : (1) l'analyse et le traitement de signaux physiologiques, (2) la construction d'un modèle du SCV. Suite à l'acquisition simultanée de signaux issus du coeur, de la macrocirculation et de la microcirculation, chez des sujets sains, nous avons mis en oeuvre différents concepts de traitement du signal (analyse spectrale, analyse multifractale, entropie multi-échelle) qui nous ont permis de mettre en évidence de potentielles relations entre la macrocirculation et la microcirculation sanguines. Parallèlement, nous avons développé un modèle du SCV capable de prédire les courbes de pression et de débit dans les réseaux macrocirculatoire et microcirculatoire. Ce modèle permet, en outre, d'observer les interactions entre la macrocirculation et la microcirculation dans des conditions normales et pathologiques.
|
67 |
Étude qualitative des solutions du système de Navier-Stokes incompressible à densité variable / Qualitative study of solutions of the system of Navier-Stokes equations with variable densityZhang, Xin 29 September 2017 (has links)
Dans cette thèse, on s'intéresse à deux problèmes provenant de l'étude mathématique des fluides incompressibles visqueux : la propagation de la régularité tangentielle et le mouvement d'une surface libre.La première question concerne plus particulièrement l'étude qualitative de l'évolution de quantités thermodynamiques telles que la température dans l'équation de Boussinesq sans diffusion et la densité dans le système de Navier-Stokes non homogène. Typiquement, on suppose que ces deux quantités sont, à l'instant initial, discontinues le long d'une interface à régularité h"oldérienne. Comme conséquence de résultats de propagation de régularité tangentielle pour le champ de vitesses, on établit que la régularité des interfaces persiste pour tout temps aussi bien en dimension deux d'espace, qu'en dimension supérieure (avec condition de petitesse). Notre approche suit celle du travail de J.-Y. Chemin dans les années 90 pour le problème des poches de tourbillon dans les fluides incompressiblesparfaits.Dans le cas présent, outre cette hypothèse de régularité tangentielle, nous n'avons besoin que d'une régularité critique sur le champ de vitesses.La démonstration repose sur le calcul para-différentiel et les espaces de multiplicateurs.Dans la dernière partie de la thèse, on considère le problème à frontière libre pour le système de Navier-Stokes incompressible à deux phases. Ce système permet de décrire l'évolution d'un mélange de deux fluides non miscibles tels que l'huile et l'eau par exemple. Différents cas de figure sont étudiés : le cas d'un réservoir borné, d'une goutte ou d'une rivière à profondeur finie.On établit l'existence et l'unicité à temps petit pour ce problème. Notre démonstration repose fortement sur des propriétés de régularité maximale parabolique de type $L_p$-$L_q / This thesis is dedicated to two different problems in the mathematical study of the viscous incompressible fluids: the persistence of tangential regularity and the motion of a free surface.The first problem concerns the study of the qualitative properties of some thermodynamical quantities in incompressible fluid models, such as the temperature for Boussinesq system with no diffusion and the density for the non-homogeneous Navier-Stokes system. Typically, we assume those two quantities to be initially piecewise constant along an interface with H"older regularity.As a consequence of stability of certain directional smoothness of the velocity field, we establish that the regularity of the interfaces persist globally with respect to time both in the two dimensional and higher dimensional cases (under some smallness condition). Our strategy is borrowed from the pioneering works by J.-Y.Chemin in 1990s on the vortex patch problem for ideal fluids.Let us emphasize that, apart from the directional regularity, we only impose rough (critical) regularity on the velocity field. The proof requires tools from para-differential calculus and multiplier space theory.In the last part of this thesis, we are concerned with the free boundary value problem for two-phase density-dependent Navier-Stokes system.This model is used to describe the motion of two immiscible liquids, like the oil and the water. Such mixture may occur in different situations, such as in a fixed bounded container, in a moving bounded droplet or in a river with finite depth. We establish the short time well-posedness for this problem. Our result strongly relies on the $L_p$-$L_q$ maximal regularity theoryfor parabolic equations
|
68 |
A method of hp-adaptation for Residual Distribution schemes / Construction d’une méthode hp-adaptative pour les schémas aux Résidus DistribuésViville, Quentin 22 November 2016 (has links)
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. / 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.
|
69 |
Simulation de la nage anguilliformeLapierre, David 05 1900 (has links)
Ce document traite premièrement des diverses tentatives de modélisation et de simulation de la nage anguilliforme puis élabore une nouvelle technique, basée sur la méthode de la frontière immergée généralisée et la théorie des poutres de Reissner-Simo. Cette dernière, comme les équations des fluides polaires, est dérivée de la mécanique des milieux continus puis les équations obtenues sont discrétisées afin de les amener à une résolution numérique. Pour la première fois, la théorie des schémas de Runge-Kutta additifs est combinée à celle des schémas de Runge-Kutta-Munthe-Kaas pour engendrer une méthode d’ordre de convergence formel arbitraire. De plus, les opérations d’interpolation et d’étalement sont traitées d’un nouveau point de vue qui suggère l’usage des splines interpolatoires nodales en lieu et place des fonctions d’étalement traditionnelles. Enfin, de nombreuses vérifications numériques sont faites avant de considérer les simulations de la nage. / This paper first discusses various attempts at modeling and simulating anguilliform swimming, then we develop a new technique, based on a method of generalized immersed boundary and the beam theory of Reissner-Simo. Subsequent to the derivation of the equations of polar fluids, the beam theory is derived from continuum mechanics and the resulting equations are then discretized, allowing a numerical solution. For the first time, the theory of additive Runge-Kutta schemes are combined with the Runge-Kutta-Munthe-Kaas method to generate schemes of arbitrarily high formal order of convergence. Moreover, the interpolation and spreading operations are handled from a new point of view that suggests the use of interpolatory nodal splines instead of spreading traditional functions. Finally, many numerical verifications are done before considering simulations of swimming.
|
Page generated in 0.0875 seconds