1 Introduction

After the proposition of Cosserat brothers [5] concerning micropolar elastic materials, a big deal was developed to generalize the elastic materials including microstructure. In fact, in the second part of the last century new proposals in this line were considered. The foundations of granular materials with intersticial voids were set down by Goodman and Cowin [15], and the theory of elastic solids with voids was introduced by Cowin and Nunziato [6, 7, 30]. It seems that the intention of these authors was to model the behavior of materials with small voids (or pores) distributed within them. Heat effects were also included in this theory [19,20,21]. It is worth saying that this theory has been assumed by the scientific community and the literature devoted to it is huge. In order to give a couple of examples, we can recall several contributions concerning the rate of decay for porous-thermoelasticity [2, 9,10,11,12,13, 22, 26, 31,32,33,34], and theirs numerical issues (see, for instance, [1, 14]). Applications of these materials are relevant in engineering and biology.

In the decade of the 1990’s, several theories were introduced to describe heat conduction. It seems that the main intention of the different authors was to overcome the paradox of the instantaneous propagation of the thermal waves obtained in the classical theory. In this paper, we are going to work with one of them. It is the one called type III that was introduced by Green and Naghdi [16,17,18]. In this case, a new unknown, the thermal displacement, is considered. The linear version of this theory has, as a particular subcase, the usual Fourier law. This new model proposes alternative couplings which cannot be present in the case of the Fourier theory. We believe that it is relevant to clarify the consequences of these new couplings. In this sense, we recall [27] and, even more [28], where the heat conduction does not propose dissipation of the thermal energy and it is usually called thermoelasticity without energy dissipation or type II theory. We also mention that a big difference in the time decay has been observed when we compare Fourier theory and type III theory with microtemperatures [23].

The idea to propose that a mechanism is quasi-static is as old as the mechanical sciences. In this situation, it is usually assumed that the change of a variable is so slow that the second time derivative of this variable can be neglected and it disappears from the equation. This could be a way to simplify the system of equations determining a process by means of a good approximation to the problem. It seems that Mosconi [29] was the first author proposing that the deformations of the microvoids can be considered so small to allow us to neglect its second-time derivative. In a recent paper [24], the one-dimensional problem of the porous elasticity with heat conduction of type II for quasi-static microvoids was analyzed from an analytical point of view and the exponential decay of solutions was obtained (see also [25]). Therefore, the same behavior holds in the case of the type III. In this paper, our aim is to continue the research started in [24, 25], providing the numerical analysis of a porous-elastic problem arising in type III thermo-elasticity.

Therefore, since we concentrate our attention to the porous thermoelasticity of type III and we restrict ourselves to the one-dimensional setting, we assume that the domain of the material occupies the interval \([0,\ell ]\), \(\ell >0\), and the evolution equations become (see [8])

$$\begin{aligned} \rho \ddot{u}=\sigma _x{,}\, \, \, \, J\ddot{\phi }=h_x+g, \, \, \, \, T_0 {\dot{\eta }}=q_x, \end{aligned}$$

where the constitutive equations areFootnote 1

$$\begin{aligned} \sigma &= \mu u_x+b\phi -\beta \theta ,\\ h &= \zeta \phi _x+l\alpha _x,\\ g &= -b u_x-\xi \phi +m\theta -\tau {\dot{\phi }},\\ \eta &= c\theta +\beta u_x-m\phi ,\\ q &= \kappa \theta _x+\kappa \alpha _x+l\phi _x. \end{aligned}$$

Therefore, assuming \(T_0=1\) to make the calculations easier, the field equations are written as follows,

$$\begin{aligned}&\rho \ddot{u}=\mu u_{xx}+b\phi _x-\beta \theta _x,\\& J\ddot{\phi }+\tau {\dot{\phi }}=\zeta \phi _{xx}+l\alpha _{xx}-b u_x-\xi \phi +m\theta ,\\& c{\dot{\theta }}=\kappa \alpha _{xx}+\kappa ^* \theta _{xx}+l\phi _{xx}-\beta {\dot{u}}_x -{m} {\dot{\phi }}. \end{aligned}$$

In this system of equations, u is the displacement, \(\phi\) is the volume fraction, \(\alpha\) is the thermal displacement, \(\theta\) is the temperature, \(\sigma\) is the stress, h is the equilibrated stress, g is the equilibrated body force, \(\eta\) is the entropy, q is the heat flux, \(\rho\) is the mass density, J is the product of the mass density by the equilibrated inertia, \(T_0\) is the reference temperature, c is the thermal capacity, \(\kappa ^*\) is the rate conductivity, \(\kappa\) is the thermal conductivity, \(\mu\) is the elasticity, \(\beta\) is the thermomechanical coupling coefficient and \(b,\zeta ,l,b,\xi ,m\) are constitutive coefficients. We also note that \(\tau\) determines the porous dissipation. Moreover, the time derivative is denoted by a superposed dot for the first order or two superposed dots for the second order.

In the case that we assume that the deformations of the microvoids are quasi-static, we have that \(\ddot{\phi }\, \approxeq \,0\) and therefore we obtain the following linear system [24]:

$$\begin{aligned} \rho \ddot{u}= \mu u_{xx}+b\phi _x-\beta \theta _x, \end{aligned}$$
(1)
$$\begin{aligned} \tau {\dot{\phi }}= \zeta \phi _{xx}+l\alpha _{xx}-b u_x-\xi \phi +m\theta , \end{aligned}$$
(2)
$$\begin{aligned} c{\dot{\theta }}&= \kappa \alpha _{xx}+\kappa ^* \theta _{xx}+l\phi _{xx}-\beta {\dot{u}}_x \\&\quad -\frac{m}{\tau }\Big (\zeta \phi _{xx}+l\alpha _{xx}-b u_x-\xi \phi +m\theta \Big ). \end{aligned}$$
(3)

It is worth recalling that the existence and time decay of the solutions have been studied recently [24]. In this paper, we study numerically the one-dimensional quasi-static system for the porous thermoelasticity of type III. To be precise, we will introduce a fully discrete approximation by using the implicit Euler scheme and the finite element method to approximate the time derivatives and the spatial domain, respectively. Then, we will prove a discrete stability property and a priori error estimates, which will lead to the linear convergence of the approximations assuming some additional regularity conditions. Finally, we will present some numerical simulations to show the efficiency of the approximation and the behavior of the solution.

2 The thermomechanical problem

As usual, the spatial variable is represented by \(x\in (0,\ell )\), and for the time we use the notation \(t\in [0,T], \hbox{ being } T>0\) the final time. In order to simplify the writing, we will remove the dependence of our functions with respect to these two variables.

Since we assume that the rod is homogeneous and isotropic, the type III porous-thermo-elastic problem with quasistatic voids is written as follows (see [24]).

Problem P. Find the displacement field \(u:[0,\ell ]\times [0,T]\rightarrow {\mathbb {R}}\), the volume fraction \(\phi :[0,\ell ]\times [0,T]\rightarrow {\mathbb {R}}\) and the temperature \(\theta :[0,\ell ]\times [0,T]\rightarrow {\mathbb {R}}\) such that field equations (1)–(3) are fulfilled in \((0,\ell )\times (0,T)\), and the following boundary and initial conditions are satisfied:

$$\begin{aligned}&u(x,0)=u_0(x),\; {\dot{u}}(x,0)=v_0(x) \quad {for\; a.e. \;x\in [0,\ell ]}, \end{aligned}$$
(4)
$$\begin{aligned}&\phi (x,0)=\phi _0(x) \quad {for \;a.e. \;x\in [0,\ell ]}, \end{aligned}$$
(5)
$$\begin{aligned}&\alpha (x,0)=\alpha _0(x),\; \theta (x,0)=\theta _0(x)\quad {for \;a.e.\; x\in [0,\ell ]}, \end{aligned}$$
(6)
$$\begin{aligned}&u(0,t)=u(\ell ,t)=0 \quad {for\; a.e.\; t\in (0,T)}, \end{aligned}$$
(7)
$$\begin{aligned}&\phi (0,t)=\phi (\ell ,t)=0 \quad {for\; a.e.\; t\in (0,T)}, \end{aligned}$$
(8)
$$\begin{aligned}&\theta (0,t)=\theta (\ell ,t)=0\quad {for\; a.e. \; t\in (0,T)}. \end{aligned}$$
(9)

In the rest of this paper we will assume the following conditions on the constitutive coefficients:

$$\begin{aligned} & \rho>0,\quad \tau>0,\quad c>0,\quad \mu>0,\quad \zeta>0, \\& \mu \xi>b^2, \quad \zeta \kappa>l^2,\quad \kappa ^*>0. \end{aligned}$$
(10)

We note that, from conditions (10), we obtain that \(\xi >0\) and \(\kappa >0\).

The aim of this paper is to study numerically Problem P and so, we first introduce its variational formulation. Therefore, let us define the Hilbert space \(Y=L^2(\Omega )\) with its scalar product \((\cdot ,\cdot )\) and the corresponding norm \(\Vert \cdot \Vert\). We also consider the variational space V as follows,

$$\begin{aligned} V=\{z \in H^1(0,\ell )\, ; \, z(0)=z(\ell )=0\}. \end{aligned}$$

The corresponding scalar product and norm are denoted by \((\cdot ,\cdot )_V\) and \(\Vert \cdot \Vert _V\), respectively.

Using integration by parts and the Dirichlet boundary conditions (7)–(9), we obtain the variational form of Problem P, written in terms of the temperature \(\theta\), the velocity field \(v={\dot{u}}\) and the volume fraction \(\phi\).

Problem VP. Find the velocity field \(v: [0,T]\rightarrow V\), the volume fraction \(\phi : [0,T]\rightarrow V\) and the temperature \(\theta : [0,T]\rightarrow V\) such that \(v(0)=v_0\), \(\phi (0)=\phi _0\), \(\theta (0)=\theta _0\),and, for a.e. \(t\in (0,T)\) and for all \(w,r,s\in V,\)

$$\begin{aligned}& \rho ({\dot{v}}(t),w) +\mu (u_x(t),w_x) \\&\quad =b(\phi _x(t),w)-\beta (\theta _x(t),w), \end{aligned}$$
(11)
$$\begin{aligned}& \tau ({\dot{\phi }}(t),r)+\zeta (\phi _x(t),r_x)+\xi (\phi (t),r) \\&\quad =-l(\alpha _x(t),r_x)-b(u_x(t),r)+m(\theta (t),r), \end{aligned}$$
(12)
$$\begin{aligned}& c({\dot{\theta }}(t),s)+\kappa (\alpha _x(t),s_x)+\kappa ^*(\theta _x(t),s_x) \\&\quad =-\left( l-\frac{m\zeta }{\tau }\right) (\phi _x(t),s_x)-\frac{m^2}{\tau } (\theta (t),s) \\&\qquad +\frac{lm}{\tau }(\alpha _x(t),s_x)-\beta (v_x(t),s)+\frac{mb}{\tau }(u_x(t),s) \\&\qquad +\frac{m\xi }{\tau }(\phi (t),s), \end{aligned}$$
(13)

where the displacement field u and the thermal displacement \(\alpha\) are obtained from the following equations:

$$\begin{aligned} u(t)=\int _0^t v(s)\, ds+u_0,\quad \alpha (t)=\int _0^t \theta (s)\, ds+\alpha _0. \end{aligned}$$
(14)

Proceeding as in [24] we can prove the following existence and uniqueness result.

Theorem 1

Let assumptions (10) hold. Then, there exists a unique solution to Problem VP with the following regularity:

$$\begin{aligned} u,\alpha \in C^1([0,T];V)\cap C^2([0,T];Y),\quad \phi \in C^1([0,T];V). \end{aligned}$$

Moreover, this solution is asymptotically stable; that is, if we define the energy of the system E as

$$\begin{aligned} E(t)& = \int _0^\ell \rho v^2(t)+\mu u_x^2(t)+c\theta ^2(t)+\zeta \phi _x^2(t)+\xi \phi ^2(t)\\&\quad +2bu_x(t)\phi (t)+2l\phi _x(t)\alpha _x(t)+\kappa \alpha _x^2(t)\, dx, \end{aligned}$$

then

$$\begin{aligned} E(t)\le Me^{-\omega t}E(0)\quad \forall t\ge 0, \end{aligned}$$

for given positive constants M and \(\omega\).

3 Numerical analysis of Problem VP: a priori error estimates

For the spatial approximation of Problem VP, we assume that the interval \([0,\ell ]\) is divided into M subintervals \(a_0=0<a_1<\cdots <a_M=\ell\) of length \(h=a_{i+1}-a_i=\ell /M\). Then, in order to approximate the variational space V, we construct the finite dimensional space \(V^h\subset V\) given by

$$\begin{aligned}&V^h=\{\xi ^h\in C([0,\ell ]) \; ; \; \xi ^h_{|_{[a_i,a_{i+1}]}}\in P_1([a_i,a_{i+1}]) \\&\qquad i=0,\ldots , M-1,\quad \xi ^h(0)=\xi ^h(\ell )=0\}, \end{aligned}$$
(15)

where \(P_1([a_i,a_{i+1}])\) represents the space of polynomials of degree less or equal to 1 in the subinterval \([a_i,a_{i+1}]\); i.e. the finite element space is composed of continuous and piecewise affine functions. Here, \(h>0\) denotes the spatial discretization parameter. Moreover, we assume that the discrete initial conditions, denoted by \(u_0^h, v_0^h, \phi _0^h, \alpha _0^h\) and \(\theta _0^h\) are given by

$$\begin{aligned}&u_0^h=P_{V^h} u_0,\quad v_0^h=P_{V^h}v_0,\quad \phi _0^h=P_{V^h}\phi _0, \\&\alpha _0^h=P_{V^h} \alpha _0,\quad \theta _0^h=P_{V^h} \theta _0. \end{aligned}$$
(16)

