This book presents different formulations of the equations governing incompressible viscous flows, in the form needed for developing numerical solution procedures. The conditions required to satisfy the no-slip boundary conditions in the various formulations are discussed in detail. Rather than focussing on a particular spatial discretization method, the text provides a unitary view of several methods currently in use for the numerical solution of incompressible Navier-Stokes equations, using either finite differences, finite elements or spectral approximations. For each formulation, a complete statement of the mathematical problem is provided, comprising the various boundary, possibly integral, and initial conditions, suitable for any theoretical and/or computational development of the governing equations. The text is suitable for courses in fluid mechanics and computational fluid dynamics. It covers that part of the subject matter dealing with the equations for incompressible viscous flows and their determination by means of numerical methods. A substantial portion of the book contains new results and unpublished material.

Originally published in 1977, the book is devoted to the theory and numerical analysis of the Navier-Stokes equations for viscous incompressible fluid. On the theoretical side, results related to the existence, the uniqueness, and, in some cases, the regularity of solutions are presented. On the numerical side, various approaches to the approximation of Navier-Stokes problems by discretization are considered, such as the finite dereference method, the finite element method, and the fractional steps method. The problems of stability and convergence for numerical methods are treated as completely as possible. The new material in the present book (as compared to the preceding 1984 edition) is an appendix reproducing a survey article written in 1998. This appendix touches upon a few aspects not addressed in the earlier editions, in particular a short derivation of the Navier-Stokes equations from the basic conservation principles in continuum mechanics, further historical perspectives, and indications on new developments in the area. The appendix also surveys some aspects of the related Euler equations and the compressible Navier-Stokes equations. The book is written in the style of a textbook and the author has attempted to make the treatment self-contained. It can be used as a textbook or a reference book for researchers. Prerequisites for reading the book include some familiarity with the Navier-Stokes equations and some knowledge of functional analysis and Sololev spaces.

"Contains proceedings of Varenna 2000, the international conference on theory and numerical methods of the navier-Stokes equations, held in Villa Monastero in Varenna, Lecco, Italy, surveying a wide range of topics in fluid mechanics, including compressible, incompressible, and non-newtonian fluids, the free boundary problem, and hydrodynamic potential theory."