Professional Documents
Culture Documents
cbcilt o
cáåáíÉ=bäÉãÉåí=pìÄëìêÑ~ÅÉ=cäçï
C=qê~åëéçêí=páãìä~íáçå=póëíÉã
tÜáíÉ=m~éÉêë
sçäK=ff
aefJt^pv=dãÄe
`çéóêáÖÜí=åçíáÅÉW
kç=é~êí=çÑ=íÜáë=ã~åì~ä=ã~ó=ÄÉ=éÜçíçÅçéáÉÇI=êÉéêçÇìÅÉÇI=çê=íê~åëä~íÉÇ=ïáíÜçìí=ïêáííÉå=éÉêãáëëáçå=çÑ=íÜÉ=
ÇÉîÉäçéÉê=~åÇ=ÇáëíêáÄìíçê=aefJt^pv=dãÄeK
`çéóêáÖÜí=EÅF=OMMOI=OMMRI=OMMTI=OMMV=aefJt^pv=dãÄe=_Éêäáå=J=~ää=êáÖÜíë=êÉëÉêîÉÇK=
aefJt^pv=~åÇ=cbcilt=~êÉ=êÉÖáëíÉêÉÇ=íê~ÇÉã~êâë=çÑ=aefJt^pv=dãÄeK
aefJt^pv=dãÄeI===
t~äíÉêëÇçêÑÉê=píê~≈É=NMRI==aJNOROS=_ÉêäáåI=dÉêã~åó
mÜçåÉW=HQVJPMJST==VV=VUJMI=c~ñW=HQVJPMJST=VV=VUJVV
bJj~áäW=ã~áä]ÇÜáJï~ëóKÇÉ
áá=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
`çåíÉåíë
`çåíÉåíë
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ==ÅÜ~ääÉåÖJ
Éë K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K R
cbcilt=ö=ááá
`çåíÉåíë
áî=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
s~êá~ÄäÉJÇÉåëáíó= Ñäçï= ~åÇ= íê~åëéçêí= áå= éçêçìë
ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
kçí~íáçå
N s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ==ÅÜ~ääÉåÖÉë
Abstract
We review the state of the art in modeling of variable-den- Roman letters
sity flow and transport in porous media, including concep-
tual models for convection systems, governing balance
equations, phenomenological laws, constitutive relations for a continuum state variable vector;
fluid density and viscosity, and numerical methods for solv- a 1 shape coefficient;
ing the resulting nonlinear multifield problems. The discus-
B buoyancy or Turner number;
sion of numerical methods addresses strategies for solving
the coupled spatio-temporal convection process, consistent b L aperture;
1 ⁄ 2 –1
velocity approximation, and error-based mesh adaptation C L T Chezy roughness coefficient;
techniques. As numerical models for those nonlinear sys- Cr Courant number;
tems must be carefully verified in appropriate tests, we dis- 2 –2 –1
cuss weaknesses and inconsistencies of current model- c L T Θ specific heat capacity;
2 –1
verification methods as well as benchmark solutions. We D L T tensor of hydrodynamic dispersion;
give examples of field-related applications to illustrate spe- 2 –1
D L T diffusivity;
cific challenges of further research, where heterogeneities
and large scales are important.
D dimension of problem (1,2,3);
2 –1
Dd L T coefficient of molecular diffusion;
Keywords: porous media; balance equations; phenomeno- 2 –1
Dm L T tensor of mechanical dispersion;
logical laws; constitutive relations; variable density; brine 2 –1
D m∗ L T modified D m ;
transport; saltwater intrusion; convection; thermohaline 2 –1
flow; fingering; Rayleigh number; instability; numerical Ds L T saline diffusivity;
–2 –1
simulation; finite element methods; adaptive methods; Dλ ML T Θ Soret coupling tensor;
benchmarking; –2 –1
D λ∗ ML T Θ modified D λ ;
2 –1
Dλ L T thermal diffusivity;
–1
d T strain-rate tensor;
d L thickness or height;
cbcilt=ö=R
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
2 –2
E L T internal (thermal) energy density; and the half domain, respectively;
e error vector; NN, NN 2 number of nodes of the whole and
–2 –2 the half domain, respectively;
F ML T interfacial drag term of momentum
exchange; Pe mesh (grid) Peclet number;
–2 –2 –1 –2
Ff ML T surface friction (viscous shear) term; p ML T pressure;
–1 –2
f generalized flux vector; pc ML T capillary pressure;
–2 –3 –1
g LT external body force (e.g., gravity); Q ML T sink/source term;
–2 –3 –1
g LT gravitational acceleration g ; Q EB ML T extended Boussinesq approximation
–1 –2 term;
H ML T integral function of the gravity term;
–1 –3 –3 –1
He ML T energy (heat) sink/source term; Qk ML T sink/source term of species k ;
–1
h L representative element length; q LT Darcy velocity;
2 –2 R L radius of tube;
he L T enthalpy;
D
I 1 unit vector; ℜ D -dimensional Euclidean space;
–3 –1
J Jacobian matrix; Rk ML T chemical reaction rate of species k ;
–1 Ra Rayleigh number;
ℑF L T Forchheimer coefficient;
–1 2 r L hydraulic radius;
ℑH M L T non-Fickian HC dispersion coeffi-
2 –2 –1
cient; S L T Θ entropy density;
–2 –1
jk ML T nonadvective species flux; s 1 saturation in the void space ε ;
–3
je MT nonadvective energy (heat) flux; T 1 porous medium tortuosity tensor;
–1
K LT effective hydraulic conductivity; T Θ temperature;
2
k L porous medium permeability tensor; t T time;
2
k L isotropic permeability coefficient; tD 1 dimensionless time;
–1
kr 1 relative permeability; v LT macroscopic phase (pore) velocity;
–1
L partial differential equation opera- v LT magnitude of vector v ;
tor; w weighting (test) function;
Le Lewis number; x L spatial coordinate vector;
l mesh level; z L vertical coordinate;
M number of phases;
1 ⁄ 3 –1
M L T Manning roughness coefficient; Greek letters
m nodal point;
N number of chemical species; α 1 solutal expansion coefficient;
N 1 finite element basis (shape) func- –1
β Θ thermal expansion constant;
tion; –1
β(T) Θ variable thermal expansion function;
NE, NE 2 number of elements of the whole
β L, β T L longitudinal and transverse disper-
S=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
sivity, respectively; ωk 1 mass fraction of species k;
–1
γ L fluid compressibility; Ω domain;
δ convergence criterion; ∂Ω boundary of the domain Ω ;
Δ increment or difference; ∂ x, ∂ y, ∂ z partial differentiation with respect to
ε 1 porosity, void space; x, y, z, respectively;
α –1
ε 1 volume fraction of α -phase; ∇ L Nabla (vector) operator;
ζ 1 local coordinate;
η 1 local coordinate; Subscripts
η 1 global error criterion;
ηe 1 local error criterion; c conductive, capillary or critical;
ϑ friction exponent; d dispersive;
θ weighting coefficient; e energy or elemental;
κ upwind parameter; k species indicator;
–3 –1
Λ MLT Θ hydrodynamic thermodispersion λ thermal;
tensor; m mechanical;
–3 –1
Λc MLT Θ conductive part of the thermo- m nodal point;
dispersion tensor; n time level;
4 –3
Λd L T Dufour coupling tensor; 0 reference;
–3 –1
Λm MLT Θ mechanical part of the thermo- p predictor;
dispersion tensor;
–3 –1 s solutal;
λ MLT Θ thermal conductivity;
–1 –1 τ iteration number;
μ ML T dynamic viscosity;
2 –2
μk L T chemical potential of species k;
Superscripts
ξ 1 local coordinate;
–3
ρ ML density function;
–3 a advective
ρk ML density of species k;
–1 –2 α phase indicator;
σ ML T viscous stress tensor;
–1 –2 d dispersive;
σ' ML T deviatoric stress tensor;
g gas phase;
ς 1 normalized temperature;
–1 l liquid phase;
ϒ L coefficient of skeleton compres-
n time level;
sibility;
s solid phase;
τ generalized friction factor;
–1 3 T transpose;
υ M L specific volume 1 ⁄ ρ ;
–1
χ T eigenvalue;
cbcilt=ö=T
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
DDC double diffusive (thermohaline) the density of a fluid can be influenced by the tempera-
convection; ture T (e.g., density decreases when temperature
EOS equations of state; increases) and by the pressure p (density increases
when pressure increases due to compressibility). In a
ENO essentially-non-oscillatory method;
formal manner, the density is to be regarded as a depen-
FE/BE forward Euler/backward Euler
dent thermodynamic variable for which a constitutive
scheme;
relationship, also called equation of state (EOS),
FEM finite element method;
ρ = ρ ( ρ k, T, p ) holds.
FCT flux-corrected-transport scheme;
FVM finite volume method; Among the state variables, density merits special
HC high-concentration; attention as its spatial and temporal variations are fun-
HDR hot dry rock; damental to the class of density-driven flow problems.
HRL Horton-Rogers-Lapwood problem; Mathematically, this is expressed by the presence of ρ
MOC method of characteristics; in the gravity (buoyancy) term in the momentum bal-
MMOC modified method of characteristics; ance equation for a fluid. In systems with variable den-
OB Oberbeck-Boussinesq sity many different, yet physically correct, flow
approximation; patterns may occur. The corresponding mathematical
ODE ordinary differential equation; models have interesting non-unique solutions, and
PGLS Petrov-Galerkin least square issues of physical stability, oscillations and chaos arise.
method;
REV representative elementary volume; In numerous natural and engineered systems, den-
RHS right-hand side; sity-dependent flow processes play an important role.
Besides various applications in the dynamics of pure
RMS root-mean square;
viscous fluids, atmospheric flows, oceanography, lim-
TR trapezoid rule;
nology, energy technology and astrophysics, we find
TVD total-variation-diminishing method;
such phenomena in many areas of subsurface hydrol-
U=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKN=fåíêçÇìÅíáçå
cbcilt=ö=V
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
vold and Tyvand132, McKibbin and O’Sullivan145,146, table to the elevation of the saltwater-freshwater inter-
McKibbin and Tyvand147,148,149 and others. Stabilizing face assuming a hydrostatic equilibrium. The sharp
effects caused by hydrodynamic dispersion were mod- interface approach (saltwater and freshwater as two
eled by Kvernvold and Tyvand133 and Georgiadis and immiscible fluids) was subsequently applied and
Catton80. Non-Darcian flow effects were considered by improved in numerous works, for a review see, e.g.,
Katto and Masuoka122, Walker and Homsy234, Prasad Reilly and Goodman185, Bear13, and Cheng and
and Kladias180 and Kolditz125. Thermohaline (double- Quazar28. However, if an assessment of the salt concen-
diffusive) convection processes in porous media were tration in both local and regional flow systems is
studied, among others, by Nield153, Griffiths87, desired, the more rigorous miscible-fluid approach is
Rubin188, Rubin and Roth189,190, Trevisan and Bejan221, required. The first attempts to model the density-
Murray and Chen151, Tyvand224, Green85, Taunton et dependent miscible saltwater-freshwater systems
al.215, Goyeau et al.82, Oldenburg and Pruess162, Dier- applied to coastal problems were made by Henry99 and
sch and Kolditz49. Pinder and Cooper179. Due to its practical importance,
the numerical modeling of saltwater intrusion and
In hydrogeologic systems saltwater intrusion and upconing processes has received increased attention in
upconing processes are a subject of specific concern. In the water resources literature over the last 20 years,
many situations fluid-density effects are important in resulting in better ways to model the advective and dis-
the vertical and horizontal displacement of saline persive mechanisms with fluid density and viscosity
water. Usually, the heavier saltwater underlies the effects. Saltwater intrusion processes were analyzed
lighter freshwater in a natural system and the resulting among others by Segol at al.203, Segol and Pinder202,
density stratification stabilizes the flow system. While Huyakorn and Taylor116, Huyakorn et al.117, Volker and
the density of ’average’ surface seawater ranges Rushton230, Frind71, Voss231,232, Voss and Souza233, Putti
between 1022 and 1028 kg/m3, brine densities exceed- and Paniconi182, Diersch41, Galeati et al.76, Gambolati
ing 1300 kg/m3 can occur in deep formations. The et al.75, Kolditz et al.126, Bués and Oltean22. Upconing
existence of high salt concentrations can give rise to below pumping wells was studied numerically by Dier-
large concentration gradients in the form of a narrow sch et al.53, Diersch and Nillert51, Reilly and
freshwater-saltwater transition zone. Here, the under- Goodman186 and Holzbecher106. Waste disposal in deep
lain salinity acts as the restoring force, while hydrody- salt formations required modeling of density-dependent
namic dispersion and convection lead to a mixing and flow processes in the vicinity of salt domes. Studies by
vertical displacement of the brine. Classically, the Herbert et al.101, Oldenburg and Pruess161, Oldenburg et
sharp saltwater-freshwater interface assumption is al.163, Johns and Rivera119, Kolditz et al.126, Konikow et
made to enable rather simple analytical and numerical al.129, Holzbecher108 and Younes et al.246 contributed to
solutions. This concept was used independently by a better informed discussion of this subject.
Badon-Ghyben8 and Herzberg102 to derive a formula,
today well-known as the Ghyben-Herzberg relation- More recently, a three-dimensional saltwater upcon-
ship, which relates the elevation of the groundwater ing process in a box including the influence of salinity
NM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKN=fåíêçÇìÅíáçå
on density and viscosity as well as effects of hydrody- atical refinement of the mesh.
namic dispersion was studied in the laboratory by
Oswald167. Today, this saltpool problem is well known Where simulation of large-scale (regional) density-
and has been modeled by various authors2,118,168 with dependent flow is desired, various numerical compro-
varying success. The best agreement with the measure- mises are practised. In order to reduce the computa-
ments has been recently achieved by Johannsen et al.118 tional costs, coarse meshes are used, for which large
who used very fine meshes (up to about 17 million dispersivities are required to achieve numerically sta-
nodal points). For high-concentration brine transport ble solutions. The question remains, to what degree
Hassanizadeh and Leijnse98 and Hassanizadeh92 have may we rely on those numerical results? How reliable
proposed extensions of the dispersion theory in form of are numerical models for variable-density situations
a non-Fickian law. In high-concentration-gradient and how applicable are physical benchmark tests at the
experiments Schotting et al.198 have shown that the scale of real-world problems?
nonlinear dispersion law can achieve a better agree-
ment with the measurements than the linear Fickian The purpose of this paper is to describe the major
dispersion model. Boundary conditions for brine trans- lines of thought, theoretical concepts, numerical
port differ from usual formulations as shown by Has- approaches, important mathematical aspects and simu-
sanizadeh and Leijnse97 for a solid rock salt interface. lations that characterize the ’state-of-the-art’ of den-
Instead of using a no-flow condition, the boundary sity-dependent flow modeling in porous media. Our
fluid flux must be proportional to the density gradient emphasis is on a complete mathematical description,
at the boundary. Duijn and Schotting56 showed that this where thermal and solute density effects, double-diffu-
boundary condition is compatible with the non-Bouss- sive (thermohaline) convections (DDC), fluid viscosity
inesq (full) brine equations and represents a natural and compressibility effects, saturated and unsaturated
choice. porous media, non-Darcian and non-Fickian effects,
influences of hydrodynamic dispersion, reactive multi-
Density-dependent flow processes in porous media componental systems, and heterogeneous and time-
are crucial in a wide spectrum of thermal and saline dependent conditions are incorporated. We will discuss
transport problems in many research disciplines and major approaches in the numerical solution of the basic
different fields of application. Many problems have balance equations with their different phenomenologi-
received repeated attention, yet surprises continue to cal laws and constitutive relationships. Numerical stud-
appear. For instance, new results of the Elder problem ies are reviewed emphasizing the importance of the
have been presented by Frolkovic and De Schepper74 Oberbeck-Boussinesq approximation and its (non-
and recently by Oltean and Bués164. Oltean and Bués Boussinesq) extension, the physical stability and the
use advanced mixed hybrid and discontinuous finite oscillatory behavior at high Rayleigh numbers.
element methods and confirm previous findings1,126,161. Advanced numerical strategies for solving the coupled
In contrast, Frolkovic and De Schepper found different spatio-temporal convection processes for two- and
results for the cellular convection patterns by a system- three-dimensional problems are considered, where the
cbcilt=ö=NN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
consistency problem for the velocity approximation at leading to measurable and solvable quantities for
high density, fully adaptive techniques as well as which the continuum assumption is then invoked. The
numerical errors and stability aspects are of specific standard approach for deriving macroscopic quantities
interest. Standard and newer benchmark tests for den- is the spatial averaging method which has been devel-
sity-dependent flow are revisited and critically dis- oped over the last 25 years, with major contributions
cussed. We conclude with impacts on real-site large- from Bear and Bachmat14, Hassanizadeh and
scale applications. Noting that several challenging Gray93,94,95,96, Hassanizadeh90,91, Gray et al.84, Gray83,
issues are still left to be resolved, existing weaknesses Cushman34 and Whitaker240. In the spatial averaging
in the both theoretical and experimental issues are process a macroscopic variable is referred to a repre-
addressed and subjects of future research will be sentative elementary volume (REV), which is com-
pointed out. Clearly, the paper does not aim to be a posed of M phases. The REV has to be sufficiently
complete review, as the vast field of density-dependent large for fluctuations of spatially averaged properties to
flow in porous media with its adjacent disciplines be negligible. Phases α = 1, …, M are regarded as
would easily fill more than a book. Our choice of sub- material domains separated by phase interfaces (e.g.,
jects is mainly determined by the perspective of ’real- solid-solid, fluid-solid, fluid-fluid) where the system
world’ numerical modelers, and in this sense, it must to properties undergo an abrupt change (discontinuity).
α
some extent remain an individual point of view. Each phase α is composed of N miscible chemical
species. It represents a molecular mixture of several
identifiable chemical components k . By definition a
NKO cìåÇ~ãÉåí~äë chemical species k exists in only one phase α . Species
that pass through different phases are regarded as sepa-
NKOKN `çåíáåììã=~ééêç~ÅÜ rate, phase-pertinent constituents, accordingly the rela-
tionship N = ∑ N α holds.
α
The continuum approach is the standard and as yet
most successful way to describe the fundamental pro- The basis of density-dependent flow and transport
cesses of flow and transport in porous media. The models is stated by the fundamental physical principles
assumption of a continuum implies that physical prop- of conservation of mass, momentum and energy. Addi-
erties (such as velocity, pressure, concentration, tem- tionally, closure of the resulting system of balance laws
perature etc.) are continuously distributed in space and requires a sufficient number of equations, so that all
thus exist for any infinitely small material point. In the unknowns can be determined.
most practical porous-media problems, of course,
mass, motion and energy-related quantities can neither
be measured nor solved at a microscopic level due to NKOKO _~ä~åÅÉ=ä~ïë
the geometric complexity of real geologic media.
These difficulties are resolved by a transformation to The macroscopic mass conservation for a mul-
the macroscopic level by averaging over volumes, tiphase, multispecies system is
NO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
∂ εα α α α α α α α α α ∂ εα α α α α α α α
( ρ ω k ) + ∇ ⋅ ( ε ρ v ω k ) + ∇ ⋅ j k = R k + Q k (1-1) ( ρ v ) + ∇ ⋅ (ε ρ v v ) – ∇ ⋅ σ (1-5)
∂t ∂t
α α α
= ε (ρ g + F )
where ε is a volume fraction, ρ is a density,
ω k = ρ k ⁄ ρ is a mass fraction, j k is a nonadvective spe-
cies flux vector accounting for dispersive and diffusive where σ is a viscous stress tensor, g is an external
transport, v is a macroscopic phase velocity vector, R k body force (e.g., due to gravity or ionic attractions),
is a general reaction term, Q k is a bulk solute mass and F is an interfacial drag term of momentum
source term incorporating both internal and external exchange.
transfer, α = l, g, s is a phase indicator ( l indicates liq-
uid, g indicates gas, s indicates solid), and k is a spe- The phase-related energy balance can be written in
cies indicator. the general form
α 2 α 2
The mass balance for each phase α is obtained by ∂ ε α ρ α ⎛ E α + (------------
v ) -⎞ α α α⎛ α (v ) ⎞
⎜ ⎟ + ∇ ⋅ ε ρ v ⎜ E + -------------⎟ (1-6)
summing (1-1) over all species k , viz., ∂t ⎝ 2 ⎠ ⎝ 2 ⎠
∂ εα α α α α α α α α α α α α α
( ρ ) + ∇ ⋅ (ε ρ v ) = Q (1-2) + ∇ ⋅ ( je – σ ⋅ v ) = ε ( ρ g + F ) ⋅ v + He
∂t
cbcilt=ö=NP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
tions of state and constitutive functions. We note that a I is the unit vector, and β L and β T are the longitudinal
complete constitutive theory requires a rigorous ther- and transverse dispersivities, respectively.
modynamic approach83,90,91. The entropy inequality can
be applied to restrict constitutive equations via the For Fick’s law (1-7) the dispersive mass flux of a
Coleman and Noll method91,95. species is proportional to the concentration gradient.
However, it has been shown98,198 that if large concen-
tration gradients exist, nonlinear effects become impor-
α
NKOKP mÜÉåçãÉåçäçÖáÅ~ä=ä~ïë tant and j k should be replaced by an extended
nonlinear (non-Fickian) dispersion law,
α
For the nonadvective (dispersive) fluxes of mass j k ,
α α α α α α α
momentum σ and energy j e phenomenological laws j k ( ℑ H j k + 1 ) = – ρ D ⋅ ∇ω k (1-9)
are available.
α where ℑ H represents an additional high-concentration
The species mass flux j k is commonly expressed by
(HC) dispersion coefficient and D is the Bear-
the linear Fickian type equation
Scheidegger dispersion tensor (1-8), with longitudinal
α α α α
and transverse dispersivities considered to be proper-
j k = – ρ D ⋅ ∇ω k (1-7) ties of the porous medium and independent of the fluid
properties and transport quantities. By using the non-
where D is the hydrodynamic dispersion tensor, which linear dispersion law (1-9), laboratory experiments for
is assumed to be independent of the concentration and high-concentrated brines could be explained and repro-
its gradient. It is, however, considered to be a function duced reasonably well198.
α
of the velocity v and is commonly described by the α
Bear-Scheidegger dispersion relationship12 for a The stress tensor σ applied to fluid phases is com-
porous medium according to monly split into the equilibrium (pressure) and the non-
equilibrium (deviatoric) parts as
α α α α ⎫
D = ε ( Dd + Dm ) ⎪ α α α α
⎪ σ = – ε p I + σ′ (1-10)
α α
Dd = Dd T ⎪
⎬ (1-8)
α α⎪ where p is the pressure. Assuming Newton’s viscosity
α α ⊗v-⎪
v------------------
Dm = βT v I + ( βL – βT ) α ⎪ law (including the Stokes assumption) the deviatoric
v ⎭ stress tensor can be written in the following form
α α α α 1 α
where D is the tensor of hydrodynamic dispersion, D m σ′ = 2ε μ d – --- ( ∇ ⋅ v )I (1-11)
3
is the tensor of mechanical dispersion, D d is a coeffi-
cient of molecular diffusion, T is the tortuosity tensor,
NQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
α
with the strain-rate tensor a temperature gradient ∇T ,
α 1 α α T α α α α α α
d = --- [ ∇v + ( ∇v ) ] (1-12) j k = – ρ D ⋅ ∇ω k – D λ ⋅ ∇T (1-15)
2
cbcilt=ö=NR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
α ∂E -
α ⎫ α
T = --------- temperature ⎪ where h e has to be developed by constitutive relation-
∂S
α ⎪
α
υ , ωk
α ⎪ ships. In general, the chemical potential
α α α α α
⎪ μ k = μ k ( p , ω k , T ) is a dependent variable, and fur-
α ⎪
α ∂E ⎪ ther constitutive relations are required. However, in
p = – ---------α- pressure (1-18)
∂υ ⎬ most applications the pressure and chemical effects on
α
S , ωk
α ⎪ α
⎪ the internal energy are negligible, so that E becomes
α ⎪ α
α ∂E only dependent on the temperature T
μ k = ---------α- chemical potential ⎪
∂ω k ⎪
⎪ α α α
S ,υ
α α
⎭ dE ≈ c dT (1-22a)
α
It yields (e.g.,14) If the heat capacity c is independent of the tempera-
α α
ture T , the internal energy E can be given explicitly
⎛ α ⎞
α ∂p α α α α
= ⎜ T ---------α – p ⎟ dυ + c dT
α α α α α
dE (1-19) E = c ( T – T0 ) (1-22b)
⎜ ⎟
⎝ ∂T α
υ ,ω
α ⎠
k
α
α α
Generally, the density ρ can be regarded as a func-
+∑ μ k dω k α α
tion of pressure p , concentration ω k and temperature
α
k T
α α α α α
with the heat capacity defined by ρ = ρ ( p , ωk , T ) (1-23)
α
α ∂E The total differential then yields
c = ---------α- (1-20)
∂T α α
υ , ωk
NS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
⎧
⎪
⎨
⎪
⎩
( ω k = ω k0 = 0 , p = p 0 ) actually varies from
⎧
⎪
⎨
⎪
⎩
γ α –β
–4 –4 –1
– 0.68 ⋅ 10 up to 7.5 ⋅ 10 K , and is zero at 4°C
(e.g., Marsily143). To improve the relationship (1-26),
where γ is the phase (fluid) compressibility, and α and Perrochet and Tacher178 introduced a 6th order polyno-
l l l
β are the volumetric solutal and thermal expansion mial ρ = ρ ( T ) with high accuracy. A Taylor series
coefficient, respectively. If we assume that γ , α and β expansion of the polynomial about its reference values
l l l
are constant, the integration of (1-24) immediately p 0, ω k0, T 0 up to the 6th order term can be reformed to
leads to the EOS for the density in the common form an expression according to the state equation (1-26),
see44 for more. In doing so, β takes now the role of a
α α α α α α l
α α γ ( p – p 0 ) + α ( ωk – ω k0 ) – β ( T – T 0 ) function being dependent on the temperature T . It
ρ = ρ0 e (1-25)
defines a nonlinear variable thermal expansion
l
β = β ( T ) , which is applied to the state equation in
where suitable reference values appear for the density form of (1-26) and reads as follows (dropping the
α α α
ρ 0 = ρ α α α at reference pressure p 0 , reference phase indicator here for sake of simplicity)
p 0 , ω k0, T 0 α α
concentration ω k0 and reference temperature T 0 .
α α α α α α
ρ = ρ 0 [ 1 + γ ( p – p 0 ) + α ( ω k – ω k0 ) (1-26)
α α
– β(T – T0 ) ]
cbcilt=ö=NT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
ρf [g/l] 1000
NKOKR `çåëíáíìíáîÉ=Éèì~íáçåë
970
Constitutive relations are required to close the sys-
tem of equations by expressing unknown quantities in
999 the balance and phenomenological laws in terms of
960 0 5 10
accessible (measurable) parameters. Constitutive rela-
variable expansion tionships, however, are usually of approximate and
linear expansion empirical nature. For density-dependent flow processes
α
they are required for the interfacial drag term F ,
950 α α
0 20 40 60 80 100 dynamic viscosity μ , enthalpy h e or heat capacity
α α α
T [oC] c , thermal conductivity λ , volume fraction ε and
f f other dependent variables.
Figure 1.1 Density of freshwater ρf (at ω k = ω k0 ,
f f
p = p 0 ) as a function of temperture T in a range of 0
and 100 °C , close-up view indicates density The interfacial drag term of momentum exchange
α
anomaly44. F in a porous medium appearing in (1-5) can be
developed for both linear and quadratic drag of a fluid
1
β ( T ) = – ----- [ 2 3
( b + 2cT 0 + 3dT 0 + 4eT 0 + 5fT 0 + 6gT 0 ) +
4 5 phase
ρ0
2 3
( c + 3dT 0 + 6eT 0 + 10fT 0 + 15gT 0 ) ( T – T 0 ) +
4
α α α –1 α α α –1 α α
F = –μ ( k ) ⋅ q –μ ( k ) ℑF q ⋅q (1-29)
2 3 2
( d + 4eT 0 + 10fT 0 + 20gT 0 ) ( T – T0 ) + (1-27)
2 3
for α = l, g
( e + 5fT 0 + 15gT 0 ) ( T – T 0 ) +
4
( f + 6gT 0 ) ( T – T 0 ) +
with the volumetric flux density (Darcy or filtration
g ( T – T0 )
5
] velocity) given by
NU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
α α α s
⁄
α α α
q = ε (v – v ) for α = l, g (1-30) μ ( T 0, ω k0 ) ⎛μ ⎞
----------------------------- = ⎜ -----0-⎟
⎛ μ0
⎜ ----------------------------------------------------
-⎟
⎞
. Further relation-
α
μ ⎝ μ α⎠ ⎝ μ α ( T = T 0, ω k = ω k0 )⎠
cbcilt=ö=NV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
∂p ε ∂p
where numerous empirical relationships exist to
l
express p c ( s ) for two- and three-fluid-phase systems. where ϒ denotes the coefficient of skeleton compress-
Well known are the Brooks-Corey and the van Genu- ibility.
chten relationships, applied to two immiscible fluid
phases, see e.g.12,14. More complex parametric models
for three-fluid-phase systems have been developed by NKOKS `çãéäÉíÉ=Éèì~íáçåë
different authors, see150 for a review.
In the practical modeling of density-dependent flow
The presence of more than one fluid phase in a
OM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
cbcilt=ö=ON
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
mass conservation or
∂ρ ∂p ∂s kr k
εs ------ + ρ ⎛⎝ sϒ ------ + ε -----⎞⎠ + ∇ ⋅ ( ρq ) = Q (1-46) 2
q ( ℑ F q + 1 ) = – -------- ⋅ ( ∇p – ρg ) + k r k ⋅ ∇ q (1-49)
∂t ∂t ∂t μ
momentum conservation
l s s ∂T l
[ εsρc + ( 1 – ε )ρ c ] ------ + ρc q ⋅ ∇T (1-50b)
∂t
–1 l
0 = – ∇p + ρg + μ∇ q
2
– μ ( kr k ) ⋅q (1-48) + ∇ ⋅ j e = H e – Qc ( T – T 0 )
⎧
⎨
⎩
⎧
⎪
⎨
⎪
⎩
Brinkmann Darcy
–1
– μ(k k) ℑ q ⋅ q which are solved for p, ω k, q and T with the following
r F
constitutive and phenomenological relations
⎧
⎪
⎪
⎪
⎨
⎪
⎪
⎪
⎩
Forchheimer
⎧ const ⎫
ρ = ρ 0 [ 1 + γ ( p – p 0 ) + α ( ω k – ω k0 ) – β ( T – T 0 ) ] with β = ⎨ ⎪
⎩ β(T) ⎪
⎪
pc = –p = p ( s ) and s = s(p) ⎪
⎪
kr = kr ( s ) ⎪
⎪
j k ( ℑ H j k + 1 ) = – ρD ⋅ ∇ω k – D λ∗ ⋅ ∇T ⎪
⎬ (1-51)
j e = – Λ ⋅ ∇T – ρΛ d ⋅ ∇ω k ⎪
⎪
D = εsD d T + D m∗ ⎪
⎪
l s l ⎪
Λ = [ εsλ + ( 1 – ε )λ ]I + ρc D m∗ ⎪
⎪
q⊗q ⎪
D m∗ = β T q I + ( β L – β T ) -------------
q ⎭
The balance statements (1-47a) and (1-50a) are the basic divergent forms of the transport equations which
OO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë
brines in hot, high-pressure, supercritical regimes, tures of DDC phenomena are223: (a) they often occur in
extended and more general relationships are required, systems which are hydrostatically stable, i.e., the total
which are described by Palliser and McKibbin170,171,172. density of the fluid increases with depth, (b) large verti-
cal fluid motions can be produced, and (c) the potential
energy always decreases and therefore the vertical den-
NKP `çåîÉÅíáçå=mÜÉåçãÉå~ sity gradient increases. Commonly two different main
scenarios can be distinguished. Either a diffusive
NKPKN açìÄäÉJÇáÑÑìëáîÉ= EíÜÉêãçÜ~J regime develops if the destabilizing potential results
from the component with the larger diffusivity (e.g., a
äáåÉF=ÅçåîÉÅíáçå
stable salinity gradient is heated from below, Fig. 1.3a),
or a finger regime forms if the driving (destabilizing)
Double-diffusive convection (DDC) is a fundamen-
forces are caused by the more slowly diffusing compo-
tal fluid dynamic process20 and can also be recognized
nent (e.g., a heated saline fluid on top of a stable tem-
in porous-media problems157. It represents a buoyancy-
perature gradient, Fig. 1.3b). Both regimes can also
driven transport process, which is simultaneously cou-
emerge in a different form denoted as mixed DDC
pled by more than one diffusing property (chemical
regime if both properties can destabilize (Fig. 1.3c), or
substances, thermal energy). For the DDC phenomenon
completely stabilize (Fig. 1.3d) the fluid motion. For
to occur, the following three conditions must be met:
such thermohaline processes with four property ranges
(1) there should be a vertical gradient in two or more
(hot-cold/light-heavy) and two (top-bottom) configura-
properties affecting the fluid density (e.g., concentra- 2
tions there are 4 = 16 combinations, of which the
tions of chemical species, temperature), (2) the result-
cases shown in Fig. 1.3 are the most typical.
ing gradients in the fluid density must have opposing
signs, and (3) the diffusivities of the properties must be
component 1 component 2 total density gradient
different. In Fig. 1.2, ρ 1 and ρ 2 denote the distribution diffusivity D 1 diffusivity D 2 hydrostatically stable
of density components to the two different properties heavy at bottom heavy at top
mentioned above, and ρ = ρ1 + ρ 2 denotes the total z
density distribution.
The diffusive and finger regimes can be further sub- in fact take place under statically stable circumstances
divided into the subcritical and supercritical catego- because of the possibilities for subcritical instabilities.
ries. Supercriticality means that the driving (destabi- These instabilities can occur because of the phase lag
lizing) force exceeds the restoring (stabilizing) force89. between salt and thermal influences on the flow field,
For instance, in a diffusive regime a destabilizing, ther- which are due to the difference in the diffusivities. The
mal influence would overcome the stabilizing influ- subcritical mechanism is described in detail by
ence of a heavy saline fluid. In contrast, in a subcritical Turner222. A typical DDC phenomenon in a subcritical
configuration the restoring forces are dominant, i.e., regime represents a staircase pattern, which is shown
the total density of the system remains stably stratified. further below.
However, it is a fascinating feature that DDC flow can
a) b)
T
T
depth
depth
hot ω
ω cold
heavy light
0 1 0 1
c) d)
ω T
depth
depth
ω T
light hot cold heavy
0 1 0 1
Figure 1.3 Depth profiles of temperature T and salt ω for different DDC regimes: a) diffusive regime,
b) finger regime, c) mixed regime: both components acting in destabilizing manner, d) mixed regime:
completely stabilized situation (from Hansen and Yuen89).
cbcilt=ö=OR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
OS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKP=`çåîÉÅíáçå=mÜÉåçãÉå~
propriateness of averaging spatially variable properties Rayleigh number can be introduced as given by
into single-valued parameters. Furthermore, the charac- Nield155.
teristic length d is difficult to determine in real-world
situations. However, for rough calculations an effective
salinity temperature streamline
Figure 1.4 Salinity, temperature and streamline fields for a staircase situation of a thermohaline flow in a
two-dimensional square cavity at Ra t = 400, B = 2, Le = 100 simulated by FEFLOW44. Salinity consists
of five distinct layers with the heavy material on the bottom. The hot temperature is on the bottom too.
NKPKO lÄÉêÄÉÅâJ_çìëëáåÉëè= El_F momentum equation (1-48) (or (1-52) and (1-53)).
~ééêçñáã~íáçå=~åÇ=áíë=ÉñíÉåëáçå Referring to saturated and nondeformable porous
media and considering no sinks/sources, the fluid mass
The system of balance equations (1-46) to (1-50b) is conservation (continuity equation) (1-46) reduces to
coupled by the nonlinearity in ρ . Its analysis can be ∇ ⋅ q = 0 and the velocity q becomes solenoidal, or
substantially simplified by the so-called Oberbeck- divergenceless. This incompressibility assumption is
Boussinesq (OB) approximation, sometimes termed common in most analytical and stability analyses of
only as Boussinesq approximation. As pointed out convection problems. The OB approximation is valid if
in107,157 the term OB approximation seems more appro- density changes Δρ remain small in comparison to the
priate because Oberbeck (1879) addressed this problem reference density ρ 0 . Obviously, the OB approxima-
before Boussinesq (1903). tion becomes invalid for large density variations, e.g.,
at high-concentration brines and/or high temperature
The OB approximation consists in neglecting all gradients. However, it is often not clear what conse-
density dependencies in the balance terms, except for quences practically result if the full dependencies are
the crucial buoyancy term ρg which is retained in the incorporated (so-called non-Boussinesq effects).
cbcilt=ö=OT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Usually, extensions to non-Boussinesq formulations tem, i.e., non-Boussinesq terms are overestimated. The
can be introduced by ’correction’ terms written, for numerical accuracy of the local velocity field obvi-
instance, for the continuity equation (1-46) in the fol- ously plays a dominant role, as will be discussed in sec-
lowing form tion 1.4.3.
ρ∇ ⋅ q = Q EB
∂ρ ∂p ∂s (1-59) NKPKP pí~Äáäáíó=~å~äóëáë=çÑ=íÜÉ=eçêíçåJ
Q EB = Q – q ⋅ ∇ρ – εs ------ + ρ ⎛ sϒ ------ + ε -----⎞
∂t ⎝ ∂t ∂t ⎠ oçÖÉêëJi~éïççÇ=EeoiF=éêçÄäÉã
where Q EB is the extended Boussinesq approximation The Horton-Rogers-Lapwood (HRL) problem is the
term (sink/source) as used in44,49 for saturated porous porous-medium analog of the Rayleigh-Bénard cellular
media. Kolditz et al.126 compared OB solutions and convection problem, which was first analyzed by Hor-
some extended forms for the Elder cellular convection ton and Rogers114 and independently by Lapwood136. It
problem at a Rayleigh number of 400. For this case, refers to an infinite horizontal porous layer which is
OB solutions became similar to non-Boussinesq ones. uniformly heated from below. In the original HRL
However, there were differences in pressure and salin- problem formulation the porous medium is assumed
ity distributions in parts of the model domain. Gartling homogeneous and isotropic. It is further assumed that
and Hickox77 studied adjustments for the variation of the Darcy law and the OB approximation are valid. The
fluid properties in the heat transport equation numeri- HRL problem is the paradigm for the stability analysis
cally, while assuming the constraint of incompressibil- of natural (free) convection in porous media. Nield154
ity, ∇ ⋅ q = 0 . They found that the OB and their and Nield and Bejan157 review the most important
extended solutions can be sufficiently ’close’ for inte- works in this field. We only extract the major outcome
grated quantities over large temperature ranges. How- from the HRL analysis, which is important for our fur-
ever, differences can occur for local quantities. The ther discussion in the context of numerical works and
accurate prediction of the flow field has been shown to benchmarks.
be of major concern, and they concluded that the
’goodness’ of the OB solutions depends on what quan- From a linear stability analysis a critical Rayleigh
2
tities are of interest in the problem solution. number Rac = 4π is determined for which the con-
ductive state remains stable (i.e., no convection) if
Non-Boussinesq solutions require accurate numeri- Ra < Ra c . Physical instability appears as convective
cal strategies. It is particularly important how the flows when Ra is raised to Rac . Then, cellular motions
incompressibility terms in the continuity equations (1- with a horizontal wavenumber π result. The DDC
46) (or (1-59)) are actually approximated. A small lack (thermohaline) generalization of the HRL problem was
in discrete conservativity can mimic a non-Boussinesq studied by Nield153. The onset of free convection is
influence, which is higher than in the real physical sys- similarly characterized by a critical Rayleigh number,
2
which is given here as Rac = Ras + Ra t = 4π . The
OU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKP=`çåîÉÅíáçå=mÜÉåçãÉå~
HRL problem was extended by Beck16 to finite lengths vection. Rac1 is the first critical Rayleigh number,
in a three-dimensional porous box, showing dependen- where the motionless solution loses stability and sta-
cies of the convection criteria on the geometric aspect tionary convection takes over when the Rayleigh num-
ratio. Other extensions refer to influences on boundary ber crosses this limit.
conditions, mechanical dispersion, anisotropic media,
2
layered and sloped structures29,31,107,157. * In a range between 4π < Ra < ( 240 to 300 ) a stable
convergent solution develops and various steady-state
NKPKQ lëÅáää~íçêó= ÅçåîÉÅíáçå= ~åÇ flows have been observed: two-dimensional rolls rotat-
ÄáÑìêÅ~íáçå ing in clockwise or counter-clockwise direction, three-
dimensional rolls and three-dimensional polyhedral
The nonlinear theory in using perturbation cells. A second critical Rayleigh number
approaches gives further insight into the behavior of Ra c2 ≈ 240 to 300 is identified as an upper limit.
the free convection process at higher Rayleigh num-
bers. The stability of the finite-amplitude two-dimen- * For Ra > Rac2 the convection regime is unstable and
sional rolls in square cross-sections was investigated characterized by a transition to an oscillatory (fluctuat-
by Straus212, who showed that at a given Rayleigh num- ing) and transient convection behavior. The oscillations
ber of less than 380, there is a limited band of wave arise from instabilities of boundary layers as modeled
numbers for which two-dimensional rolls are stable. A in112,113. They can be interpreted as the continuous cre-
balloon shaped curve, displayed in a Rayleigh number ation and disappearance of convective cells. We note
versus wavenumber plane, separates regions of stable that the numerical studies predicted a lower second
and unstable two-dimensional rolls. A stable roll repre- critical Rayleigh number for the transition to unstable
sents a steady convection while an unstable roll indi- convection in comparison to Straus’ result. Perturba-
cates bifurcation to unsteady (oscillatory) two- tions can result in manifold solutions (bifurcations).
dimensional or steady three-dimensional convection. Possibly, the convection possesses different solutions
From Straus’ analysis the Rayleigh number of 380 can and a numerical simulation converges to only one solu-
be considered as an upper limit of a second critical tion. As already observed by Horne and O’Sullivan112
Rayleigh number. there is a possibility of either a steady multicellular
structure or a fluctuating unicellular structure. Once
Numerous numerical studies have been performed formed, these two structures are not easily interchange-
to examine the criteria for the onset of convection and able, but the system may be assisted into either mode
to analyze the behavior at high Rayleigh numbers; for a by a suitable perturbation during its early development.
review see, e.g.,107,154,157. The main results can be sum- Higher-order transitions have been studied by Caltagi-
marized as follows: rone et al.24 and Caltagirone and Fabrie23 for a two-
dimensional square porous cavity. They showed that a
2
* For Rayleigh numbers Ra < Rac1 = 4π a pure con- second bifurcation exists, occurring at Ra = 390 . At
duction (diffusion) solution results and there is no con- this Rayleigh number the flow becomes periodic.
cbcilt=ö=OV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Between 390 and 600 the process is single-periodic. avoid solutions mathematically correct but physically
Increasing Ra further, the flow is again periodic up to unlikely.’ The more it is important, first, to take into
Ra = 1000 . A quasi-periodic regime can maintain up account all relevant processes that occur in the physical
to Ra = 1500 , after which the single convecting roll system and, second, to fully explore the structure of the
splits into two unsteady cells by entering a chaotic solution to the mathematical model, which enables the
restructuring (i.e. fluctuating) regime. Techniques of possible states of the system to be determined.
bifurcation theory have been used in two dimensions,
among others, by Riley and Winters187, Vadasz226 and
Vadasz and Olek227,228,229. Vadasz and Olek229 pointed NKQ kìãÉêáÅ~ä=^ééêç~ÅÜ
out the significance of including a time derivative term
in the Darcy equation when studying wave (oscillatory) NKQKN cáåáíÉ= ÉäÉãÉåíë= ~åÇ= ÑáåáíÉ= îçäJ
phenomena.
ìãÉë
For sufficiently high Rayleigh numbers the flow
The conservation law system (1-46) to (1-50a) con-
regime can become physically unstable. This is trig-
stitutes a nonlinear coupled set of initial-value partial
gered and controlled by perturbations. Such perturba-
differential equations which can be expressed in the
tions can have true physical meaning or can be purely
general form
numerical. Leijnse and Oostrom139 have shown the
influence of the numerical scheme, and the spatial and T
T∂(c a) a d
temporal discretization on the onset of instabilities and L ( a ) = m ----------------- + ∇ ⋅ ( f + f ) – b = 0 (1-60)
∂t
the final solution. It becomes clear, that accuracy and
D
stability of the numerical solution approach are essen- on Ω ⊂ ℜ , t ≥ t0
tial here. The conflict that arises from a certain mathe-
matical solution of such a class of problems was
already indicated by Horne and Caltagirone111 who where L ( a ) is a differential equation system written in
concluded: ’This nonlinear problem has a plethora of terms of the state variable a ( x, t ) . It is expressed on the
possible alternative flow regimes and histories depend- (physical) domain Ω , with the bounding closure ∂Ω ,
D
ing on the conditions applied initially and subse- lying on D-dimensional Euclidean space ℜ , and for
quently. Therefore the too-perfect conditions that are time t starting at, and proceeding from some initial
achieved using analytical or numerical techniques time t 0 . For the solution, appropriate boundary condi-
(paradoxically the most accurate ones in particular) tions are required on the entirety of ∂Ω , and an initial
may give rise to other artificial solutions that are condition on Ω ∪ ∂Ω is necessary. In (1-60) the fol-
divorced from the flow observed in noisy physical sys- lowing definitions are used
tems. ... It is perhaps time to admit that mathematical
solutions to nonlinear problems must of necessity
include non-deterministic forcing effects in order to
PM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
⎧p ⎫ ⎧ 1 ⎫ ⎧ ρ 0 γ + ρsϒ ( 1 – ε ) ⎫
⎪ ⎪ ⎪ ⎪ ⎪ ⎪
a = ⎨ ωk ⎬ c = ⎨ εsρ ⎬ m = ⎨ 1 ⎬
⎪ ⎪ ⎪ l s s⎪ ⎪ ⎪
⎩T⎭ ⎩ εsρc + ( 1 – ε )ρ c ⎭ ⎩ 1 ⎭
⎧ ∂ω k (1-61)
∂T ∂s ⎫
⎧ 0 ⎫ ⎧ ρq ⎫ ⎪ Q – ρ 0 ⎛⎝ α --------- – β ------⎞⎠ – ρε ----- ⎪
⎪ ⎪ ⎪ ⎪ ⎪ ∂t ∂t ∂t ⎪
f = ⎨ ρqω k ⎬
a d
f = ⎨ jk ⎬ b = ⎨ ⎬
⎪ l ⎪ ⎪ ⎪ ⎪ Rk + Qk ⎪
⎩ ρc qT ⎭ ⎩ je ⎭ ⎪ H ⎪
⎩ e ⎭
a d
where f and f are the advective and dispersive flux location yielding the standard FVM expressions. More
a d
vectors. The fluxes q , j k and j e contained in f and f generally, Galerkin, Petrov-Galerkin and least-square
are expressed in terms of (1-49) and (1-51) derived statements are formulations in the FEM, where the
from the state variable a . Their treatment is a specific Galerkin weighting is standard. In this methodology
point of consideration further below. the FVM appears as a subclass and low-order realiza-
tion of a FEM. Gresho and Sani86 discuss the similari-
The coupled equation system (1-60) has to be ties, advantages, and disadvantages of the FEM and
solved for a by numerical methods. Popular and pow- FVM in greater detail for fluid dynamic processes. In
erful strategies are the finite element method practice, however, there are many varieties in the
(FEM)9,27,86,115,141,184,247, and the finite volume method numerical implementation of both FVM and FEM.
(FVM)65,174. Both methods have the same mathematical Their comparison cannot be simply reduced to the
basis starting from a weighted-integral formulation of ambiguous subject of ’local conservation’. As shown
the governing balance equations, viz., in86, a Galerkin-based FEM exemplified for advection-
dispersion equations does, indeed, display local conser-
vation, both at the nodal level and at element level. The
∫ w ( x, t )L ( ã ) dτ = 0 ∀w (1-62)
subject yields different viewpoints and it is important
Ω
to recognize that local conservation does not imply
local accuracy. [Note, while the FVM satisfies element-
where w ( x, t ) is an arbitrary weighting (or test) func-
level (local) conservation even on a coarse and accord-
tion and ã corresponds to an approximation of the state
ingly poor mesh, the solutions and the accompanying
variable. The weighted-residual statement (1-62) repre-
fluxes are here inexact obviously.] In general, local
sents a continuum form for constraining the errors in
accuracy (and, therefore, the local conservation) is an
the state variable ã . The simplest choice for w is any
important aspect that can significantly influence the
constant which can be recognized as a subdomain col-
overall solution. Accordingly, we prefer techniques and
cbcilt=ö=PN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
PO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
n
A = A ( tn ) (1-65) n+1
where R is the residual for the conservation law
system at time stage n + 1 .
at the previous (old) time level and
A powerful alternative to the two-stage θ -implicit/
n+1
A = A ( t n + Δt n ) (1-66) explicit solution (1-68) is the predictor-corrector
method which is thoroughly described elsewhere41,49,
86,184. In the context of convection problems, the fully
at the new time level. Introducing a weighting coeffi-
implicit backward Euler (BE) scheme with 1st order
cient ( 0 ≤ θ ≤ 1 ) we find for the state variable and RHS
accuracy, and the semi-implicit trapezoid rule (TR)
in (1-63)
with 2nd order accuracy are preferred. The time deriva-
tives are approximated for the BE scheme by
A ( t n + θΔt n ) = θA ( t n + Δt n ) + ( 1 – θ )A ( t n ) ⎫
⎪ n+1 n
B ( t n + θΔt n ) = θB ( t n + Δt n ) + ( 1 – θ )B ( t n ) A –A
A·
n+1
(1-67)⎪ = -------------------------- (1-69a)
⎬ Δt n
n+1 n
A –A ⎪
A· ( t n + θΔt n ) = θA· ( t n + Δt n ) + ( 1 – θ )A· ( t n ) = -------------------------- ⎪
Δt n ⎭
and for the TR scheme by
⎛ MT T ⎞ n + 1 ⎛M
T ⎞ n
R
n+1
= ⎜ -------- + F θ⎟ A
T
– ⎜ -------- – F ( 1 – θ )⎟ A (1-68) with θ = 1--2- for the TR scheme and θ = 1 for the BE
⎝ Δt n ⎠ ⎝ Δt n ⎠ scheme. For automatic time stepping, predictor solu-
n+1 n tions are required that are explicit in time. Usually, an
– (B θ + B (1 – θ)) = 0 explicit forward Euler (FE) scheme of first order accu-
racy and an explicit Adams-Bashforth (AB) scheme of
cbcilt=ö=PP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
second order accuracy are used49. The resulting predic- where δ is a chosen error tolerance and L p identifies
tor-corrector methods are termed as forward Euler/ the error norm with p = 2 for the root-mean square
backward Euler (FE/BE) and Adams-Bashforth/trape- (RMS) and p = ∞ for the maximum norm. Instead of
zoid rule (AB/TR) schemes. testing deviatoric error measures, the reduction of the
n+1
residual R τ ( A ) may be directly controlled1,161, such
The spatial and temporal discretization result in a as
coupled system of algebraic equations (1-68) or (1-70),
that must be solved iteratively due to its nonlinearity. n+1 n+1
Rτ Lp <δ B Lp (1-75)
As a simple and computational cheap method the suc-
cessive substitution scheme, known as Picard or fix-
point method, is often applied. When writing (1-68) or where an appropriate normalization of the residual
(1-70) in a compact form as (here with respect to the external sink/source term
n+1
B ) is required.
n+1 n+1 n+1 n
R = K(A )A – Z(A ) = 0 (1-71)
The Picard iteration method converges linearly at
best. For large systems it is not often a cost-effective
the Picard method linearizes the matrix system (1-71) method. Instead, for large and highly nonlinear systems
at iteration τ as the Newton (or Newton-Raphson) method that con-
verges quadratically can be a more appropriate choice,
n+1 n+1 n+1 n
Rτ = K ( Aτ )A τ + 1 – Z ( A τ ) (1-72) e.g.,182. The Newton method constitutes the following
iterative cycle,
where the system matrix K and the RHS vector Z are n+1 n n+1 n
evaluated from the previous iteration. The linearized A0 = A R0 = R (1-76)
n+1
problem is solved for A τ + 1 at a given time stage n + 1
and iteration τ + 1 . The iteration procedure is termi- for τ = 0, 1, 2, … until convergence
nated if a convergence criterion is satisfied. Such a cri-
terion can be a deviatoric (change) error measure, J ( Aτ
n+1
)ΔA τ
n+1
= –Rτ
n+1
(1-77)
which is a standard test, in form of
n+1
ΔA τ <δ (1-73) with the Jacobian J as
Lp
n+1 n+1
n+1 ∂R τ ( A τ )
by checking the solution difference J ( Aτ ) = -----------------------------------
n+1
- (1-78)
∂A τ
n+1 n+1 n+1
ΔA τ = Aτ + 1 – Aτ (1-74)
The iteration process at a time stage n + 1 is terminated
PQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
if a convergence in form of either (1-73) or (1-75) is scheme monitors the solution process via a local time
achieved, where the residual criterion (1-75) appears as truncation error estimate in which the timestep size Δt n
a natural test for the Newton scheme. Modified or is cheaply and automatically varied in accordance with
Quasi-Newton approximations60 amount to the use of temporal accuracy requirements. In this procedure the
n+1
simplified forms of the Jacobian J ( Aτ ) , that are, timestep is increased whenever possible and decreased
however, no longer quadratically convergent. only if necessary. Mathematical details can be found
in41,49,52,86,184 and the references listed there.
Convergence of an iteration procedure requires ini-
n+1
tial estimates A 0 not too far from the actual solution The matrix system written in form of Eqs. (1-63)
n+1
A . The Picard method has a reasonably large con- and (1-71) is fully coupled and the algebraic equations
vergence radius, but the rate of convergence is gener- have to be solved simultaneously for pressure p , mass
ally fairly slow. On the other hand, the Newton method ω k and temperature T . An advantage of such a simul-
is rather sensitive with respect to the initial guess. For taneous solution is the strong coupling for high-density
steady-state problems and problems with strong non- flow which leads to an improved rate of convergence,
linearities a good initial guess is often not available and provided that Newton techniques are incorporated.
the iterative algorithm can completely fail. Sometimes Such a coupled iterative strategy has been preferred by
relaxation in the variables can overcome these difficul- Herbert et al.101 and Oldenburg and Pruess161 for tran-
ties as shown in41,50. In the context of convection prob- sient two-dimensional density-dependent solute (one-
lems, steady-state solutions may not exist, making the species) convection problems. However, the solution of
full transient solution procedure necessary. In time- (1-71) in a direct and simultaneous manner is still not
dependent simulations it is possible to find an initial generally applicable to large, mass (multi-species) and
guess close enough to the solution, so that the Newton heat-dependent, geometrically complex, three-dimen-
iterations converge quadratically to the solution. This is sional problems because of the significant memory
feasible with a proper adaptation of the timestep size and/or computational burden of the formulation. The
Δt n to the evolving flow characteristics. In this way, resulting system matrix for a simultaneous solution can
the nonlinear solution process becomes dependent on, be ill-conditioned due to the significantly different
and controlled by, the timestep. Unfortunately, the iter- scales of the processes involved. In order to reduce the
ation and timestep controls are often performed fully computational requirement, a decoupled solution strat-
empirically, where heuristic rules are employed to egy is considered, in which the equations are solved
increase or decrease the timestep according to an itera- sequentially in a staggered or cyclic iteration between
tion success (e.g.,1). In contrast, an automatic and error- the equation sets for pressure p , species mass ω k and
controlled adaptive time selection strategy based on a temperature T , such as
predictor-correction scheme can follow the ’physics’
more intelligently and has been shown to be powerful
and efficient for the present class of nonlinear prob-
lems, see, e.g.,41,49. The adaptive predictor-corrector
cbcilt=ö=PR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
= 0 ⎫
n+1 n+1 n+1 n+1 n+1 n n+1 n+1
Rρ ( p, ω k, T ) = K ρ ( p , ωk ,T )p – Zρ ( p , ωk ,T )
⎪
n+1 n+1 n+1 n+1 n+1 n n+1 n+1 ⎪
R ω ( p, ω k, T ) = K ω ( p , ωk , T )ωk – Zω ( p , ωk , T ) = 0⎬ (1-79)
⎪
) = 0 ⎪⎭
n+1 n+1 n+1 n+1 n+1 n n+1 n+1
R e ( p, ω k, T ) = K e ( p , ωk , T )T – Ze ( p , ωk , T
One particular disadvantage of (1-79) is obvious: Picard iteration scheme is also possible, as imple-
While the Newton method can be applied separately mented in the FEFLOW simulator44, where the nonlin-
for each of the three subsystems of equations, the qua- ear dependence on the main variable is subjected to a
dratic-convergence property of the Newton scheme is Newton method, while the dependency on the remain-
lost for the overall system solution. In the decoupled/ ing variables is linearized by a cyclic Picard-type
iterative strategy Picard-type iterations are usually approximation. It can be considered as a partial New-
applied to linearize the complete equations (1-79), ton scheme182, which reads as
e.g.,1,109,117,126,164,232. Alternatively, a mixed Newton-
⎫
∂R ρτ ( p τ , ω kτ , T τ )
n+1 n+1 n+1 n+1 ⎪
n+1
Jρ ( pτ
n+1
, ω kτ , T τ
n+1 n+1
)Δp τ = – R ρτ
n+1 n+1 n+1 n+1
J ρ ( p τ , ω kτ , T τ ) = -------------------------------------------------------------------- ⎪
n+1 ⎪
∂p τ ⎪
n+1 n+1 n+1 n+1 ⎪
n+1 n+1 n+1 n+1 n+1 n+1 n+1 n+1 ∂R ωτ ( p τ , ω kτ , T τ ) ⎪
Jω ( pτ , ω kτ , T τ )Δω kτ = – R ωτ Jω ( pτ , ω kτ , T τ ) = -------------------------------------------------------------------- ⎬ (1-80)
n+1 ⎪
∂ω kτ
⎪
n+1 n+1 n+1 n+1 ⎪
n+1 n+1 n+1 n+1 n+1 n+1 n+1 n+1 ∂R eτ ( p τ , ω kτ , T τ ) ⎪
Je ( pτ , ω kτ , T τ )ΔT τ = – R eτ Je ( pτ , ω kτ , T τ ) = --------------------------------------------------------------------
n+1 ⎪
∂T τ ⎪
⎭
with increments
In combination with an adaptive predictor-corrector full Newton iteration τ = 0 per timestep. In doing so,
time-stepping control, a one-step Newton method the time-discretization error can also be used as the
appears as a cost-effective alternative in solving the Newton convergence criterion δ for the iterate τ .
system (1-80)49. It can be argued that the required Equations (1-80) are then linearized by using the corre-
degree of convergence has to be satisfied in just one sponding predictors, viz.,
PS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
n+1 n+1
pτ = 0 = pp
n+1 n+1
ω k ( τ = 0 ) = ω kp
n+1 n+1
Tτ = 0 = Tp (1-82)
the evaluation of the fluxes in a decoupled manner. The
standard technique is to directly differentiate the solu-
tion at points of interest. For instance, the local Darcy
where the subscript p indicates the predictor values at fluxes q from (1-49) or (1-52) are calculated by differ-
the new time level n + 1 . Note, that the predictor lin- entiating the pressure p and using the appropriate con-
earization refers to both the Newton and Picard expres- stitutive relations (1-51). It results, however, in
sions in (1-80), which further improves the decoupled/ discontinuous derivatives with a lower-order accuracy
iterative partial Newton solution. (compared to the accuracy of the pressure) across ele-
ment (volume cell) boundaries, and at interelement
In the above spatio-temporal discrete formulation local points (nodes), where accurate values of fluxes
and its solution we implicitly assumed that the fluxes are usually desired. However, the order of accuracy of
q , j k , and j e can be derived from the state variables the fluxes obtained from different schemes depends on
A ( t ) for pressure p , species mass ω k and temperature the particular schemes. Direct differentiation with a
T . Various numerical strategies are possible but only a FEM scheme in which the pressure is interpolated with
small subset of techniques appears to be practicable high-order polynomials, e.g. Herbert et al.101, could
and numerically satisfactory for density-coupled pro- lead to fluxes that have a higher order of accuracy than
cesses. Particularly, at a high-density coupling the a scheme in which the fluxes are treated as primary
numerical accuracy of the fluxes is essential for a phys- variables, but are interpolated linearly. Note that
ically correct modeling of a convection. A rigorous although the derivatives of the pressure are discontinu-
method would be an incorporation of the flux equations ous normal to an interface between elements, they are
(1-49) and (1-51) for q , j k , and j e into the weighted- generally continuous tangential to the interface.
residual form (1-62), where the state variable a has to
be extended by the corresponding flux entities. The To achieve accurate derivatives, local and global
flux components then appear as additional primary projection (smoothing) techniques86 are applied which
variables. Indeed, there have been such attempts for lead to a continuous representation of the fluxes
two dimensions and coupled solute (one-species) trans- throughout the solution domain Ω ∪ ∂Ω . As further
port by Segol and Pinder202, Segol et al.203, Huyakorn discussed in47,49 for the FEM the local projection proce-
and Taylor116, Diersch38,39,40 and Herbert et al.101. Due dure consists of an extrapolation from the appropriate
to the increased numerical effort and the inherent diffi- Gaussian points and a subsequent averaging at nodes.
culties in formulating boundary conditions for flux Derivatives at Gauss points are known to be supercon-
components ( q x, q y, q z ) on general (curved) geometries, vergent, e.g. as in142, where the accuracy in the first
the coupled strategy with a full set of primary flux vari- derivative of the finite element solution is better by an
ables is now considered as widely impractical and order than in a general point. Global projection
computationally too expensive. assumes a continuous interpolation of the derivatives
of the same form as that used for the finite-element
A more efficient and widely practiced alternative is basis functions. This is identical with a Galerkin-
cbcilt=ö=PT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
weighting formulation of the momentum balance equa- and positive definite matrix system17,27,57. By hybrid-
tion (1-49) or (1-52), as proposed by Yeh245, and used ization the direct coupling of the flux degrees of free-
by Galeati et al.76 and Herbert et al.101 for density- dom between elements along the edges is removed.
dependent groundwater flows. Diersch41,43 and Diersch The fluxes remain indirectly coupled through an extra
and Kolditz49 used projection techniques successfully set of explicit constraints. The overall approach is
in various benchmark tests; however, recently a critical termed as mixed hybrid FEM.
revision of the derivative computation became
necessary47, which will be discussed separately in the The above procedures (direct differentiation, local/
following section. global projection, mixed hybrid FEM) can be applied
not only to compute the Darcy fluxes q , but also for
A promising alternative in computing fluxes of the mass fluxes j k and heat fluxes j e , which are driven
higher accuracy is given by mixed FEM as recently by the mass ω k and temperature T variables. If the
applied to two-dimensional density-dependent solute equations are nonlinear, particularly in form of the
(one-species) transport in porous media by Ackerer et DBF flow model (1-49) and the non-Fickian dispersion
al.1, Bués and Oltean22, Oltean and Bués164, and Mazzia law (1-9), the decoupled formulation requires a suitable
et al.144. Holstad105 used a mixed FEM and FVM for iterative treatment. For instance, an iterative scheme is
two-dimensional temperature-driven flow in porous used in44 for evaluating the non-Fickian fluxes (without
media. A mixed form of the governing flow and trans- Soret effects D λ∗ ≡ 0 ) in the following way:
port equations is constructed by a weighted-integral
formulation with vectorial test and basis functions hav- ⎫
n+1 ⎪
ing the properties of the so-called Raviart-Thomas 0. initial j k0 =0
⎪
space21,183. A mixed FEM naturally results in a directly n+1 ρD n + 1⎬ (1-83)
coupled matrix system with fluxes as primary variables τ. step j kτ =– ----------------------------------
n+1
- ⋅ ∇ω kτ ⎪
ℑ H j kτ – 1 + 1 ⎪
which significantly increases the number of unknowns. ⎭
The fluxes are approximated across the edges of each
finite element for a better control of the (local) conser-
The iteration (1-83) has to be performed at each
vativity. Applying lowest-order Raviart-Thomas ele-
timestep n + 1 . For an adaptive predictor-corrector
ments and averaged quantities at edges, the flux field is
time marching scheme the nonlinear solution is fully
constant over each element164. The normal flux compo-
controlled by the timestep itself, where the nonlinear
nent at the edges can be discontinuous. The greatest
dispersion is linearized in time according to
limitation of mixed FEMs is their higher computational
effort in comparison to standard FEM and the non-pos- n+1 ρD - n+1
itive definite matrix property which is not amenable to jk = – -------------------------
n
⋅ ∇ω k (1-84)
ℑH jk + 1
iterative equation solvers. To overcome these draw-
backs, hybrid formulations are introduced which
decouple the flux equations and lead to a symmetric If the fluxes are represented by linear relationships, as
PU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
by the standard Darcy law (1-52), the Fickian law (1-7) solute transport, both because they may lead to advec-
and the Fourier law (1-13), they can be substituted in tion of solution and also because they may lead to
the balance equation set and explicitly expressed by increased dispersion.
their state variables of the pressure p , species mass ω k
and temperature T . However, the Darcy flux q also This problem has been addressed by Voss231, Voss
appears in the advective and mechanical dispersion and Souza233, Herbert et al.101 and Leijnse137 who pro-
terms of the mass and heat transport equations and posed modified schemes, termed consistent velocity
must be evaluated separately. Its computations have to approximation, for evaluation of the discontinuous
be done carefully for density-dependent processes and derivatives. In Voss and Souza’s approach the spatial
need further specific considerations. variation in the gravity term is reduced to the same spa-
tial variation as occurring in the pressure gradient, i.e.,
for linear finite elements the pressure gradient is con-
NKQKP `çåëáëíÉåí= îÉäçÅáíó= ~ééêçñáã~J stant (piecewise constant per element) and accordingly,
íáçå the gravity term should be also piecewise constant.
Leijnse extends this procedure and prefers averages of
In the Darcy law (1-52) the discretization of the the buoyancy term only in the appropriate gravity
fluxes (velocities) q is nontrivial if density effects direction. While Voss and Souza233 and Leijnse137 tried
become important. Specifically, a lower-order approxi- to overcome the problem of consistency by precision
mation attainable for the pressure gradients ∇p can reduction, Herbert et al.101 solved it by introducing a
conflict with a high-order spatial variation in the grav- second-order approximation for the pressure (quadratic
ity (buoyancy) term ρg due to the following reasons. basis functions) and a linear-order approximation for
There may be significant parts of the domain where the the solute (linear basis functions). Unfortunately, their
Darcy velocity should be zero (or very small). In these approach significantly raises the computational
regions, there should be a balance between two contri- expense.
butions to the Darcy velocity: the pressure gradient
term and the density term. However, if the pressure and
the concentration are approximated using finite-ele-
NKQKPKN qÜÉ=ÜóÇêçëí~íáÅ=ÅçåÇáíáçåW=qÜÉ=
ment approximations based on the same order of poly- êÉèìáêÉãÉåí=çÑ=ÅçåëáëíÉåÅó
nomials, then the pressure gradient term is a lower-
order polynomial in position, and therefore cannot in Consider the following hydrostatic situation as pro-
general match the variation with position of the gravity posed by Knabner and Frolkovic131 for a finite element
term, which varies with position in the same way as the shown in Fig. 1.5. For the sake of simplicity, the inter-
concentration. As a result, although the Darcy velocity val Δz is [0,1]. We assume the density ρ is varying lin-
may be zero in some average sense over an element, it early in the z-direction of gravity, viz,
varies on the scale of the elements. These artificial
ρ = ρ o + ( ρ 1 – ρ o )z z ∈ [ 0, 1 ] (1-85)
variations may have a major effect on the calculated
cbcilt=ö=PV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
∂x p = ∂y p = 0 ; ∂ z p = – ρg (1-88)
For the simple vertical problem the Darcy velocity for
saturated conditions ( k r ≡ 1 ) is
while the pressure p has to satisfy the following rela-
k xx tionship
q x = – ------- ∂ x p ⎫
μ ⎪
⎪ z
k yy ⎪
q y = – ------- ∂ y p ⎬ (1-86) p = p ( z ) = – g ∫ ρ ( θ ) dθ (1-89)
μ ⎪
k zz ⎪ zo
q z = – ------ ( ∂ z p + ρg ) ⎪⎭
μ
which yields
Under a hydrostatic equilibrium the velocity vector q
ρ1 – ρo 2
is (must be) zero everywhere. This is known as the p = p 0 – g ⎛ ρ o z + ----------------- z ⎞ (1-90)
⎝ 2 ⎠
requirement of consistency:
g
qz ≠ 0
exact
approximated
Δz = 1
qz = 0
qz ≠ 0
z density ρ pressure p
ρo po
Figure 1.5 Hydrostatic conditions in a finite element of length Δz = 1 under a linear density gradient
ρ = ρ o + ( ρ 1 – ρ o )z ; spurious vertical fluxes q z caused by an inexact pressure approximation.
QM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
⎧
⎪
⎨
⎪
⎩
⎝ ⎠
⎧
⎪
⎪
⎪
⎨
⎪
⎪
⎪
⎩
Inserting (1-91) in the Darcy equation (1-52) and using ∂z p ρg
the exact nodal values p o and p 1 = p o – g ( ρ o + ρ 1 ) ⁄ 2
from (1-90) we obtain for the z-component of the which satisfies the equilibrium condition at all points.
approximated velocity
Another possibility is to average the nonconsistent
k zz 1
q z = – ------ g ( ρ o – ρ 1 ) ⎛ --- – z⎞ z ∈ [ 0, 1 ] (1-92) velocities at nodal points by local or global projection
μ ⎝2 ⎠
(smoothing) techniques as mentioned above. It
smooths out the spurious velocities. Let us consider the
It clearly indicates that the approximated velocity only following examples for a node m which is shared by
vanishes at the middle point (z = 1/2) while at the other two elements as shown in Fig. 1.6.
points artificial nonzero quantities occur which take
maximum values with opposite signs at the upper and The smoothing procedure for the nonconsistent
lower point (cf. Fig. 1.5). Such spurious nonconsistent velocity (1-92) leads to a velocity at the node m of
velocities can spoil the computational results in form of
an overestimation of the mixing processes at strong k zz 1 ( ρ o + ρ 2 )
q z = ------ g --- ---------------------- – ρ 1 (1-94)
density coupling. In the advective terms they may have μ 2 2
only a minor effect as the averaging involved in the
integration over elements and the assembly of adjacent If we can assume that the density ρ 1 at the node m is an
elements tends to eliminate those nonconsistent veloci- average of the upper and lower density values, i.e.,
ties. However, if such spurious velocities are used to ρ 1 = ( ρ o + ρ 2 ) ⁄ 2 , then the nodal velocity (1-94)
evaluate the dispersion tensor at the element level an becomes consistent q z = 0 . Obviously, this is true (or
artificial increase of hydrodynamic dispersion (mixing) approximately true) for typical density profiles as
cbcilt=ö=QN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
qz ≠ 0
nonconsistent velocities m ρ1
ρ1
density ρ density ρ
ρo ρo
Figure 1.6 Continuous nodal velocity by averaging (smoothing) nonconsistent
velocities for two cases of vertical density profiles.
QO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
⎫
Since p = ∑ p m N m ( ξ, η , ζ )
⎪
m ⎪
⎪
⎧ ∂ξ Hξ ⎫ H ξ = ∑ H ξm N m ( ξ, η, ζ ) ⎪⎪
⎪ ⎪ ⎪
⎨ ∂ η H η ⎬ = ρg ( ξ, η, ζ ) (1-97) m
⎬ (1-100)
⎪ ⎪
⎩ ∂ζ Hζ ⎭ H η = ∑ H ηm N m ( ξ, η, ζ ) ⎪⎪
m ⎪
⎪
one can write the Darcy velocity (1-52) in an equiva- H ζ = ∑ H ζm N m ( ξ, η, ζ ) ⎪
⎪
lent and consistent form m ⎭
cbcilt=ö=QP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
NKQKQ cìääó=~Ç~éíáîÉ=ëíê~íÉÖáÉë
and we obtain the velocity (1-98) in the discretized for-
mulation A successful use of numerical methods (FEM,
FVM) requires significant expertise and cost. This is
( p – H ξm )∂ ξ N m ( ξ, η, ζ ) particularly true for the present coupled nonlinear
⎧ m ⎫
kr k –1 ⎪ ⎪
q = – -------
- ⋅ J ⋅ ∑⎨ m
( p – H )∂
ηm η m N ( ξ , η, ζ ) ⎬ (1-101) problem class. The accuracy and reliability of the com-
μ ⎪ ⎪ putations are of theoretical as well as of practical inter-
m ( p – H )∂ N ( ξ, η, ζ )
⎩ m ζm ζ m ⎭
est and represent a central problem in the numerical
which represents a fully consistent approximation of analysis7. Promising adaptive strategies for an auto-
the Darcy fluxes q . We solve (1-101) for given pres- matic quantitative control of the discretization error(s)
sures p and the values of the H ξ, H η, H ζ -functions at have been developed159,160,237,247 and applied to convec-
the nodes m . The nodal quantities Hξm, H ηm, H ζm are tion problems48,70,121. Ideally, an adaptive method
dependent on the finite element types and are listed should be reliable in the sense that the discretization-
in47,131 for triangular and quadrilateral elements, and error control should be guaranteed, and also efficient in
in47 for pentahedral and hexahedral elements. In73 Frol- the sense that the computational effort should remain
kovic proposes modifications in the consistent velocity within acceptable bounds. Although there are intense
algorithm for triangle and tetrahedra elements. activities in numerical mathematics and computational
mechanics, there are today only few applications of
The computation of the consistent velocities (1-101) adaptive techniques for convection problems in prac-
is performed element-wise in a standard manner, where tice. For this class of coupled problems, a quantitative
the Jacobian J and the global derivatives error control is complicated, and analytical error esti-
–1
∇ ( . ) = J ⋅ ∇ ( ξ, η, ζ ) ( . ) are evaluated at Gauss points mates do not exist. Nevertheless, adaptive finite-ele-
for each element. The element-by-element computation ment algorithms can be constructed on the basis of a-
leads naturally to a consistent velocity field, which is in posteriori error estimates. They postulate that a finite-
general discontinuous at nodes. To obtain continuous element solution can indicate which regions in a given
velocities a projection (smoothing) technique can be domain need refinement or allow coarsening.
applied. Obviously, a smoothing procedure has no
effect on the consistency of the velocity. This can be An adaptive procedure is divided into two phases:
proven in an elemental patch test, where a node sharing error estimation and mesh refinement/coarsening.
a number of elements is considered. If the velocity con- Since the exact solution is not known, a method to
tributions from the adjacent elements at this node are approximate the error of a numerical solution is
consistent, i.e., they are zero in the hydrostatic case, an needed. Thus an appropriate measure, a norm, or semi-
average of zeros is always zero norm, of the error has to be defined. Commonly, the
error energy norm
QQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
For finding a physically appropriate energy expression We recognize from (1-105) and (1-106), that exact val-
for the coupled system (1-60) Diersch and Kolditz48 ues of pressure, mass and temperature gradients (deriv-
used the internal Clausius-Duhem entropy production, atives), which are generally unknown, are required.
which quantifies the irreversible thermodynamic pro- Therefore, these values must be approximated. A usual
cess of the system and must be always positive accord- way is to compute these derivatives by a higher-order
ing to the second law of thermodynamics. We can approximation. Fluxes (velocities) of higher-order
determine an equivalent energy functional, if the differ- accuracy can be easily obtained by using local and glo-
ential operator L in (1-102) is expressed by the disper- bal projection (smoothing) techniques, such as already
d
sive flux vector f from (1-61), viz., discussed above in the context of Darcy velocities.
They can also be obtained by adequate flux recovery
d d techniques, as proposed by Zienkiewicz and Zhu249. In
L ( e ) = ∇ ⋅ ( f – f̃ ) (1-104)
doing so, we compute ∇a by a projection, or recovery
technique and ∇ã is then obtained by direct differenti-
Inserting (1-103) and (1-104) into (1-102), integrating ation. The norms e and a are evaluated as the sum
by parts, and noting that the error vanishes on the of their respective element contributions, viz.,
d
boundary ∂Ω because a or f are prescribed there, the
error estimator becomes 2 2 2 2
e = ∑ e e a = ∑ a e (1-107)
e e
2 d d
e = – ∫ ( ∇ ( a – ã ) ) ⋅ ( f – f̃ ) dΩ (1-105)
Ω From the above procedure we can introduce global
d
and local error criteria as relative quantities, such as
d
where the dispersive fluxes f and f̃ are expressed by
the exact and finite element solutions according to the e e e
η = ------- η e = --------- (1-108)
constitutive relations (1-51), which depend on the state a a e
variable a and ã , respectively. In fact, (1-105) forms a
cbcilt=ö=QR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Two different optimality criteria are typically sional) or 8 (three-dimensional) so-called red elements,
employed: (a) the equal distribution of the global error while the transition between refined and unrefined
as proposed by Zienkiewicz and Zhu248 and (b) the mesh regions is formed by so-called green elements to
equal distribution of the specific error as introduced by avoid hanging nodes. Green elements are transient and
Onate and Bugeda165, in which both, global and local can be transformed into red elements after a further
error criteria are satisfied. The local error indicates ele- refinement. The adaptive mesh refinement can be com-
ments which are above or below a permissible error bined with nodal movement and mesh smoothing
measure. To meet the required accuracy according to techniques79. Löhner141 reviews appropriate mesh
the chosen optimality criterion, there are three strate- refinement/coarsening strategies in two and three
gies: (i) the h-adaptation, where the mesh is refined or dimensions.
coarsened locally, (ii) the p-adaptation, in which the
order in the trial functions is increased or decreased, For transient problems the spatial adaptation has to
while the mesh is not changed, and (iii) the hp-adapta- be embedded in an appropriate time-stepping cycle. In
tion representing a combination of the h- and p-adapta- using an automatic time-stepping control as outlined
tions. above, the overall solution becomes fully adaptive for
the proposed predictor-corrector technique. Obvious,
For the present problem class the h-method is usu- the computational effort can increase substantially and
ally preferred. The h-refinement strategy is hierarchic. an efficient monitoring of the temporal and spatial
The finer mesh has to be created within the coarser refinement/coarsening is necessary. Ideally, the spatial
mesh, and vice versa. Triangles in two dimensions and adaptation is performed at each time level n + 1 . Alter-
tetrahedra in three dimensions are particularly conve- natively, one can check the error criteria (1-108) only
nient and flexible in contrast to quadrilateral and hexa- after a certain step number of advances in time and
hedral elements. For the latter, non-conformal meshes remesh if necessary. By also computing the variation of
can overcome the topological difficulties in construct- the error (1-108) with respect to time
ing transitional elements. They introduce hanging (or
pinch) nodes and additional constraints, for which a n+1 n
· η –η
specific treatment is required. However, hanging nodes η = ---------------------------- (1-109)
Δt n
do not necessarily satisfy balance statements. In con-
trast, conformal meshes formed by triangles or tetrahe-
dra potentially possess better properties and provide a remeshing can be avoided if the error is still decreasing
maximum of flexibility for a completely unstructured at a reasonable rate69.
meshing. Most common is the red-green refinement/
coarsening strategy for triangular and tetrahedral ele- The adaptive mesh refinement (AMR) technique in
ments in two and three dimensions, respectively, as combination with adaptive time stepping monitors the
proposed by Bank et al.10. Higher mesh densities are actual spatial and temporal discretization requirements
achieved by subdividing elements into 4 (two-dimen- (‘watching physics’). We illustrate the use of such a
QS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
fully adaptive solution procedure for the solution of space), the adaptive strategy is promising in reducing
Elder’s long-heater problem59 in Fig. 1.7. Taking into ‘user-defined’ (discretization) influences from the solu-
account that the overall solution process was controlled tions for the buoyancy-driven convection problems.
by only two error criteria (one for each, time and
initial mesh
tD = 0.007
tD = 0.04
tD = 0.14
Figure 1.7 Elder’s long-heater problem for Rayleigh number of 200 at different dimension-
less times t D simulated with FEFLOW by a fully adaptive strategy (Galerkin-FEM, Onate-
Bugeda error criterion): meshes (range 18,000 - 23,000 triangles), isotherms and stream-
lines.
cbcilt=ö=QT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
NKQKR oÉã~êâë= çå= åìãÉêáÅ~ä= ëí~Äáäáíó fully implicit scheme ( θ = 1 ) with a first-order accu-
~åÇ=~ÅÅìê~Åó racy in time is unconditionally stable and the semi-
1
implicit Crank-Nicolson (or TR) scheme ( θ = --2- ) with a
From the above discussion we can now state: If we second-order accuracy in time is stable, but unbounded
are able to measure (and control) the discretization and can produce oscillatory solutions unless
errors at an optimally small level, we can eliminate, or
2 -
at least reduce the influences of numerical errors on the Δt n ≤ ------------
n+1
(1-110)
model simulations. Comparing our model results to χ max
experiments and observations, we could be sure that
any differences are not caused by improper discretiza- n+1
where χ max is the largest eigenvalue associated with
tion. Indeed, it is an important goal in numerical math- the matrix system (1-68) and (1-70). However, in using
ematics to develop reliable and robust schemes. the maximum eigenvalue in (1-110), the timestep con-
straint is often overestimated and can be relaxed in
An important point refers to stability and bounded- practice177. In contrast, the explicit scheme ( θ = 0 )
ness of a solution. Note that stability does not imply with a first-order accuracy in time absolutely require
accuracy - although it is true that instability implies (1-110) for stability reasons. It is a strong limit which is
inaccuracy. Numerical solutions should lie within associated with the famous Courant-Friedrichs-Lewy
proper bounds. Physically, non-negative quantities (CFL) condition
(e.g., density, concentration) should always be positive.
However, boundedness is difficult to guarantee. Δt
Cr = v ----- ≤ 1 (1-111)
Unbounded solutions can occur on too coarse meshes h
or too large time steps in form of wiggles, i.e., over-
shooting and undershooting of the solution. Wiggles derived for hyperbolic partial differential equations,
are usually a signal that the spatial or temporal discreti- where Cr is the Courant number and h corresponds to
zation is too coarse and some refinements (at least a characteristic element length.
locally) are required. Stability and convergence prob-
lems can result if the solutions contain too many wig- If the advective (first-order derivative) part in the
gles. A positive aspect of wiggles is that in signalling transport equations becomes dominant, wiggles in the
improper discretization they present a self-diagnosis solutions can occur and the spatial discretization with
property86. A method with such a self-diagnostic prop- standard methods (e.g., Galerkin-FEM) is insufficient.
erty is often superior to schemes which give smooth, Those wiggles are of nonphysical nature and signal that
and totally wiggle-free, but inaccurate and overdamped serious deficiencies in the mesh exist. They are caused
solutions for any discretization. by sharp gradients, which are insufficiently resolved by
the mesh. To avoid oscillations the typical constraint is
It is well-known for the two-stage transient ODE given by
approximation (1-68) and (1-70), e.g.86,184,247, that the
QU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ
There are many ways to cope with the wiggle prob- A similar ’upwind-in-time’ technique is used in the
lem, broadly categorized by two basic ’philosophies’, Taylor-Galerkin FEM54,126,247. If using schemes of sec-
(i) those which improve the mesh design by enrichment ond-order accuracy in time (e.g., Crank-Nicolson
or adaptation, and (ii) those which prefer (or resort to) scheme), the temporal upwind term is also of second
methods capable of damping out the wiggles. A long order and the Taylor-Galerkin FEM becomes more pre-
history of research and development has lead to stabi- cise. Shock capturing is a nonlinear upwind method42
lized formulations that produce wiggle-free (smooth) and depends itself on the numerical solution. It
solutions on virtually any mesh, cf.86,184,247. A common attempts to damp out the wiggles only in the vicinity of
method is the streamline-upwind Petrov-Galerkin sharp fronts and does not introduce numerical disper-
(SUPG) scheme, which introduces a balancing tensor sion in regions where the solution is already suffi-
diffusivity (BTD) term to stabilize the solution. It is ciently smooth. This principle (damping only near
equivalent to modifying the mechanical dispersion ten- steep gradients) is widely followed in modern upwind
sor (1-51) according to strategies, such as the flux-corrected-transport (FCT)
scheme, the essentially-non-oscillatory (ENO) method
num q⊗q and the total-variation-diminishing (TVD)
D m∗ = β T q I + ( β L + β L – β T ) ------------- (1-113)
q method63,66,67,141, which are usually explicit strategies
and naturally suffer from the strong CFL condition (1-
with a numerical dispersivity 111)1,164. FCT attempts to keep a front sharp on a fixed
mesh, where an anti-diffusion step is employed to over-
num h come the effects of excessive smearing. This idea is
βL = κ --- (1-114)
2 closely related to the idea of TVD and ENO. These
methods also employ flux-correction to limit the intro-
derived for linear elements, where the upwind parame- duction of oscillations.
ter κ ∈ ( 0, 1 ) appears as an additional free parameter.
Note, κ = 0 corresponds to the Galerkin-FEM and The method of characteristics/trajectories (MOC),
κ = 1 corresponds to the upwind scheme. The ’tricky’ e.g.66, represents a traditional explicit and decoupled
Petrov-Galerkin least square method (PGLS) with strategy, which is also CFL-affected (’forward-looking’
cbcilt=ö=QV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
characteristics). Modified, or backward methods of explicit schemes is small, because the timestep is usu-
characteristics (MMOC or BMOC) exist. They are ally small due to the CFL condition (1-111)). The origi-
implicit by using a ’single step reverse’ algorithm nal (physical) diffusivity D is artificially raised by
num
(’backward-looking’ characteristics) as described by D consequently a convection process is simulated
Neuman152. MMOC or BMOC represent Eulerian-Lan- with changed parameters, as quantified by an effective
grangian methods with operator-splitting usually Rayleigh number
applied to the decoupled matrix systems, whereby the
advective part of the transport equations is treated by a eff Ra
Ra = -------------------------------------------------------- (1-117)
backward MOC, while the dispersive part is handled κ
1 + --- Pe + ( θ – 1--2- )CrPe
via standard finite elements (or finite volumes). A com- 2
parison of second-order MOC approaches to most of
the other techniques was presented by Al-Lawatia et From (1-117) the danger from upwind schemes and/or
al.6 for the one-dimensional advection-diffusion equa- fully implicit (or explicit) becomes obvious: the solu-
tion. The MOC strategies can be very efficient and tion can evolve to a point rather far from the real phys-
accurate and have even been successfully applied to ics of a flow problem, if first-order accurate upwinding
density-dependent problems76,129,191,209; however, they on coarse meshes, and/or fully implicit time marching
are difficult to implement in two and three dimensions schemes with large step sizes are used. We thus like to
and are often limited to special cases. conclude in agreement with J. Ferziger (noted in86):
’The greatest disaster one can encounter in computa-
The selected temporal and spatial (upwind) discreti- tion is not instability or lack of convergence, but results
zation strategies affect the accuracy of the solution. We that are good enough to be believable but bad enough
consider the truncation errors for linear elements (vol- to cause trouble’.
umes), which can be expressed in terms of numerical
(nonphysical) diffusivity/dispersion as
NKR _ÉåÅÜã~êâáåÖ
num num num
D = D spatial + D temporal ⎫
⎪ A numerical model should work accurately if both
num v h 2 ⎪
D spatial = κ ---------- + O ( h ) ⎬ (1-116) the discretization and the convergence errors are
2 ⎪
num 2 2 ⎪
sufficiently small65. Unfortunately, in many practical
D temporal = ( θ – 1--2- )Δt n v + O ( Δt n ) ⎭ applications conceptual model errors additionally have
to be taken into account. The separation of the modeling
As (1-116) shows, first-order upwind schemes and a errors from the ’true’ numerical errors appears as an
first-order implicit temporal approximation introduce a important (and often difficult) task, because various
maximum numerical dispersion. Small element (vol- errors may even cancel each other out. To quantify the
ume) sizes h and timesteps Δt n are required to reduce order of accuracy, models and algorithms have to be
D
num
. (Note, the temporal numerical dispersion in tested under different aspects. Such tests are categorized
RM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
cbcilt=ö=RN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
ρs – ρ0 z
α = ----------------- with ρ s = ρ ( ω s ), ρ 0 = ρ ( ω 0 ) (1-118)
ρ0 ωs y
40 m
initial saltwater interface
x
The α -parameter is to be varied in a numerical study
whereby the density coupling increases with α . We
α = 0.03 ⁄ ω s
illustrate the results for an α -value of 0.03 ⁄ ω s .
ω = ωs
20 m
–8 2 –1
D d = 10 m s
The problem is hydrostatic at all times and the fluid
ε = 0.3
motion within the box should be zero, or in the numeri-
cal sense, negligibly small. Due to the molecular diffu-
sion D d the saltwater mixes (Fickian law (1-7) is
assumed) and the initially sharp saltwater interface
(narrow transition zone) spreads in time. This process
must be independent of the density. Accordingly, we 20 m
have to compare the results of the saltwater interface
spreading for the case without density coupling, against Figure 1.8 Cross-sectional view of the initially strati-
the cases where density effects are included. As a refer- fied saltwater below freshwater problem in a closed
ence solution we compute the problem for α ≡ 0 , based porous box.
on a fine temporal and spatial discretization. We have
simulated the density-dependent problem for quadrilat- The projection method causes an artificially
eral and triangular meshes both in two and three increased spreading of the salinity much like numerical
dimensions by using the different velocity approxima- dispersion. This is caused by spurious local velocities
tions (Frolkovic-Knabner method, local projection/ at the interface nodes, that locally violate the consis-
smoothing technique), as discussed above. The find- tency requirement. The smearing in the density profile
ings are similar to those depicted in Fig. 1.9 for the increases, if dispersion ( β L = 5m, β T = 0.5m ) is addi-
two-dimensional quadrilateral elements. tionally taken into account. In contrast, the consistent
velocity approximation by the Frolkovic-Knabner
RO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
method avoids any spuriousness in the velocity field. fore, advanced evaluation techniques such as the Frolk-
These results agree very well with the reference solu- ovic-Knabner method are to be preferred. This
tion, independent of dispersion effects. benchmark can be extended by imposing a horizontal
uniform flow at hydrostatic conditions. In such a test a
This benchmark reveals the weakness of the projec- density profile should not be smeared if transverse dis-
tion methods, which normally work satisfactorily. persivity and diffusion are set to zero216,232.
However, these techniques cannot guarantee the local
consistency in the velocity field for problems involving
sharp transition zones in the density contrast and, there-
1.0
0.8
relative density ρ̃ [-]
0.6
0.4
reference solution
(no density coupling, α = 0)
Frolkovic-Knabner method
(without and with dispersion)
0.2 projection method without
dispersion
projection method with
dispersion
0.0
20 10 0 -10 -20
z [m]
cbcilt=ö=RP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
The Henry problem describes the advance of a salt- Table 1.1 Simulation parameters for the Henry
water front in a confined aquifer which was initially problem
saturated with uncontaminated freshwater. Henry99
developed a semi-analytical solution technique for this Symbol Quantity Value Unit
problem. Based on the OB approximation he derived
–6 2 –1
analytical expressions for the stream function and the Dd coefficient of 6.6 ⋅ 10 m s
salt concentration in the form of Fourier series. The molecular diffusion
resulting algebraic equations for determining the coef-
βL longitudinal disper- 0 m
ficients of the Fourier series must be solved by numeri- sivity
cal techniques. Using quite different approximation
methods, a number of authors obtained similar results βT transverse disper- 0 m
(e.g., Pinder and Cooper179, Segol et al.203, Desai and sivity
Contractor37, Frind71, Voss and Souza233, Galeati et g gravitational accel- 9.81 ms
–2
al.76, Oldenburg and Pruess161, Croucher and eration
O'Sullivan33, Bués and Oltean22). The 'mystery' of –9 2
Henry's solution is that to date no numerical model has k permeability of 1.019368 ⋅ 10 m
porous medium
been able to reproduce closely his semi-analytical
–2 –1 –1
results201 (cf. dashed line in Fig. 1.10). Nevertheless, as q specific discharge 6.6 ⋅ 10 kgm s
there exists no other non-numerical technique for this on the left side
kind of nonlinear problem, Henry's solution has
Ra s solutal Rayleigh 250 -
become one of the standard tests of variable-density
number
groundwater models. The idealized aquifer for the sim-
ulation of Henry's problem is shown in Fig. 1.10. The ε porosity 0.35 -
boundary conditions for flow consist of impermeable –3 –1 –1
μ dynamic viscosity 10 kgm s
borders along the top and the bottom. Hydrostatic pres-
3 –3
sure is assumed along the vertical boundary of the sea ρ 0, ρ s density of water ( 1.0, 1.026 ) ⋅ 10 kgm
side. The aquifer is charged with freshwater at a con- and solute
stant flux from the left side. At the inland side, the con-
centration is zero, which corresponds to a freshwater
condition. At the coastal side the normalized concen- Figure 1.10 summarizes some former findings for
tration of brine is imposed. Instead of velocity-depen- the Henry problem obtained by several authors, who
dent dispersion a correspondingly large diffusivity was used quite different computation methods. Comparing
used by Henry99 in order to allow a semi-analytical these results, it has to be kept in mind that slightly dif-
solution. The simulation parameters for the Henry ferent parameter values were chosen by the authors.
RQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
The Henry problem is often used as a benchmark Figure 1.10 Definition of the Henry problem and prior
for variable-density flow and transport although it has results by Henry99 - dashed line, Pinder and Cooper179 -
some deficiencies. An unrealistically large amount of dashed-dotted line, Segol et al.203 - dotted line, Desai and
Contractor37 - long-dashed line, Frind71 - short-long-dashed
diffusion is introduced which results in a widely dis-
line, and Voss and Souza233 - solid line; positions of the 25,
persed transition zone. It makes the solution smooth
50, and 75 percent isochlors of the steady-state solution
and rather nonproblematic. The Henry problem is not (modified from Voss and Souza233).
appropriate for verifying purely density-driven flow
situations. Additional benchmark tests are necessary to
examine the numerical models for free convection
problems (such as the Elder problem) and situations
with narrow transition zones (such as the salt dome
problem) which will be considered next. In a section
further below we will also discuss a new variant of
Henry's problem for variably saturated porous media.
cbcilt=ö=RR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Diersch38 and later Voss and Souza233 transformed Table 1.2 Simulation parameters for the saline Elder
the thermal Elder problem into a solute-analogous con- problem
vection problem, where heavy saltwater is placed on
top. Voss and Souza ’blew up’ the geometry so that Symbol Quantity Value Unit
Elder’s problem can now be deemed a large-scale, den-
sity-driven saltwater intrusion process in a cross-sec- L base length 600 m
tional aquifer schematization. The original Elder d cell (aquifer) 150 m
problem of the thermal convection in a Hele-Shaw cell height
and the solute-analogous convection problem are math-
ematically equivalent (via the Rayleigh number). How- e extent of intrusion 300 m
RS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
Table 1.2 Simulation parameters for the saline Elder NKRKPKO mêÉîáçìë=~åÇ=êÉÅÉåí=ëíìÇáÉëI=~åÇ=
problem (continued) ëçãÉ=ëìêéêáëÉë
Symbol Quantity Value Unit Neither exact solutions nor qualified measurements
–3 –1 –1 (!) exist for the Elder problem. Consequently, the (cur-
μ dynamic viscosity 10 kgm s
rently) only way to compare is with numerical solu-
–2
g gravitational accel- 9.81 ms tions. Figure 1.12 depicts Elder’s finite-difference
eration solutions59 and Voss and Souza’s Galerkin-FEM
results233 for a simulation time of ten years. Using a
I symmetric intru- 0.5 -
sion ratio similar spatial discretization in a Galerkin-FEM, we
can reproduce these salinity patterns very well (Fig.
– 13 2
k permeability of 4.845 ⋅ 10 m 1.13a). However, strong discretization effects were
porous medium observed by using different meshes. Kolditz et al.126
K hydraulic conduc- 4.753 ⋅ 10
–6
ms
–1 conducted a mesh convergence study, where the
tivity meshes were consecutively refined until a supposed
mesh convergence was achieved. Figure 1.13b exhibits
Ra s solutal Rayleigh 400 - their solutions obtained for the highest refinement.
number
They tested both the OB and the extended OB approxi-
α solutal expansion 0.2 - mation. The most important outcome of this study was,
coefficient that for fine meshes there is a central upwelling flow
–6 2 –1 rather than the central downwelling flow found for
Dd coefficient of 3.565 ⋅ 10 m s
coarse meshes, as shown in Fig. 1.13 at the time of 20
molecular diffusion
years. This high-resolution results compare very well
ε porosity 0.1 - with those already given by Oldenburg and Pruess161.
Kolditz et al.126 concluded that at least 4400 bilinear
βL longitudinal disper- 0 m
sivity finite elements (4539 nodes) are required on the whole
domain, to model an upwelling flow characteristic
βT transverse disper- 0 m (deemed the correct solution). These observations gave
sivity rise to various numerical studies by other authors. Ack-
ρ 0, ρ s density of water ( 1.0, 1.2 ) ⋅ 10
3
kgm
–3 erer et al.1 used a mixed hybrid FEM with a TVD stabi-
and solute lized scheme. They confirmed the upwelling solution.
In their study, upwelling flow appeared already at
coarser meshes. A similar mixed hybrid FEM was used
by Mazzia et al.144 who found a central downwelling
flow on coarse meshes. A detailed study was recently
presented by Oltean and Bués164 who used a mixed
cbcilt=ö=RT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
l
NE = 2 ⋅ NE 2 NE 2 = 2 ⋅ 4
(1-119)
l⁄2 l⁄2 2 l⁄2
NN = 2 ⋅ NN 2 – ( 4 + 1) NN 2 = 2 ⋅ ( 4 + 1) – (4 + 1)
downwelling upwelling
RU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
condition is imposed. Our results are depicted in Fig. 2.5 and 5 years appears to be most critical for the fur-
1.14 and confirm Frolkovic and De Schepper’s obser- ther evolution of the convection process. Various
vations. Up to a mesh with resolution of l = 5 , a cen- eddies begin to mutually interact, to fuse and to disap-
tral upwelling is seen which agrees with the previous pear, and the local velocities control which rotation of
findings reported by Oldenburg and Pruess161, Kolditz the merged vortices finally prevails. At that location
et al.126, Ackerer et al.1, and Oltean and Bués164. From and time, the solution evolves either to an upwelling or
l ≥ 6 onward the flow turns back to a downwelling pat- to a downwelling flow regime. We can now summarize
tern. This is shown in Fig. 1.14 for levels 6 and 9; lev- in Tab. 1.3 all of the findings relating to the form of the
els 7 and 8 (not shown) are comparable with level 6. As flow direction in the central section, qualified by the
revealed in the streamline pattern of Fig. 1.14, the flow degree of mesh refinement.
behavior in the upper central location at a time between
Table 1.3 Flow direction in the central section with respect to the mesh discretization (modified from
Oltean and Bués164)
Diersch38 - - - -
Kolditz et al.126 - -
Ackerer et al.1 -
Mazzia et al.144 -
cbcilt=ö=RV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Table 1.3 Flow direction in the central section with respect to the mesh discretization (modified from
Oltean and Bués164) (continued)
presentc - (l = 4) (l = 5) - (l = 6,7,8,9)
Diersch47 has made comparisons between the pro- levels. They concluded that non-unique stationary solu-
jection and the Frolkovic-Knabner method for evaluat- tions exist for the Elder problem. It is suggested that
ing the velocity fields using mesh levels l in the range unaligned (unstructured) meshes can cause a perturba-
from 4 to 9. There were no remarkable differences and tion which, eventually, may determine the character of
the resulting flow characteristics were always the same. the numerical solution.
He found that the projection method is accurate for the
Elder problem.
SM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
t = 5y t = 5y t = 5y t = 5y
Figure 1.14 Computed salinities (0.2, 0.4, 0.6 and 0.8 isolines) and streamline patterns for four times t
(2.5, 5, 10, 20 yrs) and for four mesh levels l (4,5,6,9): FEFLOW simulations using a Galerkin-FEM on
quadrilateral uniform meshes of the half domain without perturbations and an automatic AB/TR predic-
tor-corrector time stepping with the Frolkovic-Knabner algorithm to compute consistent velocity fields.
cbcilt=ö=SN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
∂ω e = 300 m ∂ω
= 0 = 0
∂x 3 ω=1 ∂x 3
= ∂T = 0
= ∂T = 0
∂ x1
∂ x1
∂ x1
∂ x1
∂ω
∂ω
ω=0,T=1
x3 Figure 1.16 Onset of thermohaline effects: computed salin-
x1
L = 600 m ity distributions of 0.2 and 0.6 normalized isochlors at 10
(top) and 20 years (bottom) for different Turner numbers of
Figure 1.15 Definition of the two-dimensional thermoha- B = 4 (left) and B = 2 (right).
line Elder problem49.
Diersch and Kolditz49 studied the thermohaline Recently, Kaiser121 and Thorenz218 revisited the
Elder problem for different Turner numbers thermohaline Elder problem using AMR techniques.
B = ∞, 5, 4, 3, 2 at a Lewis number Le of unity. While They used slightly different thermal boundary condi-
the results for B = 5 are still rather similar to the pure tions. The constant temperature condition was imposed
(asymptotic) saline convection, beginning with B = 4 not along the entire cell bottom but only on a 300 m
the influence of the superimposed thermal convection section at the bottom centre (i.e. as the constant salinity
on the salinity distribution becomes apparent (Fig. condition on the cell top). The simulation results corre-
1.16). Now the fingers are sheared as a result of the sponding to a Turner number of B = 2 are depicted in
opposing forces due to heat and salinity effects and the Fig. 1.17. The vertical mesh Peclet number for the
central upwelling flow changes to a downwelling in the smallest elements is Pe = 2.43 which is comparable to
late time scale. There are no monotonic changes in the the fine mesh results by Diersch and Kolditz49. The
SO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
cbcilt=ö=SP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
a) b) c)
SQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
Figure 1.20 Computed isosurfaces of 50% salinity for the three-dimensional Elder problem at t =
20 years: saline convection (left) and thermohaline convection (right).
NKRKQ p~äí=ÇçãÉ=éêçÄäÉã set to zero. The simulation parameters are listed in Tab.
1.4. The results are compared for the steady-state solu-
This benchmark was proposed by the participants of tions.
the international HYDROCOIN project for the verifi-
cation of groundwater models (Swedish Nuclear Power
Inspectorate 1986). This test case is designed to model NKRKQKN oÉÅáêÅìä~íáçå=îÉêëìë=ëïÉéíJÑçêJ
variable-density groundwater flow over a hypothetical ï~êÇ=ëçäìíáçåë
salt dome, where the geometry is largely simplified.
The geometry and boundary conditions of the test The salt dome was investigated by several authors
problem are shown in Fig. 1.21. The cross-section of (Herbert et al.101, Leijnse138, Oldenburg and Pruess161,
the model extends horizontally 900m and vertically Oldenburg et al.163, Johns and Rivera119, Kolditz et
300m. The aquifer is considered to be homogeneous al.126, Konikow et al.129, Holzbecher108 and Younes et
and isotropic. The pressure varies linearly on the top of al.246, among others). Kolditz et al.126 obtained the
the aquifer. The other sides are impervious to flow. The same stratified system as Herbert et al.101 already
concentration on the top is set to zero at the inflow found. A freshwater region with higher velocities is
domain. The middle section of the base represents the observed in the upper part, where flow is driven by the
top of the salt dome with normalized mass concentra- superimposed pressure gradient on the top of the aqui-
tion of solute equal to unity. On all the remaining parts fer (Fig. 1.21a). There is a brine pool along the bottom,
of the boundary, the normal concentration gradient was where flow with small velocities recirculates (Fig.
cbcilt=ö=SR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
1.21b). The outflow of the saltwater is focused on the a broad discussion on the role of boundary conditions
upper right-hand corner (Fig. 1.21c). Johns and and mechanical dispersion108,129,163,246. The conflicting
results are summarized in Fig. 1.22 for the case of
–8 2 –1
D d = 1.39 ⋅ 10 m s and β L = β T ⋅ 10 = 20 m . Note
a) that the results by Herbert et al.101 correspond to values
–8 2 –1
of D d = 1.39 ⋅ 10 m s (Fig. 1.22a), whereas Olden-
burg and Pruess161 used a zero molecular diffusivity
(Fig. 1.22b). We computed the models for both values
of molecular diffusivity (Figs 1.22c and 1.22d) and
found nearly identical salinity distributions.
SS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
cbcilt=ö=ST
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
NKRKQKO qÜÉêãçÜ~äáåÉ=ë~äí=ÇçãÉ=éêçÄäÉã
a)
In deep aquifers the saltwater upconing process is
subject to the buoyancy influences by a thermal gradi-
ent. Diersch and Kolditz49 studied a thermohaline
extension of the salt dome problem. Simulated results
of the salt dome problem at a time of 100 years for dif-
b)
ferent buoyancy ratios B are shown in Fig. 1.23, dem-
onstrating that the temperature effect on the saltwater
distribution remains negligible or small if compared
with the single-diffusive results at higher Turner num-
bers B . However, as seen for B = 2 , if the Turner
number becomes smaller, vigorous temperature influ-
ences on the brine pattern result in form of a 'wavy'
c)
salinity field caused by the thermal buoyancy. The
'wavy' salinity characteristics are triggered in front of
the salt wedge by thermally driven eddies. As
expected, this leads to an increased saltwater effluent
on top of the aquifer. Note that a buoyancy ratio of
B = 2 implies large temperature difference for a high-
d) concentration brine and represents an extreme situa-
tion. For the real site behind the present salt dome
problem such high temperatures corresponding to
B = 2 may be unlikely to occur. However, the variants
can be valuable as test cases to study the effects of high
temperatures, which may, for instance, arise in the
vicinity of a disposal facility for heat-emitting waste or
in geothermal areas.
Figure 1.22 Results for the salt dome problem: steady-state
salinity contours simulated by a) Herbert et al.101, b) Olden-
burg and Pruess161, c) FEFLOW126, d) ROCKFLOW126.
SU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
salinity B temperature
a)
b)
c)
Figure 1.23 Evolution of the thermohaline convection system: computed salinity and temperature distributions at 100 years
for different buoyancy ratios (a) B = 5, (b) B = 3, and (c) B = 2.
NKRKR eáÖÜ= ÅçåÅÉåíê~íáçå= Ñäçï measured breakthrough curves for brines. It is found
íÜêçìÖÜ=~=Åçäìãå that the HC dispersion coefficient (1-9), (1-51) ℑ H var-
ies inversely with the flow velocity q . Schotting et
High concentration-gradient experiments in a col- al.198 have summarized their fitted experiments in the
umn of glass beads98,198 have shown that the nonlinear following approximate expression for ℑ H = ℑ H ( q ) as
dispersion law (1-9) gives very good agreements with
cbcilt=ö=SV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
TM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
1.0
analytical 198
0.8 FEFLOW
0.6
density, ρ/ρs
0.4
0.2
0.5 0.75 1.0
t D = 0.25
0.0
-0.5 0.0 0.5 1.0 1.5 2.0
depth, z
Figure 1.24 Numerical density profiles simulated by FEFLOW at selected dimensionless
times t D in comparison with the semi-explicit analytical solutions given by Schotting et
al.198 for a brine displacement in a column at nonlinear dispersion.
cbcilt=ö=TN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
y
evaporation q e inflow pressure p = const
lake salinity ω s = 0.110 inflow salinity ω o = 0.084
B C D
A
Le = 0.05 m Le
effective gravity:
–2
initial salinity ω o = 0.084 g y = 0.855 m s
H = 0.075 m
F L = 3 . Le = 0.15 m E x
z
gy D
y
E
θ = 5o
–2
g = 9.81 m s
TO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
Wooding et al.242,243 described the observations Table 1.6 Simulation parameters for the salt lake
from their experiments as follows: ’At early times problem (continued)
many small plumes grow from the evaporating bound-
ary layer. These plumes descend under gravity and Symbol Quantity Value Unit
tended to coalesce to form larger-scale fingers. Differ- –2
gy effective gravity: 0.855 ms
ential growth and coalescence as seen from the Hele-
g sin θ
Shaw cell results ... are plausible mechanisms which
–9 2
allow for the growth of millimeter- or centimeter-scale k permeability of 3.68 ⋅ 10 m
wavelength, corresponding to wavelengths of meters or porous medium
tens of meters or more which might be possible in –3 –1
K hydraulic conduc- 3.045 ⋅ 10 ms
nature. These larger plumes tended to maintain their tivity
identity during growth. By (dimensionless time)
t D = 15.99 the leading plume had encountered the ε porosity 1 -
lower impermeable boundary and had begun to qe evaporation rate 1.03 ⋅ 10
–6
ms
–1
spread.’
– 10 –1
γ compressibility of 4.5 ⋅ 10 Pa
Table 1.6 Simulation parameters for the salt lake fluid
problem –2
α solutal expansion 1.9 ⋅ 10 -
Symbol Quantity Value Unit coefficient
– 10
–2 βL longitudinal disper- 9 ⋅ 10 m
H, L cell height, length 7.5 ⋅ 10 , m
–1 sivity
1.5 ⋅ 10
– 10
–2 βT transverse disper- 9 ⋅ 10 m
Le cell evaporation 5 ⋅ 10 m
sivity
length
–3 –1 –1
–4 μ dynamic viscosity 1.1 ⋅ 10 kgm s
b cell plate spacing 2.1 ⋅ 10 m
3 –3
ρ0 fluid density at 1.0646 ⋅ 10 kgm
θ cell angle to the 5 °
inflow (at 293.15
horizontal
K)
–2
ω0 salinity at inflow 8.4 ⋅ 10 1 3 –3
ρs fluid density at sat- 1.0814 ⋅ 10 kgm
and at initial time
uration (at 293.15
–1 K)
ωs salinity of the lake 1.1 ⋅ 10 1
– 10 2 –1 Ra s solutal Rayleigh 4821 -
Dd coefficient of 9 ⋅ 10 m s
αKH -
molecular diffusion number -------------------------------
ε ( Dd + βT qe )
cbcilt=ö=TP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Simmons et al.207 used two numerical codes for the Mazzia et al.144 attempted a mesh convergence
analysis of the salt lake problem: the SUTRA simulator study for the salt lake problem by using a mixed hybrid
developed by Voss231, and a stream-function based FEM. Three meshes were studied, with the finest one
finite difference model developed by Wooding et consisting of 40,000 triangles with 20,301 edges. Their
al.242,243. Simmons et al.207 obtained a reasonable spa- results have a close similarity with our predictions
tial and temporal agreement between the numerical and shown in Fig. 1.27. In agreement with our observations
experimental outcomes. The criteria they choose for they also found that the predicted finger patterns agree
comparing the results were: (i) qualitative comparison paradoxically much better with the laboratory observa-
of the fingering pattern and coalescence with time, (ii) tions, when simulated on coarse, instead on fine
examination of the effect of background advection on meshes. A mesh convergence was not achieved and
the movement of the finger sequence to the left of the they critically concluded that such an assessment is
cell, (iii) comparison of vertical growth rates of fingers problematic.
as they move downwards, and (iv) representation of the
entrainment of smaller fingers by the larger leading
plume that originates at the boundary of the salt lake.
TQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
tD = 2 tD = 12
tD = 4 tD = 14
tD = 8 tD = 16
tD = 10 tD = 18
Figure 1.26 Salinities for different dimensionless times t D . One unit in dimensionless times is equivalent to
–3
21.4 minutes real time. Contour interval is 2 ⋅ 10 . FEFLOW simulations on a coarse mesh (4733 quadrilateral
elements), full upwinding and AB/TR time stepping. Total number of adaptive times steps is 290.
cbcilt=ö=TR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
tD = 2 tD = 12
tD = 4 tD = 14
tD = 8 tD = 16
tD = 10 tD = 18
Figure 1.27 Salinities for different dimensionless times t D . One unit in dimensionless times is equivalent to
–3
21.4 minutes real time. Contour interval is 2 ⋅ 10 . FEFLOW simulations on a fine mesh (169,621 triangular
elements), Galerkin-FEM and AB/TR time stepping. Total number of adaptive times steps is 2700.
TS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
H = 0.2 m
ρo
H1 = 0.14 m
freshwater
tion process with a Rayleigh number Ra > 1000 is in a
range where different branches of flow regimes may
exist. The Elder problem thus appears rather simple,
compared to the salt lake problem. As the numerical
H2 = 0.06 m
requirements for the Elder problem were already quite saltwater ρs
expensive, the salt lake problem indeed appears to be a 0.2
m
are available here. The main difficulty can be expected Figure 1.28 Definition of the saltpool problem.
in the extremely dynamic behavior of the convection
process, where physical perturbations caused by labo-
ratory-scale heterogeneities that trigger instabilities The experimental set-up consists of a cubic con-
must be mimicked in a numerical simulation. Taking tainer covered by plexiglass walls and filled with dry
that into account we tend to conclude that the salt lake silica glass beads (average diameter 1.2 mm). At the
problem is at the moment essentially unsolved. beginning of the experiment, saltwater is layered below
freshwater, forming a horizontal narrow transition
zone. Inflow and outflow were possible only via small
NKRKT p~äíéççä=éêçÄäÉã holes in the corners of the test cube (Fig. 1.28). The
box is recharged with freshwater through a single
The saltpool problem was introduced by Oswald167 inflow opening at a constant rate Q . Water discharges
and Oswald et al.168. It represents a three-dimensional through the outlet with a variable salinity. In the exper-
saltwater upconing process in a cubic box under the iments, salinity breakthrough curves at the outflow
influence of density and hydrodynamic dispersion. A opening were measured. The measured mixing concen-
stable layering of saltwater below freshwater is consid- tration at the outflow is in fact very small, i.e. in the
1- 1 -
ered in time for two cases: (1) low density case (1% order of --------
100
and -----------
1000
related to the maximum salinity
salt mass fraction) and (2) high density case (10% salt ω s for the low and high density cases, respectively.
mass fraction). The position of the saltwater-freshwater interface was
determined by use of the nuclear magnetic resonance
(NMR) technique. For a complete description of the
cbcilt=ö=TT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
Magnitude
Quantity Symbol Unit
low density high density
TU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
Magnitude
Quantity Symbol Unit
low density high density
–3 –2
solute expansion coefficient α 7.6 ⋅ 10 7.35 ⋅ 10 1
–9 2 –1
diffusion coefficient Dd 1.0 ⋅ 10 m s
–3
longitudinal dispersivity βL 1.2 ⋅ 10 m
–4
transverse dispersivity βT 1.2 ⋅ 10 m
porosity ε 0.372 1
–1
fluid compressibility γ 0.0 Pa
–6 –6 3 –1
inflow/outflow rate Q 1.89 ⋅ 10 1.83 ⋅ 10 m s
2 3
variable fluid viscosity μ = μ o ( 1 + 1.85ω – 4.1ω + 44.5ω )
The results for both the low (1) and high density tion at the outlet is significantly overestimated (Oswald
cases (2) are presented in Fig 1.29. It reveals the role of et al.168, Diersch47). Using the Frolkovic-Knabner algo-
density effects in mixing, and in dilution of saltwater, rithm for the consistent velocity approximation, the
which is mainly controlled by the hydrodynamic dis- computation of the breakthrough curves is now in a
persion process. In the high density case, the transition reasonable agreement with the experiment (Fig. 1.29c,
zone between saline and freshwater is significantly right). This emphasizes the importance of a consistent
widened, forming a ’diffusive upcone’ below the outlet velocity approximation for high density situations,
at very low concentrations. This mixing process is con- which has proven to be a fundamental requirement for
siderably influenced by the advective and dispersive the successful solution of the saltpool problem at large
forces acting locally on the saltwater-freshwater inter- density contrasts. Small inconsistencies in the velocity
face, which is initially very narrow. field would have dramatic consequences on the compu-
tational results. The data fit can be improved by re-
The simulation of the low density case agrees well adjusting parameters, in particular the transverse dis-
with the measurements. However, differences in the persivity β T , porosity ε , and conductivity K as shown
long-term behavior remain (Fig. 1.29c, left). A previ- by Johannsen et al.118. They have also shown in their
ous solution based on the local-projection technique of mesh convergence study that a mesh level of l = 6
the velocity approximation completely failed for the represents a minimum spatial resolution required for an
high density case, as the saltwater mixing concentra- accurate simulation of the high density case.
cbcilt=ö=TV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
The saltpool experiment provides reliable quantita- meshes are required to attain a reasonable agreement
tive results for a three-dimensional saltwater mixing with the measurements. Consequently, three-dimen-
process under density effects, which were not available sional brine transport (upconing) problems in practical
before Oswald’s work167. From the physical point of large-scale applications with correspondingly small
view it is interesting to note that the matching of the dispersivities would require huge models, which can-
saltpool experiment, as achieved by Johannsen et al.118 not be handled on available computers, unless the
did not require other than common constitutive rela- requirements in the quantitative accuracy are signifi-
tionships. Nonlinear (non-Fickian) dispersion effects cantly reduced. On the other hand, regularly structured
did not have to be considered. From their results one meshes, such as the ones used by Johannsen et al.118,
could implicitly conclude that nonlinear dispersion represent a limitation for the modeling of natural sys-
effects would not play an important role for the saltpool tems with complex geometry. In order to study mesh
problem at the high density case (10% salinity). This is effects in more detail, results for structured and
in contradiction to displacement experiments in col- unstructured meshes should be compared.
umns, where nonlinear dispersion effects have to be
introduced to explain the breakthrough behavior of HC
brines98,198. Further studies seem to be needed in order
to evaluate the quantitative effects of nonlinear disper-
sion on the transverse mixing of dense saltwater along
a saltwater-freshwater interface. It is still an open ques-
tion if the saltpool experiment could be simulated by
using the nonlinear dispersion relationship without
adjusting independently measured parameters like β T ,
ε , K and others. Taking the observations for column
brine displacement into account, it is unlikely that the
nonlinear dispersion effects can be disregarded in the
saltpool experiment. One explanation could be that the
convective time scale of the saltpool experiment is
much shorter than the time scale of the action of grav-
ity to cancel out horizontal density gradients due to
local heterogeneities in the porous medium, which give
rise to a reduction of the effective dispersivities.
Details about these time scales can be found in Duijn et
al.55.
UM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
b)
c) 0.06 0.06
0.05
experiment 0.05
mesh A, quad., level 6
mesh B, trian., halfspace experiment
0.04 0.04 mesh A, quad., level 6
salt mass fraction [%]
salt mass fraction [%]
0.03 0.03
0.02 0.02
0.01 0.01
0.00
0.00 0 50 100 150
0 50 100 150
time [min] time [min]
Figure 1.29 Computational results (FEFLOW) of the saltpool problem for the low (left) and high density cases (right): a)
cross-sectional salinity distribution, b) 50% salinity surface at t = 160 min, c) salinity breakthrough curves at the outlet
obtained for meshes A and B, circles correspond to experimental results.
cbcilt=ö=UN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
NKRKU s~êá~Ääó=ë~íìê~íÉÇ=Ñäçï=ÅÉää
UO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ
cbcilt=ö=UP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
areas, the capillary fringe, and the saltwater-freshwater NKS cáÉäÇJêÉä~íÉÇ= i~êÖÉJëÅ~äÉ
interface (Fig. 1.31). More details of the numerical ^ééäáÅ~íáçåë
method for multi-phase and density-driven flows are
described by Thorenz218. A direct comparison of the There is an increasing desire in modeling density-
experiments and associated numerical simulations are dependent problem for real site and large-scale applica-
presented by Thorenz et al.219 in two ways: first, by tions. Of great interest in water resources are saltwater
qualitative analysis of tracer migration from the injec- intrusion processes, for which many computational
tion points, and second, by quantitative analysis of studies at a regional scale were performed in the past,
streamline patterns extracted from the photographs. e.g.,5,26,41,75,81,117,128,135,158,169,173,182,202,204,205,209,225,232,244.
The flow system can be separated into two main Models were also used for simulating flow, brine, and
regions. In the lower area, a saltwater tongue along heat transport in large sedimentary basins, rifts and
with a convection cell establishes itself. In the upper
area, a significant counter flow develops, which trans-
ports freshwater through both the saturated, and unsat-
urated zones. The experiments show a quite different
flow behavior in the upper part. Set-up A shows a sig-
nificant flow in the unsaturated zone too, whereas set-
up C is characterized by a fast movement of saltwater
in the saturated zone, and slow anti-clockwise convec-
tion of freshwater in the unsaturated zone. In all simu-
lations, the position of the saltwater tongue as well as
the significant flow features could be reproduced very
well. As an example, we show the computed tracer dis-
tribution in the flow cell (Fig. 1.32).
UQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKS=cáÉäÇJêÉä~íÉÇ=i~êÖÉJëÅ~äÉ=^ééäáÅ~íáçåë
deep formations, e.g.,30,50,124,162,178,238. For the latter we salinity) effects in the layered geologic system. The
illustrate three examples of recent concern. The model- cross-sectional domain they studied measured 230 km
ing of heat extraction from hot dry rocks (HDR) is in the length and 8 km in the depth. A geothermal gra-
three-dimensional and covers far-field and local field dient of 35 K/km has been imposed. An unstructured
5
effects in hydraulically fractured rock massifs. In the mesh consisting of about 10 triangular elements was
cracked rock a fluid circulation system is established used. A typical outcome is shown in Fig. 1.34, reveal-
and heat exchanges at the surfaces of the fractures. Fig- ing a complex multicellular convection behavior in
ure 1.33 exhibits simulation results for flow and heat higher permeability layers. The mesh used is much
transport in a HDR system. In a holistic finite element finer than the simulated convection cells. Future mod-
model for a fractured-porous medium, fractures (repre- eling must be based on a fully thermohaline formula-
sented by two-dimensional elements) and the contacted tion and extension to three dimensions. The third
rock mass (represented by three-dimensional elements) example shown in Fig. 1.35 concerns two simulations
are explicitly coupled. The thermally driven recircula- of density-coupled flow through a strongly heteroge-
tion regime in the single fracture is described by a neous medium representing the caprock over salt for-
Hagen-Poiseuille law (1-54). The advantage of such a mations in Northern Germany. The displayed
holistic three-dimensional approach is that the interac- variations in the velocity field symbolize the heteroge-
tion between fracture and rock can be modeled more neity of the hydraulic conductivity very well. Due to
realistically. the specific layering, flow channelling occurs above
the salt dome. Another significant implication concerns
The second example is in the domain of geophysics the flow field itself. Figure 1.35a illustrates the velocity
and refers to the study of a large sedimentary basin in distribution if density effects are neglected, whereas
Northern Germany involving geothermal buoyancy and Fig. 1.35b shows a convective cellular pattern occur-
brines in deep locations. Clausnitzer et al.30 used a two- ring if density effects are taken into account. Note that
dimensional FVM to model the geothermal (without this convection cell is entrapped in a layer with a larger
Figure 1.34 Cellular convection pattern in a large-scale geothermal application: two-dimensional FVM model of a sedi-
mentary basin, cross-sectional layer structure and simulated isotherms (from Clausnitzer et al.30).
cbcilt=ö=UR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
hydraulic conductivity as in the adjacent formations. extent on the heterogeneity of the subsurface system.
This indicates that the evolution of convection cells,
and in particular, its extensions may depend to a large
a) 250
Ground surface
150
100
Salt dome
200 300 400 500
Horizonzal extent in [m]
b) 250
Ground surface
Vertical extent in [m]
200
150
100
Salt dome
200 300 400 500
Horizonzal extent in [m]
Figure 1.35 Groundwater flow through the caprock of a glacial aquifer: a) neglecting density effects and b) includ-
ing density effects.
US=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKS=cáÉäÇJêÉä~íÉÇ=i~êÖÉJëÅ~äÉ=^ééäáÅ~íáçåë
Large-scale density-variable simulations that are to sion of this topic see Dagan35. Heterogeneity can also
accommodate natural heterogeneity together with have serious consequences for density-dependent pro-
strong buoyancy forces and steep gradients have an cesses. A natural system is self-perturbing. As dis-
inherent need for expensive numerical meshes. In real- cussed by Simmons et al.206, heterogeneity in hydraulic
ity, the computational power of the available hardware properties can perturb flow over many length scales
often dictates a discretization for large problems that is (from slight differences in pore geometry to larger het-
rather coarse, compared to that of academic and labora- erogeneities at the regional scale), triggering instabili-
tory studies, such as the saltpool problem discussed ties in density stratified systems. This is particularly
earlier. The numerical compromise thus implied, typi- true for physically unstable situations (dense over light
cally involves damping and smoothing. In some codes mass fractions, hot below cold temperatures), but also
the user will not (or never) notice that this internally important in potentially stable situations (brine water
occurs: He solves the problem by changing the physics underneath freshwater). The mixing process along a
of the problem. Robustness is then obtained at the saltwater-freshwater interface can be significantly
expense of accuracy. Indeed, the preferable approach affected by the nonuniform velocities, which can pro-
would be to do any necessary changes in a deliberate duce instabilities at the local scale, resulting in a corru-
and educated manner. For instance, Voss232 recom- gated interface. At a large(r) scale this appears as an
mends an increase in the dispersivity in those locations additional smoothing (mixing) effect and is often inter-
where critical oscillation artefacts arise (this represents preted as enlarged mechanical dispersion for a stable
a localized streamline upwinding (1-113)), while toler- layering. As it is indeed impossible to resolve these
ating all wiggles that do not seriously affect the rest of local-scale effects in a regional model, the idea has
the simulated field, especially if the area of interest is been presented, to extend the phenomenological law of
sufficiently distant from the numerical instability. A mixing to a higher-order, non-Fickian law (1-9), in
perhaps extreme position (well-known in the commu- which the density effects are incorporated (Hassaniza-
nity of computational fluid mechanics) is taken by Gre- deh and Leijnse98 and Hassanizadeh92). The HC disper-
sho and Sani86 who oppose, in principle, any artificial sion coefficient ℑ H appears as an additional ’free’
damping measures: ’Don’t suppress the wiggles - dispersion parameter and it remains for future work to
they’re telling you something!’. There is, unfortunately, assess and quantify that relation for field applications.
no panacea, but the practitioner should be aware of the
necessary compromises involved, and use a given Interfacial instabilities in relation to contamination
method with due caution and ’healthy skepticism’. problems are another serious concern. A dense plume
in a less dense liquid creates complex patterns of fin-
Moreover, heterogeneity occurs in each geologic gering, which significantly enhances the plume mixing.
system, which is a general concern in subsurface mod- The fingers can become widespread and careful model-
eling. Particularly, transport phenomena in natural ing is needed to resolve them within a numerical
porous media are controlled by the spatial variations in framework. Schincariol et al.195,196 and Fan and
heterogeneous conductivity fields; for a broad discus- Kahawita62 have simulated this type of fingering insta-
cbcilt=ö=UT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
bilities in a tank experiment. They showed that small- progress in this field; however, various open questions
scale heterogeneities play an important role in control- remain and the modeling of density-dependent and
ling instability growth. Their simulations suggest that convective processes is a difficult and challenging task.
low-permeability lenses can effectively dampen insta-
bility growth or, in the case of only a weakly unstable Satisfactory agreements between the different solu-
plume, completely stabilize any perturbations. It is tion strategies and methods have been attained for
obvious that the characteristics of the permeability problems with small or moderate density effects (e.g.,
field must be incorporated in stability assessments for Henry, Elder, salt dome problem). Differences in the
natural and field-scale porous media. It is a topic of solutions are caused more by inconsistent boundary
future research to better describe the onset of instabili- conditions in the benchmarks than by the chosen
ties and their subsequent growth or decay in heteroge- numerical methods. It is now accepted that density-
neous media. Simmons et al.206 pointed out that the dependent problems require a certain degree of refine-
Rayleigh number should be questioned in their applica- ment in the numerical solutions. New solution tech-
tion at the field scale in heterogeneous porous media. niques (e.g. mixed hybrid FEM) that match the
Here, an average hydraulic property is not representa- previous findings on similar (or slightly coarser)
tive, and the choice of an appropriate non-dimensional meshes have been applied. Oswald’s saltpool
length scale d is rather problematic in practical cases. problem167 has provided a new platform for testing
three-dimensional density model codes. It has pushed
developments that finally led to improved techniques
NKT `êáíáÅ~ä= ^ëéÉÅíë= ~åÇ= `Ü~äJ of computing consistent velocities, such as in the form
äÉåÖÉë of the Frolkovic-Knabner algorithm72,131. Such tech-
niques are required to accurately model strong density
The role of numerical modeling in density-depen- contrasts in narrow transition zones.
dent problems is at least twofold. Modeling is a tool of
prediction and interpretation in real-site applications. From the physical point of view, there is a seeming
On the other hand, it is required to improve our under- contradiction between the saltpool observations for the
standing of the processes. Paradigmatic and laboratory dense case, and those which have been found for brine
problems are applied to study the convection phenom- displacement experiments in columns198. Johannsen et
ena in detail via numerical methods. The modeling is al.118 could fit the model predictions to the saltpool
based on a theoretical and conceptual idealization. Due measurements without resorting to a higher order non-
to the numerical approach, the solutions are approxi- Fickian dispersion model. For a good match they
mative and discretization errors inevitably occur. The changed parameters (porosity, transverse dispersivity,
consequences of those errors on the complexity of the permeability) within tolerable bounds. Further studies
solutions is often not sufficiently clear. Benchmark are needed to clarify the interrelation of parameter vari-
tests can provide assessments with respect to accuracy ability, which controls the mixing under density influ-
and reliability of numerical approaches. There is ences. Johannsen et al.118 have shown that three-
UU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKU=pìãã~êó
dimensional variable density problems require very alterations to the dispersion parameters, or spatial and
fine, structured meshes. Adaptive methods on fully temporal discretization can cause different types of
unstructured meshes could provide a more efficient instabilities to form. Schincariol et al.195 required the
alternative. They have yet to be examined for the salt- control of numerical perturbations by reducing (mini-
pool problem. An alternative strategy to overcome the mizing) numerical errors. This must lead to fine
difficulties and computational burden associated with meshes and small timesteps when using common
adaptive meshing in three (and two) dimensions is numerical approaches. The questions that arise natu-
found in meshless methods (see, Belytschko et al.19 for rally are what perturbation is no longer significant for a
an overview). Prax et al.181 have already shown the convection process, and what error in the numerical
applicability of meshless methods for two-dimensional scheme can be tolerated. Indeed, the danger in simulat-
free convection problems in porous media. ing such highly nonlinear convection problems has two
faces: A scheme which is only conditionally stable, but
The simulating of convection processes with high of higher accuracy, is prone to create nonphysical per-
Rayleigh numbers, i.e., distinctly above the second turbations due to small wiggles in the solutions, unless
critical limit Rac2 , is a challenging problem. The salt the element size and the timestep are sufficiently small.
lake problem belongs to that category. It has been On the other hand, a scheme which is unconditionally
claimed207 that the salt lake problem can be a very pow- stable, but possesses a lower accuracy, smooths out
erful new benchmark and that models being tested are physically-caused perturbations, unless the element
in good agreement with laboratory experiment. Being size and the timestep are sufficiently small. It seems
cautious, we do not fully agree. The simulated convec- that a high spatial and temporal resolution is unavoid-
tive patterns144,207 have, indeed, a certain similarity able if high-density convection processes are to be
with the experiment, but they depart distinctly from the modeled.
observations with respect to the finger number, extent
and behavior of the fingers. Mazzia et al.144 have
expressed their difficulties with the salt lake problem as NKU pìãã~êó
follows: ’... grid convergence cannot be considered
achieved, even if a very fine grid has been used. This Modeling of density-dependent flow and transport
behavior is mainly due to perturbations induced by the in porous media is of importance in a number of disci-
local truncation error that prompts the formation of plines, including groundwater hydrology, reservoir
fingers because of the highly unstable character of mechanics, underground nuclear engineering, geophys-
physical process. ... small perturbation of the initial ics, and material science. We have described its current
data cause large perturbations in the final solution.’ status with emphasis on both physical, and numerical
aspects. The modeling framework is based on a set of
Schincariol et al.195 observed in their density plume continuum balance equations, which has to be closed
problem that the perturbations created by propagation by phenomenological laws, EOS, and constitutive rela-
of numerical errors are virtually uncontrollable. Small tions. The set of governing equations describing den-
cbcilt=ö=UV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
VM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=^ÅâåçïäÉÇÖÉãÉåíë
have been understood and solved quite well. At the field modeling. However, adaptive and unstructured
same time, we note that the presence of non-unique sta- irregular geometries are prone to uncontrollable pertur-
tionary solutions, as stated in the Elder problem74, bations with consequences on the conditioning of the
causes obvious difficulties for mesh convergence stud- resulting matrix systems. Therefore, robust, efficient,
ies. As the central upwelling pattern is only one solu- and accurate solving strategies are required, particu-
tion of many (perhaps three), it cannot by itself be larly for three-dimensional applications.
considered as proof of correctness for a numerical solu-
tion of the Elder problem. Moreover, fingering experi-
ments at high Rayleigh numbers, such as the salt lake ^ÅâåçïäÉÇÖÉãÉåíë
problem, are fundamentally prone to a propagation of
instabilities triggered by small perturbations, which can The authors acknowledge C.P. Jackson (Serco Group,
be neither measured nor simulated. Mesh refinement UK) and three anonymous reviewers for their sugges-
and unstructured meshes can significantly perturb a tions and critical discussions of the work. We are grate-
solution, and we can find the paradox that finer meshes ful to S.M. Hassanizadeh (Delft University) for its
result in greater deviations from observations than constructive comments on the manuscript. HJGD
coarser discretizations, and that regular coarse meshes thanks P. Frolkovic (IWR Heidelberg) for his support
seem more accurate than fine irregular meshes. and useful discussions regarding consistent velocity
approximations. V. Clausnitzer (WASY Berlin) is
A particularly challenging problem is the descrip- thanked for providing his field-modeling results of the
tion of dense solute and heat transport in areas of heter- large sedimentary basin in Northern Germany. OK
ogeneity. The process of mixing across interfaces wishes to acknowledge his former PhD students from
subject to density effects remains to be studied in the Groundwater Modeling Group of the Institute of
greater detail. Microscopic models can contribute to Fluid Mechanics in Hannover, Germany, C. Thorenz,
validation and quantification of non-Fickian mecha- R. Kaiser, and A. Habbar, for providing material from
nisms in a continuum approach. Heterogeneity is a key their theses for this paper. The authors acknowledge J.
problem, particularly for fingering processes. Hetero- de Jonge for checking and improving the English
geneity plays an important role concerning a possible phrasing of the manuscript.
damping or amplification of perturbations through the
system. It has to be clarified, what level of schematiza-
tion is permissible, and what type of stability criterion oÉÑÉêÉåÅÉë
is representative for given heterogeneous conditions.
1. Ackerer P, Younes A, Mosé R. Modeling variable density flow
Large-scale density-variable simulations have an and solute transport in porous medium: 1. Numerical model and
inherent need for expensive numerical meshes. Adap- verification. Transport in Porous Media 1999;35(3):345-373.
tive techniques, unstructured meshes, and parallel pro- 2. Ackerer P, Younes A, Oswald SE, Kinzelbach W. On modeling
of density driven flow. In Stauffer et al., editors. Calibration and
cessing are most promising in the maturation of real-
cbcilt=ö=VN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
reliability in groundwater modeling, Proc. ModelCARE 99 15. Bear J, Tsang C-F, Marsily de G. (eds.) Flow and contaminant
Conf Zurich, IAHS Publ no 265;2000:377-384. transport in fractured rock. Academic Press, San Diego; 1993.
3. Aidun CK. Stability of convection rolls in porous media. In: 16. Beck, JL. Convection in a box of porous material saturated with
Bifurcation phenomena in thermal processes and convection. fluid. Phys Fluids 1972;15:1377-1383.
Amer Soc Mech Engrs ASME HTD 1987;94:31-36. 17. Beckie R, Wood EF, Aldama AA. Mixed finite element simula-
4. Aidun CK, Steen PH. Transition of oscillatory convective heat tion of saturated groundwater flow using a multigrid accelerated
transfer in a fluid-saturated porous medium. AIAA J Thermo- domain decomposition technique. Water Resour Res
phys Heat Transfer 1987;1:268-273. 1993;29(9):3145-3157.
5. Aliewi AS, Mackay R, Jayyousi A, Nasereddin K, Mushtaha A, 18. Bejan A. Convective heat transfer in porous media. New York:
Yaqubi A. Numerical simulation of the movement of saltwater J Wiley; 1984.
under skimming and scavenger pumping in the pleistocene 19. Belytschko T, Krongauz Y, Organ D, Fleming M, Krysl P.
aquifer of Gaza and Jericho areas, Palestine. Transport in Meshless methods: an overview and recent developments.
Porous Media 2001;43(1):195-212. Comput Meth Appl Mech Eng 1996;139:4-47.
6. Al-Lawatia M, Sharpley RC, Wang H. Second-order character- 20. Brandt A, Fernando HJS (eds.) Double-diffusive convection.
istic methods for advection-diffusion equations and compari- Geophysical Monograph 94, American Geophysical Union,
sons to other schemes. Adv Water Resour 1999;22(7):741-768. Washington DC; 1995.
7. Babuska I. Reliability of computational mechanics. In: White- 21. Brezzi F, Fortin M. Mixed and hybrid finite element methods.
man JR, editor. The mathematics of finite elements and applica- New York:Springer; 1991.
tions- Highlights 1993. Chichester: J Wiley; 1994;26-44. 22. Bués MA, Oltean C. Numerical simulations for saltwater intru-
8. Badon-Ghyben W. Nota in verband met de voorgenomen put- sion by the mixed hybrid finite element method and discontinu-
boring nabij Amsterdam (Notes on the probable results of well ous finite element method. Transport in Porous Media
drilling near Amsterdam). In: Tijdschrift van het Kononklijk 2000;40(2);171-200.
Instituut van Ingenieurs. The Hague 1888;9:8-22. 23. Caltagirone JP, Fabrie P. Natural convection in a porous
9. Baker AJ. Finite element method. In: Johnson RW, editor. The medium at high Rayleigh numbers. Part 1 - Darcy’s model. Eur
handbook of fluid dynamics, Chapter 28. CRC Press, Springer; J Mech B/Fluids 1989;8:207-227.
1998. 24. Caltagirone JP, Fabrie P, Combarnous M. De la convection
10. Bank RE, Sherman AH, Weiser A. Refinement algorithms and naturelle oscillante en milieu poreux au chaos temporel? CR
data structure for regular local mesh refinement. In: Steplemen Acad Sci Paris 1987;Ser II 305:549-553.
R at al. editors. Scientific computing. IMACS, North Holland; 25. Caltagirone JP, Meyer G, Mojtabi A. Structural thermoconvec-
1983. tives tridimensionnelles dans une couche poreuse horizontale. J
11. Barten W, Lücke M, Kamps M, Schmitz R. Convection in Mecan 1981;20:219-232.
binary fluid mixtures. I. Extended traveling-wave and stationary 26. Carabin G, Dassargues A. Modeling groundwater with ocean
states. Physical Review 1995;Part A 51(6):5636-5661. and river interaction. Water Resour Res 1999;35(8):2347-2358.
12. Bear J. Dynamics of fluids in porous media. New York: 27. Chavent G, Jaffe J. Mathematical models and finite elements for
McGraw-Hill; 1972. reservoir simulation. New York; North Holland; 1986.
13. Bear J. Conceptual and mathematical modeling. In: Bear J, 28. Cheng AHD, Quazar D. Analytical solutions. In: Bear J, Cheng
Cheng AHD, Sorek S, Quazar D, Herrera I, editors. Seawater AHD, Sorek S, Quazar D, Herrera I, editors. Seawater intrusion
intrusion in coastal aquifers. Dordrecht: Kluwer Publ; in coastal aquifers. Dordrecht: Kluwer Publ; 1999:163-191.
1999:127-161. 29. Cheng P. Heat transfer in geothermal systems. Adv Heat Trans-
14. Bear J, Bachmat Y. Introduction to modeling of transport phe- fer 1978;14:1-105.
nomena in porous media. Dordrecht: Kluwer Publ; 1991.
VO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=oÉÑÉêÉåÅÉë
30. Clausnitzer V, Bayer U, Fuhrmann J. Large-scale thermal-con- 44. Diersch, HJG. FEFLOW finite element subsurface flow and
vective instability in sedimentary basins. European Geophysical transport simulation system - User’s manual/Reference manual/
Soc; Geophysical Research Abstracts HS02-02: 2001. White papers. Release 5.0. WASY Ltd, Berlin; 2002.
31. Combarnous MA, Borries SA. Hydrothermal convection in sat- 45. Diersch, HJG. Discrete feature modeling of flow, mass and heat
urated porous media. Adv Hydroscience 1975;10:231-307. transport processes by using FEFLOW. White Papers Vol. I,
32. Combarnous MA, Le Fur B. Transfert de chaleur par convec- Chapter 9; WASY Ltd, Berlin; 2002:147-190.
tion naturelle dans une couche poreuse horizontale. CR Acad 46. Diersch, HJG. The Petrov-Galerkin least square method
Sci Paris 1969;269B:1009-1012. (PGLS). White Papers Vol. I, Chapter 13; WASY Ltd, Berlin;
33. Croucher AE, O’Sullivan MJ. The Henry problem for saltwater 2002:219-262.
intrusion. Water Resour Res 1995;31(7):1809-1814. 47. Diersch, HJG. Consistent velocity approximation in the finite-
34. Cushman JH. Dynamics of fluids in hierarchical porous media. element simulation of density-dependent mass and heat trans-
Academic Press, London; 1990. port. White Papers Vol. I, Chapter 16; WASY Ltd, Berlin;
35. Dagan G. Flow and transport in porous formations. New York; 2002:275-306.
Springer; 1989. 48. Diersch HJG, Kolditz O. On finite-element analysis of spatio-
36. Debéda V, Caltagirone JP, Watremez P. Local multigrid refine- temporal buoyancy-driven convection processes in porous
ment method for natural convection in fissured porous media. media. In: Kovar K, van der Heijde P. editors. Calibration and
Numer Heat Transfer 1995:PartB 28:455-467. reliability in groundwater modelling, (Proceedings of the
37. Desai CS, Contractor DN. Finite element analysis of flow, dif- ModelCARE 96 Conference held at Golden, Colorado, Septem-
fusion, and salt water intrusion in porous media. In: Bathe KJ et ber 25-27, 1996), IAHS Publ. no. 237:407-415
al. editors. Formulation and comp algorithms in finite element 49. Diersch HJG, Kolditz O. Coupled groundwater flow and trans-
analysis. MIT Cambridge, Massachusetts; 1977. port: 2. Thermohaline and 3D convection systems. Adv Water
38. Diersch HJ. Primitive variables finite element solutions of free Resour 1998;21:401-425.
convection flows in porous media. Zschr Angew Math Mech 50. Diersch HJG, Kolditz O, Jesse J. Finite element analysis of geo-
(ZAMM) 1981;61:325-337. thermal circulation processes in hot dry rock fractures. Zschr
39. Diersch HJ. Study of free convective flows in porous media and Angew Math Mech (ZAMM) 1989;69(3):139-153.
effects of mechanical dispersion using finite element methods. 51. Diersch HJ, Nillert P. Saltwater intrusion processes in ground-
Gerlands Beiträge zur Geophysik 90;1981:489-506. water: novel computer simulations, field studies and intercep-
40. Diersch HJ. On finite element upwinding and its numerical per- tion techniques. Int Symp on Groundwater Monitoring and
formance in simulating coupled convective transport processes. Management 1987, Dresden, IAHS Publ, no 173; 1990:319-
Zschr Angew Math Mech (ZAMM) 1983;63:479-488. 329.
41. Diersch HJ. Finite element modeling of recirculating density 52. Diersch HJG, Perrochet P. On the primary variable switching
driven saltwater intrusion processes in groundwater. Adv Water technique for simulating unsaturated-saturated flows. Adv
Resour 1988;11(1):25-43. Water Resour 1999;23:271-301.
42. Diersch HJG. A shock-capturing finite-element technique for 53. Diersch HJ, Prochnow D, Thiele M. Finite-element analysis of
unsaturated-saturated flow and transport problems, In: Burga- dispersion-affected saltwater upconing below a pumping well.
nos VN et al. editors. Computational Methods in Water Appl Math Modelling 1984;8:305-312.
Resources XII, Vol 1 Computational Methods in Contamination 54. Donea J. A Taylor-Galerkin method for convective transport
and Remediation of Water Resources, Southampton; Computa- problems. Int J Numer Meth Eng 1984;20:101-119.
tional Mechanics Publications; 1998: 207-214. 55. Duijn van CJ, Peletier LA, Schotting RJ. Brine transport in
43. Diersch HJG. Note to the opposing flow regime at mixed con- porous media: self-similar solutions. Adv Water Resour
vection around a heated cylinder in a porous medium. Transport 1998;22(3):285-297.
in Porous Media 2000;38(3):345-352.
cbcilt=ö=VP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
56. Duijn van CJ, Schotting RJ. Brine transport in porous media: on 71. Frind E. Simulation of long-term transient density-dependent
the use of Van Mises and similarity transformations. Computa- transport in groundwater. Adv Water Resour 1982;5:73-88.
tional Geosciences 1998;2:125-149. 72. Frolkovic P. Consistent velocity approximation for density
57. Durlowski LJ. Accuracy of mixed and control volume finite driven flow and transport. In: R. Van Keer et al. editors.
element approximations to Darcy velocity and related quanti- Advanced Computational Methods in Engineering, Part 2,
ties. Water Resour Res 1994;30(4):965-973. Maastrich; Shaker Publishing; 1998:603-611.
58. Elder JW. Steady free convection in a porous medium heated 73. Frolkovic P. d3f documentation - the discretization. In: User’s
from below. J Fluid Mech 1967;27:29-48. manual (compiled by E. Fein), Gesellschaft für Anlagen- und
59. Elder JW. Transient convection in a porous medium. J Fluid Reaktorsicherheit mbH, Braunschweig; 1998.
Mech 1967;27:609-623. 74. Frolkovic P, De Schepper H. Numerical modelling of convec-
60. Engelman MS, Strang G, Bathe KJ. The applications of quasi- tion dominated transport with density driven flow in porous
Newton methods in fluid mechanics. Inter J Numer Meth Eng media. Adv Water Resour 2001;24(1):63-72.
1981;17:707-718. 75. Gambolati G, Putti M, Paniconi C. Three-dimensional model of
61. Evans GE, Nunn JA. Free thermohaline convection in sedi- coupled density-dependent flow and miscible salt transport. In:
ments surrounding a salt column. J Geophys Res 1989;94:2707- Bear J, Cheng AHD, Sorek S, Quazar D, Herrera I, editors. Sea-
2716. water intrusion in coastal aquifers. Dordrecht: Kluwer Publ;
62. Fan Y, Kahawita R. A numerical study of variable density flow 1999:315-362.
and mixing in porous media. Water Resour Res 76. Galeati G, Gambolati G, Neumann SP. Coupled and partially
1994;30(10):2707-2716. coupled Eulerian-Lagrangian model of freshwater-seawater
63. Farthing MW, Miller CT. A comparison of high-resolution, mixing. Water Resour Res 1992;28:149-165.
finite-volume, adaptive-stencil schemes for simulating advec- 77. Gartling DK, Hickox CE. Numerical study of the applicability
tive-dispersive transport. Adv Water Resour 2001;24(1):29-48. of the Boussinesq approximation for a fluid-saturated porous
64. Faust CR, Mercer JW. Theoretical analysis of fluid flow and medium. Int J Numer Methods Fluids 1985;5:995-1013.
energy transport in hydrothermal systems. US Geological Sur- 78. Gebhart B, Jaluria Y, Mahajan RL, Sammakia B. Buoyancy-
vey Open-File Report 77-69; 1977. induced flows and transport. Washington: Hemisphere Publish-
65. Ferziger JH, Peric M. Computational methods for fluid dynam- ing Cor; 1988.
ics. Springer, Berlin; 1996. 79. George PL. Automatic mesh generation. Masson. J Wiley;
66. Finlayson BA. Numerical methods for problems with moving 1991.
fronts. Seattle; Ravenna Park Publ; 1992. 80. Georgiadis, JG, Catton I. Dispersion in cellular thermal convec-
67. Fletcher CAJ. Computational techniques for fluid dynamics. tion in porous layers. Int J Heat Mass Transfer 1988;31:1081-
Vol I and II. Berlin; Springer; 1988. 1091.
68. Fournier RO. Double-diffusive convection in geothermal sys- 81. Ghassemi F, Jakeman AJ, Jacobson G, Howard KWF. Simula-
tems: the Salton Sea, California, geothermal system as a likely tion of seawater intrusion with 2D and 3D models: Nauru island
candidate. Geothermics 1990;19(6):481-496. case study. Hydrogeology J 1996;4(3):4-22.
69. Franca A, Haghighi K. Adaptive finite element analysis of tran- 82. Goyeau B, Songbe J-P, Gobin D. Numerical study of double-
sient thermal problems. Numer Heat Transfer Part B diffusive convection in a porous cavity using the Darcy-Brink-
1994;26:273-292. man formulation. Int J Heat Mass Transfer 1996;39:1363-1378.
70. Franca A, Haghighi K. Error estimate and adaptivity in finite 83. Gray WG. Thermodynamics and constitutive theory for mul-
element analysis of convective heat transfer problems, Part I: tiphase porous-media flow considering internal geometric con-
Theoretical considerations. Numer Heat Transfer Part B straints. Adv Water Resour 1999;22(5):521-547.
1996;29:479-490, Part II: Calibration and applications. Numer
Heat Transfer Part B 1996;29:491-508.
VQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=oÉÑÉêÉåÅÉë
84. Gray WG, Leijnse A, Kolar RL, Blain CA. Mathematical tools 99. Henry HR. Effects of dispersion on salt encroachment in coastal
for changing spatial scales in the analysis of physical systems. aquifers. In: Sea water in coastal aquifers. US Geol Surv, Water
CRC Press, Boca Raton, Florida; 1993. Supply Pap 1964;1613-C:70-84.
85. Green T. Scales for double-diffusive fingering in porous media. 100. Helmig R. Multiphase flow and transport processes in the sub-
Water Resour Res 1984;20:1225-1229. surface. Berlin:Springer; 1997.
86. Gresho PM, Sani RL. Incompressible flow and the finite ele- 101. Herbert AW, Jackson CP, Lever DA. Coupled groundwater flow
ment method. J Wiley, Chichester; 1999. and solute transport with fluid density strongly dependent on
87. Griffiths RW. Layered double-diffusive convection in porous concentration. Water Resour Res 1988;24:1781-1795.
media. J Fluid Mech 1981;102:221-248. 102. Herzberg A. Die Wasserversorgung einiger Nordseebäder (The
88. Habbar A. Direkte und inverse geochemische Mehrkomponen- water supply of parts of the North Sea coast in Germany). Z
tenmodelle (direct and inverse geochemical multispecies mod- Gasbeleucht Wasserversorg 1901;44:815-819 and 1901;45:842-
els). in German. PhD thesis, Institute of Fluid Mechanics, 844.
University of Hannover, Germany, forthcoming; 2001. 103. Hickox GE, Gartling DK. A numerical study of natural convec-
89. Hansen U., Yuen DA. Formation of layered structures in dou- tion in a horizontal porous layer subjected to an end-to-end tem-
ble-diffusive convection as applied to the geosciences. In20: perature difference. J Heat Transfer 1981;103:797-802.
135-149. 104. Holst PH, Aziz K. Transient three-dimensional natural convec-
90. Hassanizadeh SM. Derivation of basic equations of mass trans- tion in confined porous media. Int J Heat Mass Transfer
port in porous media, Part 1. Macroscopic balance laws. Adv 1972;15:73-90.
Water Resour 1986:9:196-206. 105. Holstad A. Temperature-driven fluid flow in porous media
91. Hassanizadeh SM. Derivation of basic equations of mass trans- using a mixed finite element method and a finite volume
port in porous media, Part 2. Generalized Darcy’s and Fick’s method. Adv Water Resour 2001;24(8):843-862.
laws. Adv Water Resour 1986;9:207-222. 106. Holzbecher E. Modeling of saltwater upconing. In: Wang S,
92. Hassanizadeh SM. On the transient non-Fickian dispersion the- editor. II. Int Conf Hydro-Science and Hydro-Engin, Proc Vol 2,
ory. Transport in Porous Media 1996;23:107-124. Part A, Beijing 1995:858-865.
93. Hassanizadeh SM, Gray WG. General conservation equations 107. Holzbecher E. Modeling density-driven flow in porous media.
for multi-phase systems: 1. Averaging procedure. Adv Water Berlin: Springer; 1998.
Resour 1979;2(3):131-144. 108. Holzbecher E. Comments on ’Constant-concentration boundary
94. Hassanizadeh SM, Gray WG. General conservation equations condition: Lessons from the HYDROCOIN variable-density
for multi-phase systems: 2. Mass, momenta, energy, and groundwater benchmark problem’ by Konikow LF, Sanford
entropy equations. Adv Water Resour 1979;2(4):191-203. WE, Campbell PJ. Water Resour Res 1998;34(10):2775-2778.
95. Hassanizadeh SM, Gray WG. General conservation equations 109. Holzbecher E., Yusa Y. Numerical experiments on free and
for multi-phase systems: 3. Constitutive theory for porous forced convection in porous media. Int J Heat Mass Transfer
media flow. Adv. Water Resour 1980;3(1):25-40. 1995;11:2109-2115.
96. Hassanizadeh SM, Gray WG. Mechanics and thermodynamics 110. Horne RN. Three-dimensional natural convection in a confined
of multiphase flow in porous media including interface bound- porous medium heated from below. J Fluid Mech 1979;92:751-
aries. Adv Water Resour 1990;13:169-186. 766.
97. Hassanizadeh SM, Leijnse A. On the modeling of brine trans- 111. Horne RN, Caltagirone JP. On the evolution of thermal distur-
port in porous media. Water Resour Res 1988;24(3):321-330. bances during natural convection in a porous medium. J Fluid
98. Hassanizadeh SM, Leijnse A. A non-linear theory of high-con- Mech 1980;100:385-395.
centration-gradient dispersion in porous media. Adv Water 112. Horne RN, O’Sullivan MJ. Oscillatory convection in a porous
Resour 1995;4:203-215. medium heated from below. J Fluid Mech 1974;66:339-352.
cbcilt=ö=VR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
113. Horne RN, O’Sullivan MJ. Origin of oscillatory convection in a 127. Kolditz O, Habbar A, Kaiser R, Rother T, Thorenz C. ROCK-
porous medium heated from below. Phys Fluids 1978;21:1260- FLOW - theory and user’s manual. Release 3.6, Institute of
1264. Fluid Mechanics, University of Hannover, Germany; 2001.
114. Horton CW, Rogers, FT. Convective currents in a porous 128. Konikow LF, Reilly TE. Seawater intrusion in the United
medium. J. Appl Phys 1945;16:367-370. States. In: Bear J, Cheng AHD, Sorek S, Quazar D, Herrera I,
115. Huyakorn PS, Pinder GF. Computational methods in subsurface editors. Seawater intrusion in coastal aquifers. Dordrecht: Klu-
flow. Academic Press, San Diego; 1983. wer Publ; 1999:463-506.
116. Huyakorn PS, Taylor C. Finite element models for coupled 129. Konikow LF, Sanford WE, Campbell PJ. Constant-concentra-
groundwater flow and convective dispersion. In: Gray WG et tion boundary condition: Lessons from the HYDROCOIN vari-
al., editors. Proc. 1st Int Conf Finite Elements in Water Resour able-density groundwater benchmark problem. Water Resour
1976; Princeton Univ, Pentech Press, London:1.131-1.151. Res 1997;33(10):2253-2261.
117. Huyakorn PS, Anderson PF, Mercer JW, White Jr HO. Saltwa- 130. Kimura S, Schubert G, Straus JM. Instabilities of steady, peri-
ter intrusion in aquifers: development and testing of a three- odic and quasi-periodic modes of convection in porous media.
dimensional finite element model. Water Resour Res ASME J Heat Transfer 1987;109:350-355.
1987;23:293-312. 131. Knabner P, Frolkovic P. Consistent velocity approximation for
118. Johannsen K, Kinzelbach W, Oswald S, Wittum G. The saltpool finite volume or element discretizations of density driven flow
benchmark problem - numerical simulation of saltwater upcon- in porous media. In: Aldama AA et al, editors. Computational
ing in a porous medium. Adv Water Resour 2002;25(3):335- Methods in Water Resources XI, Vol 1 - Computational Meth-
348. ods in Subsurface Flow and Transport Problems, Southampton:
119. Johns RT, Rivera A. Comment on ’Dispersive transport dynam- Computational Mechanics Publications; 1996:93-100.
ics in a strongly coupled groundwater-brine flow system’ by 132. Kvernvold O, Tyvand PA. Nonlinear thermal convection in
Oldenburg CM, Pruess K. Water Resour Res 1996;32(11):3405- anisotropic porous media. J Fluid Mech 1979;90:609-624.
3410. 133. Kvernvold O, Tyvand PA. Dispersion effects on thermal con-
120. de Josselin de Jong G. Singularity distributions for the analysis vection in porous media. J Fluid Mech 1980;99:673-686.
of multiple-fluid flow through porous media. J Geophys Res 134. Kvernvold O, Tyvand PA. Dispersion effects on thermal con-
1960;65(11):3739-3758. vection in a Hele-Shaw cell. Int J Heat Mass Transfer
121. Kaiser R. Gitteradaption für gekoppelte Prozesse in klüftig- 1981;24:887-890.
porösen Medien. PhD thesis, No. 63, Institute of Fluid Mechan- 135. Lahm TD, Bair ES, VanderKwaak J. Role of salinity-derived
ics, University of Hannover, Germany; 2001. variable-density flow in the displacement of brine from a shal-
122. Katto Y, Masuoka T. Criterion for the onset of convective flow low, regionally extensive aquifer. Water Resour Res
in a fluid in a porous medium. Int J Heat Mass Transfer 1998;34(6):1469-1480.
1967;10:297-309. 136. Lapwood ER. Convection in a fluid in a porous medium. Proc
123. Kimura S, Schubert G, Straus JM. Route to chaos in porous- Cambridge Phil Soc 1948;44:508-521.
medium thermal convection. J Fluid Mech 1986;166:305-324. 137. Leijnse A. Three-dimensional modeling of coupled flow and
124. Kolditz O. Strömung, Stoff- und Wärmetransport im Kluftgest- transport in porous media. PhD thesis, University of Notre
ein (flow, contaminant and heat transport in fractured rock). in Dame, Indiana; 1992.
German. Gebr. Borntraeger, Berlin; 1997. 138. Leijnse A. Comparison of solution methods for coupled flow
125. Kolditz O. Computational methods in environmental fluid and transport in porous media. In: Peters A et al. editors. Com-
mechanics. Berlin; Springer: 2002. putational Methods in Water Resources X. Vol 1, Dordrecht;
126. Kolditz O, Ratke R, Diersch HJG, Zielke W. Coupled ground- Kluwer Acad Publ, 1994: 489-496.
water flow and transport: 1. Verification of variable-density 139. Leijnse A, Oostrom M. The onset of instabilities in the numeri-
flow and transport models. Adv Water Resour 1998;21:27-46. cal simulation of density-driven flow in porous media. In: Rus-
VS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=oÉÑÉêÉåÅÉë
sell TF et al. editors. Computational Methods in Water 154. Nield DA. The stability of convective flows in porous media.
Resources IX. Vol 2, Mathematical Modeling in Water In: Kakac S, Kilkis B, Kulacki FA, Arinc F, editors. Convective
Resources, London; Elsevier, 1992: 273-280. heat and mass transfer in porous media. Dordrecht: Kluwer
140. Lever DA, Jackson CP. On the equations for the flow of concen- Publ; 1990:79-122.
trated salt solution through a porous medium. UK DOE Report 155. Nield DA. Estimation of an effective Rayleigh number for con-
No DOE/RW/85.100; 1985. vection in a vertically inhomogeneous porous medium or clear
141. Löhner R. Applied computational fluid dynamics techniques. J fluid. Int J Heat Fluid Flow 1994;15:337-340.
Wiley, Chichester; 2001. 156. Nield DA. Some pitfalls in the modelling of convective flows in
142. Mackinnon RJ, Carey GF. Superconvergent derivatives: a Tay- porous media. Transport in Porous Media 2001;43(3):597-601.
lor series analysis. Int J Numer Methods Eng 1989;28:489-509. 157. Nield DA, Bejan A. Convection in porous media. New York:
143. Marsily de G. Quantitative hydrogeology. Academic Press; Springer; 2nd edition;1999.
1981. 158. Nishikawa T. Testing alternative conceptual models of seawater
144. Mazzia A, Bergamaschi L, Putti M. On the reliability of numer- intrusion in a coastal aquifer using computer simulation, south-
ical solutions of brine transport in groundwater: analysis of ern California, USA. Hydrogeology J 1997;5(3):60-74.
infiltration from a salt lake. Transport in Porous Media 159. Oden JT. Error estimation and control in computational fluid
2001;43(1):65-86. dynamics. In: Whiteman JR, editor. The mathematics of finite
145. McKibbin R, O’Sullivan MJ. Onset of convection in a layered elements and applications- Highlights 1993. Chichester: J
porous medium heated from below. J Fluid Mech 1980;96:375- Wiley; 1994:1-23.
393. 160. Oden JT, Bass JM, Huang CY, Berry CW. Recent results on
146. McKibbin R, O’Sullivan MJ. Heat transfer in layered porous smart algorithms and adaptive methods for two- and three-
medium heated from below. J Fluid Mech 1981;111:141-173. dimensional problems in computational fluid mechanics. Com-
147. McKibbin R, Tyvand PA. Anisotropic modelling of thermal put Structures 1990;35:381-396.
convection in multilayered porous media. J Fluid Mech 161. Oldenburg CM, Pruess K. Dispersive transport dynamics in a
1982;118:315-339. strongly coupled groundwater-brine flow system. Water Resour
148. McKibbin R, Tyvand PA. Thermal convection in a porous Res 1995;31:289-302.
medium composed of alternating thick and thin layers. Int J 162. Oldenburg CM, Pruess K. Layered thermohaline convection in
Heat Mass Transfer 1983;26:761-780. hypersaline geothermal systems. Transport in Porous Media
149. McKibbin R, Tyvand PA. Thermal convection in a porous 1998;33(1/2):29-63.
medium with horizontal tracks. Int J Heat Mass Transfer 163. Oldenburg CM, Pruess K, Travis BJ. Reply to: Comment on
1984;27:1007-1023. ’Dispersive transport dynamics in a strongly coupled ground-
150. Miller CT, Christakos G, Imhoff PT, McBride JF, Pedit JA, water-brine flow system’ by Johns RT, Rivera A. Water Resour
Trangenstein JA. Multiphase flow and transport modeling in Res 1996;32(11):3411-3412.
heterogeneous porous media: challenges and approaches. Adv 164. Oltean C, Bués MA. Coupled groundwater flow and transport in
Water Resour 1998;21(2):77-120. porous media. A conservative or non-conservative form? Trans-
151. Murray BT, Chen CF. Double-diffusive convection in a porous port in Porous Media 2001;44(2):219-246.
medium. J Fluid Mech 1989;201:147-166. 165. Onate E, Bugeda G. Mesh optimality criteria for adaptive finite
152. Neuman SP. A Eulerian-Lagrangian numerical scheme for the element computations. In: Whiteman JR, editor. The mathemat-
dispersion convection equation using conjugate space time ics of finite elements and applications- Highlights 1993. Chich-
grids. J Comput Phys 1981;41(2):270-291. ester: J Wiley; 1994:121-135.
153. Nield DA. Onset of thermohaline convection in a porous 166. Ophori DU. Flow of groundwater with variable density and vis-
medium. Water Resour Res 1968;11:553-560. cosity, Atikokan research area, Canada. Hydrogeology J
1998;6(2):193-203.
cbcilt=ö=VT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
167. Oswald SE. Dichteströmungen in porösen Medien: Dreidimen- 180. Prasad V, Kladias N. Non-Darcy natural convection in saturated
sionale Experimente und Modellierungen (Density driven flows porous media. In: Kakac S, Kilkis B, Kulacki FA, Arinc F, edi-
in porous media: three-dimensional experiments and modeling). tors. Convective heat and mass transfer in porous media. Dor-
Dissertation ETH Zurich, Switzerland; 1998. drecht: Kluwer Publ; 1990:173-224.
168. Oswald SE, Scheidegger MB, Kinzelbach W. A three-dimen- 181. Prax C, Sadat H, Salagnac P. Diffuse approximation method for
sional physical benchmark test for verification of variable-den- solving natural convection in porous media. Transport in Porous
sity flow models. Water Resour Res 2000; submitted. Media 1996;22(2):215-223.
169. Oude Essink GHP. Salt water intrusion in a three-dimensional 182. Putti M, Paniconi C. Picard and Newton linearization for the
groundwater system in the Netherlands: a numerical study. coupled model of saltwater intrusion in aquifer. Adv Water
Transport in Porous Media 2001;43(1):137-158. Resour 1995;18(3):159-170.
170. Palliser C, McKibbin R. A model for deep geothermal brines, I. 183. Raviart PA, Thomas JM. A mixed finite element method for the
T-p-X state-space description. Transport in Porous Media second order elliptic problems. In: Mathematical Aspects of the
1998;33(1/2):65-80. Finite Element Method, Lect Notes Math, New York: Springer;
171. Palliser C, McKibbin R. A model for deep geothermal brines, 1977:292-315.
II. thermodynamic property - density. Transport in Porous 184. Reddy JN, Gartling DK. The finite element method in heat
Media 1998;33(1/2):129-154. transfer and fluid dynamics. 2nd edition. CRC Press, Boca
172. Palliser C, McKibbin R. A model for deep geothermal brines, Raton; 2001.
III. thermodynamic properties - enthalpy and viscosity. Trans- 185. Reilly TE, Goodman AS. Quantitative analysis of saltwater-
port in Porous Media 1998;33(1/2):155-171. freshwater relationships in groundwater systems - A historical
173. Paniconi C, Khlaifi I, Lecca G, Giacomelli A, Tarhouni J. Mod- perspective. J Hydrology 1985;80:125-160.
eling and analysis of seawater intrusion in the coastal aquifer of 186. Reilly TE, Goodman AS. Analysis of saltwater upconing
Eastern Cap-Bon, Tunisia. Transport in Porous Media beneath a pumping well. J Hydrology 1987;89:169-204.
2001;43(1):3-28. 187. Riley DS, Winters KH. Modal exchange mechanisms in Lap-
174. Patankar SV, Karki KC, Kelkar KM. Finite volume method. In: wood convection. J Fluid Mech 1989;204:325-358.
Johnson RW, editor. The handbook of fluid dynamics, Chapter 188. Rubin H. Onset of thermohaline convection in a cavernous
27. CRC Press, Springer; 1998. aquifer. Water Resour Res 1976;12:141-147.
175. Perrochet P. A streamline-upwind-full-Galerkin method for 189. Rubin H, Roth C. On the growth of instabilities in groundwater
space-time convection dominated transport problems. Int J due to temperature and salinity gradients. Adv Water Resour
Num Meth Eng 1993;36:4165-4183. 1979;2:69-76.
176. Perrochet P, Azérad P. Space-time integrated least-squares: 190. Rubin H, Roth C. Thermohaline convection in flowing ground-
solving a pure advection equation with a pure diffusion opera- water. Adv Water Resour 1983;6:146-156.
tor. J Comput Phys 1995;117:183-193. 191. Sanford WE, Konikow LF. A two constituent solute transport
177. Perrochet P, Bérod D. Stability of the standard Crank-Nicolson- model for groundwater having variable density. US Geol Surv
Galerkin scheme applied to the diffusion-convection equation: Water Resour Invest 1985; 85-4279: 88 pp.
some new insights. Water Resour Res 1993;29(9)3291-3297. 192. Sarler B, Gobin D, Goyeau B, Perko J, Power H. Natural con-
178. Perrochet P, Tacher L. Mathematical modeling of hydro-thermal vection in porous media - dual reciprocity boundary element
processes in Mururoa Atoll. Research Report GEOLEP-EPFL- method solution of the Darcy model. Int J Numer Meth Fluids
DGC, Univ. Lausanne, Switzerland; 1997. 2000;33:279-312.
179. Pinder GF, Cooper HH. A numerical technique for calculating 193. Schincariol RA. Dispersive mixing dynamics of dense miscible
the transient position of the saltwater front. Water Resour Res plumes: natural perturbation initiation by local-scale heteroge-
1970;6(3):875-882. neities. J Contam Hydrol 1998;34:247-271.
VU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=oÉÑÉêÉåÅÉë
194. Schincariol RA, Schwartz FW. An experimental investigation 207. Simmons CT, Narayan KA, Wooding RA. On a test case for
of variable density flow and mixing in homogeneous and heter- density-dependent groundwater flow and solute transport mod-
ogeneous media. Water Resour Res 1990;26(10):2317-2329. els: the salt lake problem. Water Resour Res 1999;35(12):3607-
195. Schincariol RA, Schwartz FW, Mendoza CA. On the generation 3620.
of instabilities in variable density flow. Water Resour Res 208. Simmons CT, Pierini ML, Hutson JL. Laboratory investigation
1994;30(4):913-927. of variable-density flow and solute transport in unsaturated-sat-
196. Schincariol RA, Schwartz FW, Mendoza CA. Instabilities in urated porous media. Transport in Porous Media 2001; in press.
variable density flows: stability and sensitivity analyses for 209. Sorek S, Borisov V, Yakirevich A. A two-dimensional areal
homogeneous and heterogeneous media. Water Resour Res model for density dependent flow regime. Transport in Porous
1997;33(1):31-41. Media 2001;43(1):87-105.
197. Schneider KJ. Investigation on the influence of free thermal 210. Spena FR, Vacca A. A potential formulation of non-linear mod-
convection on heat transfer through granular material. Proc 11th els of flow through anisotropic porous media. Transport in
Int Cong of Refrigeration. Oxford: Pergamon Press; Paper 11- Porous Media 2001;45(3):407-423.
4,1963:247-253. 211. Strack ODL. Groundwater mechanics. Englewood; Prentice
198. Schotting RJ, Moser H, Hassanizadeh SM. High-concentration- Hall; 1989.
gradient dispersion in porous media: Experiments, analysis and 212. Straus JM. Large amplitude convection in porous media. J Fluid
approximations. Adv Water Resour 1999;22:665-680. Mech 1974;64:51-63.
199. Schubert G, Straus JM. Three-dimensional and multicellular 213. Straus JM, Schubert G. Three-dimensional convection in a
steady and unsteady convection in fluid-saturated porous media cubic box of fluid-saturated porous material. J Fluid Mech
at high Rayleigh numbers. J Fluid Mech 1979;94:25-38. 1979;91:155-165.
200. Schubert G, Straus JM. Transitions in time-dependent thermal 214. Straus JM, Schubert G. Modes of finite-amplitude three-dimen-
convection in fluid-saturated porous media. J Fluid Mech sional convection in rectangular boxes of fluid-saturated porous
1982;121:301-313. material. J Fluid Mech 1981;103:23-32.
201. Segol G. Classic groundwater simulations - Proving and 215. Taunton JW, Lightfoot EN, Green T. Thermohaline instability
improving numerical models. Englewood Cliffs; PTR Prentice and salt fingers in a porous medium. Phys Fluids 1972;15:748-
Hall; 1994. 753.
202. Segol G, Pinder GF. Transient simulation of saltwater intrusion 216. Taylor A, Hulme P, Hughes A, Foot S. Benchmarking of vari-
in southeastern Florida. Water Resour Res 1976;12(1):65-70. able model codes against Henry’s problem. First Intern Conf on
203. Segol G, Pinder GF, Gray WG. A Galerkin-finite element tech- saltwater intrusion in coastal aquifers - monitoring, modeling
nique for calculating the transient position of the saltwater and management. Essaouira, Marocco, April 23-25; 2001.
front. Water Resour Res 1975;11(2):343-347. 217. Thiele K. Adaptive finite volume discretization of density
204. Sherif MM. Nile delta aquifer in Egypt. In: Bear J, Cheng driven flows in porous media. PhD thesis, Institute of Applied
AHD, Sorek S, Quazar D, Herrera I, editors. Seawater intrusion Mathematics, University of Erlangen-Nürnberg, Germany;
in coastal aquifers. Dordrecht: Kluwer Publ; 1999:559-590. 1999.
205. Sherif MM, Hamza KI. Mitigation of seawater intrusion by 218. Thorenz C. Model adaptive simulation of multiphase and den-
pumping brackish water. Transport in Porous Media sity driven flow in fractured and porous media. PhD thesis, No.
2001;43(1):29-44. 62, Institute of Fluid Mechanics, University of Hannover, Ger-
206. Simmons CT, Fenstemaker TR, Sharp Jr JM. Variable-density many; 2001.
groundwater flow and solute transport in heterogeneous media: 219. Thorenz C, Kosakowski G, Kolditz O, Berkowitz B. An experi-
approaches, resolutions and future challenges. J Contam Hydrol mental and numerical investigation of saltwater movement in
2001; submitted. partially saturated systems. Water Resour Res 2001; submitted.
cbcilt=ö=VV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
220. Tien CL, Vafai K. Convective and radiative heat transfer in saltwater transition zone. Water Resour Res 1987;26:2097-
porous media. Adv Applied Mech 1990;27:225-281. 2106.
221. Trevisan OV, Bejan A. Natural convection with combined heat 234. Walker K, Homsy GM. A note on convective instabilities in
and mass transfer buoyancy effects in a porous medium. Int J Boussinesq fluids and porous media. ASME J Heat Transfer
Heat Mass Transfer 1985;28(8)1597-1611. 1977;99:338-339.
222. Turner JS. Buoyancy effects in fluids. Chapter 8, Cambridge 235. Watson SJ, Barry DA, Schotting RJ, Hassanizadeh SM. On the
Univ. Press, Cambridge; 1973. validity of Darcy’s law for stable high-concentration displace-
223. Turner JS. Laboratory models of double-diffusive processes. ments in granual porous media. Transport in Porous Media -
In20: 11-29. Special Issue 2002;47(2), forthcoming.
224. Tyvand PA. Thermohaline instability in anisotropic porous 236. Watson SJ, Barry DA, Schotting RJ, Hassanizadeh SM. Valida-
media. Water Resour Res 1980;16:325-330. tion of classical density-dependent solute transport theory for
225. Uchiyama Y, Nadaoka K, Rölke P, Adachi K, Yagi H. Subma- stable high-concentration-gradient brine displacements in
rine groundwater discharge into the sea and associated nutrient coarse and medium sands. Adv Water Resour 2002, forthcom-
transport in a sandy beach. Water Resour Res 2000;36(6):1467- ing.
1479. 237. Weatherill NP. Generalised mesh and adaptivity techniques for
226. Vadasz P. Local and global transitions to chaos and hysteresis in computational fluid dynamics. In: Onate E et al, editors. Finite
a porous layer heated from below. Transport in Porous Media elements in the 90’s. Barcelona: Springer/CIMNE; 1991:398-
1999;37(2):213-245. 409.
227. Vadasz P, Olek S. Weak turbulence and chaos for low Prandtl 238. Wiek J, Person M, Strayer L. A finite element method for simu-
number gravity driven convection in porous media. Transport in lating fault block motion and hydrothermal fluid flow within
Porous Media 1999;37(1):69-91. rifting basins. Water Resour Res 1995;31(12):3241-3258.
228. Vadasz P, Olek S. Computational recovery of the homoclinic 239. Whitaker S. The Forchheimer equation: a theoretical develop-
orbit in porous media convection. Int J Nonlinear Mech ment. Transport in Porous Media 1996;25(1):27-61.
1999;34:89-93. 240. Whitaker S. The method of volume averaging. Dordrecht: Klu-
229. Vadasz P, Olek S. Route to chaos for moderate Prandtl number wer Publ; 1999.
convection in a porous layer heated from below. Transport in 241. Wooding, RA. Steady state free thermal convection of liquid in
Porous Media 2000;41(2):211-239. a saturated permeable medium. J Fluid Mech 1957;2:273-285.
230. Volker RE, Rushton KR. An assessment of the importance of 242. Wooding RA, Tyler SW, White I. Convection in groundwater
some parameters for seawater intrusion and a comparison of below an evaporating salt lake, 1, Onset of instability. Water
dispersive and sharp-interface modeling approaches. J Hydrol Resour Res 1997;33(6):1199-1217.
1982;56:239-250. 243. Wooding RA, Tyler SW, White I, Anderson PA. Convection in
231. Voss CI. A finite-element simulation model for saturated-unsat- groundwater below an evaporating salt lake, 2, Evolution of fin-
urated fluid-density-dependent ground-water flow with energy gers or plumes. Water Resour Res 1997;33(6):1219-1228.
transport or chemically-reactive single-species solute transport. 244. Xue Y, Xie C, Wu J, Liu P, Wang J, Jiang Q. A three-dimen-
US Geol Surv, Water Resour Invest 1984; Rep 84-4369:409pp. sional miscible transport model for seawater intrusion in China.
232. Voss CI. USGS SUTRA Code - History, practical use, and Water Resour Res 1995;31(4):903-912.
application in Hawaii. In: Bear J, Cheng AHD, Sorek S, Quazar 245. Yeh GT. On the computation of Darcian velocity and mass bal-
D, Herrera I, editors. Seawater intrusion in coastal aquifers. ance in the finite element modelling of groundwater flow. Water
Dordrecht: Kluwer Publ; 1999:249-313. Resour Res 1981;17(5):1529-1534.
233. Voss CI, Souza WR. Variable density flow and solute transport 246. Younes A, Ackerer P, Mosé R. Modeling variable density flow
simulation of regional aquifers containing a narrow freshwater- and solute transport in porous medium: 2. Re-evaluation of the
NMM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
=oÉÑÉêÉåÅÉë
cbcilt=ö=NMN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë
NMO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
pìÄàÉÅí=fåÇÉñ
pìÄàÉÅí=fåÇÉñ Äìçó~åÅó=åìãÄÉê=OS
`
Å~éáää~êó=éêÉëëìêÉ=OM
Å~éêçÅâ=UR
^ ÅÜÉãáÅ~ä=éçíÉåíá~ä=NS
~ÅÅìê~Åó ÅÜÉãáÅ~ä=ëéÉÅáÉë=NO
åìãÉêáÅ~ä=QUÓRM ÅÜÉãáÅçJçëãçëáë=NR
^Ç~ãëJ_~ëÜÑçêíÜ=PP `ÜÉòó=OP
~Ç~éí~íáçå Åç~êëÉåáåÖ=QS
ÜJ=QS ÅçãéêÉëëáÄáäáíó=NT
ÜéJ=QS ëâÉäÉíçå=OM
éJ=QS ÅçåÇìÅíáîáíó
~Ç~éíáîÉ=ëíê~íÉÖáÉë=QQÓQT ÜóÇê~ìäáÅ=OS
~åçã~äó ÅçåÑçêã~ä=ãÉëÜÉë=QS
íÜÉêã~ä=NT ÅçåëÉêî~íáçå
~JéçëíÉêáçêá=Éêêçê=Éëíáã~íÉë=QQ ÉåÉêÖó=OO
~êíáÑ~Åí=QN ä~ï=ëóëíÉã=PM
~ìíçã~íáÅ=íáãÉ=ëíÉééáåÖ=PP ã~ëë=OO
_ ãçãÉåíìã=OO
Ä~Åâï~êÇ=ÇáÑÑÉêÉåÅÉ=PP ÅçåëáëíÉåÅó=PVI=QO
Ä~ä~åÅÉ=ä~ïë=NOÓNQ êÉèìáêÉãÉåí=QM
Ä~ä~åÅáåÖ=íÉåëçê=ÇáÑÑìëáîáíó=QV ÅçåëáëíÉåí=îÉäçÅáíó=PVÓ\\
_É~êJpÅÜÉáÇÉÖÖÉê=ÇáëéÉêëáçå=NQ ÅçåëíáíìíáîÉ=êÉä~íáçåë=NUÓOMI=OO
_¨å~êÇ=ÅçåîÉÅíáçå=OU Åçåíáåììã=~ééêç~ÅÜ=NO
ÄÉåÅÜã~êâ=RN ÅçåîÉÅíáçå
éÜóëáÅ~ä=RN ÅÉääìä~ê=OU
ÄÉåÅÜã~êâáåÖ=RMÓUQ ÑêÉÉ=OU
ÄáÑìêÅ~íáçå=NRI=OV åçåJa~êÅó=OP
ÄçìåÇ~êó=ÅçåÇáíáçåë=PM çåëÉí=OV
ÄçìåÇÉÇåÉëë=QU çëÅáää~íçêó=OV
_çìëëáåÉëè=~ééêçñáã~íáçå=OT o~óäÉáÖÜJ_¨å~êÇ=V
ÉñíÉåÇÉÇ=OU íÜÉêãçÜ~äáåÉ=OQ
ÄêáåÉ=TM íê~åëáÉåí=OV
ÅççäÉÇ=OS ÅçåîÉêÖÉåÅÉ
ÇÉÉé=äçÅ~íáçå=UR ÅêáíÉêáçå=PQ
ÜáÖÜJÅçåÅÉåíê~íÉÇ=NQ ê~Çáìë=PR
ÜáÖÜJÅçåÅÉåíê~íáçå=OT ÅçìéäÉÇ=ëçäìíáçå=PR
Üçí=OP `çìê~åí=åìãÄÉê=QU
_êáåâã~å=ÉÑÑÉÅíë=OP `çìê~åíJcêáÉÇêáÅÜëJiÉïó=ÅçåÇáíáçå=QU
cbcilt=ö=NMP
pìÄàÉÅí=fåÇÉñ
`ê~åâJkáÅçäëçå=ëÅÜÉãÉ=PPI=QU ÉåÉêÖó=NS
ÅêçëëJÅçìéäáåÖ=ÉÑÑÉÅíë=NR ~ëëìãéíáçåë=ON
ÅêçëëJÉÑÑÉÅíë=NR Ä~ä~åÅÉ=NP
a ÅçåëÉêî~íáçå=OO
a~êÅó=NUI=NV ÉåíÜ~äéó=NSI=NUI=NV
åçåJ=OP Éåíêçéó=NS
a~êÅóJ_êáåâã~åJcçêÅÜÜÉáãÉê=OP Éèì~íáçåë=çÑ=ëí~íÉ=NRÓNU
ÇÉÅçìéäÉÇ=ëçäìíáçå=PR ÉèìáäáÄêáìã
ÇÉåëáíó=NS ÅçåÇáíáçå=QN
ÇÉåëáíóJÇêáîÉå=Ñäçï=U åçåJ=NQ
ÇÉêáî~íáîÉë=PT éêÉëëìêÉ=NQ
ëìéÉêÅçåîÉêÖÉåí=PT íÜÉêã~ä=ON
ÇÉîá~íçêáÅ=ëíêÉëë=NQ ÉëëÉåíá~ääóJåçåJçëÅáää~íçêó=ãÉíÜçÇ=QV
ÇáÑÑìëáîÉ=êÉÖáãÉ=OQ bìäÉê=PP
ÇáëéÉêëáçå Éñé~åëáçå
_É~êJpÅÜÉáÇÉÖÖÉê=NQ ëçäìí~ä=NT
ÜáÖÜJÅçåÅÉåíê~íáçå=NQ íÜÉêã~ä=NT
ÜóÇêçÇóå~ãáÅ=NQ î~êá~ÄäÉ=íÜÉêã~ä=NT
ãÉÅÜ~åáÅ~ä=NQ c
åçåJcáÅâá~å=OPI=TM ÑáåÖÉê=êÉÖáãÉ=OQ
åçåäáåÉ~ê=PU ÑáåáíÉ=ÉäÉãÉåí=ãÉíÜçÇ=PN
åçåéÜóëáÅ~ä=RM ~Ç~éíáîÉ=QQ
ÇáëéÉêëáîáíó d~äÉêâáå=QV
äçåÖáíìÇáå~ä=NQ ãáñÉÇ=PU
åìãÉêáÅ~ä=QV ãáñÉÇ=ÜóÄêáÇ=PU
íê~åëîÉêëÉ=NQ mÉíêçîJd~äÉêâáå=QV
ÇçìÄäÉJÇáÑÑìëáîÉ=ÅçåîÉÅíáçå=OQÓOT q~óäçêJd~äÉêâáå=QV
Çê~Ö ÑáåáíÉ=îçäìãÉ=ãÉíÜçÇ=PN
áåíÉêÑ~Åá~ä=NU ÑáëëìêÉÇ=ã~íÉêá~ä=OP
äáåÉ~ê=NU Ñäçï
èì~Çê~íáÅ=NU ÅÜ~ååÉä=OP
aìÑçìê=ÉÑÑÉÅí=NR e~ÖÉåJmçáëÉìáääÉ=OP
Çóå~ãáÅ=îáëÅçëáíó=NU íÜÉêãçÜ~äáåÉ=OQ
b ÑäìáÇ=îáëÅçëáíó=NR
bäÇÉê=éêçÄäÉã=RSÓSQ Ñäìñ
ë~äáåÉ=RS ~ÇîÉÅíáîÉ=PN
ëÜçêíJÜÉ~íÉê=RS a~êÅó=NUI=PV
íÜÉêãçÜ~äáåÉ=SO ÇáëéÉêëáîÉ=PN
íÜêÉÉJÇáãÉåëáçå~ä=SP Ñáäíê~íáçå=NU
NMQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
pìÄàÉÅí=fåÇÉñ
cçìêáÉê=NR g
ÜáÖÜÉêJçêÇÉê=~ÅÅìê~Åó=QR g~ÅçÄá~å=PQI=QP
ã~ëë=NR
i
åçå~ÇîÉÅíáîÉ=NPI=NQ
ä~êÖÉJëÅ~äÉ=~ééäáÅ~íáçåë=UQÓUU
åçåJcáÅâá~å=PU
ä~ï
ÑäìñJÅçêêÉÅíÉÇJíê~åëéçêí=QV
a~êÅó=PV
cçêÅÜÜÉáãÉê=NVI=OP
cáÅâá~å=PV
Ñçêï~êÇ=ÇáÑÑÉêÉåÅÉ=PP
cçìêáÉê=PV
Ñê~Åíáçå
e~ÖÉåJmçáëÉìáääÉ=UR
ã~ëë=NP
kÉïíçåÛë=îáëÅçëáíó=NQ
îçäìãÉ=NPI=NU
åçåJa~êÅó=OP
Ñê~ÅíìêÉë=OPI=UR
åçåJcáÅâá~å=TM
cêçäâçîáÅJhå~ÄåÉê=~äÖçêáíÜã=QPI=TU
éÜÉåçãÉåçäçÖáÅ~ä=NQI=NQÓNR
d äÉ~ëíJëèì~êÉ=PN
d~äÉêâáå=PN iÉïáë=åìãÄÉê=OS
d~ìëëá~å=éçáåíë=PT
j
e j~ååáåÖJpíêáÅâäÉê=OP
e~ÖÉåJmçáëÉìáääÉ=Ñäçï=OP ã~ëë=Ä~ä~åÅÉ=NP
Ü~åÖáåÖ=åçÇÉë=QS ã~ëë=Ñäìñ
ÜÉ~í=Å~é~Åáíó=NRI=NSI=NU cáÅâá~å=NQ
eÉäÉJpÜ~ï=ÅÉää=RNI=RSI=TN åçåJcáÅâá~å=NQ
eÉåêó=éêçÄäÉã=RQÓRR ã~íêáñ=Éèì~íáçå=PP
ÜáÖÜ=ÅçåÅÉåíê~íáçå=Ñäçï=SVÓTM ãÉíÜçÇ=çÑ=ÅÜ~ê~ÅíÉêáëíáÅë=QV
ÜáÖÜJÅçåÅÉåíê~íáçå=ÄêáåÉ=OT ãáñÉÇ=êÉÖáãÉ=OQ
ÜáÖÜJéêÉëëìêÉ=OP ãçäÉÅìä~ê=ÇáÑÑìëáçå=NQ
eçêíçåJoçÖÉêëJi~éïççÇ=éêçÄäÉã=OUÓOV ãçãÉåíìã
Üçí=Çêó=êçÅâë=UR ~ëëìãéíáçåë=ON
ÜóÇê~ìäáÅ=ÅçåÇìÅíáîáíó=OS ÅçåëÉêî~íáçå=NPI=OO
ÜóÇê~ìäáÅ=ê~Çáìë=OP ÉñÅÜ~åÖÉ=NPI=NU
evaol`lfk=éêçàÉÅí=SR ÉñíÉêå~ä=ÉñÅÜ~åÖÉ=OP
ÜóÇêçÇóå~ãáÅ=ÇáëéÉêëáçå=NQ
k
ÜóÇêçëí~íáÅ=ÅçåÇáíáçå=PV
kÉïíçå=ãÉíÜçÇ=PQI=PS
ÜóÇêçëí~íáÅ=íÉëí=RNÓRP
çåÉJëíÉé=PS
f é~êíá~ä=PT
áåáíá~äJî~äìÉ=é~êíá~ä=ÇáÑÑÉêÉåíá~ä=Éèì~íáçåë=PM kÉïíçåJmáÅ~êÇ=PS
áåëí~ÄáäáíáÉë=OR kÉïíçåJo~éÜëçå=PQ
áåíÉêÑ~Åá~ä=Çê~Ö=NU åçåJ_çìëëáåÉëè=ÉÑÑÉÅíë=OT
cbcilt=ö=NMR
pìÄàÉÅí=fåÇÉñ
l êÉÅçîÉêó=íÉÅÜåáèìÉ=QR
lÄÉêÄÉÅâJ_çìëëáåÉëè=~ééêçñáã~íáçå=OTÓOU êÉÑáåÉãÉåí=QS
çéíáã~äáíó=ÅêáíÉêáçå=QS ~Ç~éíáîÉ=ãÉëÜ=QS
êÉÇJÖêÉÉå=QS
m
êÉéêÉëÉåí~íáîÉ=ÉäÉãÉåí~êó=îçäìãÉ=NO
mÉÅäÉí=åìãÄÉê=QV
êÉëáÇì~ä=PP
éÉêãÉ~Äáäáíó=NV
êççíJãÉ~å=ëèì~êÉ=PQ
áåíêáåëáÅ=OM
êÉä~íáîÉ=OM p
mÉíêçîJd~äÉêâáå=PN ë~äáåáíó=RO
éÜ~ëÉ ë~äí=ÇçãÉ=OS
ÑäìáÇ=NV ë~äí=ÇçãÉ=éêçÄäÉã=SRÓSU
Ö~ë=NPI=OM íÜÉêãçÜ~äáåÉ=SU
äáèìáÇ=NP ë~äí=ÑáåÖÉêë=TN
ëçäáÇ=NPI=NV ë~äí=ä~âÉ=éêçÄäÉã=TNÓTT
ëí~Öå~åí=Ö~ë=ON ë~äíéççä=éêçÄäÉã=TTÓUN
éÜ~ëÉë=NO ë~íìê~íáçå=OMI=UO
máÅ~êÇ=ãÉíÜçÇ=PQI=PS ÑäìáÇ=OM
éçêçëáíó=OM ëÉäÑJÇá~Öåçëáë=éêçéÉêíó=QU
éçêçìë=ãÉÇá~=NO ëÉãáJÇáëÅêÉíáò~íáçå=PO
ÜÉíÉêçÖÉåÉçìë=OS ëÜçÅâ=Å~éíìêáåÖ=QV
ä~óÉêÉÇ=OS ëãççíÜáåÖ=PTI=QOI=QRI=RO
ìåë~íìê~íÉÇ=OS pçêÉí=ÉÑÑÉÅí=NR
éêÉÇáÅíçêJÅçêêÉÅíçê=ãÉíÜçÇ=PP ëí~Äáäáíó
éêÉëëìêÉ=NS åìãÉêáÅ~ä=QUÓRM
Å~éáää~êó=OM ëí~ÖÖÉêÉÇ=áíÉê~íáçå=PR
éêçàÉÅíáçå ëí~áêÅ~ëÉ=OS
ÖäçÄ~ä=PT ëíÉ~ãJï~íÉê=Ñäçï=NV
äçÅ~ä=PTI=RO píçâÉë=~ëëìãéíáçå=NQ
ëíê~áåJê~íÉ=NR
n
ëíêÉ~ãäáåÉJìéïáåÇ=QV
èì~ëáJkÉïíçå=~ééêçñáã~íáçå=PR
ëìÄÅêáíáÅ~ä=êÉÖáãÉ=ORI=OS
èì~ëáJéÉêáçÇáÅ=êÉÖáãÉ=PM
ëìéÉêÅêáíáÅ~ä=êÉÖáãÉ=OR
o ëìêÑ~ÅÉ=ÑêáÅíáçå=OP
o~óäÉáÖÜ=åìãÄÉê=OS ëïÉéíJÑçêï~êÇ=ëçäìíáçå=SR
ÅêáíáÅ~ä=OUI=OV q
ÜáÖÜ=OV
q~óäçêJd~äÉêâáå=QV
ëçäìí~ä=OS
íÉãéÉê~íìêÉ=NR
íÜÉêã~ä=OS
íÜÉêã~ä=ÅçåÇìÅíáîáíó=NU
êÉÅáêÅìä~íáçå=ëçäìíáçå=SR
íÜÉêãçÇáëéÉêëáçå=NR
NMS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
pìÄàÉÅí=fåÇÉñ
ÜóÇêçÇóå~ãáÅ=NR
ãÉÅÜ~åáÅ~ä=NR
pÅÜÉáÇÉÖÖÉêJ_É~ê=NR
íÜÉêãçÇóå~ãáÅ=î~êá~ÄäÉ=NS
íÜÉêãçÜ~äáåÉ=Ñäçï=OQ
íáãÉ=ëíÉééáåÖ
~ìíçã~íáÅ=PP
ëÅÜÉãÉë=PP
íçêíìçëáíó=NQ
íçí~äJî~êá~íáçåJÇáãáåáëÜáåÖ=ãÉíÜçÇ=QV
íê~åëéçêí
~ÇîÉÅíáîÉ=Ñçêã=OP
ÅçåîÉÅíáîÉ=Ñçêã=OP
ÇáîÉêÖÉåí=Ñçêã=OO
íê~éÉòçáÇ=êìäÉ=PP
íêìåÅ~íáçå=Éêêçêë=RM
qìêåÉê=åìãÄÉê=OS
r
ìéïáåÇ=QVI=RMI=TQI=UT
Ç~åÖÉê=RM
mÉíêçîJd~äÉêâáå=QV
ëíêÉ~ãäáåÉ=QV
s
î~äáÇ~íáçå=RN
î~êá~Ääó=ë~íìê~íÉÇ=Ñäçï=ÅÉää=UOÓUQ
îÉêáÑáÅ~íáçå=RN
îáëÅçëáíó
ÑäìáÇ=NR
îáëÅçìë=ëíêÉëë=NP
t
ïÉáÖÜíÉÇJáåíÉÖê~ä=Ñçêãìä~íáçå=PN
ïáÖÖäÉë=QU
cbcilt=ö=NMT
pìÄàÉÅí=fåÇÉñ
NMU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
^ìíÜçê=fåÇÉñ
^ìíÜçê=fåÇÉñ aÉë~á=RQ
aáÉêëÅÜ=NMI=PTI=PUI=RSI=RVI=SMI=SOI=SPI=SQI=SUI=TUI=TV
aìáàå=NNI=UM
b
^ bäÇÉê=VI=RSI=RTI=VN
^ÅâÉêÉê=PUI=RTI=RVI=TU c
^áÇìå=V c~ÄêáÉ=OV
^äJi~ï~íá~=RM c~å=UT
_ c~êÄáÉ=V
_~ÅÜã~í=NO c~ìëí=NV
_~ÇçåJdÜóÄÉå=NM cÉêòáÖÉê=RM
_~åâ=QS cêáåÇ=NMI=RQ
_~êíÉå=NR cêçäâçîáÅ=NNI=PVI=QPI=QQI=RUI=RVI=SMI=UU
_É~ê=NMI=NO d
_ÉÅâ=VI=OV d~äÉ~íá=NMI=PUI=RQ
_Éà~å=VI=NMI=OU d~ãÄçä~íá=NM
_ÉäóíëÅÜâç=UV d~êíäáåÖ=OU
_çêêáÉë=V dÉÄÜ~êí=V
_êççâë=OM dÉçêÖá~Çáë=NM
_ì¨ë=NMI=NNI=PUI=RQI=RTI=RV dççÇã~å=NM
_ìÖÉÇ~=QS dçóÉ~ì=NM
` dê~ó=NO
`~äí~ÖáêçåÉ=VI=OVI=PMI=VM dêÉÉå=NM
`~ííçå=NM dêÉëÜç=PNI=UT
`ÜÉå=NM dêáÑÑáíÜë=NM
`ÜÉåÖ=VI=NM e
`ä~ìëåáíòÉê=UR e~åëÉå=OR
`çäÉã~å=NQ e~ëë~åáò~ÇÉÜ=NNI=NOI=UT
`çãÄ~êåçìë=V eÉåêó=NMI=RQ
`çåíê~Åíçê=RQ eÉêÄÉêí=NMI=PRI=PTI=PUI=PVI=SRI=SS
`ççéÉê=NMI=RQ eÉêòÄÉêÖ=NM
`çêÉó=OM eáÅâçñ=OU
`êçìÅÜÉê=RQ eçäëí~Ç=PU
`ìëÜã~å=NO eçäòÄÉÅÜÉê=VI=NMI=SR
a eçãëó=NM
a~Ö~å=UT eçêåÉ=VI=OVI=PMI=VM
ÇÉ=gçëëÉäáå=ÇÉ=gçåÖ=V eçêíçå=VI=OU
aÉ=pÅÜÉééÉê=NNI=RUI=RVI=SM eìó~âçêå=NMI=PT
cbcilt=ö=NMV
^ìíÜçê=fåÇÉñ
g läíÉ~å=NMI=NNI=PUI=RQI=RTI=RV
g~Åâëçå=NV lå~íÉ=QS
gçÜ~ååëÉå=NNI=TUI=TVI=UMI=UU lçëíêçã=PM
gçÜåë=NMI=SRI=SS lëï~äÇ=NNI=RNI=TTI=TUI=TVI=UMI=UU
h m
h~Ü~ïáí~=UT m~ääáëÉê=OQ
h~áëÉê=RRI=SO m~åáÅçåá=NM
h~ííç=NM mÉêêçÅÜÉí=NT
háãìê~=V máåÇÉê=NMI=PTI=RQ
hä~Çá~ë=NMI=OP mê~ë~Ç=NMI=OP
hå~ÄåÉê=PVI=QPI=UU mê~ñ=UV
hçäÇáíò=NMI=OUI=PUI=QRI=RRI=RTI=RUI=RVI=SOI=SPI=SQI=SRI=STI mêìÉëë=NMI=PRI=RQI=RTI=RVI=SRI=SS
SU mìííá=NM
hçåáâçï=NMI=SR n
hîÉêåîçäÇ=VI=NM nì~ò~ê=NM
i o
i~éïççÇ=VI=OU oÉáääó=NM
iÉ=cìê=V oáäÉó=PM
iÉáàåëÉ=NNI=PMI=PVI=QNI=SRI=UT oáîÉê~=NMI=SRI=SS
iÉîÉê=NV oçÖÉêë=VI=OU
i∏ÜåÉê=QS oçíÜ=NM
j oìÄáå=NM
j~êëáäó=NT oìëÜíçå=NM
j~ëìçâ~=NM p
j~òòá~=PUI=RTI=RVI=TQI=UV p~åá=PNI=UT
jÅháÄÄáå=NMI=OQ pÅÜáåÅ~êáçä=OSI=UTI=UV
jÉêÅÉê=NV pÅÜåÉáÇÉê=V
jìêê~ó=NM pÅÜçííáåÖ=NNI=SVI=TM
k pÅÜìÄÉêí=V
kÉìã~å=RM pÅÜï~êíò=RN
káÉäÇ=VI=NMI=OPI=OTI=OU pÉÖçä=NMI=PTI=RQ
káääÉêí=NM páããçåë=OSI=RNI=TNI=TQI=UTI=UU
kçää=NQ pçìò~=NMI=PVI=QNI=RNI=RQI=RSI=RTI=RV
píÉÉå=V
l
píê~ìë=VI=OV
lDpìääáî~å=RQ
lÛpìääáî~å=VI=NMI=OV q
läÇÉåÄìêÖ=NMI=PRI=RQI=RTI=RVI=SRI=SS q~ÅÜÉê=NT
läÉâ=PM q~ìåíçå=NM
NNM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
^ìíÜçê=fåÇÉñ
q~óäçê=NMI=PTI=RN
qÜáÉäÉ=TU
qÜçêÉåò=RNI=RRI=SOI=UOI=UQ
qáÉå=V
qêÉîáë~å=NM
qìêåÉê=OR
qóî~åÇ=NM
s
s~Ç~ëò=PM
s~Ñ~á=V
î~å=dÉåìÅÜíÉå=OM
sçäâÉê=NM
sçëë=NMI=PVI=QNI=RNI=RQI=RSI=RTI=RVI=TQI=UT
t
t~äâÉê=NM
tÜáí~âÉê=NOI=OP
táåíÉêë=PM
tççÇáåÖ=VI=TNI=TPI=TQ
v
vÉÜ=PU
vçìåÉë=NMI=SRI=SS
vìÉå=OR
w
wÜì=QRI=QS
wáÉåâáÉïáÅò=QRI=QS
cbcilt=ö=NNN
^ìíÜçê=fåÇÉñ
NNO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff