Navier Stokes Equations: Theory and Numerical Analysis

I. The Steady-State Stokes Equations . 1. Some Function Spaces. 2. Existence and Uniqueness for the Stokes Equations. 3. Discretization of the Stokes Equations (I). 4. Discretization of the Stokes Equations (II). 5. Numerical Algorithms. 6. The Penalty Method. II. The Steady-State Navier-Stokes Equations . 1. Existence and Uniqueness Theorems. 2. Discrete Inequalities and Compactness Theorems. 3. Approximation of the Stationary Navier-Stokes Equations. 4. Bifurcation Theory and Non-Uniqueness Results. III. The Evolution Navier-Stokes Equations . 1. The Linear Case. 2. Compactness Theorems. 3. Existence and Uniqueness Theorems. (n < 4). 4. Alternate Proof of Existence by Semi-Discretization. 5. Discretization of the Navier-Stokes Equations: General Stability and Convergence Theorems. 6. Discretization of the Navier-Stokes Equations: Application of the General Results. 7. Approximation of the Navier-Stokes Equations by the Projection Method. 8. Approximation of the Navier-Stokes Equations by the Artificial Compressibility Method. Appendix I: Properties of the Curl Operator and Application to the Steady-State Navier-Stokes Equations. Appendix II. (by F. Thomasset): Implementation of Non-Conforming Linear Finite Elements. Comments.