Showing 1–50 of 65 results for author: Nordbotten, J M

Network Inpainting via Optimal Transport

Authors: Enrico Facca, Jan Martin Nordbotten, Erik Andreas Hanson

Abstract: In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild t… ▽ More In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild the primary features of damaged networks, even when artifacts are present. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 49-04; 49K20; 49N99; 65N21; 65N30; 65Z05

Two-point stress approximation: A simple and robust finite volume method for linearized (poro-)mechanics and Stokes flow

Authors: Jan Martin Nordbotten, Eirik Keilegavlen

Abstract: We provide a unified continuum formulation of linearized mechanics, Stokes' flow and poromechanics in terms of a conservation structure. Starting from this formulation, we construct corresponding simple and robust finite volume discretizations for these physical systems, based only on co-located, cell-centered variables. These discretizations have a minimal discretization stencil, using only the t… ▽ More We provide a unified continuum formulation of linearized mechanics, Stokes' flow and poromechanics in terms of a conservation structure. Starting from this formulation, we construct corresponding simple and robust finite volume discretizations for these physical systems, based only on co-located, cell-centered variables. These discretizations have a minimal discretization stencil, using only the two neighboring cells to a face to calculate numerical stresses and fluxes. We show well-posedness of a weak statement of the continuous formulation in appropriate Hilbert spaces, and identify the appropriate weighted norms for the problem. For the discrete approximations, we prove stability and convergence, both of which are robust in terms of the material parameters. Numerical experiments in 3D support the theoretical results, and provide additional insight into the practical performance of the discretization. △ Less

Submitted 8 July, 2024; v1 submitted 16 May, 2024; originally announced May 2024.

Mixed finite element methods for linear Cosserat equations

Authors: Wietse Marijn Boon, Omar Duran, Jan Martin Nordbotten

Abstract: We consider the equilibrium equations for a linearized Cosserat material. We identify their structure in terms of a differential complex, which is isomorphic to six copies of the de Rham complex through an algebraic isomorphism. Moreover, we show how the Cosserat materials can be analyzed by inheriting results from linearized elasticity. Both perspectives give rise to mixed finite element methods,… ▽ More We consider the equilibrium equations for a linearized Cosserat material. We identify their structure in terms of a differential complex, which is isomorphic to six copies of the de Rham complex through an algebraic isomorphism. Moreover, we show how the Cosserat materials can be analyzed by inheriting results from linearized elasticity. Both perspectives give rise to mixed finite element methods, which we refer to as strongly and weakly coupled, respectively. We prove convergence of both classes of methods, with particular attention to improved convergence rate estimates, and stability in the limit of vanishing Cosserat material parameters. The theoretical results are fully reflected in the actual performance of the methods, as shown by the numerical verifications. △ Less

Submitted 27 March, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: A typo was corrected, a boken citation was fixed, and a footnote was added to BGG sequences

MSC Class: 68Q25; 68R10; 68U05

Injective cochain map between the simplicial de Rham complex and the Čech-de Rham complex

Authors: Daniel Førland Holmen, Jan Martin Nordbotten, Jon Eivind Vatne

Abstract: For a class of simplicial geometries, we construct an open cover where each lower-dimensional simplex of codimension $p$ is covered by an intersection of $p+1$ open sets in the open cover. We construct an injective cochain map from the simplicial de Rham complex to the Čech-de Rham complex of the open cover. Both the double complexes have coefficients in $L^2$, and the cochain map we construct is… ▽ More For a class of simplicial geometries, we construct an open cover where each lower-dimensional simplex of codimension $p$ is covered by an intersection of $p+1$ open sets in the open cover. We construct an injective cochain map from the simplicial de Rham complex to the Čech-de Rham complex of the open cover. Both the double complexes have coefficients in $L^2$, and the cochain map we construct is between the respective domain complexes. The image of the cochain map will be an embedding of the simplicial de Rham complex, realizing it as a subcomplex of the Čech-de Rham complex. The simplicial de Rham complex and the Čech-de Rham complex represent mixed-dimensional and equidimensional coupled problems, respectively. △ Less

Submitted 7 March, 2024; originally announced March 2024.

MSC Class: 58J10

High-fidelity experimental model verification for flow in fractured porous media

Authors: Jakub Wiktor Both, Bergit Brattekås, Martin Fernø, Eirik Keilegavlen, Jan Martin Nordbotten

Abstract: Mixed-dimensional mathematical models for flow in fractured media have been prevalent in the modeling community for almost two decades, utilizing the explicit representation of fractures by lower-dimensional manifolds embedded in the surrounding porous media. In this work, for the first time, direct qualitative and quantitative comparisons of mixed-dimensional models are drawn against laboratory e… ▽ More Mixed-dimensional mathematical models for flow in fractured media have been prevalent in the modeling community for almost two decades, utilizing the explicit representation of fractures by lower-dimensional manifolds embedded in the surrounding porous media. In this work, for the first time, direct qualitative and quantitative comparisons of mixed-dimensional models are drawn against laboratory experiments. Dedicated displacement experiments of steady-state laminar flow in fractured media are investigated using both high-resolution PET images as well as state-of-the-art numerical simulations. △ Less

Submitted 22 December, 2023; originally announced December 2023.

The FluidFlower International Benchmark Study: Process, Modeling Results, and Comparison to Experimental Data

Authors: Bernd Flemisch, Jan M. Nordbotten, Martin Fernø, Ruben Juanes, Holger Class, Mojdeh Delshad, Florian Doster, Jonathan Ennis-King, Jacques Franc, Sebastian Geiger, Dennis Gläser, Christopher Green, James Gunning, Hadi Hajibeygi, Samuel J. Jackson, Mohamad Jammoul, Satish Karra, Jiawei Li, Stephan K. Matthäi, Terry Miller, Qi Shao, Catherine Spurin, Philip Stauffer, Hamdi Tchelepi, Xiaoming Tian , et al. (8 additional authors not shown)

Abstract: Successful deployment of geological carbon storage (GCS) requires an extensive use of reservoir simulators for screening, ranking and optimization of storage sites. However, the time scales of GCS are such that no sufficient long-term data is available yet to validate the simulators against. As a consequence, there is currently no solid basis for assessing the quality with which the dynamics of la… ▽ More Successful deployment of geological carbon storage (GCS) requires an extensive use of reservoir simulators for screening, ranking and optimization of storage sites. However, the time scales of GCS are such that no sufficient long-term data is available yet to validate the simulators against. As a consequence, there is currently no solid basis for assessing the quality with which the dynamics of large-scale GCS operations can be forecasted. To meet this knowledge gap, we have conducted a major GCS validation benchmark study. To achieve reasonable time scales, a laboratory-size geological storage formation was constructed (the "FluidFlower"), forming the basis for both the experimental and computational work. A validation experiment consisting of repeated GCS operations was conducted in the FluidFlower, providing what we define as the true physical dynamics for this system. Nine different research groups from around the world provided forecasts, both individually and collaboratively, based on a detailed physical and petrophysical characterization of the FluidFlower sands. The major contribution of this paper is a report and discussion of the results of the validation benchmark study, complemented by a description of the benchmarking process and the participating computational models. The forecasts from the participating groups are compared to each other and to the experimental data by means of various indicative qualitative and quantitative measures. By this, we provide a detailed assessment of the capabilities of reservoir simulators and their users to capture both the injection and post-injection dynamics of the GCS operations. △ Less

Submitted 9 February, 2023; originally announced February 2023.

Scaling up FluidFlower results for carbon dioxide storage in geological media

Authors: Anthony R. Kovscek, Jan Martin Nordbotten, Martin A. Ferno

Abstract: The partial differential equations describing immiscible, but soluble, carbon dioxide (CO2) displacement of brine are developed including local mass-transfer effects. Scaling relationships for characteristic time among laboratory and representative storage formation conditions are found upon assumption that free-phase CO2 transport during injection is dominated by convection. The implication is th… ▽ More The partial differential equations describing immiscible, but soluble, carbon dioxide (CO2) displacement of brine are developed including local mass-transfer effects. Scaling relationships for characteristic time among laboratory and representative storage formation conditions are found upon assumption that free-phase CO2 transport during injection is dominated by convection. The implication is that an hour in the FluidFlower (large-scale visual model) scales to hundreds of years of elapsed time in the storage formation. The scaling criteria permit extrapolation of the effects of changes in parameters and operating conditions. Interphase mass transfer allows CO2 to saturate the brine phase and such mass transfer is a significant nonequilibrium phenomenon. Significant mixing of CO2 dissolved into formation brine with original brine is found experimentally and is also predicted. The magnitude of onset time for downward migrating fingers containing CO2 is typically only a fraction of the duration of CO2 injection and in general agreement with theoretical analysis in the literature. Predictions for onset time of convective mixing at representative storage formation conditions likewise teach that the onset time for viscous fingering is significantly less than the duration of CO2 injection in some cases. The implications of this observation include that mixing of CO2 with brine and the subsequent settling due to gravity are relatively rapid and coincide with the period of active CO2 injection. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Engineering meter-scale porous media flow experiments for quantitative studies of geological carbon sequestration

