The material covered by this book has been taught by one of the authors in a post-graduate course on Numerical Analysis at the University Pierre et Marie Curie of Paris. It is an extended version of a previous text (cf. Girault & Raviart [32J) published in 1979 by Springer-Verlag in its series: Lecture Notes in Mathematics. In the last decade, many engineers and mathematicians have concentrated their efforts on the finite element solution of the Navier-Stokes equations for incompressible flows. The purpose of this book is to provide a fairly comprehen sive treatment of the most recent developments in that field. To stay within reasonable bounds, we have restricted ourselves to the case of stationary prob lems although the time-dependent problems are of fundamental importance. This topic is currently evolving rapidly and we feel that it deserves to be covered by another specialized monograph. We have tried, to the best of our ability, to present a fairly exhaustive treatment of the finite element methods for inner flows. On the other hand however, we have entirely left out the subject of exterior problems which involve radically different techniques, both from a theoretical and from a practical point of view. Also, we have neither discussed the implemen tation of the finite element methods presented by this book, nor given any explicit numerical result. This field is extensively covered by Peyret & Taylor [64J and Thomasset [82].

In structure mechanics analysis, finite element methods are now well estab lished and well documented techniques; their advantage lies in a higher flexibility, in particular for: (i) The representation of arbitrary complicated boundaries; (ii) Systematic rules for the developments of stable numerical schemes ap proximating mathematically wellposed problems, with various types of boundary conditions. On the other hand, compared to finite difference methods, this flexibility is paid by: an increased programming complexity; additional storage require ment. The application of finite element methods to fluid mechanics has been lagging behind and is relatively recent for several types of reasons: (i) Historical reasons: the early methods were invented by engineers for the analysis of torsion, flexion deformation of bearns, plates, shells, etc ... (see the historics in Strang and Fix (1972) or Zienckiewicz (1977». (ii) Technical reasons: fluid flow problems present specific difficulties: strong gradients,l of the velocity or temperature for instance, may occur which a finite mesh is unable to properly represent; a remedy lies in the various upwind finite element schemes which recently turned up, and which are reviewed in chapter 2 (yet their effect is just as controversial as in finite differences). Next, waves can propagate (e.g. in ocean dynamics with shallowwaters equations) which will be falsely distorted by a finite non regular mesh, as Kreiss (1979) pointed out. We are concerned in this course with the approximation of incompressible, viscous, Newtonian fluids, i.e. governed by N avier Stokes equations.

This book explores finite element methods for incompressible flow problems: Stokes equations, stationary Navier-Stokes equations and time-dependent Navier-Stokes equations. It focuses on numerical analysis, but also discusses the practical use of these methods and includes numerical illustrations. It also provides a comprehensive overview of analytical results for turbulence models. The proofs are presented step by step, allowing readers to more easily understand the analytical techniques.

Since their emergence, finite element methods have taken a place as one of the most versatile and powerful methodologies for the approximate numerical solution of Partial Differential Equations. These methods are used in incompressible fluid flow, heat, transfer, and other problems. This book provides researchers and practitioners with a concise guide to the theory and practice of least-square finite element methods, their strengths and weaknesses, established successes, and open problems.

Introduction to the Numerical Analysis of Incompressible Viscous Flows treats the numerical analysis of finite element computational fluid dynamics. Assuming minimal background, the text covers finite element methods; the derivation, behavior, analysis, and numerical analysis of Navier-Stokes equations; and turbulence and turbulence models used in simulations. Each chapter on theory is followed by a numerical analysis chapter that expands on the theory. This book provides the foundation for understanding the interconnection of the physics, mathematics, and numerics of the incompressible case, which is essential for progressing to the more complex flows not addressed in this book (e.g., viscoelasticity, plasmas, compressible flows, coating flows, flows of mixtures of fluids, and bubbly flows). With mathematical rigor and physical clarity, the book progresses from the mathematical preliminaries of energy and stress to finite element computational fluid dynamics in a format manageable in one semester. Audience: this unified treatment of fluid mechanics, analysis, and numerical analysis is intended for graduate students in mathematics, engineering, physics, and the sciences who are interested in understanding the foundations of methods commonly used for flow simulations.