You are on page 1of 112

aefJt^pv=pçÑíï~êÉ

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

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=KR éçëëáÄäÉ=ëçäìíáçåë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= QN


NKN= fåíêçÇìÅíáçå=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=KU NKQKQ= cìääó=~Ç~éíáîÉ=ëíê~íÉÖáÉëK=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K= QQ
NKO= cìåÇ~ãÉåí~äë 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=KNO NKQKR= oÉã~êâë=çå=åìãÉêáÅ~ä=ëí~Äáäáíó=~åÇ=~ÅÅìê~Åó K=K=K=K= QU
NKOKN= `çåíáåììã=~ééêç~ÅÜ=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KNO NKR= _ÉåÅÜã~êâáåÖ 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= RM
NKOKO= _~ä~åÅÉ=ä~ïë 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=KNO NKRKN= eóÇêçëí~íáÅ=íÉëí=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= RN
NKOKP= mÜÉåçãÉåçäçÖáÅ~ä=ä~ïëK=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KNQ NKRKO= eÉåêó=éêçÄäÉã =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= RQ
NKOKQ= bèì~íáçåë=çÑ=ëí~íÉ=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KNR NKRKP= bäÇÉê=éêçÄäÉã =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= RS
NKOKR= `çåëíáíìíáîÉ=Éèì~íáçåë =K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KNU NKRKPKN= bäÇÉêÛë=ëÜçêíJÜÉ~íÉê=éêçÄäÉã=~åÇ=áíë=ë~äáåÉ=~å~äçÖìÉ =
NKOKS= `çãéäÉíÉ=Éèì~íáçåë=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KOM =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= RS
NKP= `çåîÉÅíáçå=mÜÉåçãÉå~ =K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KOQ NKRKPKO= mêÉîáçìë=~åÇ=êÉÅÉåí=ëíìÇáÉëI=~åÇ=ëçãÉ=ëìêéêáëÉëK=K= RT
NKPKN= açìÄäÉJÇáÑÑìëáîÉ=EíÜÉêãçÜ~äáåÉF=ÅçåîÉÅíáçå =K=K=K=K=KOQ NKRKPKP= qÜÉêãçÜ~äáåÉ=bäÇÉê=éêçÄäÉã=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K= SO
NKPKO= lÄÉêÄÉÅâJ_çìëëáåÉëè=El_F=~ééêçñáã~íáçå=~åÇ=áíë=ÉñJ NKRKPKQ= qÜêÉÉJÇáãÉåëáçå~ä=bäÇÉê=éêçÄäÉã =K=K=K=K=K=K=K=K=K=K=K=K= SP
íÉåëáçå=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=KOT NKRKQ= p~äí=ÇçãÉ=éêçÄäÉã =K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K= SR
NKPKP= pí~Äáäáíó=~å~äóëáë=çÑ=íÜÉ=eçêíçåJoçÖÉêëJi~éïççÇ= NKRKQKN= oÉÅáêÅìä~íáçå=îÉêëìë=ëïÉéíJÑçêï~êÇ=ëçäìíáçåë=K=K=K=K= SR
EeoiF=éêçÄäÉã =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=KOU NKRKQKO= qÜÉêãçÜ~äáåÉ=ë~äí=ÇçãÉ=éêçÄäÉã =K=K=K=K=K=K=K=K=K=K=K=K= SU
NKPKQ= lëÅáää~íçêó=ÅçåîÉÅíáçå=~åÇ=ÄáÑìêÅ~íáçå =K=K=K=K=K=K=K=K=KOV NKRKR= eáÖÜ=ÅçåÅÉåíê~íáçå=Ñäçï=íÜêçìÖÜ=~=Åçäìãå K=K=K=K=K= SV
NKQ= kìãÉêáÅ~ä=^ééêç~ÅÜ K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KPM NKRKS= p~äí=ä~âÉ=éêçÄäÉã 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= TN
NKQKN= cáåáíÉ=ÉäÉãÉåíë=~åÇ=ÑáåáíÉ=îçäìãÉë =K=K=K=K=K=K=K=K=K=K=K=KPM NKRKT= p~äíéççä=éêçÄäÉã 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= TT
NKQKO= píê~íÉÖáÉë=Ñçê=ëçäîáåÖ=íÜÉ=ÅçìéäÉÇ=ëé~íáçJíÉãéçê~ä= NKRKU= s~êá~Ääó=ë~íìê~íÉÇ=Ñäçï=ÅÉää =K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K= UO
ÅçåîÉÅíáçå=éêçÅÉëëÉë =K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=KPO NKS= cáÉäÇJêÉä~íÉÇ=i~êÖÉJëÅ~äÉ=^ééäáÅ~íáçåëK=K=K=K=K=K=K=K=K=K= UQ
NKQKP= `çåëáëíÉåí=îÉäçÅáíó=~ééêçñáã~íáçå =K=K=K=K=K=K=K=K=K=K=K=KPV NKT= `êáíáÅ~ä=^ëéÉÅíë=~åÇ=`Ü~ääÉåÖÉë=K=K=K=K=K=K=K=K=K=K=K=K=K=K= UU
NKQKPKN= qÜÉ=ÜóÇêçëí~íáÅ=ÅçåÇáíáçåW=qÜÉ=êÉèìáêÉãÉåí=çÑ=ÅçåëáëJ NKU= pìãã~êó 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= UV
íÉåÅó =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=KPV NKU= ^ÅâåçïäÉÇÖÉãÉåíë K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K=K= VN
NKQKPKO= qÜÉ=~êíáÑ~ÅíW=péìêáçìë=åçåÅçåëáëíÉåí=îÉäçÅáíáÉë=~åÇ= NKU= oÉÑÉêÉåÅÉë 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= VN

pìÄàÉÅí=fåÇÉñ =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 NMP

^ìíÜçê=fåÇÉñ 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 NMV

cbcilt=ö=ááá
`çåíÉåíë

áî=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
s~êá~ÄäÉJÇÉåëáíó= Ñäçï= ~åÇ= íê~åëéçêí= áå= éçêçìë
ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

H.-J. G. Dierscha & O. Kolditzb


N
a
WASY Institute for Water Resources Planning and Systems Research, Berlin, Germany
b
University of Tübingen, Center of Applied Geosciences, Germany

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

Abbreviations NKN fåíêçÇìÅíáçå


AB/TR Adams-Bashforth/trapezoid rule In continuum fluid mechanics a fluid (or a fluid
scheme; phase) is considered as an effectively continuous
AMR adaptive mesh refinement; medium with a density ρ (fluid mass per unit volume
BE backward Euler; of fluid) as a fundamental bulk property. The density of
BTD balancing tensor diffusivity; a fluid is often not uniform. In general, the fluid is
CFL Courant-Friedrichs-Lewy condition; composed of N miscible chemical species with a partial
DBF Darcy-Brinkman-Forchheimer flow density ρ k (mass of the constituent k per unit volume
N

model; of fluid), so that for the mixture ρ = ∑ ρ k . Moreover,


k

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åíêçÇìÅíáçå

ogy, geophysics, reservoir mechanics, underground


nuclear engineering and material science, where there Excellent reviews of prior work have been pre-
is a presence of a permeable solid (usually assumed to sented by Combarnous and Borries31, Cheng29, Bejan18,
be deformable), which is the porous medium. Typical Gebhart et al.78, Tien and Vafai220, Nield and Bejan157
applications include concentrated brine transport of and Holzbecher107. Most of the earlier (pre-1960)
pollutants or radionuclides released from a repository investigations were motivated by an interest in geo-
in a rock salt formation, saltwater intrusion in exploited physical and geothermal phenomena. As subsequent
coastal aquifers, infiltration of leachates from landfills studies covered an increasing range of subjects, the
and industrial waste disposals, design of geothermal importance of numerical analysis soon became obvious
energy extraction systems, large-scale convection in with the application of the various numerical tech-
deep geothermal areas, convection in snow layers, per- niques (finite differences, Galerkin technique, spectral
mafrost or magma chambers, diagenetic processes in method, boundary element method, multigrid tech-
sedimentary basins, drying process technologies, and nique, finite elements, finite volumes, e.g.104,212,36,
many others. 103,192). Among the vast work we want to highlight the

following basic studies: The stability of two-dimen-


Density-dependent flow processes in porous media sional convection rolls in a porous medium heated
have received the attention of many researchers during from below was studied by Straus212, who showed that
the last 30 years, although, the pioneering work in this at a given Rayleigh number less than 380, there is only
field is even older. Horton and Rogers114, and indepen- a limited band of wave numbers in form of a balloon-
dently Lapwood136 first addressed the porous-medium shaped closed curve for which convective rolls are sta-
analog of the Rayleigh-Bénard convection with regard ble. Oscillatory convective currents in two dimensions
to thermal instability in a saturated porous layer of infi- were first reported by Combarnous and Le Fur32, Horne
nite horizontal extent. Wooding241 extended these stud- and O’Sullivan112,113 and simulated by Horne and
ies, and Schneider197 and Elder58 performed laboratory Caltagirone111 and Schubert and Straus200 in a square
experiments with Hele-Shaw cells. De Josselin de cavity. Oscillatory convections in three-dimensional
Jong120 developed the vortex theory for density-driven porous boxes were studied by Horne110, Schubert and
flows in saturated porous media. While the first numer- Straus199, Straus and Schubert213,214 and Caltagirone et
ical computations of two-dimensional convection pro- al.25. The variation of the critical Rayleigh number
cesses in porous media were given by Wooding241 (characterizing the onset of convection) and corre-
using an iterative relaxation method, Elder58,59 was the sponding preferred cellular modes were analyzed by
first to fully compute the multicellular thermal convec- Beck16 for an enclosed three-dimensional porous
tion currents in two-dimensional porous layers for both medium. Numerical computations of cellular convec-
steady-state and transient situations using a finite-dif- tion at high Rayleigh numbers were performed by
ference method. Since then, the number of papers on Aidun3, Aidun and Steen4, Kimura et al.123,130, Caltagi-
the subject of variable-density flow processes in porous rone et al.24 and Caltagirone and Farbie23. Effects of
media has been growing at an ever increasing rate. anisotropy and heterogeneity were studied by Kvern-

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