Here, \(P_{V^h}\) is the classical finite element interpolation operator over \(V^h\) (see [4]).

In order to provide the time discretization of Problem VP, we consider a uniform partition of the time interval [0, T], denoted by \(0=t_0<t_1<\cdots < t_N=T\), with constant step size \(k=T/N\) and nodes \(t_n=n\,k\) for \(n=0,1,\ldots ,N\). For a continuous function z(t), we use the notation \(z_n=z(t_n)\) and, for a sequence \(\{z_n\}\), let \(\delta z_n=(z_n-z_{n-1})/k\) be the divided differences.

Therefore, using the backward Euler scheme in time, the fully discrete approximation of VP is the following.

Problem VP \(^{hk }\). Find the discrete velocity field \(v^{hk}=\{v_n^{hk}\}_{n=0}^N\subset V^h\), the discrete volume fraction \(\phi ^{hk}=\{\phi _n^{hk}\}_{n=0}^N\subset V^h\) and the discrete temperature \(\theta ^{hk}=\{\theta _n^{hk}\}_{n=0}^N\subset V^h\) such that \(v_0^{hk}=v_0^h\), \(\phi _0^{hk}=\phi _0^h\), \(\theta _0^{hk}=\theta _0^h\), and, for \(n=1,\ldots ,N\) and for all \(w^h,r^h,s^h\in V^h\),

$$\begin{aligned}& \rho (\delta v_n^{hk},w^h) +\mu ((u_n^{hk})_x,w_x^h) \\&\quad =b((\phi _n^{hk})_x,w^h)-\beta ((\theta _n^{hk})_x,w^h), \end{aligned}$$
(17)
$$\begin{aligned}& \tau (\delta {\phi _n^{hk}},r^h)+\zeta ((\phi _n^{hk})_x,r_x^h)+\xi (\phi _n^{hk},r^h) \\& \quad =-l((\alpha _n^{hk})_x,r_x^h)-b((u_n^{hk})_x,r^h)+m(\theta _n^{hk},r^h), \end{aligned}$$
(18)
$$\begin{aligned}& c(\delta {\theta _n^{hk}},s^h)+\kappa ((\alpha _n^{hk})_x,s_x^h)+\kappa ^*((\theta _n^{hk})_x,s_x^h) \\&\quad =-\frac{m^2}{\tau } (\theta _n^{hk},s^h) -(l-\frac{m\zeta }{\tau })((\phi _n^{hk})_x,s_x^h) \\&\qquad +\frac{lm}{\tau }((\alpha _n^{hk})_x,s_x^h)-\beta ((v_n^{hk})_x,s^h) \\&\qquad +\frac{mb}{\tau }((u_n^{hk})_x,s^h)+\frac{m\xi }{\tau }(\phi _n^{hk},s^h), \end{aligned}$$
(19)

where the discrete displacement field \(u_n^{hk}\) and the discrete thermal displacement \(\alpha _n^{hk}\) are updated from the following equations:

$$\begin{aligned} u_n^{hk}=k \sum _{j=1}^n v_j^{hk}+u_0^h,\quad \alpha _n^{hk}=k \sum _{j=1}^n \theta _j^{hk}+\alpha _0^h. \end{aligned}$$
(20)

By using conditions (10) and applying the well-known Lax Milgram lemma, it is easy to show that Problem VP\(^{hk}\) has a unique discrete solution.

First, we will prove the discrete stability of the solutions to Problem VP\(^{hk}\).

Lemma 1

Under conditions (10), the sequences generated by Problem \(VP^{hk}\), denoted by \(\{u^{hk},v^{hk},\phi ^{hk},\alpha ^{hk},\theta ^{hk}\}\), satisfy the following estimate:

$$\begin{aligned} \Vert v_n^{hk}\Vert ^2+\Vert (u_n^{hk})_x\Vert ^2+\Vert \phi _n^{hk}\Vert ^2+ \Vert (\alpha _n^{hk})_x\Vert ^2+\Vert \theta _n^{hk}\Vert ^2\le C, \end{aligned}$$

where the positive constant C is independent of discretization parameters h and k.

Proof

Taking \(w^h=v_n^{hk}\) in discrete variational equation (17) we have

$$\begin{aligned}&\rho (\delta v_n^{hk},v_n^{hk}) +\mu ((u_n^{hk})_x,(v_n^{hk})_x)\\&\quad =b((\phi _n^{hk})_x,v_n^{hk})-\beta ((\theta _n^{hk})_x,v_n^{hk}), \end{aligned}$$

and therefore, keeping in mind that

$$\begin{aligned}&(\delta {v}_n^{hk},v_n^{hk})\ge \frac{1}{2k}\left\{ \Vert v_n^{hk}\Vert ^2-\Vert v_{n-1}^{hk}\Vert ^2\right\} ,\\&((u_n^{hk})_x,(v_n^{hk})_x)\ge \frac{1}{2k}\left\{ \Vert (u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}^{hk})_x\Vert ^2\right\} , \end{aligned}$$

it follows that

$$\begin{aligned}&\frac{\rho }{2k}\left\{ \Vert v_n^{hk}\Vert ^2-\Vert v_{n-1}^{hk}\Vert ^2\right\} +\frac{\mu }{2k}\left\{ \Vert (u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}^{hk})_x\Vert ^2\right\} \\&\quad \le C\Big (\Vert (\phi _n^{hk})_x\Vert ^2+\Vert v_n^{hk}\Vert ^2\Big )-\beta ((\theta _n^{hk})_x,v_n^{hk}). \end{aligned}$$

Now, taking \(r^h=\phi _n^{hk}\) in discrete variational equation (18) we find that

$$\begin{aligned}&\tau (\delta {\phi _n^{hk}},\phi _n^{hk})+\zeta ((\phi _n^{hk})_x,(\phi _n^{hk})_x)+\xi (\phi _n^{hk},\phi _n^{hk})\\&\quad =-l((\alpha _n^{hk})_x,(\phi _n^{hk})_x) -b((u_n^{hk})_x,\phi _n^{hk})+m(\theta _n^{hk},\phi _n^{hk}), \end{aligned}$$

and so, taking into account that

$$\begin{aligned} (\delta {\phi }_n^{hk},\phi _n^{hk})\ge \frac{1}{2k}\left\{ \Vert \phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}^{hk}\Vert ^2\right\} , \end{aligned}$$

we obtain

$$\begin{aligned}&\frac{1}{2k}\left\{ \Vert \phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}^{hk}\Vert ^2\right\} +C\Vert (\phi _n)_x\Vert ^2\\&\quad \le C\Big (\Vert (\alpha _n^{hk})_x\Vert ^2+\Vert (u_n^{hk})_x\Vert ^2+\Vert \theta _n^{hk}\Vert ^2\Big ). \end{aligned}$$

Finally, taking \(s^h=\theta _n^{hk}\) as a test function in discrete variational equation (19) we get