Authors: Kristoffer Eikehaug, Malin Haugen, Olav Folkvord, Benyamine Benali, Emil Bang Larsen, Alina Tinkova, Atle Rotevatn, Jan Martin Nordbotten, Martin A. Ferno

Abstract: This technical note describes the FluidFlower concept, a new laboratory infrastructure for geological carbon storage research. The highly controlled and adjustable system produces a strikingly visual physical ground truth of studied processes for model validation, comparison, and forecasting, including detailed physical studies of the behavior and storage mechanisms of carbon dioxide and its deriv… ▽ More This technical note describes the FluidFlower concept, a new laboratory infrastructure for geological carbon storage research. The highly controlled and adjustable system produces a strikingly visual physical ground truth of studied processes for model validation, comparison, and forecasting, including detailed physical studies of the behavior and storage mechanisms of carbon dioxide and its derivative forms in relevant geological settings for subsurface carbon storage. The design, instrumentation, structural aspects and methodology are described. Furthermore, we share engineering insights on construction, operation, fluid considerations, and fluid resetting in the porous media. The new infrastructure enables researchers to study variability between repeated CO2 injections, making the FluidFlower concept a suitable tool for sensitivity studies on a range of determining carbon storage parameters in varying geological formations. △ Less

Submitted 23 January, 2023; originally announced January 2023.

Direct comparison of numerical simulations and experiments of CO$_2$ injection and migration in geologic media: Value of local data and predictability

Authors: Lluís Saló-Salgado, Malin Haugen, Kristoffer Eikehaug, Martin Fernø, Jan M. Nordbotten, Ruben Juanes

Abstract: The accuracy and robustness of numerical models of geologic CO$_2$ sequestration are almost never quantified with respect to direct observations that provide a ground truth. Here, we conduct CO$_2$ injection experiments in meter-scale, quasi-2D tanks with porous media representing stratigraphic sections of the subsurface, and combine them with numerical simulations of those experiments. We evaluat… ▽ More The accuracy and robustness of numerical models of geologic CO$_2$ sequestration are almost never quantified with respect to direct observations that provide a ground truth. Here, we conduct CO$_2$ injection experiments in meter-scale, quasi-2D tanks with porous media representing stratigraphic sections of the subsurface, and combine them with numerical simulations of those experiments. We evaluate (1) the value of prior knowledge of the system, expressed in terms of ex-situ measurements of the tank sands' multiphase flow properties (local data), to obtain an accurate simulation; and (2) the predictive capability of the matched numerical models, when applied to different settings. We match three different simulation models-each with access to an increasing level of local data-to a CO$_2$ injection experiment in tank 1 (89.7$\times$47$\times$1.05 cm). Matching is based on a quantitative comparison of CO$_2$ migration at different times from timelapse image analysis. Next, we simulate a different injection scenario in tank 1, and, finally, a different injection scenario in tank 2 (2.86$\times$1.3$\times$0.019 m), which represents an altogether different stratigraphic section. Our models can qualitatively match the CO$_2$ plume migration and convective mixing of the experimental truth. Quantitatively, simulations are accurate during the injection phase but their performance decreases with time. Using local data reduces the time required to history match. The predictive capability of matched models, however, is found to be similar. The sand-water-CO$_{2(\mathrm{g})}$ system is very sensitive to effective permeability and capillary pressure changes; where heterogeneous structures are present, accurate deterministic estimates of CO$_2$ migration are unlikely. △ Less

Submitted 20 January, 2023; originally announced January 2023.

Physical variability in meter-scale laboratory CO$_2$ injections in faulted geometries

Authors: Malin Haugen, Lluis Salo-Salgado, Kristoffer Eikehaug, Benyamine Benali, Jakub W. Both, Erlend Storvik, Olav Folkvord, Ruben Juanes, Jan Martin Nordbotten, Martin A. Ferno

Abstract: Carbon, capture, and storage (CCS) is an important bridging technology to combat climate change in the transition towards net-zero. The FluidFlower concept has been developed to visualize and study CO$_2$ flow and storage mechanisms in sedimentary systems in a laboratory setting. Meter-scale multiphase flow in two geological geometries, including normal faults with and without smearing, is studied… ▽ More Carbon, capture, and storage (CCS) is an important bridging technology to combat climate change in the transition towards net-zero. The FluidFlower concept has been developed to visualize and study CO$_2$ flow and storage mechanisms in sedimentary systems in a laboratory setting. Meter-scale multiphase flow in two geological geometries, including normal faults with and without smearing, is studied. The experimental protocols developed to provide key input parameters for numerical simulations are detailed, including an evaluation of operational parameters for the FluidFlower benchmark study. Variability in CO$_2$ migration patterns for two different geometries is quantified, both between 16 repeated laboratory runs and between history-matched models and a CO$_2$ injection experiment. The predicative capability of a history-matched model is then evaluated in a different geological setting. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Comments: manuscript + supplementary material

Room-scale CO2 injections in a physical reservoir model with faults

Authors: Martin A. Ferno, Malin Haugen, Kristoffer Eikehaug, Olav Folkvord, Benyamine Benali, Jakub W. Both, Erlend Storvik, Casey W. Nixon, Robert L. Gawthrope, Jan Martin Nordbotten

Abstract: We perform a series of repeated CO2 injections in a room-scale physical model of a faulted geological cross-section. Relevant parameters for subsurface carbon sequestration, including multiphase flows, capillary CO2 trap**, dissolution, and convective mixing, are studied and quantified. As part of a forecasting benchmark study, we address and quantify six predefined metrics for storage capacity… ▽ More We perform a series of repeated CO2 injections in a room-scale physical model of a faulted geological cross-section. Relevant parameters for subsurface carbon sequestration, including multiphase flows, capillary CO2 trap**, dissolution, and convective mixing, are studied and quantified. As part of a forecasting benchmark study, we address and quantify six predefined metrics for storage capacity and security in typical CO2 storage operations. Using the same geometry, we investigate the degree of reproducibility of five repeated experimental runs. Our analysis focuses on physical variations of the spatial distribution of mobile and dissolved CO2, multiphase flow patterns, development in mass of the aqueous and gaseous phases, gravitational fingers, and leakage dynamics. We observe very good reproducibility in homogenous regions with up to 97 % overlap between repeated runs, and that fault-related heterogeneity tends to decrease reproducibility. Notably, we observe an oscillating anticline CO2 leakage behavior from an open anticline with a spill point in the immediate footwall of a normal fault, and discuss the underlying causes for the observed phenomenon within the constraints of the studied system. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: Supplementary materials included

DarSIA: An open-source Python toolbox for two-scale image processing of dynamics in porous media

Authors: Jan Martin Nordbotten, Benyamine Benali, Jakub Wiktor Both, Bergit Brattekås, Erlend Storvik, Martin A. Fernø

Abstract: Understanding porous media flow is inherently a multi-scale challenge, where at the core lies the aggregation of pore-level processes to a continuum, or Darcy-scale, description. This challenge is directly mirrored in image processing, where grains and interfaces may be clearly visible, yet continuous parameters are desirable to measure. Classical image processing is poorly adapted to this setting… ▽ More Understanding porous media flow is inherently a multi-scale challenge, where at the core lies the aggregation of pore-level processes to a continuum, or Darcy-scale, description. This challenge is directly mirrored in image processing, where grains and interfaces may be clearly visible, yet continuous parameters are desirable to measure. Classical image processing is poorly adapted to this setting, as most techniques do not explicitly utilize the fact that the image contains explicit physical processes. Here, we adapt classical image processing concepts to what we define as physical images of porous materials and processes within them. This is realized through the development of a new open-source image analysis toolbox specifically adapted to time-series of images of porous materials. △ Less

Submitted 13 January, 2023; originally announced January 2023.

PoroTwin: A digital twin for a FluidFlower rig

Authors: Eirik Keilegavlen, Eivind Fonn, Kjetil Johannessen, Kristoffer Eikehaug, Jakub Both, Martin Fernø, Trond Kvamsdal, Adil Rasheed, Jan M. Nordbotten

Abstract: We present a framework for integrated experiments and simulations of tracer transport in heterogeneous porous media using digital twin technology. The physical asset in our setup is a meter-scale FluidFlower rig. The digital twin consists of a traditional physics-based forward simulation tool and a correction technique which compensates for mismatches between simulation results and observations. T… ▽ More We present a framework for integrated experiments and simulations of tracer transport in heterogeneous porous media using digital twin technology. The physical asset in our setup is a meter-scale FluidFlower rig. The digital twin consists of a traditional physics-based forward simulation tool and a correction technique which compensates for mismatches between simulation results and observations. The latter augments the range of the physics-based simulation and allows us to bridge the gap between simulation and experiments in a quantitative sense. We describe the setup of the physical and digital twin, including data transfer protocols using cloud technology. The accuracy of the digital twin is demonstrated on a case with artificially high diffusion that must be compensated by the correction approach, as well as by simulations in geologically complex media. The digital twin is then applied to control tracer transport by manipulating fluid injection and production in the experimental rig, thereby enabling two-way coupling between the physical and digital twins. △ Less

Submitted 6 January, 2023; v1 submitted 1 December, 2022; originally announced December 2022.

The Hodge-Laplacian on the Čech-de Rham complex governs coupled problems

