Abstract
The full quasistatic thermomechanical system of PDEs, describing water diffusion with the possibility of freezing and melting in a visco-elasto-plastic porous solid, is studied in detail under the hypothesis that the pressure-saturation hysteresis relation is given in terms of the Preisach hysteresis operator. The resulting system of balance equations for mass, momentum, and energy coupled with the phase dynamics equation is shown to admit a global solution under general assumptions on the data.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
A model for fluid flow in partially saturated porous media with thermomechanical interaction was proposed and analyzed in [2, 4]. The model was subsequently extended in [15] by including the effects of freezing and melting of the water in the pores. Typical examples in which such situations arise are related to groundwater flows and to the freezing-melting cycles of water sucked into the pores of concrete. Due to the specific volume difference between water and ice, this process produces important pressure changes and represents one of the main reasons for the degradation of construction materials in buildings, bridges, and roads. The model of [15] still neglects the influence of changes of microstructure, as for example the breaking of pores, but the main thermomechanical interactions between the state variables are taken into account.
The model is based on the assumption that slow diffusion of the fluid through the porous solid is a dominant effect, so that the Lagrangian description is considered to be appropriate. It is assumed that volume changes of the solid matrix material are negligible with respect to the pore volume evolution during the process. The pores are filled with a mixture of \(\mathrm {H}_2\mathrm {O}\) and gas, and \(\mathrm {H}_2\mathrm {O}\) itself is a mixture of the liquid (water) and the solid phase (ice). That is, in addition to the standard state variables like capillary pressure, displacement, and absolute temperature, we need to consider the evolution of a phase parameter \(\chi \) representing the relative proportion of water in the \(\mathrm {H}_2\mathrm {O}\) part and its influence on pressure changes due to the different mass densities of water and ice.
The resulting system consists of mechanical balance equation for the deformations of the solid body, mass balance equation based on the Darcy law for the fluid diffusion with interaction terms similar to the Biot system studied, e. g., in [20], a differential inclusion for the phase fraction \(\chi \) of relaxed Stefan type as in [22] and governing the water-ice phase transition, and the energy balance equation derived from the first and the second principles of thermodynamics with heat sources due to viscosity, plasticity, diffusion, and phase transition.
The present paper develops the ideas of [15] in the sense that the effects of capillary hysteresis, which is assumed to be of Preisach type in agreement with the results of [6], shear stresses, and elastoplasticity are considered in full generality. This represents an enormous increase of mathematical complexity. While the momentum balance in the shear-stress-free case in [15] can be reduced to an ODE, here, we need to exploit deeper results from the theory of PDEs to control the interactions between individual components of the system, as well as a generalized Moser iteration scheme from [8]. Additional difficulties are due to the effects of the three heat sources produced by mechanical hysteresis dissipation (plasticity, capillarity, phase transitions).
The paper is divided into five sections. In the next Sect. 1, we briefly recall the principles of the model introduced in [15], taking into account capillary hysteresis and elastoplastic hysteresis effects as in [4]. Section 2 is devoted to a short survey of the Preisach hysteresis model. In Sect. 3, we state the mathematical problem, the main assumptions on the data, and the main Theorem 3.3, the proof of which is split into Sects. 4 and 5. The steps of the proof are as follows. In Sect. 4, we first cut off some of the pressure and temperature dependent terms in the system by means of a cut-off parameter R, regularize the mass balance equation with a fourth order term depending on an additional small regularizing parameter \(\eta \), solve the related problem employing a Galerkin approximation scheme, and pass to the singular limit \(\eta \rightarrow 0\) in the regularizing term. Then, in Sect. 5, we derive a series of R-independent estimates like the energy estimate, the so-called Dafermos estimate (with negative small powers of the temperature), Moser-type and then higher-order estimates for the capillary pressure and for the temperature which allow us in Sect. 6 to pass to the limit in the cut-off system as \(R\rightarrow \infty \), which will conclude the proof of the existence result.
2 The model
Consider a bounded domain \(\Omega \subset \mathbb {R}^3\) of class \(C^{1,1}\) filled with an elastoplastic solid matrix material with pores containing a mixture of \(\mathrm {H}_2\mathrm {O}\) and gas, where we assume that \(\mathrm {H}_2\mathrm {O}\) may appear in one of the two phases: water or ice. We state the balance laws in referential (Lagrangian) coordinates. We have in mind construction materials where large deformations are not expected to occur. This hypothesis enables us to reduce the complexity of the problem and assume that the deformations are small in order to avoid higher degree nonlinearities. We denote for \(x\in \Omega \) and time \(t\in [0,T]\)
-
p(x, t) ... capillary pressure;
-
u(x, t) ... displacement vector in the solid;
-
\(\varepsilon (x,t) = \nabla _su(x,t)\) ... linear strain tensor, \((\nabla _su)_{ij} := \frac{1}{2} \left( \frac{\partial u_i}{\partial x_j} + \frac{\partial u_j}{\partial x_i}\right) \);
-
\(\theta (x,t)\) ... absolute temperature;
-
\(\chi (x,t) \in [0,1]\) ... relative amount of water in the \(\mathrm {H}_2\mathrm {O}\) part.
The model derived in [15] aims at coupling the effects of capillarity, interaction between a deformable solid matrix material and \(\mathrm {H}_2\mathrm {O}\) in the pores which may undergo water-ice phase transitions, and energy exchange between the individual components of the system. Hysteresis is included following the modeling section of [4]. The full system consists of equations describing mass balance (1.1), mechanical equilibrium (1.2), energy balance (1.3) and phase evolution (1.4) in the form
We refer to [15] for the details of the physical arguments. Let us just mention that the mass balance (1.1) is derived from Darcy’s law, and \(\mu (p)\nabla p\) is the specific liquid mass flux. The constant \(\rho ^*\in (0,1)\) is the ratio between ice and water mass densities, whereas the symbol G describes the pressure–saturation curve and, following [2, 4], is of the form
Here f is a bounded monotone function satisfying Hypothesis 3.1 (vi) below, whereas \(G_0\) is the Preisach hysteresis operator from Sect. 2. The momentum balance (1.2) is derived by assuming that the process is quasi-static, so that the inertia term is negligible. Here \(\mathbf {B}\) is a positive definite viscosity matrix, P the constitutive operator of elastoplasticity defined below in (3.6), \(\beta \) is the thermal expansion coefficient, \(\theta _c\) is the melting temperature at standard pressure and g is a given volume force (gravity, e. g.). The term \(p (\chi {+}\rho ^*(1{-}\chi ))\) represents the pressure component due to the phase transition. Finally, the energy balance (1.3) and the inclusion (1.4) for the evolution of the phase parameter are derived from the principles of thermodynamics with the aid of the energy balance for both the plasticity and the pressure–saturation operator
where \(U_P,U_G\) and \(D_P,D_G\) are the potential and dissipation operators, and \(\Vert \cdot \Vert _*\) is a seminorm in the space \(\mathbb {R}^{3\times 3}_{\mathrm {sym}}\) of symmetric \(3\times 3\) tensors. In (1.3), \(\mathcal {C}_V(\theta )\) is the caloric component of the internal energy, \(\kappa (\theta )\) is the heat conductivity coefficient, L is the latent heat, \(I_{[0,1]}\) is the indicator function of the interval [0, 1] and \(\partial I_{[0,1]}\) is its subdifferential, \(\gamma (\theta ,\mathrm {\,div\,}u)\) is the phase relaxation time (which we assume to explicitly depend on both \(\theta \) and \(\mathrm {\,div\,}u\) for technical reasons).
Note that the values of G have to be naturally confined between 0 and 1, so that the system is degenerate in the sense that we do not control a priori the time derivatives of p in (1.1). Another difficulty is related to the lack of spatial regularity of \(\chi \). The temperature field is problematic as well: Eq. (1.3) contains high order heat source terms, which are difficult to handle and prevent the temperature from being regular.
We complement the system (1.1)–(1.4) with initial conditions
and boundary conditions
where \(p^*\) is a given outer pressure, \(\theta ^*\) is a given outer temperature, \(\alpha : \partial \Omega \rightarrow [0,\infty )\) is the permeability of the boundary and \(\omega : \partial \Omega \rightarrow [0,\infty )\) is the heat conductivity of the boundary.
The solution to (1.1)–(1.4) was only constructed in [15] under the assumption that shear stresses in the momentum balance Eq. (1.2) as well as all hysteresis effects are neglected. Then (1.2) turns into an ODE for the relative volume change \(\mathrm {\,div\,}u\), which considerably simplifies the analysis. Here we prove existence of a global solution for the full problem under suitable hypotheses.
3 Hysteresis in capillarity phenomena
The operator G is considered as a sum
where f is a monotone function satisfying Hypothesis 3.1 (vi) in Sect. 3 below, and \(G_0\) is a Preisach operator that we briefly describe here.
For a given input function \(p\in W^{1,1}(0,T)\) and a memory parameter \(r>0\) we define the scalar function \(\xi _r(t)\) as the solution of the variational inequality
with prescribed initial condition
We have indeed for all \(r>0\) the initial bound
The mapping \(\mathfrak {f}_r:W^{1,1}(0,T)\rightarrow W^{1,1}(0,T)\) which with each \(p\in W^{1,1}(0,T)\) associates the solution \(\xi _r=\mathfrak {f}_r[p]\in W^{1,1}(0,T)\) of (2.2)–(2.3) is called the play. This concept goes back to [10], and the proof of the following statements can be found e.g. in [12].
Proposition 2.1
For each \(r>0\), the mapping \(\mathfrak {f}_r:W^{1,1}(0,T)\rightarrow W^{1,1}(0,T)\) is Lipschitz continuous and admits a Lipschitz continuous extension to \(\mathfrak {f}_r:C[0,T]\rightarrow C[0,T]\) in the sense that for every \(p_1,p_2\in C[0,T]\) and every \(t\in [0,T]\) we have
Moreover, for each \(p\in W^{1,1}(0,T)\), the energy balance equation
and the identity
hold a. e. in (0, T).
Given a nonnegative function \(\psi \in L^1((0,\infty )\times \mathbb {R})\), called the Preisach density, we define the Preisach operator \(G_0\) as a mapping that with each \(p\in C[0,T]\) associates the integral
Hence,
for all \(p \in C[0,T]\) and all \(t \in [0,T]\), and we assume
From (2.6)–(2.8) we immediately deduce the Preisach energy identity
provided we define the Preisach potential \(U_0\) and the dissipation operator \(D_0\) by the integrals
The energy identity in (1.5) then holds with the choice
With the notation
we can also write
thus separating the hysteretic from the non-hysteretic part.
For our purposes, we adopt the following hypothesis on the Preisach density.
Hypothesis 2.2
There exists a function \(\psi ^*\in L^1(0,\infty )\) such that for a. e. \((r,v)\in (0,\infty )\times \mathbb {R}\) we have \(0 \le \psi (r,v) \le \psi ^*(r)\) and
A straightforward computation shows that \(G_0\) (and, consequently, G) are Lipschitz continuous in C[0, T]. Indeed, by (2.5) and Hypothesis 2.2 we obtain for \(p_1,p_2\in C[0,T]\) and \(t\in [0,T]\) that
Moreover, the Preisach potential is continuous from \(L^2(\Omega ;C[0,T])\) to \(L^1(\Omega ;C [0,T])\), as it holds
From Hypothesis 2.2 and identity (2.7) for the play we also obtain
The Preisach operator admits also a family of “nonlinear” energies. As a consequence of (2.7), we have for a. e. t the inequality
hence
for every nondecreasing function \(h:\mathbb {R}\rightarrow \mathbb {R}\). Hence, for every absolutely continuous input p, a counterpart of (2.11) in the form
holds with a modified potential
This is related to the fact that for every absolutely continuous nondecreasing function \(\hat{h}:\mathbb {R}\rightarrow \mathbb {R}\), the mapping \(G_{\hat{h}} := G_0\circ \hat{h}\) is also a Preisach operator, see [13].
4 Statement of the problem
We introduce the spaces
for some \(q^*>2\) that will be specified below in Theorem 3.3. Taking into account the boundary conditions (1.7), we consider (1.1)–(1.4) in variational form
for a. e. \(t \in (0,T)\) and all test functions \(\phi \in X\), \(\psi \in X_0\) and \(\zeta \in X_{q^*}\). Note that we split the capillary hysteresis terms in hysteretic and non-hysteretic part according to (2.1), (2.13)–(2.15). This is done in view of the regularization performed in Sect. 4, where only the non-hysteretic part will be affected by the cut-off.
We assume the following hypotheses to hold.
Hypothesis 3.1
There exist constants \(A^\flat > 0\), \(B^\flat >0\), \(\bar{\theta }> 0\) such that
-
(i)
\(\mathbf {A}_e\), \(\mathbf {A}_h\), \(\mathbf {B}\) are constant symmetric positive definite fourth order tensors such that \(\mathbf {A}_e\,\xi :\xi \ge A^\flat |\xi |^2\), \(\mathbf {A}_h\,\xi :\xi \ge A^\flat |\xi |^2\), \(\mathbf {B}\,\xi :\xi \ge B^\flat |\xi |^2\) for all \(\xi \in \mathbb {R}^{3\times 3}\);
-
(ii)
\(g \in L^\infty (0,T; L^2(\Omega ;\mathbb {R}^3)) \cap W^{1,2}(0,T; L^2(\Omega ;\mathbb {R}^3))\) is a given function and there exists a function \(\widehat{G} \in L^4(\Omega \times (0,T))\) such that \(g = -\nabla \widehat{G}\);
-
(iii)
\(\alpha \in W^{1,\infty }(\partial \Omega )\), \(\alpha (x)\ge 0\) a. e. and \(\int _{\partial \Omega }\alpha (x)\,\mathrm {d}s(x)>0\); \(\omega \in L^\infty (\partial \Omega )\), \(\omega (x)\ge 0\) a. e. and \(\int _{\partial \Omega }\omega (x)\,\mathrm {d}s(x)>0\);
-
(iv)
\(p^* \in L^{\infty }(\partial \Omega \times (0,T))\) and \(p^*_t \in L^2(\partial \Omega \times (0,T))\), \(\theta ^*\in L^\infty (\partial \Omega \times (0,T))\), \(\theta ^*_t\in L^2(\partial \Omega \times (0,T))\), \(\theta ^*(x,t) \ge \bar{\theta }\) a. e.;
-
(v)
\(p^0 \in L^\infty (\Omega ) \cap W^{2,2}(\Omega )\), \(u^0 \in X_0 \cap W^{1,4}(\Omega ;\mathbb {R}^3)\), \(\theta ^0 \in L^\infty (\Omega ) \cap W^{1,2}(\Omega )\), \(\theta ^0(x) \ge \bar{\theta }\) a. e., \(\chi ^0 \in L^{\infty }(\Omega )\), \(\chi ^0(x) \in [0,1]\) a. e.
We also assume that there exist constants \(f^\sharp> f^\flat >0\), \(\nu \in (0, 1/2]\), \(\mu ^\flat >0\), \(c^\sharp> c^\flat > 0\), \(1/2 \le b< \hat{b} < 1\), \(\kappa ^\sharp> \kappa ^\flat > 0\), \(0< a < 1-b\), \(a<\hat{a}<\frac{(8+3a+2b)(1+b)}{7-2b}\), \(\gamma ^\sharp> \gamma ^\flat > 0\) such that the nonlinearities satisfy the following conditions:
-
(vi)
\(G[p]=f(p)+G_0[p]\) where \(f: \mathbb {R}\rightarrow (C_\psi ^-,1-C_\psi ^+)\) with \(C_\psi ^\pm \) from (2.10) is a continuously differentiable function, \(f^\flat (1+ |p|)^{-1-\nu } \le f'(p) \le f^\sharp \) for all \(p\in \mathbb {R}\), and \(G_0\) is the Preisach operator from Sect. 2 with density function satisfying Hypothesis 2.2 and with potential \(U_0\) and dissipation \(D_0\) as in (2.12);
-
(vii)
\(\mu : \mathbb {R}\rightarrow \mathbb {R}\) is a continuous function, \(\mu (p) \ge \mu ^\flat \) for all \(p \in \mathbb {R}\);
-
(viii)
\(\mathcal {C}_V : [0,\infty ) \rightarrow [0,\infty )\) is a continuously differentiable function, \(\mathcal {C}_V'(\theta ) =: c_V(\theta )\) is such that \(c^\flat (1+\theta ^{b}) \le c_V(\theta ) \le c^\sharp (1+\theta ^{\hat{b}})\) for all \(\theta \ge 0\);
-
(ix)
\(\kappa : [0,\infty ) \rightarrow [0,\infty )\) is a continuous function, \(\kappa ^\flat (1+\theta ^{1+a}) \le \kappa (\theta ) \le \kappa ^\sharp (1+\theta ^{1+\hat{a}})\) for all \(\theta \ge 0\);
-
(x)
\(\gamma : [0,\infty ) \times [0,\infty ) \rightarrow [0,\infty )\) is a continuous function, \(\gamma ^\flat (1+\theta +|\mathrm {\,div\,}u|^2) \le \gamma (\theta ,\mathrm {\,div\,}u) \le \gamma ^\sharp (1+\theta +|\mathrm {\,div\,}u|^2)\) for all \(\theta \ge 0,\,u\in \mathbb {R}^3\);
-
(xi)
\(P : C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}}) \rightarrow C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}})\) is the constitutive operator of elastoplasticity with dissipation operator \(D_P\) defined below in (3.6)–(3.9).
Remark 3.2
In this remark we comment on the more technical hypotheses.
-
(vi)
The growth condition for f is in agreement with the physical requirement that \(f'\) has to degenerate when \(p \rightarrow \pm \infty \). The specific form of the lower bound will play a substantial role in the Moser iteration argument.
-
(viii)
The growth condition for \(c_V\) will be of fundamental importance in Sect. 5.6 where, in order to estimate \(\mathrm {\,div\,}u_t\) in \(L^q(0,T;L^2(\Omega ))\) with an exponent \(q>4\), we will need a higher integrability (in space) for the temperature than simply \(L^\infty (0,T;L^1(\Omega ))\).
-
(ix)
The tangled bound
$$\begin{aligned} \hat{a} < \frac{(8+3a+2b)(1+b)}{7-2b} \end{aligned}$$for the growth exponent of the function \(\kappa \) is required in Sect. 5.9, where we apply an iterative method in order to derive higher order estimates for the temperature.
-
(x)
The dependence of the relaxation coefficient \(\gamma \) on both \(\theta \) and \(\mathrm {\,div\,}u\) is uncommon but crucial for obtaining estimates (4.34) and (5.45).
We model the elastoplasticity following [17]. We assume that a convex subset \(0\in Z \subset \mathbb {R}^{3\times 3}_{\mathrm {sym}}\) with nonempty interior representing the admissible plastic stress domain is given in the space \(\mathbb {R}^{3\times 3}_{\mathrm {sym}}\) of symmetric tensors, and that the constitutive relation between the strain tensor \(\varepsilon \) and the stress tensor \(\sigma \) involves two fourth order tensors \(\mathbf {A}_h\) (the kinematic hardening tensor) and \(\mathbf {A}_e\) (the elasticity tensor). We define the constitutive operator P by the formula
where \(\sigma ^p\) is the solution of the variational inequality
for a given \(\varepsilon \in W^{1,1}(0,T;\mathbb {R}^{3\times 3}_{\mathrm {sym}})\), where \(Q_Z: \mathbb {R}^{3\times 3}_{\mathrm {sym}}\rightarrow Z\) is the orthogonal projection onto Z. The variational inequality (3.7) has a unique solution \(\sigma ^p \in W^{1,1}(0,T;\mathbb {R}^{3\times 3}_{\mathrm {sym}})\) and the solution mapping
is strongly continuous, see [12]. It holds
The energy potential \(U_P\) and the dissipation operator \(D_P\) associated with P are defined by the formula
Let \(M_{Z^*}\) denote the Minkowski functional of the polar set \(Z^*\) to Z. The energy identity
where \(\Vert \cdot \Vert _* = M_{Z^*}(\cdot )\) is a seminorm in \(\mathbb {R}^{3 \times 3}_\mathrm{sym}\), and the inequalities
hold for all inputs \(\varepsilon \in W^{1,1}(0,T;\mathbb {R}^{3\times 3}_{\mathrm {sym}})\).
The operator P can be extended to a continuous operator in the space \(C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}})\) in the sense that if \(\{\varepsilon _m; m\in \mathbb {N}\}\) is a sequence in \(C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}})\), then
For two inputs \(\varepsilon _1, \varepsilon _2 \in W^{1,1}(0,T;\mathbb {R}^{3\times 3}_{\mathrm {sym}})\) we denote \(\sigma _i = P[\varepsilon _i]\), \(i=1,2\). Then
with a constant C depending only on \(\mathbf {A}_h\) and \(\mathbf {A}_e\).
For inputs \(\varepsilon \in L^2(\Omega ; W^{1,1}(0,T; \mathbb {R}^{3\times 3}_{\mathrm {sym}}))\) we obtain from (3.14) similarly as in [4, Formula (6.25)] the inequality
The main result of the paper reads as follows.
Theorem 3.3
Let Hypothesis 3.1 hold. Then there exists a solution \((p,u,\theta ,\chi )\) to the system (3.2)–(3.5) with initial conditions (1.6) with the regularity
-
\(p \in L^\infty (\Omega \times (0,T))\), \(p_t \in L^2(\Omega \times (0,T))\), \(M(p) \in L^2(0,T;W^{2,2}(\Omega ))\) with M(p) given by (5.43);
-
\(u_t \in L^q(0,T;X_0 \cap W^{1,q}(\Omega ;\mathbb {R}^3))\) for all \(q<\frac{(8+3a+2b)(4+b)}{7-2b}\), \(\nabla _s u \in L^2(\Omega ; C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}}))\);
-
\(\theta \in L^q(\Omega \times (0,T))\) for all \(q<\frac{(8+3a+2b)(4+b)}{7-2b}\), \(\nabla \theta \in L^2(\Omega \times (0,T);\mathbb {R}^3)\), \(\theta _t \in L^2(0,T;W^{-1,q^*}(\Omega ))\) with \(q^*>2\) given by (5.66);
-
\(\chi \in L^q(\Omega ;C[0,T])\), \(\chi _t \in L^q(\Omega \times (0,T))\) for all \(q \in [1,\infty )\), \(\chi (x,t) \in [0,1]\) a. e.
The reason why we do not specify the precise value of \(q^*\) here is that it relies on a certain number of intermediate computations that cannot be detailed at this stage. The proof of Theorem 3.3 will be divided into several steps. In order to eliminate possible degeneracy of the functions f and \(\mu \), we start by regularizing the problem by means of a large parameter R. Then we prove that this regularized problem admits a solution by the standard Faedo–Galerkin method: here the parameter R will be of fundamental importance in order to gain some regularity. Once we have derived suitable estimates, we pass to the limit in the Faedo–Galerkin scheme. The second part of the proof will consist in the derivation of a priori estimates independent of R, which will allow us to pass to the limit in the regularized system and infer the existence of a solution with the desired regularity.
In what follows, we denote by C any positive constant depending only on the data, by \(C_R\) any constant depending on the data and on R and by \(C_{R,\eta }\) any constant depending on the data, on R and on \(\eta \), all independent of the dimension n of the Galerkin approximation. Furthermore, we denote by \(|v|_r\) the \(L^r(\Omega )\)-norm of a function \(v\in L^r(\Omega )\) or \(v\in L^r(\Omega ;\mathbb {R}^3)\) for \(r\in [1,\infty ]\), and the norm of a function \(v\in W^{1,r}(\Omega )\) will be denoted by \(|v|_{1;r}\). We systematically use the Korn’s inequality (see [19])
for every \(w \in X_0\) with a constant \(c>0\) independent of w. We will also often use the Poincaré inequality (see [9, 16]) in the form
for functions \(v\in W^{1,2}(\Omega )\) provided \(\gamma \in L^\infty (\partial \Omega )\) is such that \(\gamma \ge 0\) a. e. and \(\int _{\partial \Omega }\gamma (x)\,\mathrm {d}s(x) >0\). Finally, let us recall the Gagliardo–Nirenberg inequality (see [3, 9]) for \(v\in W^{1,r}(\Omega )\) on a bounded Lipschitzian domain \(\Omega \subset \mathbb {R}^N\) in the form
with \(r<N\), \(s< q < (rN)/(N-r)\) and with a constant C depending only on q, r, s, where
5 Cut-off system
We choose a regularizing parameter \(R>1\), and first solve a cut-off system with the intention to let \(R\rightarrow \infty \).
For \(z \in \mathbb {R}\) we denote by
the projection of \(\mathbb {R}\) onto \([-R,R]\). Then we cut-off some nonlinearities by setting
for \(p,\theta ,\mathrm {\,div\,}u \in \mathbb {R}\). Note that by Hypothesis 3.1 (vi) we deduce that \(|f_R(p)| \le |f(0)|+f^\sharp |p|\), from which
and also, from Hypothesis 3.1 (x),
We replace (3.2)–(3.5) by the cut-off system
for all test functions \(\phi , \zeta \in X\) and \(\psi \in X_0\). For the system (4.8)–(4.11) the following result holds true.
Proposition 4.1
Let Hypothesis 3.1 hold and let \(R>1\) be given. Then there exists a solution \((p,u,\theta ,\chi )\) to (4.8)–(4.11), (1.6) with the regularity
-
\(p \in L^q(\Omega ;C[0,T])\) for all \(q \in [1,6)\), \(\nabla p \in L^2(\Omega \times (0,T);\mathbb {R}^3)\), \(p_t \in L^2(\Omega \times (0,T))\);
-
\(u_t \in L^2(0,T;X_0)\), \(\nabla _s u_t \in L^4(\Omega \times (0,T);\mathbb {R}^{3\times 3}_{\mathrm {sym}})\);
-
\(\theta \in L^2(\Omega \times (0,T))\), \(\nabla \theta \in L^\infty (0,T;L^2(\Omega ;\mathbb {R}^3))\), \(\theta _t \in L^2(\Omega \times (0,T))\);
-
\(\chi \in L^q(\Omega ;C[0,T])\), \(\chi _t \in L^q(\Omega \times (0,T))\) for all \(q \in [1,\infty )\).
We split the proof of Proposition 4.1 in two steps. First, in Sect. 4.1, we further regularize the system by means of a small parameter \(\eta > 0\) in order to obtain some extra-regularity for the gradient of the capillary pressure. Then, in Sect. 4.2, we solve this new problem by Galerkin approximations. Here the extra-regularization will be of fundamental importance in order to pass to the limit in the nonlinearity \(Q_R(|\nabla p^{(n)}|^2)\), where n is the dimension of the Galerkin scheme. As a last step, we let \(\eta \rightarrow 0\).
5.1 \(W^{2,2}\)-regularization of the capillary pressure
We define the functions
for \(p,\theta \in \mathbb {R}\), and introduce the new variables \(v=M_R(p)\), \(z=K_R(\theta )\). We then choose another regularizing parameter \(\eta \in (0,1)\) and consider the following system in the unknowns \(v,u,z,\chi \):
with test functions \(\phi \in W^{2,2}(\Omega )\), \(\psi \in X_0\) and \(\zeta \in X\).
5.2 Galerkin approximations
For each fixed \(R>1\) and \(\eta \in (0,1)\), system (4.13)–(4.16) will be solved by Faedo–Galerkin approximations. To this end, let \(\mathcal {W}=\left\{ e_i : i=0,1,2,\dots \right\} \subset L^2(\Omega )\) be the complete orthonormal systems of eigenfunctions defined by
with \(\lambda _0=0\), \(\lambda _i>0\) for \(i\ge 1\). Given \(n\in \mathbb {N}\), we approximate v and z by the finite sums
where the coefficients \(v_i,z_k:[0,T]\rightarrow \mathbb {R}\) and \(u^{(n)},\chi ^{(n)}\) will be determined as the solution of the system
for \(i,k=0,1,\dots ,n\) and for all \(\psi \in X_0\), and with \(p^{(n)}:=M_R^{-1}(v^{(n)})\), \(\theta ^{(n)}:=K_R^{-1}(z^{(n)})\). We prescribe the initial conditions
This is an ODE system coupled with a nonlinear PDE (4.18). It is nontrivial to prove that such a system admits a unique strong solution. We proceed as follows. For a given function \(w \in L^r(\Omega \times (0,T))\) consider the equation
which is to be satisfied for every \(\psi \in X_0\) a. e. in (0, T) together with an initial condition \(u(x,0)=u^0(x)\), \(u^0 \in X_0 \cap W^{1,r}(\Omega ;\mathbb {R}^n)\) and boundary condition \(u=0\) on \(\partial \Omega \).
Step 1. As an application of the \(L^r\)-regularity theory for elliptic systems in divergence form (see e. g. [21]) we can conclude that for every \(w \in L^r(\Omega \times (0,T))\) with some \(r \in [2,\infty )\) the problem
has for a. e. \(t\in (0,T)\) a unique solution such that \(\nabla _s u_t(\cdot , t) \in L^r(\Omega ;\mathbb {R}^{3\times 3}_{\mathrm {sym}})\), and it holds
Integrating over \(t \in (0,T)\) we obtain that \(\nabla _s u_t \in L^r(\Omega \times (0,T);\mathbb {R}^{3\times 3}_{\mathrm {sym}})\).
Step 2. Let us define the convex and closed subset \(\mathcal {U}_r := \{w {\in } L^r(0,T;X_0) : \nabla _s w_t \in L^r(\Omega \times (0,T);\mathbb {R}^{3\times 3}_{\mathrm {sym}}), \ w(x,0)=u^0(x) \text { a.\,e.}\} \subset L^r(0,T;X_0\cap W^{1,r}(\Omega ;\mathbb {R}^3))\). Note that the trace operator is well defined on this space, so that the initial condition makes sense. Let \(\hat{u} \in \mathcal {U}_r\), and let u be the solution of the equation
the existence of which follows from Step 1. We prove that the mapping \(\hat{u}_t \mapsto u_t\) is a contraction with respect to a suitable norm.
Indeed, let \(\hat{u}_1,\hat{u}_2\) be given, and let \(u_1,u_2\) be the corresponding solutions. The difference \(\bar{u}=u_1-u_2\) is the solution of the equation
According to Step 1, we have
By inequality (3.14) we have for a. e. (x, t)
with a constant \(C>0\). Hence, by Hölder’s inequality,
Now, set
It follows from (4.23) and (4.24) that
We now multiply both sides of the above inequality by \(\mathrm {e}^{-Ct^r}\), and after an integration over \(t \in [0,T]\) we obtain from the Fubini Theorem
This means that the mapping \(\hat{u}_t \mapsto u_t\) is a contraction in \(L^r(0,T;X_0\cap W^{1,r}(\Omega ;\mathbb {R}^3))\) with respect to the weighted norm
hence it has a unique fixed point which is a solution of (4.22).
Step 3. The mapping which with a right-hand side \(w \in L^r(\Omega \times (0,T))\) associates the solution \(u_t \in L^r(0,T;X_0\cap W^{1,r}(\Omega ;\mathbb {R}^3))\) of (4.22) is Lipschitz continuous. Indeed, consider \(w_1,w_2\) and the corresponding solutions \(u_1,u_2\), and set as before \(\bar{w}=w_1-w_2\), \(\bar{u}=u_1-u_2\). As a counterpart of (4.23) we get
and the computations as in (4.24) yield
We obtain the Lipschitz continuity result when we test by \(\mathrm {e}^{-\frac{C}{p}t^r}\) and integrate over \(t \in [0,T]\), similarly as in Step 2.
Now, coming back to our Eq. (4.18), we see that it is of the form (4.22) with \(w(x,t) = w^{(n)}(x,t) := p^{(n)}(\chi ^{(n)}+\rho ^*(1-\chi ^{(n)}))+\beta (Q_R((\theta ^{(n)})^+)-\theta _c)(x,t) + \widehat{G}(x,t)\), where \(\widehat{G}\) is from Hypothesis 3.1 (ii). Therefore, denoting by \(\mathcal {S} : w^{(n)} \mapsto u^{(n)}_t\) its associated solution operator, we conclude that (4.17)–(4.20) give rise to a system of ODEs with a locally Lipschitz continuous right-hand side containing the operator \(\mathcal {S}\).
Thus system (4.17)–(4.20) has a unique strong solution in a maximal interval of existence \([0,T_n] \subset [0,T]\). This interval coincides with the whole [0, T], provided we prove that the solution remains bounded in \([0,T_n)\).
We now derive a series of estimates. Note that we decompose the auxiliary variables v and z instead of p and \(\theta \) into a Fourier series with respect to the basis \(\mathcal {W}\) because we are going to test Eqs. (4.17) and (4.19) by nonlinear expressions of p and \(\theta \), namely, by their Kirchhoff transforms (4.12). Indeed, the Galerkin method allows only to test by linear functions and their derivatives.
Moreover, we do not discretize the momentum balance equation because considering the full PDE is the only way to deduce compactness of the sequence \(\{\nabla _s u^{(n)}_t\}\), which is needed in order to pass to the limit in some nonlinear terms. Indeed, we will not be able to control higher derivatives of \(u^{(n)}\), and this will prevent us from applying the usual embedding theorems.
5.3 Estimates independent of n
Estimate 1. We test (4.17) by \(v_i\) and sum up over \(i=0,1,\dots ,n\), and (4.18) by \(\psi =u^{(n)}_t\). Then we sum up the two equations to obtain
where we exploited also the energy identity (3.10). We now define
so that
and introduce the modified Preisach potential as a counterpart to (2.20)
which satisfies
according to (2.19). Note that (4.2) and (4.34.4) together with Hypothesis 3.1 (vi) and (vii) yield
for all \(p \in \mathbb {R}\), with some positive constants \(c_R,C_R\) depending only on R. Moreover, the estimate
holds as a counterpart of (2.18). By the definition of \(v^{(n)}\) and Hypothesis 3.1 (vii) we deduce
Moreover, thanks again to Hypothesis 3.1 (vii), the boundary term is such that
where for \(p \in \mathbb {R}\) we set
Young’s inequality and Hypothesis 3.1 (iii), (iv) give
Moreover, by Hölder’s inequality and Hypothesis 3.1 (ii),
where in the last line we used first Korn’s inequality (3.16) and then Young’s inequality. Neglecting some lower order positive terms on the left-hand side, exploiting estimates (4.6), (4.26) and (4.27), and the fact that \(\rho ^* \le (\chi +\rho ^*(1-\chi )) \le 1\) for all \(\chi \in [0,1]\), from (4.25) and the subsequent computations we obtain
where we used also Hypothesis 3.1 (i), Young’s inequality and the pointwise inequality
to absorb \(|\mathrm {\,div\,}u^{(n)}_t|\) on the left-hand side together with the term coming from (4.30).
We need to control \(|\chi ^{(n)}_t|\). To this aim note that (4.20) is of standard form, namely,
with
or, equivalently,
This yields, thanks to (2.18), (4.6) and (4.7),
for a. e. \((x,t) \in \Omega \times (0,T_n)\). We now come back to (4.31) and integrate in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T_n]\). The initial conditions are kept under control thanks to (3.7), (3.9), (4.26), (4.27) and Hypothesis 3.1 (v). Hence Young’s inequality yields
Using (4.32) and Grönwall’s lemma, we thus obtain
and also
Now, in terms of the variable \(v^{(n)}=M_R(p^{(n)})\), the boundary condition is nonlinear. By the spatial \(W^{2,2}\)-regularity result for parabolic equations with nonlinear boundary conditions on \(C^{1,1}\) domains stated and proved in [14, Theorem 4.1], we see that
This, together with the Sobolev embedding \(W^{1,2}(\Omega ) \hookrightarrow L^6(\Omega )\), yields
and since \(W^{1,6}(\Omega ) \hookrightarrow C(\bar{\Omega })\) we also get
Estimate 2. We test (4.17) by \(\dot{v}_i\) and sum up over \(i=0,1,\dots ,n\). We get
Defining
for \(p \in \mathbb {R}\), we can rewrite
Hence, computing the time derivative in the first summand and rearranging the terms, we can rewrite (4.40) as
Combining (2.8) with the identity (2.7) for the play, we see that it holds
Hence by (4.2), (4.34.4) and Hypothesis 3.1 (vi), (vii) we obtain the pointwise lower bound
We now integrate (4.41) in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T_n)\). Note that \(\hat{\mu }_R(p) \ge \mu ^\flat \,p^2/2\) for all \(p \in \mathbb {R}\). Hence, arguing as for estimate (4.29) with \(p^{(n)}M_R(p^{(n)})\) replaced by \(\hat{\mu }_R(p^{(n)})\), we obtain that the boundary term on the left-hand side is such that
Concerning the initial conditions, we employ Hypothesis 3.1 (iv) and (v). Thus, exploiting also (4.28) and (4.34), we get
Young’s inequality, Hypothesis 3.1 (iii) and (iv), and estimates (4.32), (4.35), (4.36) give
Estimate 3. We test (4.19) by \(\dot{z}_k\) and sum over \(k=0,1,\dots ,n\). We obtain
Defining
for \(\theta \in \mathbb {R}\), we can rewrite
Hence, rearranging the terms in (4.46), we obtain
We now integrate in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T_n)\). By Hypothesis 3.1 (viii) and (ix) it holds
Note also that \(\hat{\kappa }_R(\theta ) \ge \kappa ^\flat \,\theta ^2/2\) for all \(\theta \in \mathbb {R}\). Hence, using Young’s inequality as in (4.29) we obtain
Concerning the initial conditions, we employ Hypothesis 3.1 (iv) and (v). Thus, exploiting also (2.18), (3.11), (4.7) and (4.34), we get
We see that the approximate solution remains bounded in the maximal interval of existence \([0,T_n]\). Hence the solution exists globally, and for every \(n \in \mathbb {N}\) we have \(T_n = T\).
We further need to estimate the terms \(\nabla _s u^{(n)}_t\), \(p^{(n)}\), \(\mathrm {\,div\,}u^{(n)}\) in the norm of \(L^4(\Omega \times (0,T))\). Note that (4.43), (4.45) entail \(\nabla p^{(n)} \in L^\infty (0,T;L^2(\Omega ;\mathbb {R}^3))\), \(p^{(n)}_t \in L^2(\Omega \times (0,T))\) independently of n. Thus by the anisotropic embedding formulas ([3, Theorem 10.2] on p. 143 of the Russian version, see also [1, 5]) we deduce
Now, let us consider (4.18) rewritten in the form
where
according to Hypothesis 3.1 (ii). By the already mentioned \(L^r\)-regularity (with some \(r \in [2,\infty )\)) for elliptic systems in divergence form and by (3.8) we deduce, arguing as for (4.24),
By (4.48) and Hypothesis 3.1 (ii) we see that
Therefore, choosing \(r=4\) in (4.50) and using also Hypothesis 3.1 (v), by Grönwall’s lemma we obtain
from which we deduce a bound also for the term \(\mathrm {\,div\,}u^{(n)}\) since \(\nabla _s u^{(n)}_t\) is dominant. Thus, coming back to (4.47) and using Hypothesis 3.1 (iii), (iv) and estimate (4.45), we finally obtain
Applying Grönwall’s lemma and Poincaré’s inequality (3.17) we finally obtain the estimates
5.4 Limit as \(n \rightarrow \infty \)
For the moment we keep the regularization parameters \(\eta \) and R fixed, and let \(n \rightarrow \infty \) in (4.17)–(4.20). From estimates (4.35), (4.36), (4.38), (4.43), (4.44), (4.45), (4.51), (4.52), we see that there exists a subsequence of \(\{(p^{(n)},\theta ^{(n)}) : n \in \mathbb {N}\}\), which is again indexed by n, and functions \(p,\theta \) such that
where the strong convergences are obtained by compact embedding, see [3]. We also need strong convergence of the sequences \(\{\nabla _s u^{(n)}\}\) and \(\{\nabla _s u^{(n)}_t\}\) in order to pass to the limit in some nonlinear terms. Taking the difference of (4.49) for indices n and m, and testing by \(\psi = u^{(n)}_t-u^{(m)}_t\) we obtain, arguing as for Step 3 of the existence part,
a. e. in (0, T). The \(L^1\)-Lipschitz continuity result for variational inequalities (see [11, Theorem 1.12]) tells us that
with the notation of (4.33), where we have by virtue of (2.16) for a. e. \(x \in \Omega \) that
For \(t \in [0,T]\) put
Note that by (4.39) \(\Pi \) is bounded above independently of n. We further have
and (4.53) is of the form
Thus, from Fubini’s theorem and Grönwall’s lemma we obtain
that is,
The sequences \(\{p^{(n)}\}\) and \(\{\theta ^{(n)}\}\) are Cauchy in \(L^2(\Omega ;C[0,T])\) and \(L^2(\Omega \times (0,T))\), respectively, hence \(\{\nabla _s u^{(n)}\}\) and \(\{\nabla _s u^{(n)}_t\}\) are also Cauchy sequences in \(L^2(\Omega ;C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}}))\) and in \(L^2(\Omega \times (0,T);\mathbb {R}^{3\times 3}_{\mathrm {sym}})\), respectively. Thus we conclude
This is enough to pass to the limit in the nonlinearities by virtue of [7, Theorem 12.10], and we obtain
from which
The convergence of the Preisach hysteresis terms \(G_0[p^{(n)}]\), \(U_0[p^{(n)}]\) and \(|D_0[p^{(n)}]_t|\) follow from (2.16), (2.17) and (2.11), respectively. The convergence of the plasticity terms \(P[\nabla _s u^{(n)}]\) and \(\Vert D_P[\nabla _s u^{(n)}]_t\Vert _*\) follows from (3.12) and (3.10), respectively. We now prove that the sequences \(\{\chi ^{(n)}\}\), \(\{\chi ^{(n)}_t\}\) converge strongly in appropriate function spaces. Inequality (4.54) yields
where, due to the above convergences, \(F^{(n)} \rightarrow F\) strongly in \(L^1(\Omega \times (0,T))\). Hence we conclude that \(\{\chi ^{(n)}(x,t)\}\) and \(\{\chi ^{(n)}_t(x,t)\}\) are Cauchy sequences in \(L^1(\Omega ;C[0,T])\) and in \(L^1(\Omega \times (0,T))\), respectively. Moreover, since both \(|\chi ^{(n)}|\) and \(|\chi ^{(n)}_t|\) admit a uniform pointwise upper bound (see (4.34)), we can use the Lebesgue dominated convergence theorem to conclude that
Passing to the limit as \(n \rightarrow \infty \) in (4.17)–(4.20) we see that \((p,u,\theta ,\chi )\) is a solution to (4.13)–(4.16), (1.6) with the regularity stated in Proposition 4.1.
5.5 Limit as \(\eta \rightarrow 0\)
Let us denote by \((v^{(\eta )},u^{(\eta )},z^{(\eta )},\chi ^{(\eta )})\) the solution to (4.13)–(4.16). Note that estimate (4.44) is preserved in the limit as \(n \rightarrow \infty \), hence the limit function \(v^{(\eta )}\) satisfies the inequality
We now choose \(\phi \in W^{2,2}(\Omega )\) such that \(\phi \big |_{\partial \Omega } = 0\), and integrate by parts in equation (4.13) to obtain
Introducing the new variable \(\hat{v}^{(\eta )} = \Delta v^{(\eta )}\), we rewrite (4.56) in the form
where
Note that the term \(G_0[p^{(\eta )}]_t\) is of order \(p^{(\eta )}_t\) by (2.7) and (2.8). Hence by estimates (4.34), (4.35), (4.36), (4.45) we see that \(h^{(\eta )} \in L^2(\Omega \times (0,T))\), and its \(L^2\)-norm is bounded independently of \(\eta \).
Consider now the system \(\{\hat{e}_k : k \in \mathbb {N}\}\) of eigenfunctions of the negative Laplace operator with zero Dirichlet boundary conditions
They form a complete orthonormal system in \(L^2(\Omega )\) with \(0 < \nu _1 \le \nu _2 \le \nu _3 \le \dots \). The functions \(h^{(\eta )},\hat{v}^{(\eta )}\) admit the expansions
with coefficients \(h^{(\eta )}_k : [0,T]\rightarrow \mathbb {R}\), \(\hat{v}^{(\eta )}_k : [0,T] \rightarrow \mathbb {R}\). Choosing \(\phi = \hat{e}_k\) in (4.57) we obtain
hence
for some positive constant \(C_R\) independent of \(\eta \). The estimate (4.45) is preserved in the limit \(n \rightarrow \infty \). Thus we get for a subsequence \(\eta \rightarrow 0\) that
from which, by definition of \(M_R\) in (4.12) and Hypothesis 3.1 (vii),
Also the estimates (4.35), (4.36), (4.43), (4.51), (4.52) are preserved when \(n \rightarrow \infty \). Since they are independent of \(\eta \), by letting \(\eta \rightarrow 0\) we obtain for \(v^{(\eta )}\) and \(\theta ^{(\eta )}\) the same convergences as before.
Note that as a side product, from (4.58) we get that the estimate
holds also in the limit as \(\eta \rightarrow 0\). Hence, arguing as for (4.38) we get
This, by Sobolev embedding, yields
as well as
But then we can argue as in Sect. 4.4 and obtain an inequality similar to (4.55), but with a constant independent of \(\eta \). This entails the strong convergence of the sequences \(\nabla _s u^{(\eta )}\) and \(\nabla _s u^{(\eta )}_t\). The rest of the convergence argument follows exactly as at the end of Sect. 4.4, and this concludes the proof of Proposition 4.1.
6 Estimates independent of R
We now come back to our cut-off system (4.8)–(4.11). We are going to derive a series of estimates independent of R. More precisely, after proving that the temperature stays away from zero, we will perform the energy estimate and the Dafermos estimate in order to gain some regularity for the temperature. Subsequently, a key-step will be the derivation of a bound for p in an anisotropic Lebesgue space. Then an analogous estimate based on the particular structure of Eq. (4.9) is obtained for \(\nabla _s u_t\). We finally show that this is sufficient for starting the Moser iteration and obtain an \(L^\infty \) bound for p. After deriving some higher order estimates for the capillary pressure and for the temperature, we will be ready to let R tend to \(\infty \) in (4.8)–(4.11).
6.1 Positivity of the temperature
For every nonnegative test function \(\zeta \in X\) we have, by virtue of (4.10),
where in the last line we used Hypothesis 3.1 (i) together with inequality (4.32), and also estimate (4.7). Then, by Young’s inequality,
with a constant C depending on \(L,\,\theta _c,\,\beta ,\,\mathbf {B},\,\gamma ^\flat \). Let now \(\varphi (t)\) be the solution of the ODE
with \(\bar{\theta }\) from Hypothesis 3.1. Then \(\varphi \) is nondecreasing and positive. Taking into account the fact that \(\mathcal {C}_V(\varphi )_t = -C\varphi ^2\) and \(\nabla \varphi =0\), for every nonnegative test function \(\zeta \in X\) we have in particular
Consider now the following regularization of the Heaviside function
for \(\varepsilon > 0\), and set \(\zeta (x,t)=H_{\varepsilon }(\varphi (t)-\theta (x,t))\) which is an admissible test function. This yields
By the Lebesgue Dominated Convergence Theorem we can pass to the limit in the above inequality for \(\varepsilon \rightarrow 0\), getting
that is, by the monotonicity of \(\mathcal {C}_V\),
which implies \((\mathcal {C}_V(\varphi )-\mathcal {C}_V(\theta ))^+ \equiv 0\). Owing again to the monotonicity of \(\mathcal {C}_V\) and \(\varphi \), we conclude that, independently of R,
We now pass to a series of estimates independent of R.
6.2 Energy estimate
Since we proved that the temperature stays positive, from now on we will write \(Q_R(\theta ^+)=Q_R(\theta )\).
We test (4.8) by \(\phi =p\), (4.9) by \(\psi =u_t\) and (4.10) by \(\zeta =1\). Summing up the three resulting equations we obtain
Note that some of the terms cancel out. Moreover, recalling the notation introduced in () and the energy balance (2.11), the identities
hold true. Hence we obtain, using also (3.10) and (4.11),
We now integrate in time \(\int _0^\tau \,\mathrm {d}t\). On the left-hand side Young’s inequality, (3.11) and (4.32) entail
By the definition of \(Q_R\) in (4.1), it holds \(|\nabla p|^2 \ge Q_R(|\nabla p|^2)\). The boundary term is such that
thanks to Young’s inequality and Hypothesis 3.1 (iii) and (iv). Concerning the right-hand side of (5.4), the time integration gives
where the term containing the initial conditions is controlled by using Hölder’s inequality and observing that
Hence by Young’s inequality and Hypothesis 3.1 (ii), (v) we deduce
where we used also Korn’s inequality (3.16). The first term in the last line is absorbed by (5.5). Finally, the initial conditions are kept under control thanks to (2.18), (3.9), (4.6) and Hypothesis 3.1 (v). Hence what we eventually get is
and applying Grönwall’s lemma we finally obtain the estimates
Estimate (5.7) also gives
where b is from Hypothesis 3.1 (viii).
6.3 Dafermos estimate
We set \(\hat{\theta }:= Q_R(\theta )\) and test (4.10) by \(\zeta = -\hat{\theta }^{-a}\), with a from Hypothesis 3.1. This yields the identity
It holds
where
and by Hypothesis 3.1 (ix) also
Hence from (5.10) we get, using also Hypothesis 3.1 (i) and inequalities (4.32), (4.7),
where we neglected some positive terms on the left-hand side. Young’s inequality yields
with a constant C depending only on \(L,\,\theta _c,\,\beta ,\,\mathbf {B},\,\gamma ^\flat \), whereas the boundary term is such that
by (5.1) and Hypothesis 3.1 (iii), (iv). Note also that \(F_a(\theta ) \le \mathcal {C}_V(\theta )\) for all \(\theta \ge 0\). Thus, integrating (5.11) in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T]\) and neglecting some other positive terms on the left-hand side we obtain
thanks to estimates (5.7), (5.8). Now, owing to estimate (5.9), we can apply the Gagliardo–Nirenberg inequality (3.18) with the choices \(s=1+b\), \(r=2\) and \(N=3\) obtaining, for \(t\in (0,T)\),
with \(\delta =\frac{6(q-1-b)}{(5-b)q}\) and for every \(1+b<q<6\). In particular, since \(\delta \cdot \frac{(5-b)q}{3(q-1-b)}=2\), this and (5.12) yield
Let us now choose \(q=2-a\), which is admissible in the sense that \(1+b<2-a\) thanks to Hypothesis 3.1. Since \(\frac{5-b}{3(1-a-b)}>1\), we can apply Young’s inequality on the right-hand side getting
Substituting in (5.13) entails
Coming back to (5.13) again and choosing \(q=8/3+2b/3\), we also get
6.4 Mechanical energy estimate
In order to estimate the capillary pressure in a suitable anisotropic Lebesgue space, we first need to find a bound for \(\mathrm {\,div\,}u_t\) in \(L^2(\Omega \times (0,T))\), independently of R. To this purpose, we test (4.8) by \(\phi = p\), (4.9) by \(\psi = u_t\) and sum up to obtain, with the notation of the previous subsection,
Note that some terms cancel out. Owing to (5.2) and exploiting also the energy identity (3.10), what we eventually get is
Now, (4.11) yields
where in the last line we used Young’s inequality and (4.7), and where the constant C is independent of R. Moreover, from the pointwise inequality (4.32) and arguing as for (4.30) we get
Hence we obtain, exploiting also Hypothesis 3.1 (i) to absorb the terms coming from the two estimates above,
where the boundary term was handled as in (5.6). We now integrate in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T]\). The right-hand side is bounded thanks to estimate (5.15), whereas the initial conditions are kept under control thanks to (2.18), (3.7), (3.9), (4.6) and Hypothesis 3.1 (v). Hence, neglecting some already estimated positive terms, we finally obtain
independently of R. This, together with (5.8) and Poincaré’s inequality (3.17), yields
6.5 Estimate for the capillary pressure
We choose an even function \(\lambda : \mathbb {R}\rightarrow (0,\infty )\) such that \(\lambda '(p) \ge 0\) for \(p>0\) and \(p\lambda (p) \in X\). Then we test (4.8) by \(\phi = p\lambda (p)\). We obtain
The term under the time derivative has the form
We now define
so that
and introduce the modified Preisach potential as a counterpart to (2.20)
which satisfies
according to (2.19). Note that \(V_{\lambda ,R}(p) > 0\) and \(U_\lambda [p] \ge 0\) for all \(p \ne 0\). Then (5.20) can be rewritten as
Defining
we see that from () and (4.11) it holds
Now, using Young’s inequality as in (5.16) we obtain
and similarly
so that (5.21) entails
Note that
for all \(p \in \mathbb {R}\), hence
independently of R. From (5.22) we conclude
so that (5.19) and a time integration \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T]\) yields
Now that we got rid of \(\chi _t\) and derived a manageable estimate, we choose \(\lambda (p) = |p|^{2k}\) with \(k \ge \nu /2\) which will be specified later. Here \(\nu \) is as in Hypothesis 3.1. Note that this is an admissible choice, that is, \(p\lambda (p) \in X\). Indeed, by estimates (4.45), (4.59) and by the anisotropic embedding formulas, see [3], we have
for any \(q \in [1,4)\). The bound also depends on R, but for a fixed R and each \(k>0\) the function \(p|p|^{2k}(\cdot , t)\) belongs to X for a. e. \(t \in (0,T)\).
With this choice (5.23) takes the form
where, from Hypothesis 3.1 (vi),
Note also that, from Hypothesis 3.1 (vi) and an analogous version of (2.3),
Moreover
Finally, by Young’s inequality with conjugate exponents \(\left( \frac{2+2k}{1+2k}\,,\,2+2k\right) \), we see that the boundary term is such that
Hence, using also Hypothesis 3.1 (vii), we obtain
From Hypothesis 3.1 (iv) and (v) it follows that the above inequality is of the form
with a constant \(C\ge 1\) independent of R and k and with
We have \(\tilde{h} \in L^2(\Omega \times (0,T))\) and
independently of R by virtue of the estimates (4.32) and (5.17) for \(\mathrm {\,div\,}u_t\), (5.15) for \(\hat{\theta }\) and (5.18) for p.
Since we deal with anisotropic spaces \(L^q(0,T; L^r(\Omega ))\), \(q \ne r\), it is convenient to introduce for the norm of a function \(v\in L^q(0,T; L^r(\Omega ))\) the symbol
For the function
we obtain from (5.25) using Hölder’s inequality and Poincaré’s inequality (3.17) that
for all \(\tau \in [0,T]\), with
and with a constant C independent of \(\tau \), R and k. We now show that for a suitably chosen k, the right-hand side of (5.29) is dominated by the left-hand side, which will imply a bound for the left-hand side. By the Gagliardo–Nirenberg inequality (3.18) with \(q=q_k\), \(s=s_k\), \(r=2\) and \(N=3\) we have
We now choose k in such a way that \(\delta _k q_k = 2\), that is, \(3q_k = 6 + 2s_k\), which yields
By Hypothesis 3.1 we have \(s_k \ge 1\). Hence, by (5.30),
Since \(k<1\), we conclude from (5.29) that there exists a constant C independent of R such that, in particular,
Invoking (5.28), we obtain for p the estimates
We now distinguish two cases: \(\nu \le 1/3\) and \(\nu > 1/3\). For \(\nu \le 1/3\) (that is, \(3(1-\nu ) \ge 2\)) we have
For \(\nu > 1/3\) (that is, \(3(1-\nu ) < 2\)) we use again the Gagliardo–Nirenberg inequality (3.18) with \(q=2\), \(s=3(1-\nu )\), \(r=2\) and \(N=3\), obtaining
so that for
we have
Hence by virtue of (5.18), (5.27), and (5.31) we obtain
with a constant \(C>0\) independent of R, according to the notation (5.27). Note that \(q_\nu \ge 6\) thanks to Hypothesis 3.1 with \(\nu \le 1/2\).
6.6 Further estimates
Now that we have obtained a suitable estimate for the capillary pressure in (5.33), we derive an analogous estimate for \(\mathrm {\,div\,}u_t\). To this aim we test (4.9) by \(\psi = u_t\), which yields
By (3.8), Hypothesis 3.1 (v) and (5.17) we have
hence using Hypothesis 3.1 (i) and Young’s inequality as in Sect. 5.4 we conclude that the estimate
holds for a. e. \(t\in (0,T)\) with a constant \(C>0\) independent of R. We want to find and estimate for \(\nabla _s u_t\) in the norm of \(L^q(0,T; L^2(\Omega ))\) for a suitable q. To this aim we apply the Gagliardo–Nirenberg inequality (3.18) to \(\hat{\theta }\) with the choices \(q=r=2\), \(s=1+b\) (with b from Hypothesis 3.1) and \(N=3\). We obtain that, for \(t\in (0,T)\),
so that for
we have
Hence by virtue of (5.9) and (5.14) we get
independently of R. Note that our hypotheses on b imply \(q_b \ge 6\). Thus, coming back to (5.34) we have obtained that there exists \(q := \min \{q_\nu ,q_b\} \ge 6\) such that, thanks to (5.32) or (5.33) and (5.35),
independently of R, according to the notation (5.27).
We continue our analysis with the inequality (5.25) again. Unlike in Sect. 5.5, we do not keep the exponent k bounded, but we let \(k \rightarrow \infty \) in a controlled way. As in (5.28), we define auxiliary functions \(w_k = p|p|^k\) and rewrite (5.25) for \(k \ge 1-\nu \) as
with a constant \(C\ge 1\) independent of k, with \(\tilde{h}\) given by (5.26), and with
It follows from (5.32) or (5.33), (5.35), and (5.36) that \(\tilde{h} \in L^6(0,T;L^2(\Omega ))\) and
Repeating exactly the argument of the proof of [8, Proposition 6.2] we obtain the following result.
Proposition 5.1
Let Hypothesis 3.1 hold and let \((p,u,\theta ,\chi )\) be a solution of (4.8)–(4.11) with the regularity from Proposition 4.1. Then the function p admits an \(L^\infty \)-bound independent of R, more precisely,
for a. e. \((x,t) \in \Omega \times (0,T)\) with \(\sigma = 19/18\), , and with positive constants \(\bar{\nu }, C\) depending only on the data.
The main consequence of Proposition 5.1 is that, since we aim at taking the limit as \(R \rightarrow \infty \) in (4.8)–(4.11), we can restrict ourselves to parameter values \(R > R_\sigma \), with \(R_\sigma \) from (5.38), so that the cut-off (4.2), (), (4.34.4) is never active and \(\gamma _R(p,\theta ,\mathrm {\,div\,}u) = \gamma (\hat{\theta },\mathrm {\,div\,}u)\). Hence we can rewrite (4.8)–(4.11) in the form
for all test functions \(\phi , \zeta \in X\), \(\psi \in X_0\), with \(\hat{\theta }= Q_R(\theta )\) and with initial conditions (1.6). In order to pass to the limit as \(R \rightarrow \infty \), we still need to derive some higher order estimates.
6.7 Higher order estimates for the capillary pressure
Let us define
for \(p \in \mathbb {R}\), so that \(\mu (p)\nabla p = \nabla M(p)\). We would like to test (5.39) by \(\phi = M(p)_t = \mu (p)p_t\) which, however, is not an admissible test function since \(p_t \notin X\). Hence we choose a small \(h>0\) and test by \(\phi = \frac{1}{h}\left( M(p)(t)-M(p)(t-h)\right) \), where
with the intention to let \(h \rightarrow 0\). We obtain
Concerning the second summand on the left-hand side of (5.44), note that
We now deal with the boundary term. It holds
To handle the term \(p\,\frac{1}{h}\left( M(p)(t)-M(p)(t-h)\right) \), we use the inequality \(F(y)-F(z) \le F'(y)(y-z)\) which holds for every convex function F and every y, z. We interpret M(p)(t) as y, \(M(p)(t-h)\) as z and \(F'(y) = M^{-1}(M(p(t))) = M^{-1}(y)\). The function \(M^{-1}\) is increasing, hence its antiderivative F is convex. Thus
Defining
for \(p \in \mathbb {R}\), we obtain
Thus (5.44) and the above estimates entail
We are now ready to integrate in time from h to some \(\tau \in (0,T)\) and then let \(h \rightarrow 0\). Note that estimate (4.45) entails that the function \(M(p)_t = \mu (p) p_t\) is in \(L^2\), so that the convergence is strong in \(L^2\). We obtain
Combining (2.8) with the identity (2.7) for the play, we see that it holds \(\mu (p)\,G_0[p]_t\,p_t \ge 0\), thus
thanks to Hypothesis 3.1 (vi), (vii) and estimate (5.38). Hence there exists a constant \(c>0\) such that for every \(t \in (0,T)\) we have
thanks to Hypothesis 3.1 (v), (vi) and (vii), where we handled the boundary term on the left-hand side as in (4.42). Arguing as for estimate (4.34), we obtain
for a. e. \((x,t) \in \Omega \times (0,T)\), this time independently of R thanks to (5.38). Thus, employing also Young’s inequality, estimates (5.7), (5.8), (5.17) and Hypothesis 3.1 (iii) and (iv), we conclude that
By (5.7), (5.17), (5.18), (5.47) and by comparison in equation (5.39), we see that the term \(\Delta M(p)\) is bounded in \(L^2(\Omega \times (0,T))\) independently of R. In terms of the new variable \(\tilde{p}=M(p)\), the boundary condition in (1.7) is nonlinear, and from considerations similar to those used in the proof of [14, Theorem 4.1] it follows
We thus may employ the Gagliardo–Nirenberg inequality (3.18) with \(s=r=2\), \(N=3\) obtaining
which holds for all \(2<q<6\). Elevating to some power s such that \(\delta s=2\) and integrating in time yield
thanks to estimates (5.46), (5.48) and Hypothesis 3.1 (vii). In particular, for \(s=4,\,q=3\) and \(s=q=\frac{10}{3}\) we obtain, respectively,
according to the notation (5.27).
6.8 Higher order estimates for the displacement
Let us consider Eq. (5.40). Setting
and arguing as for (4.50) we deduce
Thus, by choosing \(r=8/3+2b/3\) (with \(b \in [1/2,1)\) from Hypothesis 3.1) in the above inequality we obtain from (5.15), (5.38), Hypothesis 3.1 (ii), (v) and Grönwall’s lemma
We now derive an estimate for \(\nabla _s u_t\) in a suitable anisotropic Lebesgue space. To this aim we need to derive first an additional estimate for \(\hat{\theta }\). We use Gagliardo–Nirenberg inequality (3.18) with the choices \(s=1+b\), \(r=2\) and \(N=3\) obtaining, for \(t\in (0,T)\),
which holds for all \(1+b<q<6\). This yields, elevating to some power s such that \(\delta s = 2\) and integrating in time,
thanks to estimates (5.9), (5.14). In particular, for \(q=\frac{12(1+b)}{7+b}\) and \(s=4\) we obtain
Note that
which is certainly true under our hypotheses. Therefore, choosing \(r=\frac{12(1+b)}{7+b}\) in (5.50) we obtain, thanks to (5.51) and Hypothesis 3.1 (v),
for a. e. \(t\in (0,T)\). Hypothesis 3.1 (ii) and estimates (5.38), (5.52) then yield
independently of R.
6.9 Higher order estimates for the temperature
Note that (5.40) with \(\psi = u_t\) and (5.42) entail, respectively,
Plugging these identities into (5.41) we obtain
for every \(\zeta \in X\), where \(\Gamma (x,t)\) has the regularity of the worst term. Estimates (5.38), (5.45), (3.16), (3.8), (3.11), (2.18) yield
which from (5.47), (5.49), (5.51), (5.53) implies
independently of R, with b as in Hypothesis 3.1.
Assume now that for some \(p_0 \ge 8/3+2b/3\) we have proved
We know that this is true for \(p_0 = 8/3+2b/3\) by virtue of (5.15). Set
and set \(\zeta = \hat{\theta }^{r_0}\) in (5.54). We obtain
It holds
where
Observe that
by Hypothesis 3.1 (viii). Moreover, Hypothesis 3.1 (ix) entails
Concerning the boundary term, we use Young’s inequality with exponents \(\left( \frac{r_0+1}{r_0}\,,\,r_0+1\right) \), and obtain
by Hypothesis 3.1 (iii) and (iv). We now integrate (5.58) in time \(\int _0^\tau \,\mathrm {d}t\) for some \(\tau \in [0,T]\). Thanks to the choice (5.57) and Hölder’s inequality with exponents \(\left( \frac{4+b}{3}\,,\,\frac{4+b}{1+b}\right) \), the right-hand side is such that
by estimates (5.55), (5.56). Hence we have obtained
We now denote
and rewrite (5.59) as
We now apply Gagliardo–Nirenberg inequality (3.18) to v(t), \(t\in (0,T)\), with \(r=2\) and \(N=3\). Choosing q in such a way that \(\delta q = 2\), that is, \(q = \frac{2}{3}s+2\), and integrating in time from 0 to T we obtain
Estimate (5.60) yields
so that \(\Vert v\Vert _q \le C(r_0+1+b)\). Coming back to the variable \(\hat{\theta }\), we have proved that
We now proceed by induction according to the rule
We have the implication
Hence, the sequence \(\{p_j\}\) is increasing and \(\lim _{j \rightarrow \infty } p_j = \frac{(8+3a+2b)(4+b)}{7-2b}\). It follows that choosing \(\bar{p} = p_j\) for some j sufficiently large we obtain
with \(\hat{a}\) from Hypothesis 3.1 (ix), and using also (5.59) we obtain
with \(\bar{p}\) arbitrarily close to \(\frac{(8+3a+2b)(4+b)}{7-2b}\). We now come back to (5.54), which we test by \(\zeta =\theta \) (note that this is an admissible choice by Proposition 4.1). It holds
hence from Hypothesis 3.1 (ix) and (5.55) we obtain, after a time integration,
Using the Gagliardo–Nirenberg inequality (3.18) again with \(q=\frac{4+b}{1+b}\), \(s=1+b\) (note that \(1+b<\frac{4+b}{1+b}<6\) under our hypotheses), \(r=2\) and \(N=3\) we have that, for each fixed \(t\in (0,T)\),
with \(\delta =\frac{6(3-b^2-b)}{(5-b)(4+b)}\) and where we used estimate (5.9). Raising to the power \((4+b)/(1+b)\) and integrating \(\int _0^T \,\mathrm {d}t\) we get
Plugging this back into (5.63) and using Young’s inequality we deduce
This enables us to derive an upper bound for the integral \(\int _\Omega \kappa (\hat{\theta })\nabla \theta \cdot \nabla \zeta \,\mathrm {d}x\), which we need for getting an estimate for \(\theta _t\) from equation (5.54). By Hölder’s inequality and Hypothesis 3.1 (ix) we have that
Let us now choose \(\hat{q}>1\) such that \((1+\hat{a})\hat{q} = 1+\bar{r}+b\), where \(\bar{r}\) is defined in (5.61). Note that such a \(\hat{q}\) exists since \(1+\bar{r}+b> 1+\hat{a}+b > 1+\hat{a}\). Defining
we get from Hölder’s inequality with conjugate exponents \(\left( \hat{q}\,,\,\frac{q^*}{2}\right) \) that
by virtue of (5.62). Inequality (5.65) then yields the bound
Hence, by (5.64),
From (5.55) it follows that testing with \(\zeta \in L^2(0,T;W^{1,q^*}(\Omega ))\) is admissible, in the sense that the term \(\Gamma \zeta \) is integrable. This is obvious if \(q^* \ge 3\). For \(q^*<3\) the space \(W^{1,q^*}(\Omega )\) is embedded in \(L^{q^*_S}(\Omega )\) with
so that \(\frac{3}{4+b} + \frac{1}{q^*_S} \le 1\). We thus obtain from (5.54) that
7 Passage to the limit as \(R \rightarrow \infty \)
In this section we conclude the proof of Theorem 3.3 by passing to the limit in (5.39)–(5.42) as \(R \rightarrow \infty \). Most of the convergences can be handled as at the end of Sect. 4.3, hence we focus here on the main differences.
Let \(R_i \nearrow \infty \) be a sequence such that \(R_i > R_\sigma \), with \(R_\sigma \) as in (5.38), and let \((p,u,\chi ,\theta ) = (p^{(i)},u^{(i)},\chi ^{(i)},\theta ^{(i)})\) be solutions of (5.39)–(5.42) corresponding to \(R = R_i\), with \(\hat{\theta }= \hat{\theta }^{(i)} = Q_{R_i}(\theta ^{(i)})\) and test functions \(\phi ,\zeta \in X\), \(\psi \in X_0\). Our aim is to check that at least a subsequence converges as \(i \rightarrow \infty \) to a solution of (3.2)–(3.5) with test functions \(\phi \in X\), \(\psi \in X_0\) and \(\zeta \in X_{q^*}\).
First, for the capillary pressure \(p = p^{(i)}\) we have the estimates (5.38), (5.46), (5.47), (5.48) and (5.49), which imply that, passing to a subsequence if necessary,
by compact embedding. We easily show that
Indeed, let \(\Omega _T^{(i)} \subset \Omega \times (0,T)\) be the set of all \((x,t) \in \Omega \times (0,T)\) such that \(|\nabla p^{(i)}(x,t)|^2 > R_i\). By (5.49) we have
hence \(|\Omega _T^{(i)}| \le C R_i^{-5/3}\). For \(q<\frac{5}{3}\) we use Hölder’s inequality to get the estimate
and (6.1) follows.
For the temperature \(\theta = \theta ^{(i)}\) we proceed in a similar way. By estimates (5.64) and (5.67) we obtain
where for the last convergence we exploited [18, Theorem 5.1] and the embedding \(W^{-1,q^*}(\Omega ) \hookrightarrow W^{-1,2}(\Omega )\) (recall that \(q^*>2\)). Furthermore, estimate (5.62) entails that \(\hat{\theta }^{(i)}\) are uniformly bounded in \(L^q(\Omega \times (0,T))\) for every \(q<\frac{(8+3a+2b)(4+b)}{7-2b}\). Hence a similar argument as above yields that
Estimate (5.48) and the Sobolev embeddings yield an inequality similar to (4.55), but with a constant independent of both \(\eta \) and R. This is enough to obtain that \(\nabla _s u^{(i)} \rightarrow \nabla _s u\), \(\nabla _s u^{(i)}_t \rightarrow \nabla _s u_t\) strongly in \(L^2(\Omega ;C([0,T];\mathbb {R}^{3\times 3}_{\mathrm {sym}}))\) and in \(L^2(\Omega \times (0,T);\mathbb {R}^{3\times 3}_{\mathrm {sym}})\), respectively. The strong convergences \(\chi ^{(i)} \rightarrow \chi \), \(\chi ^{(i)}_t \rightarrow \chi _t\) then follow as at the end of Sect. 4.2, as well as the convergence of the hysteresis terms.
Therefore the limit as \(i \rightarrow \infty \) yields a solution to (3.2)–(3.5), and the proof of Theorem 3.3 is completed.
References
Adams, R.A.: Anisotropic Sobolev inequalities. Časopis pro pěstování matematiky 113(3), 267–279 (1988)
Albers, B., Krejčí, P.: Unsaturated porous media flow with thermomechanical interaction. Math. Meth. Appl. Sci. 39(9), 2220–2238 (2016)
Besov, O.V., Il’in, V.P., Nikol’skii, S.M.: Integral Representations of Functions and Imbedding Theorems. Scripta Series in Mathematics. Halsted Press (John Wiley & Sons): New York-Toronto, Ont.-London; 1978 (Vol. I), 1979 (Vol. II). Russian version Nauka: Moscow; 1975
Detmann, B., Krejčí, P., Rocca, E.: Solvability of an unsaturated porous media flow problem with thermomechanical interaction. SIAM J. Math. Anal. 48, 4175–4201 (2016)
Edmunds, D.E., Edmunds, R.M.: Embeddings of anisotropic Sobolev spaces. Arch. Ration. Mech. Anal. 94, 245–252 (1986)
Flynn, D., McNamara, H., O’Kane, J.P., Pokrovskiĭ, A.V.: Application of the Preisach model to soil-moisture hysteresis. In: Bertotti, G., Mayergoyz, I. (eds.) The Science of Hysteresis, vol. 3, pp. 689–744. Academic Press, Oxford (2006)
Fučík, S., Kufner, A.: Nonlinear Differential Equations. Studies in Applied Mechanics, vol 2, Amsterdam /Elsevier Scientific Publ. Co., New York (1980)
Gavioli, C., Krejčí, P.: On a viscoelastoplastic porous medium problem with nonlinear interaction. SIAM J. Math. Anal. 53(1), 1191–1213 (2021)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)
Krasnosel’skii, M.A., Pokrovskii, A.V.: Systems with Hysteresis. Nauka, Moscow (1983)
Krejčí, P.: Hysteresis operators—a new approach to evolution differential inequalities. Comment. Math. Univ. Carolinae 33, 525–536 (1989)
Krejčí, P.: Hysteresis, Convexity and Dissipation in Hyperbolic Equations. Gakkōtosho, Tokyo (1996)
Krejčí, P.: The Preisach hysteresis model: Error bounds for numerical identification and inversion. Discrete Cont. Dyn. Syst. Ser. S 6, 101–119 (2013)
Krejčí, P., Panizzi, L.: Regularity and uniqueness in quasilinear parabolic systems. Appl. Math. 56(4), 341–370 (2011)
Krejčí, P., Rocca, E., Sprekels, J.: Unsaturated deformable porous media flow with thermal phase transition. Math. Models Methods Appl. Sci. 27(14), 2675–2710 (2017)
Ladyzhenskaya, O.A., Ural’tseva, N.N.: Linear and Quasilinear Equations of Elliptic Type. Nauka, Moscow (1973)
Lemaitre, J., Chaboche, J.-L.: Mechanics of Solid Materials. Cambridge University Press, Cambridge (1990)
Lions, J.L.: Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod; Gauthier-Villars, Paris (1969)
Nečas, J., Hlaváček, I.: Mathematical Theory of Elastic and Elasto-Plastic Bodies: An Introduction. Studies in Applied Mechanics, vol. 3. Elsevier Science Ltd, New York (1981)
Showalter, R.E., Stefanelli, U.: Diffusion in poro-plastic media. Math. Methods Appl. Sci. 27, 2131–2151 (2004)
Simader, C.G.: On Dirichlet’s Boundary Value Problem. Lecture Notes in Mathematics, vol. 268. Springer, New York (1972)
Visintin, A.: Models of Phase Transitions, Progress in Nonlinear Differential Equations and Their Applications, vol. 28. Birkhäuser, Boston (1996)
Funding
Open access funding provided by Austrian Science Fund (FWF).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflicts of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The support from the Austrian Science Fund (FWF) projects V662 and F65, from the GAČR Grant No. 20-14736S, and from the European Regional Development Fund, Project No. CZ.02.1.01/0.0/0.0/16_019/0000778 is gratefully acknowledged.
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
Gavioli, C., Krejčí, P. Phase transitions in porous media. Nonlinear Differ. Equ. Appl. 29, 72 (2022). https://doi.org/10.1007/s00030-022-00805-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00030-022-00805-z