Numerical Treatment of Partial Differential Equations

Transcription

1

2 Christian Grossmann Hans-Görg Roos Numerical Treatment of Partial Differential Equations Translated and revised by Martin Stynes

3 Prof. Dr. Christian Grossmann Prof. Dr. Hans-Görg Roos Institute of Numerical Mathematics Department of Mathematics Technical University of Dresden D Dresden, Germany Prof. Dr. Martin Stynes School of Mathematical Sciences Aras na Laoi University College Cork Cork, Ireland Mathematics Subject Classification (2000): 65N, 65F Translation and revision of the 3rd edition of Numerische Behandlung Partieller Differentialgleichungen Published by Teubner, Library of Congress Control Number: ISBN: Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com c Springer-Verlag Berlin Heidelberg 2007 The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: WMXDesign, Heidelberg Typesetting by the authors and SPi using a Springer L A TEX macro package Printed on acid-free paper SPIN: /2244/SPi

4 Preface Many well-known models in the natural sciences and engineering, and today even in economics, depend on partial differential equations. Thus the efficient numerical solution of such equations plays an ever-increasing role in state-ofthe-art technology. This demand and the computational power available from current computer hardware have together stimulated the rapid development of numerical methods for partial differential equations a development that encompasses convergence analyses and implementational aspects of software packages. In 1988 we started work on the first German edition of our book, which appeared in Our aim was to give students a textbook that contained the basic concepts and ideas behind most numerical methods for partial differential equations. The success of this first edition and the second edition in 1994 encouraged us, ten years later, to write an almost completely new version, taking into account comments from colleagues and students and drawing on the enormous progress made in the numerical analysis of partial differential equations in recent times. The present English version slightly improves the third German edition of 2005: we have corrected some minor errors and added additional material and references. Our main motivation is to give mathematics students and mathematicallyinclined engineers and scientists a textbook that contains all the basic discretization techniques for the fundamental types of partial differential equations; one in which the reader can find analytical tools, properties of discretization techniques and advice on algorithmic aspects. Nevertheless, we acknowledge that in fewer then 600 pages it is impossible to deal comprehensively with all these topics, so we have made some subjective choices of material. Our book is mainly concerned with finite element methods (Chapters 4 and 5), but we also discuss finite difference methods (Chapter 2) and finite volume techniques. Chapter 8 presents the basic tools needed to solve the discrete problems generated by numerical methods, while Chapter 6 (singularly perturbed problems) and Chapter 7 (variational inequalities and optimal control) are special topics that reflect the research interests of the authors.

5 VI Preface As well as the above in-depth presentations, there are passing references to spectral methods, meshless discretizations, boundary element methods, higher-order equations and systems, hyperbolic conservation laws, wavelets and applications in fluid mechanics and solid mechanics. Our book sets out not only to introduce the reader to the rich and fascinating world of numerical methods for partial differential equation, but also to include recent research developments. For instance, we present detailed introductions to a posteriori error estimation, the discontinuous Galerkin method and optimal control with partial differential equations; these areas receive a great deal of attention in the current research literature yet are rarely discussed in introductory textbooks. Many relevant references are given to encourage the reader to discover the seminal original sources amidst the torrent of current research papers on the numerical solution of partial differential equations. A large portion of Chapters 1 5 constitutes the material for a two-semester course that has been presented several times to students in the third and fourth year of their undergraduate studies at the Technical University of Dresden. We gratefully acknowledge those colleagues who improved the book by their comments, suggestions and discussions. In particular we thank A. Felgenhauer, S. Franz, T. Linß, B. Mulansky, A. Noack, E. Pfeifer, H. Pfeifer, H.-P. Scheffler and F. Tröltzsch. We are much obliged to our colleague and long standing friend Martin Stynes for his skill and patience in translating and mathematically revising this English edition. Dresden, June 2007

6 Contents Notation... XI 1 Basics Classification and Correctness Fourier smethod,integraltransforms Maximum Principle, Fundamental Solution Elliptic Boundary Value Problems Parabolic Equations and Initial-Boundary Value Problems Hyperbolic Initial and Initial-Boundary Value Problems 18 2 Finite Difference Methods Basic Concepts Illustrative Examples Transportation Problems and Conservation Laws The One-Dimensional Linear Case Properties of Nonlinear Conservation Laws Difference Methods for Nonlinear Conservation Laws Elliptic Boundary Value Problems Elliptic Boundary Value Problems The Classical Approach to Finite Difference Methods Discrete Green s Function Difference Stencils and Discretization in General Domains Mixed Derivatives, Fourth Order Operators Local Grid Refinements Finite Volume Methods as Finite Difference Schemes Parabolic Initial-Boundary Value Problems Problems in One Space Dimension Problems in Higher Space Dimensions Semi-Discretization