Authors: Wietse Marijn Boon, Daniel Førland Holmen, Jan Martin Nordbotten, Jon Eivind Vatne

Abstract: By endowing the Čech-de Rham complex with a Hilbert space structure, we obtain a Hilbert complex with sufficient properties to allow for well-posed Hodge-Laplace problems. We observe that these Hodge-Laplace equations govern a class of coupled problems arising from physical systems including elastically attached strings, multiple-porosity flow systems and 3D-1D coupled flow models. By endowing the Čech-de Rham complex with a Hilbert space structure, we obtain a Hilbert complex with sufficient properties to allow for well-posed Hodge-Laplace problems. We observe that these Hodge-Laplace equations govern a class of coupled problems arising from physical systems including elastically attached strings, multiple-porosity flow systems and 3D-1D coupled flow models. △ Less

Submitted 10 August, 2023; v1 submitted 8 November, 2022; originally announced November 2022.

Comments: 16 pages, 4 figures

The dissolution of a miscible drop rising or falling in another liquid at low Reynolds number

Authors: Jan Martin Nordbotten, Endre Joachim Lerheim Mossige

Abstract: 'A basic and basically unsolved problem in fluid dynamics is to determine the evolution of rising bubbles and falling drops of one miscible liquid in another' [1]. Here, we address this important literature gap and present the first theory predicting the velocity, volume and composition of such drops at low Reynolds numbers. For the case where the diffusion out of the drop is negligible, we obtain… ▽ More 'A basic and basically unsolved problem in fluid dynamics is to determine the evolution of rising bubbles and falling drops of one miscible liquid in another' [1]. Here, we address this important literature gap and present the first theory predicting the velocity, volume and composition of such drops at low Reynolds numbers. For the case where the diffusion out of the drop is negligible, we obtain a universal scaling law. For the more general case where diffusion occurs into and out of the drop, the full dynamics is governed by a parameter-free first-order ordinary differential equation, whose closed form solution exists, and only depends on the initial condition. Our analysis depends primarily on 'drop-scale' effective parameters for the diffusivity through the interfacial boundary layer. We validate our results against experimental data for water drops suspended in syrup, corresponding to certain regimes of the mass exchange ratio between water and syrup, and by this explicitly identify the drop-scale parameters of the theory. [1] Joseph, D.D. and Renardy, Y.Y., 2013. Fundamentals of two-fluid dynamics: part II: lubricated transport, drops and miscible liquids (Vol. 4). Springer Science & Business Media. △ Less

Submitted 21 December, 2022; v1 submitted 2 November, 2022; originally announced November 2022.

Journal ref: Physics of Fluids 35, 013111 (2023)

Effective Preconditioners for Mixed-Dimensional Scalar Elliptic Problems

Authors: Xiaozhe Hu, Eirik Keilegavlen, Jan M. Nordbotten

Abstract: Discretization of flow in fractured porous media commonly lead to large systems of linear equations that require dedicated solvers. In this work, we develop an efficient linear solver and its practical implementation for mixed-dimensional scalar elliptic problems. We design an effective preconditioner based on approximate block factorization and algebraic multigrid techniques. Numerical results on… ▽ More Discretization of flow in fractured porous media commonly lead to large systems of linear equations that require dedicated solvers. In this work, we develop an efficient linear solver and its practical implementation for mixed-dimensional scalar elliptic problems. We design an effective preconditioner based on approximate block factorization and algebraic multigrid techniques. Numerical results on benchmarks with complex fracture structures demonstrate the effectiveness of the proposed linear solver and its robustness with respect to different physical and discretization parameters. △ Less

Submitted 7 June, 2022; originally announced June 2022.

A robust solution strategy for the Cahn-Larché equations

Authors: Erlend Storvik, Jakub Wiktor Both, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this paper we propose a solution strategy for the Cahn-Larché equations, which is a model for linearized elasticity in a medium with two elastic phases that evolve subject to a Ginzburg-Landau type energy functional. The system can be seen as a combination of the Cahn-Hilliard regularized interface equation and linearized elasticity, and is non-linearly coupled, has a fourth order term that com… ▽ More In this paper we propose a solution strategy for the Cahn-Larché equations, which is a model for linearized elasticity in a medium with two elastic phases that evolve subject to a Ginzburg-Landau type energy functional. The system can be seen as a combination of the Cahn-Hilliard regularized interface equation and linearized elasticity, and is non-linearly coupled, has a fourth order term that comes from the Cahn-Hilliard subsystem, and is non-convex and nonlinear in both the phase-field and displacement variables. We propose a novel semi-implicit discretization in time that uses a standard convex-concave splitting method of the nonlinear double-well potential, as well as special treatment to the elastic energy. We show that the resulting discrete system is equivalent to a convex minimization problem, and propose and prove the convergence of alternating minimization applied to it. Finally, we present numerical experiments that show the robustness and effectiveness of both alternating minimization and the monolithic Newton method applied to the newly proposed discrete system of equations. We compare it to a system of equations that has been discretized with a standard convex-concave splitting of the double-well potential, and implicit evaluations of the elasticity contributions and show that the newly proposed discrete system is better conditioned for linearization techniques. △ Less

Submitted 3 June, 2022; originally announced June 2022.

An Adaptive Penalty Method for Inequality Constrained Minimization Problems

Authors: Wietse M. Boon, Jan M. Nordbotten

Abstract: The primal-dual active set method is observed to be the limit of a sequence of penalty formulations. Using this perspective, we propose a penalty method that adaptively becomes the active set method as the residual of the iterate decreases. The adaptive penalty method (APM) therewith combines the main advantages of both methods, namely the ease of implementation of penalty methods and the exact im… ▽ More The primal-dual active set method is observed to be the limit of a sequence of penalty formulations. Using this perspective, we propose a penalty method that adaptively becomes the active set method as the residual of the iterate decreases. The adaptive penalty method (APM) therewith combines the main advantages of both methods, namely the ease of implementation of penalty methods and the exact imposition of inequality constraints inherent to the active set method. The scheme can be considered a quasi-Newton method in which the Jacobian is approximated using a penalty parameter. This spatially varying parameter is chosen at each iteration by solving an auxiliary problem. △ Less

Submitted 7 January, 2022; originally announced January 2022.

Journal ref: Numerical Mathematics and Advanced Applications ENUMATH 2019, pp. 155-164. Springer, Cham, 2021

Mixed-dimensional poromechanical models of fractured porous media

Authors: Wietse M. Boon, Jan M. Nordbotten

Abstract: We combine classical continuum mechanics with the recently developed calculus for mixed-dimensional problems to obtain governing equations for flow in, and deformation of, fractured materials. We present models both in the context of finite and infinitesimal strain, and discuss non-linear (and non-differentiable) constitutive laws such as friction models and contact mechanics in the fracture. Usin… ▽ More We combine classical continuum mechanics with the recently developed calculus for mixed-dimensional problems to obtain governing equations for flow in, and deformation of, fractured materials. We present models both in the context of finite and infinitesimal strain, and discuss non-linear (and non-differentiable) constitutive laws such as friction models and contact mechanics in the fracture. Using the theory of well-posedness for evolutionary equations with maximal monotone operators, we show well-posedness of the model in the case of infinitesimal strain and under certain assumptions on the model parameters. △ Less

Submitted 9 December, 2021; originally announced December 2021.

A Cahn-Hilliard-Biot system and its generalized gradient flow structure

Authors: Erlend Storvik, Jakub Wiktor Both, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this work, we propose a new model for flow through deformable porous media, where the solid material has two phases with distinct material properties. The two phases of the porous material follow a Cahn-Hilliard type evolution, with additional impact from both elastic and fluid effects, and the coupling between flow and deformation is governed by Biot's theory. This results in a three-way coupl… ▽ More In this work, we propose a new model for flow through deformable porous media, where the solid material has two phases with distinct material properties. The two phases of the porous material follow a Cahn-Hilliard type evolution, with additional impact from both elastic and fluid effects, and the coupling between flow and deformation is governed by Biot's theory. This results in a three-way coupled system which can be seen as an extension of the Cahn-Larché equations with the inclusion of a fluid flowing through the medium. The model covers essential coupling terms for several relevant applications, including solid tumor growth, biogrout, and wood growth simulation. Moreover, we show that this coupled set of equations follow a generalized gradient flow framework. This opens a toolbox of analysis and solvers which can be used for further study of the model. Additionally, we provide a numerical example showing the impact of the flow on the solid phase evolution in comparison to the Cahn-Larché system. △ Less

Submitted 8 September, 2021; originally announced September 2021.

Free energy diminishing discretization of Darcy-Forchheimer flow in poroelastic media

Authors: Jakub Wiktor Both, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this paper, we develop a discretization for the non-linear coupled model of classical Darcy-Forchheimer flow in deformable porous media, an extension of the quasi-static Biot equations. The continuous model exhibits a generalized gradient flow structure, identifying the dissipative character of the physical system. The considered mixed finite element discretization is compatible with this struc… ▽ More In this paper, we develop a discretization for the non-linear coupled model of classical Darcy-Forchheimer flow in deformable porous media, an extension of the quasi-static Biot equations. The continuous model exhibits a generalized gradient flow structure, identifying the dissipative character of the physical system. The considered mixed finite element discretization is compatible with this structure, which gives access to a simple proof for the existence, uniqueness, and stability of discrete approximations. Moreover, still within the framework, the discretization allows for the development of finite volume type discretizations by lum** or numerical quadrature, reducing the computational cost of the numerical solution. △ Less

