Robust Numerical Methods for Singularly Perturbed Differential Equations SPIN Springer s internal project number, if known

Transcription

1 Hans-Görg Roos Martin Stynes Lutz Tobiska Robust Numerical Methods for Singularly Perturbed Differential Equations SPIN Springer s internal project number, if known Convection-Diffusion-Reaction and Flow Problems May 27, 2008 Springer Berlin Heidelberg NewYork Hong Kong London Milan Paris Tokyo

2 Preface The analysis of singular perturbed differential equations began early in the twentieth century, when approximate solutions were constructed from asymptotic expansions. (Preliminary attempts appear in the nineteenth century see [vd94].) This technique has flourished since the mid-1960s and its principal ideas and methods are described in several textbooks; nevertheless, asymptotic expansions may be impossible to construct or may fail to simplify the given problem and then numerical approximations are often the only option. The systematic study of numerical methods for singular perturbation problems started somewhat later in the 1970s. From this time onwards the research frontier has steadily expanded, but the exposition of new developments in the analysis of these numerical methods has not received its due attention. The first textbook that concentrated on this analysis was [DMS80], which collected various results for ordinary differential equations. But after 1980 no further textbook appeared until 1996, when three books were published: Miller et al. [MOS96], which specializes in upwind finite difference methods on Shishkin meshes, Morton s book [Mor96], which is a general introduction to numerical methods for convection-diffusion problems with an emphasis on the cell-vertex finite volume method, and [RST96], the first edition of the present book. Nevertheless many methods and techniques that are important today, especially for partial differential equations, were developed after To give some examples, layer-adapted special meshes are frequently used, new stabilization techniques (such as discontinuous Galerkin methods and local subspace projections) are prominent, and there is a growing interest in the use of adaptive methods. Consequently contemporary researchers must comb the literature to gain an overview of current developments in this active area. In this second edition we retain the exposition of basic material that underpinned the first edition while extending its coverage to significant new numerical methods for singularly perturbed differential equations. Our purposes in writing this introductory book are twofold. First, we present a structured and comprehensive account of current ideas in the numerical analysis of singularly perturbed differential equations. Second, this

3 VI Preface important area has many open problems and we hope that our book will stimulate their investigation. Our choice of topics is inevitably personal and reflects our own main interests. We have learned a great deal about singularly perturbed problems from other researchers. We thank those colleagues who helped and influenced us; these include V.B. Andreev, A.E. Berger, P.A. Farrell, A. Felgenhauer, E.C. Gartland, Ch. Großmann, A.F. Hegarty, R.B. Kellogg, N. Kopteva, G. Lube, N. Madden, G. Matthies, J.J.H. Miller, K.W. Morton, F. Schieweck, G.I. Shishkin, E. Süli, and R. Vulanović; in particular Herbert Goering and Eugene O Riordan guided our initial steps in the area. Our research colleague T. Linß deserves additional thanks for providing many of the figures in this book. Our work was supported by the Deutsche Forschungsgemeinschaft and by the Boole Centre for Research in Informatics at the National University of Ireland, Cork. We are grateful to them, to the Mathematisches Forschungsinstitut in Oberwolfach for its hospitality, and to Springer-Verlag for its cooperation.

4 Contents Notation XI Introduction Part I Ordinary Differential Equations 1 The Analytical Behaviour of Solutions Linear Second-Order Problems Without Turning Points Asymptotic Expansions The Green s Function and Stability Estimates A Priori Estimates for Derivatives and Solution Decomposition Linear Second-Order Turning-Point Problems Quasilinear Problems Linear Higher-Order Problems and Systems Asymptotic Expansions for Higher-Order Problems A Stability Result Systems of Ordinary Differential Equations Numerical Methods for Second-Order Boundary Value Problems Finite Difference Methods on Equidistant Meshes Classical Convergence Theory for Central Differencing Upwind Schemes The Concept of Uniform Convergence Uniformly Convergent Schemes of Higher Order Linear Turning-Point Problems Some Nonlinear Problems Finite Element Methods on Standard Meshes Basic Results for Standard Finite Element Methods

