1. Introduction
Density-driven convective mixing of CO in a saline aquifer is a fascinating phenomena that can accelerate the dissolution of CO into the resident formation brine, reducing the risk of any leakage to the shallower subsurface. Understanding the fundamental characteristics of density-driven convective mixing is important in order to establish its role in long-term geological storage of CO.
Many theoretical, numerical and experimental studies examining the important features of density-driven convective mixing and its importance to CO
storage in saline aquifers have appeared in the scientific literature (e.g., References [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13]), see Reference [
14] for a detailed review of the published scientific literature regarding convective dissolution of CO
in saline aquifers. For a typical storage scenario, CO
injected into a saline aquifer will rise under buoyancy and spread beneath an impermeable caprock, forming a thin, laterally extensive plume. Diffusion-driven dissolution of CO
into the resident brine slightly increases its density, resulting in a gravitational instability. After a finite incubation time, the instability leads to convective mixing, characterised by the complex downward motion of fingers of dense CO
-rich brine.
A large proportion of the theoretical studies concerning density-driven convective mixing in porous media that have appeared in the scientific literature have focussed on understanding the critical time for the onset of convection and the associated critical wavelength of fingers at the onset of convection in idealised homogeneous models (e.g., References [
1,
2,
3,
4,
5,
7,
10,
13,
14]). One significant feature of density-driven convective mixing that has also received attention is the establishment of a steady long-term mass flux during the period after the fingers stabilise and before they reach the base of the aquifer, see
Figure 1. Despite the complicated nature of the flow, only modest fluctuations in the rate of dissolution are observed in numerical simulations in this regime [
9,
10,
15].
Solutal convection in realistic geological formations is typically a fine-scale process that occurs at a length scale several orders of magnitude below the typical computational resolution possible in field-scale simulations. For example, high-resolution simulations of convective mixing may use computational domains that are only a few metres in size, with spatial resolution at the cm or mm scale necessary in order to accurately model the complicated convective mixing process. The size and resolution of these models is in stark contrast to field-scale simulations of CO
storage, where the computational expense commonly constrains the size of computational grid blocks to metres to tens of metres. The consequence of this disparity is to inhibit, and therefore delay, the onset of convective mixing in simulation studies with large grid blocks, which results in an underestimate of the total dissolved CO
fraction [
3].
Comparatively few studies have attempted to include the effect of enhanced dissolution due to density-driven convective mixing at the fine scale in large-scale simulation studies using coarse grid blocks. Initial attempts to include convective mixing in a coarse-scale model have included using a rudimentary sink term in the uppermost portion of the model to remove an amount of mobile CO
equal to the theoretical estimate of the long-term average mass flux in order [
16], or including the effect of convection through an upscaled representation of the mass transfer rate in a vertical equilibrium model [
17,
18]. Common to both of these studies are the assumptions that the onset time of the convective mixing process is small in comparison to the total simulation time, and that the dissolution rate can be approximated with the estimate of the steady flux. Using these models, it was found that including the enhanced dissolution due to sub-grid convective mixing reduced the up-dip migration of the gas-phase CO
, and therefore the total time that the plume is mobile.
It is clear that the presence of a steady flux regime is likely to be significant in the development of an appropriate upscaling scheme for enhanced dissolution due to convective mixing, enabling this fine-scale process to be included in much larger grid blocks through some suitable mechanism. The availability of accurate theoretical estimates of the mass flux in the steady flux regime therefore underpins the establishment of upscaled models. For isotropic homogenous models, detailed numerical simulation studies have verified the functional form of the average dissolution rate in the steady flux regime, for both two-dimensional and three-dimensional models [
9]. In practice, coarse simulation models are often constructed by upscaling fine-scale heterogeneous geological models to representative anisotropic homogeneous models with effective permeabilities. In this anisotropic case, a theoretical estimate of the average dissolution rate in the steady flux regime was shown to scale as
for two-dimensional porous media only, where
and
are the effective vertical and horizontal permeabilities, respectively [
15].
In this study, we consider the effect of anisotropy on the average long-term mass flux of CO
in a three-dimensional saline aquifer, extending the work of Green and Ennis-King [
15] for two dimensions. Numerical simulations of anisotropic porous media are used to verify that the scaling result for two-dimensional anisotropic porous media is also valid for three-dimensional porous media, despite the increased degrees of freedom present in three dimensions in comparison to two dimensions. Using high-resolution numerical simulations of heterogeneous three-dimensional porous media, we demonstrate that the average long-term mass flux is adequately represented by an equivalent anisotropic homogenous model, even though the vertical connectivity of these models is highly complex. Finally, we discuss how these results may be used as part of an upscaling method to incorporate the effects of subgrid-scale enhanced dissolution due to convective mixing in coarse-scale simulations of CO
storage in saline aquifers.
2. Background Theory
In this section, we present a brief overview of the theoretical background to the problem of density-driven convective mixing in porous media in three dimensions. For simplicity, we consider a cuboid model of height
H and lengths
and
in the
x and
y directions, respectively, see
Figure 2. The solute concentration,
C, at the top surface (
) is fixed at equilibrium saturation
. All parameters used in this analysis and their units are described in the table of nomenclature,
Table 1.
Density-driven convective mixing of dissolved CO
in porous media is a complex phenomenon governed by coupled partial differential equations, namely Darcy’s law and the convection-diffusion equation for transport of the dissolved solute. They are commonly expressed as
and
where
is the Darcy velocity,
k is permeability,
is the dynamic viscosity,
P is the pressure,
is the fluid density,
is the acceleration due to gravity,
is the porosity of the porous medium,
C is the solute concentration,
t is time, and
D is the effective diffusion coefficient (the product of diffusivity and tortuosity [
2]). We also assume that the fluid is incompressible, whereby
Equations (
1) and (
2) are coupled by the change in fluid density as a result of the dissolved solute, which is typically provided using a relation of the form
where
is the density of the unsaturated fluid,
is the maximum solute concentration (i.e., the concentration at solute equilibrium), and
is the maximum density increase with concentration. We restrict our study to the case where
, i.e., the density of the fluid increases monotonically with increasing solute concentration, as is the case for CO
dissolved in brine.
In order to simplify the problem, we invoke the Boussinesq approximation [
19], in which case the dependence of
on
C is only retained in the buoyancy term in Equation (
1). This simplifying assumption effectively linearises the dependence of density on concentration, which is appropriate for CO
dissolved in brine due to the weak dependence of partial molar volume on concentration [
2].
The governing equations are closed with appropriate boundary and initial conditions. Assuming that the porous media is an infinitely long, horizontal reservoir of fixed height
H, the boundary conditions at the top (
) and bottom (
) surfaces are given by
respectively, where
w is the vertical component of velocity. These boundary conditions correspond to a Dirichlet boundary at the upper surface (where the concentration is fixed at its equilibrium value), and a no-flux boundary at the lower surface. The presence of a fixed concentration boundary at the upper surface is supported by previous studies, where it was observed that the interface between the supercritical CO
and brine remains sharp despite the presence of fingers of CO
saturated brine sinking into the less dense unsaturated brine [
3,
20]. In reality, this assumption is a simplification of the true interface at the boundary layer, where two phases coexist. The initial conditions are
which correspond to no initial velocity and zero initial solute concentration in the reservoir (apart from the top boundary).
Significant insight into the problem can be obtained by non-dimensionalising the governing equations using suitable scales. As we are primarily interested in the steady flux regime during convective mixing in porous media, we only consider cases where the height of the model is much larger than the vertical distance over which convective instability forms [
2]. Consequently, we scale lengths with the length over which convection and diffusion balance, so that horizontal lengths are scaled by
and vertical lengths are scaled by
[
2], where
and
are the horizontal and vertical permeabilities, respectively (We only consider the case where permeability is the same in both horizontal directions for simplicity), and
is the permeability anisotropy. Similarly, horizontal velocities are scaled by
while vertical velocity is scaled by
. Concentration
C is scaled by
, time is scaled by
, and pressure is scaled by
. The governing equations, boundary conditions and initial conditions become
where the superscript asterisk denotes a dimensionless variable,
, and
is the Rayleigh number, given by
This dimensionless number is a measure of the relative importance of density-driven convection to purely diffusive motion. When
is sufficiently large, convection may occur. Using stability analysis, it has been shown that no convection is possible for
[
10]. For
, convection is possible, with a minimum onset time depending on
[
10]. When
, the earliest possible time for the onset of a convective instability is independent of
[
10].
We note that the Rayleigh number does not appear in the dimensionless governing equations, Equations (
8) and (
9). Rather, it appears only in the boundary condition at the base of the model, Equation (
10), where the lower boundary is at a dimensionless depth
. This is due to the length scale used in the parameterisation being the length at which diffusion and advection balance, rather than any geometrical length present in the model [
21]. We choose this scaling as we are primarily interested in the steady flux regime, where the presence of a lower boundary does not influence the flux (a semi-infinite model) [
21]. This is convenient for numerical models, as
can be varied by simply changing the height of the model, with no scaling of the spatial resolution required as
is varied.
Significant research effort has been undertaken to determine critical properties of density-driven convective mixing, such as the time for the onset of convection, and the wavelength of the initial perturbations for tractable cases of homogeneous porous media, both isotropic [
3,
4,
5,
10,
20] and anisotropic [
2,
3,
4,
13]. A detailed review of these studies and the estimated values for critical parameters has been provided by Emamai-Meybodi et al. [
14], to which the reader is referred for more information.
One of the most interesting features of solutal convection is the establishment of a steady flux regime, where the mass flux over the top boundary is relatively constant, with only small fluctuations about an average value observed despite the complex interaction between the fingers of saturated fluid and the unsaturated background fluid. High resolution numerical simulations have shown that the mass flux oscillates about a constant value in the long term, with temporal variations of the order of 15% (e.g., References [
9,
12,
21]). This phenomena has also been observed experimentally in Hele-Shaw cells (e.g., References [
8,
22,
23]).
The functional form of this long-term mass flux of CO
per unit width in a two-dimensional model,
, is given by [
9]
where the constant
is calculated from numerical results. Analogous results for three dimensions have demonstrated that the mass flux exhibits similar long-term behaviour as the two-dimensional case, albeit with a slightly increased prefactor [
9,
24].
Following Neufeld et al. [
8], Green and Ennis-King [
15] developed a simple theoretical scaling for the average dissolution flux in the steady flux regime in anisotropic two-dimensional porous media, which we provide here for completeness. The conceptual model is as follows: Downward moving plumes of CO
-rich water are interspersed with upwelling plumes of fresh water. Once the upwelling plumes reach the top of the reservoir, they are forced laterally into a mixing region [
8]. The lateral flow in the mixing region acts to stabilise the diffusive boundary layer, which has thickness
, where
l is the width of the upwelling plume, and
u is the lateral fluid velocity in the mixing region.
When the porous media is isotropic, the lateral fluid velocity is equal to the vertical velocity of fluid in the upwelling plume [
8]. If the porous media is anisotropic, however, the principle of conservation of mass dictates that the ratio of the thickness of the horizontal mixing region to the width of the upwelling plume is equal to
. It then follows that ratio of the vertical fluid velocity in the upwelling plume to the lateral fluid velocity in the mixing region must scale as
. The width of the upwelling plume is inversely proportional to
to first order [
2], while vertical velocity in the upwelling plumes scales as
. The total flux into the porous media across the upper boundary, which is equal to the flux across the boundary layer
[
8], therefore scales as
in an anisotropic porous media.
This result suggests that it is the geometric mean of the vertical and horizontal permeabilities that should be used in the estimate of the mass flux in the steady flux regime [
15], in which case the average long-term mass flux for a two-dimensional anisotropic porous media is
i.e., Equation (
14) scaled by
and replacing
k with
. This functional relationship has been verified through two-dimensional numerical simulations of anisotropic homogeneous porous media [
15,
25].
Green and Ennis-King [
26] demonstrated through numerical simulations that the average mass flux in the steady flux regime during solutal convection in a two-dimensional heterogeneous porous medium was well represented by an anisotropic homogeneous porous medium with equivalent permeabilities in the vertical and horizontal directions. Several subsequent studies have also observed that the steady flux rate is dependent on the average properties of the porous medium, suggesting that heterogeneous porous media may be suitably modelled using anisotropic homogeneous porous media [
15,
27,
28,
29,
30].
3. Numerical Method
To date, the scaling relationship for the average mass flux in the steady flow regime, Equation (
15), has not been demonstrated for anisotropic and heterogeneous three-dimensional models. It is important to verify (or otherwise disprove) the theoretical scaling presented by Green and Ennis-King [
15] for two-dimensional convective mixing in the three-dimensional case. To that end, we have undertaken a series of high-resolution simulations of density-driven convective mixing in both anisotropic and heterogeneous porous media.
High-resolution numerical simulations were performed using Numbat [
31] (
https://github.com/cpgr/numbat), an open-source application developed by the authors using the Multiphysics Object-Oriented Simulation Environment (MOOSE) software framework [
32] (
http://www.mooseframework.org). Numbat solves either the dimensional (Equations (
1)–(
4)) or dimensionless (Equations (
8) and (
9)) form of the governing equations using the finite element method, and leverages powerful features of the open-source MOOSE framework, such as adaptive mesh refinement, automatic parallelism, and both continuous and discontinuous Galerkin methods to enable massively parallel simulations of density-driven convective mixing in porous media. In this study, numerical simulations using both the dimensional and dimensionless forms are used to determine the average mass flux in the steady flux regime in three-dimensional models. Fully unstructured computational meshes were used in this study, with a fine discretisation near the top boundary to adequately resolve the initial fingers, and a coarser discretisation towards the base of the model where fingers are large. At least several million elements are used in each of the three-dimensional meshes. Due to the large number of elements, each simulation was run using between 100 and 1000 cores on a large computational cluster.
The dimensionless form of the governing equations, Equation (
8) and (
9), are solved using a stream function formulation [
21,
33]. For details, see
Appendix A.
Numbat has been benchmarked against previously published results in two and three dimensions, detailed by Pruess and Zhang [
34] and Pau et al. [
9]. Qualitatively, the results obtained using Numbat are consistent with those studies. The steady flux values in these cases are similar to those reported by Pruess and Zhang [
34] and Pau et al. [
9]. Small differences in the onset time are observed, but these are likely the result of the difference in the random noise used to seed the instability. Full details are provided in the Numbat user manual [
31].
It is well known that the onset time of convection is sensitive to the initial disturbance used to seed the gravitational instability that is the driver of convective mixing [
14], whereas the steady mass flux is insensitive to the choice of initial disturbance [
14]. In this study, the gravitational instability is seeded by perturbing the model in a controlled manner. For dimensional simulations, a random noise of amplitude
is added to the initial porosity field [
26], while for the dimensionless simulations, a reproducible random noise is added to the initial diffusive concentration field [
21].
No-flow boundaries are imposed on the upper and lower faces of the model, while lateral periodicity is imposed through periodic boundary conditions. The upper boundary is fixed at a given concentration, either for the dimensionless model, or for the dimensional case, for some equilibrium concentration .
Anisotropy is imposed through varying the anisotropy ratio
in the dimensionless model. The computational models used in these anisotropic simulations have a dimensionless length of 3000 in each of the horizontal directions, and a dimensionless length of 5000 in the vertical direction. The height of the model corresponds to a Rayleigh number of
[
10]. The horizontal lengths are chosen so that a sufficiently large number of fingers are present in the model. The wavelength of the fingers at the onset of convection has the functional form
, where the parameter
has been estimated by various authors as
[
2],
[
4], or
[
13]. These estimates suggest that there will be at least one hundred fingers in the model at the onset of convection for the smallest value of anisotropy ratio, and up to several hundred for the isotropic case.
Two models of reservoir heterogeneity are considered in this study. Following the use of horizontal flow barriers as a simplified proxy for realistic heterogeneity (such as shale filled reservoirs) in two-dimensional studies of convective mixing [
15,
26,
27,
28,
30], we extend this idea to three dimensions using flat elliptical disks of various aspect ratios to represent flow barriers. The major and minor axes of the elliptical disks are drawn from Gaussian distributions
and
, respectively, where
refers to a Gaussian distribution with mean
and standard deviation
. Barrier dimensions were chosen so as to be larger than the typical finger length in the upper region of the computational mesh to provide a significant impediment to downwards flow. The distribution of barriers used in this study is depicted in
Figure 3. The mesh was suitably refined in the vicinity of the barriers to accurately capture their geometry. The distribution of barriers shown in
Figure 3 results in a permeability anisotropy of
. As for the anisotropic models, the dimensionless forms of the governing equations are solved in this case. The horizontal dimensions again have a dimensionless length of 3000, while the model has a dimensionless height of 5000.
The second model of heterogeneity uses fractional Lévy motion (fLm) to generate a spatially-varying permeability field, as non-Gaussian structure has been observed in sedimentary formations [
35,
36,
37]. A model with fLm structure was generated using a midpoint displacement algorithm with successive random additions [
38] drawn from a Lévy distribution with width parameter
and Hurst parameter
[
39]. A heterogeneous permeability field was then constructed as
, where
m
is a mean permeability (approximately 400 mD), and
is a random number sampled from the Lévy distribution with width parameter
and Hurst parameter
H. This results in a heterogeneous model with permeability varying over three orders of magnitude, see
Figure 4. Within each cell, the vertical permeability was scaled so that the overall permeability anisotropy was
. All other reservoir properties are representative of a low salinity aquifer at a depth of approximately 1 km, and are given in
Table 2. The dimensions of the model are 10 m in all directions.
In contrast to the two-dimensional case, where multiple statistical realisations of heterogeneity are used to investigate their effect on solutal convection [
15,
26], the computational expense of three-dimensional simulations precludes a probabilistic study. As a result, only two statistical realisations of each permeability heterogeneity are considered.
5. Discussion
High-resolution numerical simulations of density-driven convective mixing in three-dimensional porous media have been undertaken to examine the applicability of the theoretical scaling for the steady flux in two-dimensional models developed by Green and Ennis-King [
15] to three-dimensional models. In so doing, it was demonstrated that the average mass flux in the steady flux regime also scales as
in three dimensional anisotropic porous media.
Two models of permeability heterogeneity were considered, and in each case, it was demonstrated that the magnitude of the average flux in the steady flux regime for these models of permeability heterogeneity were well represented by anisotropic homogeneous porous models with effective permeabilities that provide an equivalent Darcy flux. This finding extends the earlier findings for two-dimensional heterogeneous porous media [
15,
26] to the more realistic case of three-dimensional models. Qualitatively similar behaviour between heterogeneous and homogeneous three-dimensional models were obtained by Soltanian et al. [
29] for different models of heterogeneity when comparing the dynamics of convection using a different measure of convection to the steady flux considered here.
In both cases of heterogeneity studied here, we observed that the onset time of convection was shorter in the heterogeneous model in comparison to the equivalent anisotropic model. This lends further support to the hypothesis that local regions of comparatively high permeability can influence the critical onset time and wavelength of the fingers in heterogeneous media [
15]. These regions of high local permeability are not present in the anisotropic model, having been averaged out through upscaling to effective permeabilities. As a result, the onset time is delayed in anisotropic models in comparison to heterogeneous models. This is in contrast to the steady flux, which appears to be insensitive to local permeability and is instead governed by the large-scale effective permeability [
15,
26].
The observation that convection occurs much sooner in heterogeneous models in comparison to an equivalent anisotropic homogeneous model while still exhibiting similar average flux in the steady flux regime over the long term suggests that it may be possible to incorporate the enhanced dissolution due to convection at the fine-scale in coarse-scale simulations, by assuming that convection begins immediately and that the rate of mass flux into the liquid phase is constant while a gas phase remains present. This lends support to initial attempts to include enhanced dissolution due to convection at the sub-grid scale using these simplifying assumptions [
16,
17,
18].
Due to the fundamental importance of convective mixing on the rate of dissolution and hence the total amount of CO
that is immobilised in the denser liquid phase, upscaled models that implement this accelerated dissolution are necessary for reliable numerical predictions of the long-term fate of CO
storage in saline aquifers. These upscaled models must be informed by theoretical estimates of the dissolution events, such as average dissolution in the steady flux regime [
9,
15,
21]. As previously discussed, results such as those presented here, as well as earlier studies [
15,
26,
27,
29], suggest that it may be possible to approximate the steady flux regime in heterogenous porous media using an upscaled model with effective parameters. Additionally, if the onset time for convection is small in comparison to the total simulation time, then the dissolution flux may, to first order, be approximated by the steady flux for all time (as implemented in previous attempts to incorporate enhanced dissolution due to convection in large-scale models as discussed above [
16,
17,
18]). This implies that it may be possible to adequately represent a heterogeneous model with an anisotropic model with equivalent effective permeabilities, even though the onset time in the heterogeneous model is likely to be earlier than in the anisotropic model. This follows from the observation that if the rate of dissolution in both heterogeneous and anisotropic models is similar, then the relative difference between the total dissolved solute due to the difference in onset time in both cases becomes smaller as time increases. If the total simulation time greatly exceeds the onset time, then the difference due to the delayed onset time in the anisotropic model is likely to be small in comparison to the total dissolved amount.
The results presented in this study have been obtained using an idealised representation of the physics involved. Only a single fluid phase has been considered, with an unlimited supply of saturated fluid provided using a constant concentration boundary condition at the top surface. This is a commonly used simplification of the more realistic two-phase boundary that would exist at the interface of the saturated and unsaturated fluids. The presence of a capillary transition zone has also been ignored, as has the possibility of geochemical reactions. Different realisations of permeability heterogeneity may result in cases where the steady flux regime is not adequately represented using an equivalent anisotropic model. A detailed review of the impact that these complicating factors may have on the convective mixing process can be found in Emami-Meybodi et al. [
14], to which the reader is referred for further details.