Submitted 21 May, 2021; originally announced May 2021.

Journal ref: Klöfkorn R., Keilegavlen E., Radu F., Fuhrmann J. (eds) Finite Volumes for Complex Applications IX - Methods, Theoretical Aspects, Examples. FVCA 2020. Springer Proceedings in Mathematics & Statistics, vol 323. Springer, Cham

Modeling the process of speciation using a multi-scale framework including error estimates

Authors: Mats K. Brun, Elyes Ahmed, Jan Martin Nordbotten, Nils Christian Stenseth

Abstract: This paper concerns the modeling and numerical simulation of the process of speciation. In particular, given conditions for which one or more speciation events within an ecosystem occur, our aim is to develop the necessary modeling and simulation tools. Care is also taken to establish a solid mathematical foundation on which our modeling framework is built. This is the subject of the first half of… ▽ More This paper concerns the modeling and numerical simulation of the process of speciation. In particular, given conditions for which one or more speciation events within an ecosystem occur, our aim is to develop the necessary modeling and simulation tools. Care is also taken to establish a solid mathematical foundation on which our modeling framework is built. This is the subject of the first half of the paper. The second half is devoted to develo** a multi-scale framework for eco-evolutionary modeling, where the relevant scales are that of species and individual/population, respectively. Hence, a system of interacting species can be described at the species level, while for branching species a population level description is necessary. Our multi-scale framework thus consists of coupling the species and population level models where speciation events are detected in advance and then resolved at the population scale until the branching is complete. Moreover, since the population level model is formulated as a PDE, we first establish the well-posedness in the time-discrete setting, and then derive the a posteriori error estimates which provides a fully computable upper bound on an energy-type error, including also for the case of general smooth distributions (which will be useful for the detection of speciation events). Several numerical tests validate our framework in practice. △ Less

Submitted 7 October, 2021; v1 submitted 9 February, 2021; originally announced February 2021.

Comments: 27 pages, 27 figures

Modelling and discretization of flow in porous media with thin, full-tensor permeability inclusions

Authors: Michele Starnoni, Inga Berre, Eirik Keilegavlen, Jan M. Nordbotten

Abstract: When modelling fluid flow in fractured reservoirs, it is common to represent the fracturesas lower-dimensional inclusions embedded in the host medium. Existing discretizationsof flow in porous media with thin inclusions assume that the principal directions of theinclusion permeability tensor are aligned with the inclusion orientation. While this mod-elling assumption works well with tensile fractu… ▽ More When modelling fluid flow in fractured reservoirs, it is common to represent the fracturesas lower-dimensional inclusions embedded in the host medium. Existing discretizationsof flow in porous media with thin inclusions assume that the principal directions of theinclusion permeability tensor are aligned with the inclusion orientation. While this mod-elling assumption works well with tensile fractures, it may fail in the context of faults,where the damage zone surrounding the main slip surface may introduce anisotropy thatis not aligned with the main fault orientation. In this paper, we introduce a generalizeddimensional reduced model which preserves full-tensor permeability effects also in theout-of-plane direction of the inclusion. The governing equations of flow for the lower-dimensional objects are obtained through vertical averaging. We present a framework fordiscretization of the resulting mixed-dimensional problem, aimed at easy adaptation ofexisting simulation tools. We give numerical examples that show the failure of existingformulations when applied to anisotropic faulted porous media, and go on to show theconvergence of our method in both 2D and 3D △ Less

Submitted 21 January, 2021; originally announced January 2021.

A posteriori error estimates for hierarchical mixed-dimensional elliptic equations

Authors: Jhabriel Varela, Elyes Ahmed, Eirik Keilegavlen, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: Mixed-dimensional elliptic equations exhibiting a hierarchical structure are commonly used to model problems with high aspect ratio inclusions, such as flow in fractured porous media. We derive general abstract estimates based on the theory of functional a posteriori error estimates, for which guaranteed upper bounds for the primal and dual variables and two-sided bounds for the primal-dual pair a… ▽ More Mixed-dimensional elliptic equations exhibiting a hierarchical structure are commonly used to model problems with high aspect ratio inclusions, such as flow in fractured porous media. We derive general abstract estimates based on the theory of functional a posteriori error estimates, for which guaranteed upper bounds for the primal and dual variables and two-sided bounds for the primal-dual pair are obtained. We improve on the abstract results obtained with the functional approach by proposing four different ways of estimating the residual errors based on the extent the approximate solution has conservation properties, i.e.: (1) no conservation, (2) subdomain conservation, (3) grid-level conservation, and (4) exact conservation. This treatment results in sharper and fully computable estimates when mass is conserved either at the grid level or exactly, with a comparable structure to those obtained from grid-based a posteriori techniques. We demonstrate the practical effectiveness of our theoretical results through numerical experiments using four different discretization methods for synthetic problems and applications based on benchmarks of flow in fractured porous media. △ Less

Submitted 19 April, 2022; v1 submitted 20 January, 2021; originally announced January 2021.

An accelerated staggered scheme for phase-field modeling of brittle fracture

Authors: Erlend Storvik, Jakub Wiktor Both, Juan Michael Sargado, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: There is currently an increasing interest in develo** efficient solvers for phase-field modeling of brittle fracture. The governing equations for this problem originate from a constrained minimization of a non-convex energy functional, and the most commonly used solver is a staggered solution scheme. This is known to be robust compared to the monolithic Newton method, however, the staggered sche… ▽ More There is currently an increasing interest in develo** efficient solvers for phase-field modeling of brittle fracture. The governing equations for this problem originate from a constrained minimization of a non-convex energy functional, and the most commonly used solver is a staggered solution scheme. This is known to be robust compared to the monolithic Newton method, however, the staggered scheme often requires many iterations to converge when cracks are evolving. The focus of our work is to accelerate the solver through a scheme that sequentially applies Anderson acceleration and over-relaxation, switching back and forth depending on the residual evolution, and thereby ensuring a decreasing tendency. The resulting scheme takes advantage of the complementary strengths of Anderson acceleration and over-relaxation to make a robust and accelerating method for this problem. The new method is applied as a post-processing technique to the increments of the solver, hence, the implementation can be done with minor modifications to already available software. Moreover, the cost of combining the two acceleration schemes is negligible. The robustness and efficiency of the method are demonstrated through numerical examples. △ Less

Submitted 26 August, 2020; originally announced August 2020.

A minimalist model for co-evolving supply and drainage networks

Authors: Shashank Kumar Anand, Milad Hooshyar, Jan Martin Nordbotten, Amilcare Porporato

Abstract: Numerous complex systems, both natural and artificial, are characterized by the presence of intertwined supply and/or drainage networks. Here we present a minimalist model of such co-evolving networks in a spatially continuous domain, where the obtained networks can be interpreted as a part of either the counter-flowing drainage or co-flowing supply and drainage mechanisms. The model consists of t… ▽ More Numerous complex systems, both natural and artificial, are characterized by the presence of intertwined supply and/or drainage networks. Here we present a minimalist model of such co-evolving networks in a spatially continuous domain, where the obtained networks can be interpreted as a part of either the counter-flowing drainage or co-flowing supply and drainage mechanisms. The model consists of three coupled, nonlinear partial differential equations that describe spatial density patterns of input and output materials by modifying a mediating scalar field, on which supply and drainage networks are carved. In the 2-dimensional case, the scalar field can be viewed as the elevation of a hypothetical landscape, of which supply and drainage networks are ridges and valleys, respectively. In the 3-dimensional case, the scalar field serves as the chemical signal strength, in which vascularization of the supply and drainage networks occurs above a critical 'erosion' strength. The steady-state solutions are presented as a function of non-dimensional channelization indices for both materials. The spatial patterns of the emerging networks are classified within the branched and congested extreme regimes, within which the resulting networks are characterized based on the absolute as well as the relative values of two non-dimensional indices. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Journal ref: Royal Society open science 8.2 (2021): 201407

Modeling, well-posedness and discretization for a class of models for mixed-dimensional problems with high dimensional gap

Authors: Erlend Hodneland, Xiaozhe Hu, Jan Martin Nordbotten

Abstract: In this work, we illustrate the underlying mathematical structure of mixed-dimensional models arising from the composition of graphs and continuous domains. Such models are becoming popular in applications, in particular, to model the human vasculature. We first discuss the model equations in the strong form which describes the conservation of mass and Darcy's law in the continuum and network as w… ▽ More In this work, we illustrate the underlying mathematical structure of mixed-dimensional models arising from the composition of graphs and continuous domains. Such models are becoming popular in applications, in particular, to model the human vasculature. We first discuss the model equations in the strong form which describes the conservation of mass and Darcy's law in the continuum and network as well as the coupling between them. By introducing proper scaling, we propose a weak form that avoids degeneracy. Well-posedness of the weak form is shown through standard Babuška-Brezzi theory. We also develop the mixed formulation finite-element method and prove its well-posedness. A mass-lum** technique is introduced to derive the two-point flux approximation type discretization as well, due to its importance in applications. Based on the Babuška-Brezzi theory, error estimates can be obtained for both the finite-element scheme and the TPFA scheme. We also discuss efficient linear solvers for discrete problems. Finally, we present some numerical examples to verify the theoretical results and demonstrate the robustness of our proposed discretization schemes. △ Less

