-
Modeling and Simulation of Coupled Biochemical and Two-Phase Compositional Flow in Underground Hydrogen Storage
Authors:
Elyes Ahmed,
Brahim Amaziane,
Salaheddine Chabab,
Stéphanie Delage Santacreu,
Guillaume Galliéro,
Olav Møyner,
Xavier Raynaud
Abstract:
Integrating microbial activity into underground hydrogen storage models is crucial for simulating long-term reservoir behavior. In this work, we present a coupled framework that incorporates bio-geochemical reactions and compositional flow models within the Matlab Reservoir Simulation Toolbox (MRST). Microbial growth and decay are modeled using a double Monod formulation, with populations influenc…
▽ More
Integrating microbial activity into underground hydrogen storage models is crucial for simulating long-term reservoir behavior. In this work, we present a coupled framework that incorporates bio-geochemical reactions and compositional flow models within the Matlab Reservoir Simulation Toolbox (MRST). Microbial growth and decay are modeled using a double Monod formulation, with populations influenced by hydrogen and carbon dioxide availability. First, a refined Equation of State (EoS) is employed to accurately capture hydrogen dissolution, thereby improving phase behavior and modeling of microbial activity. The model is then discretized using a cell-centered finite-volume method with implicit Euler time discretization. A fully coupled fully implicit strategy is considered. Our implementation builds upon MRST's compositional module by incorporating the Søreide-Whitson EoS, microbial reaction kinetics, and specific effects such as bio-clogging and molecular diffusion. Through a series of 1D, 2D and 3D simulations, we analyze the effects of microbial-induced bio-geochemical transformations on underground hydrogen storage in porous media.These results highlight that accounting for bio-geochemical effects can substantially impact hydrogen loss, purity, and overall storage performance.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
A semi-discrete scheme derived from variational principles for global conservative solutions of a Camassa-Holm system
Authors:
Sondre Tesdal Galtung,
Xavier Raynaud
Abstract:
We define a kinetic and a potential energy such that the principle of stationary action from Lagrangian mechanics yields a Camassa--Holm system (2CH) as the governing equations. After discretizing these energies, we use the same variational principle to derive a semi-discrete system of equations as an approximation of the 2CH system. The discretizaton is only available in Lagrangian coordinates an…
▽ More
We define a kinetic and a potential energy such that the principle of stationary action from Lagrangian mechanics yields a Camassa--Holm system (2CH) as the governing equations. After discretizing these energies, we use the same variational principle to derive a semi-discrete system of equations as an approximation of the 2CH system. The discretizaton is only available in Lagrangian coordinates and requires the inversion of a discrete Sturm--Liouville operator with time-varying coefficients. We show the existence of fundamental solutions for this operator at initial time with appropriate decay. By propagating the fundamental solutions in time, we define an equivalent semi-discrete system for which we prove that there exists unique global solutions. Finally, we show how the solutions of the semi-discrete system can be used to construct a sequence of functions converging to the conservative solution of the 2CH system.
△ Less
Submitted 28 April, 2021; v1 submitted 6 March, 2020;
originally announced March 2020.
-
Robust chemical solver for fully-implicit simulations
Authors:
McNeece Colin,
Raynaud Xavier,
Nilsen Halvor,
Hesse Marc
Abstract:
The study of geological systems requires the solution of complex geochemical relations. We present an implementation of a chemical solver which can handle various types of models, including surface chemistry. The implementation is done in view of easy coupling with flow simulations to obtain a fully-coupled, fully-implicit solver for chemical reaction transport equations applicable to realistic re…
▽ More
The study of geological systems requires the solution of complex geochemical relations. We present an implementation of a chemical solver which can handle various types of models, including surface chemistry. The implementation is done in view of easy coupling with flow simulations to obtain a fully-coupled, fully-implicit solver for chemical reaction transport equations applicable to realistic reservoir models.
△ Less
Submitted 8 June, 2018;
originally announced June 2018.
-
Symmetries and multipeakon solutions for the modified two-component Camassa-Holm system
Authors:
Katrin Grunert,
Xavier Raynaud
Abstract:
Compared with the two-component Camassa-Holm system, the modified two-component Camassa-Holm system introduces a regularized density which makes possible the existence of solutions of lower regularity, and in particular of multipeakon solutions. In this paper, we derive a new pointwise invariant for the modified two-component Camassa-Holm system. The derivation of the invariant uses directly the s…
▽ More
Compared with the two-component Camassa-Holm system, the modified two-component Camassa-Holm system introduces a regularized density which makes possible the existence of solutions of lower regularity, and in particular of multipeakon solutions. In this paper, we derive a new pointwise invariant for the modified two-component Camassa-Holm system. The derivation of the invariant uses directly the symmetry of the system, following the classical argument of Noether's theorem. The existence of the multipeakon solutions can be directly inferred from this pointwise invariant. This derivation shows the strong connection between symmetries and the existence of special solutions. The observation also holds for the scalar Camassa-Holm equation and, for comparison, we have also included the corresponding derivation. Finally, we compute explicitly the solutions obtained for the peakon-antipeakon case. We observe the existence of a periodic solution which has not been reported in the literature previously. This case shows the attractive effect that the introduction of an elastic potential can have on the solutions.
△ Less
Submitted 20 April, 2017;
originally announced April 2017.
-
Combining the Modified Discrete Element Method with the Virtual Element Method for Fracturing of Porous Media
Authors:
Halvor Møll Nilsen,
Idar Larsen,
Xavier Raynaud
Abstract:
Simulation of fracturing processes in porous rocks can be divided into two main branches: (i) modeling the rock as a continuum which is enhanced with special features to account for fractures, or (ii) modeling the rock by a discrete (or discontinuous) approach that describes the material directly as a collection of separate blocks or particles, e.g., as in the discrete element method (DEM). In the…
▽ More
Simulation of fracturing processes in porous rocks can be divided into two main branches: (i) modeling the rock as a continuum which is enhanced with special features to account for fractures, or (ii) modeling the rock by a discrete (or discontinuous) approach that describes the material directly as a collection of separate blocks or particles, e.g., as in the discrete element method (DEM). In the modified discrete element (MDEM) method, the effective forces between virtual particles are modified in all regions, without failing elements, so that they reproduce the discretization of a first order finite element method (FEM) for linear elasticity. This provides an expression of the virtual forces in terms of general Hook's macro-parameters. Previously, MDEM has been formulated through an analogy with linear elements for FEM. We show the connection between MDEM and the virtual element method (VEM), which is a generalization of FEM to polyhedral grids. Unlike standard FEM, which computes strain-states in a reference space, MDEM and VEM compute stress-states directly in real space. This connection leads us to a new derivation of the MDEM method. Moreover, it gives the basis for coupling (M)DEM to domain with linear elasticity described by polyhedral grids, which makes it easier to apply realistic boundary conditions in hydraulic-fracturing simulations. This approach also makes it possible to combine fine-scale (M)DEM behavior near the fracturing region with linear elasticity on complex reservoir grids in the far-field region without regridding. To demonstrate the simulation of hydraulic fracturing, the coupled (M)DEM-VEM method is implemented using the Matlab Reservoir Simulation Toolbox (MRST) and linked to an industry-standard reservoir simulator.
△ Less
Submitted 6 February, 2017;
originally announced February 2017.
-
Virtual Element Method for geomechanics on reservoir grids
Authors:
Odd Andersen,
Halvor M. Nilsen,
Xavier Raynaud
Abstract:
In this paper we study the use of Virtual Element method for geomechanics. Our emphasis is on applications to reservoir simulations. The physical processes that form the reservoirs, such as sedimentation, erosion and faulting, lead to complex geometrical structures. A minimal representation, with respect to the physical parameters of the system, then naturally leads to general polyhedral grids. Nu…
▽ More
In this paper we study the use of Virtual Element method for geomechanics. Our emphasis is on applications to reservoir simulations. The physical processes that form the reservoirs, such as sedimentation, erosion and faulting, lead to complex geometrical structures. A minimal representation, with respect to the physical parameters of the system, then naturally leads to general polyhedral grids. Numerical methods which can directly handle this representation will be highly favorable, in particular in the setting of advanced work-flows. The Virtual Element method is a promising candidate to solve the linear elasticity equations on such models. In this paper, we investigate some of the limits of the VEM method when used on reservoir models. First, we demonstrate that care must be taken to make the method robust for highly elongated cells, which is common in these applications, and show the importance of calculating forces in terms of traction on the boundary of the elements for elongated distorted cells. Second, we study the effect of triangulations on the surfaces of curved faces, which also naturally occur in subsurface models. We also demonstrate how a more stable regularization term for reservoir application can be derived.
△ Less
Submitted 8 February, 2017; v1 submitted 30 June, 2016;
originally announced June 2016.
-
Comparison between cell-centered and nodal based discretization schemes for linear elasticity
Authors:
Nilsen Halvor,
Nordbotten Jan,
Raynaud Xavier
Abstract:
In this paper we study newly developed methods for linear elasticity on polyhedral meshes. Our emphasis is on applications of the methods to geological models. Models of subsurface, and in particular sedimentary rocks, naturally lead to general polyhedral meshes. Numerical methods which can directly handle such representation are highly desirable. Many of the numerical challenges in simulation of…
▽ More
In this paper we study newly developed methods for linear elasticity on polyhedral meshes. Our emphasis is on applications of the methods to geological models. Models of subsurface, and in particular sedimentary rocks, naturally lead to general polyhedral meshes. Numerical methods which can directly handle such representation are highly desirable. Many of the numerical challenges in simulation of subsurface applications come from the lack of robustness and accuracy of numerical methods in the case of highly distorted grids. In this paper we investigate and compare the Multi-Point Stress Approximation (MPSA) and the Virtual Element Method (VEM) with regards to grid features that are frequently seen in geological models and likely to lead to a lack of accuracy of the methods. In particular we look how the methods perform near the incompressible limit. This work shows that both methods are promising for flexible modeling of subsurface mechanics.
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
A continuous interpolation between conservative and dissipative solutions for the two-component Camassa-Holm system
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We introduce a novel solution concept, denoted $α$-dissipative solutions, that provides a continuous interpolation between conservative and dissipative solutions of the Cauchy problem for the two-component Camassa-Holm system on the line with vanishing asymptotics. All the $α$-dissipative solutions are global weak solutions of the same equation in Eulerian coordinates, yet they exhibit rather dist…
▽ More
We introduce a novel solution concept, denoted $α$-dissipative solutions, that provides a continuous interpolation between conservative and dissipative solutions of the Cauchy problem for the two-component Camassa-Holm system on the line with vanishing asymptotics. All the $α$-dissipative solutions are global weak solutions of the same equation in Eulerian coordinates, yet they exhibit rather distinct behavior at wave breaking. The solutions are constructed after a transformation into Lagrangian variables, where the solution is carefully modified at wave breaking.
△ Less
Submitted 5 February, 2014;
originally announced February 2014.
-
Lipschitz metric for the two-component Camassa--Holm system
Authors:
Grunert Katrin,
Holden Helge,
Raynaud Xavier
Abstract:
We construct a Lipschitz metric for conservative solutions of the Cauchy problem on the line for the two-component Camassa--Holm system $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}+ρρ_x=0$, and $ρ_t+(uρ)_x=0$ with given initial data $(u_0, ρ_0)$. The Lipschitz metric $d_{\D^M}$ has the property that for two solutions $z(t)=(u(t),ρ(t),μ_t)$ and $\tilde z(t)=(\tilde u(t),\tilde ρ(t),\tilde μ_t)$ of the sy…
▽ More
We construct a Lipschitz metric for conservative solutions of the Cauchy problem on the line for the two-component Camassa--Holm system $u_t-u_{txx}+3uu_x-2u_xu_{xx}-uu_{xxx}+ρρ_x=0$, and $ρ_t+(uρ)_x=0$ with given initial data $(u_0, ρ_0)$. The Lipschitz metric $d_{\D^M}$ has the property that for two solutions $z(t)=(u(t),ρ(t),μ_t)$ and $\tilde z(t)=(\tilde u(t),\tilde ρ(t),\tilde μ_t)$ of the system we have $d_{\D^M}(z(t),\tilde z(t))\le C_{M,T} d_{\D^M}(z_0,\tilde z_0)$ for $t\in[0,T]$. Here the measure $μ_t$ is such that its absolutely continuous part equals the energy $(u^2+u_x^2+ρ^2)(t)dx$, and the solutions are restricted to a ball of radius $M$.
△ Less
Submitted 28 June, 2013;
originally announced June 2013.
-
Periodic conservative solutions for the two-component Camassa-Holm system
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We construct a global continuous semigroup of weak periodic conservative solutions to the two-component Camassa-Holm system, $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}+ηρρ_x=0$ and $ρ_t+(uρ)_x=0$, for initial data $(u,ρ)|_{t=0}$ in $H^1_{\rm per}\times L^2_{\rm per}$. It is necessary to augment the system with an associated energy to identify the conservative solution. We study the stability of t…
▽ More
We construct a global continuous semigroup of weak periodic conservative solutions to the two-component Camassa-Holm system, $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}+ηρρ_x=0$ and $ρ_t+(uρ)_x=0$, for initial data $(u,ρ)|_{t=0}$ in $H^1_{\rm per}\times L^2_{\rm per}$. It is necessary to augment the system with an associated energy to identify the conservative solution. We study the stability of these periodic solutions by constructing a Lipschitz metric. Moreover, it is proved that if the density $ρ$ is bounded away from zero, the solution is smooth. Furthermore, it is shown that given a sequence $ρ_0^n$ of initial values for the densities that tend to zero, then the associated solutions $u^n$ will approach the global conservative weak solution of the Camassa-Holm equation. Finally it is established how the characteristics govern the smoothness of the solution.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
Global dissipative solutions of the two-component Camassa-Holm system for initial data with nonvanishing asymptotics
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We show existence of a global weak dissipative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line with nonvanishing and distinct spatial asymptotics. The influence from the second component in the 2CH system on the regularity of the solution, and, in particular, the consequences for wave breaking, is discussed. Furthermore, the interplay between dissipative…
▽ More
We show existence of a global weak dissipative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line with nonvanishing and distinct spatial asymptotics. The influence from the second component in the 2CH system on the regularity of the solution, and, in particular, the consequences for wave breaking, is discussed. Furthermore, the interplay between dissipative and conservative solutions is treated.
△ Less
Submitted 8 January, 2013;
originally announced January 2013.
-
Global solutions for the two-component Camassa-Holm system
Authors:
K. Grunert,
H. Holden,
X. Raynaud
Abstract:
We prove existence of a global conservative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line, allowing for nonvanishing and distinct asymptotics at plus and minus infinity. The solution is proven to be smooth as long as the density is bounded away from zero. Furthermore, we show that by taking the limit of vanishing density in the 2CH system, we obtain the…
▽ More
We prove existence of a global conservative solution of the Cauchy problem for the two-component Camassa-Holm (2CH) system on the line, allowing for nonvanishing and distinct asymptotics at plus and minus infinity. The solution is proven to be smooth as long as the density is bounded away from zero. Furthermore, we show that by taking the limit of vanishing density in the 2CH system, we obtain the global conservative solution of the (scalar) Camassa-Holm equation, which provides a novel way to define and obtain these solutions. Finally, it is shown that while solutions of the 2CH system have infinite speed of propagation, singularities travel with finite speed.
△ Less
Submitted 14 November, 2011;
originally announced November 2011.
-
Convergent Numerical Schemes for the Compressible Hyperelastic Rod Wave Equation
Authors:
David Cohen,
Xavier Raynaud
Abstract:
We propose a fully discretised numerical scheme for the hyperelastic rod wave equation on the line. The convergence of the method is established. Moreover, the scheme can handle the blow-up of the derivative which naturally occurs for this equation. By using a time splitting integrator which preserves the invariants of the problem, we can also show that the scheme preserves the positivity of the e…
▽ More
We propose a fully discretised numerical scheme for the hyperelastic rod wave equation on the line. The convergence of the method is established. Moreover, the scheme can handle the blow-up of the derivative which naturally occurs for this equation. By using a time splitting integrator which preserves the invariants of the problem, we can also show that the scheme preserves the positivity of the energy density.
△ Less
Submitted 9 September, 2011;
originally announced September 2011.
-
Global conservative solutions of the Camassa-Holm equation for initial data nonvanishing asymptotics
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We study global conservative solutions of the Cauchy problem for the Camassa-Holm equation $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with nonvanishing and distinct spatial asymptotics.
We study global conservative solutions of the Cauchy problem for the Camassa-Holm equation $u_t-u_{txx}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with nonvanishing and distinct spatial asymptotics.
△ Less
Submitted 21 June, 2011;
originally announced June 2011.
-
Lipschitz metric for the Camassa-Holm equation on the line
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We study stability of solutions of the Cauchy problem on the line for the Camassa-Holm equation $u_t-u_{xxt}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and the usual norms in…
▽ More
We study stability of solutions of the Cauchy problem on the line for the Camassa-Holm equation $u_t-u_{xxt}+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and the usual norms in $H^1$ and $L^\infty$ is clarified. The method extends to the generalized hyperelastic-rod equation $u_t-u_{xxt}+f(u)_x-f(u)_{xxx}+(g(u)+\frac12 f"(u)(u_x)^2)_x=0$ (for $f$ without inflection points).
△ Less
Submitted 4 October, 2010;
originally announced October 2010.
-
Lipschitz metric for the periodic Camassa-Holm equation
Authors:
Katrin Grunert,
Helge Holden,
Xavier Raynaud
Abstract:
We study stability of conservative solutions of the Cauchy problem for the periodic Camassa-Holm equation $u_t-u_{xxt}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and usual…
▽ More
We study stability of conservative solutions of the Cauchy problem for the periodic Camassa-Holm equation $u_t-u_{xxt}+κu_x+3uu_x-2u_xu_{xx}-uu_{xxx}=0$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$. The relationship between this metric and usual norms in $H^1_{\rm per}$ and $L^\infty_{\rm per}$ is clarified.
△ Less
Submitted 19 May, 2010;
originally announced May 2010.
-
Global semigroup of conservative solutions of the nonlinear variational wave equation
Authors:
Helge Holden,
Xavier Raynaud
Abstract:
We prove the existence of a global semigroup for conservative solutions of the nonlinear variational wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$. We allow for initial data $u|_{t=0}$ and $u_t|_{t=0}$ that contain measures. We assume that $0<κ^{-1}\le c(u) \le κ$. Solutions of this equation may experience concentration of the energy density $(u_t^2+c(u)^2u_x^2)dx$ into sets of measure zero. The solu…
▽ More
We prove the existence of a global semigroup for conservative solutions of the nonlinear variational wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$. We allow for initial data $u|_{t=0}$ and $u_t|_{t=0}$ that contain measures. We assume that $0<κ^{-1}\le c(u) \le κ$. Solutions of this equation may experience concentration of the energy density $(u_t^2+c(u)^2u_x^2)dx$ into sets of measure zero. The solution is constructed by introducing new variables related to the characteristics, whereby singularities in the energy density become manageable. Furthermore, we prove that the energy may only focus on a set of times of zero measure or at points where $c'(u)$ vanishes. A new numerical method to construct conservative solutions is provided and illustrated on examples.
△ Less
Submitted 28 October, 2009;
originally announced October 2009.
-
Lipschitz metric for the Hunter-Saxton equation
Authors:
Alberto Bressan,
Helge Holden,
Xavier Raynaud
Abstract:
We study stability of solutions of the Cauchy problem for the Hunter-Saxton equation $u_t+uu_x=\frac14(\int_{-\infty}^xu_x^2 dx-\int_{x}^\infty u_x^2 dx)$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$.
We study stability of solutions of the Cauchy problem for the Hunter-Saxton equation $u_t+uu_x=\frac14(\int_{-\infty}^xu_x^2 dx-\int_{x}^\infty u_x^2 dx)$ with initial data $u_0$. In particular, we derive a new Lipschitz metric $d_\D$ with the property that for two solutions $u$ and $v$ of the equation we have $d_\D(u(t),v(t))\le e^{Ct} d_\D(u_0,v_0)$.
△ Less
Submitted 23 April, 2009;
originally announced April 2009.
-
Symmetric waves are traveling waves
Authors:
Mats Ehrnström,
Helge Holden,
Xavier Raynaud
Abstract:
We show that horizontally symmetric water waves are traveling waves. The result is valid for the Euler equations, and is based on a general principle that applies to a large class of nonlinear partial differential equations, including some of the most famous model equations for water waves. A detailed analysis is given for weak solutions of the Camassa-Holm equation. In addition, we establish th…
▽ More
We show that horizontally symmetric water waves are traveling waves. The result is valid for the Euler equations, and is based on a general principle that applies to a large class of nonlinear partial differential equations, including some of the most famous model equations for water waves. A detailed analysis is given for weak solutions of the Camassa-Holm equation. In addition, we establish the existence of nonsymmetric linear rotational waves for the Euler equations.
△ Less
Submitted 3 March, 2009;
originally announced March 2009.