$$\begin{aligned}&c(\delta {\theta _n^{hk}},\theta _n^{hk})+\kappa ((\alpha _n^{hk})_x,(\theta _n^{hk})_x)+\kappa ^*((\theta _n^{hk})_x,(\theta _n^{hk})_x)\\&\quad =-\frac{m^2}{\tau } (\theta _n^{hk},\theta _n^{hk}) -(l-\frac{m\zeta }{\tau })((\phi _n^{hk})_x,(\theta _n^{hk})_x)\\&\qquad +\frac{lm}{\tau }((\alpha _n^{hk})_x,(\theta _n^{hk})_x)-\beta ((v_n^{hk})_x,\theta _n^{hk})\\&\qquad +\frac{mb}{\tau }((u_n^{hk})_x,\theta _n^{hk})+\frac{m\xi }{\tau }(\phi _n^{hk},\theta _n^{hk}), \end{aligned}$$

and therefore, keeping in mind that

$$\begin{aligned}&(\delta {\theta }_n^{hk},\theta _n^{hk})\ge \frac{1}{2k}\left\{ \Vert \theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}^{hk}\Vert ^2\right\} ,\\&((\alpha _n^{hk})_x,(\theta _n^{hk})_x)\ge \frac{1}{2k}\left\{ \Vert (\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}^{hk})_x\Vert ^2\right\} , \end{aligned}$$

we obtain

$$\begin{aligned}&\frac{c}{2k}\left\{ \Vert \theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}^{hk}\Vert ^2\right\} +\frac{\kappa }{2k}\left\{ \Vert (\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}^{hk})_x\Vert ^2\right\} \\&\quad \le C\Big (\Vert (\phi _n^{hk})_x\Vert ^2 +\Vert \theta _n^{hk}\Vert ^2 +\Vert (\alpha _n^{hk})_x\Vert ^2+\Vert (u_n^{hk})_x\Vert ^2\\&\qquad +\Vert \phi _n^{hk}\Vert ^2\Big )-\beta ((v_n^{hk})_x,\theta _n^{hk}). \end{aligned}$$

Combining the previous estimates and using the equality

$$\begin{aligned} -\beta ((v_n^{hk})_x,\theta _n^{hk})= \beta (v_n^{hk},(\theta _n^{hk})_x), \end{aligned}$$

we find that

$$\begin{aligned}&\frac{\rho }{2k}\left\{ \Vert v_n^{hk}\Vert ^2-\Vert v_{n-1}^{hk}\Vert ^2\right\} +\frac{\mu }{2k}\left\{ \Vert (u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}^{hk})_x\Vert ^2\right\} \\&\qquad +\frac{1}{2k}\left\{ \Vert \phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}^{hk}\Vert ^2\right\} +\frac{c}{2k}\left\{ \Vert \theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}^{hk}\Vert ^2\right\} \\&\qquad +\frac{\kappa }{2k}\left\{ \Vert (\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}^{hk})_x\Vert ^2\right\} \\&\quad \le C\Big (\Vert v_n^{hk}\Vert ^2+\Vert (\alpha _n^{hk})_x\Vert ^2+\Vert (u_n^{hk})_x\Vert ^2+\Vert \theta _n^{hk}\Vert ^2 +\Vert \phi _n^{hk}\Vert ^2 \Big ) . \end{aligned}$$

Summing up to n we have

$$\begin{aligned}&\Vert v_n^{hk}\Vert ^2+\Vert (u_n^{hk})_x\Vert ^2+\Vert \phi _n^{hk}\Vert ^2+\Vert \theta _n^{hk}\Vert ^2+\Vert (\alpha _n^{hk})_x\Vert ^2\\&\quad \le Ck\sum _{j=1}^n\Big (\Vert v_j^{hk}\Vert ^2+\Vert \theta _j^{hk}\Vert ^2+\Vert (\alpha _j^{hk})_x\Vert ^2+\Vert (u_j^{hk})_x\Vert ^2\\&\qquad +\Vert \phi _j^{hk}\Vert ^2 \Big )+C\Big (\Vert v_0^{h}\Vert ^2+\Vert (u_0^{h})_x\Vert ^2+\Vert \phi _0^{h}\Vert ^2+\Vert \theta _0^{h}\Vert ^2\\&\qquad +\Vert (\alpha _0^{h})_x\Vert ^2\Big ), \end{aligned}$$

and applying a discrete version of Gronwall’s inequality (see, for instance, [3]), it follows the stability property. \(\square\)

In the rest of this section, we will derive some a priori error estimates for the numerical errors. Therefore, we have the following.

Theorem 2

Let us denote by \((v,\phi ,\theta )\) and \((v^{hk},\phi ^{hk},\theta ^{hk})\) the solutions to problems VP and \(VP^{hk}\), respectively. Under the conditions of Lemma 1, then we have the following a priori error estimates, for all \(w^h=\{w_j^{h}\}_{j=0}^N\), \(r^h=\{r_j^{h}\}_{j=0}^N\) and \(s^h=\{s_j^{h}\}_{j=0}^N\subset V^h\),

$$\begin{aligned}& \max _{0\le n\le N}\Big \{ \Vert v_n-v_n^{hk}\Vert ^2+\Vert (u_n-u_n^{hk})_x\Vert ^2+\Vert \phi _n-\phi _n^{hk}\Vert ^2 \\&\quad + \Vert \theta _n-\theta _n^{hk}\Vert ^2+ \Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2\Big \} \\&\quad \le Ck\sum _{j=1}^N\Big ( \Vert {\dot{v}}_j-\delta v_j\Vert ^2+\Vert ({\dot{u}}_j-\delta u_j)_x\Vert ^2+\Vert v_j-w^h_j\Vert _V^2 \\&\quad +\Vert {\dot{\phi }}_j-\delta {\phi }_j\Vert ^2+\Vert \phi _j-r^h_j\Vert _V^2 + \Vert {\dot{\theta }}_j-\delta {\theta }_j\Vert ^2 \\&\quad +\Vert ({\dot{\alpha }}_j-\delta \alpha _j)_x\Vert ^2 +\Vert \theta _j-s^h_j\Vert _V^2\Big ) \\&\quad +C\max _{0\le n\le N}\Big (\Vert v_n-w_n^h\Vert ^2 +\Vert \phi _n-r_n^h\Vert ^2+\Vert \theta _n-s_n^h\Vert ^2\Big ) \\& \quad + \frac{C}{k}\sum _{j=1}^{N-1} \Big (\Vert v_j-w_j^h-(v_{j+1}-w_{j+1}^h)\Vert ^2 \\&\quad +\Vert \phi _j-r_j^h-(\phi _{j+1}-r_{j+1}^h)\Vert ^2 \\&\quad +\Vert \theta _j-s_j^h-(\theta _{j+1}-s_{j+1}^h)\Vert ^2\Big )+ C\Big (\Vert v_0-v_0^{h}\Vert ^2 \\&\quad +\Vert (u_0-u_0^{h})_x\Vert ^2+\Vert \phi _0-\phi _0^{h}\Vert ^2+\Vert \theta _0-\theta _0^{h}\Vert ^2 \\&\quad + \Vert (\alpha _0-\alpha _0^{h})_x\Vert ^2\Big ),\ \end{aligned}$$
(21)