Submitted 26 August, 2020; v1 submitted 18 June, 2020; originally announced June 2020.

An Introduction to Multi-Point Flux (MPFA) and Stress (MPSA) Finite Volume Methods for Thermo-Poroelasticity

Authors: Jan Martin Nordbotten, Eirik Keilegavlen

Abstract: We give a unified introduction to the MPFA- and MPSA-type finite volume methods for Darcy flow and poro-elasticity, applicable to general polyhedral grids. This leads to a more systematic perspective of these methods than has been exposed in previous texts, and we therefore refer to this discretization family as the MPxA methods. We apply this MPxA framework to also define a consistent finite-volu… ▽ More We give a unified introduction to the MPFA- and MPSA-type finite volume methods for Darcy flow and poro-elasticity, applicable to general polyhedral grids. This leads to a more systematic perspective of these methods than has been exposed in previous texts, and we therefore refer to this discretization family as the MPxA methods. We apply this MPxA framework to also define a consistent finite-volume discretization of thermo-poro-elasticity. In order to make the exposition accessible to a wide audience, we avoid much of the technical notation which is used in the research literature, and compensate for this by an expanded summary and literature review of the main properties of the MPxA methods. We close the chapter by a section containing applications to problems with complex geometries and non-linear physics. △ Less

Submitted 7 January, 2020; originally announced January 2020.

The fixed-stress splitting scheme for Biot's equations as a modified Richardson iteration: Implications for optimal convergence

Authors: Erlend Storvik, Jakub Wiktor Both, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: The fixed-stress splitting scheme is a popular method for iteratively solving the Biot equations. The method successively solves the flow and mechanic subproblems while adding a stabilizing term to the flow equation, which includes a parameter that can be chosen freely. However, the convergence properties of the scheme depend significantly on this parameter and choosing it carelessly might lead to… ▽ More The fixed-stress splitting scheme is a popular method for iteratively solving the Biot equations. The method successively solves the flow and mechanic subproblems while adding a stabilizing term to the flow equation, which includes a parameter that can be chosen freely. However, the convergence properties of the scheme depend significantly on this parameter and choosing it carelessly might lead to a very slow, or even diverging, method. In this paper, we present a way to exploit the matrix structure arizing from discretizing the equations in the regime of impermeable porous media in order to obtain a priori knowledge of the optimal choice of this tuning/stabilization parameter. △ Less

Submitted 26 November, 2019; originally announced November 2019.

A Mixed Approach to the Poisson Problem with Line Sources

Authors: Ingeborg G. Gjerde, Kundan Kumar, Jan M. Nordbotten

Abstract: In this work we consider the primal mixed variational formulation of the Poisson equation with a line source. The analysis and approximation of this problem is non-standard as the line source causes the solutions to be singular. We start by showing that this problem admits a solution in appropriately weighted Sobolev spaces. Next, we show that given some assumptions on the problem parameters, the… ▽ More In this work we consider the primal mixed variational formulation of the Poisson equation with a line source. The analysis and approximation of this problem is non-standard as the line source causes the solutions to be singular. We start by showing that this problem admits a solution in appropriately weighted Sobolev spaces. Next, we show that given some assumptions on the problem parameters, the solution admits a splitting into higher and lower regularity terms. The lower regularity terms are here explicitly known and capture the solution singularities. The higher regularity terms, meanwhile, are defined as the solution of its own mixed Poisson equation. With the solution splitting in hand, we then define a singularity removal based mixed finite element method in which only the higher regularity are approximated numerically. This method yields a significant improvement in the convergence rate when compared to approximating the full solution. In particular, we show that the singularity removal based method yields optimal convergence rates for lowest order Raviart-Thomas and discontinuous Lagrange elements. △ Less

Submitted 25 October, 2019; originally announced October 2019.

The gradient flow structures of thermo-poro-visco-elastic processes in porous media

Authors: Jakub Wiktor Both, Kundan Kumar, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this paper, the inherent gradient flow structures of thermo-poro-visco-elastic processes in porous media are examined for the first time. In the first part, a modelling framework is introduced aiming for describing such processes as generalized gradient flows requiring choices of physical states, corresponding energies, dissipation potentials and external work rates. It is demonstrated that var… ▽ More In this paper, the inherent gradient flow structures of thermo-poro-visco-elastic processes in porous media are examined for the first time. In the first part, a modelling framework is introduced aiming for describing such processes as generalized gradient flows requiring choices of physical states, corresponding energies, dissipation potentials and external work rates. It is demonstrated that various existing models can be in fact written within this framework. Ultimately, the particular structure allows for a unified well-posedness analysis performed for different classes of linear and non-linear models. In the second part, the gradient flow structures are utilized for constructing efficient discrete approximation schemes for thermo-poro-visco-elasticity -- in particular robust, physical splitting schemes. Applying alternating minimization to naturally arising minimization formulations of (semi-)discrete models is proposed. For such, the energy decrease per iteration is quantified by applying abstract convergence theory only utilizing convexity and Lipschitz continuity properties of the problem -- a fairly simple but flexible machinery. By this approach, e.g., the widely used undrained and fixed-stress splits for the linear Biot equations are derived and analyzed. By application of the framework to more advanced models, novel splitting schemes with guaranteed theoretical convergence rates are naturally derived. Moreover, based on the minimization character of the (semi-)discrete equations, relaxation of splitting schemes by line search is proposed; numerical results show a potentially great impact on the acceleration of splitting schemes for both linear and nonlinear problems. △ Less

Submitted 25 November, 2019; v1 submitted 6 July, 2019; originally announced July 2019.

Numerical simulations of viscous fingering in fractured porous media

Authors: Runar Lie Berge, Inga Berre, Eirik Keilegavlen, Jan Martin Nordbotten

Abstract: The effect of heterogeneities induced by highly permeable fracture networks on viscous miscible fingering in porous media is examined using high-resolution numerical simulations. We consider the planar injection of a less viscous fluid into a two-dimensional fractured porous medium which is saturated with a more viscous fluid. This problem contains two sets of fundamentally different preferential… ▽ More The effect of heterogeneities induced by highly permeable fracture networks on viscous miscible fingering in porous media is examined using high-resolution numerical simulations. We consider the planar injection of a less viscous fluid into a two-dimensional fractured porous medium which is saturated with a more viscous fluid. This problem contains two sets of fundamentally different preferential flow regimes; the first is caused by the viscous fingering and the second is due to the permeability contrasts between the fractures and the rock matrix. We study the transition from the regime where the flow is dominated by the viscous instabilities, to the regime where the heterogeneities induced by the fractures define the flow paths. Our findings reveal that even minor permeability differences between the rock matrix and fractures significantly influence the behavior of viscous fingering. The interplay between the viscosity contrast and permeability contrast leads to the preferential channeling of the less viscous fluid through the fractures. Consequently, this channeling process stabilizes the displacement front within the rock matrix, ultimately suppressing the occurrence of viscous fingering, particularly for higher permeability contrasts. We explore three fracture geometries; two structured and one random configuration, and identify a complex interaction between these geometries and the development of unstable flow. While we find that the most important factor determining the effect of the fracture network is the ratio of fluid volume flowing through the fractures and the rock matrix, the exact point for the cross-over regime is dependent on the geometry of the fracture network. △ Less

Submitted 11 September, 2023; v1 submitted 25 June, 2019; originally announced June 2019.

Robust linear domain decomposition schemes for reduced non-linear fracture flow models

Authors: Elyes Ahmed, Alessio Fumagalli, Ana Budiša, Eirik Keilegavlen, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this work, we consider compressible single-phase flow problems in a porous media containing a fracture. In the latter, a non-linear pressure-velocity relation is prescribed. Using a non-overlap** domain decomposition procedure, we reformulate the global problem into a non-linear interface problem. We then introduce two new algorithms that are able to efficiently handle the non-linearity and t… ▽ More In this work, we consider compressible single-phase flow problems in a porous media containing a fracture. In the latter, a non-linear pressure-velocity relation is prescribed. Using a non-overlap** domain decomposition procedure, we reformulate the global problem into a non-linear interface problem. We then introduce two new algorithms that are able to efficiently handle the non-linearity and the coupling between the fracture and the matrix, both based on linearization by the so-called L-scheme. The first algorithm, named MoLDD, uses the L-scheme to resolve the non-linearity, requiring at each iteration to solve the dimensional coupling via a domain decomposition approach. The second algorithm, called ItLDD, uses a sequential approach in which the dimensional coupling is part of the linearization iterations. For both algorithms, the computations are reduced only to the fracture by pre-computing, in an offline phase, a multiscale flux basis (the linear Robin-to-Neumann co-dimensional map), that represent the flux exchange between the fracture and the matrix. We present extensive theoretical findings and in particular, the stability and the convergence of both schemes are obtained, where user given parameters are optimized to minimise the number of iterations. Examples on two important fracture models are computed with the library PorePy and agree with the developed theory. △ Less

