Professional Documents
Culture Documents
Development of high-order
accurate schemes for
unstructured grids
Thesis submitted in fulfillment of the requirements for the
award of the degree of Doctor in de Ingenieurswetenschappen
(Doctor in Engineering) by
Abstract
The past decade, there has been a surge of research activities on highorder methods for unstructured grids in the computational fluid dynamics
(CFD) community. The driving motivation for this surge is the expectation
that these methods have the potential of delivering the required accuracy
for flow problems with complex physics and geometry more efficiently, i.e.
with less CPU-time, than traditional first- and second-order accurate finite volume (FV) methods. Typical examples of such problems are flows in
which turbulent phenomena play an important role, for instance for turbulent combustion or for the generation of aeroacoustic noise. High-order
methods are also more suited than lower-order ones for the simulation of
the propagation of acoustic waves from a sound source to the observer of
the sound. These acoustic waves typically propagate over a large number
of acoustic wave lengths and possibly undergo various refraction, interference and scattering effects, which make them quite difficult to resolve
accurately.
These high-order methods for unstructured grids are currently not yet
mature enough to be used for actual industrial applications. They lack the
robustness and ease of use displayed by traditional lower-order CFD methods. Furthermore, there are a number of high-order methods under development and it is far from clear which method will eventually prove to be
the optimal one. The discontinuous Galerkin (DG) method is arguably the
most popular method. Other high-order methods are the residual distribution or fluctuation splitting method, the continuous finite element method
and the high-order FV method. The subject of the present PhD research
consists of two relatively new methods, namely the spectral volume (SV)
and the spectral difference (SD) method. The contents of each of the eleven
chapters of this thesis is briefly summarized below.
Chapter 1 gives a brief introduction to the research field of high-order
i
accurate methods. The need for high-order methods specialized for unstructured grids is illustrated. A summary of their merits and remaining
challenges is given. The issue of efficient algebraic solvers for high-order
methods is also briefly touched.
A literature survey is included in Chapter 2. For completeness, an overview
of the most important literature on the DG method, to which the SV and
SD methods are strongly related, is given. The survey then proceeds with
the available literature for the SV and SD methods themselves. The most
important contributions to algebraic solver algorithms for high-order methods are also mentioned.
The governing equations describing the problems that are solved in the
present thesis are discussed in Chapter 3. The linear advection equation
and Burgers equation are simple model equations that are used to assess
the accuracy of the high-order methods. More practical flow problems are
governed by the Euler equations, the Navier-Stokes (N-S) equations and
the linearized Euler equations.
In Chapter 4, a short summary of the classical FV method is given. Several important general concepts, like structured and unstructured grids
and approximate Riemann solvers, are also introduced in this chapter.
An extensive discussion of the SV methodology for the discretization of
convective, diffusive and source terms and for the imposition of boundary
conditions is included in Chapter 5. The quadrature-free formulation of
the SV method is also described. Finally, some criteria for the appropriate
partitioning of a cell into sub-cells or control volumes (CVs), as required
for the SV method, are given.
Chapter 6 contains an analogous discussion for the SD methodology, including two new approaches for the discretization of diffusive terms. An
important result of the present PhD research is the solution point independence property of the SD method, which is proven and illustrated in this
chapter. The flux point distributions that are used by the SD method are
also discussed.
Another significant result is presented in Chapter 7, where the connection between the SV and the SD method is investigated. It is shown that
for one-dimensional problems, the SV and the SD method are completely
equivalent if the CV faces of the SV method coincide with the flux points
ii
of the SD method.
The main results of this research are discussed in Chapter 8, where the
conclusions of analyses of the stability and accuracy of the SV and SD methods are presented. Several weak instabilities in previously used 1D, 2D
and 3D SV and SD schemes are identified. Where possible, new schemes
that are stable and accurate are designed. For third-order SD schemes on
triangular grids, the stability analysis indicates that there is no flux point
distribution that results in a stable scheme. A similar result was found for
the third-order SV schemes on tetrahedral grids, for which there exists no
stable partitioning into CVs. The results of the analyses are confirmed by
numerical tests.
The issue of efficient solution algorithms for the nonlinear algebraic systems that arise from any high-order spatial discretization is addressed in
Chapter 9. The Newton-GMRES algorithm and the nonlinear LU-SGS algorithm are discussed, along with their strengths and weaknesses.
The SV and SD methods have been implemented in a C++ code, named
COOLFluiD and developed at the von Karman Institute for Fluid Dynamics. Solutions for flow problems governed by the Euler, N-S and linearized
Euler equations, obtained with the SV and the SD implementations in
COOLFluiD, are presented and discussed in Chapter 10. These results
clearly illustrate the capabilities of these high-order methods.
The final chapter of this thesis, Chapter 11, summarizes the conclusions
of the present PhD research and discusses future challenges for the SV
and SD methods, and for high-order methods in general.
iii
iv
Acknowledgments
The first person whom I would like to gratefully acknowledge is my promoter, professor Chris Lacor, who gave me the opportunity to do a PhD
under his guidance. I thank him for his valuable suggestions during my
PhD research, as well as for granting me sufficient freedom to pursue my
own ideas.
Secondly, I am greatly indebted to professor Z.J. Wang. He invited me
for a stay at Iowa State University in the beginning of 2007, and the two
months I spent with his research group were without a single doubt the
most productive of the past four years. It was a pleasure and a privilege to
work with him.
My gratitude also goes to professor Herman Deconinck, who introduced
me to the COOLFluiD framework, which proved to be an extremely valuable asset for my research. On the same note, I would like to thank Tiago
Quintino, Andrea Lani, Thomas Wuilbaut, Nad`ege Villedieu and the other
members of the COOLteam for their support during the implementation
of the spectral volume and spectral difference modules inside COOLFluiD.
The IT support of our system administrator Alain Wery is invaluable for
the research at our department. I greatly appreciate him for his good mood
and everlasting patience through the perpetual stream of requests and
computer problems coming towards him. Thank you very much, Alain!
Our secretary Jenny Dhaes also deserves a very big thank you. The administrative support she gives is what allows the PhD students to focus on
their research. And the pleasant conversation she offers when there is a
need to take the mind of the research is much appreciated.
I am pleased to acknowledge my colleagues, or rather, friends. I have been
v
working with Matteo Parsani for more than two years now. Together, we
have faced and won many battles against programming bugs and uncooperative algorithms. Moreover, he spent a lot of his time to proofread
my thesis. I wish him the best of luck with his further research. The
many discussions on mathematics and physics I have had with Ghader
Ghorbaniasl were always fruitful. His input to this thesis is very much
appreciated. I also think back fondly of the mathematical, but also the
philosophical discussions I have had with Mahdi Zakyani. Santhosh Jayaraju gave me the template that was used for this thesis, and in doing
so, saved a lot of much needed time for me. I also enjoyed working with
him on the teaching assignments we carried out together. In this regard, I
should mention Patryk Widera as well. I guided the wind turbine projects
of the bachelor students with him. He made it fun to do so, even though I
was under the pressure of writing my thesis at that time. My most recent
colleague, Willem Deconinck, made the process of writing my thesis more
bearable with his pleasant mood and sense of humour. In the three years
during which we were office mates, I have shared many laughs and a lot of
joy with Mark Brouns. I can honestly say that the department was never
the same again after he left... I would like to acknowledge Jan Ramboer,
who guided me through my master thesis and initially introduced me to
the world of computational aeroacoustics and high-order methods. I also
thank my colleagues Dean Vucinic, Khairy Elsayed and Sergey Smirnov,
and former colleague Tim Broeckhoven.
Last, but certainly not least, I would like to thank my parents, my grandparents, my sisters and brother, and my girlfriend, for the support they
have given me throughout my education and PhD research.
vi
Jury members
President
Vice-president
Secretary
Internal members
External members
Prof. Z. J. WANG
Iowa State University
Promoter
vii
viii
Contents
1 Introduction
2 Literature survey
2.1 Discontinuous Galerkin method . . . . . . . . . . . . . . . . .
2.2 Spectral volume and spectral difference methods . . . . . . .
2.3 Time marching and algebraic solvers . . . . . . . . . . . . . .
7
7
8
10
3 Governing equations
3.1 Linear advection equation . . . . . .
3.1.1 Definition . . . . . . . . . . . .
3.1.2 Exact solution . . . . . . . . .
3.2 Burgers equation . . . . . . . . . . .
3.2.1 Definition . . . . . . . . . . . .
3.2.2 Exact solution . . . . . . . . .
3.3 Euler equations . . . . . . . . . . . .
3.3.1 Definition . . . . . . . . . . . .
3.3.2 Dimensionless numbers . . .
3.3.3 Characteristic wave solutions
3.3.4 Interaction with solid walls .
3.3.5 Far field boundary conditions
3.3.6 Exact solution . . . . . . . . .
3.4 Navier-Stokes equations . . . . . . .
3.4.1 Definition . . . . . . . . . . . .
3.4.2 Dimensionless numbers . . .
3.4.3 Interaction with solid walls .
3.4.4 Exact solution . . . . . . . . .
3.5 Linearized Euler equations . . . . .
3.5.1 Definition . . . . . . . . . . . .
3.5.2 Far field boundary conditions
3.5.3 Exact solution . . . . . . . . .
13
14
14
14
14
14
15
15
15
17
17
18
18
19
21
21
23
24
25
25
25
26
27
ix
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
29
31
32
34
36
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
39
44
46
47
48
49
49
50
51
51
52
54
56
58
59
59
59
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
63
63
69
70
71
71
71
72
72
74
75
77
83
83
84
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
84
85
87
87
90
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
93
93
94
97
101
104
106
107
112
113
126
131
137
138
138
144
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
155
156
156
166
180
180
197
206
206
211
.
.
.
.
.
215
215
218
218
218
219
221
221
223
224
225
225
226
229
232
233
234
234
237
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
C p-Multigrid
243
C.1 Full approximation scheme . . . . . . . . . . . . . . . . . . . 243
C.2 V-cycles and full multigrid . . . . . . . . . . . . . . . . . . . . 244
C.3 Transfer operators . . . . . . . . . . . . . . . . . . . . . . . . 244
xii
Nomenclature
BDF2
BR2
CAA
CEM
CFD
CFL
CV
DG
DNS
DOF
FD
FDS
FV
GMRES
IP
LDG
LEE
LES
LSD
LSV
LU-SGS
N-S
ODE
R-K
RAM
RANS
SD
SGS
SSP
SV
TVB
TVD
Subscripts
0
ac
ac
bnd
C
c
cc
D
gho
I
i
i
in
int
j
j
L
l
m
n
nb
R
R
t
wall
Mean value
Value in the far field
Acoustic pressure
Acoustic pressure
Boundary value
Convective flux
Characteristic value
Current cell
Diffusive flux
Ghost value
Imaginary part of a complex number
Cell or generating pattern index
Generating pattern index
Value at an inlet
Internal value
Solution variable or generating pattern index
Generating pattern index
Left cell
Flux point index
Face or eigenmode index
Component normal to a wall or a face
Neighbouring cells
Real part of a complex number
Right cell
Tangential component
Value associated to a wall
Symbols
~1d
~1k
~1n
~1 ~
n,
3
4
max
Logical and
Cross section
Unit vector defining a direction
Unit vector in direction of the wave vector
Unit vector normal to a wall or a face
Unit normal to a face in a cell-mapped coordinate system
Damping factor in averaging operator for diff. term treatment
DOF of a 3rd-order SV partition/SD flux point distribution
DOF of a 4th-order SV partition/SD flux point distribution
Maximum absolute eigenvalue of the flux Jacobian matrix
xiv
3
4
B
g
~
Q
L(R)
S
t
Vi
V,j
~
x
4
jm
s
3
4
|| ||
M0
M+1
M1
v
~
~~
xv
xx , ...
, ,
~js
~a
a
~1
B
~
B
1
~2
B
~
B
2
c
CD
CL
CP
cP
cv
d
E
e
FR
FD
i
F
~i
F
~ i,l
F
FL
fs
fC,i
~fC,i
fC
~fC
fD
~fD
ent
Viscous stress tensor elements, P a
Dimensionless exact eigenvalue from wave propagation analysis
2D wave vector orientation angle
Exact eigenvalue from wave propagation analysis, s1
Eigenvalue of dimensionless matrix M
Vector of mapped coordinates [, , ]
Mapped coordinates
Mapped coordinates of solution point j
Advection speed vector, ms1
(Amplitude of) advection speed, ms1
Vector defining a 2D generating pattern, m
Dimensionless vector defining a 2D generating pattern
Vector defining a 2D generating pattern, m
Dimensionless vector defining a 2D generating pattern
Speed of sound, ms1
Drag coefficient, dimensionless
Lift coefficient, dimensionless
Pressure coefficient, dimensionless
Specific heat capacity at constant static pressure, Jkg 1 K 1
Specific heat capacity at constant specific volume, Jkg 1 K 1
Dimensionality
Partial derivative with respect to time, s1
Partial derivative with respect to spatial x-coordinate, m1
Specific total energy, Jkg 1
Specific internal energy, Jkg 1
1D Riemann flux
Drag force, N
Polynomial approximation of fi
Mapped flux polynomial in cell i
Mapped flux vector at flux point l in cell i
Lift force, N
Vortex shedding frequency, s1
-components of convective flux vectors in mapped coordinate
system
Convective flux vector projected in mapped coordinate system
x-components of convective flux vectors
Convective flux vector
x-components of diffusive flux vectors
Diffusive flux vector
xvi
R
~
F ~
1n
G
i
G
C,i
g
gC
gD
H
h
hf
i
H
C,i
h
hC
hD
I
I
~k
K
k
Lc
Lsj
Lfl
i,j
L
M
M
~ int
M
j,l
N
Nf
Ns
N s,GP
N s,tot
Nif ac
N GP
P
p
Pt
Pr
Q
q
Q
q
q
Q
q
q0
q0
qH
i
q
QGP
i
Q
m
Q
m
Q0m
Qi,j
Q
i,j
Q
i
Qi
Qi ~
Q
i,j
QGP
i,j
R
r
Re
S
s
S
s
Sm
Sproj
T
t
t
Tt
~u
ux
in terms of eigenvectors
Coefficients of expansion of Q
Spatial Fourier wave numerical complex amplitude as a function
of time
Spatial Fourier wave exact complex amplitude as a function of
time
Set of conserved variables
Polynomial approximation of a single conserved variable
A single (scalar) conserved variable
Initial values of conserved variables q
Initial value of a single conserved variable q
Heat flux through a surface
Conserved variables in mapped coordinate system
Solution variables in generating pattern with index i
Eigenmode solution of semi-discretized linear advection equation
Eigenvector of dimensionless matrix M
Coefficients of initial solution expansion in terms of eigenvectors
SD solution variable, solution at solution point j in cell i
SD solution variable, mapped coordinate system conserved variables at solution point j in cell i
FV solution variable, averaged solution in cell i
Polynomial of degree p + 1, for gradient computation with SD
Solution polynomial in cell i
SV solution variable, averaged solution in CV j in cell i
Solution variables in generating pattern with indices i, j
Spatial residual
Specific gas constant, about 287Jkg 1K 1 for air
Reynolds number, dimensionless
Discretized source terms
Source terms
Strouhal number, dimensionless
Entropy, Jkg 1 K 1
Coefficients of source term expansion in terms of eigenvectors
Projected surface of an object, m2
Temperature, K
Time, s
Dimensionless time
Total temperature, K
Velocity vector [ux uy uz ]T , ms1
x-component of velocity, ms1
xviii
uy
uz
V
v
~x
x, y, z
z
Superscripts
Perturbation value
xix
xx
Chapter 1
Introduction
Computational fluid dynamics (CFD) has known an impressive growth
over the past decades, thanks to the progress in the fields of numerical
solution techniques and computer sciences. Nowadays, commercial flow
solver software packages, which are typically based on second-order accurate finite volume (FV) discretizations of the Reynolds averaged NavierStokes (RANS) equations, can solve large turbulent flow problems for complicated geometries up to engineering accuracy within a few hours on parallel computing systems. This has enabled a significant reduction in the
required cost and time for the design process of flow devices such as pumps,
compressors, turbines, or even complete aircraft, by eliminating the need
for the building and testing of prototypes in the early stages of the design
process. These early prototypes have been replaced by cheaper and faster
flow simulations. Consequently, prototypes are now only used in the final
stages, when they are necessary for the validation of the flow simulations
and for the fine tuning of the design.
However, classical second-order accurate algorithms are insufficient to accurately predict the flow in modern applications with complicated geometries, multidisciplinary aspects and complex physics, such as computational aeroacoustics (CAA) or turbulent combustion problems. These applications require a more accurate prediction of turbulent phenomena than
what is attainable with second-order RANS simulations. With CAA problems, this is necessary for an accurate prediction of the sound that is produced by turbulence. With turbulent combustion, the small scales of turbulence have a significant influence on the mixing of fuel and air, and consequently on the efficiency of the combustion. One then has to resort to
1
CHAPTER 1. INTRODUCTION
a direct numerical simulation (DNS) of the turbulence, or to a large eddy
simulation (LES), since a DNS is often too expensive. These techniques
are based on a direct simulation of the propagation of respectively all or
only the larger turbulent vortices. Second-order algorithms are mostly too
dissipative to resolve these vortices accurately. Higher-order methods are
more suited for such applications, since they have much better wave propagation properties.
In the field of CAA, apart from the production of sound, the propagation of sound also has to be predicted accurately. The distance between
a sound source and an observer of the sound is typically a large number of
acoustic wave lengths. Thus, the propagation of acoustic waves over large
distances should be simulated. Moreover, these acoustic waves generally
have a small amplitude compared to the mean flow values. Whether one
computes this acoustic wave propagation in the same DNS or LES simulation as the sound production, or in a separate simulation based on the
linearized Euler equations, these small acoustic waves would be entirely
damped out and/or incorrectly dispersed before they reach the observer
position with second-order methods, unless a restrictively large amount of
cells or degrees of freedom (DOFs) is used. Higher-order schemes, because
of their better wave propagation properties, need less DOFs and less computational time to predict the propagation of acoustic waves with sufficient
accuracy.
On structured grids, higher-order accuracy can be achieved relatively easily with the FV method, by extending the stencil that is used for the reconstruction of the solution variables at the cell faces. This can readily be
done, since information about neighboring cells is immediately available
on structured grids. However, for the complicated geometries of typical industrial flow problems, the generation of structured grids is very difficult,
requires lots of experience, and often takes days, weeks or even months.
On the other hand, the generation of unstructured grids is much easier,
can be automated, and often takes no longer than a few hours at most.
The price for this easier grid generation is that the immediate accessibility of neighboring cell data is lost. Consequently, increasing the order
of accuracy of a FV method by using larger reconstruction stencil sizes
is much more difficult. Moreover, such reconstruction procedures on unstructured grids often lead to ill-conditioned or even singular linear algebraic systems, which causes a serious degradation of numerical accuracy.
Additional difficulties with this approach arise for the parallelization on
different CPUs. The number of cells of which the solution must be commu2
nicated to other CPUs increases with the order of accuracy, and eventually
grows very large. Furthermore, these cells are increasingly further away
from the boundary of the grid partition on a certain CPU, and thus more
and more difficult to access.
Other high-order methods, which are more suited for unstructured grids,
are thus required. Since high-order accuracy always requires the construction of a high-degree polynomial, which is only possible if enough information is available, the solution lies with methods that have a sufficient
amount of DOFs locally in each cell. Such methods thus approximate the
solution by a polynomial of a certain degree on each cell. They are called
compact methods, since only data local to the cell, and possibly data of its
immediate neighbors, is required for the evaluation of the fluxes. It is obvious that this eliminates the need for access to cells that are further away
and that such methods are consequently much more easily parallelizable.
One then distinguishes between methods with which the solution approximation is continuous between two neighboring cells and methods with
which this is not the case. Examples of the former are the continuous finite
element method and the residual distribution method. The discontinuous
Galerkin (DG), spectral volume (SV) and spectral difference (SD) methods
belong to the latter class of methods.
The class of methods with solution representations by cellwise continuous
polynomials is the subject of the present thesis, and more specifically the
SV and SD methods. These two methods were proposed a few years ago
as alternatives to the popular DG method. The DG method has been under development since the 1980s, and consequently has reached a certain
level of maturity. It enjoys a firm mathematical basis and many interesting properties, such as general nonlinear stability for arbitrary cell shapes
and superconvergence properties of certain functionals of its numerical solution. However, its formulation is rather complicated, making it difficult
to interpret physically, and also quite expensive, due to the numerical evaluations of surface and volume integrals that are required. The formulation
of the SV method is based on the total sum of fluxes through the enclosing
surface of a control volume (CV), like the FV method. Consequently, it has
a clear physical interpretation and requires only the evaluation of surface
integrals. The SD method directly computes the divergence of the flux vectors in certain solution points, like the finite difference method. Thus, the
SD method is also easily physically interpretable and requires no numerical evaluation of any integrals. The main disadvantages of the SV and
the SD methods are that they do not have as firm a mathematical basis as
3
CHAPTER 1. INTRODUCTION
the DG method yet and that they are not uniquely defined. For the SV
method, partitions of the cells into CVs have to be chosen, while for the SD
method, solution and flux point distributions have to be selected. These
CV partitions and point distributions have a certain number of identifying
parameters, depending on the order of accuracy, which must be specified to
define the SV or SD schemes. The stability and accuracy properties of both
methods depend strongly on these parameters and consequently, a suitable
choice for them is of paramount importance. The proper definition of CV
partitions for the SV method and of solution and flux point distributions
for the SD method is the main focus of the present thesis.
An issue that requires careful attention with high-order spatial methods
is the design of efficient time marching techniques. High-order spatial discretization operators are usually much stiffer than their low-order counterparts. Classical explicit time marching algorithms, such as explicit RungeKutta schemes, have an upper limit for the time step that can be taken for
stability reasons, which is prescribed by the Courant-Friedrichs-Lewy condition or CFL-condition. Such classical algorithms can be very inefficient
in combination with high-order spatial schemes, with which the maximum
time step tends to be very small. Such restrictively small time steps can
be avoided by the use of implicit time marching algorithms, some of which
are stable with arbitrarily large time steps, e.g. the second-order backward
differencing scheme. However, with such algorithms, a nonlinear algebraic
system must be solved at each time step. To reap the benefits of the large
time steps corresponding to implicit schemes, an efficient solver for these
systems is critical. Two algebraic solvers for such systems, namely the
Newton-GMRES and the nonlinear LU-SGS algorithms, are considered in
this thesis.
The outline of the remainder of this thesis is as follows. A survey of the
available literature on the DG, SV and SD methods, and efficient algebraic solvers for these high-order methods, is included in Chapter 2. The
governing equations that describe the physical problems which are considered and solved in the present thesis, namely the linear advection equation, Burgers 1D inviscid equation, the Euler equations, the Navier-Stokes
equations and the linearized Euler equations, are discussed in Chapter 3.
A short overview of the classical FV method, which introduces some concepts and techniques that are also used by the SV and SD methods, is
given in Chapter 4. The formulations and properties of the SV and SD
methods are then discussed in respectively Chapter 5 and 6. Chapter 7
deals with the relation between the SV and the SD methods, which are
4
CHAPTER 1. INTRODUCTION
Chapter 2
Literature survey
A survey of the available literature on high-order methods for the solution
of partial differential equations on unstructured grids is given in this chapter. More specifically, this survey includes an overview of the literature on
the discontinuous Galerkin (DG) method, to which the methods that form
the subject of the present thesis, namely the spectral volume (SV) and the
spectral difference (SD) methods, are strongly related. Subsequently, the
state of the art of the SV and SD methods themselves is discussed. Finally,
a short overview of the literature on time marching and efficient algebraic
solvers for high-order methods has been included.
A nice overview on high-order methods for the solution of the Euler and
the Navier-Stokes (N-S) equations on unstructured grids is given in a review article by Wang [114]. The interested reader is refered to this article
for a review of other high-order methods which have not been considered
here.
11
12
Chapter 3
Governing equations
All physical problems considered in this thesis are governed by a system
of conservation laws, valid on a domain V , and mathematically described
by a set of convection-diffusion equations with source terms, of the form
q ~ ~
~
~ ~fD q, q
+ s (q) .
+ fC (q) =
t
(3.1)
the source terms. To complete the definition of a physical problem, appropriate initial and boundary conditions must also be specified in addition to
(3.1).
The interpretations of the different terms are as follows. The partial derivative to time of the conserved variables q
t represents the local change
in time of the conserved variables. The divergence of the convective flux
~ ~fC (q) models the transport (convection) of the conserved quanvectors
tities. The mechanisms that dissipate the conserved quantities (diffusion)
~ .
~ ~fD q, q
are described by the divergence of the diffusive flux vectors
Finally, the source terms s (q) model sources or sinks for the conserved
variables.
The definitions of the aforementioned quantities, corresponding to the different physical models under consideration in the present thesis, are given
in the following sections.
13
3.1.1
Definition
and
~fC = (~aq) .
(3.2)
The diffusive fluxes ~fD and the source terms s are zero.
3.1.2
Exact solution
(3.3)
Because of its simplicity and the availability of an exact solution, the linear
advection equation is ideal for testing the accuracy of numerical schemes
for the solution of systems of conservation laws like (3.1).
3.2.1
Definition
(3.4)
and ~fD and s are again zero. With these definitions, (3.1) can be rewritten
in the so-called convection form of Burgers equation:
q
q
+q
= 0,
t
x
(3.5)
(3.6)
From this expression, the exact profile of q can be computed, which makes
Burgers equation an interesting model problem to test the performance of
numerical schemes for nonlinear conservation laws like (3.1).
3.3.1 Definition
The Euler equations are obtained by expressing three physical conservation laws. The first is conservation of mass, also known as the continuity
equation. The second law expresses conservation of momentum in the x-, y15
ux
u2x + P
ux
(3.7)
ux uy
fC =
q = uy ,
uz
ux uz
ux (E + P )
E
gC =
uy
ux uy
u2y + P
uy uz
uy (E + P )
and
hC =
uz
ux uz
uy uz
u2z + P
uz (E + P )
(3.8)
There are again no diffusive fluxes ~fD and no source terms s. In these
expressions, is mass density, P is static pressure, ux , uy and uz are the
Cartesian velocity components, and E is specific total energy. The velocity
T
vector ~u is [ux uy uz ] and its magnitude is denoted by |~u|. Specific total
energy E is related to the specific internal energy e by
E =e+
(3.9)
where the specific volume v is equal to 1/. Specific internal energy and
enthalpy are related to temperature T by the specific heat capacities, respectively at constant specific volume, denoted cv , and at constant static
pressure, denoted cP :
e = cv T
and
h = cP T.
(3.11)
The ratio cP /cv is called specific heat capacity ratio and is about 1.4 for
air. For an ideal gas, the following relation (ideal gas law) between P ,
and T holds
p = rT,
(3.12)
16
r
1
and
cP =
r
.
1
(3.13)
(3.14)
|~u|
,
c
(3.15)
P
.
(3.16)
3.3.4
Naturally, a fluid cannot penetrate a solid wall. The mathematical formulation of this fact is simply that the fluid velocity component normal to the
wall must be the same as that of the wall itself:
un uwall,n = (~u ~uwall ) ~1n = 0,
(3.17)
where ~1n is the unit vector normal to the wall. This expression serves as a
boundary condition to the Euler equations (3.1), (3.7) and (3.8).
3.3.5
The simplest and crudest approach is to simply impose the free flow solution at the far field boundary, and is in fact a Dirichlet boundary condition.
This does not take into account the flow physics, but it generally works
well if the far field boundary is sufficiently far away.
The most commonly used approach, called the characteristics boundary
condition, does take the flow physics into account partially, through a local
1D approximation for the direction normal to the boundary. A number of
physical variables equal to the number of outgoing Riemann invariants is
extrapolated from the internal domain. The remaining physical variables
at the boundary are computed using the expressions that state that the
incoming Riemann invariants corresponding to the 1D approximation are
zero. This approach causes less reflections than a simple Dirichlet boundary condition, but the boundary should still be far enough away. Moreover,
the approach does fail and reflections are generated if outgoing waves containing a tangential velocity component reach the boundary. This is the
case for acoustic waves that do not propagate normal to the boundary, and
for vorticity waves, which might possibly even reverse the flow direction
locally.
A similar difficulty arises for internal flows, where suitable boundary conditions must be used at in- and outflow boundaries.
(3.18)
P c
1,
Pc
(3.19)
where the subscript c again denotes characteristic values, is a good measure of the accuracy of a numerical solution obtained with a method to
approximately solve the Euler equations.
Following the law of conservation of energy, specific total enthalpy
H=E+
(3.20)
is preserved at steady state. The associated total temperature, or stagnation temperature, Tt = H/cP is also constant. This is the temperature at a
stagnation point of the flow, where ~u is zero. Since an Euler flow without
shocks is isentropic, P/ is constant. From the ideal gas law (3.12), it
Tt
T
1
=P
1 2 1
1+
M
2
(3.21)
and is also preserved. The ratio Pt /Pt,c , called total pressure loss, should
thus be equal to one everywhere.
Other dimensionless quantities which are often used to assess the accuracy of a numerical method to solve the Euler equations are the pressure
coefficient CP , the lift coefficient CL and the drag coefficient CD . The pressure coefficient is defined as
CP =
P Pc
.
1
uc |2
2 c |~
(3.22)
FL
1
2 c
|~uc |2 Sproj
20
(3.23)
FD
2
1
uc |
2 c |~
Sproj
(3.24)
3.4.1 Definition
The conserved variables q and the convective fluxes ~fC are defined in the
same way as for the Euler equations. The diffusive flux vectors ~fD =
[fD gD hD ]T are
xx
yx
(3.25)
fD =
zx
xx ux + yx uy + zx uz + T
x
gD
0
xy
yy
zy
xy ux + yy uy + zy uz + T
y
21
(3.26)
hD =
0
xz
yz
zz
xz ux + yz uy + zz uz + T
z
(3.27)
with the thermal conductivity of the fluid. The shear stresses are defined
by
xx
yy
zz
ux
ux uy
uz
2
,
+ v
+
+
x
x
y
z
ux uy
uz
uy
,
+ v
+
+
2
y
x
y
z
ux
uy
uz
uz
,
+ v
+
+
2
z
x
y
z
(3.28)
and
uy
ux
,
+
x
y
ux
uz
,
+
=
x
z
uy
uz
=
,
+
z
y
xy
= yx =
xz
= zx
zy
= yz
(3.29)
(3.30)
~ y
u
~ z
u
~
T
ux ~
1~
(ux )
,
1~
uy ~
(uy )
,
1~
uz ~
(uz ) ,
1
1 ~
~
(E)
E u2x + u2y + u2z
cv
cv
i
1 h ~
~ (uz ) .
~ (uy ) + uz
ux (ux ) + uy
cv
(3.31)
These formulas are usefull if the velocity and temperature gradients cannot be computed directly.
Re =
c |~uc |
uc |
c |~L
c
inertial forces
.
viscous forces
(3.33)
If the Reynolds number is low, then the flow is dominated by the viscous stresses, which results in a laminar flow with smooth streamlines.
If the Reynolds number is high, then the inertial stresses dominate and
the flow will be turbulent, characterized by random vortexes and stochastically changing streamlines.
23
c
c
c cP,c
momentum diffusivity
.
thermal diffusivity
(3.35)
3.4.3
Like an inviscid fluid, a viscous fluid cannot penetrate a solid wall. Moreover, because of viscosity, the velocity component tangential to the wall
should be the same as that of the wall itself. This translates into the expression
~u ~uwall = 0.
(3.36)
Near the wall, a thin layer in
the flow will form, where the flow
velocity rapidly changes from the
one imposed by the solid wall
to that of the (mostly inviscid)
flow away from the wall. This
thin layer is called a (momentum) boundary layer and is illustrated in Figure 3.1.
The
thickness of a boundary layer decreases with increasing Reynolds
number. Its existence must be
taken into account by methods that
solve viscous flow problems, because a fine resolution is required
to resolve the steep velocity gra- Figure 3.1: A typical velocity profile in a
dients that occur in the boundary laminar boundary layer. [1]
layer.
24
(3.37)
(3.38)
3.5.1 Definition
The LEEs are obtained from the Euler equations (3.1), (3.7) and (3.8), by
decomposing the flow variables , ~u and P into a mean flow value and a
25
(3.39)
0 ux + ux,0
0 ux,0 ux + P
0 ux
0 ux,0 uy
u
(3.40)
fC =
q = 0 y ,
0 uz
0 ux,0 uz
ux,0 P + P0 ux
P
gC =
0 uy + uy,0
0 uy,0 ux
0 uy,0 uy + P
0 uy,0 uz
uy,0 P + P0 uy
hC =
and
0 uz + uz,0
0 uz,0 ux
0 uz,0 uy
0 uz,0 uz + P
uz,0 P + P0 uz
s =
u
u
u
x,0
x,0
x,0
+ 0 uy + uy,0
+ 0 uz + uz,0
0 ux + ux,0
x
y
z
u
u
u
y,0
y,0
y,0
+ 0 uy + uy,0
+ 0 uz + uz,0
0 ux + ux,0
x
y
z
u
u
z,0
z,0
z,0
0 ux + ux,0
+ 0 uy + uy,0
+ 0 uz + uz,0
x
y
z
u0,y
u0,z
u0,x
P0
P0
P0
+
+
ux
uy
uz
( 1) P
x
y
z
x
y
z
. (3.41)
, (3.42)
which models part of the refraction effects and is zero in the case of a uniform mean flow. This term is also responsible for the excitation of linear
instability waves in cases where the mean flow is a shear flow. Possible
solutions to this problem include neglecting this mean flow source term,
Bogey et al. [16], or using a modified formulation called acoustic perturbation equations based on source term filtering, Ewert and Schroder [34].
Additional source terms can be added to introduce sound sources, Bailly
and Juve [4]. The diffusive fluxes ~fD are zero.
3.5.2
The formulation of nonreflective boundary conditions for far field boundaries may be even more critical for the LEEs than for the Euler and the N-S
26
27
28
Chapter 4
Y
Z
Y
X
Figure 4.1: A structured grid (left) and an unstructured grid (right) on a rectangular domain. Grids generated with Gmsh [37].
and the subdivision is done such that each cell and each node is uniquely
identified by two indices in 2D and by three indices in 3D (one index per
coordinate direction). Each cell index ranges from 1 to a certain number
Nl and each node index from 1 to Nl + 1, with l = 1, 2(, 3). A grid consequently contains N1 N2 [N3 ] cells and (N1 + 1) (N2 + 1) [ (N3 + 1)]
nodes. An example of a structured grid for a rectangle is shown in Figure
4.1(a). The advantage of such a grid is that for a certain cell, information
about neighboring cells is easily available, without needing an extensive
data structure. Only the node coordinates should be stored for each set of
node indices. This allows for very efficient and fast algorithms to discretize
the governing equations. The flexibility of structured grid methods can be
improved by using multiple connected blocks, each of which has its own
set of cells, defined by two or three indices. This also makes it possible
to apply these methods on parallel computing systems, by assigning each
block to a different processor, and in practice, every sizable code that uses
a structured grid can handle multiple blocks of cells. However, the generation of such multi-block structured grids for the complex geometries that
are common in industrial applications, is very cumbersome, possibly takes
weeks or even months, and is consequently often practically impossible.
The other class of grids, on which the present thesis is focused, consists
of the unstructured grids. With such grids, the cells can have any shape
and are not ordered in any way. Each cell is identified by its own unique
index, denoted i, which ranges from 1 to N , where N is the number of cells.
Similarly, each node is identified by a unique index, which ranges from 1
to the total number of nodes. There is no fixed relation between the number of cells and the number of nodes in an unstructured grid. An example
of an unstructured grid is shown in Figure 4.1(b). Such grids are much
30
4.2.1
Consider the general form of a conservation law with only convective fluxes
and source terms:
q ~ ~
+ fC (q) = s (q) .
(4.1)
t
Integrating this expression over each cell, also called control volume in the
case of the FV method, with volume Vi , boundary Vi and the index i
ranging from 1 to N , and applying Gausss theorem results in
I
Z
1
dQ
i
~fC ~1n dS + 1
=
s dV = Ri ,
(4.2)
dt
Vi Vi
Vi Vi
where the cell-averaged conserved variables
Z
1
Qi =
q dV
Vi Vi
(4.3)
are the solution variables of the FV method and the Ri are the corresponding residuals, which govern the evolution of the solution variables in time.
To evaluate the residuals, the conserved variables at the faces are needed
to compute the convective fluxes. These are not immediately available and
thus, they should be reconstructed from the cell-averaged values. In the
classical first-order accurate Godunov FV method, [38], the solution at a
face is approximated by the cell-averaged solution, which corresponds to
an extrapolation with a polynomial of degree zero (constant extrapolation).
In order to ensure numerical conservation1, the contributions of a face to
1 Numerical conservation means that, if a number of cells are grouped, the residual corresponding to the averaged solution in the resulting big cell can be computed by a weighted sum
P Vi Ri
of the residuals in the original cells as follows: i P
. This ensures that the physically
V
j
conserved variables are also conserved numerically, and that there are no numerical (unphysical) sources that cause the total amount of a conserved quantity in the computational
domain to increase or decrease.
32
(4.4)
where QL and QR are the reconstructed conserved variables from the left
and the right side of a face and, by convention, the unit normal ~1n is oriented from the left to the right side. With the constant extrapolation used
in the first-order accurate method, they are simply
QL = Q
L
and
.
QR = Q
R
(4.5)
The first term in the right-hand-side of expression (4.4) is just the average of the analytical convective fluxes on the left and the right side of the
face. The second term ensures that the data that is used for the computation of the flux comes from the side from which the physical quantities
are propagating, as governed by the physics. This is called upwinding
and it introduces a necessary amount of damping to stabilize the computations. The matrix |A| should be defined such that this upwinding is
ensured. The different approximate Riemann solvers are distinguished by
the corresponding definitions of this matrix.
The simplest Riemann flux is the Rusanov flux, [86], which is also often
refered to as the Lax-Friedrichs flux. The definition of |A| for the Rusanov
flux is simply
|A| = max I,
(4.6)
where max is the average of the maximum absolute eigenvalues of the
Jacobian matrices of the fluxes in the direction of ~1n at the face, which are
given by
~fC,L(R) ~1n
.
(4.7)
QL(R)
2A
33
Splitting the surface integral in (4.2) into the contributions by the different
faces, introducing the Riemann fluxes, and approximating the surface integrals over the faces and the volume integrals over the cells by one-point
quadrature formulas which are second-order accurate, and consequently
sufficient for the present first-order accurate scheme results in
f ac
Ni
1 X
dQ
i
= Ri ,
~ R ~1n,m Sm + s Q
F
=
i
m
dt
Vi m=1
(4.8)
where Sm is the surface of the m-th face neighboring the cell. This
is a system of ordinary differential equations (ODEs) in time, which can
be solved using any classical time marching method, like a Runge-Kutta
method, see for example Shu [89], or an implicit backward differencing
method, see Section B.3.2 in the appendix.
4.2.2
Higher-order accuracy
Vj
,
Qi (~x) dV = Q
j
(4.9)
is then obtained, where ~xi is the position vector of the cell center. An alternative way to obtain this polynomial is by directly computing the gradient:
Z
1
~ =
~ Q
~ dV
Q
q
Vi Vi
i
i
I
1
q~1n dS
=
Vi Vi
f ac
Ni
Q
1 X
m,L + Qm,R ~
1n,m Sm ,
Vi m=1
2
(4.11)
and plugging this gradient into (4.10). This polynomial can then be used to
reconstruct the solutions at the faces, to obtain a better estimate than the
constant extrapolation. Values for QL and QR are then available, which
can be used to evaluate the Riemann fluxes at the faces and compute the
second-order accurate residuals.
For some applications with complex physics, like vortex dominated flows
and flows where acoustic waves play an important role, lower error levels are required, and schemes with an order of accuracy higher than two
may be desirable. The first approach discussed above for the construction of a second-order accurate scheme can readily be used to construct
higher-order FV schemes, by considering cells that are still further away to
compute higher-order derivatives, see for example Michalak and OllivierGooch [74]. However, data of cells that are further away than the immediate neighbors is not easily accessible on unstructured grids. Moreover,
because of the unstructured nature of the grids, the involved linear algebraic systems can be very badly conditioned, or even singular in the worst
case, which leads to a number of additional problems, like loss of accuracy.
These difficulties to extend the FV schemes on unstructured grids to highorder accuracy illustrate the need for high-order numerical methods that
are specifically designed to retain their accuracy on unstructured grids. A
description of the most popular method, the DG method, is included in Appendix A. The two high-order methods that are the subject of the present
thesis are described in the following chapters.
35
Z
1
~ dV
=
q
VD VD
I
1
q~1n,D dS
=
VD VD
D
N
1 X
Q ~1n,D,m SD,m ,
VD m=1 m
(4.12)
~
~fD q, q
~
~
~
~1n S, (4.13)
1n dS fD 0.5 QL + QR , q
VD
37
38
Chapter 5
(p + d)!
p!d!
(5.1)
N s = (p + 1)
(5.2)
CVs. Such subdivisions are illustrated in Figures 5.1, 5.2 and 5.3 for respectively 1D linear, 2D triangular and 3D tetrahedral cells.
0.58
3
0.58
+3
0.78
4
40
0.78
+4
0.866
0.433
0
0
0.5
0.866
0.433
0
A
0.5
(b) Third-order (p = 2).
41
42
dQ
1
i,j
=
dt
Vi,j
Vi,j
~fC ~1n dS +
1
Vi,j
s dV = Ri,j ,
(5.3)
Vi,j
with Vi,j the volume of the CV and the CV-averaged conserved variables
defined by
=
Q
i,j
1
Vi,j
q dV.
(5.4)
Vi,j
Notice the similarity with the FV method. The main difference with the
latter method is that the N s CV-averaged conserved variables in each cell
i allow to easily construct a polynomial of degree p that approximates the
solution in that cell, which is, as discussed in Section 4.2.2, not so easy
with the FV method. The solution approximation space of the SV method
is thus the space of piecewise continuous polynomials of degree p, which
allows for an order of accuracy equal to p + 1.
The solution polynomial in each cell allows to evaluate the surface integrals over the internal faces that enclose the CVs with (p + 1)-th-order of
accuracy, using appropriate Gauss quadrature formulas. At the external
faces, which lie on a grid face between two cells, two approximate values for
the conserved variables are available, from the solution polynomials corresponding to the two neighboring cells. For conservation, the contribution
of these faces to the neighboring CVs should again be equal in magnitude
and opposite in sign. To ensure this, approximate Riemann solvers, which
were introduced for the FV method in Section 4.2.1, are used. The surface
integrals over the external faces are then evaluated with (p+ 1)-th-order of
accuracy, using an appropriate Gauss quadrature formula, and using the
flux value obtained from an approximate Riemann solver at each quadrature point.
The final expression of the spatial discretization with the SV method is
43
dQ
i,j
dt
Vi,j
1
Vi,j
1
+
Vi,j
X Z
Niintf ac
Vi,j Sm
m=1
X Z
Niextf ac
m=1
Vi,j Sm
~fC ~1n dS
~ R ~1n dS
F
s dV = Ri,j ,
(5.5)
Vi,j
where the face and volume integrals should be evaluated with a Gauss
quadrature formula that ensures the desired order of accuracy. Given values for the CV-averaged conserved variables, the residuals Ri,j in (5.5) can
be evaluated with the procedure that is described above. Expression (5.5)
is thus a system of ODEs in time, which can be solved with any classical
time marching method.
Notice that for p = 0, the SV method, like the DG method, which is
discussed in Appendix A, reduces to the classical first-order accurate FV
method.
xi
xi (, , )
~xi = yi = yi (, , ) = ~xi ~ ,
(5.6)
zi
zi (, , )
~~
with the corresponding Jacobian matrix denoted
as J i and the Jacobian
determinant as Ji . The solution polynomial Qi ~ in cell i has the form
Ns
X
L
~ ,
Q
Qi ~ =
i,j
i,j
(5.7)
j=1
i,j ~ are the SV basis polynomials. These basis polynomials
where the L
are like Lagrangian polynomials, but with respect to CV-averaged values
44
Vi,j V,j
~
where jm is the Kronecker delta function. This shows that in general, the
SV basis polynomials depend on the local geometry of the corresponding
cell, through the Jacobian determinant Ji . Consequently, the coefficients
of these polynomials should either be stored for each cell, or recomputed
on the fly when needed. The first approach requires a prohibitively large
amount of memory, while the second uses too much computational time.
Fortunately, if grids with simplex cells are considered, the transformation
(5.6) is linear for most cells. A simplex cell in the mapped coordinate system is defined, by convention, by the unit basis vectors of the mapped
coordinate space. For example, the mapped coordinates of a triangular cell
are bounded by 0, 0 and + 1, while in a tetrahedral cell, these
bounds are 0, 0, 0 and + + 1. The Jacobian determinant
of a simplex with a linear mapping is then a constant that is proportional
to the volume of the cell:
Ji = d!Vi .
(5.10)
The ratio between the volume of CV j and the volume of the whole cell is
a constant, because of the linear mapping, and is consequently equal to
the ratio of the volumes of the CV and the cell in the mapped coordinate
system:
V,j
~
Vi,j
=
= V,j
(5.11)
~ d!
Vi
V~
Expression (5.9) then reduces to
Z
1
i,m ~ dV~ = jm ,
L
V,j
~
V,j
~
45
j, m = 1, ..., N s ,
(5.12)
1
Vi,j
1
Vi,j
q~1n dS
Vi,j
X Z
Niintf ac
1
+
Vi,j
i,j ,
~
m=1
Vi,j Sm
X Z
Qi~1n dS
Niextf ac
m=1
~1n dS
Q
Vi,j Sm
(5.13)
=Q
(Q , Q ) is an averaged value that is obtained using a cerwhere Q
L
R
tain operator, which will be defined further on. The gradients in cell i can
thus be approximated by the polynomial
Ns
X
i,j .L
~
i,j ~ .
~
~i =
~
q
i
(5.14)
j=1
~ i ) at an internal
The diffusive flux vector is then approximated as ~fD (Qi ,
~ L and
~ R of
~ are again available, and
face. At a cell-face, two values
= ~
(Q , Q ,
~ R ) is used, which will also
there, an averaged value ~
L
R ~ L,
be defined further on. At an external face, the normal component of the
~1n . The
diffusive flux vector is thus computed as ~fD 0.5 (QL + QR ) , ~
and ~
for the three different approaches that are considdefinitions of Q
ered here are given in the following sections.
QL + QR
(QR QL ) ,
2
~L +
~R
~ L) +
(QR QL ) ~1n ,
+ (~
R
2
hf
(5.15)
(5.16)
(5.17)
with ~1n,~ the unit normal to the face in the mapped coordinate system
associated to a cell. The constant C is chosen in the present work such that
for simplex cells with a linear transformation to the mapped coordinate
system, hf reduces to
hf =
d VL + VR
,
d+1
S
(5.18)
5.3.2
and ~
is
The BR2 definition of Q
=
Q
QL + QR
,
2
~ L + Q
~ R
Q
2
(5.20)
+
~L+
~R
,
2
(5.21)
where defines the amount of damping added to the gradients. The lifting
~ L and
~ R associated to a cell-face can be interpreted as correcoperators
tions to the gradients of the solution polynomials in the neighboring cells.
These lifting operators are polynomials, defined in the neighboring cells by
their CV-averaged values:
Z
1
~
(Q QL ) ~1n dS.
(5.22)
L(R),j =
VL(R),j VL(R),j S R
48
QL + QR
,
2
~ L + Q
~ R
Q
(QR QL ) ~1n ,
+
2
hf
(5.23)
(5.24)
The numerical damping that is introduced by the second term of the Riemann flux, which is proportional to the difference between the internal
and the ghost solution, penalizes this difference and ensures that the internal solution is close to the ghost solution, and consequently also to the
value prescribed by the boundary condition. The diffusive fluxes through
boundary faces are treated in a similar way, by inputting internal
and
= Q
Q ,Q
=
ghost values into the averaging operators: Q
and ~
int
gho
Q ,Q ,
~ gho at a boundary face.
~
int
gho ~ int ,
A distinction is made between two basic types of boundary conditions,
namely a Dirichlet boundary condition and a Neumann boundary condition. A general boundary condition for a system of conservation laws is
usually a combination of these two types. The two basic types are discussed in the following sections. Afterwards, two special cases of boundary
conditions, namely a mirror boundary condition and a special treatment
for curved slip-wall boundaries, are discussed.
5.4.1
(5.27)
(5.28)
such that the average of ~gho and ~int is equal to the internal gradient. In
the case of the Euler or the N-S equations, a Dirichlet boundary condition
for all conserved variables corresponds strictly speaking to a supersonic
inlet boundary condition, although it is often used as a far field boundary
condition as well.
(5.30)
which ensures that the average of the internal and ghost gradient has the
proper value in the direction normal to the boundary:
~int + ~gho ~
1n = ~int ~1n ~1n ~int + bnd = bnd .
2
(5.31)
(5.32)
In the case of the Euler or the N-S equations, a Neumann boundary condition for all conserved variables corresponds to a supersonic outlet boundary condition.
(5.33)
(5.34)
5.4.4
= int
= (E)int
= (~u)int 2 ~1n (~u)int ~1n ,
(5.38)
Figure 5.4: Illustration of simplified curved slip-wall boundary treatment for two
quadrature/flux points.
53
-1
-2
-2
-1
-1
0
x
-2
-2
-1
0
x
Figure 5.5: 2D Euler flow at M = 0.38 around a circular cylinder. Mach contours,
with M = 0.038, obtained with a second-order SV method on a grid without
curved faces at the cylinder boundary.
very bad, since it is not symmetrical and a wake has formed behind the
cylinder, which is not physical in the case of the Euler equations. For the
computation shown in the right plot, the normal to the real cylinder wall
is used to impose the boundary condition. This results in a good solution
on a relatively coarse mesh. The solution is almost symmetric, and no
unphysical wake is formed.
~~ 1 ~
~
~
at an appropriate
ating the mapped flux vectors Fi,l = Ji,l J f Q l
i
i,l
nodal set ~l , l = 1, ..., N f , which is prescribed by Hesthaven [48] and Hesthaven et al. [49]. Notice that the subscript C or D has been neglected,
since this approach applies to both the convective and the diffusive terms.
From the flux vectors at these N f nodes, the flux polynomial can then be
constructed as follows:
Nf
X
~
~ i,l Lf ~ ,
~
F
Fi =
l
(5.39)
l=1
where the Lfl ~ are Lagrangian basis functions associated to the nodal
set, defined by
l, m = 1, ..., N f .
(5.40)
Lfl ~m = lm ,
Notice that these basis functions are always independent of the cell index
i. The contribution of the internal faces to the residual corresponding to
CV j, based on this flux polynomial, can then be evaluated analytically,
which results in an expression of the form
X Z
Niintf ac
m=1
Vi,j Sm
~fC ~1n dS
N
X
l=1
int ~
~ j,l
M
Fi,l .
(5.41)
Vi,j S
~ R ~1n dS
F
f,f ace
NX
l=1
ext
Mj,l
T
R
~ ~
~~ 1
~
1n,,l
Ji J i
~ Fl 1n,l .
(5.42)
It should be noted here that the Riemann fluxes through external faces
are computed in a slightly different way in Harris et al. [43]. The first or
averaging term in the expression for a Riemann flux (4.4) is integrated as
described above. The second or damping term in this expression is only
computed once for each external CV-face, based on a face-averaged value
of the conserved variables, which allows for a slight saving in the number
of evaluations of this approximate Riemann solver damping term.
55
0.866
0.866
0.433
0.433
0
0
0.5
0.5
56
(5.43)
CVs that lie at a cell-face, while for tensor product cells, there should
be
d1
(p + 1)
(5.44)
CVs at a cell face.
The last rule of thumb can be understood by looking at the candidate for
a second-order SV partition shown in the right plot of Figure 5.6. This
partition violates the last rule. Consequently, the flux through the single
large face between two neighboring cells is the same for a solution polynomial that is equal to a certain constant along that face, as for a solution
polynomial that varies linearly along that face, with the mean equal to the
same constant. This partition can thus communicate information about
the mean solution along a face to its neighbors, which is required for firstorder accuracy, but not about the solution derivative tangential to the face,
which is required for second-order accuracy in the general case. The partition shown in the left plot of Figure 5.6 does not violate the last rule of
thumb, and constant and linear variations along the cell-faces do never
result in the same fluxes through the two CV-faces that make up the cellface. This partition is consequently the only correct choice, which results
in second-order accuracy on arbitrarily unstructured triangular grids.
These rules of thumb are insufficient to uniquely define SV partitions for
orders of accuracy higher than two. For example, the general third-order
SV partition for a triangular cell, shown in Figure 5.2(b), has two degrees
of freedom (DOFs), namely the positions of points C and E. A possible criterion for the identification of good partitions from a family of partitions
with DOFs, which was used in Wang et al. [116, 117], Liu et al. [68] and
Chen [20, 21], is based on the so-called Lebesgue constant || || of a partition. The definition1 of this constant is
Ns
X
~
|| || = max
Lj .
~
V
j=1
(5.45)
1 Notice that in this definition, the cell index i to the SV basis functions is omitted. The
Lebesgue constant is usually computed for cells with a linear transformation to the mapped
coordinate space.
57
It can be shown, [116], that the Lebesgue constant of a SV partition provides an upper bound for the uniform or maximum
norm (|||| = max ||) of
the error between an arbitrary given function q ~ and the representation
Q ~ of that function using the basis polynomials of the SV partition
Ns
X
j ~ ,
~
qj L
Q =
(5.46)
j=1
(5.47)
max
j=1,...,N s
|
qj | .
(5.48)
0.866
0.433
F
E
0
A
0.5
60
61
62
Chapter 6
Spectral difference
method
An alternative to the spectral volume method, which was discussed in the
previous chapter, is the spectral difference (SD) method. The SD method
is also designed for high-order accuracy on unstructured grids. An important advantage over the SV method, and also over the DG method, is that
the formulation of the SD method is in differential form, involving no integrals, and thus, costly integral evaluations are completely avoided.
The SD method was proposed by Liu et al. [67], for simplex cells. Its
extension to the Euler equations was described in Wang et al. [119], and
to the N-S equations in May and Jameson [73]. A 3D N-S implementation
of the SD method for hexahedral grids was presented in Sun et al. [94].
For such grids with tensor product cells (lines, quadrilaterals and hexahedra), the SD method is identical to the multi-domain spectral method that
was presented in Kopriva and Kolias [64] and Kopriva [63]. A 1D implicit
space-time SD method was reported in Huang et al. [54]. The formulation
of the SD method is discussed in the following sections.
projected in the mapped coordinate system (~fC,i ) are related to the flux
components in the global coordinate system as follows:
~fC,i
fC,i
fC
~J 1 gC = Ji ~~J 1 ~fC .
C,i = Ji ~
= g
i
i
C,i
hC
h
(6.1)
The governing equations without diffusive terms (4.1) can then be written
in the mapped coordinate system
i
(Ji q)
q
t
t
C,i
C,i
g
fC,i
h
+ Ji s (q)
~ ~ ~fC,i + Ji s (q) ,
=
(6.2)
solution points, a set of N f flux points with index l and at positions ~lf , supporting a polynomial of degree p + 1, is introduced. To ensure a coupling
between the cells, a minimum number of flux points, given by (5.43) for
simplex cells and by (5.44) for tensor product cells, need to lie at the faces
of the cell. Moreover, there are possibly also flux points at the corners of
the cell. Examples of solution and flux point distributions are shown in
Figure 6.1 for 1D cells, in Figure 6.2 for 2D triangular cells and in Figure
6.3 for 2D quadrilateral cells.
The evolution of the mapped flux vector ~fC,i is then approximated by a flux
~ C,i , which is obtained by reconstructing the solution variables
polynomial F
64
0.58
3
0.58
+3
0.78
4
0.78
+4
0.866
0.433
0
0
0.5
0.866
0.433
0
0
0.2
0.5
66
1
1
1
1
0.58
3
67
semi-upwind approach and the one with the averaged tangential component averaged-upwind approach.
The second possible treatment for face and corner flux points consists of
using multi-dimensional Riemann solvers. The full flux is then evaluated
using the solution in the cell where propagating waves are coming from.
This treatment is illustrated in Figure 6.4(b). For the face flux point (),
the full flux vector from within cell D is used, while for the corner flux
point (), the flux from within cell A is selected. This treatment is labeled full-upwind approach. The problem with this approach is that such
multi-dimensional Riemann solvers are only available when the physics of
the problem is a simple unidirectional wave propagation.
The flux vector can thus be evaluated at all flux points, from which the
~ C,i can be constructed. Taking the divergence
degree p+1 flux polynomial F
of this polynomial in the solution points results in the following modified
form of (6.2), describing the evolution of the conserved variables in the
solution points:
dQi,j
1 ~ ~
~ FC,i + s Qi,j = Ri,j ,
(6.3)
=
dt
Ji,j
j
(6.4)
j=1
where Lsj ~ are the SD basis polynomials. At the solution points, the
polynomial value should be equal to the solution variable:
Qi ~js = Qi,j ,
j = 1, ..., N s ,
(6.5)
resulting in the following defining linear algebraic systems for the basis
polynomials
s
Lsj ~m
= jm ,
j, m = 1, ..., N s .
(6.6)
~ C,i,l Lf ~ ,
~
F
FC,i ~ =
l
(6.7)
l=1
where the flux basis polynomials Lfl ~ are also Lagrangian polynomials
defined by
f
= lm ,
l, m = 1, ..., N f .
(6.8)
Lfl ~m
69
J~i,
J~i,
T
(6.9)
~ i ~ is obtained by computing the
a gradient approximation polynomial
Q
i
i
i
~
~ i,j ,
q
=
+
+
Ji,j
i,j
(6.10)
q
i
(6.11)
j=1
~ i ) in an internal flux
The diffusive flux vector is approximated as ~fD (Qi ,
~ L and
~ R , of
~ are available. An averaged
point. At a face, two values,
is then used, also to be defined further on. The normal component
value ~
70
.
(6.12)
L(R)
JL(R),j
j
g
~
In this expression, Q
L(R) is a polynomial of degree p + 1, defined by its
values at the flux points:
T
Q Q J ~
1
~
~
~1n l curr. face
J
1
g
R,l
L,l
n,~
~
Q
=
L(R),l
L(R),l
0
elsewise
(6.13)
This approach was reported in Van den Abeele et al. [105].
-flux points, supporting polynomials Gi and Hi , are introduced analogously for the computation of the derivatives to and respectively.
The advantage of component-wise flux point distributions is that the reconstruction of the solution at the flux points and the computation of the
flux derivatives at the solution points become one-dimensional operations
if the solution and flux points are aligned correctly, as is the case with
the distributions shown in Figure 6.5. This naturally implies significant
savings in computational time with respect to the multi-dimensional operations that are required for general quadrilateral cell SD schemes of the
type shown in 6.3. Also notice that, since each set of flux points is responsible for a single component of the mapped flux, only the flux component
normal to the face has to be computed at face flux points. Thus, a single
one-dimensional Riemann flux for the convective terms and the normal
flux component for the diffusive terms suffices at face flux points. In this
case, there are no corner flux points.
72
1
1
1
1
0.58
73
~
Q
Qi =
i,j j
(6.14)
j=1
V~
(6.15)
Proof. It suffices to show that the following two statements are true.
0, ~ is independent of ~s .
1. Q
i
j
t, ~ is independent of ~s
2. Q
i
j
Q
i
t
is independent of ~js .
The proof of the first statement is trivial, since the solution space is always
the space of polynomials with maximum degree p, independent of the solution point positions ~js .
The proof of
the
second statement goes as follows. Since the solution poly
~
nomial Qi t, is independent of the solution point positions ~js , the flux
~ i,l in a given set of flux points and the flux polynomial F
~ i ~ are
vectors F
~ i .
~~F
also independent of them, as well as its divergence,
~ i
~ i ~ is an order-complete polynomial of degree p + 1,
~~F
Because F
~ i Ls ~ .
~i
~~F
~~F
j=1
75
(6.16)
X
X
dQ
Q
i,j s ~
i
~ i Ls ~
~~F
=
Lj =
j
t
dt
j
j=1
j=1
(6.17)
Q
i
~ i ,
~~F
=
(6.18)
which shows that the time derivative of the solution polynomial does not
depend on the solution points positions.
This theorem shows that all second- and third-order accurate 1D cells,
shown in Figures 6.6 and 6.7 respectively, are equivalent. The same holds
for the triangular cells that are shown in Figure 6.8 and 6.9. The distributions for which some or all of the solution points coincide with flux points
obviously allow for a reduced number of solution reconstruction operations.
Notice that the solution point distributions can even be asymmetrical, as
is the case with the third-order cells shown in Figures 6.7(c) and 6.9(c).
Figure 6.6: Solution point distributions for second-order (p = 1) 1D SD cells. Solution () and flux points (N).
0.58
3
0.58
+3
0.58
3
0.58
+3
0.58
3
0.58
+3
76
0.866
0.866
0.433
0.433
0
0
0.5
0.5
0.866
0.866
0.433
0.433
0.433
0
0
0.2
0.5
0
0
0.2
0.5
0.2
0.5
1
1
1
1
0.58
3
0.58
78
Q
i
t
is independent of ~js .
~
of the flux first. From the independence of Qi t, , it follows that the flux
i
F
derivative
i
~s
~ ~ ~fi F i + G i + H
The flux divergence
is thus independent of j
and is a polynomial
of
degree p, which is exactly reconstructed by the basis polynomials Lsj ~ . The proof then continues like that of Theorem 6.1,
writing (6.16), (6.17) and (6.18).
This theorem shows that the commonly used solution point distributions
shown in Figure 6.10(b) and 6.11(b), for which the solution points are
aligned with the flux points and all operations become locally 1D, are
equivalent to those shown in respectively Figure 6.10(a) and 6.11(a), which
require much more operations to evaluate the residuals.
Such locally 1D schemes for quadrilateral and hexahedral cells are entirely defined by a 1D SD cell, labelled source cell here. Consider a 1D
cell, with solution point coordinates js,1D , j = 1, ..., p + 1 and flux point
coordinates lf,1D , l = 1, ..., p + 2. The coordinates of the solution points of
the corresponding quadrilateral cell are
"
#
js,1D
s
1
~
j1 ,j2 =
,
j1 , j2 = 1, ..., p + 1.
(6.19)
js,1D
2
The -flux points are at
"
#
f,1D
f,
l1
~l1 ,j2 =
,
js,1D
2
l1 = 1, ..., p + 2; j2 = 1, ..., p + 1,
79
(6.20)
j1
,
=
~jf,
1 ,l2
lf,1D
2
j1 = 1, ..., p + 1; l2 = 1, ..., p + 2.
(6.21)
Notice that the resulting flux point positions depend on the coordinates of
the solution points of the 1D source cell, js,1D . The distributions for hexahedral cells are obtained in a similar way.
For linear problems, the 1D coordinates js,1D do not influence the SD solution polynomial.
Theorem 6.3 Locally 1D SD schemes with component-wise flux point
distributions for quadrilateral or hexahedral cells are independent of the
solution point positions js,1D in the 1D source cell for linear problems, if
t, ~ is initialized by projection, as in (6.15).
the solution polynomial Q
i
1
1
1
1
0.58
3
1
1
0.58
0.58
i
F
.
i
G
and
i
H
.
1
1
82
0.58
0.58
0.58
it can be concluded that all quadrilateral cells of the same order that were
discussed in the present section are equivalent for linear problems.
Unless stated otherwise, the computational results for the SD method that
are presented in the following chapters are all obtained using schemes
with as many solution points at flux points as possible, while preserving a
symmetric distribution of the solution points.
6.7.2
0.866
0.433
0
0
0.2
0.5
6.7.3
Figures 6.3(b) and 6.5(b) show general third-order flux point distributions
for quadrilateral cells. These distributions have one DOF, 3 ]0, 1[, as
shown in the figures. This parameter 3 corresponds to the DOF of the
third-order cell for 1D. Higher-order flux point distributions for quadrilaterals can be derived in a similar way. For instance, the fourth-order flux
point distribution has one DOF, 4 ]0, 1[, which corresponds to the DOF
of the 1D fourth-order flux point distribution.
84
85
86
Chapter 7
Connection between
spectral volume and
spectral difference
methods
It is well known that in 1D, on uniform meshes, the classical finite volume
method, discussed in Chapter 4, and the finite difference (FD) method, see
e.g. Mitchell and Griffiths [75], are equivalent. It was already discussed in
Chapter 5 that the SV method is strongly related to the FV method, since
the residuals of both these methods are defined by the sum of the fluxes
through all the surfaces that enclose a CV. Similarly, the SD method, discussed in Chapter 6, is strongly related to the FD method, in the sense that
the formulation of both methods is a direct estimation of the derivatives of
the flux vectors in a certain point. It can be shown that in 1D, the SV and
SD methods are also equivalent. This SV-SD equivalence was published in
Van den Abeele et al. [103].
max
j () QSV (0, ) d =
L
i
max
max
j () q0 (xi ()) d,
L
(7.1)
(7.2)
min
min
Lsj () QSD
(0, ) d =
i
max
min
min
with j = 1, ..., p + 1.
the CV face positions for the SV method are the same as the flux point
f
positions for the SD method: i,l 21 = i,l
, l = 1, ..., p + 2.
the same Riemann flux is used for both methods: FR,SV = FR,SD .
Proof. It is sufficient to show that the following two statements are true.
QSV
(0, ) = QSD
(0, ).
i
i
(t, ) = QSD
(t, )
QSV
i
i
QSV
i
t
QSD
i
t .
The proof of the first statement is trivial, since for both methods the solution approximation space on each cell is formed by polynomials with maximum degree p.
The proof of the second statement goes as follows. Since the solution polynomials are identical, the CV faces and the flux points are at the same
positions, and the same Riemann flux is used at the cell boundaries, the
same degree p + 1 flux approximation polynomial Fi () can be defined for
both methods.
QSV
(t, ) = QSD
(t, ) l 12 = lf FR,SV = FR,SD
i
i
SD
= Fi,l
FSV
1 = Fi,l
i,l 2
SD
FSV
()
=
F
() = Fi ()
i
i
88
(7.3)
The following expression is found for the time derivative of the numerical
solution, as prescribed by the SV method:
!
SV
p+1
p+1
X
X
FSV
dQi,j
QSV
i,j+ 12 Fi,j 21
i
j () ,
Lj () =
=
L
(7.5)
1 x
1
t
dt
x
i,j+
i,j
j=1
j=1
2
2
(7.6)
i
because the degree p polynomial dF
dx is exactly interpolated by the SV basis
j (). Evaluating (7.6) at the SD solution points s yields
polynomials L
j
dQSD
dFi
1 dFi
QSD
QSV
i,j
i
i
=
=
.
(7.7)
=
=
t
dx j
Ji d j
t
dt
This shows that the time derivative of the numerical solution as prescribed
by the SV method is the same as the one prescribed by the SD method.
This theorem shows that the second-, third- and fourth-order accurate 1D
SV and SD cells shown in Figure 7.1 are equivalent. Applying the SV or
the SD method to any problem governed by a nonlinear 1D conservation
law results in exactly the same numerical solution.
The equivalence between the SV and SD methods is not valid in 2D or
3D, since the formulation of the methods then differs fundamentally. For
the SD method, the general definition of the residuals associated with the
solution variables involves only pointwise operations, to construct a flux
polynomial of degree p + 1 and to compute the derivatives of this polynomial in the solution points. The residuals associated with the SV solution
variables are in general defined by integrals of the flux over the CV faces,
without constructing a flux polynomial. In 1D however, the CV faces reduce to points, which allows to draw an analogy with the flux points of the
89
0.58
0.58
+
0.58
0.58
+
0.78
0.78
+
0.78
0.78
+
Figure 7.1: Equivalent 1D SV and SD cells. SD solution () and flux points (N).
SD method and to conclude that the flux is treated as an identical polynomial of degree p + 1 by both methods, if the CV faces and the flux points
coincide. Notice however that for the SV method, this polynomial is never
explicitly constructed or used, since only the values at the CV faces are
needed. In 2D or 3D, it is not possible to identify such a flux polynomial
for the SV method and thus, the equivalence fails.
7.2 Illustration
The equivalence of the SV and SD methods is illustrated in Figure 7.2,
which shows a solution of Burgers 1D equation, see Section 3.2, obtained
with fourth-order SV and SD schemes on a uniform grid with ten cells.
The common DOF 4 of the SV partition and the SD flux point distribution was equal to 0.78. Total variation diminishing (TVD) and total variation bounded (TVB) limiters, see e.g. Wang [113], were used for both the
SV and the SD computation, to ensure solution monotonicity near strong
gradients. The initial solution was
q 0 (x) = 1 +
1
sin (x) .
2
(7.8)
7.2. ILLUSTRATION
Exact
SV
SD
1.4
1.4
1.2
1.2
0.8
0.8
0.6
0.6
0.4
1
Exact
SV
SD
1.6
1.6
0.4
0.8
0.6
0.4
0.2
0
x
0.2
0.4
0.6
0.8
0.8
0.6
0.4
0.2
0
x
0.2
0.4
0.6
0.8
Figure 7.2: Identical fourth-order SV and SD results for Burgers equation in 1D.
Kutta scheme, Shu [89], was used, with a small time step, to ensure negligible time discretization errors. It is clear from the figure that the SV
and SD solutions are identical up to machine accuracy. Consequently, 1D
results given in the following chapters are always valid for both the SV
and the SD method.
91
92
Chapter 8
(8.1)
(8.2)
is introduced in this linear advection equation, it is found that the following exact dispersion relation is valid for a solution to this equation:
R = 0
and
= ak,
(8.3)
=
R x
mensionless parameters are then K = kx, = x
R
a
a and
x
= a . A thorough overview of the 1D methodology is included in Section B.1.1.
It was shown in the previous chapter that in 1D, the SV and SD methods
are equivalent. Consequently, the wave propagation properties of these
methods are the same, and both methods can be analyzed simultaneously.
The results of this analysis for schemes with different orders of accuracy
and with an upwind Riemann flux are discussed in the following sections.
8.1.1
(8.4)
This expression is periodic in K, with a period equal to 2. The dimen R and angular frequency
are plotted
sionless modified dissipation rate
versus the dimensionless wave number K in Figure 8.2, for K = l 5 with
l = 0, ..., 10. Notice that there are two values for each K: one indeed corresponds to a wave number K, but the other corresponds to a wave number
94
(a) SV.
(b) SD.
Figure 8.1: Second-order 1D SV and SD cells. SD solution () and flux points (N).
0
0.5
1
1.5
2
2.5
3
3.5
4
3
4
Wave Number
2
1
0
1
2
3
R vs. K.
(a)
3
4
Wave Number
I =
vs. K.
(b)
Figure 8.2: Eigenvalues for second-order SV/SD schemes with upwind Riemann
R and
versus K.
flux.
K 2. To identify to which wave number each value belongs, the corresponding eigenmode solution shapes should be examined. These are shown
in Figure 8.3 for l = 0, ..., 5. The plots for l = 6, ..., 10 are similar to those
shown in this figure, in accordance with the symmetry in Figure 8.2, where
R ( + K) =
R ( K) and
( + K) =
( K). From these plots
of the mode shapes, the actual wave number to which a certain eigenvalue
belongs can easily be determined.
The diffusive and dispersive properties are then plotted versus the wave
number in Figure 8.4. Because of the symmetry that was mentioned above,
the curves are only shown for positive K. It is clear that the scheme is sta R is always nonpositive. The maximum dimensionless wave
ble, since
number that is resolved by the scheme is 2, which corresponds to a minimum wave length min = x on a uniform grid with cell size x. Notice
that the scheme becomes less accurate for increasing wave numbers. This
is not surprising if one looks at the solution representation of the highfrequency waves in Figure 8.3, where it is obvious that those waves cannot be accurately represented by the numerical method. Furthermore, the
amplitude of the discontinuities in the numerical solution at cell interfaces
95
0.5
0.5
Mode Shape
Mode Shape
0.5
1
0
0.5
5
Cell
1
0
10
0.5
0.5
Mode Shape
Mode Shape
(a) K = 0.
0.5
1
0
5
Cell
(b) K =
.
5
10
10
10
1
0
10
2 5 .
5
Cell
(d) K =
0.5
0.5
Mode Shape
Mode Shape
5
Cell
0.5
(c) K =
0.5
1
0
3 5 .
0.5
5
Cell
(e) K =
1
0
10
4 5 .
5
Cell
(f) K = .
Figure 8.3: Eigenmode shapes for second-order SV/SD schemes with upwind Riemann flux, for K = l 5 with l = 0, ..., 5.
96
1
0
1
2
3
4
Exact
2nd Order SD/SV
5
0
3
Wave Number
Exact
2nd Order SD/SV
5
4
3
2
1
0
0
R vs. K).
(a) Diffusive properties (
3
Wave Number
vs. K).
(b) Dispersive properties (
grows with increasing K, and thus the contribution of the damping term
in the Riemann flux also increases. The present second-order scheme has
good wave propagation properties for dimensionless wave numbers up to
K 1, which correspond to wave lengths longer than 2x.
1
5
+
e
1
3
3
2
3
+
= 0, (8.5)
1 23
1 23
1 23
R I
of this
and is again periodic in K with period 2. The solutions
cubic equation are plotted versus K in Figure 8.6, for 3 = 0.58 and K = l 5
with l = 0, ..., 10. The eigenmodes solution shapes are shown in Figure
0.58
3
0.58
+3
(a) SV.
0.58
3
0.58
+3
(b) SD.
Figure 8.5: Third-order 1D SV and SD cells. SD solution () and flux points (N).
97
1
2
3
4
5
6
7
8
3
4
Wave Number
4
2
0
2
4
6
R vs. K.
(a)
3
4
Wave Number
I =
vs. K.
(b)
Figure 8.6: Eigenvalues for third-order SV/SD schemes with parameter 3 = 0.58
R and
versus K.
and upwind Riemann flux.
0.5
0.5
Mode Shape
Mode Shape
0.5
1
0
0.5
5
Cell
1
0
10
0.5
0.5
Mode Shape
Mode Shape
(a) K = 0.
0.5
1
0
5
Cell
(b) K =
.
5
10
10
10
1
0
10
2 5 .
5
Cell
(d) K =
0.5
0.5
Mode Shape
Mode Shape
5
Cell
0.5
(c) K =
0.5
1
0
3 5 .
0.5
5
Cell
(e) K =
1
0
10
4 5 .
5
Cell
(f) K = .
Figure 8.7: Eigenmode shapes for third-order 1D SV/SD schemes with 3 = 0.58
and upwind Riemann flux, for K = l 5 with l = 0, ..., 5.
99
Exact
SD3/SV3 (3=0.50)
SD3/SV3 (3=0.58)
SD3/SV3 ( =0.65)
9
8
7
2
6
5
4
6
Exact
SD3/SV3 ( =0.50)
3
SD3/SV3 (3=0.58)
SD3/SV3 (3=0.65)
8
10
0
2
1
4
5
Wave Number
0
0
R vs. K).
(a) Diffusive properties (
vs. K).
(b) Dispersive properties (
0.04
0.01
Max(Re(Eigenvalue))
0.02
0.03
0.04
0.05
0.06
0.07
0.08
0.09
0
Exact
SD3/SV3 ( =0.50)
3
SD3/SV3 ( =0.58)
3
SD3/SV3 ( =0.65)
1
0.02
0.01
0.5
0.03
1.5
Wave Number
2.5
0
0
0.1
0.2
0.3
0.4
0.5
3
0.6
0.7
0.8
0.9
max R versus 3 .
100
0.78
4
0.78
+4
0.78
4
(a) SV.
0.78
+4
(b) SD.
Figure 8.11: Fourth-order 1D SV and SD cells. SD solution () and flux points (N).
10
2
4
6
8
10
12
14
3
4
Wave Number
10
R vs. K.
(a)
3
4
Wave Number
I =
vs. K.
(b)
101
0.5
0.5
Mode Shape
Mode Shape
0.5
1
0
0.5
5
Cell
1
0
10
0.5
0.5
Mode Shape
Mode Shape
(a) K = 0.
0.5
1
0
5
Cell
(b) K =
.
5
10
10
10
1
0
10
2 5 .
5
Cell
(d) K =
0.5
0.5
Mode Shape
Mode Shape
5
Cell
0.5
(c) K =
0.5
1
0
3 5 .
0.5
5
Cell
(e) K =
10
4 5 .
1
0
5
Cell
(f) K = .
Figure 8.13: Eigenmode shapes for fourth-order 1D SV/SD schemes with 4 = 0.78
and upwind Riemann flux, for K = l 5 with l = 0, ..., 5.
102
Exact
SD4/SV4 (4=0.7071)
SD4/SV4 (4=0.78)
SD4/SV4 (4=0.86)
12
Modified Angular Frequency
0
2
4
6
8
10
12
Exact
SD4/SV4 (4=0.7071)
SD4/SV4 (4=0.78)
SD4/SV4 ( =0.86)
14
16
10
18
0
6
Wave Number
10
8
6
4
2
0
0
12
R vs. K).
(a) Diffusive properties (
6
Wave Number
10
12
vs. K).
(b) Dispersive properties (
0.3
Max(Re(Eigenvalue))
0.01
0.01
0.02
0.03
0.04
0.05
0.06
0.07
0.08
0
Exact
SD4/SV4 ( =0.7071)
4
SD4/SV4 ( =0.78)
4
SD4/SV4 ( =0.86)
1
1.5
0.2
0.15
0.1
0.05
0.5
0.25
2
2.5
3
Wave Number
3.5
4.5
0
0
0.1
0.2
0.3
0.4
0.5
4
0.6
0.7
0.8
0.9
max R versus 4 .
8.1.4
p
1
2
3
4
5
1
1
1
1
1
1
2
0
0.58
0.78
0.83
0.88
3
+1
+0.58
0
0.36
0.53
+1
+0.78
+0.36
0
104
+1
+0.83
+0.53
+1
+0.88
+1
0.5
1
1.5
2
2.5
3
3.5
4
4.5
0
SV/SD2
SV/SD3
SV/SD4
SV/SD5
SV/SD6
Exact
0.5
2.5
2
SD/SV2
SD/SV3
SD/SV4
SD/SV5
SD/SV6
Exact
1.5
1
0.5
1.5
2
Wave Number/(p+1)
2.5
0
0
R vs. K).
(a) Diffusive properties (
0.5
1.5
2
Wave Number/(p+1)
2.5
vs. K).
(b) Dispersive properties (
Figure 8.17: Diffusive and dispersive properties for optimized second- to sixth Re
K
order 1D SV/SD schemes with upwind Riemann flux.
and p+1
versus p+1
.
p+1
erally needed for high-order schemes, and why they are more difficult to
converge than lower-order ones.
Huynh [55] recently proved that using the Legendre-Gauss quadrature
points and the two end points of the cell as CV boundaries or flux points
results in stable 1D SV or SD schemes of arbitrary orders of accuracy. This
was verified for schemes with orders of accuracy up to thirty, using the
present wave propagation analysis. For second- up to sixth-order accurate
schemes, this choice results in the sets of CV faces or flux points listed in
Table 8.2. The corresponding wave propagation properties are plotted in
Figure 8.18.
The second-order scheme is uniquely defined, and consequently the curves
for this scheme are the same in Figures 8.17 and 8.18. Interestingly,
p
1
2
3
4
5
3
q
3
5
q
525+70 30
35
q
35+2 70
3 7
1
q
3
5
1
1
1
52570 30
35
q
352 70
3 7
52570 30
35
0
105
525+70 30
35
q
352 70
3 7
35+2 70
3 7
0.5
1
1.5
2
2.5
3
3.5
4
4.5
0
SV/SD2
SV/SD3
SV/SD4
SV/SD5
SV/SD6
Exact
0.5
2.5
2
SV/SD2
SV/SD3
SV/SD4
SV/SD5
SV/SD6
Exact
1.5
1
0.5
1.5
2
Wave Number/(p+1)
2.5
0
0
R vs. K).
(a) Diffusive properties (
0.5
1.5
2
Wave Number/(p+1)
2.5
vs. K).
(b) Dispersive properties (
K
upwind Riemann flux.
and p+1
versus p+1
.
p+1
the curves corresponding to the third- and fourth-order schemes are also
almost identical. This is not a surprise, since 13 0.577 0.58 and
q
3
5 0.775 0.78. The third- and fourth-order schemes with GaussLegendre quadrature point distributions for CV faces or flux points thus
correspond to the optimal ones for wave propagation. The fifth- and sixthorder accurate schemes are not identical though. Comparison of Figures
8.17 and 8.18 shows that the schemes corresponding to Table 8.1 have better diffusion and dispersion properties for high wave numbers than the
ones defined by the Legendre-Gauss quadrature points in Table 8.2. For
the lower wave number range, both schemes have good properties, and it
is not possible to identify the best scheme from these figures. However,
the latter schemes are readily defined and stable for arbitrary orders of
accuracy, whereas the definition of distributions based on the wave propagation properties becomes increasingly more cumbersome for higher-order
schemes, due to the large number of DOFs of these partitions or distributions.
8.1.5
3.5
2
3
4
5
6
7
0
DG2
DG3
DG4
DG5
DG6
Exact
0.5
3
2.5
DG2
DG3
DG4
DG5
DG6
Exact
2
1.5
1
0.5
1.5
2
Wave Number/(p+1)
2.5
0
0
R vs. K).
(a) Diffusive properties (
0.5
1.5
2
Wave Number/(p+1)
2.5
vs. K).
(b) Dispersive properties (
K
schemes with upwind Riemann flux.
and p+1
versus p+1
.
p+1
8.1.6 Illustration
The results that were discussed in the previous sections are illustrated
with a model problem described by the 1D linear advection equation (8.1),
with a = 1. The initial solution is a Gaussian pulse
"
2 #
x
0.5
,
(8.6)
q 0 (x) = exp
b
107
0.8
0.8
0.6
0.6
q
0.4
0.4
0.2
0.2
0
0
0.1
0.2
0.3
0.4
0.5
x
0.6
0.7
0.8
0.9
(a) t = 30.
0
0
0.1
0.2
0.3
0.4
0.5
x
0.6
0.7
0.8
0.9
(b) t = 45.
Figure 8.20: Illustration of the weak instability of the fourth-order SV/SD schemes
based on Gauss-Lobatto points, for the 1D linear advection of a Gaussian pulse.
108
109
Table 8.3: Grid convergence study for the 1D linear advection equation using the
SV/SD schemes that were designed to have good wave propagation properties.
p
1
x
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
#DOF
20
40
80
160
320
640
L1 error
1.31e 1
7.08e 2
4.07e 2
1.66e 2
4.75e 3
1.23e 3
L1 order
0.89
0.80
1.29
1.81
1.95
L error
5.57e 1
4.89e 1
2.96e 1
1.56e 1
4.98e 2
1.29e 2
L order
0.19
0.72
0.92
1.65
1.95
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
30
60
120
240
480
960
6.20e 2
2.03e 2
2.84e 3
1.97e 4
1.28e 5
1.07e 6
1.61
2.84
3.85
3.94
3.58
3.87e 1
1.41e 1
3.10e 2
2.67e 3
2.02e 4
1.66e 5
1.46
2.19
3.54
3.72
3.61
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
40
80
160
320
640
1280
2.33e 2
3.17e 3
9.57e 5
3.54e 6
1.88e 7
1.12e 8
2.88
5.05
4.76
4.23
4.07
1.73e 1
2.72e 2
1.21e 3
6.06e 5
3.55e 6
2.22e 7
2.67
4.49
4.32
4.09
4.00
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
50
100
200
400
800
1600
6.92e 3
4.85e 4
2.31e 5
8.02e 7
2.57e 8
8.07e 10
3.83
4.39
4.85
4.96
4.99
4.29e 2
4.61e 3
2.80e 4
1.04e 5
3.28e 7
1.02e 8
3.22
4.04
4.75
4.99
5.01
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
60
120
240
480
960
1920
2.01e 3
6.72e 5
1.06e 6
1.66e 8
2.60e 10
4.48e 12
4.90
5.99
6.00
6.00
5.86
2.07e 2
7.69e 4
1.43e 5
2.15e 7
3.56e 9
6.16e 11
4.75
5.75
6.06
5.92
5.85
110
Table 8.4: Grid convergence study for the 1D linear advection equation using the
SV/SD schemes based on the Gauss-Legendre quadrature points.
p
1
x
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
#DOF
20
40
80
160
320
640
L1 error
1.31e 1
7.08e 2
4.07e 2
1.66e 2
4.75e 3
1.23e 3
L1 order
0.89
0.80
1.29
1.81
1.95
L error
5.57e 1
4.89e 1
2.96e 1
1.56e 1
4.98e 2
1.29e 2
L order
0.19
0.72
0.92
1.65
1.95
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
30
60
120
240
480
960
6.21e 2
2.04e 2
2.82e 3
1.96e 4
1.25e 5
1.03e 6
1.61
2.85
3.85
3.97
3.60
3.86e 1
1.42e 1
3.12e 2
2.64e 3
1.96e 4
1.57e 5
1.44
2.19
3.56
3.75
3.64
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
40
80
160
320
640
1280
2.34e 2
2.81e 3
7.40e 5
2.48e 6
1.31e 7
8.04e 9
3.06
5.25
4.90
4.24
4.03
1.66e 1
2.64e 2
9.51e 4
5.13e 5
3.29e 6
2.10e 7
2.65
4.79
4.21
3.96
3.97
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
50
100
200
400
800
1600
9.18e 3
2.46e 4
3.09e 6
8.06e 8
2.47e 9
7.73e 11
-
5.22
6.31
5.26
5.03
5.00
6.27e 2
3.35e 3
6.62e 5
2.11e 6
6.51e 8
2.04e 9
4.23
5.66
4.97
5.02
5.00
0.100000
0.050000
0.025000
0.012500
0.006250
0.003125
60
120
240
480
960
1920
2.41e 3
1.34e 5
1.81e 7
2.75e 9
4.31e 11
9.08e 13
7.49
6.21
6.04
6.00
5.57
2.19e 2
2.42e 4
4.14e 6
7.95e 8
1.32e 9
2.22e 11
6.50
5.87
5.70
5.91
5.89
111
(8.7)
(8.8)
= ak cos ( ) .
and
(8.9)
1.5
1.5
0.5
0.5
0.5
0.5
1.5
1.5
2
2
0
x
2
2
0
x
112
In 2D, the SV and SD methods are not equivalent. In the following sections, SV schemes for triangular cells, SD schemes for triangular cells and
SD schemes for quadrilateral cells are discussed.
and are plotted versus K in Figure 8.23. There are no eigenval- Figure 8.22: Second-order SV partition of
ues with positive real components, a triangular cell.
which shows that the scheme is
stable for = = 6 . This is also
the case for any other combination of and and thus, the scheme is always stable. Three of the resulting curves for = = 6 , namely those
rendered with the plus symbol (+), the square () and the circle (), have
a straightforward physical interpretation. The other three curves (, ,
) are strongly damped, and thus correspond to solution eigenmodes that
do not play any role of significance. Application of an analogous procedure
that was used in the 1D case allows to identify the real dimensionless wave
number to which an eigenvalue corresponds. This real wave number is K
4
plus a whole multiple of
.
3
113
1
2
3
4
5
6
7
0
3
4
Wave Number
R vs. K.
(a)
3
4
Wave Number
I =
vs. K.
(b)
Figure 8.23: Eigenvalues for second-order SV scheme with upwind Riemann flux,
R and
versus K.
for = = 6 .
0
1
2
3
4
5
6
7
0
Exact
SV2
1
5
6
Wave Number
0
0
10
R vs. K).
(a) Diffusive properties (
Exact
SV2
5
6
Wave Number
10
vs. K).
(b) Dispersive properties (
114
0.05
1
Modif. Ang. Freq./Wave Num.
0
0.05
0.1
0.15
0.2
Exact
K=/4
K=/2
K=4/5
0.25
0.3
0
3
Angle
0.99
0.98
0.97
0.96
0.95
Exact
K=/4
K=/2
K=4/5
0.94
0.93
0
R vs. K).
(a) Diffusive properties (
3
Angle
(K
vs. K).
more significant for larger K. The scheme is the most accurate for angles
= = 6 + l 3 and the least accurate for = = l 3 , with l an integer
number.
Third-order schemes
The general third-order partition of a triangular cell was discussed in Section 5.7.2. There are two DOFs for such partitions, labeled 3 and 3 . By
examining the resulting wave propagation properties, appropriate values
for 3 and 3 can be selected. For the third-order partitions under consideration here, these parameters are summarized in Table 8.5, along with
the corresponding Lebesgue constants k k. The modified dispersion relation is a polynomial equation of degree twelve in the present case, with
for each combination of K, and .
twelve eigenvalues
Partition
SV3W
SV3L
SV3Wb
SV3C
SV3P
0.1093621117
0.091
0.1730022492
0.18
1
4
1
4
1
4
115
2
3
1
4
1
3
k k
8.0000
3.6000
3.9643
3.0630
3.0705
0.866
0.866
0.866
0.433
0.433
0.433
0
0
0.5
0
0
0.5
0.5
1
0
1
Im(Eigenvalue)
Im(Eigenvalue)
Im(Eigenvalue)
0
1
0
1
2
2
3
4
0.2
0.15
0.1
0.05
0
0.05
Re(Eigenvalue)
0.1
0.15
0.2
3
0.01 0.008 0.006 0.004 0.002
0
0.002 0.004 0.006 0.008
Re(Eigenvalue)
0.01
3
0.01 0.008 0.006 0.004 0.002
0
0.002 0.004 0.006 0.008
Re(Eigenvalue)
0.01
Figure 8.27: Detail near imaginary axis of Fourier footprints of unstable thirdorder SV schemes for triangular cells.
116
SV3W
0.6
0
0.25
0.5
1
0.2
0.3
0.2
SV3L
SV3P
SV3C
0.1
0
0
0.1
0.2
0.3
0.4
0.5
SV3Wb
SV3P
0.4
SV3C
0.15
0.1
0.05
0
0
0.05
0.1
0.15
0.2
0.866
0.866
0.433
0.433
0
0
0.5
0.5
14
12
5
10
15
20
Exact
SV3C
SV3P
25
0
Exact
SV3C
SV3P
10
8
6
4
2
6
8
Wave Number
10
12
0
0
14
R vs. K).
(a) Diffusive properties (
6
8
Wave Number
10
12
14
vs. K).
(b) Dispersive properties (
0.05
0.1
Exact
SV3C K=/2
SV3C K=
SV3P K=/2
SV3P K=
0.15
0.2
0
3
Angle
0.05
0.995
R vs. K).
(a) Diffusive properties (
Exact
SV3C K=/2
SV3C K=
SV3P K=/2
SV3P K=
0.99
3
Angle
(K
vs. K).
118
Partition
SV4W
SV4C
SV4P
SV4H
1
15
2
15
1
15
2
15
0.0326228301
0.0425080882
0.0504398911
0.1562524902
0.078
0.104
0.052
0.351
0.12061033
0.12129456
0.066666667
0.312260947
k k
3.4448
3.2129
4.2446
4.0529
Two of the partitions listed in Table 8.6 lead to weakly unstable schemes.
The fourth-order partition shown in Figure 8.32(a) is often used in literature and is labeled SV4W. It was first proposed in Wang and Liu [116]
2
1
2
1
, 4 = 15
, 4 = 15
and 4 = 15
. The other partiand is defined by 4 = 15
tion was presented in Harris and Wang [42], is labeled SV4H and is shown
in Figure 8.32(b). Its parameters are 4 = 0.12061033, 4 = 0.12129456,
4 = 0.066666667 and 4 = 0.312260947. The SV4H partition results in a
scheme with very good wave propagation properties for = = 6 . The instability of this scheme occurs for propagation angles that are about zero.
Details of the Fourier footprints of these two schemes can be seen in Figure 8.33. Some of the eigenvalues lie in the right half of the complex plane
in both cases. A general discussion about the dependence of stability on
the partition parameters for fourth-order SV schemes is very complicated,
because the parameter space of these partitions is four-dimensional.
Two stable partitions are known in literature. The first, labeled SV4C,
119
0.866
0.866
0.433
0.433
0
0
0.5
0.5
Im(Eigenvalue)
Im(Eigenvalue)
0
1
2
0
1
2
3
0.01 0.008 0.006 0.004 0.002
0
0.002 0.004 0.006 0.008
Re(Eigenvalue)
0.01
3
0.01 0.008 0.006 0.004 0.002
0
0.002 0.004 0.006 0.008
Re(Eigenvalue)
0.01
Figure 8.33: Detail near imaginary axis of Fourier footprints of unstable thirdorder SV schemes for triangular cells.
was obtained by Chen [21], using the same technique that lead to the
third-order SV3C partition. The parameters of this partition are 4 =
0.0326228301, 4 = 0.0425080882, 4 = 0.0504398911 and 4 = 0.1562524902.
The second was presented by the author of the present thesis, and was designed to have good wave propagation properties. It is called SV4P and has
the parameters 4 = 0.078, 4 = 0.104, 4 = 0.052 and 4 = 0.351. These
two partitions are illustrated in Figure 8.34. The modified dissipation rate
R and angular frequency
are plotted versus K for = = in Figure
6
8.35. The influence of the angle = is illustrated in Figure 8.36. It is
clear that the SV4P-scheme is superior to the SV4C-scheme.
120
0.866
0.866
0.433
0.433
0
0
0.5
0.5
18
16
Modified Angular Frequency
5
10
15
20
25
30
35
0
Exact
SV4C
SV4P
Exact
SV4C
SV4P
14
12
10
8
6
4
2
8
10
Wave Number
12
14
16
0
0
18
R vs. K).
(a) Diffusive properties (
8
10
Wave Number
12
14
16
18
vs. K).
(b) Dispersive properties (
0.05
0.05
0.1
0.15
0.2
0.25
Exact
SV4C K=
SV4C K=3/2
SV4P K=
SV4P K=3/2
0.3
0.35
0.4
0.45
0
Exact
SV4C K=
SV4C K=3/2
SV4P K=
SV4P K=3/2
1.03
Modif. Ang. Freq./Wave Num.
3
Angle
1.025
1.02
1.015
1.01
1.005
1
0.995
0
R vs. K).
(a) Diffusive properties (
3
Angle
(K
vs. K).
121
0.08
Residual L2-norm
Residual L2-norm
0.10
0.06
0.04
0.02
0.00
10 1
10 2
(a) p = 2, =
10 3
Iter
,
2
10 4
0.08
0.06
0.04
0.02
0.00
10 5
SV4W
SV4C
SV4P
SV4H
10 1
10 2
10 3
Iter
10 4
10 5
(b) p = 3, = 0, t = 0.001.
t = 0.005.
Figure 8.37: Residual histories for the linear advection of a 2D Gaussian pulse,
obtained with the SV method.
122
solution eigenmode with a polynomial growth, and thus to a very weak instability, which could cause the loss of the expected order of accuracy that
is observed in Table 8.7. Also notice that for = 0, the rows of cells parallel to the propagation direction are uncoupled, since the fluxes between
these rows are zero.
The somewhat strange-looking values for the cell size in Table 8.8 are chosen to obtain an integer number of cells in an interval of length one in the
propagation direction. The cell sizes in Table 8.8 thus correspond to those
in Table 8.7 times 23 . For this case, the expected orders of accuracy are
achieved with all the schemes. It is also seen from Tables 8.7 and 8.8 that
lower errors can be obtained with less DOFs if higher-order schemes are
used.
123
Table 8.7: Grid convergence study for the 2D linear advection equation using the
SV schemes for triangular cells. Wave propagation angle = 0.
p
1
x
0.20000
0.10000
0.05000
0.02500
0.01250
0.00625
#DOF
180
720
2880
11520
46080
184320
L1 error
2.52e 2
2.00e 2
1.05e 2
5.04e 3
2.47e 3
1.24e 3
L1 order
0.33
0.93
1.06
1.03
0.97
L error
2.22e 1
3.58e 1
2.03e 1
9.87e 2
4.48e 2
2.13e 2
L order
0.69
0.82
1.04
1.14
1.04
2
SV3C
0.20000
0.10000
0.05000
0.02500
0.01250
360
1440
5760
23040
92160
1.67e 2
6.32e 3
1.36e 3
2.76e 4
6.29e 5
1.40
2.21
2.31
2.13
3.95e 1
1.92e 1
5.14e 2
1.16e 2
2.51e 3
1.04
1.90
2.15
2.21
2
SV3P
0.20000
0.10000
0.05000
0.02500
0.01250
360
1440
5760
23040
92160
1.65e 2
6.07e 3
1.26e 3
2.26e 4
4.74e 5
1.45
2.27
2.47
2.26
3.88e 1
1.83e 1
4.55e 2
8.56e 3
1.64e 3
1.08
2.01
2.41
2.39
3
SV4C
0.20000
0.10000
0.05000
0.02500
600
2400
9600
38400
1.12e 2
1.92e 3
1.66e 4
1.48e 5
2.55
3.53
3.48
2.20e 1
5.32e 2
6.56e 3
5.20e 4
2.05
3.02
3.66
3
SV4P
0.20000
0.10000
0.05000
0.02500
600
2400
9600
38400
9.26e 3
1.22e 3
1.14e 4
1.03e 5
2.93
3.41
3.47
1.52e 1
4.76e 2
5.24e 3
4.17e 4
1.67
3.18
3.65
124
Table 8.8: Grid convergence study for the 2D linear advection equation using the
SV schemes for triangular cells. Wave propagation angle = 2 .
p
1
x
0.28868
0.11547
0.05774
0.02887
0.01443
0.00707
#DOF
150
600
2400
9600
38400
153600
L1 error
3.32e 2
1.97e 2
7.67e 3
2.31e 3
6.06e 4
1.53e 4
L1 order
0.57
1.36
1.73
1.93
1.93
L error
2.54e 1
4.08e 1
2.52e 1
1.03e 1
2.96e 2
7.75e 3
L order
0.52
0.70
1.29
1.80
1.88
2
SV3C
0.28868
0.11547
0.05774
0.02887
0.01443
300
1200
4800
19200
76800
3.70e 2
5.32e 3
7.53e 4
9.43e 5
1.19e 5
2.12
2.82
3.00
2.99
6.71e 1
2.03e 1
4.11e 2
5.52e 3
6.85e 4
1.30
2.30
2.90
3.01
2
SV3P
0.28868
0.11547
0.05774
0.02887
0.01443
300
1200
4800
19200
76800
3.69e 2
5.32e 3
7.61e 4
9.64e 5
1.22e 5
2.12
2.80
2.98
2.98
6.71e 1
2.04e 1
4.17e 2
5.61e 3
6.99e 4
1.30
2.29
2.89
3.01
3
SV4C
0.28868
0.11547
0.05774
0.02887
500
2000
8000
32000
3.47e 2
1.85e 3
1.04e 4
5.04e 6
3.20
4.16
4.36
6.20e 1
8.13e 2
6.32e 3
3.75e 4
2.22
3.69
4.07
3
SV4P
0.28868
0.11547
0.05774
0.02887
500
2000
48000
32000
1.39e 2
7.68e 4
4.02e 5
2.31e 6
3.16
4.26
4.12
3.13e 1
3.40e 2
3.17e 3
2.29e 4
2.42
3.42
3.79
125
8.2.2
Second-order schemes
Consider the second-order triangular SD cell shown in Figure
8.38. Combining the averaged- 0.866
upwind Riemann flux approach, as
discussed in Section 6.1, with this
SD cell, an unstable scheme is obtained. This is illustrated in Fig- 0.433
ure 8.39, which shows the schemes
Fourier footprint. In agreement
with Theorem 6.1, this Fourier
footprint is independent of the so0
lution point distribution. The other
two Riemann flux approaches that
0
0.5
1
were discussed in Section 6.1,
namely the semi-upwind and the Figure 8.38: Second-order triangular SD
full-upwind approach, lead to sta- cell. Solution () and flux points (N).
ble schemes. The corresponding
Fourier footprints are shown in
Figure 8.40. Notice that the full-upwind approach leads to a more compact footprint than the semi-upwind approach. Consequently, the former
will generally allow larger time steps than the latter, if an explicit time
marching scheme is used.
The dependence of the diffusive and dispersive properties upon the angles
= , for various wave numbers K, is illustrated in Figure 8.41 for the
semi-upwind Riemann flux approach and in Figure 8.42 for the full-upwind
Riemann flux approach. Due to the symmetry of the equilateral triangle
grid, they are periodic in = with a period equal to 3 . Both approaches
lead to schemes that are the most accurate for = = 6 + l 3 and the
least accurate for = = l 3 , with l an integer number. The scheme with
the semi-upwind approach is significantly less diffusive, and consequently
more accurate, than the one with the full-upwind approach.
126
4
1.5
1
2
Im(Eigenvalue)
Im(Eigenvalue)
1
0
1
2
0.5
0
0.5
1
1.5
4
5
8
4
3
2
Re(Eigenvalue)
2
0.1
0.04
0.06
0.08
0.1
Im(Eigenvalue)
Im(Eigenvalue)
Figure 8.39: Fourier footprint of second-order SD scheme for triangular cells, with
averaged-upwind Riemann flux approach.
1
0
1
1
0
1
5
8
4
3
2
Re(Eigenvalue)
5
8
4
3
2
Re(Eigenvalue)
0.1
0.2
0.3
0.4
Exact
K=/4
K=/2
K=4/5
0.5
0
3
Angle
0.98
0.96
0.94
0.92
Exact
K=/4
K=/2
K=4/5
0.9
0
3
Angle
R vs. K).
(a) Diffusive properties (
127
0.2
0.3
0.4
Exact
K=/4
K=/2
K=4/5
0.5
0
3
Angle
0
0.1
0.98
0.96
0.94
0.92
Exact
K=/4
K=/2
K=4/5
0.9
0
R vs. K).
(a) Diffusive properties (
3
Angle
(K
vs. K).
Third-order schemes
Figure 8.43 shows the two possible general triangular third-order SD cells,
with cubic flux polynomial distributions with at least three points at each
face.Thedependence of the maximum real component of the eigenvalues
R upon the flux point distribution parameter 3 is illustrated in
max
Figure 8.44 for the cell with corner flux points, shown in Figure 8.43(a).
Similar plots for the cell without corner flux points, see Figure 8.43(b),
are included in Figure 8.45. It is seen that neither cell leads to a stable
0.866
0.866
0.433
0.433
0
0
0.2
0.5
0.2
0.5
Figure 8.43: Third-order triangular SD cells. Solution () and flux points (N).
128
0.5
0.5
0.4
0.4
Max(Re(Eigenvalue))
Max(Re(Eigenvalue))
0.3
0.2
0.1
0
0
0.3
0.2
0.1
0.05
0.1
0.15
0.2
0.25
3
0.3
0.35
0.4
0.45
0
0
0.5
0.05
0.1
0.15
0.2
0.25
3
0.3
0.35
0.4
0.45
0.5
with corner flux points on the flux point distribution: max R versus 3 .
0.5
Max(Re(Eigenvalue))
Max(Re(Eigenvalue))
0.4
0.3
0.2
1.5
0.5
0.1
0
0
0.05
0.1
0.15
0.2
0.25
3
0.3
0.35
0.4
0.45
0
0
0.5
0.05
0.1
0.15
0.2
0.25
3
0.3
0.35
0.4
0.45
0.5
scheme, with neither the semi-upwind nor the full-upwind Riemann flux
approach, for any value of 3 .
The third-order schemes shown in Figure 8.43 include all possible symmetric flux point distributions for an order-complete cubic flux polynomial
in a triangle, with at least three flux points on each face. Consequently, it
has to be concluded that no stable third-order accurate SD schemes, with a
standard third-order Lagrangian flux polynomial treatment, exist. There
is no stable flux point distribution, with any treatment of the corner and
face flux points, even though the instability is very small in some cases.
129
17
2. Notice that with this choice for k, the computawith k = 500.025
tional domain contains an integer number of waves. Consequently, periodic boundary conditions can be applied at all boundaries. The dimensionlesswave number corresponding to this initial solution is K = k 0.025 =
17
2 1.51. This wave number was chosen because it is predicted to be
50
unstable by a wave propagation analysis for a grid consisting of right triangles. The L1 -norm of the residual versus the physical time for two thirdorder SD schemes, without corner flux points and with a semi-upwind approach, is shown in Figure 8.46. The left plot was obtained with the scheme
10
10
10
Residual
Residual
10
10
10
10
10
0.5
1.5
2.5
10
10
10
10
10
10
Time
Time
(a) 3 = 0.1.
(b) 3 =
5 5
.
10
130
Table 8.9: Comparison of observed and predicted growth rates, for the 2D linear
advection equation and third-order SD schemes for triangles, with a semi-upwind
Riemann flux approach.
3
0.1
5 5
10
mode
slow (K 1.51)
fast
slow (K 1.51)
fast
R obs
1.22e 1
1.82e + 1
3.37e 1
4.95e + 0
R obs
2.16e 3
3.22e 1
5.96e 3
8.75e 2
R pred
2.19e 3
3.25e 1
6.00e 3
8.78e 2
5 5
et al. [67], defined by 3 = 10 .
As predicted by the wave propagation analysis, neither scheme is stable.
With both schemes, two distinctive growing modes can be discerned, one
that grows slowly and one that grows faster. The slow mode corresponds to
the dominant mode in the initial condition, with dimensionless wave number K = 1.51. The fast one is the most unstable mode of the scheme, and is
triggered by round-off errors in the solution.
The wave propagation analysis is further validated in Table 8.9, where
the growth rates observed in the simulation are compared to the ones predicted by the analysis, for both the slow and the fast modes. The dimensional growth rates R correspond to the slopes in the linear-log plots in
Figure 8.46. For the present case, the corresponding dimensionless values
1 The
generating pattern of a uniform grid is the smallest part from which the full grid can
be reconstructed by periodically repeating the pattern in all directions. See also Section B.1.
132
0.2
0.3
0.4
Exact
K=/4
K=/2
K=4/5
0.5
0
3
Angle
0
0.1
0.98
0.96
0.94
0.92
Exact
K=/4
K=/2
K=4/5
0.9
0
R vs. K).
(a) Diffusive properties (
3
Angle
(K
vs. K).
Third-order schemes
Consider a third-order quadrilateral SD cell, as shown in Figure
8.49. The flux point distributions 1
have one parameter, 3 , which is
the same parameter as with the 1D
SD scheme from which the present
scheme is derived. For the 1D
case, the optimal value of 3 was 0
0.58. The corresponding 2D scheme
for quadrilaterals is stable, and its
wave propagation properties are illustrated in Figure 8.50. As with
the second-order scheme that was
1
discussed in the previous section,
the properties for wave propaga1
0
0.58
1
3
tion along the edges of the square
cells ( = = l 2 ) are the same
as the properties of the 1D scheme. Figure 8.49: Third-order quadrilateral
SD cell.
For other angles, the scheme is
more accurate and it is the most accurate for wave propagation along the diagonals of the squares ( = =
4 + l 2 ).
133
0.2
0.4
0.6
Exact
K=/2
K=
K=3/2
0.8
1
0
3
Angle
0.99
0.98
0.97
0.96
Exact
K=/2
K=
K=3/2
0.95
0.94
0
R vs. K).
(a) Diffusive properties (
3
Angle
(K
vs. K).
Higher-order schemes
Higher-order SD schemes for quadrilateral cells have similar properties as
the second- and third-order schemes that were discussed previously. Deriving the schemes from their stable 1D counterparts always leads to a stable
scheme. The properties for wave propagation along the edges of square
cells are the same as the properties of the 1D schemes. For propagation in
other directions, the 2D SD schemes for quadrilaterals are more accurate.
Illustration
The accuracy of the SD schemes for quadrilateral cells, based on the 1D
SD schemes that use the Legendre-Gauss quadrature points and the end
points as flux points, see Table 8.2, is verified with a grid convergence
study for the 2D linear advection equation (8.7), with a = 1. The initial
solution is again a Gaussian pulse given by (8.10), with b = 0.1. A sequence of uniform grids consisting of square cells, as illustrated in Figure
8.21(b), was used. Propagation angles = 0 and = 4 were considered,
corresponding to respectively the least accurate and the most accurate direction of the schemes. A four-stage fourth-order accurate R-K scheme was
used for time marching, with a sufficiently small time step t.
The resulting errors at t = 1 are listed in Table 8.10 for = 0 and in Table
8.11 for = 4 . The SD schemes are convergent and the expected order of
accuracy is observed in all cases. In the L1 -norm, the errors obtained for
= 4 are indeed smaller than those obtained for = 0, in agreement with
the analysis. For the errors in the L -norm, the opposite is true however.
134
Table 8.10: Grid convergence study for the 2D linear advection equation using the
SD schemes for quadrilateral cells. Wave propagation angle = 0.
p
1
x
0.20000
0.10000
0.05000
0.02500
0.01250
0.00625
#DOF
100
400
1600
6400
25600
102400
L1 error
6.50e 03
9.50e 03
4.50e 03
1.60e 03
4.35e 04
1.10e 04
L1 order
0.55
1.08
1.49
1.88
1.98
L error
6.08e 02
4.14e 01
2.28e 01
9.36e 02
2.67e 02
6.70e 03
L order
2.77
0.86
1.28
1.81
1.99
0.20000
0.10000
0.05000
0.02500
0.01250
225
900
3600
14400
57600
9.30e 03
2.40e 03
2.38e 04
2.00e 05
1.98e 06
1.95
3.34
3.57
3.34
2.79e 01
1.05e 01
1.81e 02
1.50e 03
1.44e 04
1.41
2.53
3.59
3.38
0.20000
0.10000
0.05000
0.02500
0.01250
400
1600
6400
25600
102400
3.30e 03
2.80e 04
1.19e 05
5.95e 07
3.61e 08
3.56
4.55
4.32
4.05
1.41e 01
1.63e 02
1.30e 03
1.05e 04
7.11e 06
3.11
3.65
3.63
3.89
0.20000
0.10000
0.05000
0.02500
625
2500
10000
40000
9.73e 04
4.03e 05
7.39e 07
2.11e 08
4.60
5.77
5.13
3.90e 02
4.50e 03
1.31e 04
4.19e 06
3.12
5.10
4.97
0.20000
0.10000
0.05000
0.02500
900
3600
14400
57600
3.38e 04
1.93e 06
4.63e 08
9.16e 10
7.46
5.38
5.66
1.94e 02
2.73e 04
8.13e 06
1.98e 07
6.15
5.07
5.36
135
Table 8.11: Grid convergence study for the 2D linear advection equation using the
SD schemes for quadrilateral cells. Wave propagation angle = 4 .
p
1
x
0.20000
0.10000
0.05000
0.02500
0.01250
0.00625
#DOF
100
400
1600
6400
25600
102400
L1 error
1.34e 02
6.60e 03
2.90e 03
8.60e 04
2.20e 04
5.47e 05
L1 order
1.02
1.19
1.75
1.97
2.01
L error
8.83e 01
5.84e 01
2.89e 01
1.20e 01
3.34e 02
8.40e 03
L order
0.60
1.02
1.27
1.85
1.99
0.20000
0.10000
0.05000
0.02500
0.01250
225
900
3600
14400
57600
5.30e 03
1.40e 03
1.42e 04
1.25e 05
1.35e 06
1.92
3.30
3.51
3.20
3.83e 01
1.54e 01
2.58e 02
2.20e 03
2.64e 04
1.31
2.58
3.55
3.06
0.20000
0.10000
0.05000
0.02500
0.01250
400
1600
6400
25600
102400
2.40e 03
1.69e 04
7.84e 06
4.44e 07
2.76e 08
3.83
4.43
4.14
4.01
2.48e 01
1.79e 02
2.50e 03
1.94e 04
1.26e 05
3.79
2.84
3.68
3.95
0.20000
0.10000
0.05000
0.02500
625
2500
10000
40000
7.44e 04
2.75e 05
5.34e 07
1.53e 08
4.76
5.69
5.13
7.46e 02
7.70e 03
1.90e 04
6.81e 06
3.28
5.34
4.80
0.20000
0.10000
0.05000
0.02500
900
3600
14400
57600
2.33e 04
1.12e 06
3.23e 08
5.80e 10
7.70
5.12
5.80
4.24e 02
2.87e 04
1.41e 05
3.18e 07
7.21
4.35
5.46
136
(8.13)
8.3.1
Second-order SV schemes
1.5
Im(Eigenvalue)
1
0.5
0
0.5
1
1.5
2.5
1.5
1
Re(Eigenvalue)
0.5
8.3.2
Third-order SV schemes
1
2
2
and 12 with steps of 20
and 3 between 30
and 23 with steps of 30
. Notice
that the additional limitation on the parameter space, which was identified
3
, has also been plotted in this
in Section 5.7.3 and given by 3 44
3
+1
R should be zero, and thus the
figure. For the scheme to be stable, max
1
20
1
0.6
0.5
0.5
0
0.5
0.4
1
0.3
1.5
0.2
2
0.1
2.5
0
0
0.1
0.2
0.3
0.4
0.5
i
R
hedral cells: log 10 max
versus
l
20
and 3 =
0.28
0.5
0.26
0.5
0.24
0.22
3
0.2
1
0.18
1.5
0.05
2
2.5
0
0
0.02
0.04
0.06
0.08
0.1
1.5
0.18
0.175
0.17
0.165
0.16
1.5
0.16
0.155
0.14
2.5
0.12
0.1
l, m = 1, ..., 10.
0.185
0.5
0.5
0.1
2m
.
30
0.2
0.15
3 =
0.06
0.08
0.1
0.12
0.14
2.5
0.15
0.145
0.08
0.09
0.1
0.11
0.12
i
R
cells: log10 max
versus 3 and 3 . Details of region with low values of
h
i
R .
log10 max
139
140
3=0.15
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.225
0.3
0.4
0.5
3=0.3
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.375
0.3
0.4
0.5
3=0.45
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.525
0.3
0.4
0.5
3=0.6
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.675
0.3
0.4
0.5
3=0.75
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
0.3
0.4
0.5
141
3=0.15
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.225
0.3
0.4
0.5
3=0.3
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.375
0.3
0.4
0.5
3=0.45
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.525
0.3
0.4
0.5
3=0.6
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.675
0.3
0.4
0.5
3=0.75
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
0.3
0.4
0.5
Figure 8.58:
of third-order SV schemes of the third family for tetrahedral
h Stability
i
R vs. 3 = l , 3 = 2m and 3 = 3n . l, m, n = 1, ..., 10.
cells: log10 max
20
30
40
142
3=0.15
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.225
0.3
0.4
0.5
3=0.3
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.375
0.3
0.4
0.5
3=0.45
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.525
0.3
0.4
0.5
3=0.6
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
3=0.675
0.3
0.4
0.5
3=0.75
1
0.6
1
0.6
0.5
0.5
0.5
0.4
0.5
0.4
0.5
0.5
1
0.3
1
0.3
1.5
1.5
0.2
0.2
2
0.1
0
0
2
0.1
2.5
0.1
0.2
0.3
0.4
0.5
0
0
2.5
0.1
0.2
0.3
0.4
0.5
Figure 8.59:
of third-order SV schemes of the fourth family for tetrahedral
h Stability
i
R vs. 3 = l , 3 = 2m and 3 = 3n . l, m, n = 1, ..., 10.
cells: log10 max
20
30
40
143
8.3.3
Illustration
To verify the analysis of the 3D SV schemes, the test problem used for the
stability analysis is solved with the second-order SV scheme and two thirdorder SV schemes of the two-parameter family of third-order partitions.
The first third-order scheme was proposed by Chen [21] and is defined by
3 = 0.1093621117 and 3 = 0.1730022492. From (5.52), 3 is then equal
to 0.214635999. The other third-order scheme was proposed by Liu et al.
[68] and corresponds to 3 = 3 = 3 = 0.25. The same configuration as
described above was used for this problem, with the number of generating
patterns N GP equal to 13 and the characteristic length of the grid x equal
to one. The initial solution was a plane wave with a Gaussian profile, given
by
"
2 #
x
2.5
q 0 (x, y, z) = exp
.
(8.14)
0.5
For the integration in time, the third-order TVD R-K scheme proposed by
Shu [89] was used, with a time step equal to 0.01. The magnitude of the
propagation speed a was set to one, which results in a CFL-number equal
to 0.01. The residual histories are plotted in Figure 8.60. As predicted
by the analysis, the second-order scheme is stable, while the third-order
schemes are not.
Residual L2-norm
1.0
0.5
0.0
-0.5
2nd order
3rd order, Chen
3rd order, Liu et al.
-1.0
-1.5
-2.0
0
1000000
Iter
2000000
Figure 8.60: Residual histories for the linear advection of a Gaussian pulse in 3D,
obtained with the SV method.
144
Chapter 9
15
15
10
10
10
0
5
10
15
20
Im(Eigenvalue)
15
Im(Eigenvalue)
Im(Eigenvalue)
0
5
10
18
16
14
12
10
8
Re(Eigenvalue)
0
5
10
15
20
18
16
14
12
10
8
Re(Eigenvalue)
15
20
18
16
14
12
10
8
Re(Eigenvalue)
Figure 9.1: Fourier footprints of second- to fourth-order SD schemes for quadrilateral cells for the linear advection equation.
145
0.5
0.5
0.5
0.5
1
150
Im(Eigenvalue)
Im(Eigenvalue)
0.5
100
50
Re(Eigenvalue)
1
150
0.5
1
150
100
50
100
50
Re(Eigenvalue)
(9.1)
D t
,
x2
(9.2)
where x is the spatial grid size. Consider the standard explicit fourthorder four-stage R-K scheme, the formulation of which is given in Section
B.3.2. The stability zone of this scheme is plotted in Figure 9.3, along with
the scaled Fourier footprint of the fourth order SV/SD scheme with the
LSV/LSD approach, for D = 1 and D = 0.022. Obviously, with D = 1, the
full discretization is unstable. For stability, D should be below 0.022, and
thus very small. Consequently, the dimensional time step t is also often
restrictively small. Furthermore, t scales with x2 , which means that
if the grid is twice refined, the time step should be reduced by a factor four
to maintain stability. This problem occurs with any explicit time marching
scheme.
146
1 0.8
0.2
0.40.6
0.6
0.6
1 0.8
0.2
0.40.6
2.5
0.8
1
0.8
1
4
Re(z)
0.8
1
Im(z)
2.5
0.60.4
0.6
5
10
(a) D = 1.0.
1
0.8
5
10
0.2
0
0.8 .4
1
1
0.8
0.6
2.5
0.6
0.2
0
0.8 .4
1
0.4
1 0.8
0.60.40.2
0.4
Im(z)
1 0.8
0.60.40.2
0.6
2.5
0.8
1
4
Re(z)
0.60.4
(b) D = 0.022.
Figure 9.3: Fourier footprint of fourth-order SV/SD scheme with LSV/LSD approach, scaled with the CFL-number D , and stability zone of the explicit fourthorder, four-stage R-K scheme.
With an implicit time marching scheme, like the backward Euler (BE)
scheme, discussed in Section B.3.2 and given by
Qn+1 Qn
= R Qn+1 = Rn+1 ,
t
(9.3)
0.2
0.4
0.6
0.8
0.4
Im(z)
0.6
0.2
0.8
0.4
0.2
In the present chapter, two algorithms to solve a nonlinear algebraic system associated with a full spatial and temporal discretization will be discussed. The first is a Newton-Raphson algorithm coupled with a generalized minimum residual (GMRES) method, developed by Saad and Schultz
147
Q
=
R
,
(9.4)
+
Q
t
t
where I is the unity matrix. This expression is a linear algebraic system,
which should be inverted at each iteration l of the Newton-Raphson algorithm. An interesting property of this method is that its order is two,
which means that the convergence is quadratic1 , and consequently very
fast, provided that the linear systems are solved with sufficient accuracy.
the convergence of an iterative method is quadratic, then the error is squared at each
iteration
148
(9.5)
(9.6)
||Aym b|| .
(9.7)
This is a linear least squares problem, which should be solved at each iteration m.
The convergence of the GMRES algorithm is monotonous, since the Krylov
subspace m contains the entire subspace m 1. It is guaranteed to converge when m is equal to the size of the matrix A. However, it often performs much better and a good approximation of the exact solution y is
obtained after a few iterations. This can be proven for certain classes of
matrices, see e.g. Trefethen and Bau [99]. Unfortunately, some matrices
do exist for which the error stays at a certain fixed level, until the very
last iteration, when it suddenly drops to zero. Luckily, in practice it mostly
performs well. Preconditioning methods, like ILU-preconditioners or the
additive Schwarz method, are often used to accelerate the convergence of
the GMRES algorithm.
An important consideration that has to be made for methods that are
based on the solution of a sparse linear system like (9.4), is the amount
of memory required to store the sparse matrix. For instance, on a grid
with N tetrahedral cells with solution polynomial degree p, and with the
LSV/LSD approach for the diffusive fluxes, the residuals in one cell depend
on the solution in the current cell, the neighbor cells, and the neighbors of
the neighbor cells. The total number of non-zero entries in the sparse matrix is then about
17N
(p + 1) (p + 2) (p + 3)
# physical variables
6
149
2
(9.8)
(p + 1) (p + 2) (p + 3)
# physical variables
6
2
(9.9)
These numbers rapidly increase with p, to the sixth power. This is often
a serious problem for the practical applicability of a high-order implicit
method.
Qcc
(9.10)
t
Qcc
Qnb
nb
with the current cell denoted by the subscript cc, the neighbouring cells
that contribute to its residual by the subscript nb and with Qi = Qn+1
i
Qni . Applying a (symmetric) Gauss-Seidel algorithm to solve this linear
algebraic system results in
n
X Rcc n
I
Rcc
l+1
n
Q ,
Qcc = Rcc +
+
(9.11)
nb
Qcc
t
Qnb
nb
where the approximation of the linear system solution at iteration l is written as Qli , and the superscript signifies the latest available solution (at
iteration l + 1 if the solution in the cell has already been updated in the
current forward or backward Gauss-Seidel sweep over the cells, at iteran
Rcc
tion l if not). To avoid the storage of the off-diagonal block matrices Q
,
nb
this expression is further manipulated to obtain
n
n
Rcc
I
Rcc
l+1
Qcc = Rcc
+
Qlcc ,
(9.12)
Qcc
t
Qcc
where the linearization about time iteration n was again used. Introducing
l+1
^
the notation Q
= Ql+1 Ql = Ql+1 Ql , the final expression
cc
cc
cc
150
cc
cc
Q
.
+
=
R
cc
cc
Qcc
t
t
(9.13)
The cell-wise Jacobian matrices in the left hand side of this expression can
be computed and subjected to a LU decomposition at the beginning of each
time iteration n, which makes the solution of the small linear algebraic systems during the subsequent symmetric Gauss-Seidel (SGS) sweeps much
more efficient. Notice that one SGS sweep actually corresponds to two
sweeps over the cells, one forward and one backward. If the time step t is
not too large, it is possible to freeze the cell-wise Jacobian matrices during a certain number of time iterations, which also leads to an increase in
efficiency.
D =
D t
D,max
x2
(9.17)
is generalized to multi-D as
N f ac
2
t
i D,m Sm
m=1
D,max ,
2
Vi
152
(9.18)
C,max .
(9.19)
Vi
For stability, the global time step t should be sufficiently small such that
the above relation is satisfied for each cell i. Notice that for accuracy, a
smaller value for t may be required.
For steady computations, one is only interested in the steady state solution, with the derivatives to time equal to zero. The transient solution
does not have to be computed accurately, and consequently, if a global time
step t is used, it should be taken as large as possible, to ensure a fast
convergence to the steady state solution. This convergence can be further
improved by introducing local time steps ti on each cell i. These local
time steps can then be chosen as large as possible, without locally violating the stability condition:
ti =
Nif ac
m=1
C,max Vi
.
C,max
S 2
D,m Vmi
~am ~1n,m Sm + D,max
(9.20)
Using such local time steps generally results in a faster convergence than
a global time step. Notice that the time steps do not necessarily have
to be chosen to obtain the maximum allowable CFL-number. Selecting a
slightly smaller CFL-number very often results in a better damping of the
unsteady solution eigenmodes, and thus a better convergence. This local
time stepping can be applied with any explicit or implicit time marching
scheme.
153
154
Chapter 10
Applications
In this chapter, examples of applications of the spectral volume and the
spectral difference method, as discussed in Chapters 5 and 6 respectively,
to problems that are governed by the Euler, the Navier-Stokes and the
linearized Euler equations are given.
All simulations presented here have been done with the COOLFluiD collaborative simulation environment, see Figure 10.1, which is a C++ code
that was developed at the von Karman Institute for Fluid Dynamics. This
code is platform oriented towards complex multiphysics simulations. It is
based on components, like spatial discretization methods, algebraic solvers,
sets of governing equations, etc., which plug into a kernel. This kernel
then combines different components, using the best methodology for each
application, to create high-performant solvers dedicated to a specific application, while reusing the same components. The kernel is also responsible
for the parallelization of the simulations on multiple processors. Consequently, there is no need to implement this parallelization at the level of
the components, which greatly adds to the flexibility of the COOLFluiD
platform. More information about COOLFluiD can be found in the PhD
theses of T. Quintino [80] and A. Lani [66], and on the COOLFluiD project
155
10.1.1
The propagation of acoustic waves generated by an acoustic pulse is simulated in 2D and 3D. The acoustic perturbations have a small amplitude
compared to the ambient flow variables. The exact solution to the LEEs
for these problems can thus be used as a reference.
2D acoustic pulse
The 2D acoustic pulse has a Gaussian profile and is given by:
!#
"
2
2
(x 0.5) + (y 0.5)
,
= 1 + 0.001 exp
b2
P
ux
= P + c2 ( ) ,
(10.1)
= uy = 0.
The ambient pressure P and mass density are both equal to one, and
b, the halfwidth of the Gaussian profile, is 0.05. The exact solution of the
LEEs for the acoustic pressure field Pac = P P is given by
" #
Z
2
c2 b2 +
b
Pac (t, x, y) =
cos (c t) J0 () d,
(10.2)
exp
2
2
0
156
1.0
1.0
0.8
0.8
0.6
0.6
y
1.2
1.2
0.4
0.4
0.2
0.2
0.0
0.0
-0.2
-0.2 0.0 0.2 0.4 0.6 0.8 1.0 1.2
x
(a) SV method, triangular cells.
-0.2
-0.2 0.0 0.2 0.4 0.6 0.8 1.0 1.2
x
(b) SD method, quadrilateral cells.
q
2
2
with = (x 0.5) + (y 0.5) and J0 the zeroth-order Bessel function
of the first kind. This acoustic pressure field is used as a reference solution
for the numerical results.
The domain under consideration is a square with an edge length equal
to one, [0, 1] [0, 1]. This domain is discretized by a uniform Cartesian
grid, with one additional layer of cells added at the boundaries of the domain. Thus, if the edge length of the square cells is x, then the actual
computational domain is [x, 1 + x] [x, 1 + x]. This Cartesian
grid is used for the SD computations. For the SV computations, a grid
consisting of right triangular cells is used, which is defined by subdividing the square cells of the SD grid into two right triangles. The coarsest
SV and SD grids, with x = 0.200, are shown in Figure 10.2. Three finer
grids are also considered, with respectively x = 0.100, x = 0.050 and
x = 0.025. At the boundaries of the computational domain, a characteristics boundary condition, which was briefly discussed in Section 3.3.5, is
imposed. With both the SV and the SD method, Roes FDS scheme, [84],
is used as approximate Riemann solver. Time marching was done with a
fourth-order, four-stage R-K scheme, using a sufficiently small time step to
obtain negligible time discretization errors.
The pressure distributions at t = 0.3, obtained with second-order SV and
SD schemes on the finest grids, are shown in Figure 10.3. The acoustic
157
1.0
p
1.00014
1.00012
1.00010
1.00008
1.00006
1.00004
1.00002
1.00000
0.99998
0.99996
0.99994
0.99992
0.99990
0.6
0.8
0.6
y
0.8
0.4
0.4
0.2
0.2
0.0
0.0
0.2
0.4
0.6
0.8
p
1.00014
1.00012
1.00010
1.00008
1.00006
1.00004
1.00002
1.00000
0.99998
0.99996
0.99994
0.99992
0.99990
0.0
0.0
1.0
(a) SV method.
0.2
0.4
0.6
0.8
1.0
(b) SD method.
Figure 10.3: Pressure contours for the 2D acoustic pulse at t = 0.3, obtained with
second-order schemes on the finest grid.
wave has not yet reached the boundary of the computational domain at
this time and thus, the far field boundary condition has no influence on
the solution. The SV solution is slightly more accurate, since it has one
and a half times more solution variables on the grid. Notice that the dependence of the accuracy of the schemes on the wave propagation direction
is clearly illustrated by the variation of the amplitude of the acoustic wave
fronts with the angle of propagation. The SD schemes are more accurate
for propagation along the diagonals than for propagation along the edges
of the square cells. This is in agreement with the wave propagation analysis in Section 8.2.3. On right triangle grids like the one shown in Figure
10.2(a), the SV schemes are the most accurate for propagation perpendicular to the hypotenuse of the right triangles and the least accurate for
propagation along the hypotenuse. This is again clearly illustrated in the
figure.
The profiles of the acoustic pressure Pac in the section y = 0.5 at t = 0.3,
along with the exact acoustic pressure solution of the LEEs, are included
in Figure 10.4. It is clear that for wave propagation problems, the higherorder schemes can achieve more accuracy on much coarser grids. For example, the fourth-order SV computation on the second finest grid clearly
gives a better result than the second-order one on the finest grid. The
sixth-order SD computation on the second coarsest grid is much more accurate than second-order SD computation on the finest grid. For a certain
grid size x, the SV schemes of a certain order are slightly more accurate
158
1.5
2.0
Acoustic pressure (1e-4)
2.0
LEE
p=1
p=2
p=3
1.0
0.5
0.0
-0.5
-1.0
0.6
0.7
0.8
x
0.9
LEE
p=1
p=2
p=3
0.5
0.0
-0.5
0.7
0.8
x
0.9
0.5
0.0
-0.5
0.7
0.8
x
0.9
0.7
0.8
x
0.9
1.0
1.0
0.8
x
0.9
1.0
0.8
x
0.9
1.0
0.8
x
0.9
1.0
LEE
p=1
p=2
p=3
p=4
p=5
0.5
0.0
-0.5
0.7
1.5
1.0
LEE
p=1
p=2
p=3
p=4
p=5
0.5
0.0
-0.5
0.7
2.0
LEE
p=1
p=2
p=3
1.0
0.5
0.0
-0.5
-1.0
0.6
1.5
-1.0
0.6
1.0
2.0
1.5
0.0
-0.5
2.0
LEE
p=1
p=2
p=3
1.0
-1.0
0.6
0.5
-1.0
0.6
1.0
2.0
1.5
LEE
p=1
p=2
p=3
p=4
p=5
2.0
1.0
-1.0
0.6
1.0
-1.0
0.6
1.0
2.0
1.5
1.5
0.7
0.8
x
0.9
1.5
1.0
0.5
0.0
-0.5
-1.0
0.6
1.0
LEE
p=1
p=2
p=3
0.7
Figure 10.4: Acoustic pressure in section y = 0.5 at t = 0.3 for the 2D acoustic
pulse, with SV (left) and SD (right), on the coarsest (top) to finest (bottom) grids.
159
Table 10.1: Number of DOFs and wall time (s) for Gauss quadrature SV computations of the 2D acoustic pulse.
p
1
2
3
Grid 1
#DOF time
294
1.4
588
3.8
980
5.9
Grid 2
#DOF time
864
3.7
1728
11
2880
17
160
Grid 3
#DOF time
2904
12
5808
35
9680
55
Grid 4
#DOF time
10584
45
21168
131
35280
207
Table 10.2: Number of DOFs and wall time (s) for quadrature-free SV computations
of the 2D acoustic pulse.
p
1
2
3
Grid 1
#DOF time
294
2.1
588
2.9
980
4.0
Grid 2
#DOF time
864
5.5
1728
7.9
2880
12
Grid 3
#DOF time
2904
18
5808
26
9680
38
Grid 4
#DOF time
10584
63
21168
97
35280
146
Table 10.3: Number of DOFs and wall time (s) for SD computations of the 2D
acoustic pulse.
p
1
2
3
4
5
Grid 1
#DOF time
196
1.3
441
2.3
784
3.4
1225
4.9
1764
6.8
Grid 2
#DOF time
576
3.6
1296
6.3
2304
9.5
3600
14
5184
19
Grid 3
#DOF time
1936
12
4356
20
7744
31
12100
46
17724
65
Grid 4
#DOF time
7056
41
15876
74
28224
117
3D acoustic pulse
The 3D acoustic pulse also has a Gaussian profile, and is thus defined by
"
!#
2
2
2
(x 0.5) + (y 0.5) + (z 0.5)
= 1 + 0.001 exp
,
b2
P
ux
P + c2 ( ) ,
(10.3)
uy = uz = 0,
with P and again equal to one and b equal to 0.05. The exact acoustic
pressure solution of the LEEs is
" #
Z
2
c2 b3 +
sin () 2
b
Pac (t, x, y, z) =
cos (c t)
d, (10.4)
exp
2 0
2
q
with = (x 0.5)2 + (y 0.5)2 (z 0.5)2 , and is again used as a reference solution.
161
1.2
1.2
1.0
1.0
0.8
0.8
0.6
0.6
0.4
0.4
z
z
0.2
0.2
0.0
-0.2
-0.2
0.0
0.2
0.4
y 0.6 0.8
1.0
1.2
0.0
-0.2
0.0
0.2
0.4
0.6 x
0.8
1.0
1.2
-0.2
-0.2
0.0
0.2
0.4
y 0.6 0.8
1.0
1.2
-0.2
0.0
0.2
0.4
0.6 x
0.8
1.0
1.2
The domain is now a cube with an edge length equal to one, [0, 1] [0, 1]
[0, 1]. The grids are obtained in the same way as for the 2D acoustic pulse.
A uniform Cartesian grid is used, with cell edge length x and one additional layer of cells at the domain boundaries. This Cartesian hexahedral
grid is used for the SD computations. For the SV computations, the hexahedral cells are subdivided into six tetrahedral cells. The coarsest 3D
SV and SD grids, with x = 0.200, are illustrated in Figure 10.5. Two
finer grids, with x = 0.100 and x = 0.050, are also considered. Like in
the 2D case, a characteristics boundary condition is imposed at the boundaries of the computational domain. Roes FDS scheme is again used as
approximate Riemann solver. Time marching was again performed with a
fourth-order, four-stage R-K scheme, using a sufficiently small time step.
The pressure distributions at t = 0.3, obtained with second-order SV and
SD schemes on the finest grids, are shown in Figure 10.6. Like in the
2D case, the acoustic wave has not yet reached the domain boundary and
the far field boundary condition has no influence on the solution. The SV
solution is more accurate than the SD solution, since the former has 267168
solution variables on the grid, whereas the latter uses only 89056 solution
variables.
Figure 10.7 shows the obtained profiles of acoustic pressure Pac in the section y = 0.5 at t = 0.3, along with the exact acoustic pressure solution of the
LEEs. For the SV method, only second-order results are shown, for lack of
162
1.0
0.8
0.6
1.000025
1.000020
1.000015
1.000010
1.000005
1.000000
0.999995
0.999990
0.999985
0.999980
0.999975
0.999970
0.999965
0.999960
0.999955
1.000025
1.000020
1.000015
1.000010
1.000005
1.000000
0.999995
0.999990
0.999985
0.999980
0.999975
0.999970
0.999965
0.999960
0.999955
1.0
0.8
0.6
z
0.4
0.4
0.2
0.2
0.0
0.0
0.2
0.4
y 0.6 0.8
1.0
0.0
0.2
0.4
0.6 x
0.8
1.0
0.0
0.0
(a) SV method.
0.2
0.4
y 0.6 0.8
1.0
0.0
0.2
0.4
0.6 x
0.8
1.0
(b) SD method.
Figure 10.6: Pressure contours for the 3D acoustic pulse at t = 0.3, obtained with
second-order schemes on the finest grid.
stable higher-order SV schemes for tetrahedral grids, as discussed in Section 8.3.2. For the SD method, second- up to sixth-order accurate results
are included. The second-order SV computations yields slightly better results than the second-order SD computations on grids with the same x,
since they use three times more DOFs. The advantage of the higher-order
SD schemes over the lower-order ones is also evident for this 3D test case.
For example, both the fifth- and the sixth-order accurate results on the
coarsest grid are more accurate than the second-order result on the finest
grid.
The required numbers of DOFs and computational times are listed in Table 10.4 for standard Gauss quadrature SV schemes, in Table 10.5 for
quadrature-free SV schemes and in Table 10.6 for SD schemes.
The Gauss quadrature approach for the second-order SV schemes was implemented based on quadrature rules for triangles, and each quadrilateral
face is thus subdivided into two triangles. This implementation requires
two solution reconstructions per CV-face. The quadrature-free approach,
which needs only ten solution reconstructions per cell, is faster than this
implementation of the Gauss quadrature approach, as illustrated by Tables 10.4 and 10.5. However, the Gauss quadrature approach can also be
implemented based on quadrature rules for quadrilateral cells, which requires only one solution reconstruction per CV-face, as was done by Liu et
163
0.0
-0.2
-0.4
0.7
0.4
0.8
x
0.9
1.0
LEE
p=1
0.2
0.0
-0.2
-0.4
0.6
0.7
0.4
0.8
x
0.9
1.0
LEE
p=1
0.2
0.0
-0.2
-0.4
0.6
0.7
0.8
x
0.9
0.4
0.2
-0.2
-0.4
0.7
0.4
0.8
x
0.9
1.0
0.8
x
0.9
1.0
0.8
x
0.9
1.0
LEE
p=1
p=2
p=3
p=4
p=5
0.2
0.0
-0.2
-0.4
0.6
1.0
LEE
p=1
p=2
p=3
p=4
p=5
0.0
0.6
LEE
p=1
0.2
0.6
0.4
0.7
0.4
LEE
p=1
p=2
p=3
p=4
0.2
0.0
-0.2
-0.4
0.6
0.7
Figure 10.7: Acoustic pressure in section y = z = 0.5 at t = 0.3 for the 3D acoustic
pulse, with SV (left) and SD (right), on the coarsest (top) to finest (bottom) grids.
164
Table 10.4: Number of DOFs and wall time (s) for Gauss quadrature SV computations of the 3D acoustic pulse.
p
1
Grid 1
#DOF time
8232
133
Grid 2
#DOF time
41472
643
Grid 3
#DOF time
255552 3804
Table 10.5: Number of DOFs and wall time (s) for quadrature-free SV computations
of the 3D acoustic pulse.
p
1
Grid 1
#DOF time
8232
126
Grid 2
#DOF time
41472
615
Grid 3
#DOF time
255552 3584
al. [68]. The total operation count of this standard Gauss quadrature approach is less than that of the quadrature-free approach and consequently,
it would be slightly faster.
In Table 10.6, it is seen that the SD computation with p = 5 on grid 2
takes significantly less DOFs and computational time than the computations with p = 3 and p = 4 on grid 3, but the resulting solution is at least
as good, as illustrated in Figure 10.7. The difference is even more dramatic when the results of the computations with p = 4 and p = 5 on grid
1 are compared to those of the one with p = 1 on grid 3. Although all
three computations are too coarse to resolve the acoustic wave properly,
the high-order ones give a much better result than the second-order one,
with much less DOFs and in a much shorter computational time. This
Table 10.6: Number of DOFs and wall time (s) for SD computations of the 3D
acoustic pulse.
p
1
2
3
4
5
Grid 1
#DOF time
2744
31
9261
88
21952
193
42875
381
74088
652
Grid 2
#DOF time
13824
147
46656
419
110592
918
216000 1780
373248 3042
165
Grid 3
#DOF
time
85184
871
287496
2508
681472
5464
1331000 10312
10.1.2
where r0 is the radius of the cylinder, equal to 0.5. The parameter has
the value 1.1648336, such that the radius r32 of the outer circle, which corresponds to the far field boundary, is 20. The other grids are obtained by
successively coarsening the finest grid. Figure 10.8 shows the resulting
grids with triangular cells and Figure 10.9 those with quadrilateral cells.
The triangular cell grids are the same as those that were used in [9, 65].
The curvature of the cylinder wall must be taken into account, to avoid the
generation of an unphysical wake behind the cylinder. For the SV schemes,
straight edged cells are used in combination with the curved wall boundary treatment proposed by Krivodonova and Berger [65], as discussed in
Section 5.4.4. With the SD schemes, curvilinear quadrilateral cells with a
quadratic geometric mapping are used, and no additional treatment is required to deal with the curved wall. A regular slip-wall boundary condition
is then imposed at the cylinder wall with the SD computations. At the far
field boundary, a flow field
corresponding to M = 0.38, namely = 1,
P = 1, ux, = 0.38 1.4 and uy, = 0, is imposed through a Dirichlet
boundary condition. Roes FDS method is used as Riemann flux.
The Mach contours obtained with second-order SV schemes on all four
grids are shown in Figure 10.10. Those obtained on the coarsest grid with
166
-1
-2
-2
-1
-1
0
x
-2
-2
-1
-2
-2
0
x
-1
-1
-1
0
x
-2
-2
-1
0
x
Figure 10.8: Inviscid cylinder flow grids with triangular cells for the SV method.
167
-1
-2
-2
-1
-1
0
x
-2
-2
-1
-2
-2
0
x
-1
-1
-1
0
x
-2
-2
-1
0
x
Figure 10.9: Inviscid cylinder flow grids with quadrilateral cells for the SD method.
168
-1
-2
-2
-1
-1
0
x
-2
-2
(a) Grid 1.
Plots showing the Mach contours obtained with the SD schemes under hand p-refinement are shown in Figures 10.12 and 10.13 respectively. The
results are similar to those of the SV schemes. Again, p-refinement is more
efficient than h-refinement, since the fifth-order accurate solution on the
coarsest grid, with 1600 DOFs, is comparable to the second-order accurate
solution on the finest grid, which required 16384 DOFs.
-1
-1
0
x
-2
-2
(b) Grid 2.
-1
-1
0
x
(c) Grid 3.
-2
-2
-1
0
x
(d) Grid 4.
-1
-2
-2
Figure 10.10: Mach contours of the inviscid cylinder flow under h-refinement, obtained with second-order (p = 1) quadrature-free SV schemes for triangular cells.
M = 0.038.
-1
-1
0
x
(a) p = 1.
-2
-2
-1
-1
0
x
-2
-2
(b) p = 2.
-1
0
x
(c) p = 3.
Figure 10.11: Mach contours of the inviscid cylinder flow under p-refinement, obtained with quadrature-free SV schemes for triangular cells on the coarsest grid.
M = 0.038.
169
Table 10.7: Grid convergence study of the entropy error s of the inviscid cylinder
flow results obtained with standard Gaussian quadrature SV schemes.
p
1
#DOF
384
1536
6144
24576
L1 error
4.50e 03
7.35e 04
1.34e 04
3.17e 05
L1 order
2.61
2.46
2.08
L error
3.44e 02
9.00e 03
2.10e 03
6.02e 04
L order
1.93
2.10
1.80
768
3072
12288
49152
1.20e 03
1.23e 04
1.38e 05
1.65e 06
3.28
3.16
3.07
9.00e 03
1.10e 03
1.78e 04
2.92e 05
3.03
2.62
2.61
1280
5120
20480
81920
2.08e 04
1.47e 05
1.06e 06
1.01e 07
3.82
3.80
3.39
1.80e 03
1.43e 04
2.18e 05
5.21e 06
3.65
2.72
2.07
Table 10.8: Grid convergence study of the entropy error s of the inviscid cylinder
flow results obtained with quadrature-free SV schemes.
p
1
#DOF
384
1536
6144
24576
L1 error
4.90e 03
8.36e 04
1.60e 04
3.87e 05
L1 order
2.55
2.39
2.04
L error
3.23e 02
7.80e 03
2.50e 03
8.43e 04
L order
2.05
1.64
1.57
768
3072
12288
49152
1.30e 03
1.34e 04
1.40e 05
1.62e 06
3.28
3.26
3.10
1.11e 02
3.40e 03
4.79e 04
5.03e 05
1.71
2.83
3.25
1280
5120
20480
81920
2.48e 04
1.69e 05
1.13e 06
1.06e 07
3.87
3.90
3.42
6.70e 03
5.83e 04
3.90e 05
6.45e 06
3.52
3.90
2.60
170
-1
-2
-2
-1
-1
0
x
-2
-2
(a) Grid 1.
-1
-1
0
x
-2
-2
(b) Grid 2.
-1
-1
0
x
-2
-2
(c) Grid 3.
-1
0
x
(d) Grid 4.
-1
-2
-2
-1
-1
0
x
(a) p = 1.
-2
-2
Figure 10.12: Mach contours of the inviscid cylinder flow under h-refinement, obtained with second-order (p = 1) SD schemes for quadrilateral cells. M = 0.038.
-1
-1
0
x
-2
-2
(b) p = 2.
-1
-1
0
x
(c) p = 3.
-2
-2
-1
0
x
(d) p = 4.
Figure 10.13: Mach contours of the inviscid cylinder flow under p-refinement, obtained with SD schemes for quadrilateral cells on the coarsest grid. M = 0.038.
The results of studies of the grid convergence of the entropy error s , which
was discussed in Section 3.3.6, are listed in Tables 10.7 and 10.8, for standard SV schemes based on Gaussian quadrature rules and quadrature-free
SV schemes respectively. The standard Gaussian quadrature approach is
in general slightly more accurate than the quadrature-free approach, especially in the L -norm. This can be explained by the fact that the standard approach uses a larger number of quadrature points on the curved
boundary than the number of flux points used by the quadrature-free approach. The schemes with p = 1 attain the expected second-order of accuracy. Without the special treatment for the curved wall boundary, this
would not be the case. The schemes with p = 2 attain third-order accuracy
in the L1 -norm. In the L -norm, they result in an order of accuracy which
is slightly lower than three. The reason for this is that formally, the treatment of the curved boundary results in an order of accuracy of two. For the
same reason, the schemes with p = 3 never attain fourth-order accuracy
in either the L1 - or the L -norm, although the resulting errors are significantly smaller than those of the lower-order schemes.
171
Table 10.9 lists the results of a grid convergence study of the entropy error
obtained with the SD schemes. The schemes with p = 1 and p = 2 both
attain the expected order of accuracy of respectively two and three. This is
in agreement with the formal third-order accuracy of the curved boundary
treatment, due to the quadratic geometrical mapping of the cells. It is then
not surprising that the observed order of accuracy of the scheme with p = 3
is only about three in the L -norm, especially on the finest grids. Still, the
observed order in the L1 -norm is close to four, and the entropy errors are
significantly smaller than those of the lower-order schemes. Interestingly,
the scheme with p = 4 does attain higher order than three, namely about
four, in the L -norm. The order in the L1 -norm is close to the optimal
value of five and the entropy errors are again significantly smaller than
with the lower-order schemes. The scheme with p = 5 results in larger er-
Table 10.9: Grid convergence study of the entropy error s of the inviscid cylinder
flow results obtained with SD schemes.
p
1
#DOF
256
1024
4096
16384
L1 error
9.90e 03
1.60e 03
2.45e 04
4.32e 05
L1 order
2.63
2.71
2.50
L error
9.74e 02
2.06e 02
5.10e 03
1.30e 03
L order
2.24
2.01
1.97
576
2304
9216
36864
2.00e 03
1.49e 04
1.38e 05
1.54e 06
3.75
3.43
3.17
1.32e 02
1.20e 03
1.24e 04
1.75e 05
3.46
3.27
2.83
1024
4096
16384
65536
5.02e 04
3.15e 05
2.37e 06
2.05e 07
3.99
3.73
3.53
4.30e 03
3.78e 04
4.32e 05
6.74e 06
3.51
3.13
2.68
1600
6400
25600
6.70e 05
1.92e 06
6.81e 08
5.13
4.82
4.10e 04
1.95e 05
1.22e 06
4.39
4.00
2304
9216
1.13e 04
8.51e 06
3.74
2.30e 03
3.34e 04
2.79
172
10
10 -1
SV GQ p=1
SV GQ p=2
SV GQ p=3
SV QF p=1
SV QF p=2
SV QF p=3
SD p=1
SD p=2
SD p=3
SD p=4
SD p=5
-3
10 -4
10 -5
10 -2
10 -6
10 -7
10 -8 1
10
10 2
Sqrt(#DOF)
10 3
(a) L1 -norm.
10
SV GQ p=1
SV GQ p=2
SV GQ p=3
SV QF p=1
SV QF p=2
SV QF p=3
SD p=1
SD p=2
SD p=3
SD p=4
SD p=5
-2
10 -3
10 -4
10 -5
10 -6
10 -7 1
10
10 2
Sqrt(#DOF)
10 3
(b) L -norm.
Figure 10.14: Grid convergence of the entropy error s of the inviscid cylinder flow
results obtained with SV and SD schemes.
173
1
Grid 1
Grid 2
Grid 3
Grid 4
-1
-1
-2
-2
-3
-3
180
150
120 90
60
Angle ()
Grid 1
Grid 2
Grid 3
Grid 4
0
Cp
Cp
30
180
150
(a) SV schemes.
120 90
60
Angle ()
30
(b) SD schemes.
1
p=1
p=2
p=3
-1
-1
-2
-2
-3
-3
180
150
120 90
60
Angle ()
p=1
p=2
p=3
p=4
p=5
0
Cp
Cp
30
180
(a) SV schemes.
150
120 90
60
Angle ()
30
(b) SD schemes.
of the plots is 0 at the trailing edge and 180 at the leading edge of the
cylinder. The SV results on the coarsest grid are more accurate than those
obtained with the SD method, but with the SV method, there are one and a
half times more DOFs on the grid 384 for SV versus 256 for SD. A similar
observation is made for the second coarsest grid. On the two finer grids,
the curves are sufficiently converged to make them indistinguishable.
Figure 10.16 shows the pressure coefficient CP at the cylinder surface un174
1.02
Total pressure loss
1.02
1.00
0.98
0.96
0.94
Grid 1
Grid 2
Grid 3
Grid 4
0.92
180 150 120 90
60
Angle ()
30
1.00
0.98
0.96
0.94
Grid 1
Grid 2
Grid 3
Grid 4
0.92
180 150 120 90
60
Angle ()
(a) SV schemes.
30
(b) SD schemes.
Figure 10.17: Total pressure loss on the cylinder surface under h-refinement, obtained with second-order (p = 1) schemes. Two (p + 1) points per grid-edge.
1.02
Total pressure loss
1.02
1.00
0.98
0.96
0.94
p=1
p=2
p=3
0.92
180 150 120 90
60
Angle ()
30
1.00
0.98
0.96
0.94
p=1
p=2
p=3
p=4
p=5
0.92
180 150 120 90
60
Angle ()
(a) SV schemes.
30
(b) SD schemes.
Figure 10.18: Total pressure loss on the cylinder surface under p-refinement, obtained on the coarsest grid. p + 1 points per grid-edge.
175
(10.6)
-2
Res[0]
Res[0]
-2
-4
-6
-4
-6
-8
-8
-10
0
-10
0
10
20
Iter
30
-6
-8
10
20
Iter
30
p=1
p=2
p=3
p=4
p=5
-6
-6
-8
-10
0
40
p=1
p=2
p=3
p=4
10
20
Iter
30
40
p=1
p=2
p=3
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
Res[0]
-2
40
-6
-8
30
30
-4
-10
0
20
Iter
20
Iter
-2
-4
10
10
Res[0]
Res[0]
40
-4
-10
0
40
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
Res[0]
30
-8
-4
-6
-8
-10
0
20
Iter
-2
-4
-10
0
10
Res[0]
Res[0]
40
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
p=1
p=2
p=3
p=4
p=5
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-4
-6
-8
10
20
Iter
30
-10
0
40
10
20
Iter
30
40
Figure 10.19: Newton-GMRES convergence histories for inviscid cylinder flow with
SV (left) and SD (right) schemes, on the coarsest (top) to finest (bottom) grids.
Logarithm in base ten of the mass density residual L2 -norm versus iterations.
177
-2
Res[0]
Res[0]
-2
-4
-6
-4
-6
-8
-8
-10
0
-10
0
20
40
Wall Time (s)
-6
-8
200
400
Wall Time (s)
-6
-6
-6
-8
-8
-10
0
3000
1000
2000
Wall Time (s)
3000
p=1
p=2
p=3
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
Res[0]
-2
p=1
p=2
p=3
p=4
-4
-10
0
600
-2
-4
1000
2000
WallTime
200
400
Wall Time (s)
Res[0]
Res[0]
p=1
p=2
p=3
p=4
p=5
-4
-10
0
600
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
Res[0]
60
-8
-4
-6
-8
-10
0
40
Wall Time (s)
-2
-4
-10
0
20
Res[0]
Res[0]
60
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-2
p=1
p=2
p=3
p=4
p=5
GQ p=1
GQ p=2
GQ p=3
QF p=1
QF p=2
QF p=3
-4
-6
-8
5000
Wall Time (s)
-10
0
10000
5000
Wall Time (s)
10000
Figure 10.20: Newton-GMRES convergence histories for inviscid cylinder flow with
SV (left) and SD (right) schemes, on the coarsest (top) to finest (bottom) grids.
Logarithm in base ten of the mass density residual L2 -norm versus wall time.
178
The memory that was used is listed for all computations in Table 10.10.
The required memory rapidly increases with the polynomial order p. The
fourth-order SV and SD computations on the finest grids require around
two gigabytes of memory, and they barely fitted inside the RAM that was
available. The fifth- and sixth-order accurate SD computations on the
finest grids could not be done, because they require too much memory. This
clearly illustrates that memory is the limiting factor for the applicability
of these high-order methods with implicit solvers that require the storage
of Jacobian matrices.
Table 10.10: Total memory requirements (megabytes) for inviscid cylinder flow
computations, with Newton-GMRES solver.
SV
SD
p
1
2
3
1
2
3
4
5
Grid 1
6
14
33
6
14
35
79
158
Grid 2
16
50
127
13
47
134
317
646
179
Grid 3
56
195
510
43
180
536
1281
Grid 4
216
773
2054
161
713
2159
10.2.1
Steady flow
The Reynolds number Re, based on the free stream velocity and the diameter of the cylinder, is 40 and the free stream Mach number M is 0.15. The
Prandtl number P r has the standard value for air, which is 0.72. These
flow conditions correspond to a steady laminar flow, with a recirculation
zone behind the cylinder.
10
0.5
-5
-10
-10
-0.5
10
x
20
-1
-1
30
-0.5
0.5
1
x
1.5
2.5
Figure 10.21: Viscous cylinder flow grid with 3595 triangular cells for the SV
method.
180
10
0.5
-5
-10
-10
-0.5
10
x
20
-1
-1
30
10
0.5
-5
-10
-10
0.5
1
x
1.5
2.5
-0.5
-0.5
10
x
20
-1
-1
30
-0.5
0.5
1
x
1.5
2.5
Figure 10.22: Viscous cylinder flow grids with quadrilateral cells for the SD
method.
0
-1
-2
-2
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
1
y
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
0
-1
-2
-2
Figure 10.23: Mach number contours and stream traces, for the steady laminar
cylinder flow, obtained with second-order (p = 1) SV and SD schemes, with Roe
FDS flux and LSV/LSD approach for the diffusive terms. M = 0.01.
the grids have comparable densities near the cylinder, and consequently,
the qualities of the two results are also quite comparable.
The Mach number contours and stream traces obtained with second- up to
fifth-order SD schemes on the coarse SD grid are shown in Figure 10.24.
-2
-2
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
1
y
0
-1
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
0
-1
-2
-2
(a) p = 1.
0
-1
-2
x
M
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
1
y
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.10
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
(b) p = 2.
-2
0
-1
-2
-2
(c) p = 3.
(d) p = 4.
Figure 10.24: Mach number contours and stream traces under p-refinement, for
the steady laminar cylinder flow, obtained with SD schemes on the coarse grid,
with Roe FDS flux and LSD approach for the diffusive terms. M = 0.01.
182
2
Rusanov, LSV
Roe, LSV
Rusanov, LSD
Roe, LSD
1
Cp
Cp
1
0
-1
-2
180
0
-1
150
120
90
60
Angle
30
-2
180
150
120
90
60
Angle
30
Figure 10.25: Pressure coefficient CP on the cylinder, for the steady laminar cylinder flow, obtained with second-order (p = 1) SV and SD schemes, with Rusanov
and Roe FDS Riemann fluxes and LSV/LSD approach for the diffusive terms. Two
(p + 1) points per grid-edge.
183
2
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
0
-1
-2
180
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
1
Cp
Cp
0
-1
150
120
90
60
Angle
30
-2
180
150
(a) p = 1.
30
2
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Rusanov, LSD
Roe, LSD
1
Cp
1
Cp
90
60
Angle
(b) p = 2.
0
-1
-2
180
120
0
-1
150
120
90
60
Angle
30
-2
180
(c) p = 3.
150
120
90
60
Angle
30
(d) p = 4.
Figure 10.26: Pressure coefficient CP on the cylinder under p-refinement, for the
steady laminar cylinder flow, obtained with SD schemes on the coarse grid, with
Rusanov and Roe FDS Riemann flux and LSD, BR2 and IP approach for the diffusive terms. p + 1 points per grid-edge.
grid. All combinations of Rusanov and Roe FDS Riemann solvers and LSD,
BR2 and IP diffusive term treatments are considered. Although there is
some difference in the results with these different combinations if the SD
scheme with p = 1 is used, in general the solution does not depend much
on the choice of Riemann solver and diffusive flux treatment. The rapid
improvement of the solution quality with increasing p is again obvious.
The third-order SD computation on the coarse grid already gives a better
result than the second-order SD computation on the fine grid, which is
shown in Figure 10.25(b). As already mentioned earlier, the latter uses
almost twice the number of DOFs of the former computation.
184
(10.7)
and an upper limit for that depends on the specific case. The GMRES
algorithm was preconditioned with the additive Schwarz method, [18], and
its convergence criterion was a linear system residual drop of five orders of
magnitude, with an upper limit of two thousand for the number of Krylov
subspaces. For the nonlinear LU-SGS algorithm, a maximum of twentyfive SGS sweeps per time iteration was imposed. All computations were
done on two cores.
The Newton-GMRES convergence histories of the second-order SV computations and the second-order SD computations on the fine quadrilateral
grid are shown in Figures 10.27 and 10.28, versus the number of iterations
and the wall time respectively. The upper limits for the CFL-number for
these computations are listed in the legend of the figures. A much lower
limit was required for the SV computations. This is probably because of
the lack of treatment of the curvature of the cylinder wall. Due to this
lower limit, the SV computations were significantly slower than the SD
-2
Res[0]
Res[0]
-2
-4
-6
-8
-10
0
-4
-6
-8
50
Iter
100
-10
0
150
50
Iter
100
150
185
-2
Res[0]
Res[0]
-2
-4
-6
-8
-10
0
-4
-6
-8
500
1000
Wall Time (s)
-10
0
1500
500
1000
Wall Time (s)
1500
computations, even though they had only slightly more than half the number of DOFs of the latter. In the figures it is seen that a linear convergence
is obtained, instead of the quadratic convergence which is expected with
the Newton-GMRES algorithm. The SD computations, for which a much
higher CFL-number could be used, do achieve a quadratic convergence.
Notice that with both methods, a Roe FDS flux results in a faster convergence in terms of computational time than a Rusanov flux. This is due to
the fact that the GMRES linear system solver needs less iterations with
the Roe FDS flux. The SV computations required 163M b of RAM, compared to 443M b for the SD computations. This difference is due to the
larger number of DOFs of the latter and the fact that the Jacobian matrices are more sparse with triangular than with quadrilateral cells.
The convergence histories versus the number of iterations, obtained on the
coarse quadrilateral grid with the SD computations of different orders of
accuracy and with different Riemann solvers and treatments of the diffusive terms, are shown in Figure 10.29. The corresponding convergence
histories versus the wall time are plotted in Figure 10.30. The upper limits for the CFL-number are again listed in the legends of these plots. Notice that for the computations with the Newton-GMRES solver, this limit
is significantly lower for the cases with the BR2 and the IP approaches
than for the ones with the LSD approach. This was necessary to obtain
a reasonably fast convergence, and often also to maintain stability. With
the nonlinear LU-SGS solver, a relatively small CFL-number was required
186
-4
-6
-8
-10
0
-4
-6
-8
50
100
Iter
150
-10
0
200
(a) Newton-GMRES, p = 1.
100
150
-2
Res[0]
Res[0]
Iter
-4
-6
-8
-4
-6
-8
-10
0
500
Iter
-10
0
1000
(c) Newton-GMRES, p = 2.
100
200
Iter
300
400
500
-2
Res[0]
-2
Res[0]
50
-2
-4
-6
-8
-10
0
-2
Res[0]
-2
Res[0]
-4
-6
-8
500
Iter
1000
-10
0
1500
(e) Newton-GMRES, p = 3.
100
200
Iter
300
400
500
Figure 10.29: Convergence histories for steady viscous cylinder flow, obtained with
SD schemes on the coarse grid. Logarithm in base ten of the mass density residual
L2 -norm versus iterations.
187
-2
Res[0]
-2
Res[0]
-4
-6
-8
-10
0
-4
-6
-8
100
200
Wall Time (s)
-10
0
300
(a) Newton-GMRES, p = 1.
-2
Res[0]
Res[0]
-4
-6
-8
1000
2000
3000
Wall Time (s)
-6
-10
0
4000
2000
4000
Wall Time (s)
-2
-4
-6
-8
-10
0
-8
Res[0]
Res[0]
-2
600
-4
(c) Newton-GMRES, p = 2.
200
400
Wall Time (s)
-2
-10
0
-4
-6
-8
5000
10000
Wall Time (s)
15000
(e) Newton-GMRES, p = 3.
-10
0
5000
WallTime
10000
Figure 10.30: Convergence histories for steady viscous cylinder flow, obtained with
SD schemes on the coarse grid. Logarithm in base ten of the mass density residual
L2 -norm versus wall time.
188
Table 10.11: Total memory requirements (megabytes) for laminar cylinder computations on the coarse grid.
p=1
p=2
p=3
p=4
Newton-GMRES
LSD BR2 IP
118
70
70
522
310 310
1608 934 934
3884
Nonlinear LU-SGS
LSD BR2
IP
12
12
12
26
62
26
62
62
62
-4
-6
-8
-10
0
-4
-6
-8
200
400
Iter
-10
0
600
(a) Newton-GMRES, p = 1.
200
Iter
300
400
500
-2
Res[0]
Res[0]
100
-2
-4
-6
-8
-10
0
-2
Res[0]
-2
Res[0]
-4
-6
-8
1000
2000
Iter
3000
-10
0
4000
(c) Newton-GMRES, p = 2.
200
400
Iter
600
800
1000
Figure 10.31: Convergence histories for steady viscous cylinder flow, obtained with
SD schemes on the fine grid. Logarithm in base ten of the mass density residual
L2 -norm versus iterations.
190
-4
-6
-8
-10
0
-4
-6
-8
1000
2000
Wall Time (s)
-10
0
3000
(a) Newton-GMRES, p = 1.
0
-2
Res[0]
Res[0]
2000
-2
-4
-6
-8
-10
0
-2
Res[0]
-2
Res[0]
-4
-6
-8
(c) Newton-GMRES, p = 2.
-10
0
10000
20000
Wall Time (s)
30000
Figure 10.32: Convergence histories for steady viscous cylinder flow, obtained with
SD schemes on the fine grid. Logarithm in base ten of the mass density residual
L2 -norm versus wall time.
Table 10.12: Total memory requirements (megabytes) for laminar cylinder computations on the fine grid.
p=1
p=2
Newton-GMRES
LSD BR2
IP
443
273
273
1988 1225 1225
191
Nonlinear LU-SGS
LSD BR2
IP
28
28
28
78
78
78
fs L c
,
|~u |
(10.8)
where the characteristic length scale is the diameter of the cylinder, which
is equal to one here. For the present Reynolds number of 75, a Strouhal
number of S = 0.148 was found experimentally by Williamson, [123].
10
10
5
0
-5
-10
-10
10
x
20
M
0.24
0.22
0.20
0.18
0.16
0.14
0.12
0.10
0.08
0.06
0.04
0.02
M
0.24
0.22
0.20
0.18
0.16
0.14
0.12
0.10
0.08
0.06
0.04
0.02
0
-5
-10
-10
30
(a) p = 1.
30
10
0
-5
10
x
20
M
0.24
0.22
0.20
0.18
0.16
0.14
0.12
0.10
0.08
0.06
0.04
0.02
M
0.24
0.22
0.20
0.18
0.16
0.14
0.12
0.10
0.08
0.06
0.04
0.02
20
(b) p = 2.
10
-10
-10
10
x
0
-5
-10
-10
30
(c) p = 3.
10
x
20
30
(d) p = 4.
Figure 10.33: Instantaneous Mach number contours under p-refinement, for the
unsteady laminar cylinder flow, obtained with SD schemes on the coarse grid, with
Roe FDS flux and LSD approach for the diffusive terms. M = 0.02.
193
10
5
0
-5
-10
-10
10
x
20
s
0.035
0.030
0.025
0.020
0.015
0.010
0.005
0.000
-0.005
-0.010
-0.015
s
0.035
0.030
0.025
0.020
0.015
0.010
0.005
0.000
-0.005
-0.010
-0.015
0
-5
-10
-10
30
(a) p = 1.
30
10
0
-5
10
x
20
s
0.035
0.030
0.025
0.020
0.015
0.010
0.005
0.000
-0.005
-0.010
-0.015
s
0.035
0.030
0.025
0.020
0.015
0.010
0.005
0.000
-0.005
-0.010
-0.015
20
(b) p = 2.
10
-10
-10
10
x
0
-5
-10
-10
30
(c) p = 3.
10
x
20
30
(d) p = 4.
Figure 10.34: Instantaneous entropy contours under p-refinement, for the unsteady laminar cylinder flow, obtained with SD schemes on the coarse grid, with
Roe FDS flux and LSD approach for the diffusive terms. s = 0.005.
The evolutions of the lift coefficient CL , as defined in Section 3.3.6, for the
cylinder, obtained with SD schemes with p = 1 to p = 4, Roe FDS flux
and LSD approach, on the coarse quadrilateral grid, are shown in Figure
10.35. The difference in the evolutions from a uniform flow field to a fully
developed flow with the different solution polynomial degrees is clearly illustrated, as well as the fact that a fully developed flow is obtained before
the end of the simulations. Apart from the phase shift, the solutions for
p = 3 and p = 4 are almost identical, which indicates that sufficient resolution is achieved by these two computations. Analogous plots of the drag
coefficient CD for the cylinder are included in Figure 10.36. Notice that the
frequency of the evolution of CD in the fully developed flow field is twice
that of the evolution of CL .
The evolutions of the lift and drag coefficients CL and CD that were obtained with SD schemes with p = 1 to p = 4, Roe FDS flux and BR2 approach, on the coarse quadrilateral grid, have been included in respectively
Figures 10.37 and 10.38. Notice that the flow was not fully developed by
the end of the simulation with p = 1 on the coarse grid. With the other
194
0.2
p=1
p=2
p=3
p=4
0.2
0.1
CL
CL
0.1
0.0
0.0
-0.1
-0.1
-0.2
-0.2
p=1
p=2
p=3
p=4
Figure 10.35: Evolution of the lift coefficient CL on the cylinder in time, for the unsteady laminar cylinder flow, obtained with SD schemes on the coarse quadrilateral
grid, with Roe FDS flux and LSD approach for the diffusive terms.
1.40
1.40
1.35
CD
CD
1.38
1.30
1.36
1.25
1.20
0
p=1
p=2
p=3
p=4
p=1
p=2
p=3
p=4
1.34
1210 1220 1230 1240 1250
Time
Figure 10.36: Evolution of the drag coefficient CD on the cylinder in time, for the
unsteady laminar cylinder flow, obtained with SD schemes on the coarse quadrilateral grid, with Roe FDS flux and LSD approach for the diffusive terms.
195
0.2
p=1
p=2
p=3
p=4
0.2
0.1
CL
CL
0.1
0.0
0.0
-0.1
-0.1
-0.2
-0.2
p=1
p=2
p=3
p=4
Figure 10.37: Evolution of the lift coefficient CL on the cylinder in time, for the unsteady laminar cylinder flow, obtained with SD schemes on the coarse quadrilateral
grid, with Roe FDS flux and BR2 approach for the diffusive terms.
1.40
1.40
1.35
CD
CD
1.38
1.30
1.36
1.25
1.20
0
p=1
p=2
p=3
p=4
p=1
p=2
p=3
p=4
1.34
1210 1220 1230 1240 1250
Time
Figure 10.38: Evolution of the drag coefficient CD on the cylinder in time, for the
unsteady laminar cylinder flow, obtained with SD schemes on the coarse quadrilateral grid, with Roe FDS flux and BR2 approach for the diffusive terms.
196
Table 10.13: Strouhal numbers S obtained with SD schemes with Roe FDS flux for
the unsteady laminar cylinder flow. Experimentally measured value (Williamson
[123]): S = 0.148.
Grid
coarse
coarse
coarse
coarse
fine
fine
p
1
2
3
4
1
2
#DOFs
4700
10575
18800
29375
19000
42750
LSD
t
S
0.250 0.126
0.250 0.147
0.250 0.148
0.250 0.148
0.250 0.147
0.250 0.148
BR2
t
S
0.250
0.250 0.148
0.250 0.148
0.250 0.148
0.250 0.146
0.125 0.148
197
Figure 10.39: Geometry and grid for circular pipe with 90 bend.
Despite the relatively simple geometry of this problem, the resulting flow
field is nevertheless fully three-dimensional and quite complex. Along the
bend, the mean flow is concentrated into a jet on the outside of the bend.
Furthermore, a pair of counter-rotating vortices is generated as the pressure gradient, which is required to change the direction of the mean flow,
imposes itself on the slowly moving fluid close to the pipe walls. Behind the
bend, this vortex pair breaks down into two pairs of counter-rotating vortices. For validation, experimental results from laser-Doppler velocimetry
with water as working fluid are available from Enayet et al., [33]. These results include axial velocity profiles in five cross sections of the pipe: 0.58D
upstream of the bend, 30 , 60 and 75 along the bend, and 1.00D downstream of the bend. Other numerical results are given in Tamamidis and
Assanis, [98], and in Waterson, [122].
Only SD computations were carried out. The grid that was used is quite
coarse, as illustrated in Figure 10.39. It contains 3875 hexahedral cells,
each with a quadratic geometrical mapping. The Rusanov and Roe FDS
Riemann solvers are both used, as well as the LSD, BR2 and IP approaches
for the treatment of the diffusive terms.
The flow solution obtained with a fourth-order SD scheme with the Rusanov flux and the LSD approach is illustrated in Figure 10.40, where the
198
Cp
0.18
0.17
0.16
0.15
0.14
0.13
0.12
0.11
0.1
0.09
0.08
0.07
0.06
0.05
0.04
0.03
0.02
0.01
4.00
3.75
3.50
3.25
3.00
2.75
2.50
2.25
2.00
1.75
1.50
1.25
1.00
0.75
0.50
Figure 10.40: Flow field in the symmetry plane, obtained with fourth-order (p = 3)
SD scheme, Rusanov flux and LSD diffusive flux treatment.
Figure 10.41: Tangential velocity vectors (left) and axial velocity contours (right)
in cross section 30 along the bend (top), 75 along the bend (middle) and 1.00D
downstream of the bend (bottom), obtained with fourth-order (p = 3) SD schemes.
200
1.5
1.0
0.5
0.0
-0.5
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
2.0
Axial velocity/bulk velocity
2.0
Axial velocity/bulk velocity
2.0
(a) p = 1.
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
1.5
1.0
0.5
Rusanov, LSD
Experiment
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(b) p = 2.
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(c) p = 3.
1.5
1.0
0.5
0.0
-0.5
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
2.0
Axial velocity/bulk velocity
2.0
Axial velocity/bulk velocity
2.0
(a) p = 1.
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
1.5
1.0
0.5
Rusanov, LSD
Experiment
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(b) p = 2.
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(c) p = 3.
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(a) p = 1.
2.0
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(b) p = 2.
2.0
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
2.0
Rusanov, LSD
Experiment
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(c) p = 3.
201
1.5
1.0
0.5
0.0
-0.5
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
2.0
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
(a) p = 1.
2.0
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
2.0
Rusanov, LSD
Experiment
1.5
1.0
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(b) p = 2.
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(c) p = 3.
1.5
1.0
0.5
0.0
-0.5
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(a) p = 1.
2.0
1.5
1.0
Rusanov, LSD
Roe, LSD
Rusanov, BR2
Roe, BR2
Rusanov, IP
Roe, IP
Experiment
0.5
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(b) p = 2.
2.0
Axial velocity/bulk velocity
2.0
1.5
1.0
0.5
Rusanov, LSD
Experiment
0.0
-0.5
-0.3
-0.1
0.1
0.3
0.5
Distance from center/diameter
(c) p = 3.
much better result. The numerically obtained axial velocity profiles now
match the experimental profiles very well in the first four sections. There
is a slight discrepancy in the fifth section, where the axial velocity in the
center is slightly under-predicted. This discrepancy was also observed by
Tamamidis and Assanis, [98], who used a FV method, and by Waterson,
[122], who used a residual distribution method. The axial velocity profile
results in the symmetry plane of the fourth-order simulations, with 248000
DOFs, do not differ significantly from the third-order results. Only in the
fifth cross section do the fourth-order results match the experimental data
slightly better than the third-order results, although the small discrepancy
is still present. The secondary flow phenomena, like the vortex pairs, were
resolved much better by the fourth-order simulations though.
Algebraic solver performance
Both the Newton-GMRES and the nonlinear LU-SGS solvers, combined
with a BE scheme, were used to solve the nonlinear algebraic systems corresponding to the present test case. The CFL-law was the same as for the
202
-4
-6
-8
-10
0
-4
-6
-8
50
100
Iter
150
200
-10
0
250
-2
-2
-4
-6
-10
0
500
Iter
100
Iter
200
300
Res[0]
Res[0]
(a) Newton-GMRES, p = 1.
-8
-2
Res[0]
-2
Res[0]
-4
-6
-8
-10
0
1000
(c) Newton-GMRES, p = 2.
100
Iter
200
300
Figure 10.47: Convergence histories for laminar pipe bend flow, obtained with SD
schemes. Logarithm in base ten of the mass density residual L2 -norm versus iterations.
203
-4
-6
-8
-10
0
-4
-6
-8
5000
10000 15000
Wall time (s)
20000
-10
0
-2
-2
-4
-6
-10
0
5000
10000 15000
Wall time (s)
20000
Res[0]
Res[0]
(a) Newton-GMRES, p = 1.
-8
-2
Res[0]
-2
Res[0]
-4
-6
-8
(c) Newton-GMRES, p = 2.
-10
0
20000
40000
Wall time (s)
60000
Figure 10.48: Convergence histories for laminar pipe bend flow, obtained with SD
schemes. Logarithm in base ten of the mass density residual L2 -norm versus wall
time.
the wall time have been included in Figure 10.48. The upper limits for the
CFL-number are included in the legends of these plots.
Notice that for the present test case, the Newton-GMRES method is not
as performant as for the previous test cases, especially in terms of the required computational time. Consider for example the computation with
p = 1, Rusanov Riemann solver and LSD approach for the diffusive terms.
A high CFL-number, equal to one million, was used, the Newton solver
achieved its expected quadratic convergence and thus, the computation
converged in less than thirty iterations. However, the GMRES linear system solver had difficulties to converge, and used the maximum number of
204
Table 10.14: Total memory requirements (megabytes) for laminar pipe bend flow
computations.
p=1
p=2
Newton-GMRES
LSD BR2
IP
5534 2277 2277
9850 9850
205
Nonlinear LU-SGS
LSD BR2
IP
215
215
215
1650 1650 1650
10.3.1
The first LEE test case is the radiation of sound waves generated by dipole
and quadrupole sources in a stagnant fluid. The mean flow for these simulations is
0 = 1,
P0 = 1,
(10.10)
ux,0 = uy,0 = 0.
These test cases, and the formulation of the multipolar sound sources, were
proposed by Bailly and Juve [4]. The domain on which the source terms
are defined is of the order of magnitude of the acoustic wave length, which
makes these test cases difficult problems for noise generation. The domain of interest is the square [200, +200] [200, +200]. Only a very
simple non-reflecting far field boundary condition, based on the characteristics of a local 1D approximation of the LEEs, as discussed in Section
3.5.2, is currently available in COOLFluiD. To minimize spurious reflections, the actual computational domain that is used for these computations is much larger, namely [2000, +2000] [2000, +2000]. Between the
inner domain of interest and the boundary of the computational domain,
a layer of twenty-five cells is inserted, with larger cell sizes close to the
boundary. In this way, extra damping of the outgoing waves is realized.
Three different grids are considered, with respectively 25 25, 50 50 and
206
1000
-100
-1000
-200
-2000
-2000 -1000
0
x
1000 2000
-200 -100
0
x
100 200
Figure 10.49: Coarsest grid for the multipolar sound sources test case.
100 100 quadrilateral cells in the inner domain. The coarsest of these
grids is shown in Figure 10.49.
Dipole source
Following Bailly and Juve [4], a dipole source term contribution sdi to s in
(3.1) is considered, with an analytical formulation
0
2
sin 2
x exp ln(2)
0.01 cos 10
5 y
60 t
(10.11)
sdi =
,
0
0
defined for (x, y) [5, +5] [, +], with = 1.4.
207
200
200
100
100
-100
-100
-200
-200
-100
0
x
100
-200
-200
200
-100
(a) Grid 2, p = 5.
0
x
100
200
(b) Grid 3, p = 3.
Figure 10.50: Density perturbation contours at t = 640 , for the dipole sound
source in a stagnant fluid. Solid lines: = 0.001, ..., 0.011. Dashed lines: =
0.011, ..., 0.001. = 0.001.
[4]. Similar plots for t = 720 are shown in Figure 10.52. It is seen that
the numerical SD results agree nicely with the analytical solution.
0.005
0.000
-0.005
0.005
0.000
-0.005
-0.010
-0.015
-200
0.015
Exact
p=1
p=2
p=3
p=4
p=5
0.010
-100
0
x
(a) Grid 1.
100
200
Exact
p=1
p=2
p=3
0.010
0.005
0.000
-0.005
-0.010
-0.015
-200
0.015
Exact
p=1
p=2
p=3
p=4
p=5
0.010
0.015
-0.010
-100
0
x
(b) Grid 2.
100
200
-0.015
-200
-100
0
x
100
200
(c) Grid 3.
208
0.005
0.000
-0.005
0.015
Exact
p=1
p=2
p=3
p=4
p=5
0.010
0.005
0.000
-0.005
-0.010
-100
0
x
100
200
-0.015
-200
(a) Grid 1.
Exact
p=1
p=2
p=3
0.010
0.005
0.000
-0.005
-0.010
-0.015
-200
0.015
Exact
p=1
p=2
p=3
p=4
p=5
0.010
0.015
-0.010
-100
0
x
100
200
-0.015
-200
(b) Grid 2.
-100
0
x
100
200
(c) Grid 3.
Quadrupole source
200
200
100
100
0
2
x exp ln(2)
0.01 sin ( 20
2
5 y
sin
squad =
t
,
(10.12)
2
60
y exp ln(2)
0.01 sin 20
5 x
0
-100
-200
-200
-100
-100
0
x
100
200
(a) Grid 2, p = 5.
-200
-200
-100
0
x
100
200
(b) Grid 3, p = 3.
sound source in a stagnant fluid. Solid lines: = 0.001, ..., 0.011. Dashed lines:
= 0.011, ..., 0.001. = 0.001.
209
Figure 10.53 shows the density perturbation contours at t = 640 , obtained on grid 2 with the sixth-order accurate scheme and on grid 3 with
the fourth-order accurate scheme. As was the case with the dipole sound
source, the two results are indistinguishable, although the higher-order
simulation used significantly less DOFs.
t = 720 are plotted in respectively Figure 10.54 and 10.55. The analytical solution has also been included. A good agreement between the numerical and analytical results is observed and the advantage of high-order
schemes is clearly illustrated.
0.010
0.005
0.000
-0.005
-0.010
-200
0.020
Exact
p=1
p=2
p=3
p=4
p=5
0.015
0.010
0.005
0.000
-0.005
-100
0
x
100
200
-0.010
-200
(a) Grid 1.
0.020
Exact
p=1
p=2
p=3
p=4
p=5
0.015
0.020
Exact
p=1
p=2
p=3
0.015
0.010
0.005
0.000
-0.005
-100
0
x
100
200
-0.010
-200
(b) Grid 2.
-100
0
x
100
200
(c) Grid 3.
0.010
0.005
0.000
-0.005
-0.010
-200
0.020
Exact
p=1
p=2
p=3
p=4
p=5
0.015
0.010
0.005
0.000
-0.005
-100
0
x
(a) Grid 1.
100
200
-0.010
-200
0.020
Exact
p=1
p=2
p=3
p=4
p=5
0.015
0.020
Exact
p=1
p=2
p=3
0.015
0.010
0.005
0.000
-0.005
-100
0
x
(b) Grid 2.
100
200
-0.010
-200
-100
0
x
100
200
(c) Grid 3.
210
=
=
=
=
1
1,
2 tanh
0.
y
10
(10.13)
With this definition, the fluid in the top half of the domain flows in the
negative x-direction and that in the bottom half in the positive x-direction,
with Mach number M = 0.5. The same far field boundary treatment and
grids as for the test cases with a stagnant fluid are used.
Dipole source
The same analytical formulation (10.11) for the dipole sound source as with
the stagnant fluid is considered.
200
200
100
100
The density perturbation contours at t = 640 , obtained with a sixthorder SD scheme on grid 2 and with a fourth-order SD scheme on grid
3, are shown in Figure 10.56. The two computations give similar results.
The influence of the mean shear flow on the radiation of sound is clearly
-100
-200
-200
-100
-100
0
x
100
200
(a) Grid 2, p = 5.
-200
-200
-100
0
x
100
200
(b) Grid 3, p = 3.
Figure 10.56: Density perturbation contours at t = 640 , for the dipole sound
source in a shear flow, obtained with mean flow source term. Solid lines: =
0.001, ..., 0.011. Dashed lines: = 0.011, ..., 0.001. = 0.001.
211
200
200
100
100
-100
-200
-200
-100
-100
0
x
100
200
(a) Grid 2, p = 5.
-200
-200
-100
0
x
100
200
(b) Grid 3, p = 3.
Figure 10.57: Density perturbation contours at t = 640 , for the dipole sound
source in a shear flow, obtained without mean flow source term. Solid lines: =
0.001, ..., 0.011. Dashed lines: = 0.011, ..., 0.001. = 0.001.
and the fourth-order SD scheme on grid 3, at t = 640 , are shown in Figure 10.58. The refraction effect on the sound field due to the mean shear
flow is again clear. The linear instability waves excited by the mean flow
212
200
200
100
100
source term in the shear layer are also observed in this case. Neglecting
the mean flow source term results in the plots shown in Figure 10.59. Although less pronounced, the instability waves are still present. They are
-100
-200
-200
-100
-100
0
x
100
-200
-200
200
(a) Grid 2, p = 5.
-100
0
x
100
200
(b) Grid 3, p = 3.
200
200
100
100
-100
-200
-200
-100
-100
0
x
100
200
(a) Grid 2, p = 5.
-200
-200
-100
0
x
100
200
(b) Grid 3, p = 3.
213
214
Chapter 11
Conclusions and
perspectives
11.1 Conclusions
Two high-order accurate spatial discretization methods for unstructured
grids have been investigated extensively, namely the spectral volume (SV)
and the spectral difference (SD) method.
It has been proven that for one-dimensional problems, the SV and SD
methods are equivalent, if the positions of the control volume (CV) boundaries of the SV method coincide with those of the flux points of the SD
method. This equivalence has been illustrated using a 1D inviscid Burgers
equation test case.
An interesting property of the SD method, namely that it is independent of
the positions of its solution points in most general circumstances, for both
simplex and tensor-product cells, has been discovered and proven. This
property greatly simplifies the design of SD schemes, since only the flux
point distributions have to be specified. It also allows for an increase in efficiency of the SD method, by placing the solution points at flux points and
thus eliminating a large portion of the solution reconstruction operations.
Two new approaches for the treatment of the diffusive terms with the SD
method have been investigated, namely the BR2 approach and the IP approach. Both approaches derive from techniques that were developed for
the DG method. Their main advantage over the LSD approach is that
215
11.1. CONCLUSIONS
the full-upwind approaches, result in a stable scheme. A third approach, named the averaged-upwind approach, does not. The wave
propagation analysis of the third-order SD schemes for triangular
cells indicates that no stable flux point distribution for such schemes
exists, with neither the semi-upwind nor the full-upwind Riemann
flux approach. The correctness of the analysis was verified with numerical tests.
2D SD schemes for quadrilateral cells: The wave propagation
analysis of 2D SD schemes for quadrilateral cells confirmed that stable schemes are obtained if a tensor-product formulation based on a
stable 1D scheme is used. The expected high-order accuracy of these
schemes was observed numerically.
3D SV schemes for tetrahedral cells: The model problem for the
matrix method stability analysis was chosen in such a way that unstable modes with long wave lengths can be detected. The uniquely
defined second-order SV scheme was found to be stable. Four families
of third-order accurate SV schemes have been considered. An extensive study of the variation of the stability properties in the threedimensional parameter space corresponding to these schemes indicates that no stable third-order SV scheme for tetrahedral cells exists.
An important issue with high-order accurate spatial schemes, which are
generally more stiff than low-order schemes, is the design of efficient time
marching algorithms and algebraic solvers. Two algebraic solver algorithms have been considered in this thesis, namely the Newton-GMRES algorithm and the nonlinear LU-SGS algorithm. Both algorithms performed
well, although their large memory requirements were found to be a limitation to the practical applicability of high-order methods.
The SV schemes for triangular and tetrahedral cells and the SD schemes
for quadrilateral and hexahedral cells have been implemented in a C++
code, namely the COOLFluiD collaborative simulation environment developed at the von Karman Institute for Fluid Dynamics. These implementations have been used to demonstrate the capabilities of the two methods
for the solution of flow problems. More specifically, the SV and SD methods
were used to solve inviscid flow problems governed by the Euler equations,
namely the propagation of 2D and 3D acoustic pulses and the inviscid flow
over a circular cylinder at M = 0.38. Viscous flow problems governed by
the Navier-Stokes equations were also considered. The steady flow over
a circular cylinder at Re = 40 and M = 0.15 was computed with the SV
217
11.2 Perspectives
11.2.1
Without a doubt, the most critical issue for the continued development
and usage of the SV method is the resolution of the stability problems
with high-order SV schemes for tetrahedral cells. Since stability analyses
indicate that no stable scheme exists within the families of third-order SV
partitions that have been considered so far, a completely different family
of partitions of a tetrahedral cell may have to be considered, or possibly
even a more fundamental change in the formulation of the SV method.
11.2.2
The stability problems that occur with high-order SD schemes for triangular cells, and likely also for high-order SD schemes for tetrahedral cells,
are the most important issue that remains to be resolved for the usability of the SD method on such grids for real-life problems. As with the SV
method, new ideas are probably required to obtain a stable high-order SD
formulation for simplex cells.
On the other hand, the SD schemes for quadrilateral and hexahedral cells
are very promising, since they are relatively cheap and easy to implement
for general solution and geometrical polynomial degrees, and they are capable of achieving a very good accuracy on coarse grids. The flexibility
of the SD method for such cells would benefit greatly from an extension of
the formulation to more general quadrilateral and hexahedral grids, where
so-called hanging nodes are allowed. This is absolutely necessary for an efficient automated grid generation for general geometries and for local grid
adaptation based on error estimations.
218
11.2. PERSPECTIVES
220
Appendix A
Discontinuous Galerkin
method
The most popular high-order method for unstructured grids, the discontinuous Galerkin (DG) method, is briefly reviewed in the present appendix.
The DG method was introduced in 1973 by Reed and Hill, [83], for a steady
conservation law. It was first used for unsteady advection laws by Van
Leer, [108], in 1978. Important contributions to the development of the
DG method were made by Cockburn, Shu et al. [23, 2527, 29]. An analysis of the wave propagation properties of the DG method was done by Hu et
al. [53]. A nice overview of the DG method, with studies of its stability for
different governing convection-diffusion equations and superconvergence
properties for certain functionals of the DG solution, can be found in e.g.
Hartmann [45].
(A.1)
is then sought, where the Qi,j are the DG solution variables. To obtain a
sufficient number of governing equations for these solution variables, (A.2)
is substituted into the governing equations (A.1) and these equations are
projected onto each of the basis functions in each cell:
N Z
X
s
j=1
bi,l bi,j dV
Vi
dQi,j
+
dt
Vi
~ ~fC (Qi ) dV =
bi,l
Vi
(A.3)
with l = 1, ..., N s . Integration by parts and application of Gauss theorem
on the second term results in
N Z
X
s
j=1
bi,l bi,j dV
Vi
dQi,j
=
dt
Vi
Vi
bi,l~fC ~1n dS
Vi
(A.4)
For the evaluation of the surface integral, ~fC ~1n is substituted by an ap~ R ~1n , see (4.4), to compute a unique flux from
proximate Riemann solver F
the two available solutions at a face, and to ensure a coupling between
neighbouring cells. The final formulation is then
N Z
X
s
j=1
Vi
bi,l bi,j dV
dQi,j
=
dt
Vi
ZVi
Vi
The matrix
bi,l bi,j dV
Vi
222
~ ~1n dS
bi,l F
bi,l s (Qi ) dV.
(A.5)
(A.6)
224
Appendix B
226
(B.3)
(B.4)
where q contains the amplitude and phase data of the Fourier wave. The
parameter is given by the exact dispersion relation
R = 0
I = = ak,
and
(B.5)
where R is the dissipation rate and is the angular frequency. This solution corresponds, as expected, to an undamped advection with velocity a of
the Fourier wave. The non-dimensionalized version of the exact dispersion
relation is
R = 0
and
I = = K,
(B.6)
with K = kx the dimensionless wave number, R = R x/a the dimensionless dissipation rate and = x/a the dimensionless exact angular
frequency.
Modified dispersion relation
The following general Riemann flux is defined:
F R (QL , QR ) =
=
QL + QR
QR QL
|a|
2
2
a + |a|
a |a|
QL +
QR ,
2
2
(B.7)
(B.8)
(B.9)
with
dQ
= MQ,
dt
(B.10)
M = M1 exp (IK) + M0 + M+1 exp (+IK) .
(B.11)
s,GP
NX
,
m (t ) Q
Q
m
(B.12)
m=1
(B.16)
tb1 exp
m t , with b ranging from 1 to the
eigenvalue gives rise to modes of the form Q
m
m,R = 0 and b > 1, then this mode grows like tb1 and is
multiplicity of the eigenvalue. If
thus unstable. Such an instability with a polynomial growth is much less problematic than
an instability with an exponential growth, but it should nonetheless be avoided.
229
(B.19)
is substituted in the 2D linear advection equation. This leads to an expression like (B.4) for q, with the parameter for the 2D case given by
R = 0
and
I = = ak cos ( ) ,
(B.20)
and
I = = K cos ( ) .
230
(B.21)
(B.22)
(B.23)
i =1 j =1
~
~
~
QGP
i,j (t ) = Q (t ) exp I k iB1 + j B2 B
i
h
(t ) exp IK~1k iB
~ + jB
~
(B.24)
= Q
1
2
in equation (B.23) again results in a system of ordinary differential equations like (B.10), with the matrix M defined by
M=
+1
+1
X
X
i =1 j =1
i
h
~ + jB
~ .
Mi ,j exp IK~1k i B
1
2
(B.25)
+1
+1
i
h
X
X
= 0,
~ + jB
~
det
Mi ,j exp IK~1k i B
1
2
i =1 j =1
231
(B.26)
~
~
~
Qm exp IK 1k iB1 + j B2 , as in 1D.
B.2
Matrix method
The matrix method for stability analysis is strongly related to the Von
Neumann type method described in the previous section. The main difference is that the computational domain is not assumed to be periodic. The
advantages of this analysis are thus that it is applicable to problems with
arbitrary unstructured meshes on any domain, instead of only to uniform
meshes on periodic domains, and that the influence of boundary condition
formulations is also included in the analysis. A disadvantage is that it
involves the computation of the eigenvalues of a relatively large matrix,
as opposed to the computation of the eigenvalues of a number of relatively
small matrices with the method that was discussed in the previous section.
This limits the size of the problems to which the matrix method can be applied. It is also not straightforward to use the method as a tool to assess
the accuracy of a spatial discretization method, because it is not obvious
to which wave number a certain eigenvalue corresponds. It is theoretically
possible to examine the accompanying eigenvector and thus deduce the
wave number, but because of the generally large size of the eigenvectors,
this is not a trivial task.
The matrix method can be applied to any system of linear conservation
laws, like the linear advection equation (B.1) or the linearized Euler equa2 See
232
B.2.1 Methodology
To fix thoughts, assume that the matrix method is applied to a problem
governed by the linear advection equation (B.1). It can then be made nondimensional with x, a measure for the mesh size, as the reference length
scale and x/a, with a the size of the advection speed vector ~a, as the
reference time scale. Application of a general linear spatial discretization
method to the governing equation results in
dQ
= MQ + S.
dt
(B.27)
233
the particular solution, which is the steady state solution that remains
when t +, is
s,tot
NX
Sm
Q .
(B.30)
Qpart =
m m
m=1
The complete solution is then
Q (t ) =
s,tot
NX
m=1
S
m
0
Qm exp m t +
exp m t 1 Q
m
m
(B.31)
where the coefficients Q0m ensure that the initial condition is satisfied:
0
Q = Q (0) =
s,tot
NX
.
Q0m Q
m
(B.32)
m=1
For the solution (B.31) to remain bounded for increasing t , the real part
m,R of all eigenvalues
m should be nonpositive, since an eigenvalue with
B.3
234
dt
t
where n is the time iteration index. With the spatial residual R denoting
the approximation of a general spatial method for the spatial derivatives,
the fully discretized system is then
Qn+1 = Qn + tR (Qn ) .
(B.34)
The dimensionless version of the time step t is the Courant-FriedrichsLewy (CFL) number , defined by
=
at
.
x
(B.35)
The following can be applied to (B.8), (B.23) or (B.27), but here the focus
will be on the last expression. After introducing the forward Euler formula,
the fully discretized system becomes
Qn+1 = Qn + (MQn + S) .
(B.36)
Q =
s,tot
NX
,
Qnm Q
m
(B.37)
m=1
m = 1, ..., N s,tot ,
(B.38)
235
(B.40)
(B.41)
is the amplification factor of the forward Euler scheme. The region in the
complex plane defined by |G (
z )| 1 is called the stability region of the
forward Euler scheme, and is a circle with a radius of one in the complex
plane, centered around 1, as plotted in Figure B.3. The stability condition
for the complete discretization is then that the Fourier footprint of the
m for m = 1, ..., N s,tot , scaled with the CFL number ,
spatial scheme,
lies entirely inside the stability region of the forward Euler scheme.
5
2.5
0
8
0.
Im(z)
.2
0.40
0.6
2.5
5
10
4
Re(z)
Figure B.3: Amplification factor amplitude for the forward Euler scheme.
236
z2
.
2
(B.43)
= R (Qn )
t 1
n
= R Q +
R
2
t 2
n
R
= R Q +
2
= R Qn + tR3
t 1
= Qn +
R + 2R2 + 2R3 + R4 ,
6
(B.44)
z2
z3
z4
+
+ .
(B.45)
2
6
24
The stability zones of these R-K schemes are plotted in Figure B.4.
G (
z ) = 1 + z +
(B.46)
1
,
(B.47)
1 z
and the corresponding stability region is the entire complex plane minus
the region enclosed by a circle with a radius of one and centered around
+1, as shown in Figure B.5. Notice that |G (
z )| 1 for zR 0 (A-stability)
G (
z) =
237
2.5
0.
0.
0
2
0.
0.6
0.8
0.4
Im(z)
0.6
0.
2.5
5
10
4
Re(z)
0.
0.6
8
1
1 0.8
0.2
0.40.6
2.5
1 0.8
0.2
0.6
0.8
1
2.5
5
10
1
8
0.
0
0. .4
18
0.6
0.4
Im(z)
0.60.40.2
4
Re(z)
0.60.4
Figure B.4: Amplification factor amplitude for the explicit second- (top) and fourthorder (bottom) R-K schemes .
238
0.2
0.2
2.5
0.4
0.6
0.8
0.4
Im(z)
6
0.
0.2
0.8
2.5
0.4
0.2
5
10
4
Re(z)
Figure B.5: Amplification factor amplitude for the backward Euler scheme.
2 + z
,
2 z
(B.49)
5
1
0.8
0.6
0.6
0.6
0.8
0.2
0.6
Im(z)
0.2
0.4
0.4
2.5
0.4
2.5
0.6
5
10
4
Re(z)
0.8
0.6
(a) Trapezoid.
0.4
0.
0.6
0.
Im(z)
0.8
2.5
2.5
0.8
0.6
0.4
5
10
4
Re(z)
(b) BDF2.
Figure B.6: Amplification factor amplitude for the trapezoid (top) and the secondorder backward difference scheme (bottom).
240
z
2 1 + 2
.
G =
3 2
z
(B.52)
241
242
Appendix C
p-Multigrid
Most iterative solution algorithms, or error smoothers as they are usually
called in the context of multigrid algorithms, are very good at removing
high-frequency error components, but less efficient for low-frequency components. A multigrid algorithm exploits an error smoothers good efficiency
for the high-frequency errors to speed up the convergence, by switching to
coarser solution representations. Low-frequency error components in the
finer solution representation are seen as high-frequency on such a coarser
representation, which can be efficiently removed by the error smoother.
With traditional h-multigrid, switching to coarser solutions means switching to coarser grids. With p-multigrid, this is achieved by switching to a
lower polynomial degree.
The p-multigrid algorithm was introduced by Ronquist and Patera [85].
It is already widely used for DG methods, see e.g. Bassi and Rebay [11],
Helenbrook et al. [47], Helenbrook and Atkins [46] and Fidkowski et al.
[36]. It was also applied to the SV method by Van den Abeele et al. [100],
Parsani et al. [77] and Kannan et al. [61], and to the SD method by Premasuthan et al. [79] and May et al. [72]. A brief introduction to the
p-multigrid algorithm is given in this appendix.
APPENDIX C. P -MULTIGRID
1
Qf .
Perform 1 smoothing sweeps on the fine level: Qf Gf
Prolongate the coarse level solution and correct the fine level state:
Qf Qf + Tfc (Qc Qc0 ).
2
Qf .
Perform 2 smoothing sweeps on the fine level: Qf Gf
C.2
The coarse level problem could again be solved using a FAS algorithm,
and so on. In this way, one arrives at a V-cycle. A further increase in
efficiency can be achieved by initializing the solution on coarser levels. In
this way, a better initial solution is provided for the fine levels, which will
also improve the robustness of the method. This corresponds to a so-called
Full Multgrid (FMG) algorithm. A criterion is needed to determine when
to switch to a finer level. A good option is to use the following condition,
see e.g. Fidkowski et al. [35] and Van den Abeele et al. [100]. The switch
to a finer level is made when the L2 norm of the coarse level residuals is
smaller than a factor switch times the L2 norm of the fine level residual.
C.3
Transfer operators
The transfer operators are local to each cell. They are defined for the SV
method below, with omission of the cell index i. The definition for the SD
method is analogous.
Prolongation operator Tfc . On the coarse as well as on the fine level,
PN s
the solution within a cell is represented by a polynomial j=1 Q
j Lj .
c
cj =
L
f
X
fm
jm L
j = 1, . . . , Ncs .
(C.1)
m=1
Ncs and Nfs are the number of CVs within a cell on the coarse and fine
level. By equating the fine level solution to the
coarse level solution,
f
f
jm .
the following expression for Tc is found: Tc
mj
f.
T
c
245
APPENDIX C. P -MULTIGRID
246
List of publications
Journal articles
1. G. Ghorbaniasl, K. Van den Abeele, C. Hirsch, and C. Lacor. Sound
field simulation in the time domain-validation and verification test
cases. J. Sound Vibrat., Submitted, 2009.
2. M. Parsani, K. Van den Abeele, C. Lacor, and E. Turkel. Implicit
LU-SGS algorithm for high-order methods on unstructured grids with
p-multigrid strategy for solving the steady Navier-Stokes equations.
J. Comput. Phys., Submitted, 2009.
3. K. Van den Abeele, G. Ghorbaniasl, M. Parsani, and C. Lacor. A stability analysis for the spectral volume method on tetrahedral grids.
J. Comput. Phys., 228:257-265, 2009.
4. K. Van den Abeele, C. Lacor, and Z. J. Wang. On the stability
and accuracy of the spectral difference method. J. Sci. Comput.,
37(2):162-188, 2008.
5. K. Van den Abeele, C. Lacor, and Z. J. Wang. On the connection
between the spectral volume and the spectral difference method. J.
Comput. Phys., 227(2):877-885, 2007.
6. K. Van den Abeele and C. Lacor. An accuracy and stability study of
the 2D spectral volume method. J. Comput. Phys., 226(1):1007-1026,
2007.
7. K. Van den Abeele, T. Broeckhoven, and C. Lacor. Dispersion and
dissipation properties of the 1D spectral volume method and application to a p-multigrid algorithm. J. Comput. Phys., 224(2):616-636,
2007.
247
LIST OF PUBLICATIONS
Lecture notes
1. K. Van den Abeele, M. Parsani, and C. Lacor. Spectral volume and
spectral difference methods: wave propagation analysis and efficient
solvers. In Lecture notes of Von Karman Institute Lecture Series: 35th
CFD VKI/ADIGMA Course on Very High-Order Discretization Methods, Sint-Genesius-Rode, Belgium, October 2008. VKI LS 2008-08,
ISBN 978-2-930389-88-5.
2. K. Van den Abeele, and C. Lacor. The high-order spectral difference method for unstructured grids. Cours-confrence Technologie et
societe, Coll`ege Belgique, Bruxelles, Belgique, September 2009.
Conference proceedings
1. G. Ghorbaniasl, P. Widera, K. Van den Abeele, and C. Lacor. A
Dynamic Variational Multiscale Model in Turbulent Channel Flow
with Distorted Grids. In Proceedings of 47th AIAA Aerospace Sciences
Meeting and Exhibit, Orlando, Florida, January 2009. AIAA Paper
2009-0943.
2. K. Van den Abeele, M. Parsani, and C. Lacor. An Implicit Spectral
Difference Navier-Stokes Solver For Unstructured Hexahedral Grids.
In Proceedings of 47th AIAA Aerospace Sciences Meeting and Exhibit,
Orlando, Florida, January 2009. AIAA Paper 2009-0181.
3. M. Parsani, K. Van den Abeele, C. Lacor, and E. Turkel. Implicit
LU-SGS algorithm for high-order methods on unstructured grids. In
Proceedings of Annual Seminar of the ERCOFTAC Belgian Pilot Centre, Leuven, Belgium, December 2008.
4. M. Parsani, K. Van den Abeele, and C. Lacor. Implicit Time Integration Algorithms For High-Order Methods On Unstructured Tetrahedral Grids With p-Multigrid Strategy. In Proceedings of 8th World
Congress on Computational Mechanics / 5th European Congress on
Computational Methods in Applied Sciences and Engineering, Venice,
Italy, July 2008.
5. K. Van den Abeele, M. Parsani, C. Lacor, and T. Quintino. A spectral volume Navier-Stokes solver on unstructured tetrahedral grids.
In Proceedings of 8th World Congress on Computational Mechanics
/ 5th European Congress on Computational Methods in Applied Sciences and Engineering, Venice, Italy, July 2008.
248
LIST OF PUBLICATIONS
6. M. Parsani, K. Van den Abeele, and C. Lacor. An efficient LU-SGS
solver for high-order spectral volume schemes on unstructured grids.
In Proceedings Modern Techniques for Solving Partial Differential
Equations, Brussels, Belgium, June 2008.
7. M. Parsani, K. Van den Abeele, and C. Lacor. Implicit LU-SGS
time integration algorithm for high-order spectral volume method
with p-multigrid strategy. In Proceedings of West-East High Speed
Flow Field Conference, Moscow, Russia, November 2007.
8. G. Ghorbaniasl, C. Hirsch, K. Van den Abeele, and C. Lacor. Verification of noise prediction through acoustic analogy. In Proceedings
of 13th AIAA/CEAS Aeroacoustics Conference (28th AIAA Aeroacoustics Conference), Rome, Italy, May 2007. AIAA Paper 2007-3558.
9. K. Van den Abeele, C. Lacor, and Z. J. Wang. On the connection
between and the stability of the SV and SD methods. In Seminar on
discontinuous Galerkin and high order methods for CFD, Brussels,
Belgium, May 2007.
10. K. Van den Abeele and C. Lacor. Spectral volume schemes: wave
propagation analysis and p-multigrid. In Proceedings of Annual Seminar of the ERCOFTAC Belgian Pilot Centre, Louvain-La-Neuve, Belgium, December 2006.
11. K. Van den Abeele, J. Ramboer, G. Ghorbaniasl, and C. Lacor. Numerical Solution of the Linearized Euler Equations Using Compact
Schemes. In Proceedings of the 4th international conference on computational fluid dynamics, Ghent, Belgium, July 2006.
12. K. Van den Abeele, J. Ramboer, G. Ghorbaniasl, and C. Lacor. Simulation of the sound production by a rotor. In Proceedings of National
Congres on Theoretical and Applied Mechanics, Mons, Belgium, May
2006.
249
LIST OF PUBLICATIONS
250
Bibliography
[1] http://www.answers.com/topic/boundary-layer, 2009. 24
[2] D. N. Arnold, F. Brezzi, B. Cockburn, and L. D. Marini. Unified analysis of discontinuous Galerkin methods for elliptic problems. SIAM
J. Numer. Anal., 39(5):17491779, 2002. 8, 46, 48, 49, 224
[3] H. L. Atkins and C.-W. Shu. Quadrature-free Implementation of Discontinuous Galerkin Method for Hyperbolic Equations. AIAA Journal, 36:775782, 1998. 8, 223
[4] C. Bailly and D. Juve. Numerical solution of acoustic propagation
problems using linearized euler equations. AIAA Journal, 38(1):22
29, 2000. 26, 206, 207, 208, 209
[5] S. Balay, K. Buschelman, V. Eijkhout, W. D. Gropp, D. Kaushik, M. G.
Knepley, L. C. McInnes, B. F. Smith, and H. Zhang. PETSc users
manual. Technical Report ANL-95/11 - Revision 2.1.5, Argonne National Laboratory, 2004. 156
[6] S. Balay, K. Buschelman, W. D. Gropp, D. Kaushik, M. G. Knepley,
L. C. McInnes, B. F. Smith, and H. Zhang. PETSc Web page, 2001.
http://www.mcs.anl.gov/petsc.
[7] S. Balay, W. D. Gropp, L. C. McInnes, and B. F. Smith. Efficient
management of parallelism in object oriented numerical software
libraries. In E. Arge, A. M. Bruaset, and H. P. Langtangen, editors, Modern Software Tools in Scientific Computing, pages 163202.
Birkhauser
Press, 1997. 156
[8] F. Bassi, A. Crivellini, S. Rebay, and M. Savini. Discontinuous
Galerkin solution of the Reynolds-averaged Navier-Stokes and k2o
turbulence model equations. Comput. Fluids, 34(4-5):507540, 2005.
11
251
BIBLIOGRAPHY
[9] F. Bassi and S. Rebay. A high-order accurate discontinuous finite element method for the numerical solution of the compressible NavierStokes equations. J. Comput. Phys., 131:267279, 1997. 8, 166, 224
[10] F. Bassi and S. Rebay. High-order accurate discontinuous finite element solution of the 2d Euler equations. J. Comput. Phys., 138:251
285, 1997. 8, 166, 169
[11] F. Bassi and S. Rebay. Numerical solution of the Euler equations
with a multiorder discontinuous finite element method. In Second
International Conference on Computational Fluid Dynamics, Sydney, Australia, 2002. 11, 243
[12] F. Bassi, S. Rebay, G. Mariotti, S. Pedinotti, and M. Savini. A highorder accurate discontinuous finite element method for inviscid and
viscous turbomachinery flows. In R. Decuypere and G. Dibelius, editors, Proceedings of 2nd European Conference on Turbomachinery,
pages 99108, Antwerpen, Belgium, 1997. 8, 46, 70, 224
[13] P. Batten, N. Clarke, C. Lambert, and D. Causon. On the choice of
wavespeeds for the HLLC Riemann solver. SIAM J. Sci. Comput.,
18(6):15531570, 1997. 34
[14] C. E. Baumann and J. T. Oden. A discontinuous hp finite element
method for convection-diffusion problems. Comput. Methods Appl.
Mech. Engrg., 175:311341, 1999. 8, 224
[15] C. E. Baumann and J. T. Oden. A discontinuous hp finite element
method for the euler and navier-stokes equations. Internat. J. Numer. Methods Fluids, 31:7995, 1999. 8, 224
[16] C. Bogey, C. Bailly, and D. Juve. Computation of flow noise using source terms in linearized eulers equations. AIAA Journal,
40(2):235243, 2002. 26, 212
[17] A. Brandt. Guide to Multigrid Development. Springer, Berlin, 1982.
243
[18] X.-C. Cai and M. Sarkis. A Restricted Additive Schwarz Preconditioner for General Sparse Linear Systems. SIAM J. Sci. Comput.,
21(2):792797, 1999. 176, 185
[19] H. B. Callen. Thermodynamics and an Introduction to Thermostatics. Second Edition. John Wiley & Sons, Chichester - New York Brisbane - Toronto - Singapore, 1985. 15
252
BIBLIOGRAPHY
[20] Q.-Y. Chen. Partitions for Spectral (Finite) Volume Reconstruction
in the Tetrahedron. J. Sci. Comput., 29(3):299319, 2006. 9, 57, 58,
62
[21] Q.-Y. Chen. Partitions of a simplex leading to accurate spectral
(finite) volume reconstruction. SIAM J. Sci. Comput., 27(4):1458
1470, 2006. 9, 57, 58, 117, 118, 120, 121, 144
[22] R. F. Chen and Z. J. Wang. Fast block lower-upper symmetric Gauss
Seidel scheme for arbitrary grids. AIAA Journal, 38(12):22382245,
2000. 11
[23] B. Cockburn, S. Hou, and C.-W. Shu. TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation
laws IV: the multidimensional case. Math. Comput., 54:545581,
1990. 7, 221
[24] B. Cockburn, G. Karniadakis, and C.-W. Shu.
Discontinuous
Galerkin Methods. Theory, Computation and Applications. Lecture Notes in Computational Science and Engineering, 11, chapter
The development of discontinuous Galerkin methods, pages 350.
Springer Verlag, February 2000. 8
[25] B. Cockburn, S.-Y. Lin, and C.-W. Shu. TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws III: one-dimensional systems. J. Comput. Phys., 84:90113,
1989. 7, 221
[26] B. Cockburn and C.-W. Shu. The Runge-Kutta local projection P 1
Discontinuous Galerkin finite element method for scalar conservation laws. In Proceedings of First Fluid Dynamics Congress. University of Minnesota, Institute for Mathematics and its Applications
Preprint Series # 388, July 1988.
[27] B. Cockburn and C.-W. Shu. TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws II:
general framework. Math. Comput., 52:411435, 1989. 7, 221
[28] B. Cockburn and C.-W. Shu. The local discontinuous Galerkin
method for time-dependent convection-diffusion systems. SIAM J.
Numer. Anal., 35:24402463, 1998. 8, 46, 70, 224
[29] B. Cockburn and C.-W. Shu. TVB Runge-Kutta local projection discontinuous Galerkin finite element method for conservation laws V:
253
BIBLIOGRAPHY
multidimensional systems. J. Comput. Phys., 141:199224, 1998. 7,
221
[30] B. Cockburn and C.-W. Shu. Rungekutta discontinuous galerkin
methods for convection-dominated problems. J. Sci. Comput.,
16(3):173261, 2001. 8
[31] M. D. Dahl, editor. Third Computational Aeroacoustics (CAA) Workshop on Benchmark Problems. NASA, 2000. 27
[32] M. D. Dahl, editor. Fourth Computational Aeroacoustics (CAA) Workshop on Benchmark Problems. NASA, 2004. 27
[33] M. M. Enayet, M. M. Gibson, A. M. K. P. Taylor, and M. Yianneskis.
Laser Doppler Measurements of Laminar and Turbulent Flow in a
Pipe Bend. NASA Contract Report, CR-3551, 1982. 198
[34] R. Ewert and W. Schroder. Acoustic perturbation equations based on
flow decomposition via source filtering. J. Comput. Phys., 188:365
398, 2003. 26
[35] K. J. Fidkowski. A high-order discontinuous Galerkin multigrid
solver for aerodynamic applications. Masters thesis, Massachusetts
Institute of Technology, Department of Aeronautics and Astronautics, June 2004. 244
[36] K. J. Fidkowski, T. A. Oliver, J. Lu, and D. L. Darmofal. p-Multigrid
solution of high-order discontinuous Galerkin discretizations of the
compressible Navier-Stokes equations. J. Comput. Phys., 207:92
113, 2005. 11, 243
[37] C. Geuzaine and J.-F. Remacle. Gmsh project web site, 2009.
http://www.geuz.org/gmsh. 30, 156
[38] S. K. Godunov. A finite-difference method for the numerical computation of discontinuous solutions of the equations of fluid dynamics.
Mat. Sb., 47:271, 1959. 32
[39] T. Haga, N. Ohnishi, K. Sawada, and A. Masungana. Spectral volume computation of flowfield in aerospace application using earth
simulator. AIAA Paper, 2006-2823, 2006. 39
[40] T. Haga, K. Sawada, and Z. J. Wang. An Implicit LU-SGS Scheme for
Spectral Volume Method on Unstructured Tetrahedral Grids. Commun. Comput. Phys., Submitted, 2009. 11
254
BIBLIOGRAPHY
[41] J. C. Hardin, J. R. Ristorcelli, and C. K. W. Tam, editors. Second
Computational Aeroacoustics (CAA) Workshop on Benchmark Problems. NASA, 1996. 27
[42] R. Harris and Z. J. Wang. Partition Design and Optimization for
High-Order Spectral Volume Schemes. AIAA paper, 2009-1333:19,
2009. 9, 119, 120
[43] R. Harris, Z. J. Wang, and Y. Liu. Efficient quadrature-free highorder spectral volume method on unstructured grids: Theory and 2d
implementation. J. Comput. Phys., 227:16201642, 2008. 9, 53, 54,
55, 56
[44] A. Harten, P. Lax, and B. Van Leer. On upstream differencing and
Godunov-type schemes for hyperbolic conservation laws. SIAM Rev.,
25:3561, 1983. 34
[45] R. Hartmann. 35th CFD/ADIGMA Course on Very High Order Discretization Methods, chapter Numerical analysis of higher order discontinuous Galerkin finite element methods. von Karman Institute
for Fluid Dynamics, October 2008. 8, 221
[46] B. T. Helenbrook and H. L. Atkins. Application of p-multigrid to
discontinuous Galerkin formulations of the Poisson equation. AIAA
Journal, 44(3):566575, 2005. 11, 243
[47] B. T. Helenbrook, D. J. Mavriplis, and H. L. Atkins. Analysis of pmultigrid for continuous and discontinuous finite element discretizations. AIAA paper, 2003-3989:16, 2003. 11, 243
[48] J. Hesthaven. From electrostatics to almost optimal nodal sets
for polynomial interpolation in a simplex. SIAM J. Numer. Anal,
35(2):655676, 1998. 55
[49] J. Hesthaven and C. Teng. Stable spectral methods on tetrahedral
elements. SIAM J. Sci. Comput., 21(6):23522380, 2000. 55
[50] C. Hirsch. Numerical Computation Internal and External Flows. Volume 1: Fundamentals of Numerical Discretization. John Wiley &
Sons, Chichester - New York - Brisbane - Toronto - Singapore, 1988.
15, 225
[51] F. Q. Hu. Dispersion-relation-preserving finite difference schemes
for computational acoustics. J. Comput. Phys., 107:262281, 1993.
27
255
BIBLIOGRAPHY
[52] F. Q. Hu. A stable, perfectly matched layer for linearized euler equations in unsplit physical variables. J. Comput. Phys., 173(2):455
480, 2001. 27
[53] F. Q. Hu, M. Y. Hussaini, and P. Rasetarinera. An analysis of the
discontinuous Galerkin method for wave propagation problems. J.
Comput. Phys., 151:921946, 1999. 8, 221, 226
[54] P. G. Huang, Z. J. Wang, and Y. Liu. An implicit space-time spectral
difference method for discontinuity capturing using adaptive polynomials. AIAA paper, 2005-5255, 2005. 10, 63
[55] H. T. Huynh. A flux reconstruction approach to high-order schemes
including discontinuous Galerkin methods. AIAA Paper, 2007-4079,
2007. 10, 105, 219
[56] H. T. Huynh. A reconstruction approach to high-order schemes including discontinuous Galerkin for diffusion. AIAA Paper, 20090403, 2009. 219
[57] J. J. Douglas and T. Dupont. Interior Penalty Procedures for Elliptic and Parabolic Galerkin Methods. In Lecture Notes in Phys. 58,
Berlin, 1976. 8, 46, 70, 224
[58] A. Jameson. Solution of the Euler equations by a multigrid method.
Appl. Math. Comput., 13:327356, 1983. 11
[59] A. Jameson, W. Schmidt, and E. Turkel. Numerical solution of the
euler equations by finite volume methods using Runge-Kutta time
stepping schemes. AIAA paper, 81-1259, 1981. 10
[60] A. Jameson and S. Yoon. Lower-upper implicit schemes with multiple grids for the euler equations. AIAA Journal, 25(7):929935,
1987. 148
[61] R. Kannan, Y. Sun, and Z. J. Wang. A Study of Viscous Flux Formulations for an Implicit P-Multigrid Spectral Volume Navier Stokes
Solver. AIAA paper, 2008-783, 2008. 9, 11, 46, 48, 49, 226, 243
[62] C. M. Klaij, J. J. W. van der Vegt, and H. van der Ven. Space-time
discontinuous Galerkin method for the compressible Navier-Stokes
equations. J. Comput. Phys., 217(2):589611, 2006. 8
[63] D. A. Kopriva. A conservative staggered-grid Chebyshev multidomain method for compressible flows. II semi-structured method. J.
Comput. Phys., 128(2):475488, 1996. 9, 63, 72, 74, 98
256
BIBLIOGRAPHY
[64] D. A. Kopriva and J. H. Kolias. A conservative staggered-grid Chebyshev multidomain method for compressible flows. J. Comput. Phys.,
125(1):244261, 1996. 9, 63, 72, 74, 98
[65] L. Krivodonova and M. Berger. High-order accurate implementation
of solid wall boundary conditions in curved geometries. J. Comput.
Phys., 211:492512, 2006. 8, 52, 166, 169
[66] A. Lani. An Object-Oriented and High-Performance Platform for
Aerothermodynamics Simulation. PhD thesis, Universite Libre de
Bruxelles, von Karman Institute for Fluid Dynamics, December
2008. 155
[67] Y. Liu, M. Vinokur, and Z. J. Wang. Spectral difference method for
unstructured grids I: Basic formulation. J. Comput. Phys., 216:780
801, 2006. 10, 63, 65, 131
[68] Y. Liu, M. Vinokur, and Z. J. Wang. Spectral (finite) volume method
for conservation laws on unstructured grids V: Extension to threedimensional systems. J. Comput. Phys., 212:454472, 2006. 9, 39,
57, 58, 62, 74, 116, 144, 165
[69] R. B. Lowrie, P. L. Roe, and B. Van Leer. A space-time discontinuous Galerkin method for the time accurate numerical solution of
hyperbolic conservation laws. AIAA paper, 95-1658, 1995. 8
[70] Y. Maday and R. Munoz. Spectral element multigrid part 2: theoretical justification. Technical Report ICASE 88-73, 1988. 11
[71] D. J. Mavriplis. Multigrid strategies for viscous flow solvers on
anisotropic unstructured meshes. J. Comput. Phys., 145:141165,
1998. 11
[72] G. May, F. Iacono, and A. Jameson. Efficient Algorithms for HighOrder Discretizations of the Euler and Navier-Stokes Equations.
AIAA paper, 2009-0182, 2009. 11, 243
[73] G. May and A. Jameson. A spectral difference method for the Euler
and Navier-Stokes equations. AIAA paper, 2006-304, 2006. 10, 63,
71
[74] C. Michalak and C. Ollivier-Gooch. Unstructured High-Order Accurate Finite-Volume Solutions of the Navier-Stokes Equations. AIAA
paper, 2009-0954:113, 2009. 35
257
BIBLIOGRAPHY
[75] A. R. Mitchell and D. F. Griffiths. The Finite Difference Method in
Partial Differential Equations. John Wiley & Sons, Chichester - New
York - Brisbane - Toronto, 1980. 87
[76] C.-W. S. S. Osher. Efficient implementation of essentially nonoscillatory shock-capturing schemes. J. Comput. Phys., 77:439471,
1988. 11
[77] M. Parsani, K. Van den Abeele, and C. Lacor. Implicit LU-SGS time
integration algorithm for high-order spectral volume method with pmultigrid strategy. In West-East High Speed Flow Field Conference,
Moscow, Russia, November 2007. 11, 243
[78] M. Parsani, K. Van den Abeele, C. Lacor, and E. Turkel. Implicit LUSGS algorithm for high-order methods on unstructured grids with
p-multigrid strategy for solving the steady Navier-Stokes equations.
J. Comput. Phys., Submitted, 2009. 151
[79] S. Premasuthan, C. Liang, A. Jameson, and Z. J. Wang. A pMultigrid Spectral Difference method for viscous compressible flow
using 2D quadrilateral meshes. AIAA paper, 2009-0950:118, 2009.
11, 71, 72, 243
[80] T. Quintino. A Component Environment for High-Performance
Scientific Computing: Design and Implementation. PhD thesis,
Katholieke Universiteit Leuven, von Karman Institute for Fluid Dynamics, December 2008. 155
[81] T. Quintino, D. Kimpe, T. Wuilbaut, and A. Lani. COOLFluiD project
web site, 2008. http://coolfluidsrv.vki.ac.be/coolfluid. 156
[82] P. Rasetarinera and M. Y. Hussaini. An efficient implicit discontinuous Galerkin method. J. Comput. Phys., 172(2):718738, 2001. 11
[83] W. Reed and T. Hill. Triangular mesh methods for the neutron transport equation. Technical Report LA-UR 73-479, Los Alamos National
Laboratory, 1973. 7, 221
[84] P. L. Roe. Approximate Riemann solvers, parameter vectors and
difference schemes. J. Comput. Phys., 43:357372, 1981. 34, 157
[85] E. Ronquist and A. Patera. Spectral element multigrid I. Formulation and numerical results. J. Sci. Comput., 2(4):389406, 1987. 11,
243
258
BIBLIOGRAPHY
[86] V. V. Rusanov. Calculation of interaction of non-steady shock waves
with obstacles. J. Comput. Math. Phys. USSR, 1:267279, 1961. 33
[87] Y. Saad and M. H. Schultz. GMRES: A generalized minimal residual
algorithm for solving nonsymmetric linear systems. SIAM J. Sci.
Stat. Comput., 7:856869, 1986. 148
[88] D. Sharov and K. Nakahashi. Reordering of hybrid unstructured
grids for lower-upper symmetric gauss-seidel computations. AIAA
Journal, 36(3):484486, 1998. 151
[89] C.-W. Shu. Total variation diminishing Runge-Kutta schemes. SIAM
J. Sci. Stat Comp, 9:10791084, 1988. 11, 34, 91, 108, 144
[90] J. L. Steger and R. F. Warming. Flux vector splitting of the inviscid
gasdynamics equations with application to finite difference methods.
J. Comput. Phys., 40:263, 1981. 34
[91] Y. Sun and Z. J. Wang. Evaluation of discontinuous Galerkin and
spectral volume methods for scalar and system conservation laws on
unstructured grids. Internat. J. Numer. Methods Fluids, 45:819838,
2004. 9, 107
[92] Y. Sun and Z. J. Wang. Formulations and analysis of the spectral
volume method for the diffusion equation. Commun. Numer. Meth.
Engng, 20:927937, 2004. 46
[93] Y. Sun, Z. J. Wang, and Y. Liu. Spectral (finite) volume method for
conservation laws on unstructured grids VI: Extension to viscous
flow. J. Comput. Phys., 215:4158, 2006. 9, 39, 46, 48, 72, 181, 193
[94] Y. Sun, Z. J. Wang, and Y. Liu. High-order Multidomain Spectral
Difference Method for the Navier-Stokes Equations on Unstructured
Hexahedral Grids. Commun. Comput. Phys., 2(2):310333, 2007. 10,
63, 71, 98
[95] Y. Sun, Z. J. Wang, and Y. Liu. Efficient implicit non-linear LU-SGS
approach for compressible flow computation using high-order spectral difference method. Commun. Comput. Phys., 5:760778, 2009.
11
[96] Y. Sun, Z. J. Wang, Y. Liu, and C. L. Chen. Efficient Implicit LUSGS Algorithm for High-Order Spectral Difference Method on Unstructured Hexahedral Grids. AIAA paper, 2007-313(7), 2007. 11,
148
259
BIBLIOGRAPHY
[97] C. K. W. Tam. Numerical Methods in Computational Aeroacoustics.
In AIAA Short Course Computational Aeroacoustics: Methods and
Applications, Lahaina, Hawaii, June 2000. 25
[98] P. Tamamidis and D. N. Assanis. Three-dimensional Incompressible
Flow Calculations with Alternative Discretization Schemes. Numerical Heat Transfer, Part B, 24:5776, 1993. 198, 202
[99] L. N. Trefethen and D. Bau. Numerical Linear Algebra. Society for
Industrial and Applied Mathematics, 1997. 149
[100] K. Van den Abeele, T. Broeckhoven, and C. Lacor. Dispersion and
dissipation properties of the 1D spectral volume method and application to a p-multigrid algorithm. J. Comput. Phys., 224(2):616636,
2007. 9, 11, 93, 226, 243, 244
[101] K. Van den Abeele, G. Ghorbaniasl, M. Parsani, and C. Lacor. A stability analysis for the spectral volume method on tetrahedral grids.
J. Comput. Phys., 228:257265, 2009. 233
[102] K. Van den Abeele and C. Lacor. An accuracy and stability study
of the 2D spectral volume method. J. Comput. Phys., 226(1):1007
1026, 2007. 9, 53, 93, 113, 118, 121, 226
[103] K. Van den Abeele, C. Lacor, and Z. J. Wang. On the connection
between the spectral volume and the spectral difference method. J.
Comput. Phys., 227(2):877885, 2007. 10, 87
[104] K. Van den Abeele, C. Lacor, and Z. J. Wang. On the stability and accuracy of the spectral difference method. J. Sci. Comput., 37(2):162
188, 2008. 10, 74, 93, 126, 132, 226
[105] K. Van den Abeele, M. Parsani, and C. Lacor. An Implicit Spectral Difference Navier-Stokes Solver For Unstructured Hexahedral
Grids. AIAA paper, 2009-0181:118, 2009. 10, 11, 71, 72
[106] K. Van den Abeele, M. Parsani, C. Lacor, and T. Quintino. A spectral volume Navier-Stokes solver on unstructured tetrahedral grids.
In Proceedings of 8th World Congress on Computational Mechanics (WCCM8)/5th European Congress on Computational Methods in
Applied Sciences and Engineering (ECCOMAS 2008), Venice, Italy,
July 2008. 11
260
BIBLIOGRAPHY
[107] J. J. W. van der Vegt and H. van der Ven. Space time discontinuous
Galerkin finite element method with dynamic grid motion for inviscid compressible flows: I. general formulation. J. Comput. Phys.,
182(2):546585, 2002. 8
[108] B. Van Leer. Towards the ultimate conservative difference scheme.
iv. A new approach to numerical convection. J. Comput. Phys.,
23:276299, 1977. 7, 221
[109] B. Van Leer. Flux-vector splitting for the Euler equations. Lect.
Notes Phys., 170:507, 1982. 34
[110] B. Van Leer and M. Lo. Unification of Discontinuous Galerkin Methods for Advection and Diffusion. AIAA paper, 2009-0400, 2009. 8,
46, 224
[111] B. Van Leer, M. Lo, and M. V. Raalte. A Discontinuous Galerkin
Method for Diffusion Based on Recovery. AIAA paper, 2007-4083,
2007.
[112] B. Van Leer and S. Nomura. Discontinuous Galerkin for Diffusion.
AIAA paper, 2007-5108, 2005. 8, 224
[113] Z. J. Wang. Spectral (finite) volume method for conservation laws on
unstructured grids: Basic formulation. J. Comput. Phys., 178:210
251, 2002. 8, 39, 90, 98
[114] Z. J. Wang. High-order methods for the Euler and Navier-Stokes
equations on unstructured grids. Progress in Aerospace Sciences,
43(1-3):1 41, 2007. 7
[115] Z. J. Wang and H. Gao. A Unifying Lifting Collocation Penalty Formulation for the Euler Equations on Mixed Grids. AIAA paper, 20090401, 2009. 219
[116] Z. J. Wang and Y. Liu. Spectral (finite) volume method for conservation laws on unstructured grids II: Extension to two-dimensional
scalar equation. J. Comput. Phys., 179:665697, 2002. 8, 9, 39, 56,
57, 58, 116, 119, 120
[117] Z. J. Wang and Y. Liu. Spectral (finite) volume method for conservation laws on unstructured grids III: One dimensional systems and
partition optimization. J. Sci. Comput., 20:137157, 2004. 9, 57, 58,
98
261
BIBLIOGRAPHY
[118] Z. J. Wang and Y. Liu. Extension of the spectral volume method
to high-order boundary representation. J. Comput. Phys., 211:154
178, 2006. 9, 39, 116
[119] Z. J. Wang, Y. Liu, G. May, and A. Jameson. Spectral difference
method for unstructured grids II: Extension to the Euler equations.
J. Sci. Comput., 32(1):4571, 2006. 10, 63, 65, 74
[120] Z. J. Wang, Y. Sun, C. Liang, and Y. Liu. Extension of the SD method
to viscous flow on unstructured grids. In Proceedings of the 4th international conference on computational fluid dynamics, Ghent, Belgium, July 2006. 10
[121] Z. J. Wang, L. Zhang, and Y. Liu. Spectral (finite) volume method
for conservation laws on unstructured grids IV: Extension to twodimensional Euler equations. J. Comput. Phys., 194(2):716741,
2004. 9, 39
[122] N. P. Waterson. Simulation of Turbulent Flow, Heat and Mass Transfer using a Residual-Distribution Approach. PhD thesis, Technische
Universiteit Delft, January 2003. 198, 199, 202
[123] C. H. K. Williamson. Oblique and parallel modes of vortex shedding
in the wake of a cylinder at low Reynolds number. J. Fluid Mech.,
206:579627, 1989. 192, 197
[124] L. Yuan and C.-W. Shu. Discontinuous galerkin method based
on non-polynomial approximation spaces.
J. Comput. Phys.,
218(1):295323, 2006. 223
[125] M. Zhang and C.-W. Shu. An analysis of and a comparison between
the discontinuous Galerkin and the spectral finite volume methods.
Comput. Fluids, 34:581592, 2005. 9, 107
262