没有合适的资源?快使用搜索试试~ 我知道了~
资源推荐
资源详情
资源评论
Finite Volume Methods
Robert Eymard
1
, Thierry Gallou¨et
2
and Rapha`ele Herbin
3
October 2006. This manuscript is an update of the preprint
n0 97-19 du LATP, UMR 6632, Marseille, September 1997
which appeared in Handbook of Numerical Analysis,
P.G. Ciarlet, J.L. Lions eds, vol 7, pp 713-1020
1
Ecole Nationale des Ponts et Chauss´ees, Marne-la-Vall´ee, et Universit´e de Paris XIII
2
Ecole Normale Sup´erieure de Lyon
3
Universit´e de Provence, Marseille
Contents
1 Introduction 4
1.1 Examples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 The finite volume principles for general conservation laws . . . . . . . . . . . . . . . . . . 6
1.2.1 Time discretization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.2 Space discretization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Comparison with other disc retization techniques . . . . . . . . . . . . . . . . . . . . . . . 8
1.4 General guideline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 A one-dimensional elliptic problem 12
2.1 A finite volume method for the Dirichlet problem . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.1 Formulation of a finite volume scheme . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.1.2 Comparison with a finite difference scheme . . . . . . . . . . . . . . . . . . . . . . 14
2.1.3 Comparison with a mixed finite element method . . . . . . . . . . . . . . . . . . . 15
2.2 Converge nce theorems and error estimates for the Dirichlet problem . . . . . . . . . . . . 16
2.2.1 A finite volume error estimate in a simple case . . . . . . . . . . . . . . . . . . . . 16
2.2.2 An error estimate using finite difference techniques . . . . . . . . . . . . . . . . . . 19
2.3 General 1D elliptic equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.1 Formulation of the finite volume scheme . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3.2 Error estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.3 The case of a point source term . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4 A semilinear elliptic problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.1 Problem and Scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.2 Compactness results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4.3 Converge nce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3 Elliptic problems in two or three dimensions 32
3.1 Dirichlet boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.1.1 Structured meshes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3
3.1.2 General meshes and schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.1.3 Existence and estimates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.1.4 Converge nce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.1.5 C
2
error estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.1.6 H
2
error estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.2 Neumann boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.2.1 Meshes and schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.2.2 Discrete Poincar´e inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2.3 Error estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.2.4 Converge nce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.3 General elliptic o perators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.3.1 Discontinuous matrix diffusion coefficients . . . . . . . . . . . . . . . . . . . . . . . 77
1
Version de d´ecembre 2003 2
3.3.2 Other boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81
3.4 Dual meshes and unknowns located at vertices . . . . . . . . . . . . . . . . . . . . . . . . 83
3.4.1 The piecewise linear finite element method viewed as a finite volume method . . . 84
3.4.2 Classical finite volumes on a dual mes h . . . . . . . . . . . . . . . . . . . . . . . . 85
3.4.3 “Finite Volume Finite Element” methods . . . . . . . . . . . . . . . . . . . . . . . 88
3.4.4 Generalization to the three dimensional case . . . . . . . . . . . . . . . . . . . . . 90
3.5 Mesh refinement and s ingularities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
3.5.1 Singular source terms and finite volumes . . . . . . . . . . . . . . . . . . . . . . . . 90
3.5.2 Mesh refinement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
3.6 Compactness results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4 Parabolic equations 95
4.1 Meshes and schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
4.2 Error estimate for the linear case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.3 Converge nce in the nonlinear case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.3.1 Solutions to the continuous problem . . . . . . . . . . . . . . . . . . . . . . . . . . 102
4.3.2 Definition o f the finite volume approximate solutions . . . . . . . . . . . . . . . . . 103
4.3.3 Estimates on the approximate solution . . . . . . . . . . . . . . . . . . . . . . . . . 104
4.3.4 Converge nce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111
4.3.5 Weak convergence and nonlinearities . . . . . . . . . . . . . . . . . . . . . . . . . . 114
4.3.6 A uniquenes s res ult for nonlinear diffusion equations . . . . . . . . . . . . . . . . . 115
5 Hyperbolic equations in the one dimensional case 119
5.1 The continuous problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119
5.2 Numerical schemes in the linear case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
5.2.1 The centered finite difference scheme . . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.2.2 The upstream finite difference scheme . . . . . . . . . . . . . . . . . . . . . . . . . 123
5.2.3 The upwind finite volume scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
5.3 The nonlinear case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.3.1 Meshes and schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
5.3.2 L
∞
-stability for monotone flux schemes . . . . . . . . . . . . . . . . . . . . . . . . 132
5.3.3 Discrete entropy inequalities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
5.3.4 Converge nce of the upstream scheme in the general case . . . . . . . . . . . . . . . 134
5.3.5 Converge nce proof using BV . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 138
5.4 Higher order schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 3
5.5 Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
5.5.1 A general convergence result . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
5.5.2 A very simple example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 6
5.5.3 A simplifed model for two phase flows in pipelines . . . . . . . . . . . . . . . . . . 147
6 Multidimensional nonlinear hyperbol ic equations 150
6.1 The continuous problem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
6.2 Meshes and schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
6.2.1 Explicit schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
6.2.2 Implicit schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 5
6.2.3 Passing to the limit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
6.3 Stability results for the explicit scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6.3.1 L
∞
stability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
6.3.2 A “weak BV ” es timate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158
6.4 Existence of the solution and stability results for the implicit scheme . . . . . . . . . . . . 161
6.4.1 Existence, uniqueness and L
∞
stability . . . . . . . . . . . . . . . . . . . . . . . . 161
6.4.2 “Weak space BV ” inequality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
Version de d´ecembre 2003 3
6.4.3 “Time BV ” estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
6.5 Entropy inequalities for the approximate solution . . . . . . . . . . . . . . . . . . . . . . . 169
6.5.1 Discrete entropy inequalities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
6.5.2 Continuous e ntropy estimates for the approximate solution . . . . . . . . . . . . . 171
6.6 Converge nce of the scheme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
6.6.1 Converge nce towards an entropy pro c e ss solution . . . . . . . . . . . . . . . . . . 179
6.6.2 Uniqueness of the entropy process solution . . . . . . . . . . . . . . . . . . . . . . 18 0
6.6.3 Converge nce towards the entropy weak solution . . . . . . . . . . . . . . . . . . . . 184
6.7 Error estimate . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
6.7.1 Statement of the results . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
6.7.2 Preliminary lemmata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
6.7.3 Proof of the error estimates . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
6.7.4 Remarks and open problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
6.8 Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
6.9 Nonlinear weak-⋆ convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
6.10 A stabilized finite element method . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 200
6.11 Moving meshes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
7 Systems 204
7.1 Hyperbolic systems of equatio ns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204
7.1.1 Classical schemes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
7.1.2 Rough s chemes for complex hyperbolic systems . . . . . . . . . . . . . . . . . . . . 207
7.1.3 Partial implicitation of explicit scheme . . . . . . . . . . . . . . . . . . . . . . . . . 210
7.1.4 Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 11
7.1.5 Staggered grids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 214
7.2 Incompressible Navier-Stokes E quations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
7.2.1 The continuous equation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 215
7.2.2 Structured stagger e d gr ids . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 6
7.2.3 A finite volume scheme on unstructured staggered grids . . . . . . . . . . . . . . . 216
7.3 Flows in porous media . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
7.3.1 Two phase flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219
7.3.2 Compositional multiphase flow . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
7.3.3 A simplified cas e . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
7.3.4 The scheme for the simplified case . . . . . . . . . . . . . . . . . . . . . . . . . . . 223
7.3.5 Estimates on the approximate solution . . . . . . . . . . . . . . . . . . . . . . . . . 226
7.3.6 Theorem of convergence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
7.4 Boundary conditions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 233
7.4.1 A two phas e flow in a pipeline . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 234
7.4.2 Two phase flow in a p orous medium . . . . . . . . . . . . . . . . . . . . . . . . . . 236
Bibliography
Chapter 1
Introduction
The finite volume method is a discretization method which is well suited for the numerical simulation of
various types (elliptic, parabolic or hyperbolic, for instance) of conservation laws; it has been extensively
used in several engineering fields, such as fluid mechanics, heat and mass transfer or petroleum engineer-
ing. Some of the important features of the finite volume method are s imilar to those of the finite element
method, see Oden [118]: it may be used on arbitrary geometries, using structured or unstructured
meshes, and it leads to robust schemes. An additional feature is the local conserva tivity of the numerical
fluxes, tha t is the numerical flux is conserved from o ne discretization cell to its neighbour. This last
feature makes the finite volume method quite attractive when modelling problems for which the flux is of
impo rtance, such as in fluid mechanics, semi-conductor device simulation, heat and mass transfer. . . The
finite volume method is locally conservative because it is based on a “ balance” approach: a local balance
is written on each discr e tization cell which is often called “control volume”; by the divergence formula,
an integral formulation of the fluxes over the boundary of the control volume is then obtained. The fluxes
on the boundary are discretized with respect to the discrete unknowns.
Let us introduce the method more precisely on simple ex amples, and then give a description of the
discretization of general conservation laws.
1.1 Examples
Two basic examples can be used to introduce the finite volume method. They will be develop e d in details
in the following chapters.
Example 1.1 (Transpo rt equation) Consider first the linea r transport equation
u
t
(x, t) + div(vu)(x, t) = 0, x ∈ IR
2
, t ∈ IR
+
,
u(x, 0) = u
0
(x), x ∈ IR
2
(1.1)
where u
t
denotes the time derivative of u, v ∈ C
1
(IR
2
, IR
2
), and u
0
∈ L
∞
(IR
2
). Let T be a mesh of
IR
2
consisting of polygonal bounded convex subsets of IR
2
and let K ∈ T be a “control volume”, that
is an element of the mesh T . Integrating the first equation of (1.1) over K yields the following “balance
equation” over K:
Z
K
u
t
(x, t)dx +
Z
∂K
v(x, t) · n
K
(x)u(x, t)dγ(x) = 0, ∀t ∈ IR
+
, (1.2)
where n
K
denotes the normal vector to ∂K, outward to K. Let k ∈ IR
∗
+
be a cons tant time discretization
step and let t
n
= nk, for n ∈ IN. Writing equation (1.2) at time t
n
, n ∈ IN and discretizing the time
4
剩余249页未读,继续阅读
资源评论
- zfj6666662012-12-28很不错的资源,感谢分享!
- 小君不忧2015-01-10很经典的资源,值得推荐和学习
- liuyx19852015-06-28资源不错,感谢分享
- safetylntu2013-07-12经典书籍,感谢分享
manmmx
- 粉丝: 21
- 资源: 13
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功