with the identities where E is the internal (thermal) energy, v = v is the


magnitude of v , j e is a nonadvective energy flux com-
α α prising dispersive and conductive components, and H e
∑ε = 1 ∑ ωk = 1
represents the energy source term comprising internal
α k
(1-3) and external energy supply.
α α
∑ jk = 0 ∑ Rk = 0
k k We have the following set of balance equations: (i)
For each species k there is one mass balance equation
and the definition (1-1). (ii) For each phase α there are D momentum
equations, one mass conservation equation (1-2) and
α α one energy equation, where D = 1, 2, 3 is the dimen-
∑ Qk = Q (1-4)
sion of the problem. Accordingly, N + ( 2 + D )M bal-
k
ance equations are available for which suitable primary
physical independent variables have to be designated,
The macroscopic momentum conservation for each α α α
such as ω k , v , E . Additionally, there are quantities
phase α is α α α α α
appearing in the equations, e.g., j k , σ , F , j e , ρ , that
must be expressed by phenomenological laws, equa-

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

and the Dufour effect, in which the energy (heat) flux


where μ is the dynamic fluid viscosity. α
j e is additionally caused by a concentration gradient
α
α ∇ω k
The energy flux vector j e is usually expressed by a
linear Fourier heat flux, given in a generalized form by α α α α α α
j e = – Λ ⋅ ∇T – ρ Λ d ⋅ ∇ω k (1-16)
α α α
je = – Λ ⋅ ∇T (1-13)
The Soret coupling D λ between temperature and con-
centration can be positive or negative. Bifurcation
with the tensor of hydrodynamic thermodispersion Λ
behavior appears for a negative Soret coupling as
defined by
found by Barten et al.11 analyzing pure fluid mixtures.
While Dufour cross-coupling effects are often negligi-
α α α α
Λ = ε ( Λc + Λm ) ⎫ ble for liquids, this is not necessarily the case for gas

α α ⎪ flows.
Λc = λ I ⎬ (1-14)

Λm
α α α α
= c ρ Dm ⎪ Another example for cross-coupling effects is the

modeling of chemico-osmosis phenomena, in which
pressure and external body forces (gravity or electro-
α
where T is the temperature, Λ c is the conductive part magnetic fields) can affect the mass flux j k as thor-
of the thermodispersion tensor, λ is the heat conductiv- oughly discussed in .
97

ity, Λ m is the mechanical part of the thermodispersion


tensor, and c is a heat capacity. Note that the mechani-
cal thermodispersion Λ m is described by the Scheideg- NKOKQ bèì~íáçåë=çÑ=ëí~íÉ
ger-Bear relationship (1-8).
Equations of state (EOS) represent fundamental
In the phenomenological laws stated above, the thermodynamic relationships between volume, concen-
fluxes are driven by their corresponding extensive tration, and temperature. EOS arise for the internal
quantities (mass, momentum, heat gradients). How- α α
energy E and the density ρ .
ever, cross-effects sometimes occur in which other
extensive quantities may also contribute to the fluxes14. α
The internal energy E is a state function of
It is exemplified by the Soret (thermodiffusion) effect, α α α
entropy S , specific volume υ = 1 ⁄ ρ , and concen-
α
in which the mass flux j k is additionally influenced by α
tration ω :

cbcilt=ö=NR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

α α α α α α α effects are important it is convenient to introduce the


dE = T dS – p dυ + ∑ μ k dω k (1-17)
enthalpy in form of
k
α
α α α α α p
where the following thermodynamic variables appear he = E + p υ = E + -----α- (1-21)
ρ

α ∂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

The relation (1-19) is used in a general case to express


α
the internal energy E in the energy balance statement
(1-6). Practically, if both pressure and temperature

NS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKO=cìåÇ~ãÉåí~äë

water) can also play a role (Fig. 1.1).


α α α
α ∂ρ α ∂ρ α ∂ρ α
dρ = --------α- dp + ---------α- dω k + --------α- dT (1-24)
∂p α α ∂ω k ∂T α α Significant discrepancies can then arise from the
ωk , T α
p ,T
α p , ωk

linear approach in both magnitude and slope. For tem-


⎛ 1 ∂ρ α⎞ α α ⎛ 1 ∂ρ α ⎞ α α ⎛ 1 ∂ρ α⎞ α α peratures within the range from 0 to 100 °C , the ther-
= ⎜ -----α- --------α-⎟ ρ dp + ⎜ -----α- ---------α-⎟ ρ dω k + ⎜ -----α- --------α-⎟ ρ dT
⎝ ρ ∂p ⎠ ⎝ ρ ∂ω k ⎠ ⎝ ρ ∂T ⎠ mal expansion coefficient of freshwater
l l l l