5 VIII Contents Upwind Finite Elements Stabilized Higher-Order Methods Variational Multiscale and Differentiated Residual Methods Uniformly Convergent Finite Element Methods Finite Volume Methods Finite Difference Methods on Layer-adapted Grids Graded Meshes Piecewise Equidistant Meshes Adaptive Strategies Based on Finite Differences Part II Parabolic Initial-Boundary Value Problems in One Space Dimension 1 Introduction Analytical Behaviour of Solutions Existence, Uniqueness, Comparison Principle Asymptotic Expansions and Bounds on Derivatives Finite Difference Methods First-Order Problems Consistency Stability Convergence in L Convection-Diffusion Problems Consistency and Stability Convergence Polynomial Schemes Uniformly Convergent Methods Exponential Fitting in Space Layer-Adapted Tensor-Product Meshes Reaction-Diffusion Problems Finite Element Methods Space-Based Methods Polynomial Upwinding Uniformly Convergent Schemes Local Error Estimates Subcharacteristic-Based Methods SDFEM in Space-Time Explicit Galerkin Methods Eulerian-Lagrangian Methods

6 Contents IX 5 Two Adaptive Methods Streamline Diffusion Methods Moving Mesh Methods (r-refinement) Part III Elliptic and Parabolic Problems in Several Space Dimensions 1 Analytical Behaviour of Solutions Classical and Weak Solutions The Reduced Problem Asymptotic Expansions and Boundary Layers A Priori Estimates and Solution Decomposition Finite Difference Methods Finite Difference Methods on Standard Meshes Exponential Boundary Layers Parabolic Boundary Layers Layer-Adapted Meshes Exponential Boundary Layers Parabolic Layers Finite Element Methods Inverse-Monotonicity-Preserving Methods Based on Finite Volume Ideas Residual-Based Stabilizations Streamline Diffusion Finite Element Method (SDFEM) Galerkin Least Squares Finite Element Method (GLSFEM) Residual-Free Bubbles Adding Symmetric Stabilizing Terms Local Projection Stabilization Continuous Interior Penalty Stabilization The Discontinuous Galerkin Finite Element Method The Primal Formulation for a Reaction-Diffusion Problem A First-Order Hyperbolic Problem dgfem Error Analysis for Convection-Diffusion Problems Uniformly Convergent Methods Operator-Fitted Methods Layer-Adapted Meshes Adaptive Methods Adaptive Finite Element Methods for Non-Singularly Perturbed Elliptic Problems: an Introduction

7 X Contents Robust and Semi-Robust Residual Type Error Estimators A Variant of the DWR Method for Streamline Diffusion Time-Dependent Problems Analytical Behaviour of Solutions Finite Difference Methods Finite Element Methods Part IV The Incompressible Navier-Stokes Equations 1 Existence and Uniqueness Results Upwind Finite Element Method Higher-Order Methods of Streamline Diffusion Type The Oseen Problem The Navier-Stokes Problem Local Projection Stabilization for Equal-Order Interpolation Local Projection Stabilization in an Abstract Setting Convergence Analysis The Special Interpolant Stability Consistency Error A priori Error Estimate Local Projection onto Coarse-Mesh Spaces Simplices Quadrilaterals and Hexahedra Schemes Based on Enrichment of Approximation Spaces Simplices Quadrilaterals and Hexahedra Relationship to Subgrid Modelling Two-Level Approach with Piecewise Linear Elements Enriched Piecewise Linear Elements Spectral Equivalence of the Stabilizing Terms on Simplices Local Projection Method for Inf-Sup Stable Elements Discretization by Inf-Sup Stable Elements Stability and Consistency Convergence Methods of Order r in the Case σ > Methods of Order r in the Case σ Methods of Order r + 1/

8 Notation XI 6 Mass Conservation for Coupled Flow-Transport Problems A Model Problem Continuous and Discrete Mass Conservation Approximated Incompressible Flows Mass-Conservative Methods Higher-Order Flow Approximation Post-Processing of the Discrete Velocity Scott-Vogelius Elements Adaptive Error Control References Index