Abstract
In this paper, we study the equations of nonlinear poroelasticity derived from mixture theory. They describe the quasi-static mechanical behavior of a fluid saturated porous medium. The nonlinearity arises from the compressibility of the fluid and from the dependence of porosity and permeability on the divergence of the displacement. We point some limitations of the model. In our approach, we discretize the quasi-static formulation in time and first consider the corresponding incremental problem. For this, we prove existence of a solution using Brézis’ theory of pseudo-monotone operators. Generalizing Biot’s free energy to the nonlinear setting, we construct a Lyapunov functional, yielding global stability. This allows us to construct bounds that are uniform with respect to the time step. In the case when dissipative interface effects between the fluid and the solid are taken into account, we consider the continuous time case in the limit when the time step tends to zero. This yields existence of a weak free energy solution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The elastic quasi-static deformation of a fluid saturated porous medium received much attention in the civil engineering literature because of its relevance to many problems of practical interest. In the framework of consolidation in soil mechanics, these problems relate to the physical loading of soil layers or the effect of soil subsidence due to groundwater withdrawal for drinking water supply or industrial and agricultural purposes. Examples and underlying theories are given in the well-known works of Coussy (2004), Lewis and Schrefler (1998) and Verruijt (2015). They build on the classical theory of Terzaghi (1951) and the pioneering approach of Biot (1962) and Tolstoy (1992).
Recently, other examples of elastic deformation of porous media arise in the context of industrial and biomedical applications, such as paper printing (Bosco et al. 2015), bone regeneration (Cowin 1999; Cardoso et al. 2013), blood flow (Prosi et al. 2005; Čanić et al. 2006) and car filters (Marciniak-Czochra and Mikelić 2015; Mikelić and Tambača 2016).
In its simplest form, assuming both the fluid and the porous material (grains) to be incompressible and assuming the porous medium to be homogeneous and linearly elastic with small strains, the mathematical formulation reads (see Bear and Bachmat 1990; Verruijt 2015 or van Duijn et al. 2019):
and
where
with
In these equations, \({\textbf{u}} \) [m] denotes skeleton displacement, \( {\mathbb {K}}\) [m\(^2\)] intrinsic permeability (a symmetric positive-definite rank\(-2\) tensor), \(\eta _f\) [Pa s] fluid viscosity, p [Pa] fluid pressure and q [ 1/s ] sources/sinks. Further, \(\sigma \) [Pa] is the total stress, \({\textbf{F}}\) a given body force (generally linked to gravitational effects), \({\mathcal {G}}\) the symmetric, positive-definite, rank-4 Gassmann tensor, \(e({\textbf{u}})\) the linearized strain tensor and \(\alpha \in (0,1]\) Biot’s effective stress parameter. Finally, \(\mu \) [Pa] and \(\uplambda \) [Pa] are Lamé’s parameters. Using for \({\mathcal {G}}\) the specific form (4), i.e., Hooke’s law, assumes that the skeleton is mechanically isotropic.
The linear quasi-static Biot system, as well as its dynamical analog, was also derived by means of a multiscale approach, where the starting point is the linear fluid–structure interaction at the pore level. We refer to the monographs Sanchez-Palencia (1980) and Mei and Vernescu (2010) for derivations using two-scale expansions and to Mikelić and Wheeler (2012) for a rigorous mathematical derivation by means of homogenization. The derivations using multiscale analysis confirm Biot’s models in the linear setting. Hence, from different points of view system (1)–(4) is well accepted.
In the engineering literature, one writes \(\alpha =1 -K/K_g\), where K is the drained bulk modulus of the porous skeleton and \(K_g\) the bulk modulus of the grains. Since it is assumed that \(K_g =+\infty \), we will set \(\alpha =1\) in (3).
From a mathematical perspective, Eqs. (1)–(4) received much attention. Here, we mention the pioneering paper by Auriault and Sanchez-Palencia (1977) and the work of Ženíšek (1984), who were the first to demonstrate existence and uniqueness. More recent studies include Showalter (2000), Owczarek (2010) and Marciniak-Czochra and Mikelić (2015). Later, Cao et al. (2013) considered a nonlinear extension of (1), by replacing the permeability tensor \({\mathbb {K}}\) by the product \({\mathbb {K}} k( \text{ div } {\textbf{u}})\). The function \(k(\cdot )\) is a relative permeability depending on the volumetric strain div \({\textbf{u}}\). From (1), we notice that the overall mixture of two incompressible phases is not incompressible itself.
Though system (1)–(4) is linear, its mathematical complexity lies in the fact that it is of quasi-static nature. In particular (2)–(4) allow to control the size of the volumetric strain only through the size of the data. Some authors circumvent this by introducing a time dependence in (2)–(4) as well. For instance, Bociu et al. (2016) replace \({\textbf{u}}\) in (3) by \({\textbf{u}} + \delta \partial _t {\textbf{u}}\), where \(\delta \ge 0\) is a visco-elastic parameter. Their study allows \(\delta = 0\), hence it includes the true quasi-static case as well. A different regularization was proposed by Murad and Cushman (1996) who replaced (3) and (4) by
with \(\uplambda ^* >0\). This form arises in the non-equilibrium theory, where the fluid pressure and the solid pressure differ by \(\uplambda ^*\) div \(\partial _t {\textbf{u}}\).
In this paper, we propose to study the quasi-static formulation in which we replace Eq. (1) by the nonlinear fluid phase mass balance based on the mixture theory of Bedford and Drumheller (1978) and Bedford and Drumheller (1983), see, e.g., Rutqvist et al. (2001) and Lewis and Schrefler (1998):
where \({\textbf{j}}\) denotes the Darcy mass flux
Here, n denotes porosity, \(\rho =\rho _f\) [kg/m\(^3\)] fluid density, k relative permeability and Q [kg/m\(^3\) s] sources/sinks.
In Eqs. (6)–(7), the porosity n is a given function of the volumetric strain: i.e.,
An explicit expression for (8) is derived from the Lagrangian solid mass balance equation. This is shown in Sect. 2. Through (8), the relative permeability depends on div \({\textbf{u}}\).
Since n is the volume fraction of voids in the porous medium, it should satisfy the natural bounds
However, in Sect. 2 we show by means of a counter example that the porosity can attain negative—and thus physically unrealistic—values. Therefore, the bounds in (9) are a major concern in the mathematical model.
To close system (2)–(4), (6)–(7), we introduce a constitutive relation for the fluid density in terms of the pressure. Assuming weak compressibility, we write
Further, we propose an explicit expression for the relative permeability in terms of the porosity
In (10), \(\rho _0\) and \(p_0\) are reference values for, respectively, density and pressure and \(\beta \) [Pa\(^{-1}\)] is the fluid compressibility coefficient. The relative permeability in (11) satisfies
A well-known example is the Kozeny–Carman formula, see for instance Bear and Bachmat (1990),
in a realistic porosity interval, bounded away from \(n=0\) and \(n=1\). Thus, taking k such that (12) holds and
for appropriately chosen \(0< n_*< n^* <1\), gives a relative permeability satisfying (13) in the interval \([n_*, n^*]\).
We notice that Eq. (6), coupled with (2) and (4), is nonlinear due to the relation \(k=k(n)\) and the products involving time derivatives. Assuming constant fluid phase density in the poroelastic mixture is therefore an important simplification. This is studied in Cao et al. (2013) and Bociu et al. (2016).
In studying system (2)–(4), (6)–(11), a crucial role is played by its free energy. The idea is to generalize Biot’s free energy (Biot 1962), which is quadratic in strain and fluid density, to the nonlinear poroelastic setting. This free energy serves as a Lyapunov functional. This approach is linked to general entropy methods for PDEs. For a detailed survey covering various fields of applications, we refer to Evans (2004) and to the recent book by Jüngel (2016). An interesting application of the entropy method is discussed in Mikelić (2010), Cao and Pop (2016) and Milišić (2018), where the authors consider dynamic capillary pressure effects in two-phase porous media flow.
This paper is organized as follows. In Sect. 2, we present details of the model formulation. The starting point is the mass balance for the fluid and the solid phase. The latter implies an explicit expression for (8). Introducing a lower bound for the porosity, we modify the fluid mass balance so that a Lyapunov functional can be constructed for the modified system. This modification is such that the fluid equation reduces to its original form in the physical range of the fluid density \(\rho \) and solid volumetric strain \({\mathcal {E}}\). Section 2 is concluded by a weak formulation of the modified system.
In Sect. 3, we consider, for the relaxation parameter \(\uplambda ^*\ge 0\), the incremental version of the modified system. Using Brézis’ theory of pseudo-monotone operators, existence is demonstrated. Applying the Lyapunov functional yields global (in time) estimates. Next, in Sect. 4, we use these estimates to solve the time-continuous problem when \(\uplambda ^* >0\). In both Sects. 3 and 4, we borrow ideas from Roubiček (2005). Finally, in Sect. 5 we present a discussion and conclusions.
2 Problem Formulation
In a number of steps, we construct in this section the equations that serve as starting point for the analysis. The general setting of the problem is as follows:
Let \(\varOmega \subset {\mathbb {R}}^m\) (m=2,3) denote a smooth bounded domain, occupied by a linear elastic skeleton. The skeleton material (grains) is assumed incompressible: i.e., the bulk modulus of the grains is infinitely large. The voids in the porous structure are completely filled with a slightly compressible fluid, in the sense that the fluid pressure p and density \(\rho \) are related by (10).
2.1 Balance Equations
For given \(\varvec{\upxi } \in \varOmega \), let \({\textbf{x}} (\varvec{\upxi }, t)\) denote the location of a solid particle at time \(t>0\), that started at \({\textbf{x}} (\varvec{\upxi }, 0)= \varvec{\upxi },\). Then the skeleton velocity \({\textbf{v}}_s\) is given by \({\textbf{v}}_s =\partial _t {\textbf{x}} |_{\varvec{\upxi }}\).
Restricting themselves to small displacements \({\textbf{u}}\) (within the elastic regime), Rutqvist et al. (2001) and Lewis and Schrefler (1998) argue that in the mass balance equation for the fluid and solid, the material derivative \(\displaystyle \frac{D}{D t} =\partial _t + {\textbf{v}}_s\cdot \nabla \) can be replaced by the partial derivative \(\partial _t\). This is made explicit by a scaling argument in van Duijn et al. (2019). The resulting Lagrangian form of the mass balances reads:
and
where \({\textbf{j}}\) is mass flux (7).
Within the same approximation, one may write
Using this in (15) and (16) gives
and
Integrating (18) in time from \(t=0\), say, to \(t>0\), we have
Here, \({\textbf{U}}_0\) is the initial displacement and \(n_0 \) the initial porosity. With \(n_0 \in (0,1)\) in \(\varOmega \), expression (19) ensures
To avoid technical complications, we restrict ourselves to \(n_0 =\) constant in \(\varOmega \).
For small displacements \({\textbf{u}} - {\textbf{U}}_0\), expression (19) is approximated by
Remark 1
Frequently, the linear form (21) is used for values of div \({\textbf{u}}\) in a neighborhood of div \({\textbf{U}}_0:\) i.e., in practical circumstances (21) is applied when \({\mathcal {E}}_* < \) div \(({\textbf{u}} - {\textbf{U}}_0 ) < {\mathcal {E}}^*\), where \( {\mathcal {E}}_*<0< {\mathcal {E}}^*\) are appropriately chosen.
Throughout the paper, we redefine
where \({\textbf{U}}_0 \in H^1_0 (\varOmega )^m\cap H^2 (\varOmega )^m \) is the initial displacement. Redefining accordingly
we obtain for the fluid pressure p and the skeleton displacement \({\textbf{u}}\) the system:
where
Remark 2
Concerning the initial displacement \({\textbf{U}}_0\), we note that only div \({\textbf{U}}_0\), the initial volumetric strain, is used. However, when discussing the free energy, one needs in addition that \({\textbf{U}}_0\) is such that the corresponding elastic energy is finite. For simplicity, we suppose \({\textbf{U}}_0 \in H^2 (\varOmega )^m\).
In the next sections, we will develop the mathematical theory for system (24)–(28).
The issue of negative porosity in (27) (or, for that matter, a porosity exceeding one in approximation (28)), is discussed next.
2.2 Negative Porosity
We consider a simplified version of the linear problem (1)–(4) and show that div \({\textbf{u}}\) can attain values for which the porosity from (27)–(28) becomes negative.
For simplicity, we give the construction in \({\mathbb {R}}^2\).
Let \(\varOmega =(0,L)^2\) for some \(L>0\). We suppose, as in the rest of this paper, that div \({\textbf{u}} |_{t=0} =0\). Further we set \({\textbf{F}}=0\) in (25). Using (4) in (25) gives
Proceeding as in Verruijt (2015), when he discusses the Mandel problem, we take the divergence of (29) to obtain
Hence the function
is harmonic in \(\varOmega \).
The idea is to prescribe boundary conditions for Eqs. (24) and (25) so that \(H|_{\partial \varOmega }\) is given. For instance, if we set along the four edges, see Fig. ,
and use
we have
implying
Repeating this along the other edges gives
where \(\varSigma ^b \) denotes the given value of \(\sigma \) along the edges.
Then, we have
Proposition 1
Let \({\mathcal {E}}= \hbox {div} {\textbf{u}}\) denote the volumetric stress and let \(n({\mathcal {E}})\) be given by (27). Suppose there exists a constant \(\varSigma >0\) such that \( \varSigma ^b\le -\varSigma \). Then, for \(\varSigma \) sufficiently large, there exists a \(T_p =T_p (\varSigma )>0\) such that
Proof
Note that the sign of \(\varSigma ^b\) implies compression of the medium. Restricting ourselves to the linear case (1) in a homogeneous and isotropic porous medium in which sources/sinks and gravity are absent, we have
Since
and
we have for \({\mathcal {E}} =\) div \({\textbf{u}}\) the problem
By the strong maximum principle, \({\mathcal {E}} <\overline{{\mathcal {E}}}\) in \(\varOmega \) and for \(t>0\), where \(\overline{{\mathcal {E}}}\) is the solution of problem (34) with \(\overline{{\mathcal {E}}}= -\varSigma / (2\mu +\uplambda )\) on \(\partial \varOmega \). Writing \(\overline{{\mathcal {E}}}\) as a Fourier series, one observes that
uniformly in \(x\in {{{\overline{\varOmega }}}}\).
Thus, if
or
the result is immediate. \(\square \)
This example shows that there is a problem with the model. A modification is needed to prevent the porosity (27), or (28), to become negative. Of course, one could argue that this is outside the scope of the model or outside the range of practical applications, since linear elasticity and small strains are supposed. However, since it is not clear how to ensure that indeed small displacements/strains are guaranteed, one needs to impose a porosity modification to prevent negative values.
2.3 Modification of Balance Equations
In a number of steps, we modify Eq. (24) so that it becomes well-posed in a mathematical sense and reduces to its original form in the physical range of the unknowns.
First, to satisfy the natural bounds (9), we replace the porosity approximation (28) by a smooth increasing function \({{\overline{n}}}: {\mathbb {R}} \rightarrow {\mathbb {R}}\) such that
Here, \({\mathcal {E}}_*\) and \({\mathcal {E}}^*\) are practical values chosen such that \(-n_0/(1-n_0)< {\mathcal {E}}_*<0< {\mathcal {E}}^*<1\) and \(\delta _0= n({\mathcal {E}}_*)/2\), see Fig. for a sketch.
This construction ensures that the modified porosity \({{\overline{n}}}({\mathcal {E}})\) remains in the physical range (0, 1) and coincides with the linear approximation in the interval \(( {\mathcal {E}}_*, {\mathcal {E}}^* )\). Realistic porosity measurements are always done away from the bounds \(n=0\) and \(n=1\), see, e.g., Bear and Bachmat (1990).
We choose to study Eq. (24) with the fluid density as primary unknown. Hence, we need to express the pressure p in terms of \(\rho \). Using (26), we have explicitly
When considering (24), one clearly has in mind that \(\rho \) takes values near the reference \(\rho _0\). However, the mathematical nature of the equations does not guarantee this behavior. Hence, a second modification is needed, now for \(\rho \) in the second and third term of the left-hand side of (24). Disregarding gravity, we replace (24) by the modified fluid mass balance equation
where \({{\overline{n}}} ({\mathcal {E}})\) is given by (35) and \(k({\mathcal {E}})=k( {{\overline{n}}} ({\mathcal {E}})).\) Further, \(d, \; {\mathcal {D}}: {\mathbb {R}}\rightarrow {\mathbb {R}}\) are chosen such that
where \(\rho _* \in (0, \rho _0)\) is a small constant. Outside this range we take for d and \({\mathcal {D}}\) extensions that suit the mathematical analysis. We clarify this at a later point in this section.
Remark 3
The composite function \(k ({\mathcal {E}}) = k( {{\overline{n}}} ({\mathcal {E}}))\) satisfies: \(k\in C^1 ({\mathbb {R}}) \cap L^\infty ({\mathbb {R}})\) and \(k>k(\delta _0)>0\), \(k'>0\) in \({\mathbb {R}}\).
The balance of forces (25) is modified by adding the regularizing term \(\uplambda ^* \partial _t {\mathcal {E}}\), as in expression (5). This gives
where \({\mathcal {E}} = \text{ div } {\textbf{u}}\) and where \(\uplambda ^* \ge 0.\)
We consider system (37), (39) in the set
where \(T>0\) is arbitrarily chosen. To avoid technical complications, we take \(\partial \varOmega \in C^1\) throughout the rest of this paper.
As initial conditions, we have
where \(\rho ^0: \varOmega \rightarrow (0, +\infty )\) is taken near the reference value \(\rho _0\). Along the boundary, we prescribe
where \(\upnu \) is the outward unit normal at \(\partial \varOmega \).
2.4 Lyapunov Functional
In this section, we derive an expression for the free energy which acts as a Lyapunov functional for system (37), (39). This generalizes the free energy introduced originally by Biot (1962).
Let \(\{ {\textbf{u}}, \rho \} \) be a smooth solution of Eqs. (37), (39) that satisfies conditions (40) and (41). Further, let \(g: {\mathbb {R}} \rightarrow {\mathbb {R}}\) be a smooth, strictly increasing and globally Lipschitz function satisfying \(g(\rho _0)=0\).
We first multiply equation (39) by \(\partial _t {\textbf{u}}\) and integrate the result in \(\varOmega \). This gives
Next, we multiply (37) by \(g(\rho )\) and integrate the result in \(\varOmega \). This results in
With
the first term in (43) can be written as
Note that G is a nonnegative, convex function with \(G(\rho _0)=0.\)
We substitute (45) back into (43). Adding the resulting expression and (42) yields
Before considering the general nonlinear case described by this expression, we first show its implication for the simplified linear setting where we have
Then,
in expression (46) simplifies to
Since
expression (48) vanishes if \(g(\rho )\) is chosen such that
This gives
and
Using these expressions in (46) yields
Hence,
acts as a Lyapunov functional for the linear form of system (37), (39). The first term denotes the elastic energy of the skeleton, the second term the compression energy of the fluid, and the third term the work done by the force \({\textbf{F}}\).
Expression (50) coincides with Biot’s original free energy expression from Biot (1962).
Next, we return to the nonlinear case (46). As a first step, we restrict ourselves to the physical range of the porosity. Then, integral (47) becomes
This integral vanishes if \(g(\rho )\) is chosen such that
Differentiating the expression yields a first-order equation for g. Thus for (51) to vanish, g should satisfy the initial value problem
We first consider this problem in the interval \(|\rho -\rho _0 |< {{{\overline{\rho }}}}:=\rho _0 -\rho _*\) where \(d(\rho ) = \rho .\) Then, (53) reduces to
Direct integration results in
A second integration yields (Fig. )
When \(|\rho -\rho _0 | > {{{\overline{\rho }}}} \), the function \(d(\rho )\) has not yet been defined. We do this by first extending \(g (\rho )\) for \(|\rho -\rho _0 | > {{{\overline{\rho }}}} \) and then by solving \(d(\rho )\) from (52): i.e.,
Clearly, (55) cannot be used for \(\rho \le 0\). Instead, we extend (55) in a linear \(C^1\)-manner for \(|\rho -\rho _0 | > {{{\overline{\rho }}}} \). With \({{{\tilde{\rho }}}} =\rho _0 + {{{\overline{\rho }}}}=2\rho _0 -\rho _*\), we set
yielding
Substituting expressions (58) and (59) in (57) yields the desired extension for \(d(\rho )\) when \(|\rho - \rho _0| > {{{\overline{\rho }}}}\). Thus,
Hence, the triple \(\{ g(\rho ), G(\rho ), d(\rho ) \}\) constructed above satisfies (52). For this choice, the integral (51) drops from expression (46). So far, we considered for the porosity the linear approximation \(n({\mathcal {E}})=n_0 + (1-n_0) {\mathcal {E}}\). To deal with the full cutoff (35), we introduce a second modification. The starting point is (47). This integral vanishes if
Keeping g as in (55), (58) and G as in (56), (59), we now modify \(d(\rho )\), calling it \( D (\rho , {\mathcal {E}})\), such that
Using (57) in this expression gives
Clearly, for \(|\rho -\rho _0| <{{{\overline{\rho }}}} \) and \({\mathcal {E}}_*<{\mathcal {E}} < {\mathcal {E}}^* \), this expression reduces to
Finally, we use in the Darcy mass flux term \({\textbf{j}}\) from Eq. (37)
Thus, in the end we consider the “second” modified fluid mass balance equation
System (39), (65) serves as starting point of the analysis. The function \(D (\rho , {\mathcal {E}})\) in (65) generalizes the fluid density. It is chosen so that
acts as a Lyapunov functional for the system. The function \(G: {\mathbb {R}} \rightarrow {\mathbb {R}}\) satisfies \(G(\rho _0)=0\), \(G(\rho )>0\) if \(\rho \ne \rho _0\) and G is strictly convex, with quadratic behavior for large values of \(|\rho |\). It is explicitly given by (56) and (59).
2.5 Summary of Equations and Weak Formulation
The problem describing the nonlinear poroelastic behavior of a fluid saturated porous medium is to find the displacement \({\textbf{u}}: {{\overline{Q}}}_T \rightarrow {\mathbb {R}}^m\) and the fluid density \(\rho : {{\overline{Q}}}_T \rightarrow {\mathbb {R}}\) satisfying
(i) the balance equations
in \(Q_T = (0,T)\times \varOmega \) and
(ii) the initial-boundary conditions (40)–(41).
The coefficients in Eqs. (67)–(68) were introduced in this section. Specifically,
-
\({{\overline{n}}} ( {\mathcal {E}} ) \) and \(k({\mathcal {E}} )\) satisfy (35) and Remark 3,
-
\(D(\rho , {\mathcal {E}})\), \({\mathcal {D}} (\rho )\) and \(p(\rho )\) are given by (62), (64) and (36),
-
and \(\uplambda ^*\ge 0\).
We recast this classical formulation in the following weak form.
Definition 1
We call a triple \(({\textbf{u}}, {\mathcal {E}}, \rho ) \in L^\infty (0,T; H^1 (\varOmega )^m)\times L^\infty (0,T; H^1_{loc} (\varOmega )) \times \big ( L^2 (0,T; H^1 (\varOmega ))\cap L^\infty (0,T; L^2 (\varOmega ))\big )\), \(\partial _t {\mathcal {E}} \in L^2 (Q_T)\cap L^\infty (0,T; H^1_{loc} (\varOmega ))\) a weak free energy solution if (i)
(ii)
(iii)
(iv)
(v) For every \(t_1, t_2 \in [0,T], \; t_1 <t_2,\)
where \(g(\rho )\) and \(G(\rho )\) are given, respectively, by (55), (58) and (56), (59).
Here, \(\rho ^0\in L^2(\varOmega ), \) \(Q\in C([0,T]; L^2(\varOmega ))\) and \({\textbf{F}} \in H^1 (0,T; L^2 (\varOmega )^m)\).
In Definition 1, we explicitly incorporate energy inequality (72). When dealing with classical solutions, Eqs. (67)–(68) imply the energy balance (see (46), (47) and (66))
However, in the weak formulation (69)–(70) we cannot use \(\varPhi =g (\rho )\) and \(\upxi =\partial _t {\textbf{u}}\), due to lack of smoothness. Therefore, (v) has to be added explicitly. Hence, we consider only those weak solutions satisfying additionally (72). Therefore, they are called weak free energy solutions.
In a number of steps, we prove existence of weak solutions when \(\uplambda ^* >0\). We achieve this by first considering the incremental formulation. In this approximation, which is clearly relevant when treating the problem numerically, we obtain existence results which hold for all \(\uplambda ^* \ge 0.\)
3 Existence of a Solution to the Incremental Problem
In this section, we study the time discretized form of (67), (68).
In doing so we use the function \(g=g(\rho )\), defined by (55) and (58) as the primary unknown. This is allowed since \(g: {\mathbb {R}} \rightarrow {\mathbb {R}}\) is smooth and strictly increasing. The switch to g is done for mathematical convenience, because it allows us to obtain Lyapunov functional estimates in a straightforward way. We start with some definitions. Let
Further, since
let
Note that the first term in \(D (g, {\mathcal {E}})\) is bounded with respect to \({\mathcal {E}}\) and grows linearly in g for large |g|. The second (pressure) term is bounded with respect to g since
Using these definitions in (67) and (68), we find in terms of g
in \(Q_T\).
Next, we turn to the time discretized form of Eqs. (77) and (78).
Let \(\tau \in (0,1)\) denote the time discretization step and \(N\in {\mathbb {N}} \) a large integer such that \(N\tau =T\). At each discrete time \(t_j =j \tau \), with \(j=0, 1, \dots , N\), we set
Let \({\textbf{u}}^{j-1}\) and \(g^{j-1}\) denote, respectively, the displacement and transformed density at \(t_{j-1}\) for some \(j\in \{ 1, 2, \dots , N\}\): i.e.,
Then, \({\textbf{u}}\) and g at time \(t_j\) are obtained as solutions of the incremental problem (writing \({\textbf{U}}={\textbf{u}}^{j-1}\), \(\varXi =g^{j-1}\) and \(V=H^1_0 (\varOmega )^m \times H^1 (\varOmega )\)):
Problem (PD): Given \(( {\textbf{U}}, \ \varXi ) \in V\), find \(( {\textbf{u}}, \ g) \in V\) such that
The coefficient \(D_\tau \) in Eq. (79) is given by
This expression results from \(D (g, {\mathcal {E}})\) in (76), when the derivative \({{\overline{n}}} '( {\mathcal {E}})\) is replaced by the finite difference \(\displaystyle \frac{{{\overline{n}}} ( \text{ div } {\textbf{u}}) -{{\overline{n}}} ( \text{ div } {\textbf{U}}) }{ \text{ div } {\textbf{u}} - \text{ div } {\textbf{U}} }\). The specific choice of (81) appears convenient in the estimates concerning the time-discrete Lyapunov functional.
Using the weak topology of the space \(H^1_0 (\varOmega )^m \times H^1 (\varOmega )\), serious difficulties arise with the coefficients \({\overline{n}}\), \(D_\tau \) and k depending on div \({\textbf{u}}\). To remedy this, we introduce a mollifier \(\varUpsilon _\varepsilon \), where \(\varepsilon \) is a small positive parameter (see, e.g., Roubiček 2005, page 203), and replace div \({\textbf{u}}\) in the nonlinearities by the convolution div \({\textbf{u}} \star \varUpsilon _\varepsilon = {\textbf{u}} \star \nabla \varUpsilon _\varepsilon \). Using this substitution one can treat nonlinear coefficients containing div \({\textbf{u}}\) as lower order terms in the equations. This allows us to use the theory of pseudo-monotone operators.
Applying this convolution, the regularized form of Problem (PD) reads:
Problem (PD\()_\varepsilon \): Given \(( {\textbf{U}}, \ \varXi ) \in V\), find \(( {\textbf{u}}_\varepsilon , \ g_\varepsilon ) \in V\) such that, with \({\mathcal {E}}_\varepsilon = {\textbf{u}}_\varepsilon \star \nabla \varUpsilon _\varepsilon \),
Note that the denominator \(\tau g_\varepsilon \) in (82) originates from the time step \(\tau \) in the discretization and the term g in the denominator of (76). We have the following existence result
Proposition 2
Let \(\varepsilon >0\) be a small positive constant. Under the assumptions of Definition 1, Problem (PD\()_\varepsilon \) admits at least one solution \(( {\textbf{u}}_\varepsilon , \ g_\varepsilon ) \in V\).
Proof
We start by introducing a nonlinear operator \({\mathcal {A}}\), defined on V and with values in its dual \(V'\). It results from adding (82) and (83). We write the resulting relation, with \(( {\textbf{u}}, \ g ) \in V\), as
where
and
The idea is to show that \({\mathcal {A}}\) is a perturbed monotone operator: i.e., \({\mathcal {A}}\) is monotone in its principal part containing derivatives of \({\textbf{u}}\) and g. To be precise, we show that \({\mathcal {A}}\) is pseudo-monotone and coercive. This allows to apply Brézis’ theorem to (84) (see Chapter 2 in monographs Lions 1969; Roubiček 2005 or Chapters 26 and 27 in Zeidler (1990)) to conclude existence for Problem (PD\()_\varepsilon \).
For the comfort of the reader, we recall that an operator \({\mathcal {A}}:V\rightarrow V'\) is pseudo-monotone if and only if \({\mathcal {A}}\) is bounded and
The boundedness of \({\mathcal {A}}\) is immediate. To show (87), we follow Chapter 2 from Roubiček (2005) or Chapter 17 from Schweizer (2018) and rewrite \({\mathcal {A}}\) in a form having a principal part containing partial derivatives of \({\textbf{u}}\) (in \(e({\textbf{u}})\) and div \({\textbf{u}}\)) and \(\nabla g\), and a lower order part containing \({\textbf{u}}\) and g. Specifically, we introduce the operator \({\mathcal {B}}: V\times V \rightarrow V'\) by
We observe that \({\mathcal {B}} \big ( ({\textbf{u}}, g ), ({\textbf{u}}, g )\big )={\mathcal {A}} ({\textbf{u}}, g )\). The introduction of \({\mathcal {B}}\) is useful because it reflects the monotonicity of the principal part of \({\mathcal {A}} ({\textbf{u}}, g )\). This is a direct consequence of
with equality if and only if \({\textbf{u}}_1 ={\textbf{u}}_2\) and \(g_1 = g_2\). Inequality (89) is checked by a short computation in (88).
To show (87) we consider a sequence \( \{ {\textbf{u}}_r, g_r \} \subset V\) such that
As in Roubiček (2005) we set \( ( {\textbf{u}}_\delta , g_\delta ) = (1-\delta ) ( {\textbf{u}}, g ) +\delta ( {\textbf{v}}, h ),\) where \(\delta \in [0,1]\) and \(( {\textbf{v}}, h) \in V\). Using the monotonicity from (89), we obtain
The sequence \(( {\textbf{u}}_r, g_r )\) is bounded in V and there exists a subsequence which strongly converges in \(L^5 (\varOmega )^m\) and (a.e.) in \(\varOmega \), to \(( {\textbf{u}}, g )\). Hence, it suffices to pass to the limit along this subsequence. In (91), the terms containing the operator \({\mathcal {B}}\) are fixed with respect to the gradients. Hence,
for any \((\upxi , \psi )\in V\). With these results, we are in a position to pass to the limit \(r\rightarrow +\infty \) in inequality (91). It yields
By the pseudo-monotonicity hypothesis (90), inequality (94) implies
We use this inequality to conclude
This completes the proof of the pseudo-monotonicity.
It remains to prove coercivity. We evaluate directly the term
Taking \(\upxi = {\textbf{u}}- {\textbf{U}}\) and \(\psi =g\) in (85), the cross terms involving the product p(g) div \( (\mathbf {u -U})\) cancel and the term \(p_0\) div \(({\textbf{u}}-{\textbf{U}})/\tau \) drops out after integration. What remains is
The third and fourth terms in the right-hand side need special attention.
Since \(\rho =\rho (g)\) is a \(C^1\) monotonically increasing function, we have the elementary inequality
Using this inequality and the expression for G (see (76)) in these terms gives
Applying Korn’s inequality, see Theorem 1.33 from Roubiček (2005), and inserting inequality (98) into equality (96) yields
where \(C_i, i=1, \dots , 4\) are positive constants. This proves the coercivity.
Having established pseudo-monotonicity and coercivity of the operator \({\mathcal {A}}\), we are in position to apply Brézis’ theorem. This concludes the assertion of the proposition. \(\square \)
Theorem 1
Problem (PD) admits at least one solution \(({\textbf{u}}, g)\in V\).
Proof
For each \(\varepsilon >0\), let \(({\textbf{u}}_\varepsilon , g_\varepsilon )\) be a solution of Problem (PD\(_\varepsilon \)) as obtained in Proposition 2. From the coercivity part of the proof of Proposition 2 and Eq. (84), it follows that
where C is independent of \(\varepsilon \). Estimate (100) yields weak compactness in \(H^1\). However, this is not enough to prove that \( {\textbf{u}}_\varepsilon \star \nabla \varUpsilon _\varepsilon \) converges strongly in \(L^2\) and (a.e.) on \(\varOmega \) as \(\varepsilon \rightarrow 0\). The remedy is to consider the momentum Eq. (83), which gives us improved regularity through the elasticity term. Since \(p(g_\varepsilon )\) is bounded in \(H^1 (\varOmega )\), uniformly with respect to \(\varepsilon \), we conclude that
where C does not depend on \(\varepsilon \). Using estimates (100)–(101), there is a subsequence \(( {\textbf{u}}_\varepsilon , g_\varepsilon )\), denoted by the same subscript, and a pair \(( {\textbf{u}}, g)\in (H^1_0 (\varOmega )^m \cap H^2 (\varOmega )^m)\times H^1 (\varOmega )\) such that
as \(\varepsilon \rightarrow 0\). The convergence properties allow to pass to the limit in system (82)–(83). Hence, the pair \(( {\textbf{u}}, g)\) satisfies the equations of Problem (PD), which proves the theorem. \(\square \)
To complete the study of the incremental problem, we need to estimate the behavior of solutions after at least \(O(1/\tau )\) times steps. Here, we use the discrete version of Lyapunov functional (66).
In Problem (PD), where the discrete time step \(\tau \) enters as parameter, one find after one step \(( {\textbf{u}}^1, g^1 )\) from the initial values \(( \text{ div } {\textbf{u}}, \rho ) |_{t=0} =( 0, \rho ^0 ) \). The idea is to repeat this procedure for an arbitrary number of steps. If \(M\in {\mathbb {N}}\), \(M\le N=T/ \tau \), then \(( {\textbf{u}}^M, g^M )\) denotes the time discretized approximation of the original quasi-static equation, at \(t=t_M= M\tau \).
The corresponding Lyapunov functional at \(t=t_M\) reads
It satisfies
Theorem 2
For each \(M\in {\mathbb {N}}\), \(M\le N=T/ \tau ,\) we have
Here,
Proof
At time \(t=t_j\), with \(j=1, \dots , N,\) the equations in Problem (PD) read
Note that in Eq. (109) we have used explicitly the form of \(D_\tau \) from (81). Next, we take \( \upxi = ({\textbf{u}}^j - {\textbf{u}}^{j-1})/\tau \) in (108) and \(\psi = g^{j}\) in (109). The resulting two equalities are added and summed up with respect to j up from \(j=1\) to \(j=M\). Using the observations
-
(i)
cross terms containing pressure cancel;
-
(ii)
$$\begin{aligned} \sum _{j=1}^M {\mathcal {G}}e({\textbf{u}}^j):e( {\textbf{u}}^j - {\textbf{u}}^{j-1}) \ge \frac{1}{2} \big ( {\mathcal {G}}e({\textbf{u}}^M):e( {\textbf{u}}^M ) - {\mathcal {G}}e({\textbf{u}}^0):e( {\textbf{u}}^0 )\big ); \end{aligned}$$
-
(iii)
$$\begin{aligned}{} & {} \sum _{j=1}^M \bigg ( {{\overline{n}}} ( \text{ div } {\textbf{u}}^{j-1}) g^j (\rho (g^j) -\rho (g^{j-1})) + ({{\overline{n}}} (\text{ div } {\textbf{u}}^{j}) -{{\overline{n}}} (\text{ div } {\textbf{u}}^{j-1})) G(g^j) \bigg ) \\{} & {} \quad \ge {{\overline{n}}} ( \text{ div } {\textbf{u}}^{M}) G(g^M) -{{\overline{n}}} ( \text{ div } {\textbf{u}}^{0}) G(g^0), \end{aligned}$$
where (97) is used;
-
(iv)
$$\begin{aligned} \sum _{j=1}^M {\textbf{F}}^j \cdot ( {\textbf{u}}^j - {\textbf{u}}^{j-1}) = {\textbf{F}}^M \cdot {\textbf{u}}^M - {\textbf{F}}^0 \cdot {\textbf{u}}^0 - \sum _{j=0}^{M-1} ({\textbf{F}}^{j+1} -{\textbf{F}}^{j}) \cdot {\textbf{u}}^j, \end{aligned}$$
one finds inequality (107). The reduced expression for \(J^0\) results from \({\textbf{u}}|_{t=0}=0.\)
\(\square \)
Having established existence for the discrete Problem (PD) in Theorem 1 and a Lyapunov estimate in Theorem 2, we are now in a position to obtain estimates that are uniform in the time step \(\tau \).
Proposition 3
There exists a constant \(C>0\) such that
for all M and \(\tau \) such that \(1\le M\le N=T/\tau \), with \(\tau \) sufficiently small.
Proof
Combining expression (106) for \(J^M\) and inequality (107) yields for any \(1\le M\le N\)
By the assumptions on Q and \({\textbf{F}}\), the last two terms are uniformly bounded with respect to \(\tau \) and M. We estimate the left-hand side from below by applying Korn’s inequality to the first term and the quadratic growth of G to the second term. Then for \(\delta \) and \(\tau \) sufficiently small, we obtain for the combination
the inequality
where \(C_1\) and \(C_2\) do not dependent on \(\tau \) and M. Next, we apply the discrete Gronwall inequalityFootnote 1, see footnote, to find
The second estimate follows directly from Theorem 2. \(\square \)
However, to pass to the limit \(\tau \rightarrow 0\) in the nonlinearities, one needs more information on the behavior of the ratios \(\{ \) div \(\mathbf ({u}^j - {u}^{j-1})/\tau \}\) and \(\{ (g^j -g^{j-1})/\tau \}\). In fact, we must establish relative compactness of the sequences \(\{ \)div \({\textbf{u}}^j \}\) and \(\{ g^j \}\).
We start with a local \(H^1\)-estimate for \({\mathcal {E}}^j=\) div \({\textbf{u}}^j \).
Lemma 1
Let \(\varphi \in C^\infty _0 (\varOmega )\) and \(\tau >0\) sufficiently small. Then, there exists a constant \(C=C(\varphi )\) such that
Proof
Let
Inequality (110) implies
Combined with (111) this gives for \(L^j\)
As in the counterexample for negative porosity, we take the divergence of the time-discrete momentum equation. This yields
In general, however, there are no boundary conditions for \(L^j\) available. Here, we must rely on local estimates to obtain (112). Let us first write the equation for \(\varphi L^j \in H^2 (\varOmega ) \cap H^1_0 (\varOmega )\):
Its weak form reads
Taking \(\zeta = \varphi L^j\) results in
With \(C=C(\varphi )\) denoting a generic constant depending on \(\varphi \), we have
for \(1\le j\le M\le N.\) Combining this inequality with (114) gives
Next, we multiply expression (113) by \(\tau \varphi \) and write it as
Taking the \(H^1\)-inner product of this expression with \(\varphi {\mathcal {E}}^j\) gives
or
Using the identity
when summing up (119) gives
Combining this inequality with (111) and (118), results in the estimate of the lemma. \(\square \)
We conclude this section with an estimate for \( (\rho (g^j) -\rho ( g_{j-1}))/\tau \). However, since in Eqs. (67) or (69) the (discrete) time derivative is multiplied by \(\overline{n} ({\mathcal {E}})\), we look for an estimate for
With the results of Proposition 3 and Lemma 1, the space-time compactness of \({\mathcal {N}} \) will imply the same property of g.
We summarize our findings in the next proposition
Proposition 4
For given \(\tau >0\) and \(j=1, \dots , N\), let \(( {\textbf{u}}_\tau (t_j), g_\tau (t_j))\in V\) denote a solution of Problem (PD). Then, we have
where
and where \(\varphi \in C^\infty _0 (\varOmega )\).
Proof
We only need to prove estimate (124). Rewriting Eq. (79), we have
Recalling that for \(m\le 3\), \(H^2 (\varOmega ) \subset L^\infty (\varOmega )\), we have
and the full estimate reads
The local estimate for the space derivatives is given by
This results in estimate (124). \(\square \)
4 Existence for Continuous Time Problem with \(\uplambda ^* >0\)
In Proposition 4, where the time step \(\tau \) enters as a parameter, one finds \(\{ ({\textbf{u}}_\tau (t_j), g_\tau (t_j)) \}_{j=1, \dots , N}\) from the “initial value” \( \text{ div } {\textbf{u}} (0)=0 \) and \(g(0)=g^0\). Here \(N=O (1/ \tau )\) and \(g^0 = g(\rho ^0)\). This procedure yields a time discretized approximation of the original quasi-static equations.
In this section, we investigate the limit \(\tau \searrow 0\). Here a crucial role is played by the parameter \(\uplambda ^*\), which is needed to control the behavior in time of \({\mathcal {E}}=\) div \({\textbf{u}}\).
Using the discrete solution \(({\textbf{u}}_\tau (t_j), g_\tau (t_j))\), we construct two approximations that hold for all \(0\le t\le T.\) The first is the piecewise constant approximation
The second is the Rothe interpolant, which is the piecewise linear time-continuous approximation
In (127) and (128), the index j runs from \(j=0\) to \(j= N-1\).
Applying Proposition 4 yields for both approximations, with \( ^{\natural } \in \{ ^{-}, ^{\sim } \} \),
where \(\mathcal {{E}}^{\natural }_\tau =\) div \(\mathbf {{u}}^{\natural }_\tau \), \(\overline{{\mathcal {N}}}_\tau = \overline{n} (\overline{{\mathcal {E}}}_\tau ) \rho (\overline{g}_\tau )\) and \({{\tilde{\mathcal {N}}}}_\tau (t)= (j+1- t/\tau ) \mathcal {{N}}^j+ (t/\tau -j) \mathcal {{N}}^{j+1} \).
Further, we have
Hence, by (122)
and
In what follows, we rely heavily on the material and theory collected in Roubiček (2005, Chapters 7 and 8). Since the piecewise constant approximation \(( \mathbf {\overline{u}}_\tau (t), {{\overline{g}}}_\tau (t) )\) is discontinuous in time, its time derivative is only a measure. To deal with this, we introduce the space \({\mathcal {M}} (0,T; L^2 (\varOmega ))\) of regular Borel measures in [0, T] with values in \(L^2 (\varOmega )\), which is the dual space of \(C([0,T]; L^2 (\varOmega ))\). With \(\delta (t_j)\) denoting the Dirac measure concentrated in \(t_j\), we have
Analogously
where \({\mathcal {M}} (0,T; H^{-2} (\varOmega ))\) is the dual space of \(C([0,T]; H^2_0 (\varOmega ))\).
For the convergence of the time-continuous approximation (128), we use estimates (129)–(135) and the well-known weak and weak\(^*\) compactness theorems. The result is that there exists a quadruple \(\{ {\tilde{\textbf{u}}}, {{{\tilde{g}}}}, \mathcal {{\tilde{E}}}, {\tilde{\mathcal {N}}} \}\) such that along a subsequence \(\tau \searrow 0\) we have
Concerning the convergence of \( ( \mathbf {\overline{u}}_\tau , {{\overline{g}}}_\tau )\), we use estimates (129)–(133), now combined with (136)–(137). Moreover, applying (Roubiček 2005, Corollary 7.9), we use that the spaces
and \( \displaystyle W^{1, 2, {\mathcal {M}}} (0,T; W^{1, 3/2} (\omega ), H^{-2} (\omega ))\) are compactly embedded in \(L^2 (0,T; L^2 (\omega ))\), for any smooth bounded subset \(\omega \) of \(\varOmega \). The result is that there exists \( ( \mathbf {\overline{u}}, {{\overline{g}}},, \mathcal {\overline{E}}, \mathcal {\overline{N}} )\) such that along a subsequence \(\tau \searrow 0\) one has the same convergence as in (138)–(140) and (142). The convergence in (141) and (143) is now replaced by weak\(-*\) convergence in \({\mathcal {M}} (0,T; L^2 (\varOmega ))\) for \(\partial _t \mathcal {\overline{E}}_\tau \) and in \({\mathcal {M}} (0,T; H^{-2} (\varOmega ))\) for \(\partial _t \mathcal {\overline{N}}_\tau \).
Furthermore, the estimates allow us to conclude
As a consequence,
and
strongly in \( L^2 ((0,T)\times \omega ) \quad \text{ and } \text{ a.e. } \text{ on } \; (0,T)\times \omega \). This in turn implies
Inherited from \(\mathcal {\overline{E}}_\tau \)= div \(\mathbf {\overline{u}}_\tau \), the convergence properties imply
As in (Roubiček 2005, pages 224–226), one shows that \({\tilde{\textbf{u}}} =\mathbf {\overline{u}}\) and \({{{\tilde{g}}}}={{\overline{g}}}\). Then, (149) implies that \(\mathcal {\overline{E}}={\tilde{\mathcal {E}}}\). Alternatively, this follows from estimate (134) which gives
Similarly,
which yields \(\mathcal {\overline{N}}={\tilde{\mathcal {N}}}\).
From this point on, we denote the limit, as \(\tau \searrow 0\), by the quadruple \(( {\textbf{u}}, g, {\mathcal {E}}, {\mathcal {N}} )\), where
We are now in a position to prove the main existence result for a weak solution of the time-continuous case.
Theorem 3
Let \(\uplambda ^*>0.\) Then, there exists at least one weak free energy solution \(( {\textbf{u}}, {\mathcal {E}}, \rho )\) satisfying Definition 1.
Proof
In the proof, we use approximations (127) and (128), and their convergence properties.
Let \(\tau >0\), sufficiently small, and let \(t\in (\tau , T).\) Then, \(t_j \le t< t_{j+1}\) for some \(j\in \{ 1, \dots , N-1\}\) and \(\mathbf {\overline{u}}_\tau (t) = {\textbf{u}}^j\) and \(\overline{g}_\tau (t) =g^j\).
We first consider the momentum balance Eq. (80).
The starting point is Problem (PD). Using Eq. (108), we have for any \(\upxi \in H^1_0 (\varOmega )^m\)
Here, we introduced
Multiplying Eq. (152) by \(\alpha \in C^\infty _0 (0,T)\) and integrating the result over \((\tau , T)\), yields
Next, we send \(\tau \searrow 0\) along the appropriate subsequence to have convergence of the terms containing \({\textbf{u}}, {\mathcal {E}}\) and \({\textbf{F}}\). What remains is the pressure term. We recall that p(g) is the composite function \((p\circ \rho )(g)\), where \(p(\rho )\) is given by (36)and \(\rho (g)\) is defined through (53) and (55). Since \(\overline{g}_\tau \rightarrow g\) strongly in \(L^2 ((0,T)\times \omega )\), see (147), we have similarly
This concludes the first part of the proof.
Next, we tackle the mass balance Eq. (69).
We first put Eq. (77) in the form
and apply the discretization of Problem (PD). Similarly to (153) this gives for any \(\psi \in C^\infty _0 (\varOmega )\) and \(\alpha \in C^\infty [0,T]\)
where
The boundedness of \(\overline{n}'\) implies
and inherited from (131)
Hence,
and
We are now in position to pass to the limit \(\tau \searrow 0\) in (154) and obtain
or
It remains to check the initial and boundary conditions and the energy inequality (72).
First, we notice that (140)–(141) imply
where \( W^{1,2,2} (0,T; H^1 (\omega ), L^2 (\omega )) {=}\{ z\in L^2 (0,T; H^1 (\omega )) | \partial _t z\in L^2 (0,T; L^2 (\omega )) \}\). In this space, the trace in time \({\mathcal {E}} \rightarrow {\mathcal {E}} (0)\) is a weakly continuous map from \(W^{1,2,2} (0,T; H^1 (\omega ), L^2 (\omega ))\) to \(L^2 (\omega )\). Hence,
where \(\mathcal {{E}} (0) =\) div \({\textbf{u}}^0 =0\).
Next, using (142), (143) and (145), we conclude that
which justifies the initial condition for \({\mathcal {N}}\). Since \({\mathcal {N}}={{\overline{n}}} ( \mathcal { {E}}) \rho ({ g})\), we have simultaneously the initial conditions for the density \(\rho \) and for g.
We still miss the flux boundary condition for the mass balance equation (67). The starting point is again Eq. (154), now with \(\psi \in H^1(\varOmega )\) and \(\alpha (T)=0\). Since
and since the strong convergence (144)–(145), together with the weak convergence (140) and (142), implies the same for \(\varOmega \), we may pass to the limit \(\tau \searrow 0\) and conclude that
To show inequality (72), we follow again (Roubiček 2005, pp. 223–226). Starting point is inequality (107), which we write for any \(K \in {\mathbb {N}}\), \(K \le N-1\), and for any time step \(\tau \) as
With the notation from (127) and (128), we rewrite inequality (165):
for \(K \tau \le t \le (K+1) \tau \) and \(0 \le K \le N-1\).
Integrating this inequality from \(t = t_1\) to \(t = t_2\), with \(0 \le t_1 \le t_2 \le T\), using the convergence results from (138)–(145) and the weak lower semi-continuity of the gradient \(\nabla {\bar{g}}_\tau \) in \(L^2 (Q_T)\), yields the desired result. \(\square \)
5 Discussion and Conclusion
In this paper, we study a model that describes the quasi-static mechanical behavior of a fluid saturated porous medium. In it simplest (linear) form, it is described by Eqs. (1)–(4), where (1) results from the fluid phase mass balance in the case that the fluid is incompressible.
We follow Rutqvist et al. (2001) and Lewis and Schrefler (1998) and propose a fluid mass balance that is based on the mixture theory of Bedford and Drumheller (1978) and Bedford and Drumheller (1983). This yields Eq. (6) and the resulting nonlinear system is given by (2)–(4) and (6). Note that the time derivative of the fluid density \(\rho \) appears in (6), since the fluid is assumed weakly compressible, see expression (10). Models where the fluid density is constant (see Bociu et al. 2016; Cao et al. 2013) do not contain this source term. Moreover, the porosity n and the deformation of the medium are related through (8). An expression for this relation is derived from the solid phase mass balance. It is given by (19) or, when the deformation is small, by approximation (21).
It is shown by means of a counterexample that the porosity may admit non-physical, i.e., negative, values. This is made precise in Proposition 1. To obtain a well-posed mathematical problem, the porosity is modified according to cutoff (35). This cutoff is chosen such that it reduces to the correct expression in the physical range. Outside this range, it remains positive. Likewise, a cutoff for the density is introduced through expressions (60) and (64).
The momentum balance Eq. (2)–(4) is modified as well. Following Murad and Cushman (1996), we add the term
to the expression for the total stress. This results in expression (5). Murad and Cushman give a thermodynamically based derivation of the equation in which (166) appears as the difference between the fluid and solid pressures. Having \(\uplambda ^*>0\), (166) acts as a time regularization of the volumetric stress for our quasi-static problem.
An important role in the analysis of the equations is played by the free energy of the system. This free energy acts as a Lyapunov functional. It is given by (66), which generalizes Biot’s original expression developed for the linear case (Biot 1962). In the case that the deformation and fluid density are in the physical range, the free energy simplifies to, see also (56),
We introduce a weak formulation and prove existence of a solution in a number of steps. Discretizing in time, we first consider the incremental equations. Using Brézis’ fundamental theorem for pseudo-monotone operators, see for instance Lions (1969) and Roubiček (2005), we obtain existence for the corresponding incremental problem. The result holds for any \(\uplambda ^*\ge 0\). Moreover, using the free energy, estimates that are global in time are derived. These (stability) estimates are crucial when considering the time-continuous, quasi-static, formulation for which we prove existence at the expense of having \(\uplambda ^* >0\). The free energy implies global stability of the solution. The quasi-static case with \(\uplambda ^* = 0\) fails to have the time estimate from inequality (111). Therefore, we are not able to extend the results to the quasi-static case. Furthermore, the convergence results are based on compactness arguments. Hence, also uniqueness remains an open problem. Clearly, we have existence (globally in time) for the time-discrete quasi-static case, which is relevant for numerical purposes.
We note that only in the proof of the local \(H^1 (\varOmega )-\) estimates for div \({\textbf{u}}\), we use the fact that the Gassmann tensor has the specific form of Hooke’s law (4). In the incremental problem we could have replaced \({\mathcal {G}}\) by a general rank-4, symmetric, positive-definite Gassmann tensor.
Some particular cases of system (24)–(25) were studied before. An interesting example is the consolidation with an irrotational composite flow rate, when the system reduces to a scalar pseudo-parabolic PDE. For details see Holland and Showalter (2018).
We notice also that the model studied in this paper was extensively used by Schrefler et al., see Schrefler et al. (1990) and Lewis and Schrefler (1998) and references therein. It is broadly accepted in the computational poromechanics community. A review of different numerical methods and software is given in Rutqvist et al. (2001) and Minkoff et al. (2003).
Notes
Discrete version of Gronwall’s lemma: Let \(\{ {\mathcal {U}}_n \}\) and \(\{ w_n \}\) be nonnegative sequences satisfying \( {\mathcal {U}}_n \le A + \sum _{j=0}^{M-1} {\mathcal {U}}_j w_j.\) Then for all n, \({\mathcal {U}}_n \le A \exp \{ \sum _{j=0}^{M-1} w_j \}\).
References
Auriault, J.-L., Sanchez-Palencia, E.: Étude du compartement macroscopique d’un milieu poreux.saturé deformable. J. Mécanique 16, 575–603 (1977)
Bear, J., Bachmat, Y.: Introduction to Modeling of Transport Phenomena in Porous Media. Springer Science and Business Media, New York (1990)
Bedford, A., Drumheller, D.S.: A variational theory of immiscible mixtures. Arch. Ration. Mech. Anal. 68, 37–51 (1978)
Bedford, A., Drumheller, D.S.: Theories of immiscible and structured mixtures. Int. J. Eng. Sci. 21, 863–960 (1983)
Biot, M.A.: Mechanics of deformation and acoustic propagation in porous media. J. Appl. Phys. 33, 1482 (1962)
Bociu, L., Guidoboni, G., Sacco, R., Webster, J.T.: Analysis of nonlinear poro-elastic and poro-visco-elastic models. Arch. Ration. Mech. Anal. 222, 1445–1519 (2016)
Bosco, E., Peerlings, R.H., Geers, M.G.: Predicting hygro-elastic properties of paper sheets based on an idealized model of the underlying fibrous network. Int. J. Solids Struct. 56, 43–52 (2015)
Čanić, S., Hartley, C.J., Rosenstrauch, D., Tambača, J., Guidoboni, G., Mikelić, A.: Blood flow in compliant arteries: an effective viscoelastic reduced model, numerics and experimental validation. Ann. Biomed. Eng. 34, 575–592 (2006)
Cao, X., Pop, I.S.: Degenerate two-phase porous media flow model with dynamic capillarity. J. Differ. Equ. 260, 2418–2456 (2016)
Cao, Y., Chen, S., Meir, A.J.: Analysis and numerical approximations of equations of nonlinear poroelasticity. Discrete Contin. Dyn. Syst. Ser. 18, 1253–1273 (2013)
Cardoso, L., Fritton, S.P., Gailani, G., Benalla, M., Cowin, S.C.: Advances in assessment of bone porosity, permeability, and interstitial fluid flow. J. Biomech. 46, 253–265 (2013)
Coussy, O.: Poromechanics. Wiley (2004)
Cowin, S.C.: Bone poroelasticity. J. Biomech. 32, 218–238 (1999)
Evans, L.C.: A survey of entropy methods for partial differential equations. Bull. Am. Math. Soc. 41, 409–438 (2004)
Holland, E., Showalter, R.E.: Poro-visco-elastic compaction in sedimentary basins. SIAM J. Math. Anal. 50, 2295–2316 (2018)
Jüngel, A.: Entropy Methods for Diffusive Partial Differential Equations. BCAM Springer Briefs. Springer (2016)
Lewis, R.W., Schrefler, B.A.: The Finite Element Method in the Static and Dynamic Deformation and Consolidation of Porous Media. Wiley (1998)
Lions, J.L.: Quelques méthodes de résolution des problémes aux limites non linéaires. Dunod, Paris (1969)
Marciniak-Czochra, A., Mikelić, A.: A rigorous derivation of the equations for the clamped Biot–Kirchhoff–Love poroelastic plate. Arch. Ration. Mech. Anal. 215, 1035–1062 (2015)
Mei, C.C., Vernescu, B.: Homogenization Methods for Multiscale Mechanics. World scientific (2010)
Mikelić, A.: A global existence result for the equations describing unsaturated flow in porous media with dynamic capillary pressure. J. Differ. Equ. 248, 1561–1577 (2010)
Mikelić, A., Tambača, J.: Derivation of a poroelastic flexural shell model. Multiscale Model. Simul. 14, 364–397 (2016)
Mikelić, A., Wheeler, M.F.: On the interface law between a deformable porous medium containing a viscous fluid and an elastic body. Math. Models Methods Appl. Sci. 22, 1250031 (2012)
Milišić, J.P.: The unsaturated flow in porous media with dynamic capillary pressure. J. Differ. Equ. 264, 5629–5658 (2018)
Minkoff, S.E., Stone, C.M., Bryant, S., Peszynska, M., Wheeler, M.F.: Coupled fluid flow and geomechanical deformation modeling. J. Pet. Sci. Eng. 38, 37–56 (2003)
Murad, M.A., Cushman, J.H.: Multiscale flow and deformation in hydrophilic swelling porous media. Int. J. Eng. Sci. 34, 313–338 (1996)
Owczarek, S.: A Galerkin method for Biot consolidation model. Math. Mech. Solids 15, 42–56 (2010)
Prosi, M., Zunino, P., Perktold, K., Quarteroni, A.: Mathematical and numerical models for transfer of low-density lipoproteins through the arterial walls: a new methodology for the model set up with applications to the study of disturbed lumenal flow. J. Biomech. 38, 903–917 (2005)
Roubiček, T.: Nonlinear Partial Differential Equations with Applications. Springer (2005)
Rutqvist, J., Börgesson, L., Chijimatsu, M., Kobayashi, A., Jing, L., Nguyen, T.S., Noorishad, J., Tsang, C.F.: Thermohydromechanics of partially saturated geological media: governing equations and formulation of four finite element models. Int. J. Rock Mech. Min. Sci. 38, 105–127 (2001)
Sanchez-Palencia, E.: Non-homogeneous Media and Vibration Theory, Springer Lecture Notes in Physics, vol. 129. Springer (1980)
Schrefler, B.A., Simoni, L., Xikui, L., Zienkiewicz, O.C.: Mechanics of partially saturated porous media. In: Desai, D.S., Gioda, G. (eds.) Numerical Methods and Constitutive Modelling in Geomechanics, Courses and Lectures CISM no. 311, pp. 169–211. Springer, New York (1990)
Schweizer, B.: Partielle Differentialgleichungen. Springer, Berlin (2018)
Showalter, R.E.: Diffusion in poro-elastic media. J. Math. Anal. Appl. 251, 310–340 (2000)
Terzaghi, K.: Theoretical Soil Mechanics. Chapman and Hall Limited, London (1951)
Tolstoy, I. (ed.): Acoustics, Elasticity, and Thermodynamics of Porous Media. Twenty-One Papers by M.A. Biot. Acoustical Society of America, New York (1992)
van Duijn, C.J., Mikelić, A., Wick, T.: A monolithic phase-field model of a fluid-driven fracture in a nonlinear poroelastic medium. Math. Mech. Solids 24, 1530–1555 (2019)
Verruijt, A.: Theory and problems of poroelasticity (2015). https://geotechpedia.com
Zeidler, E.: Nonlinear Functional Analysis and Its Applications II/B Nonlinear Monotone Operators. Springer, New York (1990)
Ženíšek, A.: The existence and uniqueness theorem in Biot’s consolidation theory. Appl. Math. 29, 194–211 (1984)
Acknowledgements
The first author expresses his gratitude to Tea Mikelić for retrieving the missing files from her father’s computer. Further, he wants to thank the colleagues from Hasselt University, Sorin Pop and Koondanibha Mitra, for their assistance with the revision.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alain Goriely.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Andro Mikelić passed away on 28 November 2020. A.M. was partially supported by Darcy Center Eindhoven-Utrecht, the Netherlands, by the project UPGEO \(\langle \) ANR-19-CU05-032 \(\rangle \) of the French National Research Agency (ANR) and by the LABEX MILYON (ANR-10-LABX-0070) of Université de Lyon, within the program “Investissements d’Avenir” (ANR-11-IDEX-0007) operated by the French National Research Agency (ANR)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
van Duijn, C.J., Mikelić, A. Mathematical Theory of Nonlinear Single-Phase Poroelasticity. J Nonlinear Sci 33, 44 (2023). https://doi.org/10.1007/s00332-023-09896-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00332-023-09896-z