7 VIII Contents 2.7 Second-Order Hyperbolic Problems Weak Solutions Introduction Adapted Function Spaces Variational Equations and Conforming Approximation Weakening V-ellipticity NonlinearProblems The Finite Element Method AFirstExample Finite-Element-Spaces Local and Global Properties Examples of Finite Element Spaces in R 2 and R Practical Aspects of the Finite Element Method Structure of a Finite Element Code Description of the Problem Generation of the Discrete Problem Mesh Generation and Manipulation Convergence of Conforming Methods Interpolation and Projection Error in Sobolev Spaces Hilbert Space Error Estimates Inverse Inequalities and Pointwise Error Estimates NonconformingFiniteElementMethods Introduction Ansatz Spaces with Low Smoothness Numerical Integration The Finite Volume Method Analysed from a Finite ElementViewpoint Remarks on Curved Boundaries MixedFiniteElements Mixed Variational Equations and Saddle Points Conforming Approximation of Mixed Variational Equations Weaker Regularity for the Poisson and Biharmonic Equations Penalty Methods and Modified Lagrange Functions Error Estimators and Adaptive FEM The Residual Error Estimator Averaging and Goal-Oriented Estimators TheDiscontinuousGalerkinMethod The Primal Formulation for a Reaction-Diffusion Problem First-Order Hyperbolic Problems Error Estimates for a Convection-Diffusion Problem

8 Contents IX 4.9 Further Aspects of the Finite Element Method Conditioning of the Stiffness Matrix Eigenvalue Problems Superconvergence p- and hp-versions Finite Element Methods for Unsteady Problems Parabolic Problems On the Weak Formulation Semi-Discretization by Finite Elements Temporal Discretization by Standard Methods Temporal Discretization with Discontinuous Galerkin Methods Rothe s Method Error Control Second-Order Hyperbolic Problems Weak Formulation of the Problem Semi-Discretization by Finite Elements Temporal Discretization Rothe s Method for Hyperbolic Problems Remarks on Error Control Singularly Perturbed Boundary Value Problems Two-Point Boundary Value Problems Analytical Behaviour of the Solution Discretization on Standard Meshes Layer-adapted Meshes Parabolic Problems, One-dimensional in Space The Analytical Behaviour of the Solution Discretization Convection-Diffusion Problems in Several Dimensions Analysis of Elliptic Convection-Diffusion Problems Discretization on Standard Meshes Layer-adapted Meshes Parabolic Problems, Higher-Dimensional in Space Variational Inequalities, Optimal Control AnalyticProperties Discretization of Variational Inequalities PenaltyMethods Basic Concept of Penalty Methods Adjustment of Penalty and Discretization Parameters Optimal Control of PDEs Analysis of an Elliptic Model Problem Discretization by Finite Element Methods

9 X Contents 8 Numerical Methods for Discretized Problems Some Particular Properties of the Problems DirectMethods Gaussian Elimination for Banded Matrices Fast Solution of Discrete Poisson Equations, FFT Classical Iterative Methods Basic Structure and Convergence Jacobi and Gauss-Seidel Methods Block Iterative Methods Relaxation and Splitting Methods The Conjugate Gradient Method The Basic Idea, Convergence Properties Preconditioned CG Methods Multigrid Methods Domain Decomposition, Parallel Algorithms Bibliography: Textbooks and Monographs Bibliography: Original Papers Index...585

10 Notation Often used symbols: a(, ) bilinear form D +,D,D 0 difference quotients D α derivative of order α with respect to the multi-index α I identity Ih H,Ih H restriction- and prolongation operator J( ) functional LL differential operator and its adjoint L h difference operator O( ),o( ) Landau symbols P l the set of all polynomials of degree l Q l the set of all polynomial which are the product of polynomials of degree l with respect to every variable R, N real and natural numbers, respectively V, V Banach space and its dual dim V dimension of V V h finite-dimensional finite element space V norm on V (, ) scalar product in V,if V is Hilbert space f(v)or f,v value of the functional f V applied to v V f norm of the linear functional f strong and weak convergence, respectively direct sum L(U, V ) space of continuous linear mappings of U in V L(V ) space of continuous linear mappings of V in V U V continuous embedding of U in V Z orthogonal complement of Z with respect to the scalar product in a Hilbert space V

11 XII NOTATION Ω given domain in space Ω = Γ boundary of Ω int Ω interior of Ω meas Ω measure of Ω n outer unit normal vector with respect to Ω directional derivative with respect to n n ω h,ω h set of mesh points C l (Ω), C l,α (Ω) space of differentiable and Hölder differentiable functions, respectively L p (Ω) space of functions which are integrable to the power p (1 p ) norm in L (Ω) D(Ω) W l p(ω) infinitely often differentiable functions with compact support in Ω Sobolev space H l (Ω), H l 0(Ω) Sobolev spaces for p =2 H(div; Ω) special Sobolev space TV space of functions with finite total variation l norm in the Sobolev space H l l semi-norm in the Sobolev space H l t, T time with t (0,T) Q = Ω (0,T) given domain for time-depending problems L 2 (0,T; X) quadratically integrable functions with values in the Banach space X W 1 2 (0,T; V,H) special Sobolev space for time-depending problems supp v or grad div h h i,h τ j,τ det(a) cond(a) ρ(a) λ i (A) diag(a i ) span{ϕ i } conv{ϕ i } Π Π h support of a function v gradient divergence Laplacian discrete Laplacian discretization parameters with respect to space discretization parameters with respect to time determinant of the matrix A condition of the matrix A spectral radius of the matrix A eigenvalues of the matrix A diagonal matrix with elements a i linear hull of the elements ϕ i convex hull of the elements ϕ i projection operator interpolation or projection operator which maps onto the finite element space