where we have denoted \(\delta f_j=(f_j-f_{j-1})/k\) for a function \(f\in C ([0,T];Y)\).

Proof

First, we derive the estimates for the velocity field. By subtracting variational equation (11) at time \(t=t_n\) for \(w=w^h\in V^h\subset V\) and (17) it leads, for all \(w^h\in V^h\),

$$\begin{aligned}&\rho ({\dot{v}}_n-\delta v_n^{hk},w^h) +\mu ((u_n-u_n^{hk})_x,w_x^h)-b((\phi _n-\phi _n^{hk})_x,w^h)\\&\quad +\beta ((\theta _n-\theta _n^{hk})_x,w^h)=0, \end{aligned}$$

and therefore,

$$\begin{aligned}&\rho ({\dot{v}}_n-\delta v_n^{hk},v_n-v_n^{hk}) +\mu ((u_n-u_n^{hk})_x,(v_n-v_n^{hk})_x)\\&\qquad -b((\phi _n-\phi _n^{hk})_x,v_n-v_n^{hk}) +\beta ((\theta _n-\theta _n^{hk})_x,v_n-v_n^{hk})\\&\quad = \rho ({\dot{v}}_n-\delta v_n^{hk},v_n-w^h) +\mu ((u_n-u_n^{hk})_x,(v_n-w^h)_x)\\&\qquad -b((\phi _n-\phi _n^{hk})_x,v_n-w^h) +\beta ((\theta _n-\theta _n^{hk})_x,v_n-w^h). \end{aligned}$$

Taking into account that

$$\begin{aligned} &({\dot{v}}_n-\delta {v}_n^{hk},v_n-v_n^{hk})=({\dot{v}}_n-\delta {v}_n,v_n-v_n^{hk})\\ &\quad +(\delta {v}_n-\delta {v}_n^{hk},v_n-v_n^{hk})\\ &\quad \ge ({\dot{v}}_n-\delta {v}_n,v_n-v_n^{hk})\\ &\quad + \frac{1}{2k}\left\{ \Vert v_n-v_n^{hk}\Vert ^2-\Vert v_{n-1}-v_{n-1}^{hk}\Vert ^2\right\} ,\\ &((u_n-u_n^{hk})_x,(v_n-v_n^{hk})_x)=((u_n-u_n^{hk})_x,\\& \quad ({\dot{u}}_n-\delta u_n)_x)+ ((u_n-u_n^{hk})_x,(\delta u_n-\delta u_n^{hk})_x)\\ &\quad \ge ((u_n-u_n^{hk})_x,({\dot{u}}_n-\delta u_n)_x)\\ &\quad + \frac{1}{2k}\left\{ \Vert (u_n-u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}-u_{n-1}^{hk})_x\Vert ^2\right\} ,\\& \beta ((\theta _n-\theta _n^{hk})_x,v_n-w^h)=-\beta (\theta _n-\theta _n^{hk},(v_n-w^h)_x), \end{aligned}$$

we find that, for all \(w^h\in V^h\),

$$\begin{aligned} & \frac{\rho }{2k}\left\{ \Vert v_n-v_n^{hk}\Vert ^2-\Vert v_{n-1}-v_{n-1}^{hk}\Vert ^2\right\} +\beta ((\theta _n-\theta _n^{hk})_x,\\ &\qquad v_n-v_n^{hk})+ \frac{\mu }{2k}\left\{ \Vert (u_n-u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}-u_{n-1}^{hk})_x\Vert ^2\right\} \\ &\quad \le C\Big ( \Vert {\dot{v}}_n-\delta v_n\Vert ^2+\Vert ({\dot{u}}_n-\delta u_n)_x\Vert ^2 +\Vert (\phi _n-\phi _n^{hk})_x\Vert ^2\\& \qquad +\Vert v_n-v_n^{hk}\Vert ^2 +\Vert \theta _n-\theta _n^{hk}\Vert ^2+\Vert v_n-w^h\Vert _V^2\\ &\qquad +\Vert (u_n-u_n^{hk})_x\Vert ^2+(\delta {v}_n-\delta {v}_n^{hk},v_n-w^h)\Big ).\end{aligned}$$

Now, we obtain the error estimates on the volume fraction. Thus, we subtract variational equation (12) at time \(t=t_n\), for a test function \(r=r^h\in V^h\subset V\), and discrete variational equation (18) to obtain

$$\begin{aligned} &\tau ({\dot{\phi }}_n-\delta {\phi _n^{hk}},r^h)+\zeta ((\phi _n-\phi _n^{hk})_x,r_x^h)+\xi (\phi _n-\phi _n^{hk},r^h)\\ &\quad +l((\alpha _n-\alpha _n^{hk})_x,r_x^h) +b((u_n-u_n^{hk})_x,r^h)\\& \quad -m(\theta _n-\theta _n^{hk},r^h)=0, \end{aligned}$$

and therefore,

$$\begin{aligned} &\tau ({\dot{\phi }}_n-\delta {\phi _n^{hk}},\phi _n-\phi _n^{hk})+\zeta ((\phi _n-\phi _n^{hk})_x,(\phi _n-\phi _n^{hk})_x)\\ &\qquad +\xi (\phi _n-\phi _n^{hk},\phi _n-\phi _n^{hk}) +l((\alpha _n-\alpha _n^{hk})_x,(\phi _n-\phi _n^{hk})_x)\\ & \qquad +b((u_n-u_n^{hk})_x,\phi _n-\phi _n^{hk})-m(\theta _n-\theta _n^{hk},\phi _n-\phi _n^{hk})\\ &\quad = \tau ({\dot{\phi }}_n-\delta {\phi _n^{hk}},\phi _n-r^h)+\zeta ((\phi _n-\phi _n^{hk})_x,(\phi _n-r^h)_x)\\ &\qquad +\xi (\phi _n-\phi _n^{hk},\phi _n-r^h) +l((\alpha _n-\alpha _n^{hk})_x,(\phi _n-r^h)_x)\\ &\qquad +b((u_n-u_n^{hk})_x,\phi _n-r^h)-m(\theta _n-\theta _n^{hk},\phi _n-r^h). \end{aligned}$$

Taking into account that

$$\begin{aligned}&({\dot{\phi }}_n-\delta {\phi }_n^{hk},\phi _n-\phi _n^{hk})=({\dot{\phi }}_n-\delta {\phi }_n,\phi _n-\phi _n^{hk})\\&\quad +(\delta {\phi }_n-\delta {\phi }_n^{hk},\phi _n-\phi _n^{hk})\\&\quad \ge ({\dot{\phi }}_n-\delta {\phi }_n,\phi _n-\phi _n^{hk})\\&\quad + \frac{1}{2k}\left\{ \Vert \phi _n-\phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}-\phi _{n-1}^{hk}\Vert ^2\right\} , \end{aligned}$$

it follows that, for all \(r^h\in V^h\),