Submitted 1 October, 2020; v1 submitted 13 June, 2019; originally announced June 2019.

Iterative solvers for Biot model under small and large deformation

Authors: Manuel Antonio Borregales, Kundan Kumar, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: We consider L-scheme and Newton based solvers for Biot model under small or large deformation. The mechanical deformation follows the Saint Venant-Kirchoff constitutive law. Further, the fluid compressibility is assumed to be nonlinear. A Lagrangian frame of reference is used to keep track of the deformation. We perform an implicit discretization in time (backward Euler) and propose two linearizat… ▽ More We consider L-scheme and Newton based solvers for Biot model under small or large deformation. The mechanical deformation follows the Saint Venant-Kirchoff constitutive law. Further, the fluid compressibility is assumed to be nonlinear. A Lagrangian frame of reference is used to keep track of the deformation. We perform an implicit discretization in time (backward Euler) and propose two linearization schemes for solving the nonlinear problems appearing within each time step: Newton's method and L-scheme. The linearizations are used monolithically or in combination with a splitting algorithm. The resulting schemes can be applied for any spatial discretization. The convergences of all schemes are shown analytically for cases under small deformation. Illustrative numerical examples are presented to confirm the applicability of the schemes, in particular, for large deformation. △ Less

Submitted 30 May, 2019; originally announced May 2019.

Comments: 29 pages, 12 figures

A combined finite element-finite volume framework for phase-field fracture

Authors: Juan Michael Sargado, Eirik Keilegavlen, Inga Berre, Jan Martin Nordbotten

Abstract: Numerical simulations of brittle fracture using phase-field approaches often employ a discrete approximation framework that applies the same order of interpolation for the displacement and phase-field variables. Most common is to use linear finite elements to discretize the linear momentum and phase-field equations. However the use of $P_1$ Lagrange shape functions to model the phase-field is not… ▽ More Numerical simulations of brittle fracture using phase-field approaches often employ a discrete approximation framework that applies the same order of interpolation for the displacement and phase-field variables. Most common is to use linear finite elements to discretize the linear momentum and phase-field equations. However the use of $P_1$ Lagrange shape functions to model the phase-field is not optimal, since the latter develops cusps for fully developed cracks that in turn occur at locations correspoding to Gauss points of the associated FE model for the mechanics. Such feature is challenging to reproduce accurately with low order elements, and consequently element sizes must be made very small relative to the phase-field regularization parameter in order to achieve convergence of results with respect to the mesh. In this paper, we combine the standard $P_1$ FE discretization of stress equilibrium with a cell-centered finite volume approximation of the phase-field evolution equation based on the two-point flux approximation that is constructed on the same simplex mesh. Compared to a pure FE formulation utilizing linear elements, the proposed framework results in looser restrictions on mesh refinement with respect to the phase-field length scale. Furthermore, initialization of the history field is straightforward and accomplished through a local procedure. The ability to employ a coarser mesh relative to the traditional implementation is shown for several numerical examples, demonstrating savings in computational cost on the order of 50 to 80 percent for the studied cases. △ Less

Submitted 28 April, 2019; originally announced April 2019.

Finite volume discretization for poroelastic media with fractures modeled by contact mechanics

Authors: Runar L. Berge, Inga Berre, Eirik Keilegavlen, Jan M. Nordbotten, Barbara Wohlmuth

Abstract: A fractured poroelastic body is considered where the opening of the fractures is governed by a nonpenetration law while slip is described by a Coulomb-type friction law. This physical model results in a nonlinear variational inequality problem. The variational inequality is rewritten as a complimentary function, and a semismooth Newton method is used to solve the system of equations. For the discr… ▽ More A fractured poroelastic body is considered where the opening of the fractures is governed by a nonpenetration law while slip is described by a Coulomb-type friction law. This physical model results in a nonlinear variational inequality problem. The variational inequality is rewritten as a complimentary function, and a semismooth Newton method is used to solve the system of equations. For the discretization, we use a hybrid scheme where the displacements are given in terms of degrees of freedom per element, and an additional Lagrange multiplier representing the traction is added on the fracture faces. The novelty of our method comes from combining the Lagrange multiplier from the hybrid scheme with a finite volume discretization of the poroelastic Biot equation, which allows us to directly impose the inequality constraints on each subface. The convergence of the method is studied for several challenging geometries in 2d and 3d, showing that the convergence rates of the finite volume scheme do not deteriorate when it is coupled to the Lagrange multipliers. Our method is especially attractive for the poroelastic problem because it allows for a straightforward coupling between the matrix deformation, contact conditions, and fluid pressure. △ Less

Submitted 23 August, 2019; v1 submitted 26 April, 2019; originally announced April 2019.

Comments: Preprint

An iterative staggered scheme for phase field brittle fracture propagation with stabilizing parameters

Authors: Mats Kirkesæther Brun, Thomas Wick, Inga Berre, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: This paper concerns the analysis and implementation of a novel iterative staggered scheme for quasi-static brittle fracture propagation models, where the fracture evolution is tracked by a phase field variable. The model we consider is a two-field variational inequality system, with the phase field function and the elastic displacements of the solid material as independent variables. Using a penal… ▽ More This paper concerns the analysis and implementation of a novel iterative staggered scheme for quasi-static brittle fracture propagation models, where the fracture evolution is tracked by a phase field variable. The model we consider is a two-field variational inequality system, with the phase field function and the elastic displacements of the solid material as independent variables. Using a penalization strategy, this variational inequality system is transformed into a variational equality system, which is the formulation we take as the starting point for our algorithmic developments. The proposed scheme involves a partitioning of this model into two subproblems; phase field and mechanics, with added stabilization terms to both subproblems for improved efficiency and robustness. We analyze the convergence of the proposed scheme using a fixed point argument, and find that under a natural condition, the elastic mechanical energy remains bounded, and, if the diffusive zone around crack surfaces is sufficiently thick, monotonic convergence is achieved. Finally, the proposed scheme is validated numerically with several bench-mark problems. △ Less

Submitted 20 March, 2019; originally announced March 2019.

Comments: 21 pages, 49 figures

MSC Class: 65M12; 74R10; 74S05

Stable Mixed Finite Elements for Linear Elasticity with Thin Inclusions

Authors: Wietse M. Boon, Jan M. Nordbotten

Abstract: We consider mechanics of composite materials in which thin inclusions are modeled by lower-dimensional manifolds. By successively applying the dimensional reduction to junctions and intersections within the material, a geometry of hierarchically connected manifolds is formed which we refer to as mixed-dimensional. The governing equations with respect to linear elasticity are then defined on this… ▽ More We consider mechanics of composite materials in which thin inclusions are modeled by lower-dimensional manifolds. By successively applying the dimensional reduction to junctions and intersections within the material, a geometry of hierarchically connected manifolds is formed which we refer to as mixed-dimensional. The governing equations with respect to linear elasticity are then defined on this mixed-dimensional geometry. The resulting system of partial differential equations is also referred to as mixed-dimensional, since functions defined on domains of multiple dimensionalities are considered in a fully coupled manner. With the use of a semi-discrete differential operator, we obtain the variational formulation of this system in terms of both displacements and stresses. The system is then analyzed and shown to be well-posed with respect to appropriately weighted norms. Numerical discretization schemes are proposed using well-known mixed finite elements in all dimensions. The schemes conserve linear momentum locally while relaxing the symmetry condition on the stress tensor. Stability and convergence are shown using a priori error estimates. △ Less

Submitted 5 March, 2019; originally announced March 2019.

MSC Class: 65N12; 65N30; 74S05; 74K20

Monolithic and splitting based solution schemes for fully coupled quasi-static thermo-poroelasticity with nonlinear convective transport

Authors: Mats Kirkesæther Brun, Elyes Ahmed, Inga Berre, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: This paper concerns splitting-based iterative procedures for the coupled nonlinear thermo-poroelasticity model problem. The thermo-poroelastic model problem we consider is formulated as a three-field system of PDE's, consisting of an energy balance equation, a mass balance equation and a momentum balance equation, where the primary variables are temperature, fluid pressure, and elastic displacemen… ▽ More This paper concerns splitting-based iterative procedures for the coupled nonlinear thermo-poroelasticity model problem. The thermo-poroelastic model problem we consider is formulated as a three-field system of PDE's, consisting of an energy balance equation, a mass balance equation and a momentum balance equation, where the primary variables are temperature, fluid pressure, and elastic displacement. Due to the presence of a nonlinear convective transport term in the energy balance equation, it is convenient to have access to both the pressure and temperature gradients. Hence, we introduce these as two additional variables and extend the original three-field model to a five-field model. For the numerical solution of this five-field formulation, we compare three approaches that differ by how we treat the coupling/decoupling between the flow and/from heat and/from mechanics; these approaches have in common a simultaneous application of the fixed-stress splitting scheme on both the non-linearity and the coupling structure of the problem. More precisely, the derived procedures transform a nonlinear and fully coupled problem into a set of simpler subproblems to be solved sequentially in an iterative fashion. We provide a convergence proof for the derived algorithms, and validate our results through several numerical examples. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Comments: 20 pages, 3 figures, 7 tables

MSC Class: 65M02 (Primary); 65Z02; 74F02 (Secondary)

