-
Unexpected fault activation in underground gas storage. Part II: Definition of safe operational bandwidths
Authors:
Selena Baldan,
Massimiliano Ferronato,
Andrea Franceschini,
Carlo Janna,
Claudia Zoccarato,
Matteo Frigo,
Giovanni Isotton,
Cristiano Collettini,
Chiara Deangeli,
Vera Rocca,
Francesca Verga,
Pietro Teatini
Abstract:
Underground gas storage is a versatile tool for managing energy resources and addressing pressing environmental concerns. While natural gas is stored in geological formations since the beginning of the 20th century, hydrogen has recently been considered as a potential candidate toward a more flexible and sustainable energy infrastructure. Furthermore, these formations can also be used to sequester…
▽ More
Underground gas storage is a versatile tool for managing energy resources and addressing pressing environmental concerns. While natural gas is stored in geological formations since the beginning of the 20th century, hydrogen has recently been considered as a potential candidate toward a more flexible and sustainable energy infrastructure. Furthermore, these formations can also be used to sequester environmentally harmful gases such as CO2. When such operations are implemented in faulted basins, however, safety concerns may arise due to the possible reactivation of pre-existing faults, which could result in (micro)-seismicity events. In the Netherlands, it has been recently noted that fault reactivation can occur "unexpectedly" during the life of an underground gas storage (UGS) site, even when stress conditions are not expected to cause a failure. The present two-part work aims to develop a modeling framework to investigate the physical mechanisms causing such occurrences and define a safe operational bandwidth for pore pressure variation for UGS operations in the faulted reservoirs of the Rotliegend formation, the Netherlands. In this follow-up paper, we investigate in detail the mechanisms and crucial factors that result in fault reactivation at various stages of a UGS. The mathematical and numerical model described in Part I is used, also accounting for the effect of geochemical dissolution on reservoir and caprock weakening. TThe study investigates the risks of fault activation caused by the storage of different fluids for various purposes, such as long-term CO2 sequestration, CH4 and N2 injection and extraction cycles, and N2 permanent storage. The results show how geomechanical properties and reservoir operating conditions may increase the risk of fault reactivation at various UGS stages. Finally, operational guidelines for improving secure storage operations are presented.
△ Less
Submitted 9 September, 2024; v1 submitted 2 August, 2024;
originally announced August 2024.
-
A multigrid reduction framework for domains with symmetries
Authors:
Àdel Alsalti-Baldellou,
Carlo Janna,
Xavier Álvarez-Farré,
F. Xavier Trias
Abstract:
Divergence constraints are present in the governing equations of numerous physical phenomena, and they usually lead to a Poisson equation whose solution represents a bottleneck in many simulation codes. Algebraic Multigrid (AMG) is arguably the most powerful preconditioner for Poisson's equation, and its effectiveness results from the complementary roles played by the smoother, responsible for dam…
▽ More
Divergence constraints are present in the governing equations of numerous physical phenomena, and they usually lead to a Poisson equation whose solution represents a bottleneck in many simulation codes. Algebraic Multigrid (AMG) is arguably the most powerful preconditioner for Poisson's equation, and its effectiveness results from the complementary roles played by the smoother, responsible for damping high-frequency error components, and the coarse-grid correction, which in turn reduces low-frequency modes. This work presents several strategies to make AMG more compute-intensive by leveraging reflection, translational and rotational symmetries. AMGR, our final proposal, does not require boundary conditions to be symmetric, therefore applying to a broad range of academic and industrial configurations. It is based on a multigrid reduction framework that introduces an aggressive coarsening to the multigrid hierarchy, reducing the memory footprint, setup and application costs of the top-level smoother. While preserving AMG's excellent convergence, AMGR allows replacing the standard sparse matrix-vector product with the more compute-intensive sparse matrix-matrix product, yielding significant accelerations. Numerical experiments on industrial CFD applications demonstrated up to 70% speed-ups when solving Poisson's equation with AMGR instead of AMG. Additionally, strong and weak scalability analyses revealed no significant degradation.
△ Less
Submitted 31 August, 2024; v1 submitted 8 July, 2024;
originally announced July 2024.
-
Unexpected fault activation in underground gas storage. Part I: Mathematical model and mechanisms
Authors:
Andrea Franceschini,
Claudia Zoccarato,
Selena Baldan,
Matteo Frigo,
Massimiliano Ferronato,
Carlo Janna,
Giovanni Isotton,
Pietro Teatini
Abstract:
Underground gas storage (UGS) is a worldwide well-established technology that is becoming even more important to cope with seasonal peaks of gas consumption due to the growing uncertainties of the energy market. Safety issues concerning the reactivation of pre-existing faults might arise if the target reservoir is located in a faulted basin, where human activities can trigger (micro-)seismicity ev…
▽ More
Underground gas storage (UGS) is a worldwide well-established technology that is becoming even more important to cope with seasonal peaks of gas consumption due to the growing uncertainties of the energy market. Safety issues concerning the reactivation of pre-existing faults might arise if the target reservoir is located in a faulted basin, where human activities can trigger (micro-)seismicity events. In the Netherlands, it has been observed that fault activation can occur somehow "unexpectedly" after the primary production (PP), i.e., during cushion gas injection (CGI) and UGS cycles, when the stress regime should be in the unloading/reloading path. To understand the physical mechanisms responsible for such occurrences, a 3D mathematical model coupling frictional contact mechanics in faulted porous rocks with fluid flow is developed, implemented and tested. The final aim of this two-part work is to define a safe operational bandwidth for the pore pressure range for UGS activities in the faulted reservoirs of the Rotliegend formation. Part I of this work concerns the development of the mathematical and numerical model of frictional contact mechanics and flow in faulted porous rocks. A mixed discretization of the governing PDEs under frictional contact constraints along the faults is used. A slip-weakening constitutive law governing the fault macroscopic behavior is also presented. The model is tested in the setting of an ideal reservoir located in the Rotliegend formation. The analyses point out how fault reactivation during PP can lead to a stress redistribution, giving rise to a new equilibrium configuration. When the fault is reloaded in the opposite direction during the CGI and/or UGS stages, further activation events can occur even if the stress range does not exceed either the undisturbed initial value or the maximum strength ever experienced by the formation.
△ Less
Submitted 4 August, 2023;
originally announced August 2023.
-
Parallel Energy-Minimization Prolongation for Algebraic Multigrid
Authors:
Carlo Janna,
Andrea Franceschini,
Jacob B. Schroder,
Luke Olson
Abstract:
Algebraic multigrid (AMG) is one of the most widely used solution techniques for linear systems of equations arising from discretized partial differential equations. The popularity of AMG stems from its potential to solve linear systems in almost linear time, that is with an O(n) complexity, where n is the problem size. This capability is crucial at the present, where the increasing availability o…
▽ More
Algebraic multigrid (AMG) is one of the most widely used solution techniques for linear systems of equations arising from discretized partial differential equations. The popularity of AMG stems from its potential to solve linear systems in almost linear time, that is with an O(n) complexity, where n is the problem size. This capability is crucial at the present, where the increasing availability of massive HPC platforms pushes for the solution of very large problems. The key for a rapidly converging AMG method is a good interplay between the smoother and the coarse-grid correction, which in turn requires the use of an effective prolongation. From a theoretical viewpoint, the prolongation must accurately represent near kernel components and, at the same time, be bounded in the energy norm. For challenging problems, however, ensuring both these requirements is not easy and is exactly the goal of this work. We propose a constrained minimization procedure aimed at reducing prolongation energy while preserving the near kernel components in the span of interpolation. The proposed algorithm is based on previous energy minimization approaches utilizing a preconditioned restricted conjugate gradients method, but has new features and a specific focus on parallel performance and implementation. It is shown that the resulting solver, when used for large real-world problems from various application fields, exhibits excellent convergence rates and scalability and outperforms at least some more traditional AMG approaches.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Parallel Matrix-free polynomial preconditioners with application to flow simulations in discrete fracture networks
Authors:
L. Bergamaschi,
M. Ferronato,
G. Isotton,
C. Janna,
A. Martinez
Abstract:
We develop a robust matrix-free, communication avoiding parallel, high-degree polynomial preconditioner for the Conjugate Gradient method for large and sparse symmetric positive definite linear systems. We discuss the selection of a scaling parameter aimed at avoiding unwanted clustering of eigenvalues of the preconditioned matrices at the extrema of the spectrum. We use this preconditioned framew…
▽ More
We develop a robust matrix-free, communication avoiding parallel, high-degree polynomial preconditioner for the Conjugate Gradient method for large and sparse symmetric positive definite linear systems. We discuss the selection of a scaling parameter aimed at avoiding unwanted clustering of eigenvalues of the preconditioned matrices at the extrema of the spectrum. We use this preconditioned framework to solve a $3 \times 3$ block system arising in the simulation of fluid flow in large-size discrete fractured networks. We apply our polynomial preconditioner to a suitable Schur complement related with this system, which can not be explicitly computed because of its size and density. Numerical results confirm the excellent properties of the proposed preconditioner up to very high polynomial degrees. The parallel implementation achieves satisfactory scalability by taking advantage from the reduced number of scalar products and hence of global communications.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
A Reverse Augmented Constraint preconditioner for Lagrange multiplier methods in contact mechanics
Authors:
Andrea Franceschini,
Matteo Frigo,
Carlo Janna,
Massimiliano Ferronato
Abstract:
Frictional contact is one of the most challenging problems in computational mechanics. Typically, it is a tough nonlinear problem often requiring several Newton iterations to converge and causing troubles also in the solution to the related linear systems. When contact is modeled with the aid of Lagrange multipliers, the impenetrability condition is enforced exactly, but the associated Jacobian ma…
▽ More
Frictional contact is one of the most challenging problems in computational mechanics. Typically, it is a tough nonlinear problem often requiring several Newton iterations to converge and causing troubles also in the solution to the related linear systems. When contact is modeled with the aid of Lagrange multipliers, the impenetrability condition is enforced exactly, but the associated Jacobian matrix is indefinite and needs a special treatment for a fast numerical solution. In this work, a constraint preconditioner is proposed where the primal Schur complement is computed after augmenting the zero block. The name Reverse is used in contrast to the traditional approach where only the structural block undergoes an augmentation. Besides being able to address problems characterized by singular structural blocks, often arising in contact mechanics, it is shown that the proposed approach is significantly cheaper than traditional constraint preconditioning for this class of problems and it is suitable for an efficient HPC implementation through the Chronos parallel package. Our conclusions are supported by several numerical experiments on mid- and large-size problems from various applications. The source files implementing the proposed algorithm are freely available on GitHub.
△ Less
Submitted 10 November, 2021;
originally announced November 2021.
-
Chronos: A general purpose classical AMG solver for High Performance Computing
Authors:
Giovanni Isotton,
Matteo Frigo,
Nicolò Spiezia,
Carlo Janna
Abstract:
The numerical simulation of the physical systems has become in recent years a fundamental tool to perform analyses and predictions in several application fields, spanning from industry to the academy. As far as large scale simulations are concerned, one of the most computationally expensive task is the solution of linear systems arising from the discretization of the partial differential equations…
▽ More
The numerical simulation of the physical systems has become in recent years a fundamental tool to perform analyses and predictions in several application fields, spanning from industry to the academy. As far as large scale simulations are concerned, one of the most computationally expensive task is the solution of linear systems arising from the discretization of the partial differential equations governing the physical processes.This work presents Chronos, a collection of linear algebra functions specifically designed for the solution of large, sparse linear systems on massively parallel computers (https://www.m3eweb.it/chronos/). Its emphasis is on modern, effective and scalable AMG preconditioners for High Performance Computing (HPC). This work describes the numerical algorithms and the main structures of this software suite, especially from the implementation standpoint. Several numerical results arising from practical mechanics and fluid dynamics applications with hundreds of millions of unknowns are addressed and compared with other state-of-the-art linear solvers, proving Chronos efficiency and robustness.
△ Less
Submitted 15 February, 2021;
originally announced February 2021.
-
A GPU-accelerated adaptive FSAI preconditioner for massively parallel simulations
Authors:
Giovanni Isotton,
Carlo Janna,
Massimo Bernaschi
Abstract:
The solution of linear systems of equations is a central task in a number of scientific and engineering applications. In many cases the solution of linear systems may take most of the simulation time thus representing a major bottleneck in the further development of scientific and technical software. For large scale simulations, nowadays accounting for several millions or even billions of unknowns…
▽ More
The solution of linear systems of equations is a central task in a number of scientific and engineering applications. In many cases the solution of linear systems may take most of the simulation time thus representing a major bottleneck in the further development of scientific and technical software. For large scale simulations, nowadays accounting for several millions or even billions of unknowns, it is quite common to resort to preconditioned iterative solvers for exploiting their low memory requirements and, at least potential, parallelism. Approximate inverses have been shown to be robust and effective preconditioners in various contexts. In this work, we show how adaptive FSAI, an approximate inverse characterized by a very high degree of parallelism, can be successfully implemented on a distributed memory computer equipped with GPU accelerators. Taking advantage of GPUs in adaptive FSAI set-up is not a trivial task, nevertheless we show through an extensive numerical experimentation how the proposed approach outperforms more traditional preconditioners and results in a close-to-ideal behaviour in challenging linear algebra problems.
△ Less
Submitted 27 October, 2020;
originally announced October 2020.
-
A robust adaptive algebraic multigrid linear solver for structural mechanics
Authors:
Andrea Franceschini,
Victor A. Paludetto Magri,
Gianluca Mazzucco,
Nicolò Spiezia,
Carlo Janna
Abstract:
The numerical simulation of structural mechanics applications via finite elements usually requires the solution of large-size and ill-conditioned linear systems, especially when accurate results are sought for derived variables interpolated with lower order functions, like stress or deformation fields. Such task represents the most time-consuming kernel in commercial simulators; thus, it is of sig…
▽ More
The numerical simulation of structural mechanics applications via finite elements usually requires the solution of large-size and ill-conditioned linear systems, especially when accurate results are sought for derived variables interpolated with lower order functions, like stress or deformation fields. Such task represents the most time-consuming kernel in commercial simulators; thus, it is of significant interest the development of robust and efficient linear solvers for such applications. In this context, direct solvers, which are based on LU factorization techniques, are often used due to their robustness and easy setup; however, they can reach only superlinear complexity, in the best case, thus, have limited applicability depending on the problem size. On the other hand, iterative solvers based on algebraic multigrid (AMG) preconditioners can reach up to linear complexity for sufficiently regular problems but do not always converge and require more knowledge from the user for an efficient setup. In this work, we present an adaptive AMG method specifically designed to improve its usability and efficiency in the solution of structural problems. We show numerical results for several practical applications with millions of unknowns and compare our method with two state-of-the-art linear solvers proving its efficiency and robustness.
△ Less
Submitted 5 February, 2019;
originally announced February 2019.