$$\begin{aligned} & \frac{1}{2k}\left\{ \Vert \phi _n-\phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}-\phi _{n-1}^{hk}\Vert ^2\right\} \\& \quad \le C\Big (\Vert \phi _n-\phi _n^{hk}\Vert ^2+\Vert {\dot{\phi }}_n-\delta {\phi }_n\Vert ^2+\Vert \phi _n-r^h\Vert _V^2 \\& \qquad +\Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2+\Vert (u_n-u_n^{hk})_x\Vert ^2+\Vert \theta _n-\theta _n^{hk}\Vert ^2\\ &\qquad + (\delta {\phi }_n-\delta {\phi }_n,\phi _n-r^h)\Big ). \end{aligned}$$

Finally, we get the error estimates on the temperature field. Thus, subtracting variational equation (13) at time \(t=t_n\) for a test function \(s=s^h\in V^h\subset V\) we have

$$\begin{aligned} & c({\dot{\theta }}_n-\delta {\theta _n^{hk}},s^h)+\kappa ((\alpha _n-\alpha _n^{hk})_x,s_x^h)\\& \quad +\kappa ^*((\theta _n-\theta _n^{hk})_x,s_x^h) -\frac{m^2}{\tau } (\theta _n-\theta _n^{hk},s^h)\\ &\quad +\left( l-\frac{m\zeta }{\tau }\right) ((\phi _n-\phi _n^{hk})_x,s_x^h)\\ &\quad-\frac{lm}{\tau }((\alpha _n-\alpha _n^{hk})_x,s_x^h) +\beta ((v_n-v_n^{hk})_x,s^h)\\&\quad -\frac{mb}{\tau }((u_n-u_n^{hk})_x,s^h)\\ &\quad -\frac{m\xi }{\tau }(\phi _n-\phi _n^{hk},s^h)=0, \end{aligned}$$

and therefore, for all \(s^h\in V^h\) it follows that

$$\begin{aligned} &c({\dot{\theta }}_n-\delta {\theta _n^{hk}},\theta _n-\theta _n^{hk})+\kappa ((\alpha _n-\alpha _n^{hk})_x,(\theta _n-\theta _n^{hk})_x)\\ &\qquad +\kappa ^*((\theta _n-\theta _n^{hk})_x,(\theta _n-\theta _n^{hk})_x)-\frac{m^2}{\tau } (\theta _n-\theta _n^{hk},\\&\qquad \theta _n-\theta _n^{hk})+\left( l-\frac{m\zeta }{\tau }\right) ((\phi _n-\phi _n^{hk})_x,(\theta _n-\theta _n^{hk})_x)\\& \qquad -\frac{lm}{\tau }((\alpha _n-\alpha _n^{hk})_x,(\theta _n-\theta _n^{hk})_x)\\ &\qquad +\beta ((v_n-v_n^{hk})_x,\theta _n-\theta _n^{hk})\\ &\qquad -\frac{mb}{\tau }((u_n-u_n^{hk})_x,\theta _n-\theta _n^{hk})\\ &\qquad -\frac{m\xi }{\tau }(\phi _n-\phi _n^{hk},\theta _n-\theta _n^{hk})\\ &\quad =c({\dot{\theta }}_n-\delta {\theta _n^{hk}},\theta _n-s^h)+\kappa ((\alpha _n-\alpha _n^{hk})_x,(\theta _n-s^h)_x) \\ &\qquad +\kappa ^*((\theta _n-\theta _n^{hk})_x,(\theta _n-s^h)_x) \\&\qquad -\frac{m^2}{\tau } (\theta _n-\theta _n^{hk},\theta _n-s^h)\\& \qquad +\left( l-\frac{m\zeta }{\tau }\right) ((\phi _n-\phi _n^{hk})_x,(\theta _n-s^h)_x)\\& \qquad -\frac{lm}{\tau }((\alpha _n-\alpha _n^{hk})_x,(\theta _n-s^h)_x)\\& \qquad +\beta ((v_n-v_n^{hk})_x,\theta _n-s^h)\\&\qquad -\frac{mb}{\tau }((u_n-u_n^{hk})_x,\theta _n-s^h)\\&\qquad -\frac{m\xi }{\tau }(\phi _n-\phi _n^{hk},\theta _n-s^h).\end{aligned}$$

Keeping in mind that

$$\begin{aligned}&({\dot{\theta }}_n-\delta {\theta }_n^{hk},\theta _n-\theta _n^{hk})=({\dot{\theta }}_n-\delta {\theta }_n,\theta _n-\theta _n^{hk})\\&\qquad +(\delta {\theta }_n-\delta {\theta }_n^{hk},\theta _n-\theta _n^{hk})\\&\quad \ge ({\dot{\theta }}_n-\delta {\theta }_n,\theta _n-\theta _n^{hk})\\&\qquad + \frac{1}{2k}\left\{ \Vert \theta _n-\theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}-\theta _{n-1}^{hk}\Vert ^2\right\} ,\\&((\alpha _n-\alpha _n^{hk})_x,(\theta _n-\theta _n^{hk})_x)=((\alpha _n-\alpha _n^{hk})_x,\\ &\qquad ({\dot{\alpha }}_n-\delta \alpha _n)_x)+ ((\alpha _n-\alpha _n^{hk})_x,(\delta \alpha _n-\delta \alpha _n^{hk})_x)\\&\quad \ge ((\alpha _n-\alpha _n^{hk})_x,({\dot{\alpha }}_n-\delta \alpha _n)_x)\\&\qquad + \frac{1}{2k}\left\{ \Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}-\alpha _{n-1}^{hk})_x\Vert ^2\right\} ,\\& \beta ((v_n-v_n^{hk})_x,\theta _n-s^h)=-\beta (v_n-v_n^{hk},(\theta _n-s^h)_x),\\& \beta ((v_n-v_n^{hk})_x,\theta _n-\theta _n^{hk})=-\beta (v_n-v_n^{hk},(\theta _n-\theta _n^{hk})_x), \end{aligned}$$

we obtain, for all \(s^h\in V^h\),

$$\begin{aligned} & \frac{c}{2k}\left\{ \Vert \theta _n-\theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}-\theta _{n-1}^{hk}\Vert ^2\right\} \\&\qquad + \frac{\kappa }{2k}\left\{ \Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}-\alpha _{n-1}^{hk})_x\Vert ^2\right\} \\& \qquad -\beta (v_n-v_n^{hk},(\theta _n-\theta _n^{hk})_x)\\& \quad \le C\Big (\Vert {\dot{\theta }}_n-\delta {\theta }_n\Vert ^2+\Vert ({\dot{\alpha }}_n-\delta \alpha _n)_x\Vert ^2+\Vert \theta _n-\theta _n^{hk}\Vert ^2 \\& \qquad +\Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2+\Vert \phi _n-\phi _n^{hk}\Vert ^2 +\Vert (u_n-u_n^{hk})_x\Vert ^2\\& \qquad +\Vert (\phi _n-\phi _n^{hk})_x\Vert ^2+\Vert \theta _n-s^h\Vert _V^2 +\Vert v_n-v_n^{hk}\Vert ^2\\& \qquad +(\delta {\theta }_n-\delta {\theta }_n^{hk},\theta _n-s^{h})\Big ). \end{aligned}$$