( ω 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 .

The EOS for the fluid density (1-24) is often lin-


early approximated in the form

α α α α α α
ρ = ρ 0 [ 1 + γ ( p – p 0 ) + α ( ω k – ω k0 ) (1-26)
α α
– β(T – T0 ) ]

and commonly γ , α and β are considered constant157.


While for most practical applications this assumption is
valid for compressibility γ and solutal expansion α , a
constant thermal expansion coefficient β may become
inappropriate for geothermal applications where a
larger temperature range has to be considered and ther-
α
mal anomalies in ρ (such as the 4°C anomaly for

cbcilt=ö=NT
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

with ρ 0 corresponding to ω k0 , p 0 and T 0 , where


1000 b, c, d, e, f, g are new coefficients listed in44,178. As a
consequence of the nonlinear (variable) expansion
α α α
function (1-27) the term 1 ⁄ ρ ∂ ρ ⁄ ∂T in (1-24) is not
longer constant because we find
990
α
α ∂β ( T ) α
β ( T ) + ----------------- - ( T – T α0 )
α α
1 ∂--------
ρ- ∂T
------
α α
= – --------------------------------------------------------------------------------------------------------------------
α α α α α α α
- (1-28)
ρ ∂T 1 + γ ( p – p 0 ) + α ( ω k – ω k0 ) – β ( T ) ( T – T 0 )
980

ρ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 )⎠

where k is a permeability tensor and ℑ F is a Forchhe- ships are given in107,166.


imer coefficient. In (1-29) the linear part is the Darcy
α
term, while the quadratic drag is known as the Forch- If the enthalpy h e is to be used as the primary vari-
heimer term. Generalizations of the quadratic drag for able, appropriate constitutive functions are required.
α
anisotropic conditions can be found in210. For the solid Typically, h e is considered a function of pressure
s α α α α
phase, the drag term F must be equal to the negative h e = h e ( p ) , while the temperature T is considered a
α
of the sum of F ’s in (1-29) if neglecting fluid-fluid function of both, enthalpy and pressure:
α α α α
momentum interactions. T = T ( h e , p ) . Such a description can be useful for
geothermal steam-water two-phase flow systems where
α
The dynamic viscosity of a fluid phase μ appear- phase transitions occur (e.g., Faust and Mercer64), but
ing in (1-11) and (1-29) is typically regarded as a func- the enthalpy-pressure formulation is not satisfactory
α
tion of concentration ω k and temperature, viz., for more complex (e.g., multispecies) transport situa-
tions and formulations in pressure, temperature and sat-
α α α α
μ = μ ( ωk , T ) (1-31) uration are today preferred for simulating
nonisothermal multiphase systems100. Mostly, and par-
ticularly in one-phase energy transport the pressure
Combining the high-concentration dependency as α
effects are negligible, and the temperature T can be
given by Lever and Jackson140 with an empirical tem-
directly used as the primary variable in the energy bal-
perature dependency over a range of
α ance equation (1-6) with (1-22a). Here the heat capac-
T = 0°C to 300°C , the following relationship holds α
ity c (1-20) is a parameter which is practically
as proposed in44
constant in a temperature regime below 100 °C . How-
α
α ever, for large temperatures the heat capacity c
μ0 1 + 0.7063ς – 0.04832ς -
3 α
becomes temperature-dependent c = c ( T ) .
α α 107
------ = ---------------------------------------------------------------------- (1-32)
α 2 3
μ 1 + 1.85ω k – 4.1ω k + 44.5ω k
α
α Thermal conductivities λ appearing in (1-14) can
T – 150 α
ς = --------------------- °C ωk = ωk often be considered as constant material parameters. In
100 α
a high-temperature regime, however, λ can also
become dependent on temperature for fluid phases107.
where μ 0 is a reference viscosity at ω k = 0 , α
The volume fraction ε appears as a geometry-
T = 150°C ( ς = 0 ) . It is easy to relate (1-32) to arbi-
dependent variable resulting from the volume averag-
trary reference values T 0, ω k0 by expanding α
ing process over a REV. It is convenient to express ε
for fluid phases α = l, g and one solid phase α = s in

cbcilt=ö=NV
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

a porous medium as porous medium has consequences on other variables


too. Particularly, the interfacial momentum exchange
l l g g s l g
ε = εs ε = εs ε = 1–ε (1-33) terms in (1-29) depend on the fluid saturations s , s .
with This is expressed by postulating a saturation-depen-
α
dency in the intrinsic permeability k in the following
l g l g form:
s +s = 1 0≤s ≤1 0≤s ≤1 (1-34)
α α α α α
k = k ( s ) = k r ( s )k (1-38)
where ε is the porosity, s is a saturation referring to α
0< kr ≤1 α = l, g
liquid (l) and gas (g) phases. Assuming that the liquid
phase is the wetting phase, the relationship between the
quantity of a wetting liquid (l) and a nonwetting gas (g) where k r is a relative permeability and k is the fluid-
in the void space ε is recorded by the macroscopic independent permeability tensor of the porous medium,
capillary pressure p c , defined as which is anisotropic in general. Various empirical rela-
α α α
tionships for k r = k r ( s ) exist for two- and three-
g l fluid-phase systems, the Brooks-Corey and van Genu-
pc = p – p (1-35)
chten relations being the most common12,14,150.
for which constitutive relationships are required, e.g., In changing the porosity ε (1-33) of a porous
l l g l g
medium, the compression work of the solid skeleton
p c = p c ( s , T , T , ω k, ω k ) (1-36) (deformation) is to be taken into account, while con-
centration and temperature effects are considered negli-
Commonly, the capillary pressure p c is considered to gible. Thus,
be dependent on the wetted liquid phase (l) only, viz.,
α
ε = ε( p )
g l l (1-39)
pc = p – p = pc ( s ) (1-37) ∂ε α 1 ∂ε s α
dε = --------α- dp = ⎛⎝ ----s --------α-⎞⎠ ε dp = ϒ ( 1 – ε )dp
α

∂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ìåÇ~ãÉåí~äë

processes in porous media the above balance laws with l ∂ρ


l
1 ∂ε
l
l ∂s l l
εs -------- + ρ s ⎛ -----------⎞ ----- + ρ ε ------- + ∇ ⋅ ( ρ q ) = Q (1-44)
l l l
their phenomenological and constitutive relations are ∂t ⎝ 1 – ε⎠ ∂t ∂t
further simplified. Most important are restrictions in
the number of phases α and related simplifications.
The major assumptions are listed as follows: A liquid phase l (e.g., water) and a gas phase g (e.g.,
Phase assumptions: The solid phase s is assumed air) coexist in the void space, where the gas phase is
deformable, but solid grains are incompressible. Insert- considered stagnant. This is the basis of unsaturated-
ing (1-30) into (1-2) and using the definition (1-33) the saturated density-dependent flow and transport pro-
mass conservation equation for the liquid phase l reads cesses. For the sake of simplicity we can drop all phase
superscripts because the only dynamic phase is the liq-
l l uid phase. Note that geothermal flows can represent
l ∂ρ l l ∂ε l ∂s l l
εs -------- + ρ s ----- + ρ ε ------- + ∇ ⋅ ( ρ q ) (1-40) true multiphase systems (e.g., steam-water two-phase
∂t ∂t ∂t
flow), for which the assumption of a stagnant gas phase
l l s l
+ ∇ ⋅ ( εs ρ v ) = Q is not appropriate.
Momentum assumptions: The inertial terms in the
momentum balance are neglected by assuming slow
Assuming very slowly deformable media and slightly
movements in the porous medium. Compression and
compressible fluids the approximation holds14
deformation work may be excluded in the momentum
l l s l l s
balance.
∇ ⋅ ( εs ρ v ) ≈ εs ρ ( ∇ ⋅ v ) (1-41) Energy assumptions: Kinetic energy effects in the
energy balance are negligible. Furthermore, local ther-
s mal equilibrium is assumed between all phases, viz.,
The expression ∇ ⋅ v is obtained from the solid mass
balance (1-2) for ( α = s ) :
α
(T – T) = 0 for α = s, l, g (1-45)
s
∂ [ ( 1 – ε )ρ ]- s s
----------------------------- + ∇ ⋅ [ ( 1 – ε )ρ v ] = 0 (1-42)
∂t which enables the introduction of the system tempera-
ture T . Additionally, for the gas phase g the thermal
s
where Q ≡ 0 is assumed. For incompressible solid capacity and conductivity can be neglected with
grains, equation (1-42) becomes14 respect to the solid and liquid phases.

1 ∂ε In using these major assumptions the following bal-


∇ ⋅ v ≈ ⎛ -----------⎞ -----
s
(1-43)
⎝ 1 – ε⎠ ∂t ance equations result for the liquid phase (phase indica-
tors will be omitted in the following to keep the
With (1-43) and (1-41) the mass conservation of the notation simple):
liquid phase (1-40) results in the following form

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 μ

∂ εsρω energy conservation


( k ) + ∇ ⋅ ( ρqω k ) + ∇ ⋅ j k = R k + Q k (1-47a)
∂t
∂ εsρc l s s l
∂ω k [( + ( 1 – ε )ρ c )T ] + ∇ ⋅ ( ρc qT ) (1-50a)
εsρ --------- + ρq ⋅ ∇ω k + ∇ ⋅ j k = R k + Q k – Qω k (1-47b) ∂t
∂t + ∇ ⋅ je = He

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ìåÇ~ãÉåí~äë

are transformed into the convective (or advective) –2 ⎧ r = b ⁄ 2, a = 3 plane


forms (1-47b) and (1-50b) by inserting (1-46). Due to F f = – aμr v with ⎨ (1-54)
⎩ r = R ⁄ 2, a = 2 axisymmetry
the relation (1-22a) the temperature T appears as the
explicit variable for the convective form of the energy
where r is the hydraulic radius, b is an aperture, and R
equation (1-50b). The divergent form (1-50a) can only
is a radius of a tube. Channel flow can be modeled by a
be derived explicitly for T as the primary variable if
α quadratic friction approach according to
we assume temperature-independent heat capacities c
according to (1-22b). The momentum balance in form
ρg - ⎧ τ = C, ϑ = 1 Chezy
of (1-49) is a general non-Darcy law involving nonlin- F f = – ----------
2 ϑ
v v with ⎨
τ r ⎩ τ = M, ϑ = 4 ⁄ 3 Manning-Strickler
ear Forchheimer and linear viscous Brinkman effects,
(1-55)
termed as Darcy-Brinkman-Forchheimer (DBF) flow
model. There are situations where Forchheimer and
Brinkman effects can be important125,157,180. Tradition- where different friction laws can be useful, e.g., the
ally, however, they are neglected, which leads to the Chezy or the Manning-Strickler approaches ( C is the
well-known Darcy equation in the form Chezy, and M the Manning friction coefficient). Using
(1-54) and (1-55) Darcy-type and Forchheimer-type
kr k equations similar to (1-52) and (1-49), respectively, can
q = – -------- ⋅ ( ∇p – ρg ) (1-52) be found resulting in a mathematically unified handling
μ
of both porous and fracture flow conditions.
The assumption that the linear Darcy law (1-52) holds
REMARK 2: The viscosity μ related to the Brinkman
in case of high-concentration brine transport, while the
term is only approximately equal to the viscosity used
nonlinear (non-Fickian) dispersion law (1-9) is
in the Darcy drag term in (1-48) or (1-49). However,
required, is shown in Watson et al.235,236.
their relations are generally dependent on the porosity
ε , as described by Prasad and Kladias180 for non-Darcy
REMARK 1: There is an analogy in the resulting
convection problems. A rigorous theoretical develop-
momentum equations (1-48) derived for flows in frac-
ment of the Forchheimer equations has been presented
tures, and in fissured materials, e.g.15,45,124. Neglecting
by Whitaker239. Misleading definitions of the Forchhe-
inertial terms and averaging the momentum law over
imer constant in (1-29) have been pointed out by
the fracture, where an external momentum exchange at
Nield156.
the external (top and bottom) surfaces appears, it is

0 = – ∇p + ρg + F f (1-53) REMARK 3: The EOS and constitutive equations


introduced above describe correlations for density ρ ,
enthalpy h e , and viscosity μ , which are applicable for
where F f is a surface friction (viscous shear) term. A temperatures of water below its critical value, i.e.,
linear expression can be derived for a laminar Hagen- T ≤ 374.15 °C . For flow modeling of deep geothermal
Poiseuille flow of linear nature as
cbcilt=ö=OP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

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.

A striking feature of DDC is that instabilities can


+ =
arise even when the total density is increasing down-
wards. A class of DDC phenomena is of particular ρ1 ρ2 ρ
practical interest in the subsurface: the so-called ther-
mohaline flows where the stratifying properties are heat
and salt (one component ω = ω k for k = 1). Here, heat Figure 1.2 Two density components ρ 1 and ρ 2 (with dif-
ferent diffusivities D 1 ≠ D 2 ) and total density ρ as a func-
is associated with the larger diffusivity value.
tion of depth (modifiedfrom Turner223).

The most surprising and often counter-intuitive fea-


OQ=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKP=`çåîÉÅíáçå=mÜÉåçãÉå~

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

From a dimensional analysis of the governing bal- Lewis number Le


ance equations (1-46) to (1-50b), the following charac-
teristic numbers can be derived for the Darcy flow to Dλ
Le = ------- (1-57)
characterize the convection processes: Ds

Rayleigh number Ra: Buoyancy or Turner number B


Δρk r kgd
Ra = --------------------- (1-56a) Ra s α Δω
μD B = --------------- = ----------- (1-58)
LeRa t β ΔT

where Δρ is a density difference, k is the permeability,


d is a characteristic length (height), and D is the diffu-
Applications of thermohaline flow in porous media
sivity as defined below. Assuming a linear equation of can be found in the field of geothermics or waste dis-
state for ρ (i.e., no variable density expansion, posal in salt formations68,61,162. Thermohaline effects
β = const. ), and neglecting pressure effects ( γ = 0 ),
are important, in particular, for the production of min-
the following definitions of the Rayleigh number for eralized thermal water, the re-injection of cooled brine
solutes and thermal energy are useful: into warm deep aquifer layers as part of geothermal
extraction technologies, and groundwater movement
solutal Rayleigh number Ras near salt domes.

α ΔωKd DDC in the subcritical regime can lead to layering


Ra s = ------------------- with Ds = D (1-56b) from an initially unlayered state. Such a phenomenon,
Ds
also known as a staircase pattern, mainly depends on
the Turner number B. Figure 1.4 illustrates a thermoha-
thermal Rayleigh number Rat line flow situation in a square, two-dimensional porous
cavity for a case with Rat = 400 , B = 2 and Le = 100
β ΔTKd l
Ra t = ------------------ with D λ = Λ ⁄ ( ρc ) (1-56c) revealing a typical staircase in the vertical salinity dis-

tribution with its accompanying temperature and
streamline patterns.
where Δω and ΔT are differences of mass fraction and
temperature, respectively, and K = k r kρ 0 g ⁄ μ 0 corre- REMARK 4: The Rayleigh number is derived under
sponds to an effective hydraulic conductivity. Accord- the assumption of homogeneous parameters. As
ing to (1-51), K , D s and D λ are considered as pointed out by Schincariol193 and Simmons et al.206, a
dependent on the saturation s for unsaturated porous representative Rayleigh number which qualifies the
media. convection process for heterogeneous or layered
porous media does not exist. They addressed the inap-

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

numerical resolutions, which provide the best local


accuracy even for complex geometries. In this paper The spatial semi-discretization resulting in the form
we will focus on the FEM in more detail. of the combined matrix problem (1-63) assumes the
separability of space x and time t , which is the usual
The finite-element formulation of the balance equa- approximation in the FEM and the FVM. It partitions
tion system (1-60) finally leads to a discrete matrix sys- the continuum domain Ω in local regions (finite ele-
tem written in the compact form ments, finite volume cells) of triangular, quadrilateral,
tetrahedral and/or hexahedral shapes. The approach
M A· + F A – B = 0
T T leads to a first-order ordinary differential equation
(1-63)
(ODE) in time which can practically only be solved by
with the vectors of the discrete state variable numerical ODE schemes. Alternatively, we note that
the time variable may be embedded in the trial space,
which leads to discrete time-continuous space approxi-
⎧ p· ⎫ ⎧p ⎫
⎪· ⎪ ⎪ ⎪ mation, see e.g.86 for a review and discussion. Such
A· = ⎨ ω k ⎬ A = ⎨ ωk ⎬ ( k = 1, …, N ) (1-64a) space-time formulations can have advantages in
⎪ · ⎪ ⎪ ⎪
⎩T⎭ ⎩T⎭ numerical accuracy and stability175,176; however, due to
the complexity and increased numerical effort their
application is clearly restricted. In practice, ODE strat-
and the submatrices
egies are common where for stability and efficiency
reasons implicit (or explicit) two-stage techniques are
⎧ Mρ ⎫ ⎧ F ρ ( q, p, ω k, T ) ⎫ preferred. The combination of ODE strategies with
⎪ ⎪ ⎪ ⎪
M = ⎨ M ω ( p, ω k, T ) ⎬ F = ⎨ F ω ( q, ω k, T ) ⎬ (1-64b) appropriate iterative methods for solving the nonlinear
⎪ ⎪ ⎪ ⎪ matrix system (1-63) is discussed next.
⎩ M e ( p, ω k, T ) ⎭ ⎩ F e ( q, ω k, T ) ⎭
· ·
⎧ B ρ ( q, p, p· , ω k, ω k, T, T ) ⎫
⎪ ⎪
B = ⎨ Bω ( ωk ) ⎬
⎪ ⎪ NKQKO píê~íÉÖáÉë= Ñçê= ëçäîáåÖ= íÜÉ= ÅçìJ
⎩ Be ( T ) ⎭ éäÉÇ= ëé~íáçJíÉãéçê~ä= ÅçåîÉÅíáçå= éêçJ
ÅÉëëÉë
revealing the inherent nonlinearities in parenthesis. The
state vector A ( t ) contains vectors of pressure p , mass Referring to two-stage transient ODE strategies we
ω k and temperature T to be solved at discrete points. consider A ( t ) within the finite interval ( t n, t n + Δt n ) ,
The dot indicates differentiation with respect to time t . where the subscript n denotes the time level and Δt n is
The matrices M , F and vectors B result from the spa- a variable time step length. The solution state variable
tial semi-discretization of the fluid mass, species mass A ( t ) is defined as
and energy balance conservation equations, identified
by the subscripts ρ , ω , and e , respectively.

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

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

where a backward difference approximation for 2


A· – A ) – A·
n+1 n+1 n n
= -------- ( A (1-69b)
A· ( t n + Δt n ) and a forward difference for A· ( t n ) are Δt n
used. Common time stepping schemes result if θ is
chosen in an appropriate manner: θ = 1 yields the Inserting (1-69a) and (1-69b) into (1-63) yields the cor-
(fully) implicit scheme, which is 1st order accurate in rector solution in form of
time, θ = 1--2- is the trapezoid rule (or Crank-Nicolson
scheme), which is 2nd order accurate in time, and for
n+1 ⎛ MT T⎞ n + 1
θ = 0 the scheme becomes (fully) explicit, only 1st R = ⎜ ----------- + F ⎟ A (1-70)
⎝ θΔt ⎠
order accurate in time. Inserting (1-67) into (1-63) the n

θ -implicit/explicit solution of the matrix equation T


n
A - ⎛ --1- ⎞ · n n+1
–M ---------- + –1 A –B = 0
results θΔt n ⎝ θ ⎠

⎛ 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

n+1 n+1 n+1 n+1 n+1 n+1 n+1 n+1 n+1


Δp τ = pτ + 1 – pτ Δω kτ = ω k ( τ + 1 ) – ω kτ ΔT τ = Tτ + 1 – Tτ (1-81)

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:

q ≡ 0; ∇p = ρg (1-87) Equation (1-90) indicates that for a linear density ρ , a


quadratic shape of the pressure p is required to main-
For the above example (Fig. 1.5) with a vertical density tain a hydrostatic equilibrium for all z in the interval.
gradient we require
ρ1 p1

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ìãÉêáÅ~ä=^ééêç~ÅÜ

NKQKPKO qÜÉ=~êíáÑ~ÅíW=péìêáçìë=åçåÅçåëáëJ will result137.


íÉåí=îÉäçÅáíáÉë=~åÇ=éçëëáÄäÉ=ëçäìíáçåë
The most common solution to the problem is reduc-
Typically, in a discretization algorithm the mass ing the spatial variation in the gravity term. The gravity
fraction ω k and the temperature T are linearly approx- term is averaged in the appropriate direction as pro-
imated in a finite element. This leads to a correspond- posed by Voss231, Voss and Souza233 and Leijnse137. In
ing linear relationship for the density ρ as presented the above example we would have to use
above. The pressure p is also approximated by a linear ρ = ( ρ o + ρ 1 ) ⁄ 2 so as to find with the exact nodal val-
function in an element. This is (in the example of Fig. ues p o and p 1 = p o – g ( ρ o + ρ 1 ) ⁄ 2 :
1.5)131
⎛ ⎞
p → p̃ = p o + ( p 1 – p o )z z ∈ [ 0, 1 ] (1-91) k zz ⎜ ( ρo + ρ1 ) ( ρo + ρ1 ) ⎟
------
vz = – ⎜ po – g ---------------------- – po + g ---------------------- ⎟ = 0 (1-93)
μ⎜ 2 2 ⎟






⎝ ⎠










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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

shown as case 1 in Fig. 1.6. However, if the density k zz 1 ( ρ o – ρ 1 )


profile is strongly variable over a short distance (e.g., a q z = ------ g --- ---------------------- (1-95)
μ 2 2
narrow saltwater-freshwater interface with a high den-
sity contrast) the nonconsistent velocities do not vanish
i.e., the consistency is no longer guaranteed at this node
by averaging. This can be seen for case 2 in Fig. 1.6 at
under those circumstances.
the node m where an upward spurious velocity remains
on the order of
case 1 case 2
ρ2 ρ2

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.

We can summarize and conclude the following: is reduced.


(i) Consistency is the requirement of a zero velocity (iii) Smoothing of nonconsistent velocities derived at
under hydrostatic conditions for an arbitrary stable the Gaussian evaluation points averages out spurious
density gradient. A consistent velocity approximation velocities in most cases. However, if the density gradi-
satisfies the relationship (1-87) at the local evaluation ents become very large, spurious velocities at local
points. points can remain. Thus, smoothing is a procedure to
(ii) Averaging of the gravity term for each element derive continuous nodal velocities which are often, but
yields a consistent velocity approximation; however, not always, consistent in the sense of statement (1-87).
the accuracy in the spatial variation of the gravity term (iv) There is a substantial need for a more general,

QO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKQ=kìãÉêáÅ~ä=^ééêç~ÅÜ

accurate and robust procedure for a consistent velocity


⎧ ∂ξ ( p – Hξ ) ⎫
approximation in density-dependent mass and heat kr k –1 ⎪ ⎪
q = – -------- ⋅ J ⋅ ⎨ ∂ η ( p – H η ) ⎬ (1-98)
transport problems. A promising algorithm was μ ⎪ ⎪
recently proposed by Frolkovic72,73 and Knabner and ⎩ ∂ζ ( p – Hζ ) ⎭
Frolkovic131 to approximate consistent velocities in
two- and three-dimensional finite elements in a more –1
where J is an inverse Jacobian. These new integral
general manner. functions H ξ, H η, H ζ allow us to obtain the same spa-
tial variation for both, the pressure and the gravity
The Frolkovic-Knabner algorithm is described for term. The consistency of (1-98) in the definition of (1-
affine and isoparametric families of finite elements, 87) can be proved. Assuming the gravity acts in the z -
where the computations are realized on generalized direction, i.e., ρ ( x, y, z ) = ρ ( x o, y o, z ) we can write
(local) coordinates ( ξ, η, ζ ) . The idea is the introduc-
tion of integral functions for the gravity term in a form ξ
such as Hξ = ∫ ρ ( xo, yo, z ( θ, η, ζ ) )gξ dθ (1-99)
0
ξ ⎫ z ( ξ, η, ζ )

H ξ = H ξ ( ξ, η, ζ ) = ∫ ρ ( θ, η, ζ )g ξ ( θ, η, ζ ) dθ ⎪ = gz ∫ ρ ( x o, y o, θ ) dθ

0 ⎪ z0
η ⎪

H η = H η ( ξ, η, ζ ) = ∫ ρ ( ξ, θ, ζ )g η ( ξ, θ, ζ ) dθ ⎬ (1-96) where ( x 0, y 0, z 0 ) = ( x ( 0, 0, 0 ), y ( 0, 0, 0 ), z ( 0, 0, 0 ) ) and
⎪ similarly for H η and H ζ .
0 ⎪
ζ ⎪

H ζ = H ζ ( ξ, η, ζ ) = ∫ ρ ( ξ, η, θ )g ζ ( ξ, η, θ ) dθ ⎪ In the FEM the functions p, Hξ, Hη, Hζ are interpo-
⎪ lated by their nodal basis functions:
0 ⎭


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ìãÉêáÅ~ä=^ééêç~ÅÜ

2 T functional of the pressure p , mass ω k and temperature


e = ∫e L ( e ) dΩ (1-102)
T variables.
Ω

While (1-105) characterizes the error, a measure for


is used248, where L is a differential operator and e is a the exact solution is also needed. Such a norm can be
local error measure. Denoting the exact and the finite similarly derived as
element solution by a and ã , respectively, e is defined
as 2 T d
a = ∫a L ( a ) dΩ = – ∫ ( ∇a ) ⋅ f dΩ (1-106)
e = a – ã (1-103) Ω Ω

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ìãÉêáÅ~ä=^ééêç~ÅÜ

v h appropriate operator splitting46 leads to symmetric


Pe = ---------- ≤ 2 (1-112)
D matrix systems and possesses a built-in streamline-like
upwind characteristic without any free parameter that
derived for linear elements and (one-dimensional) lin- produces a timestep-dependent damping equivalent to
ear transport equations, where Pe is the mesh Peclet a numerical dispersivity of
number. The inequality (1-112) does not generally
Δt n
apply and is required only at locations with steep gradi- βL
num
= -------- q (1-115)
ents, if any. εs

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=_ÉåÅÜã~êâáåÖ

as follows9: reference solutions for a comparative analysis. In this


• Verification: A comparison to a model problem, context, numerical solutions are required to understand
which is sufficiently elementary, so that the the physical process and its causal dependencies. This
exact (e.g. analytical) solution is known. is what we would define as a physical benchmark that
provides a physically reliable basis for further compari-
• Benchmark: A comparison to a model problem,
sons. Those benchmarks were often missed in the past.
which possesses the intrinsic physical and
Only recently, there are increasing efforts and remark-
mathematical character (e.g., nonlinearity) of the
able progress in qualified experimental investigations
basic model, but has a simplified geometry so
of density-dependent systems which challenge numeri-
that comparable numerical solutions of accepted
cal simulations and code competitors (e.g., Schincariol
quality are available.
and Schwartz194, Oswald167, Thorenz et al.219, Simmons
• Validation: A comparison to a genuine problem,
et al.208).
for which quality experimental data are
available.
Physical benchmarks are frequently based on Hele-
Shaw cell experiments, e.g.,58,59,208,242,243. A Hele-Shaw
The traditional verification procedure by use of analyti-
cell provides an analogue of flow in a porous medium
cal solutions is not generally applicable due to the non-
to some extent, in that the equations that characterize
linear nature of variable-density problems. In general,
flow in a Hele-Shaw cell (to a good approximation) are
there are no exact solutions for this problem class,
the same as the equations that characterize flow in a
except a rather limited number of analytical and semi-
porous medium. However, the equations that character-
analytical solutions for specific cases28,55,99,198,201,211.
ize transport of salinity and heat in a Hele-Shaw cell
As a consequence, modelers must rely on benchmark are not quite the same as those that characterize trans-
tests, which thus obtain a key role in proving density- port of salinity and heat in a porous medium. For
dependent models and simulation codes. Benchmark- instance, dispersion and instabilities associated with
ing covers asymptotic and mesh (grid) convergence three-dimensional disturbances are different in a Hele-
tests, as well as comparative studies between different Shaw cell134.
numerical solutions (mainly obtained with different
simulators). What are the characteristics of a valuable
benchmark for variable density problems? It should
have a real, practically and/or physically relevant back-
NKRKN eóÇêçëí~íáÅ=íÉëí
ground. It should be mathematically correct, definite,
and well-posed. Benchmark solutions should be pre- This type of benchmark is quite simple, but very
dictable (nonrandom), both in the physical and mathe- instructive. It is a test of the velocity consistency (1-87)
matical sense. Ideally, the benchmark should have a under hydrostatic and sharp density transition condi-
physical model equivalent, for which qualified labora- tions as originally proposed by Voss and Souza233.
tory data are available. Those measurements can form Recently, Taylor et al.216 benchmarked a number of
variable-density model codes against this test problem

cbcilt=ö=RN
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

and concluded that none of the codes could match the


hydrostatic condition. Consider a rectangular closed
domain as shown in Fig. 1.8. Initially, a stable saltwater
layer with a salinity of ω = ω s exists below freshwater
with ω = ω 0 = 0 , separated by a sharp horizontal g
–4 –1
interface in the middle of the domain. The domain is K = 10 ms
impervious with respect to both the flow, and the mass. ω = ωo = 0

The fluid density contrast α is defined by

ρ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]

Figure 1.9 Computed density profiles ρ̃ ( x, z ) = ( ρ – ρ 0 ) ⁄ ρ 0 , x = 10m, 20m ≤ z ≤ -20m at


3
time t = 10 days for different solutions using quadrilateral elements: Reference solution is
obtained without density effects for a fine vertical mesh; the other solutions are simulated on a
uniform 32x64 mesh of quadrilateral elements.

cbcilt=ö=RP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

NKRKO eÉåêó=éêçÄäÉã problem are given in Tab. 1.1.

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=_ÉåÅÜã~êâáåÖ

There have been some discrepancies in the use of the


diffusion coefficients. Note that the effective diffusiv-
ity is the product of the molecular diffusion coefficient
and the porosity. Further solutions and comparisons for
the Henry problem have been presented by Kolditz et
al.126. Recently, Kaiser121 and Thorenz218 revisited this
benchmark using an error-based AMR technique to
improve the numerical accuracy. They confirmed the
prior findings (Fig. 1.11). The mesh adaptation algo-
rithm refines meshes automatically in areas with large
salinity gradients.

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.

Figure 1.11 Positions of the 10, 25, 50, and 75 percent


isochlors of the steady-state solution for the Henry problem -
mesh adaptive solution (Kaiser121).

cbcilt=ö=RR
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

NKRKP bäÇÉê=éêçÄäÉã ever, we note that the problem in this formulation is


completely imaginary and hypothetical. Dispersion,
which can play a very important role in a real aquifer,
NKRKPKN bäÇÉêÛë=ëÜçêíJÜÉ~íÉê=éêçÄäÉã=~åÇ= is not included. Usually, this saline analogue is also
áíë=ë~äáåÉ=~å~äçÖìÉ termed the Elder problem. The simulation parameters
and boundary conditions for the saline Elder problem
The Elder problem serves as an example of free are summarized in Tab. 1.2 and Fig. 1.12.
convection phenomena, where the bulk fluid flow is
driven purely by fluid density differences. Elder58,59
presented experimental and numerical studies concern-
ing the thermal convection produced, by heating a part
of the base of a porous layer. The original experiment,
which was performed in a Hele-Shaw cell, was called
the ’short-heater problem’. Elder conducted these stud-
ies mainly to verify the finite difference model he used
for the two-dimensional numerical analysis of thermal-
driven convection. Furthermore, he suggested criteria
for preventing numerical instabilities. Since then,
Elder’s short-heater problem become a very popular
and often stressed benchmark problem in the water
resources literature. It is rich in physical and numerical Figure 1.12 Definition of the Elder problem and prior
implications, and its cellular flow characteristic is fas- results by Elder59 - solid line and Voss and Souza233 -
cinating. The Elder problem has been modified, dashed line; positions of the 20 and 60 percent isochlors at
10 years simulation time (adapted from Voss and
extended, and remains a topic of, sometimes controver-
Souza233).
sial, discussion.

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

hybrid and discontinuous FEM stabilized by TVD.


They found a close similarity to the prior results by (a) (b)
Kolditz et al.126 with the central upwelling flow field.
Conservative and non-conservative approaches were
compared. It was shown that the maximum differences
between them occur at a time of about 6 years (we will
see later that this time level is obviously the most criti-
cal for the process evolution).

Recently, Frolkovic and De Schepper74 presented


new results for the Elder problem, based on a strict
mesh convergence study using FVM, where the mesh
size is consecutively refined. They achieved mesh con-
vergence by a systematical mesh refinement for a mesh
level l . For a uniform discretization by quadrilateral
square elements the number of elements (NE) and the
number of nodes (NN) for the whole and the half
domain are given by

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

Frolkovic and De Schepper74


performed their simula-
tions on the symmetric half domain in a range of the Figure 1.13 Effect of spatial discretization on the computed
mesh levels l up to 8. (Note, for l = 8 they no longer salinity evolution at 4, 10, 15, and 20 years simulation time;
used a uniform refinement. Instead they used an AMR positions of the 20 and 60 percent isochlors: (a) coarse mesh
technique for local refinement with mixed triangular (1170 nodes, 1100 quadrilateral elements), comparable with
and quadrilateral elements, based on an a-posteriori the discretization used by Elder59 and Voss and Souza233, (b)
error estimator). Their results are highly interesting, fine mesh (10108 nodes, 9900 quadrilateral elements).
and there are surprises: When l is small, the flow
downwells, and at increasing l an upwelling flow This has prompted our own simulations which we have
appears as expected. But if l is increased above l > 6 , a performed with the FEFLOW simulator44, tackling
central downwelling characteristic develops again. mesh levels l up to 9 (this is a rather fine mesh with
NN 2 equal to 525,825 for the half domain solved). In
using a half domain model, an additional symmetry

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)

Discretization Very coarse Coarse Fine Very fine Extremely fine


Number of unknownsa < 800 1000-2000 3500-5000 6000-10,000 15,000 - 1,000,000

Diersch38 - - - -

Voss and Souza233 - - - -

Oldenburg and Pruess161 - -

Kolditz et al.126 - -

Ackerer et al.1 -

Mazzia et al.144 -

Oltean and Bués164 -

Frolkovic and De Schepper 74,b - (l = 4) (l = 5) - (l = 6 ) (l = 7)

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)

Discretization Very coarse Coarse Fine Very fine Extremely fine


Number of unknownsa < 800 1000-2000 3500-5000 6000-10,000 15,000 - 1,000,000

presentc - (l = 4) (l = 5) - (l = 6,7,8,9)

a. related to the whole domain


b. unperturbed solutions, uniform mesh
c. no upwind, AB/TR time stepping, uniform quadrilaterals, unperturbed solutions

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.

We evaluated Frolkovic and De Schepper’s results


in Tab. 1.3 only for their unperturbed solutions
obtained on uniform meshes up to l = 7 . It is to be
expected that uniform and aligned meshes with square
elements are ’free’ of perturbations, except ’noise’ of
numerical round-off and discretization errors. Further-
more, Frolkovic and De Schepper74 also perturbed the
problem by slightly modifying initial conditions for
one of the vertices of the square element at the upper
right corner of the half domain, i.e., setting ω = 0.01 .
For smaller times ( t < 4 yr ) there were no remarkable
changes in the solutions, but at later times the solution
evolves in different directions. They observed three
directional behaviors which convert to three different
stationary solutions in form of a downwelling, an
upwelling, and a modified downwelling pattern. All
three solutions could be reproduced for various mesh

SM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ

l=4 l=5 l=6 l=9


t = 2.5y t = 2.5y t = 2.5y t = 2.5y

t = 5y t = 5y t = 5y t = 5y

t = 10y t = 10y t = 10y t = 10y

t = 20y t = 20y t = 20y t = 20y

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

NKRKPKP qÜÉêãçÜ~äáåÉ=bäÇÉê=éêçÄäÉã salinity pattern. Surprisingly, salinity distributions


reveal asymmetric characteristics at later times when
The two-dimensional saline Elder problem expands the influence of thermal convection becomes stronger
to a thermohaline convection process if the salinity at B ≤ 2 . There no apparent physical reason for a bro-
field is augmented by a thermal distribution as defined ken symmetry and mesh effects are likely responsible
in Fig. 1.15. While the homogeneous aquifer is perma- for such an asymmetric evolution49. Note, the Rayleigh
nently heated from below, the salinity gradient acts number is in a range (> 400) where solutions become
from above. As stated above, such a formulation of the sensitive to (numerical) perturbations. Clearly, the rea-
thermohaline Elder problem can be considered as a sons of instabilities for this type of problem has to be
mixed DDC regime where a finger regime dominates at studied in more detail.
the beginning (cool salinity sinks down) and a more
diffusive regime occurs (downsunk salinity is heated
from below) later.

∂ω e = 300 m ∂ω
= 0 = 0
∂x 3 ω=1 ∂x 3

= ∂T = 0
= ∂T = 0

T=0 T=0 T=0


d = 150 m

∂ 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=_ÉåÅÜã~êâáåÖ

changes in the thermal boundary conditions result in NKRKPKQ qÜêÉÉJÇáãÉåëáçå~ä=bäÇÉê=éêçÄäÉã


completely different flow pattern. Now for B = 2 there
is again a central upwelling flow similar to the original Diersch and Kolditz49 extended the originally two-
saline Elder problem. The AMR algorithm is embed- dimensional Elder problem to three dimensions for
ded as a method in the object-oriented finite-element studying both the saline convection and the DDC pro-
simulator ROCKFLOW127 making AMR techniques cesses. The three-dimensional counterpart consists of a
available to several kinds of multi-field problems such porous box with a square base ( L × L ) and height d .
as multi-phase flow218 and multi-componental This box has the same cross-sections along the Carte-
transport88. sian axes as defined in Fig. 1.12 for the two-dimen-
sional sketch. Salinity is held constant, in an areal
extent, on the top of the porous box. The parameters
correspond to those given in Tab. 1.2. In Diersch and
Kolditz’s simulations a Galerkin-FEM and an AB/TR
time stepping was used, where only the symmetric
quarter of the domain is discretized by 48,000 hexahe-
dral elements with 51,701 nodes (Fig. 1.18). In com-
parison with the mesh requirements we have seen for
the two-dimensional problem, such a three-dimen-
sional discretization is considered a ’moderate’ resolu-
tion.

simulated mesh quarter


Figure 1.17 Computed salinity distributions of 0.2 and 0.6
normalized isochlors at 10 (top) and 20 years (bottom) for a
Turner number of B = 2 .
Figure 1.18 Finite element mesh of the three-dimensional
Elder problem.

cbcilt=ö=SP
NK=s~êá~ÄäÉJÇÉåëáíó=Ñäçï=~åÇ=íê~åëéçêí=áå=éçêçìë=ãÉÇá~W=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

The three-dimensional free convection process is the geometric relations.


similar to its two-dimensional counterpart, except for
some interesting new features. Similar to the 2D case The three-dimensional thermohaline Elder problem
one also finds an upwelling salinity pattern in the cen- has been simulated for a Turner number of B = 5 ,
tre of the box at later times. The three-dimensional where the solutal Rayleigh number Ras is again 400
influence becomes apparent in the two horizontal and the Lewis number Le is unity. The complete three-
views at an upper elevation of 0.9d (135 m) and the dimensional evolution patterns of the computed salini-
middle horizon of 0.5d (75 m). At the beginning, the ties and temperatures for simulation times up to 20
quadratic geometry of the intrusion area on top is visi- years can be found in Diersch and Kolditz49. In contrast
ble in the convection pattern (Fig. 1.19a). Fingers to the single-diffusive formation the salinity pattern
appear around the border of the intrusion area and appears more diffusive at later times when the tempera-
'blobs' grow down at the four corners. The quadratic ture field affects the convection system. Then, the ther-
pattern evolves into more complicated multi-cellular mally buoyant forces accelerate the contraction process
formations via a number of characteristic stages. More of the sinking salinity plume in the centre. In the final
'blobs' appear until the salinity reaches the bottom (Fig. stage, while the single-diffusive convection still pro-
1.19b). Then, the structures begin to fuse and the pat- vides a central upwelling flow, the thermohaline con-
tern is completely reformed. After this phase a convec- vection process reveals a single downwelling
tion pattern remains which has a characteristic diagonal characteristic (Fig. 1.20).
'star' form (Fig. 1.19c). This 'star' is a result of the
geometry of the square intrusion area. It becomes clear
that the final formations have a strong dependency on

a) b) c)

Figure 1.19 Computed salinity patterns of the three-dimensional Elder problem49.

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.

Oldenburg and Pruess161 called their results a 'fully


b) swept-forward' pattern (Fig. 1.22b). At a first glance
the results seem to be quite similar the previous solu-
tion, but there is a substantial difference in the hydro-
dynamic regime concerning the number of convection
cells. This swept-forward solution covers only one
instead of two recirculating cells near the aquifer bot-
tom (Fig. 1.21b). Oldenburg and Pruess161 argued that
–7 2 –1
for large dispersive fluxes ( Dd > 2 ⋅ 10 m s ) the
c) amount of brine rising from the bottom source is suffi-
cient to cause a clockwise recirculation against the
overall counterclockwise flow imposed by the pressure
difference along the aquifer top. In contrast, the buoy-
ancy forces are insufficient to overwhelm the pressure-
driven flow for small dispersive fluxes when
–7 2 –1
D d < 10 m s . As a consequence, the brine is swept
forward from left to right with the overall flow. Younes
Figure 1.21 Definition of the salt dome problem (HYDRO-
et al.246 could show that both a swept-forward and a
COIN Level 1 Case 5) - domain and boundary conditions: recirculation (Herbert-like) solution can be produced.
a) hydraulic head, b) streamline, c) velocity and salinity dis- This depends on the numerical representation of
tributions. boundary conditions (either salt concentration or salt
mass flux) and the magnitudes of D d, β L and β T . They
Rivera119 has reproduced the prior NAMMU results by concluded that ’the discussion between swept forward
Herbert et al.101. In contrast, different results have been or recirculation remains open but it should be focused
presented by Oldenburg and Pruess161, which has led to on the computation of dispersive fluxes’.

SS=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ

Table 1.4 Simulation parameters for the salt dome


problem (continued)
Table 1.4 Simulation parameters for the salt dome
problem Symbol Quantity Value Unit
3 –3
Symbol Quantity Value Unit ρ 0, ρ s density of water ( 0.997, 1.2 ) ⋅ 10 kgm
and solute
L base length 900 m

d aquifer thickness 300 m


(height) In order to examine whether the simplifications
invoked by the OB approximation are responsible for
e extent of intrusion 300 m the differing results, Kolditz et al.126 employed differ-
ω0 reference mass 0 1 ent levels of the approximation of density variation,
fraction i.e., the extended OB approximation (Fig 1.22c) and a
–4 –1 –1 full density approximation (Fig. 1.22d). The good
μ dynamic viscosity 8.9 ⋅ 10 kgm s
agreement between these simulation results indicates
–2
g gravitational accel- 9.80665 ms that the different levels of density approximations have
eration no influence on the steady-state salinity distribution for
2 this type of problem.
Δp pressure difference 10 kPa
on top
– 12 2
k permeability of 10 m
porous medium
–5 –1
K hydraulic conduc- 1.0986 ⋅ 10 ms
tivity
α solutal expansion 0.2036 -
coefficient
–8 2 –1
Dd coefficient of ( 0, 1.39 ) ⋅ 10 m s
molecular diffusion
ε porosity 0.2 -
βL longitudinal disper- 20 m
sivity
βT transverse disper- 2 m
sivity

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

0.0125- 2 implies the following initial condition


ℑ H ( q ) = ---------------
1.76
[ s m / kg ] (1-120)
q
for 9 ⋅ 10
–5 –3
< q < 3 ⋅ 10 [ m / s ] ⎧ ω s for z < 0
ω ( z, 0 ) = ⎨ (1-121)
⎩ 0 for z ≥ 0

Schotting et al.198 have derived analytical solutions


A natural gradient boundary condition ∇ω z = 4m ≈ 0 is
in one dimension, which can be used to verify a simula-
imposed on the outflowing boundary. For the computa-
tor for the non-Fickian dispersion law (1-9). We con-
tions the FEFLOW simulator44 was employed. The col-
sider the displacement of a high concentration through
umn is discretized by 900 linear quadrilateral elements
a column with constant properties. The parameters are
resulting in a spatial increment of Δz = 0.005 m . For
summarized in Tab 1.5.
the temporal approximation the AB/TR predictor-cor-
Table 1.5 Simulation parameters for the high rector scheme with adaptive time stepping (error toler-
–4
concentration displacement experiment ance 10 ) was used. It required 144 time steps to
simulate the displacement process for a dimensionless
Quantity Symbol Magnitude Unit time t D defined as

Length of column L 4.5 m qo


2
tq o
( – 0.5m ≤ z ≤ 4.0m ) t D = t ------------ → --------- (1-122)
ε D εβ L
–5 –1
Flow rate qo 3.209 ⋅ 10 ms
Porosity ε 0.2 1 up to t D = 1.0 . The numerical results are in a very
–1 good agreement with the analytical results given by
Boundary concen- ωs 2.85714 ⋅ 10 1
tration
Schotting et al.198 as shown in Fig. 1.24.
(brine input)
2 –1
Molecular diffu- Dd 0.0 m s
sion

Longitudinal dis- βL 1.0 m


persivity
4 2 –1
HC-dispersion ℑH 10 m s kg
coefficient

The column is initially filled with freshwater ρ o ,


ω = 0 . At t = 0 brine ρ s = ρ s ( ω s ) starts entering the
column with a uniform specific discharge q o . This

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.

NKRKS p~äí=ä~âÉ=éêçÄäÉã ing less dense fluid leading to a downward convection


of salt fingers. The numerical results were compared
The salt lake problem as a test case for density- with those from a laboratory Hele-Shaw cell developed
dependent groundwater flow and solute transport was by Wooding et al.242,243. Fig. 1.25 gives the layout of
introduced by Simmons et al.207. It represents convec- the experimental Hele-Shaw cell. The tilted cell has a
tion processes below an idealized evaporating salt lake. slope at an angle of 5° to the horizontal. The model
The evaporation process results in dense brine overly- parameters are listed in Tab. 1.6.

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

Figure 1.25 Definition of the salt lake problem.

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.

We have revisited the salt lake problem with the


FEFLOW simulator44 using several structured and
unstructured meshes with different resolutions in com-
bination with various numerical options. The nearest
similarity to the SUTRA findings using an identical
spatial resolution (4876 nodes and 4725 elements) was
obtained with an AB/TR time stepping scheme and a
full upwind technique (Figs 1.26). However, the salt
fingers arrive at the cell bottom earlier than in the
SUTRA simulations. Additionally, the development of
smaller scale fingers at the salt lake boundary is sup-
pressed. Refined meshes (we used up to 169,621 trian-
gular elements with 85,401 nodes) seem to confirm the
general features as upwelling-downwelling pattern and
the formation of small fingers at the right lake bound-
ary, but the evolution and number of intermediate con-
vection cells is different (Figs 1.27). These results seem
to compare better to the experimental findings by
Wooding et al.242,243.

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=_ÉåÅÜã~êâáåÖ

Again, it becomes clear that the simulations signifi-


cantly depend on the discretization and numerical fea- outflow Q

tures. Perhaps a new discussion on accurate modeling inflow -Q a


of the salt lake test case is called for. We should take a

into account that the Rayleigh number of about 4800 a


for the salt lake problem is more than ten times larger a
than for the Elder problem, and we recall that a convec-

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

challenge for numerical modelers. Fortunately, (in con- D=

trast to many prior benchmarks) experimental results B = 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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

experiments see167,168. to about 17 million nodal points with an element length


of 0.78125 mm!) are required to model the high density
The saltpool problem has been investigated by vari- case with sufficient accuracy. In addition, salinity-
ous authors with different success (Ackerer et al.2, dependent viscosity effects had to be taken into
Thiele217, Oswald et al.168, Johannsen et al.118, account.
Diersch47). The numerical modeling is complicated due
to the extremely small dispersivities and a large density We here present results simulated with FEFLOW,
contrast particularly for the high density case with 10% where meshes of only moderate sizes are employed.
mass fraction of salt. The best agreements with the Both, a structured mesh of hexahedral elements with a
measurements have been recently achieved by mesh level of l = 6 (mesh A consisting of 274,625
Johannsen et al.118, who used the Frolkovic-Knabner nodes), and an unstructured mesh of pentahedral ele-
algorithm for the consistent velocity approximation in ments for only the symmetric half, which is partially
the d3f code. To fit both experiments, however, they refined at the outlet (mesh B consisting of 140,010
had to adjust some parameters within accepted bounds nodes), were employed. For the computations the
given in parentheses: permeability (20%), porosity Galerkin-FEM without any upwind and the AB/TR
(4%) and transverse dispersivity (50%). They studied adaptive time stepping combined with a one-step New-
mesh convergence by using a hierarchy of regular ton were applied, thus ensuring that the numerical
meshes consisting of hexahedral elements, up to mesh results will be second order accurate, both in time and
level l = 8 , where the total number of elements is in space. The model parameters are summarized in Tab.
l
NE = 8 . It was shown that extremely fine meshes (up 1.7.
Table 1.7 Simulation parameters of the saltpool problem

Magnitude
Quantity Symbol Unit
low density high density

cell height H 0.2 m

cell width B 0.2 m

cell depth D 0.2 m


–3
opening width a 10 m

initial freshwater height H1 0.14 m

initial saltwater height H2 0.06 m


–3 –1
hydraulic conductivity K 9.773 ⋅ 10 ms

TU=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ

Table 1.7 Simulation parameters of the saltpool problem (continued)

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.

From the practical point of view, the numerical


studies118 have shown that fine and extremely dense

UM=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ

low density high density


a)

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 [%]

mesh B, trian., halfspace

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~êá~Ääó=ë~íìê~íÉÇ=Ñäçï=ÅÉää

The benchmark cases in the preceding sections are


about water-saturated systems. This test case refers to
density-dependent flow in a variably saturated porous
medium. The experimental and numerical investiga-
tions were carried out by Thorenz et al.219. Figure 1.30
shows a sketch of the experimental set-up consisting of
a sand box with dimensions of 0.958 m length, 0.478 m Figure 1.30 Sketch of the experimental set-up (Thorenz et
height and 0.105 m width. It was equipped with sixteen al.219).
perforated tubes for tracer injection and sample extrac-
tion. Tracer injection (red dye) was conducted to visu-
The parameters of the system are summarized in
alize the flow behavior. The filling material was a
Tab. 1.8. The intrinsic permeability was determined
clean, natural, silica sand local to the Rehovot (Israel)
from flux measurements for a small pressure gradient
area. Before conducting the experiments, the sand box
under saturated conditions. The measured capillary
was prepared by CO2 flooding through the lower row
pressure/saturation relationship fits very well to a van
of injection tubes to remove as much air as possible. As
Genuchten-type curve. The longitudinal dispersion
CO2 dissolves easily in water, the system becomes
length was set to the diameter of the largest sand
almost free of bubbles during subsequent water satura-
grains, while the transverse dispersion length was
tion. Several imbibition-drainage cycles were per-
assumed to be 1/10 of the longitudinal one. Solute den-
formed to minimize hysteresis effects. The flow
sity was assumed to be a linear function of salt concen-
process was controlled by the hydraulic boundary con-
tration. The diffusion coefficient is in fact the only
ditions applied: a chamber filled with saltwater ( ρ =
calibration parameter of the model.
1097 kg/m3) at the right hand side and a chamber filled
with freshwater ( ρ = 1067 kg/m3) at the left hand side.
The experiments were prepared based on numerical
The hydrostatic boundary conditions for fluid pressures
simulations dealing with different boundary conditions
at the saltwater and freshwater sides were adjusted by
at two sides of the flow cell (inlet and outlet chambers).
corresponding water levels, which were about half of
As a result of the experimental design, those boundary
the height of the flow cell. Therefore, a saturated
conditions could be identified for the principal flow
(fresh/saltwater) zone in the lower half and an unsatur-
patterns: freshwater flushing, saltwater tongue with
ated zone in the upper half were established.
freshwater counter flow, and saltwater flushing. There-
fore, experiments could be focused on case studies of
convection cell building. Within the selected experi-

UO=ö=tÜáíÉ=m~éÉêë=J=sçäK=ff
NKR=_ÉåÅÜã~êâáåÖ

ment, different cases were tested: set-up A - equal bot-


tom pressure at both sides of the flow cell (i.e. at salt
and freshwater inlet chambers), set-up C - equal water
table at both sides of the flow cell, and an intermediate
situation. In these experiments, tracer injections (red
dye) at 16 tubes were conducted to visualize the flow
pattern. During the experiments, picture series of the
tracer movement were taken with a digital still camera.
Table 1.8 Simulation parameters for the variably
saturated flow cell problem
Figure 1.31 Dynamically adapted finite element mesh used
Symbol Quantity Value Unit
for simulating the variably saturated flow cell problem
Dd coefficient of 4 ⋅ 10
–6 2 –1
m s (ROCKFLOW model).
molecular diffusion
(tracer and salt) The numerical challenge for this problem is to
k permeability of 5 ⋅ 10
– 11
m
2 model density-dependent, as well as multiphase flow
porous medium processes, i.e. to deal with two nonlinear effects simul-
4
taneously. Moreover, the numerical simulations were
kr relative permeabil- [ ( s – s r ) ⁄ ( s max – s r ) ] - performed based on an AMR finite-element method,
ity
which in turn is based on error indicators for multiple
ε porosity 0.36 - field quantities, such as pressure, saturation, and salt
–4 and tracer concentrations121. The refinement/coarsen-
βL longitudinal disper- 5 ⋅ 10 m
ing algorithm is hierarchical, i.e. in the two-dimen-
sivity
sional case the next level produces four new child
–5
βT transverse disper- 5 ⋅ 10 m elements from a starting parent element and vice versa.
sivity A maximum of allowed refinement levels can be
–3 –1 –1 defined to control the numerical expense. The initial
μ dynamic viscosity 10 kgm s
mesh for the variably saturated flow cell was built with
3 –3
ρ0 density of water 1.067 ⋅ 10 kgm only 25 elements, and during the AMR process up to
3 –3 14000 quadrilateral elements were generated (Fig.
ρs density of solute 1.097 ⋅ 10 kgm
1.31). This resolution was necessary in order to satisfy
sr residual saturation 0.15 - a certain error norm. The mesh convergence process
can be observed by successively increasing the number
s max maximum satura- 1.0 -
tion of maximum refinement levels. The refined mesh indi-
cates areas with large gradients, e.g. tracer injection

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).

Figure 1.33 Simulated HDR recirculation process: three-


Figure 1.32 Simulated tracer distribution in the variably dimensional flow field and temperture isosurface in the
saturated flow cell. fracture and rock formation (FEFLOW model).

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

Vertical extent in [m]


200

150

ROCKFLOW DM2 Simulation

100
Salt dome
200 300 400 500
Horizonzal extent in [m]

b) 250

Ground surface
Vertical extent in [m]

200

150

ROCKFLOW DM2 Simulation

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=~ééêç~ÅÜÉë=~åÇ=ÅÜ~ääÉåÖÉë

sity-dependent flow and transport in porous media is


strongly coupled and nonlinear, due to the dependence The numerical approach of the related conservation
of material behavior on salt concentration and tempera- equations for mass, momentum, and energy should be
ture. The OB approximation and its (non-Boussinesq) appropriately formulated with respect to actual exten-
extension for density dependent terms has been consid- sive balance quantities in a conservative form. An error
ered. In a generalized approach the model formulation in the discrete conservativity can result in an artificially
includes thermal and solute density effects, DDC phe- enhanced non-Boussinesq influence relative to the
nomena, fluid viscosity and compressibility effects, physically correct solution. Local consistency in the
saturated and unsaturated porous media, non-Darcian velocity approximation at high density contrasts has
and non-Fickian effects. proven a fundamental requirement. Essential, for
example, in the solution of the three-dimensional salt-
Physical instability is an important aspect in den- pool experiment, it was successfully implemented in
sity-driven flow and transport. Perturbation the Frolkovic-Knabner algorithm, while standard tech-
approaches, linear stability theory, and bifurcation the- niques such as local or global projection as a ’natural’
ory give insight into the dynamic behavior of a convec- weighted-integral form in FEM lead to a significant
tion process. For large Rayleigh numbers, different overestimation of mixing salinities at high concentra-
evolutions in the solution appear that are triggered and tions. Consistency represents an additional requirement
controlled by perturbations. Such perturbations can for an accurate velocity approximation satisfying the
have true physical meaning or can be purely numerical. hydrostatic equilibrium. The error-based AMR tech-
The conditions occurred initially, and subsequently nique can be applied to improve numerical accuracy.
influence and determine the behavior of a convection Mesh convergence studies are most interesting to
process. The transition between different modes can be become aware of critical states during the evolution of
sudden. At large Rayleigh numbers, it becomes ques- convection processes.
tionable whether the process is predicable by a com-
pletely deterministic approach. It seems of Benchmarking plays an important role in modeling
questionable merit to apply refined and perfect numeri- variable-density flow and transport. Analytical solu-
cal techniques, such as direct numerical simulation tions for those problems are clearly limited to simpli-
(DNS), where all of relevant length scales are resolved fied cases. When choosing reference laboratory
with highly refined meshes, without also incorporating experiments for physical benchmarks, the dynamic
the probabilistic character of the dynamic behavior. character of a convection process has to be considered.
This includes an analysis of the influence of a represen- For example, flow in a Hele-Shaw cell concerns a pure
tative set of random perturbations on the evolution of fluid and is not really through a porous medium. There
solutions. We recall once more Horne and are also technical difficulties involved in obtaining
Caltagirone111 who more than 20 years ago advised ’... experimental information on the flow patterns in a real
to avoid solutions mathematically correct but physi- porous medium. The established benchmark tests, such
cally unlikely.’ as the Henry, Elder, salt dome, and saltpool problems,

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ÉÑÉêÉåÅÉë

salt dome flow problem. Transport in Porous Media


1999;35(3):375-394.
247. Zienkiewicz OC, Taylor RL. The finite element method. Vol 1
and 2, McGraw-Hill, London; 1989 and 1991.
248. Zienkiewicz OC, Zhu JZ. A simple error estimator and adaptive
procedure for practical engineering analysis. Int J Num Meth
Eng 1987;24:337-357.
249. Zienkiewicz OC, Zhu JZ. The superconvergent patch recovery
and a-posteriori error estimates. Part 1: The recovery technique.
Int J Numer Meth Eng 1992;33:1331-1364. Part 2: Error esti-
mates and adaptivity. Int J Numer Meth Eng 1992;33:1365-
1382.

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

You might also like