Adaptive asynchronous time-step**, stop** criteria, and a posteriori error estimates for fixed-stress iterative schemes for coupled poromechanics problems

Authors: Elyes Ahmed, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this paper we develop adaptive iterative coupling schemes for the Biot system modeling coupled poromechanics problems. We particularly consider the space-time formulation of the fixed-stress iterative scheme, in which we first solve the problem of flow over the whole space-time interval, then exploiting the space-time information for solving the mechanics. Two common discretizations of this alg… ▽ More In this paper we develop adaptive iterative coupling schemes for the Biot system modeling coupled poromechanics problems. We particularly consider the space-time formulation of the fixed-stress iterative scheme, in which we first solve the problem of flow over the whole space-time interval, then exploiting the space-time information for solving the mechanics. Two common discretizations of this algorithm are then introduced based on two coupled mixed finite element methods in-space and the backward Euler scheme in-time. Therefrom, adaptive fixed-stress algorithms are build on conforming reconstructions of the pressure and displacement together with equilibrated flux and stresses reconstructions. These ingredients are used to derive a posteriori error estimates for the fixed-stress algorithms, distinguishing the different error components, namely the spatial discretization, the temporal discretization, and the fixed-stress iteration components. Precisely, at the iteration $k\geq 1$ of the adaptive algorithm, we prove that our estimate gives a guaranteed and fully computable upper bound on the energy-type error measuring the difference between the exact and approximate pressure and displacement. These error components are efficiently used to design adaptive asynchronous time-step** and adaptive stop** criteria for the fixed-stress algorithms. Numerical experiments illustrate the efficiency of our estimates and the performance of the adaptive iterative coupling algorithms. △ Less

Submitted 4 January, 2019; originally announced January 2019.

A Singularity Removal Method for Coupled 1D-3D Flow Models

Authors: Ingeborg G. Gjerde, Kundan Kumar, Jan M. Nordbotten

Abstract: In reservoir simulations, the radius of a well is inevitably going to be small compared to the horizontal length scale of the reservoir. For this reason, wells are typically modelled as lower-dimensional sources. In this work, we consider a coupled 1D-3D flow model, in which the well is modelled as a line source in the reservoir domain and endowed with its own 1D flow equation. The flow between we… ▽ More In reservoir simulations, the radius of a well is inevitably going to be small compared to the horizontal length scale of the reservoir. For this reason, wells are typically modelled as lower-dimensional sources. In this work, we consider a coupled 1D-3D flow model, in which the well is modelled as a line source in the reservoir domain and endowed with its own 1D flow equation. The flow between well and reservoir can then be modelled in a fully coupled manner by applying a linear filtration law. The line source induces a logarithmic type singularity in the reservoir pressure that is difficult to resolve numerically. We present here a singularity removal method for the model equations, resulting in a reformulated coupled 1D-3D flow model in which all variables are smooth. The singularity removal is based on a solution splitting of the reservoir pressure, where it is decomposed into two terms: an explicitly given, lower regularity term capturing the solution singularity and some smooth background pressure. The singularities can then be removed from the system by subtracting them from the governing equations. Finally, the coupled 1D-3D flow equations can be reformulated so they are given in terms of the well pressure and the background reservoir pressure. As these variables are both smooth (i.e. non-singular), the reformulated model has the advantage that it can be approximated using any standard numerical method. The reformulation itself resembles a Peaceman well correction performed at the continuous level. △ Less

Submitted 22 August, 2019; v1 submitted 7 December, 2018; originally announced December 2018.

On the optimization of the fixed-stress splitting for Biot's equations

Authors: Erlend Storvik, Jakub Wiktor Both, Kundan Kumar, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this work we are interested in effectively solving the quasi-static, linear Biot model for poromechanics. We consider the fixed-stress splitting scheme, which is a popular method for iteratively solving Biot's equations. It is well-known that the convergence of the method is strongly dependent on the applied stabilization/tuning parameter. In this work, we propose a new approach to optimize thi… ▽ More In this work we are interested in effectively solving the quasi-static, linear Biot model for poromechanics. We consider the fixed-stress splitting scheme, which is a popular method for iteratively solving Biot's equations. It is well-known that the convergence of the method is strongly dependent on the applied stabilization/tuning parameter. In this work, we propose a new approach to optimize this parameter. We show theoretically that it depends also on the fluid flow properties and not only on the mechanics properties and the coupling coefficient. The type of analysis presented in this paper is not restricted to a particular spatial discretization. We only require it to be inf-sup stable. The convergence proof applies also to low-compressible or incompressible fluids and low-permeable porous media. Illustrative numerical examples, including random initial data, random boundary conditions or random source terms and a well-known benchmark problem, i.e. Mandel's problem are performed. The results are in good agreement with the theoretical findings. Furthermore, we show numerically that there is a connection between the inf-sup stability of discretizations and the performance of the fixed-stress splitting scheme. △ Less

Submitted 10 December, 2018; v1 submitted 15 November, 2018; originally announced November 2018.

A multipoint stress mixed finite element method for elasticity on quadrilateral grids

Authors: Ilona Ambartsumyan, Eldar Khattatov, Jan M. Nordbotten, Ivan Yotov

Abstract: We develop a multipoint stress mixed finite element method for linear elasticity with weak stress symmetry on quadrilateral grids, which can be reduced to a symmetric and positive definite cell centered system. The method is developed on simplicial grids in [4]. The method utilizes the lowest order Brezzi-Douglas-Marini finite element spaces for the stress and the trapezoidal quadrature rule in or… ▽ More We develop a multipoint stress mixed finite element method for linear elasticity with weak stress symmetry on quadrilateral grids, which can be reduced to a symmetric and positive definite cell centered system. The method is developed on simplicial grids in [4]. The method utilizes the lowest order Brezzi-Douglas-Marini finite element spaces for the stress and the trapezoidal quadrature rule in order to localize the interaction of degrees of freedom, which allows for local stress elimination around each vertex. We develop two variants of the method. The first uses a piecewise constant rotation and results in a cell-centered system for displacement and rotation. The second uses a continuous piecewise bilinear rotation and trapezoidal quadrature rule for the asymmetry bilinear form. This allows for further elimination of the rotation, resulting in a cell-centered system for the displacement only. Stability and error analysis is performed for both methods. First-order convergence is established for all variables in their natural norms. A duality argument is employed to prove second order superconvergence of the displacement at the cell centers. Numerical results are presented in confirmation of the theory. △ Less

Submitted 31 July, 2019; v1 submitted 2 November, 2018; originally announced November 2018.

Comments: arXiv admin note: text overlap with arXiv:1805.09920

Splitting method for elliptic equations with line sources

Authors: Ingeborg G. Gjerde, Kundan Kumar, Jan M. Nordbotten, Barbara Wohlmuth

Abstract: In this paper, we study the mathematical structure and numerical approximation of elliptic problems posed in a (3D) domain $Ω$ when the right-hand side is a (1D) line source $Λ$. The analysis and approximation of such problems is known to be non-standard as the line source causes the solution to be singular. Our main result is a splitting theorem for the solution; we show that the solution admits… ▽ More In this paper, we study the mathematical structure and numerical approximation of elliptic problems posed in a (3D) domain $Ω$ when the right-hand side is a (1D) line source $Λ$. The analysis and approximation of such problems is known to be non-standard as the line source causes the solution to be singular. Our main result is a splitting theorem for the solution; we show that the solution admits a split into an explicit, low regularity term capturing the singularity, and a high-regularity correction term $w$ being the solution of a suitable elliptic equation. The splitting theorem states the mathematical structure of the solution; in particular, we find that the solution has anisotropic regularity. More precisely, the solution fails to belong to $H^1$ in the neighbourhood of $Λ$, but exhibits piecewise $H^2$-regularity parallel to $Λ$. The splitting theorem can further be used to formulate a numerical method in which the solution is approximated via its correction function $w$. This approach has several benefits. Firstly, it recasts the problem as a 3D elliptic problem with a 3D right-hand side belonging to $L^2$, a problem for which the discretizations and solvers are readily available. Secondly, it makes the numerical approximation independent of the discretization of $Λ$; thirdly, it improves the approximation properties of the numerical method. We consider here the Galerkin finite element method, and show that the singularity subtraction then recovers optimal convergence rates on uniform meshes, i.e., without needing to refine the mesh around each line segment. The numerical method presented in this paper is therefore well-suited for applications involving a large number of line segments. We illustrate this by treating a dataset (consisting of $\sim 3000$ line segments) describing the vascular system of the brain. △ Less

Submitted 30 October, 2018; originally announced October 2018.

Well-posedness of the fully coupled quasi-static thermo-poro-elastic equations with nonlinear convective transport

Authors: Mats K. Brun, Elyes Ahmed, Florin A. Radu, Jan Martin Nordbotten