Combining the above estimates, we find, for all \(w^h,r^h,s^h\in V^h\),

$$\begin{aligned}&\frac{\rho }{2k}\left\{ \Vert v_n-v_n^{hk}\Vert ^2-\Vert v_{n-1}-v_{n-1}^{hk}\Vert ^2\right\} \\&\qquad + \frac{\mu }{2k}\left\{ \Vert (u_n-u_n^{hk})_x\Vert ^2-\Vert (u_{n-1}-u_{n-1}^{hk})_x\Vert ^2\right\} \\& \qquad +\frac{1}{2k}\left\{ \Vert \phi _n-\phi _n^{hk}\Vert ^2-\Vert \phi _{n-1}-\phi _{n-1}^{hk}\Vert ^2\right\} \\&\qquad +\frac{c}{2k}\left\{ \Vert \theta _n-\theta _n^{hk}\Vert ^2-\Vert \theta _{n-1}-\theta _{n-1}^{hk}\Vert ^2\right\} \\& \qquad + \frac{\kappa }{2k}\left\{ \Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2-\Vert (\alpha _{n-1}-\alpha _{n-1}^{hk})_x\Vert ^2\right\} \\& \quad \le C\Big ( \Vert {\dot{v}}_n-\delta v_n\Vert ^2+\Vert ({\dot{u}}_n-\delta u_n)_x\Vert ^2 +\Vert (\phi _n-\phi _n^{hk})_x\Vert ^2\\& \qquad +\Vert v_n-v_n^{hk}\Vert ^2+ \Vert \phi _n-\phi _n^{hk}\Vert ^2 +\Vert \theta _n-\theta _n^{hk}\Vert ^2\\& \qquad +\Vert v_n-w^h\Vert _V^2+\Vert (u_n-u_n^{hk})_x\Vert ^2\\&\qquad +(\delta {v}_n-\delta {v}_n^{hk},v_n-w^h)+\Vert {\dot{\phi }}_n-\delta {\phi }_n\Vert ^2 \\& \qquad +\Vert \phi _n-r^h\Vert _V^2 +\Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2\\& \qquad + (\delta {\phi }_n-\delta {\phi }_n,\phi _n-r^h) + \Vert {\dot{\theta }}_n-\delta {\theta }_n\Vert ^2\\& \qquad +\Vert ({\dot{\alpha }}_n-\delta \alpha _n)_x\Vert ^2+\Vert \theta _n-s^h\Vert _V^2\\&\qquad +(\delta {\theta }_n-\delta {\theta }_n^{hk},\theta _n-s^{h}) \Big ).\end{aligned}$$

Multiplying these estimates by k and summing up to n we get, for all \(\{w_j^h\}_{j=0}^n, \{r_j^h\}_{j=0}^n, \{s_j^h\}_{j=0}^n\subset V^h\),

$$\begin{aligned} & \Vert v_n-v_n^{hk}\Vert ^2+\Vert (u_n-u_n^{hk})_x\Vert ^2+\Vert \phi _n-\phi _n^{hk}\Vert ^2\\& \qquad +\Vert \theta _n-\theta _n^{hk}\Vert ^2+ \Vert (\alpha _n-\alpha _n^{hk})_x\Vert ^2\\& \quad \le Ck\sum _{j=1}^n\Big ( \Vert {\dot{v}}_j-\delta v_j\Vert ^2+\Vert ({\dot{u}}_j-\delta u_j)_x\Vert ^2 \\& \qquad +\Vert (\phi _j-\phi _j^{hk})_x\Vert ^2+\Vert v_j-v_j^{hk}\Vert ^2+ \Vert \phi _j-\phi _j^{hk}\Vert ^2 \\& \qquad +\Vert \theta _j-\theta _j^{hk}\Vert ^2+\Vert v_j-w^h_j\Vert _V^2+\Vert (u_j-u_j^{hk})_x\Vert ^2\\& \qquad +(\delta {v}_j-\delta {v}_j^{hk},v_j-w^h_j) +\Vert {\dot{\phi }}_j-\delta {\phi }_j\Vert ^2 \\ &\qquad +\Vert (\alpha _j-\alpha _j^{hk})_x\Vert ^2 +\Vert \phi _j-r^h_j\Vert _V^2 + \Vert {\dot{\theta }}_j-\delta {\theta }_j\Vert ^2\\& \qquad + (\delta {\phi }_j-\delta {\phi }_j,\phi _j-r^h_j) +\Vert \theta _j-s^h_j\Vert _V^2 \\& \qquad +\Vert ({\dot{\alpha }}_j-\delta \alpha _j)_x\Vert ^2 +(\delta {\theta }_j-\delta {\theta }_j^{hk},\theta _j-s^{h}_j) \Big )\\& \qquad + C\Big (\Vert v_0-v_0^{h}\Vert ^2+\Vert (u_0-u_0^{h})_x\Vert ^2+\Vert \phi _0-\phi _0^{h}\Vert ^2\\& \qquad +\Vert \theta _0-\theta _0^{h}\Vert ^2+ \Vert (\alpha _0-\alpha _0^{h})_x\Vert ^2\Big ). \end{aligned}$$

Taking into account that

$$\begin{aligned}&k\sum _{j=1}^n (\delta v_j-\delta v_j^{hk},v_j-w_j^h)\\&\quad =\sum _{j=1}^n (v_{j}-v_{j}^{hk}-(v_{j-1}-v_{j-1}^{hk}),v_j-w_j^h)\\&\quad =(v_n-v_n^{hk},v_n-w_n^h)+(v_0^{h}-v^0,v_1-w_1^h)\\&\qquad + \sum _{j=1}^{n-1} (v_j-v_j^{hk},v_j-w_j^h-(v_{j+1}-w_{j+1}^h)), \end{aligned}$$

where similar estimates are found for the corresponding terms involving the volume fraction and the temperature, we use a discrete version of Gronwall’s inequality (see again [3]) and we conclude a priori error estimates (21). \(\square\)

As a consequence of the above estimates, we can obtain the convergence order of the finite element approximation, assuming suitable regularity conditions on the solution to Problem VP. Hence, we have the following (see [3] for details regarding the approximation of several terms).

Corollary 1

Under the assumptions of Theorem 2and the additional regularity conditions:

$$\begin{aligned} u & \in H^3(0,T;Y)\cap W^{1,\infty }(0,T;H^2(0,\ell ))\\ &\quad \cap H^2(0,T;H^1(0,\ell )),\\ \theta ,\,\phi & \in H^2(0,T;Y)\cap L^{\infty }(0,T;H^2(0,\ell ))\\ &\quad \cap H^1(0,T;H^1(0,\ell )), \end{aligned}$$

