Abstract
Relating the attenuation and velocity dispersion of seismic waves to fluid pressure diffusion (FDP) by means of numerical simulations is essential for constraining the mechanical and hydraulic properties of heterogeneous porous rocks. This, in turn, is of significant importance for a wide range of prominent applications throughout the Earth, environmental, and engineering sciences, such as, for example, geothermal energy production, hydrocarbon exploration, nuclear waste disposal, and CO2 storage. In order to assess the effects of wave-induced FDP in heterogeneous porous rocks, we simulate time-harmonic oscillatory tests based on a finite element (FE) discretization of Biot’s equations in the time-frequency domain for representative elementary volumes (REVs) of the considered rock masses. The major challenge for these types of simulations is the creation of adequate computational meshes, which resolve the numerous and complex interfaces between the heterogeneities and the embedding background. To this end, we have developed a novel method based on adaptive mesh refinement (AMR), which allows for the fully automatic creation of meshes for strongly heterogenous media. The key concept of the proposed method is to start from an initially uniform coarse mesh and then to gradually refine elements which have non-empty overlaps with the embedded heterogeneities. This results in a hierarchy of non-uniform meshes with a large number of elements close to the interfaces, which do, however, not need to be explicitly resolved. This dramatically simplifies and accelerates the laborious and time-consuming process of meshing strongly heterogeneous poroelastic media, thus enabling the efficient simulation of REVs containing heterogeneities of quasi-arbitrary complexity. After a detailed description of the methodological foundations, we proceed to demonstrate that the FE discretization with low-order FE has a unique solution and hence does not present spurious modes. We assess the practical effectiveness and accuracy of the proposed method by means of four case studies of increasing complexity.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Amestoy, P.R., Duff, I.S., L’excellent, J.Y.: Multifrontal parallel distributed symmetric and unsymmetric solvers. Comput. Methods Appl. Mech. Eng. 184(2-4), 501–520 (2000)
Bangerth, W., Hartmann, R., Kanschat, G.: deal.ii – a general-purpose object-oriented finite element library. ACM Trans. Math. Softw. (TOMS) 33(4), 24 (2007)
Berger, M.J., Colella, P.: Local adaptive mesh refinement for shock hydrodynamics. J. Comput. Phys. 82 (1), 64–84 (1989)
Bielak, J., Ghattas, O., Kim, E.: Parallel octree-based finite element method for large-scale earthquake ground motion simulation. Comput. Model. Eng. Sci. 10(2), 99 (2005)
Biot, M.A.: General theory for three-dimensional consolidation. J. Appl. Phys. 12, 155–164 (1941)
Biot, M.A.: Theory of propagation of elastic waves in a fluid-saturated porous solid. I. Low frequency range. J. Acoust. Soc. Amer. 28, 168–178 (1956)
Biot, M.A.: Theory of propagation of elastic waves in a fluid-saturated porous solid. II. High frequency range. J. Acoust. Soc. Amer. 28, 179–191 (1956)
Biot, M.A.: Mechanics of deformation and acoustic propagation in porous media. J. Appl. Phys. 33, 1482–1498 (1962)
Bochev, P., Lehoucq, R.: Energy principles and finite element methods for pure traction linear elasticity. Comput. Methods Appl. Math. Comput. Methods Appl. Math. 11(2), 173–191 (2011)
Boffi, D.: On the finite element method on quadrilateral meshes. Appl. Numer. Math. 56(10-11), 1271–1282 (2006)
Bourbié, T., Coussy, O., Zinszner, B.: Acoustics of porous media. Editions Technip (1987)
Brezzi, F., Fortin, M.: Mixed and hybrid finite element methods. Springer, New York, Inc. (1991)
Brezzi, F., Pitkäranta, J.: On the stabilization of finite element approximations of the stokes equations. In: Efficient solutions of elliptic systems, pp. 11–19. Springer (1984)
Brown, J.D., Lowe, L.L.: Multigrid elliptic equation solver with adaptive mesh refinement. J. Comput. Phys. 209(2), 582–598 (2005)
Burstedde, C., Wilcox, L.C., Ghattas, O.: p4est: Scalable algorithms for parallel adaptive mesh refinement on forests of octrees. SIAM J. Sci. Comput. 33(3), 1103–1133 (2011)
Carcione, JM., Helle, H. B., Pham, N.H.: White’s model for wave propagation in partially saturated rocks: comparison with poroelastic numerical experiments. Geophysics 68, 1389–1398 (2003)
Carcione, J.M., Quiroga-goode, G.: Some aspects of the physics and numerical modeling of Biot compressional waves. J. Comput. Acoust. 3, 261–280 (1995)
Carstensen, C., Hu, J.: Hanging nodes in the unifying theory of a posteriori finite element error control. J. Comput. Math. 27(2/3), 215–236 (2009). http://www.jstor.org/stable/43693503
Carstensen, C., Hu, J., Orlando, A.: Framework for the a posteriori error analysis of nonconforming finite elements. SIAM J. Numer. Anal. 45(1), 68–82 (2007). http://www.jstor.org/stable/40232918
Dörfler, W.: A convergent adaptive algorithm for Poisson’s equation. SIAM J. Numer. Anal. 33(3), 1106–1124 (1996)
de Dreuzy, J.R., Davy, P., Bour, O.: Hydraulic properties of two-dimensional random fracture networks following a power law length distribution: 1. Effective connectivity. Water Resour. Res. 37, 2065–2078 (2001)
Düster, A., Parvizian, J., Yang, Z., Rank, E.: The finite cell method for three-dimensional problems of solid mechanics. Comput. Methods Appl. Mech. Eng. 197(45), 3768–3782 (2008). https://doi.org/10.1016/j.cma.2008.02.036. http://www.sciencedirect.com/science/article/pii/S0045782508001163
Ern, A., Meunier, S.: A posteriori error analysis of euler-galerkin approximations to coupled elliptic-parabolic problems. ESAIM: Math. Modell. Numer. Anal. 43(2), 353–375 (2009)
Favino, M., Grillo, A., Krause, R.: A stability condition for the numerical simulation of poroelastic systems. In: Poromechanics V: Proceedings of the Fifth Biot Conference on Poromechanics, pp. 919–928 (2013)
Favino, M., Hunziker, J., Holliger, K., Krause, R.: An accuracy condition for the finite element discretization of Biot’s 4quations on triangular meshes. In: Poromechanics VI, pp. 172–181 (2017)
Gaston, D., Newman, C., Hansen, G., Lebrun-Grandie, D.: Moose: a parallel computational framework for coupled systems of nonlinear equations. Nucl. Eng. Des. 239(10), 1768–1778 (2009)
Griebel, M., Scherer, K., Schweitzer, M.: Robust norm equivalencies for diffusion problems. Math. Comput. 76(259), 1141–1161 (2007)
Hou, T.Y., Wu, X.H.: A multiscale finite element method for elliptic problems in composite materials and porous media. J. Comput. Phys. 134(1), 169–189 (1997)
Hunziker, J., Favino, M., Caspari, E., Quintal, B., Rubino, J. G., Krause, R., Holliger, K.: Seismic attenuation in realistic fracture networks. Proceedings of the 6th Biot Conference on Poromechanics (2017)
Hunziker, J., Favino, M., Caspari, E., Quintal, B., Rubino, J.G., Krause, R., Holliger, K.: Seismic attenuation and stiffness modulus dispersion in porous rocks containing stochastic fracture networks. Journal of Geophysical Research (2018)
Jänicke, R., Quintal, B., Steeb, H.: Numerical homogenization of mesoscopic loss in poroelastic media. Eur. J. Mech. A/Solids 49, 382–395 (2015)
Johnson, D.L.: Theory of frequency dependent acoustics in patchy-saturated porous media. J. Acoust. Soc. Amer. 110, 682–694 (2001)
Kirk, B.S., Peterson, J.W., Stogner, R.H., Carey, G.F.: libmesh: a c++ library for parallel adaptive mesh refinement/coarsening simulations. Eng. Comput. 22(3-4), 237–254 (2006)
Kornhuber, R., Krause, R.: Adaptive multigrid methods for signorini’s problem in linear elasticity. Comput. Vis. Sci. 4(1), 9–20 (2001). https://doi.org/10.1007/s007910100052
Krzikalla, F., Müller, T.M.: Anisotropic p-SV-wave dispersion and attenuation due to inter-layer flow in thinly layered porous rocks. Geophysics 76, WA135–WA145 (2011)
Kuteynikova, M., Tisato, N., Jänicke, R., Quintal, B.: Numerical modeling and laboratory measurements of seismic attenuation in partially saturated rock. Geophysics 79, L13–L20 (2014)
Lambert, G., Gurevich, B., Brajanovski, M.: Attenuation and dispersion of P-waves in porous rocks with planar fractures: Comparison of theory and numerical simulations. Geophysics 71, N41–N45 (2006)
Li, S., Xu, Z., Ma, G., Yang, W.: An adaptive mesh refinement method for a medium with discrete fracture network: the enriched persson?s method. Finite Elem. Anal. Des. 86, 41–50 (2014)
Masson, Y.J., Pride, S.R.: Poroelastic finite difference modeling of seismic attenuation and dispersion due to mesoscopic-scale heterogeneity. J. Geophys. Res. 112, B03,204 (2007)
Masson, Y.J., Pride, S.R.: Seismic attenuation due to patchy saturation. J. Geophys. Res. 116, B03,206 (2011)
Mavko, G., Mukerji, T., Dvorkin, J.: The rock physics handbook, 2nd edn. Cambridge University Press (2009)
Mavko, G., Mukerji, T., Dvorkin, J.: The rock physics handbook: Tools for seismic analysis of porous media. Cambridge University Press (2009)
Müller, T.M., Gurevich, B., Lebedev, M.: Seismic wave attenuation and dispersion resulting from wave-induced flow in porous rocks - a review. Geophysics 75, 75A147–75A164 (2010)
Norris, A.N.: Low-frequency dispersion and attenuation in partially saturated rocks. J. Acoust. Soc. Amer. 94, 359–370 (1993)
Oden, J.T., Demkowicz, L.: Applied functional analysis. CRC Press, Boca Raton (2010)
Odsæter, L.H., Kvamsdal, T., Larson, M.G.: A simple embedded discrete fracture–matrix model for a coupled flow and transport problem in porous media. Comput. Methods Appl. Mech. Eng. 343, 572–601 (2019)
Pride, S.R., Berryman, J.G., Harris, J.M.: Seismic attenuation due to wave-induced flow. J. Geophys. Res. 109, B01,201 (2004)
Quintal, B., Jänicke, R., Rubino, J.G., Steeb, H., Holliger, K.: Sensitivity of S-wave attenuation to the connectivity of fractures in fluid-saturated rocks, vol. 79 (2014)
Quintal, B., Steeb, H., Frehner, M., Schmalholz, S.M.: Quasi-static finite element modeling of seismic attenuation and dispersion due to wave-induced fluid flow in poroelastic media. J. Geophys. Res. 116, B01,201 (2011)
Riedlbeck, R., Pietro, D.A.D., Ern, A., Granet, S., Kazymyrenko, K.: Stress and flux reconstruction in biot’s poro-elasticity problem with application to a posteriori error analysis. Comput. Math. Appl. 73(7), 1593–1610 (2017). https://doi.org/10.1016/j.camwa.2017.02.005
Rubino, J.G., Caspari, E., Müller, T.M., Milani, M., Barbosa, N. D., Holliger, K.: Numerical upscaling in 2-D heterogeneous poroelastic rocks: anisotropic attenuation and dispersion of seismic waves. J. Geophys. Res. Solid Earth 121, 6698–6721 (2016)
Rubino, J. G., Guarracino, L., Müller, T. M., Holliger, K.: Do seismic waves sense fracture connectivity?. Geophys. Res. Lett. 40, 692–696 (2013)
Rubino, J.G., Ravazzoli, C.L., Santos, J.E.: Equivalent viscoelastic solids for heterogeneous fluid-saturated porous rocks. Geophysics 74, N1–N13 (2009)
Sampath, R.S., Biros, G.: A parallel geometric multigrid method for finite elements on octree meshes. SIAM J. Sci. Comput. 32(3), 1361–1392 (2010)
Sarkis, M.: Partition of unity coarse spaces: enhanced versions, discontinuous coefficients and applications to elasticity. Domain decomposition methods in science and engineering, pp. 149–158 (2003)
Sauter, S.A., Warnke, R.: Composite finite elements for elliptic boundary value problems with discontinuous coefficients. Computing 77(1), 29–55 (2006)
Walloth, M., Krause, R.: Adaptive numerical simulation of dynamic contact problems. In: Abdulle, A., Deparis, S., Kressner, D., Nobile, F., Picasso, M. (eds.) Numerical mathematics and advanced applications - ENUMATH 2013, pp 273–281. Springer International Publishing, Cham (2015)
Wang, H.F.: Theory of linear poroelasticity with applications to geomechanics and hydrogeology. Princeton University Press (2017)
White, J.E.: Computed seismic speeds and attenuation in rocks with partial gas saturation. Geophysics 40, 224–232 (1975)
White, J.E., Mikhaylova, N.G., Lyakhovitskiy, F.M.: Low-frequency seismic waves in fluid-saturated layered rocks. Izvestija Acad. Sci. USSR 11, 654–659 (1975)
Young, D.P., Melvin, R.G., Bieterman, M.B., Johnson, F.T., Samant, S.S., Bussoletti, J.E.: A locally refined rectangular grid finite element method: application to computational fluid dynamics and computational physics. J. Comput. Phys. 92(1), 1–66 (1991)
Acknowledgments
This work has been completed within the Swiss Competence Center on Energy Research - Supply of Electricity with support of the Innosuisse. The software package Parrot is available upon request to the authors.
Funding
Marco Favino acknowledges gratefully the support of the Swiss National Science Foundation (SNSF) through the grant PZ00P2_180112.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A: weak formulation of Biot’s equations
1.1 A.1 Mathematical preliminaries
We denote by \(\mathbb C\) the set of complex numbers and by \(\mathrm {j}~=~\sqrt {-1}\) the imaginary unit. For a number \(a~\in ~\mathbb C\), the symbol a∗ will denote the complex conjugate, \(\Re {\{a\}}\in \mathbb R\) the real part, and \(\Im {\{a\}}\in \mathbb R\) the imaginary part. Given two elements \(a,b\in \mathbb C\), we introduce the product \((a,b)_{\mathbb C} : =a b^{*}\) so that the modulus of a can be computed as \(|a|~=~\sqrt {(a,a)_{\mathbb C}}\). \(\mathbb V\) is the complex Euclidean space \(\mathbb C^{d}\) provided with the inner product
The space of the second-order tensors over \(\mathbb V\) is denoted by \(\mathbb M\). Once a basis is introduced over \(\mathbb V\), the space \(\mathbb M\) can be identified with \(\mathbb C^{d\times d}\) and we provide it with the scalar product
For a tensor σ̲̲ and the symbol σ̲ ̲H denotes the adjoint whose components are \(\sigma _{ik}^{H} = (\sigma _{ki})^{*}\) and the symbol σT denotes the transpose whose components are \( \sigma _{ik}^{T}~=~\sigma _{ki}\). The symmetric part of a tensor is denoted by
while the Hermitian part is denoted by
The symbol \(\text {tr}(\underline {\underline {\sigma }})\) is the usual trace operator. The operators ∗, R, and, I are intended to be applied component-wise to a vector or a tensor.
Before deriving the weak formulation of Biot’s equations, we first introduce the suitable function spaces. Given a vector space \(\mathbb W\), which can be \(\mathbb R\), \(\mathbb C\), \(\mathbb V\), or \(\mathbb M\), for \(p \in [1,\infty )\), we denote with \(L^{p}({\Omega },\mathbb W)\) the space of p-integrable functions defined on Ω with values in \(\mathbb W\). The space \(L^{2}({\Omega }, \mathbb W)\) is endowed with the scalar product
and the norm
Instead, \(L^{\infty }({\Omega },W)\) is the space of the essentially bounded functions defined on Ω. The operators ∇ and div are the usual gradient and divergence operators, respectively. They are intended to be applied to the real and the imaginary parts separately. For example, given a function \(p : {\Omega } \to \mathbb C\), the gradient is defined as
The symmetric gradient of a function \( \underline {v} : {\Omega } \to \mathbb V\) is denoted by
and the following identity holds
where \( \underline {\underline {I}}\) is the second-order identity tensor. We define the following spaces:
and
endowed with the standard H1 scalar products. We denote as
Finally, in order to simplify the notation, we define the following function spaces \(V=H^1_{\Gamma }({\Omega }, \mathbb V)\) and \(Q=H^1_{\Gamma }({\Omega }, \mathbb C)\).
1.2 A.2 Weak formulation of Biot’s equations with periodic boundary conditions
In order to formally derive the weak formulation of the system of Eqs. 1 and 2, we first consider a test function \( \underline {v}\in V\), multiply (1) by \(\underline {v}^{*}\), and integrate over Ω
Using Green’s formula, we obtain
The symmetry of \( \underline {\underline {\sigma }}\) implies that
and, finally, using the fact that the test functions belong to V and the boundary conditions (7), we observe that the boundary integral at the right-hand side vanishes giving
Similarly, for Eq. 2, we consider a test function q ∈ Q. Multiplying this equation by q∗ and integrating over Ω, we obtain
Applying again Green’s formula, the last term becomes
As for the linear momentum equation, the boundary integral vanishes and we obtain
In order to include the external relative displacement, we define the set
Hence, exploiting the definition of stress (4), the weak formulation of Biot’s equation can be written as Find \((\underline {u}, p) \in U\times Q\) such that
where
In Eq. 35, the right-hand side is null since we assume no external force is acting on the REV. The external loads are encoded in the essential boundary conditions in the set U. In order to formally express these boundary conditions, the displacement can be written as
where \( \underline {u}_{0}\) belongs to V and \( \underline {u}_{\underline {\boldsymbol {\alpha }}}\) is a lifting function, which can be any element in U. Hence, for a given \( \underline {u}_{\underline {\boldsymbol {\alpha }}}\), the problem (35) can be written as Find (u̲0,p) ∈ V × Q such that
The solution can then be computed from Eq. 37. Finally, we also observe that \( \underline {u}_{0}\) is defined up to a constant vector, since for any constant \( \underline {c}\), \((\underline {u}_{0}+ \underline {c},p)\) is also a solution of Eq. 38. In order to eliminate this ambiguity, the space V can be replaced with
1.3 A.3 Properties of bilinear forms
The analysis of problem (38) is not trivial. Similar problems on real function spaces have been considered in [12]. Here, we limit ourselves to prove two properties that are useful for the analysis of the discrete problem.
While for Hermitian complex bilinear forms, the proof of coercivity is just a simple extension of the real case, it needs to be generalized for non-Hermitian bilinear forms [45]. In particular, we say that a bilinear form c(⋅,⋅) defined over a complex Hilbert space Q is \(\mathbb C\)-coercive, if there exists a constant γ such that \(|c(p,p)|>\gamma \| p \|_{Q}^{2}\) for all p ∈ Q.
Property 1
The bilinear form a(⋅,⋅) is coercive over V0 with coercivity constant
where μ is the shear modulus. This can be seen observing that \(a(\underline{u}, \underline{u})= a(\Re \underline{u}, \Re \underline{u}) + a(\Im \underline{u}, \Im \underline{u})\). Applying Korn’s inequality to both bilinear forms at the right-hand side, coercivity can be easily proven [9].
Property 2
The bilinear form d(⋅,⋅) is \(\mathbb C\)-coercive over Q, with coercivity constant \(\delta = \frac {1}{2} \min \limits (\frac {c_{0}}{\omega } , m_{0} )\), where
We observe that
and
Summing up (41) and (42), we obtain
B Finite element discretization of Biot’s equations
Let \(\mathcal {T}\) be a 1-irregular triangulation of Ω. We denote by \(\mathbb Q_{1}\) the space of real bilinear functions for d = 2 and of real trilinear functions for d = 3. We define the conforming interpolation spaces over \(\mathcal {T}\)
and
The dimension of the space \(X_{\mathcal {T}}\) is Nr and the dimension of the space \(Y_{\mathcal {T}}\) is dNr. In order to include boundary conditions in the interpolation spaces above, we define \( V_{\mathcal {T}}= Y_{\mathcal {T}} \cap V\), and \(Q_{\mathcal {T}}=X_{\mathcal {T}} \cap Q\). For any \(\underline {u}_{\underline {\boldsymbol {\alpha }}}\), the FE approximation of problem (38) has the following form:
Find \((\underline {u}_{0h}, p_{h}) \in V_{\mathcal {T}} \times Q_{\mathcal {T}}\) such that
2.1 B.1 Uniqueness of the solution of the discretized of Biot’s equations
In order to prove the uniqueness of solution of problem (46), we first rewrite it in an algebraic form by introducing the basis functions \(\{{\Phi }_{j} \in V_{\mathcal {T}}\}\) and \(\{\phi _{l} \in Q_{\mathcal {T}}\}\) of \( V_{\mathcal {T}}\) and \(Q_{\mathcal {T}}\), respectively. Expanding the two components of the solution with respect to the basis functions, we obtain a linear system with the following block structure:
where \(\mathbf {A}\in \mathbb R^{d{N_{h}^{r}} \times d{N_{h}^{r}}}\), \(\mathbf {B}\in \mathbb R^{{N_{h}^{r}} \times d{N_{h}^{r}}}\), and \(\mathbf {D}\in \mathbb C^{{N_{h}^{r}} \times {N_{h}^{r}}}\) are the matrices related to the bilinear forms a, b, and d, respectively. The elements of such matrices are given by Aij = a(Φj,Φi), Bkj = b(Φj,ϕk), and Dkl = d(ϕl,ϕk). The vectors \(\textbf {u}\in \mathbb C^{d{N_{h}^{r}}}\) and \(\textbf {p}\in \mathbb C^{{N_{h}^{r}}}\) are the vectors collecting the unknown Lagrange coefficients of the discrete displacement and pressure, respectively. The two vectors at the right-hand side are defined as fi = −a(u̲α,Φi) and gk = jb(u̲α,ϕk). The matrix D can be written as \(\textbf {D}=\frac {1}{\omega } \textbf {C} + \mathrm {j} \textbf {M}\).
The stiffness matrix in the linear system (47) is indefinite and we show that it is invertible thanks to from properties 1 and 2. First, owing to property 1, A is Hermitian and semi-positive definite, having in its kernel the displacements associated with rigid body motions. Hence, u can be formally computed from
where u is defined up to a vector in the kernel of A.
Replacing this equation in the second line of Eq. 47, we obtain
where S = D + jBA− 1BT. Before proving that S is invertible, we observe that BA− 1BT is symmetric and semi-positive definite and M, being a scaled mass matrix, is symmetric and positive definite.
Property 3
The matrix S is regular.
Let us suppose by contradiction that S is not regular. This means there exists a non-trivial vector r associated with a function \(r_{h}~\varepsilon ~Q_{\mathcal T}\), such that Sr = 0. Hence, by definition of S, we obtain
Therefore, property (2) leads to a contradiction
which proves the invertibility of S. This ensures the uniqueness of p, while (48) ensures that of u. The uniqueness of p ensures that the FE problem (46) does not present spurious modes.
Rights and permissions
About this article
Cite this article
Favino, M., Hunziker, J., Caspari, E. et al. Fully-automated adaptive mesh refinement for media embedding complex heterogeneities: application to poroelastic fluid pressure diffusion. Comput Geosci 24, 1101–1120 (2020). https://doi.org/10.1007/s10596-019-09928-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10596-019-09928-2
Keywords
- Adaptive mesh refinement
- Finite element method
- Biot’s equations
- Poroelasticity
- Fluid pressure diffusion
- Seismic attenuation and velocity dispersion