Mathematical and Computational Methods For Compressible Flow
This book is concerned with mathematical and numerical methods for compressible flow. It aims to provide the reader with a sufficiently detailed and extensive, mathematically precise, but comprehensible guide, through a wide spectrum of mathematical and computational methods used in Computational Fluid Dynamics (CFD) for the numerical simulation of compressible flow.
Up-to-date techniques applied in the numerical solution of inviscid as well as viscous compressible flow on unstructured meshes are explained, thus allowing the simulation of complex three-dimensional technically relevant problems. Among some of the methods addressed are finite volume methods using approximate Riemann solvers, finite element techniques, such as the streamline diffusion and the discontinuous Galerkin methods, and combined finite volume - finite element schemes. The book gives a complex insight into the numerics of compressible flow, covering the development of numerical schemes and their theoretical mathematical analysis, their verification on test problems and use in solving practical engineering problems.
The book will be helpful to specialists coming into contact with CFD - pure and applied mathematicians, aerodynamists, engineers, physicists and natural scientists. It will also be suitable for advanced undergraduate, graduate and postgraduate students of mathematics and technical sciences.
Mathematical and Computational Methods For Compressible Flow
This book is concerned with mathematical and numerical methods for compressible flow. It aims to provide the reader with a sufficiently detailed and extensive, mathematically precise, but comprehensible guide, through a wide spectrum of mathematical and computational methods used in Computational Fluid Dynamics (CFD) for the numerical simulation of compressible flow.
Up-to-date techniques applied in the numerical solution of inviscid as well as viscous compressible flow on unstructured meshes are explained, thus allowing the simulation of complex three-dimensional technically relevant problems. Among some of the methods addressed are finite volume methods using approximate Riemann solvers, finite element techniques, such as the streamline diffusion and the discontinuous Galerkin methods, and combined finite volume - finite element schemes. The book gives a complex insight into the numerics of compressible flow, covering the development of numerical schemes and their theoretical mathematical analysis, their verification on test problems and use in solving practical engineering problems.
The book will be helpful to specialists coming into contact with CFD - pure and applied mathematicians, aerodynamists, engineers, physicists and natural scientists. It will also be suitable for advanced undergraduate, graduate and postgraduate students of mathematics and technical sciences.
NUMERICAL MATHEMATICS
AND SCIENTIFIC COMPUTATION
Mathematical
and Computational
: Methods for
_ Compressible Flow
-MILOSLAV FEISTAUER
igo mo Aen rN
and
SVS UWP aintCONTENTS
Introduction 1
1 Fundamental Concepts and Equations 5
LL Some mathematical concepts and notation 6
1.1.1 Basie notation 6
1.1.2 Differential operators 7
1.1.3 Tronsformations of Cartesian coordinates 9
1.1.4 Hélder-continuous and Lipschitz-continuons fune-
tions 10
1.1.5 Symbols ‘o’ and ‘0’ 10
1.1.6 Measure and integral 10
1.1.7 Description of the boundary 10
1.1.8 Measure on the boundary of a domain LL
1.1.9 Green’s theorom. 12
1.1.10 Lebesgue spaces 12
1.1.11 One auxiliary result 4
1.2. Governing equations and relations of gas dynamics 14
1.2.1 Description of the flow 15
1.2.2. The transport theorem 17
1.2.3. The continuity equation 20
1.2.4 The equations of motion 21
1.2.5 ‘The equations of motion of general fluids 23
1.2.6 The law of conservation of the moment of mo-
mentum; symmetry of the stress tensor 23
1.2.7. The Navier-Stokes equations 24
1.2.8 Propvrties of the viscosity coefficients 25
1.2.9 The Reynolds number 25
1.2.10 Varions forms of the Navier Stokes equations 26
1.2.11 The energy equation 26
1.2.12 Thermodynamical relations 28
1.2.13 Entropy 29
1.2.14 The second law of thermodynamics 30
1.2.15 Dissipation form of the energy equation 30
1.2.16 Entropy form of the energy equation 32
1.2.17 Adiabatic flow 32
1.2.18 Barotropic flow 33
1.2.19 Complete system describing the flow of a heat-
conductive gas 34
1.2.20 Speed of sound; Mach number 35
1.2.21 Simplified models 35
viiviii
L3
14
CONTENTS
1.2.22 Initial and boundary conditions
1.2.23 Dimensionless form of gas dynamics equations
Some advanced mathematical concepts and results
1.3.1 Spaces of continuous, Hélder-continuons and con-
tinuously differentiable functions
1.3.2 Distributions
1.3.3 Sobolev spaces
1.3.4 Functions with values in Banach spaces
Survey of concepts and results from functional analysis
1.4.1 Linear vector spaces
142 Normed linear space
14.3 Duals to Banach spaces, weak and weak-+ topolo-
gies
14.4 Riesz representation theorem
1.4.5 Operators
14.6 Lax Milgram lemma
1.4.7 Imbeddings
1.4.8 Solution of nonlincar operator equations
2 Basic facts from the theory of the Euler and Navier—
Stokes equations
21
2.2
2.3,
Hyperbolic systems and the Euler equations
Existence of smooth solutions
2.2.1 Hyperbolic systems and characteristics
2.2.2 Formulation of the hyperbolic problem
2.2.3 Linear scalar equation
2.2.4 Solution of a linear system
2.2.5 Nonlinear scalar equation
2.2.6 Symmetric hyperbolic systems
2.2.7 Quasilinear system
2.2.8 Local existence for a quasilinear system
2.2.9 Local existence for equations of inviscid barotropic
flow
Weak solutions
2.3.1. Blow up of classical solutions
2.3.2 Generslized formulation for systems of conser-
vation laws
2.3.3. Examples of piecewise smooth weak solutions
2.3.4 Entropy condition
2.3.5 Entropy in fluid mechanics,
2.3.6 Method of artificial viscosity
2.3.7 Existence and uniqueness of weak entropy solu-
tions for scalar conservation laws
2.3.8 Riemann problem
57
58
58
60
61
62
63
65
66
67