we conclude the linear convergence of the approximations given by Problem \(VP^{hk}\); that is, there exists a constant \(C>0\), independent of parameters h and k, such that

$$\begin{aligned} & \max _{0\le n\le N}\Big \{ \Vert v_n-v_n^{hk}\Vert +\Vert (u_n-u_n^{hk})_x\Vert +\Vert \phi _n-\phi _n^{hk}\Vert \\& \quad +\Vert \theta _n-\theta _n^{hk}\Vert + \Vert (\alpha _n-\alpha _n^{hk})_x\Vert \Big \}\le C(h+k).\end{aligned}$$

4 Numerical results

In this section, we describe some numerical simulations to show the accuracy of the finite element approximation and the dependence on the solution with respect to the rate conductivity parameter. This last example will show the differences between type II and type III thermoelastic theories.

The numerical scheme was implemented on a 3.2 Ghz PC using MATLAB, and a typical run (using parameters \(h=k=0.01\)) took about 0.65 s of CPU time.

4.1 First example: numerical convergence

As a simpler example, in order to show the accuracy of the approximations we solve Problem P using the data:

$$\begin{aligned} & T=1, \quad \ell =1, \quad \rho =1, \quad \mu =2, \quad b=1, \quad \beta =1, \\& \tau =1,\quad \zeta =2, \quad \xi =2,\quad l=1,\quad m=1, \quad c=1, \\& \kappa =2, \quad \kappa ^*=1, \end{aligned}$$

the initial conditions, for \(x\in (0,1),\)

$$\begin{aligned} u_0(x)=v_0(x)=\phi _0(x)=\alpha _0(x)=\theta _0(x)=x(x-1), \end{aligned}$$

the boundary conditions, for \(t\in (0,1)\) and \(x=0,1\),

$$\begin{aligned} u(x,t)=\phi (x,t)=\alpha (x,t)=0, \end{aligned}$$

and the (artificial) supply terms, for \((x,t)\in (0,1)\times (0,1)\),

$$\begin{aligned}&F_1(x,t)=e^t(x(x-1)-2),\\&F_2(x,t)=e^t(2x+x(x-1)-5),\\&F_3(x,t)=e^t(x(x-1)-2). \end{aligned}$$

With the previous data and conditions, we can calculate the exact solution to Problem P and it has the following form, for \((x,t)\in [0,1]\times [0,1]\):

$$\begin{aligned} u(x,t)=\phi (x,t)=\theta (x,t)=e^tx(x-1). \end{aligned}$$

Thus, the approximation errors estimated by

$$\begin{aligned}&\max _{0\le n\le N}\Big \{ \Vert v_n-v_n^{hk}\Vert +\Vert (u_n-u_n^{hk})_x\Vert +\Vert \phi _n-\phi _n^{hk}\Vert \\& \quad +\Vert \theta _n-\theta _n^{hk}\Vert +\Vert (\alpha _n-\alpha _n^{hk})_x\Vert \Big \} \end{aligned}$$

are shown in Table 1 for several values of the discretization parameters h and k. Moreover, the evolution of the error depending on the parameter \(h+k\) is plotted in Fig. 1. We notice that the convergence of the algorithm is clearly proved, and the linear convergence, stated in Corollary 1, is achieved.

Table 1 Example 1: numerical errors for some h and k
Fig. 1
figure 1

Example 1: asymptotic constant error

If we assume now that there are not supply terms, and we use the final time \(T=20\), the following data

$$\begin{aligned} & \rho =1,\quad \ell =1, \quad b=4, \quad \beta =1, \quad \tau =1, \quad \zeta =2, \\ &\xi =1,\quad m=1,\quad c=1, \quad \kappa =4, \quad \kappa ^*=1, \end{aligned}$$

and the initial conditions, for \(x\in (0,1)\),

$$\begin{aligned} u_0=v_0=\phi _0=x(x-1),\quad \alpha _0=\theta _0=0, \end{aligned}$$

taking the time discretization parameter \(k=0.001\), the evolution in time of the discrete energy \(E_n^{hk}\) given by

$$\begin{aligned} E_n^{hk} &= \int _0^\ell \rho (v_n^{hk})^2+\mu (u_n^{hk})_x^2 +c(\theta _n^{hk})^2+\zeta (\phi _n^{hk})_x^2\\&\quad +\xi (\phi _n^{hk})^2 +\kappa (\alpha _n^{hk})^2_x + 2l(\phi _n^{hk})_x(\alpha _n^{hk})_x\, dx, \end{aligned}$$

is plotted in Fig. 2 (in both natural and semi-log scales) for several values of the elastic coefficient \(\mu\). As can be seen, it converges to zero and an exponential decay seems to be achieved for any value of the parameter.

Fig. 2
figure 2

Example 1: evolution in time of the discrete energy (natural and semi-log scales) for several values of \(\mu\)

4.2 Second example: dependence on the rate conductivity parameter \(\kappa ^*\)

As a second example, we study the dependence on the rate conductivity parameter \(\kappa ^*\). We note that the case \(\kappa ^*=0\) corresponds to the type II thermoelastic theory. We assume again that there are not supply terms, and we use final time \(T=35\), the following data:

$$\begin{aligned} & \ell =1,\quad \rho =10, \quad \mu =4,\quad b=1, \quad \beta =3, \quad \tau =1, \\ & \eta =2, \quad \xi =6,\quad m=1, \quad c=1, \quad \kappa =10, \end{aligned}$$

and the initial conditions, for \(x\in (0,1)\),

$$\begin{aligned} u_0(x)=0,\quad \phi _0(x)=\alpha _0(x)=x(x-1). \end{aligned}$$

Taking the discretization parameter \(k=0.001\), in Fig. 3 the displacements, the porosity and the temperature are shown at final time. We can clearly observe that, when parameter \(\kappa ^*\) increases, the displacement field seems to converge to zero, meanwhile both the porosity and the temperature seem to change its shape.

Moreover, the evolution in time of the discrete energy \(E_n^{hk}\) given above is plotted in Fig. 4 (in both natural and semi-log scales) for those values of \(\kappa ^*\). As can be seen, it always converges to zero and, after some time, an exponential decay seems to be achieved.

Fig. 3
figure 3

Example 2: displacements (upper left), porosity (upper right) and temperature (lower) at final time for some values of \(\kappa ^*\)

Fig. 4
figure 4

Example 2: evolution in time of the discrete energy (natural and semi-log scales) for some values of \(\kappa ^*\)

5 Conclusions

In this paper, we have studied, from the numerical point of view, a porous-elastic problem arising within the type II thermo-elastic theory. A fully discrete approximation has been introduced by using the finite element method and the implicit Euler scheme. A discrete stability property and some a priori error estimates have been proved, from which we have concluded the linear convergence of the approximation under suitable regularity conditions. Some numerical simulations have been performed to show the numerical convergence and the exponential decay of the discrete energy (Example 1). We have also included a comparison with the type II thermal law depending on the rate conductivity parameter (Example 2). Again, we have also demonstrated the exponential decay of the discrete energy for all the values of the parameter.