Abstract: This paper is concerned with the analysis of the quasi-static thermo-poroelastic model. This model is nonlinear and includes thermal effects compared to the classical quasi-static poroelastic model (also known as Biot's model). It consists of a momentum balance equation, a mass balance equation, and an energy balance equation, fully coupled and nonlinear due to a convective transport term in the e… ▽ More This paper is concerned with the analysis of the quasi-static thermo-poroelastic model. This model is nonlinear and includes thermal effects compared to the classical quasi-static poroelastic model (also known as Biot's model). It consists of a momentum balance equation, a mass balance equation, and an energy balance equation, fully coupled and nonlinear due to a convective transport term in the energy balance equation. The aim of this article is to investigate, in the context of mixed formulations, the existence and uniqueness of a weak solution to this model problem. The primary variables in these formulations are the fluid pressure, temperature and elastic displacement as well as the Darcy flux, heat flux and total stress. The well-posedness of a linearized formulation is addressed first through the use of a Galerkin method and suitable a priori estimates. This is used next to study the well-posedness of an iterative solution procedure for the full nonlinear problem. A convergence proof for this algorithm is then inferred by a contraction of successive difference functions of the iterates using suitable norms. △ Less

Submitted 4 July, 2018; v1 submitted 3 July, 2018; originally announced July 2018.

Comments: 22 pages

MSC Class: 35Q86 (Primary) 35Q74; 35Q79 (Secondary)

A multipoint stress mixed finite element method for elasticity on simplicial grids

Authors: Ilona Ambartsumyan, Eldar Khattatov, Jan M. Nordbotten, Ivan Yotov

Abstract: We develop a new multipoint stress mixed finite element method for linear elasticity with weakly enforced stress symmetry on simplicial grids. Motivated by the multipoint flux mixed finite element method for Darcy flow, the method utilizes the lowest order Brezzi-Douglas-Marini finite element spaces for the stress and the vertex quadrature rule in order to localize the interaction of degrees of fr… ▽ More We develop a new multipoint stress mixed finite element method for linear elasticity with weakly enforced stress symmetry on simplicial grids. Motivated by the multipoint flux mixed finite element method for Darcy flow, the method utilizes the lowest order Brezzi-Douglas-Marini finite element spaces for the stress and the vertex quadrature rule in order to localize the interaction of degrees of freedom. This allows for local stress elimination around each vertex. We develop two variants of the method. The first uses a piecewise constant rotation and results in a cell-centered system for displacement and rotation. The second uses a piecewise linear rotation and a quadrature rule for the asymmetry bilinear form. This allows for further elimination of the rotation, resulting in a cell-centered system for the displacement only. Stability and error analysis is performed for both variants. First-order convergence is established for all variables in their natural norms. A duality argument is further employed to prove second order superconvergence of the displacement at the cell centers. Numerical results are presented in confirmation of the theory. △ Less

Submitted 26 July, 2019; v1 submitted 24 May, 2018; originally announced May 2018.

Anderson accelerated fixed-stress splitting schemes for consolidation of unsaturated porous media

Authors: Jakub Wiktor Both, Kundan Kumar, Jan Martin Nordbotten, Florin Adrian Radu

Abstract: In this paper, we study the robust linearization of nonlinear poromechanics of unsaturated materials. The model of interest couples the Richards equation with linear elasticity equations, employing the equivalent pore pressure. In practice a monolithic solver is not always available, defining the requirement for a linearization scheme to allow the use of separate simulators, which is not met by th… ▽ More In this paper, we study the robust linearization of nonlinear poromechanics of unsaturated materials. The model of interest couples the Richards equation with linear elasticity equations, employing the equivalent pore pressure. In practice a monolithic solver is not always available, defining the requirement for a linearization scheme to allow the use of separate simulators, which is not met by the classical Newton method. We propose three different linearization schemes incorporating the fixed-stress splitting scheme, coupled with an L-scheme, Modified Picard and Newton linearization of the flow. All schemes allow the efficient and robust decoupling of mechanics and flow equations. In particular, the simplest scheme, the Fixed-Stress-L-scheme, employs solely constant diagonal stabilization, has low cost per iteration, and is very robust. Under mild, physical assumptions, it is theoretically shown to be a contraction. Due to possible break-down or slow convergence of all considered splitting schemes, Anderson acceleration is applied as post-processing. Based on a special case, we justify theoretically the general ability of the Anderson acceleration to effectively accelerate convergence and stabilize the underlying scheme, allowing even non-contractive fixed-point iterations to converge. To our knowledge, this is the first theoretical indication of this kind. Theoretical findings are confirmed by numerical results. In particular, Anderson acceleration has been demonstrated to be very effective for the considered Picard-type methods. Finally, the Fixed-Stress-Newton scheme combined with Anderson acceleration provides a robust linearization scheme, meeting the above criteria. △ Less

Submitted 10 May, 2018; originally announced May 2018.

A Non-standard Model for Microbial Enhanced Oil Recovery Including the Oil-water Interfacial Area

Authors: David Landa-Marbán, Florin A. Radu, Jan M. Nordbotten

Abstract: In this work we present a non-standard model for microbial enhanced oil recovery including the oil-water interfacial area. Including the interfacial area in the model, we eliminate the hysteresis in the capillary pressure relationship. One of the characteristics that a surfactant should have, it is biological production at the oil-water interface. Therefore, we consider the production rate of surf… ▽ More In this work we present a non-standard model for microbial enhanced oil recovery including the oil-water interfacial area. Including the interfacial area in the model, we eliminate the hysteresis in the capillary pressure relationship. One of the characteristics that a surfactant should have, it is biological production at the oil-water interface. Therefore, we consider the production rate of surfactants not only as a function of the nutrient concentration, but also the interfacial area. To solve the model equations, we use an efficient and robust linearization scheme that considers a linear approximation of the capillary pressure gradient. A comprehensive, 1D implementation based on two-point flux approximation of the model is achieved. We consider different parameterizations for the interfacial tension and residual oil saturation reduction. Illustrative numerical simulations are presented, where we study the spatial distribution and evolution in time of the average pressure, water saturation, interfacial area, capillary pressure, residual oil saturation and bacterial, nutrient and surfactant concentrations. Inclusion of the interfacial area in the model leads to different predictions of oil recovery. The model can also be used to design new experiments contributing to a better understanding and optimization of MEOR. △ Less

Submitted 19 April, 2018; originally announced April 2018.

Journal ref: IOR 2017-19th European Symposium on Improved Oil Recovery 2017, 1-10 (2017)

Unified approach to discretization of flow in fractured porous media

Authors: Jan M. Nordbotten, Wietse M. Boon, Alessio Fumagalli, Eirik Keilegavlen

Abstract: In this paper, we introduce a mortar-based approach to discretizing flow in fractured porous media, which we term the mixed-dimensional flux coupling scheme. Our formulation is agnostic to the discretizations used to discretize the fluid flow equations in the porous medium and in the fractures, and as such it represents a unified approach to integrated fractured geometries into any existing discre… ▽ More In this paper, we introduce a mortar-based approach to discretizing flow in fractured porous media, which we term the mixed-dimensional flux coupling scheme. Our formulation is agnostic to the discretizations used to discretize the fluid flow equations in the porous medium and in the fractures, and as such it represents a unified approach to integrated fractured geometries into any existing discretization framework. In particular, several existing discretization approaches for fractured porous media can be seen as special instances of the approach proposed herein. We provide an abstract stability theory for our approach, which provides explicit guidance into the grids used to discretize the fractures and the porous medium, as dependent on discretization methods chosen for the respective domains. The theoretical results are sustained by numerical examples, wherein we utilize our framework to simulate flow in 2D and 3D fractured media using control volume methods (both two-point and multi-point flux), Lagrangian finite element methods, mixed finite element methods, and virtual element methods. As expected, regardless of the ambient methods chosen, our approach leads to stable and convergent discretizations for the fractured problems considered, within the limits of the discretization schemes. △ Less

Submitted 9 August, 2018; v1 submitted 16 February, 2018; originally announced February 2018.

Linear iterative schemes for doubly degenerate parabolic equations

Authors: Jakub W. Both, Kundan Kumar, Jan M. Nordbotten, Iuliu Sorin Pop, Florin A. Radu

Abstract: Mathematical models for flow and reactive transport in porous media often involve non-linear, degenerate parabolic equations. Their solutions have low regularity, and therefore lower order schemes are used for the numerical approximation. Here the backward Euler method is combined with a mixed finite element method scheme, which results in a stable and locally mass-conservative scheme. At the same… ▽ More Mathematical models for flow and reactive transport in porous media often involve non-linear, degenerate parabolic equations. Their solutions have low regularity, and therefore lower order schemes are used for the numerical approximation. Here the backward Euler method is combined with a mixed finite element method scheme, which results in a stable and locally mass-conservative scheme. At the same time, at each time step one has to solve a non-linear algebraic system, for which linear iterations are needed. Finding robust and convergent ones is particularly challenging here, since both slow and fast diffusion cases are allowed. Commonly used schemes, like Newton and Picard iterations, are defined either for non-degenerate problems, or after regularising the problem in the case of degenerate ones. Convergence is guaranteed only if the initial guess is sufficiently close to the solution, which translates into severe restrictions on the time step. Here we discuss a linear iterative scheme which builds on the $L$-scheme, and does not employ any regularisation. We prove its rigourous convergence, which is obtained for mild restrictions on the time step. Finally, we give numerical results confirming the theoretical ones, and compare the behaviour of the scheme with other schemes. △ Less

Submitted 2 January, 2018; originally announced January 2018.