Analyse mathématique et approximation numérique des équations de Stokes et de Navier-Stokes avec des conditions aux limites non standard

This work of thesis deals with the solving of the Stokes problem, rst with boundary conditions on the normal component of the velocity fi eld and the tangential component of the vorticity, next with boundary conditions on the pressure and the tangential component of the velocity fi eld. In each case, we give existence, uniqueness and regularity of solutions. The case of very weak solutions is also treated by using a duality argument. The functional framework that we have choosed is that of Banach spaces of type H(div) and H(rot) or their intersection based on the space Lp , with 1 < p < ∞. In particular, we suppose that Ω is multiply connected and that the boundary Γ is not connexe. We are interested in a fi rst time by some Sobolev inequality for vector fields u ∈ Lp (Ω). In a second time, we give some results concerning vector potentials with different boundary conditions. This allow to establish Helmholtz decompositions and Inf − Sup condition when the bilinear form is a rotational product. Due to these non standard boundary conditions, the pressure is decoupled from the system. It is the reason whay we are naturally reduced to solving elliptic problems which are the Stokes equations without the pressure term. For this, we use the Inf − Sup conditions, which plays a crutial role in the existence and uniqueness of solutions. We give an application to the Navier-Stokes equations where the proof of solutions is obtained by applying a fixed point theorem over the Oseen equations. Finally, two numerical methods are proposed inorder to approximate the Stokes problem. First, by means of the Nitsche method and next by means of the Discontinuous Galerkin method. Some numerical results of convergence verifying the theoretical predictions are givenLes travaux de la thèse portent sur la résolution des équations de Stokes, d'abord avec des conditions au bord portant sur la composante normale du champ de vitesse et la composante tangentielle du tourbillon, ensuite avec des conditions au bord portant sur la pression et la composante tangentielle du champ de vitesse. Dans chaque cas nous démontrons l'existence, l'unicité et la régularité de la solution. Nous traitons aussi le cas de solutions très faibles, par dualité. Le cadre fonctionnel que nous avons choisi est celui des espaces de Banach du type H(div) et H(rot) ou l'intersection des deux, basés sur l'espace Lp , avec 1 < p < ∞. En particulier, on se place dans des domaines non simplement connexes, avec des frontières non connexes. Nous nous intéressons en premier lieu à l'obtention d'inégalités de Sobolev pour des champs de vecteurs u ∈ Lp (Ω). Dans un second temps, nous établissons des résultats d'existence pour les potentiels vecteurs avec diverses conditions aux limites. Ceci nous permet d'abord d'effectuer des décompositions de type Helmholtz et ensuite de démontrer des conditions Inf − Sup lorsque la forme bilinéaire est un produit de rotationnels. Ces conditions aux limites font que l'équation de la pression est indépendante des autres variables. C'est la raison pour laquelle nous sommes naturellement conduit à étudier les problèmes elliptiques qui se traduisent par les systèmes de Stokes sans la pression. La résolution de ces problèmes se fait au moyen des Conditions Inf − Sup qui jouent un rôle clef pour établir l'existence et l'unicité de solutions. Nous donnons une applications aux systèmes de Navier-Stokes, où on obtient l'existence d'une solution en effectuant un point fi xe autour du problème d'Oseen. Enfi n, deux méthodes numériques sont proposées pour approcher le problème de Stokes. Nous analysons d'abord une méthode de Nitsche et puis une méthode de Galerkin discontinu. Quelques résultats numériques de convergence sont décrits qui sont parfaitement cohérents avec l'analyse