Abstract
This benchmark for three-dimensional (3D) numerical simulators of variable-density groundwater flow and solute or energy transport consists of matching simulation results with the semi-analytical solution for the transition from one steady-state convective mode to another in a porous box. Previous experimental and analytical studies of natural convective flow in an inclined porous layer have shown that there are a variety of convective modes possible depending on system parameters, geometry and inclination. In particular, there is a well-defined transition from the helicoidal mode consisting of downslope longitudinal rolls superimposed upon an upslope unicellular roll to a mode consisting of purely an upslope unicellular roll. Three-dimensional benchmarks for variable-density simulators are currently (2009) lacking and comparison of simulation results with this transition locus provides an unambiguous means to test the ability of such simulators to represent steady-state unstable 3D variable-density physics.
Résumé
Ce banc d′essai pour simulation numérique tridimensionnelle (3D) d′un flot d′écoulement souterrain de densité ou d′énergie variable permet de comparer les résultats semi-analytiques de transition d′un mode convectif en régime permanent à un autre, dans une boîte poreuse. Des études expérimentales et analytiques antérieures de flux convectif libre dans un milieu poreux incliné ont montré qu′il existe différents modes de convection possibles dépendant des paramètres du système, géométrie et inclinaison. En particulier, il existe une transition nette entre le mode hélicoïdal, consistant en écoulements longitudinaux descendants surimposés à un flux unicellulaire ascendant et un mode d′écoulement unicellulaire purement ascendant. Des bancs d′essai tri-dimensionnels pour simulations d′écoulements de densité variable manquent actuellement (2009) et la comparaison de simulations avec ce dispositif de transition montre clairement la capacité de tels simulateurs à représenter en 3 dimensions la physique des phénomènes instables en régime permanent.
Resumen
Este estándar de comparación para simuladores numéricos tridimensionales (3D) de flujo de agua subterránea de densidad variable y transporte de solutos o energía consiste en comparar los resultados de la simulación con la solución semianalítica para la transición de un modo convectivo de estado estacionario a otro de una capa porosa. Experimentos previos y estudios analíticos de flujo convectivo natural en una capa porosa inclinada han demostrado que hay una variedad de posibles modos convectivos dependiendo en los parámetros del sistema, la geometría y la inclinación. En particular, existe una transición bien definida desde el modo helicoidal que consiste en rollos inclinados pendiente abajo superpuestos por sobre un rollo unicelular pendiente arriba a un modo que consiste en un rollo unicelular puro y pendiente arriba. Se carece actualmente (2009) de estándar de comparación tridimensionales para simuladores de densidad variable y la comparación de los resultados de simulaciones con este lugar de transición proporciona un medio inambiguo para testear la habilidad de tales simuladores para representar la física del estado estacionario inestable de densidad variable en 3D.
摘要
这一变密度地下水流和溶质或能量运移的三维数值模拟基准由多孔介质自一个稳态对流模式向另一个稳态对流模式转变的半解析解匹配仿真结果 组成。已有对天然条件下倾斜多孔介质层中对流的实验和解析研究表明, 有很多取决于系统参数、几何形状和倾角的对流模式。特别是由下斜的纵向卷叠加上斜单卷的螺旋式模型到仅仅包括上斜单卷模式的转换, 研究较为清楚。目前 (2009) 缺少变密度流模拟的三维基准, 且模拟结果与这种转换点的比较为检验这种模拟器代表稳态的非稳定3D变密度物理机制的能力提供了确定的方法。
Resumo
Este teste de referência (benchmark) para simuladores numéricos tridimensionais (3D) de fluxo de água subterrânea de densidade variável e transporte de soluto ou energia consiste em ajustar os resultados da simulação com a solução semi-analítica para a transição de um modo convectivo estacionário para um outro numa caixa porosa. Os estudos experimentais e analíticos anteriores do fluxo convectivo natural numa camada porosa inclinada mostraram que existe uma variedade de modos convectivos possíveis dependendo dos parâmetros do sistema, da geometria e da inclinação. Em particular, há uma transição bem definida do modo helicoidal consistindo de cilindros longitudinais descendentes sobrepostos a um cilindro unicelular ascendente em relação a um modo consistindo num cilindro unicelular ascendente. Actualmente (2009) há uma falta de testes de referência tridimensionais para simuladores de densidade variável e a comparação dos resultados da simulação com este ponto de transição dá um meio inequívoco para testar a capacidade de tais simuladores representarem a física de densidade variável a 3D, instável e estacionária.
Similar content being viewed by others
References
Ataie-Ashtiani B, Aghayi MM (2006) A note on benchmarking of numerical models for density dependent flow in porous media. Adv Water Resour 29(12):1918–1923
Bories SA, Combarnous MA (1973) Natural convection in a sloping porous layer. J Fluid Mech 57:63–79
Caltagirone JP (1982) Convection in a porous medium. In: Zierup J, Oertel H (eds) Convective transport and instability phenomena. Braun, Karlsruhe, Germany, pp 199–232
Caltagirone JP, Bories S (1985) Solutions and stability criteria of natural convective flow in an inclined porous layer. J Fluid Mech 155:267–287
Diersch H-JG (2002) FEFLOW reference manual, finite element subsurface flow & transport simulation system. WASY Institute for Water Resource Planning and Systems Research, Berlin, 278 pp
Diersch H, Kolditz O (2002) Variable-density flow and transport in porous media: approaches and challenges. Adv Water Resour 25:8–12
Elder JW (1967) Transient convection in a porous medium. J Fluid Mech 27:609–623
Frank WL (1958) Finding zeros of arbitrary functions. J Assoc Comput Mach 5:154–160
Henry HR (1964) Effects of dispersion on salt encroachment in coastal aquifers. US Geol Surv Water Suppl Pap 1613-C:C71–C84
Holzbecher EO (1998) Modeling density-driven flow in porous media: principles, numerics, software. Springer, Heidelberg, Germany, 286 pp
Horton CW, Rogers FT Jr (1945) Convection currents in a porous medium. J Appl Phys 16:367–370
Hsieh PA, Winston RB (2002) User′s guide to model viewer, a program for three-dimensional visualization of ground-water model results. US Geol Surv Open-File Rep 02-106, 18 pp
Johannsen K, Kinzelbach W, Oswald SE, Wittum G (2002) Numerical simulation of density driven flow in porous media. Adv Water Resour 25(3):335–348
Johannsen K, Oswald S, Held R, Kinzelbach W (2006) Numerical simulation of three-dimensional saltwater–freshwater fingering instabilities observed in a porous medium. Adv Water Resour 29(11):1690–1704
Kooi HJ, Groen J, Leijnse A (2000) Modes of seawater intrusion during transgressions. Water Resour Res 36(12):3581–3589
Langevin CD, Thorne DT Jr, Dausman AM, Sukop MC, Guo Weixing (2007) SEAWAT version 4: a computer program for simulation of multi-species solute and heat transport. US Geological Survey Techniques and Methods, book 6, chap A22, US Geological Survey, Reston, VA, 39 pp
Lapwood ER (1948) Convection of a fluid in a porous medium. Proc Cambridge Phil Soc 44:508–521
Mazzia A, Bergamaschi L, Putti M (2001) On the reliability of numerical solutions of brine transport in groundwater: analysis of infiltration from a salt lake. Transp Porous Med 43(1):65–86
Muller DE (1956) A method for solving algebraic equations using an automatic computer. Math Tables Aids Comput 10:208–215
NEA (1988) The international HYDROCOIN Project, level 1 code verification, Swedish Nuclear Power Inspectorate and OECD/Nuclear Energy Agency, Paris
Nield DA, Bejan A (2006) Convection in porous media. Springer, New York, 640 pp
Ormond A, Genthon P (1993) 3-D thermoconvection in an anisotropic inclined layer. Geophys J Int 1-2:257–263
Oswald S, Kinzelbach W (2004) Three-dimensional physical benchmark experiments to test variable-density flow models. J Hydrol 290(1–2):22–42
Oswald S, Spiegel M, Kinzelbach W (2007) Three-dimensional saltwater–freshwater fingering in porous media: contrast agent MRI as basis for numerical simulations. Magn Reson Imaging 25(4):537–540
Prasad A, Simmons CT (2005) Using quantitative indicators to evaluate results from variable-density groundwater flow models. Hydrogeol J 13(5–6):905–914. doi:10.1007/s10040-004-0338-0
Segol G (1994) Classic groundwater simulations: proving and improving numerical models. Prentice Hall, Englewood Cliffs, NJ, 400 pp
Simmons CT, Narayan KA, Wooding RA (1999) On a test case for density-dependent groundwater flow and solute transport models: the salt lake problem. Water Resour Res 35(12):3607–3620
Simpson MJ, Clement TP (2004) Improving the worthiness of the Henry problem as a benchmark for density-dependent groundwater flow models. Water Resour Res 40(1). doi:10.1029/2003WR002199
Voss CI, Souza WR (1987) Variable density flow and solute transport simulation of regional aquifers containing a narrow freshwater–saltwater transition zone. Water Res Res 23(10):1851–1866
Voss CI, Provost AM (2002) SUTRA, a model for saturated-unsaturated variable density ground-water flow with energy or solute transport. US Geol Surv Open-File Rep 02-4231, 250 pp
Weatherill D, Simmons CT, Voss CI, Robinson NI (2004) Testing density-dependent groundwater models: two-dimensional steady state unstable convection in infinite, finite and inclined porous layers. Adv Water Resour 27(5):547–562
Winston RB, Voss CI (2003) SutraGUI, a graphical interface for SUTRA, a model for ground-water flow with solute or energy transport. US Geol Surv Open-File Rep 03-285, 114 pp
Wooding RA, Tyler SW, White I (1997a) Convection in groundwater below an evaporating salt lake: 1. onset of instability. Water Resour Res 33(6):1199–1217
Wooding RA, Tyler SW, White I, Anderson PA (1997b) Convection in groundwater below an evaporating salt lake: 2. evolution of fingers or plumes. Water Resour Res 33(6):1219–1228
Acknowledgements
This research was supported in part by the US Geological Survey. Any use of trade, product, or firm names is for descriptive purposes only and does not imply endorsement by the US Government.
Author information
Authors and Affiliations
Corresponding author
Appendix: Details of calculating Rayleigh numbers with Galerkin′s method
Appendix: Details of calculating Rayleigh numbers with Galerkin′s method
The purpose of this appendix is to elaborate on details of the Galerkin solution method used by Caltagirone and Bories (1985) (designated CB) that are either not immediately obvious or are considered erroneous in their paper. It is expected that the paper of CB should be read concurrently. CB set up model equations for thermal instability in an inclined porous layer in terms of temperature T. Mathematically equivalent equations are used here with concentration, C, replacing T. Much of the symbolism used by CB is used here for easy comparison.
The basic 3D equations are
with vectors V = {U,V,W}, ∇ = {∂ x, ∂ y ,∂ x} and k = {sinϕ,0,cosϕ} for a Cartesian (x,y,z) system. U, V, W are velocities corresponding to coordinates x, y, z, respectively, t is time and z is restricted to the range 0 ≤ z ≤ 1 as shown in Fig. 1. Also
The Rayleigh number \( R_a^* \) is identical to Ra defined by Eq. 1.
Stability of flow in an infinite-extension layer
For an inclined layer of infinite extensions in x- and y-directions a solution of the Eqs. (3)–(5) corresponding to unicellular flow provides concentration and velocity fields:
Equations of perturbation ({θ,w}:{C,W}) relative to this flow follow from Eqs. (3)–(5) as
Eliminate w from Eqs. (8) and (9) by taking ∇2 of Eq. (8) then substituting ∇2 w from Eq. (9):
Noting
and letting
then
Substituting these derivatives in Eq. (10) produces
Marginal stability requires σ = 0. Then Eq. (14) becomes
Nield and Bejan (2006, pp. 308–313) also discuss the paper by CB and the derivation of Eq. (15). The representation
is used to determine the stability criteria \( \left( {R_a^*\,,\,\psi } \right) \) with the Galerkin method. With the above representation for Ψ, the requisite boundary conditions, \(\psi \; = \;0\; = {\partial ^2}\psi /\partial {z^2}\) are satisfied at z = 0,1. (The ∂ 2 Ψ/∂z 2 = 0 condition is equivalent to w = 0 by Eq. (8)).
The coefficients, b k, in Eq. (16) are determined by approximating the differential Eq. (15) using Galerkin′s method. This produces an N × N matrix of coefficients, g lk , with l as the row number and k as the column number, as follows:
To evaluate the integrals in Eq. (17), the following identities are needed:
Using these integrals in the expressions for g lk results in
Let the matrix G N be given by
Then the instability condition is given by the determinant
For s x ≠ 0, s y ≠ 0, solution of this determinant defines \( R_a^* \) values for polyhedral cells. Helicoidal cells occur when s x = 0, s y ≠ 0. A transitional curve occurs when s y = 0, s x = s. In order to calculate this \( \left( {R_a^*\,,\,\phi } \right) \)curve and simplify the algebra a little, define β and R by
and note that the elements of G N , for N = 6, for example, appear as follows
The first few determinants for fixed N are
It is clear that the off-diagonal terms always appear in product pairs of an even row element by an odd row element. This means that i 2 = –1 quantities always appear. Moreover, g kl = g lk , such that, if the off-diagonal elements for rows 1,3,5, ..., g lk are replaced by |g lk | and for rows 2,3,4, ..., g lk are replaced by (–|g lk |) then this development can work with real valued determinants.
The elements of G N now become
for the diagonal elements and
for the off-diagonal elements.
The common factor π 4 may be removed from each row of det[G N ] = 0. The resulting determinant will produce a polynomial in R of order N whose coefficients are functions of ϕ and β.
R (hence \( R_a^* \)) may be calculated in the following manner:
For each value of ϕ, set values of N and β, then determine R from det[G N ] = 0 that gives the lowest magnitude (for some values of N there is more than one solution for R). Then vary β until an even lower minimum value of R is found. Finally, vary N until results are stable at a certain level of precision, e.g. six decimal places.
Determinants were calculated using a standard Gauss-Jordan pivotal method and R was found using the Muller (1956)-Frank (1958) quadratic interpolation method for finding roots (not requiring derivatives). A verification was made using a symbolic algebra package, Maple, for N = 2, 3, 4, 5, by checking the elements of the determinant and the solution for R. The variation of β to find the minimum R was made automatic by also using a quadratic interpolation method.
The main results are given in Table 3. The transition locus for dense values of ϕ, extending the values in Table 3, are shown in Fig. 2. The limiting value of ϕ was found to be ϕ = 31.49033° when β = 0.813. As ϕ increases the required number of terms, N, increases. For values of ϕ < 20°, N = 20 generated the accuracy tabulated. For \( {25^o}\; < \;\phi \; \leqslant \;{31.49^o} \), N = 50 was used. For ϕ > 31.49°, N=90 was used. The critical value of ϕ = 31.49033° was arrived at when zeros of det[G N ] = 0 could no longer be found. A comparison with the results of CB in their Table 1 indicate that the values of their s L, the same as β, are in good agreement, except for a slight difference at ϕ = 20°, where s L = 0.965 compared with β = 0.967. The difference might arise from the values of N = 5 and 8 that they used, lower than the 20 used here. In fact β is not very sensitive to changes in N. A comparison with the 4 decimal-place values of their \( R_{aL}^* = 4R\cos \phi \) for ϕ = 0 − 30° shows agreement in all their entries except for the minor difference of 6.3680 when ϕ = 30°. Their critical value for ϕ is 31°48′ = 31.8°.
Flow stability in a layer of finite extension x = A
A rank 2, Galerkin approximation to a layer of finite extension x = A is
The expressions for C 0 ,U 0, W 0 satisfy the boundary conditions and the mass balance Eq. (3). Darcy′s Eq. (4) and the transport Eq. (5) are satisfied approximately. The use of Eqs. (27) in Eqs. (3), (4) and (5) provide expressions for the coefficients:
Eliminating a 11 and b 11 produces a relationship between \( {a_{02}}\;,\;R_a^* \)and ϕ:
The right side of this equation is negative or zero, implying that a 02 is negative or zero. CB incorrectly state that a 02 ≥ 0 (which is, in fact, between 0 and 1/π).
The transition locus between unicellular flow and helicoidal flow is to be found. After development of linear perturbation equations based on the rank 2 approximations and a further Galerkin series approximation, CB produce an additional stability equation involving \( {a_{02}}\;,\;R_a^* \) and ϕ independent of the length B:
To find the transition locus relationship between \( R_a^* \) and ϕ, an expression for a 02 in terms of only ϕ is first found from the previous two equations as follows. First set
so that
After substituting for πa 02 and \( R_a^* \) in Eq. (29) it becomes
where
For the quadratic equation in p, the larger of the two p solutions is expected to produce the smaller \( R_a^* \):
With this p, \( R_a^* \) is then determined from Eq. (32) and the \( \left( {R_a^*\,,\,\phi } \right) \) curves for values of A = {5, 10, 20, 50, ∞} are shown in Fig. 2. Values of φ for these and additional A values are given in Table 4. No real solutions exist for Q < 1/12. At Q = 1/12, p = 1/4 for all A. The corresponding critical angle ϕ c determined from Eq. (34) for various A values are, for
and the corresponding \( R_a^* \) values from Eq. (32), are
These limits are a result of the rank 2 approximation. A comparison of the curves in Fig. 2 with Fig. 2 of CB indicates that the shapes are similar but the values are not identical.
Rights and permissions
About this article
Cite this article
Voss, C.I., Simmons, C.T. & Robinson, N.I. Three-dimensional benchmark for variable-density flow and transport simulation: matching semi-analytic stability modes for steady unstable convection in an inclined porous box. Hydrogeol J 18, 5–23 (2010). https://doi.org/10.1007/s10040-009-0556-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10040-009-0556-6