Structural stability for the Forchheimer equations interfacing with a Darcy fluid in a bounded region in $\mathbb{R}^{3}$

Abstract

The structural stability for the Forchheimer fluid interfacing with a Darcy fluid in a bounded region in $\mathbb{R}^{3}$ was studied. We assumed that the nonlinear fluid was governed by the Forchheimer equations in $\Omega _{1}$, while in $\Omega _{2}$, we supposed that the flow satisfies the Darcy equations. With the aid of some useful a priori bounds, we were able to demonstrate the continuous dependence results for the Forchheimer coefficient λ.

1 Introduction

Many papers in the literature studied the structural stability for the partial differential equations. They obtained the results of continuous dependence or convergence on the equations. Unlike the traditional stability study, they focused on the changes of the coefficients of the equations. This is to say, the structural stability mainly focuses on changes in the model itself, while the traditional stability focuses on the initial data. For a review of the nature of the structural stability, one could see the monograph of Ames and Straughan [3]. In continuum mechanics problems, it is important to obtain the continuous dependence result on the model itself. This problem is discussed for several different partial differential equations by Hirsch and Smale [8]. We usually want to know if a small change in the constructive coefficient in the equations themselves will lead to drastic changes in the solutions. If the answer is no, we can do further studies. It is very important for us to study the structural stability for the model.

There are many models that have been studied in a porous medium. Nield and Beijan [14] and Straughan [27, 28] discussed these models in their books. The authors of [2, 16, 17]studied these models in an unbounded domain and obtained some Saint-Venant-type results. They mainly focused on the studies of the Brinkman, Darcy, and Forchheimer equations in porous media.

Recently, some authors began to study the structural stability for equations in porous media. They obtained some continuous dependence results. For a review of these papers, one could see Payne and Straughan [19–22], Scott [23], Scott and Straughan [24], Straughan [26], Ames and Payne [1], Celebi, Kalantarov and Ugurlu [4, 5], Franchi and Straughan [6], Harfash [7], Kaloni and Guo [9], Li and Lin [10], Lin and Payne [11, 12], Payne, Song and Straughan [18], and Straughan and Hutter [30]. The Brinkman, Forchheimer, and Darcy equations are widely studied in these papers. They consider only one fluid in the domain. In reality, there typically exists more than one fluid in a domain. It is interesting to study two fluids interfacing with each other in one domain.

In [21], Payne and Straughan established the structural stability result for the Brinkman–Darcy interfacing equations. They studied the continuous dependence result for the interface boundary coefficient $\alpha _{1}$. We change the Brinkman equations to the Forchheimer equations. However, if we use the same method as in [21], we cannot obtain a similar result. Since the equations do not contain the term △u, it is difficult to deal with the nonlinear term $|u|u_{i}$. Recently, in [13] and [25], the authors studied the structural stability for the Forchheimer–Darcy interfacing problems in a bounded domain. In order to obtain their results, the authors obtained the results ${\mathop{\sup }_{ [ {0,\tau } ]} {{ \Vert T \Vert }_{\infty }}} \le T_{M}$ and ${\mathop{\sup }_{ [ {0,\tau } ]} {{ \Vert S \Vert }_{\infty }}} \le S_{M}$ for the temperatures T and S using the method proposed by Payne, Rodrigues, and Straughan in [15]. In the present paper, the equations for the temperatures are not the same as in [13] and [25]. We cannot get the same results by using the method proposed in [15]. We must seek a new method to get the results. How to get the maximum estimates and the related bounds for T and S is the biggest innovation of this paper. In our opinion, it is of great significance to study the structural stability for the Forchheimer–Darcy interfacing fluids.

The purpose of this paper is to study the manner in which a solution to a flow in a fluid which borders a porous medium depends on a coefficient in the Forchheimer equation. Thus, let an appropriate part of the plane $z=x_{3}=0$ denote the boundary between a porous medium occupying a bounded region $\Omega _{2}$ in $\mathbb{R}^{3}$ and a nonlinear fluid occupying a bounded region $\Omega _{1}$ in $\mathbb{R}^{3}$, and the governing equations be Forchheimer equations. We denote the interface by L, and further denote the remaining parts of the boundaries of $\Omega _{1}$ and $\Omega _{2}$ by $\Gamma _{1}$ and $\Gamma _{2}$. We also denote $\partial \Omega _{1}=\Gamma _{1}\cup L$ and $\partial \Omega _{2}=\Gamma _{2}\cup L$.

We are interested in the solution of the following initial-boundary value problem. The governing equations for Forchheimer flow are (see [29])

$$ \textstyle\begin{cases} \frac{{\partial {u_{i}}}}{{\partial t}}= - \lambda \vert u \vert {u_{i}} - {p_{,i}} + {g_{i}}T , \\ \frac{{\partial {u_{i}}}}{{\partial {x_{i}}}} = 0, \\ \frac{{\partial T}}{{\partial t}} + {u_{i}} \frac{{\partial T}}{{\partial {x_{i}}}} = \kappa \Delta T + Q, \end{cases} $$

(1.1)

where ${u_{i}}$, p, and T are the velocity, pressure, and temperature, κ is the thermal diffusivity. Here ${g_{i}} ( x )$ are gravity vector functions, and $Q ( x,t )$ is a prescribed heat source. We assume that ${g_{i}}$ satisfy $\vert g \vert \le {G_{1}}$. Here also Δ is the Laplace operator.

Equations (1.1) hold in the region ${\Omega _{1}} \times [ {0,\tau } ]$, where $\Omega _{1}$ is a bounded, simply connected, and star-shaped domain with boundary $\partial {\Omega _{1}}$ in $\mathbb{R}^{3}$, and τ is a given number satisfying $0 \le \tau < \infty$.

The Darcy equations governing the flow are (see [27])

$$ \textstyle\begin{cases} v_{i}=-q_{,i}+g_{i}S, \\ \frac{\partial v_{i}}{\partial x_{i}}=0, \\ \frac{\partial S}{\partial t}+v_{i}\frac{\partial S}{\partial x_{i}}= \kappa \Delta S+Q_{s}, \end{cases} $$

(1.2)

where ${v_{i}}$, q, and S are the velocity, pressure, and temperature, while $Q_{s} ( x,t )$ is a prescribed heat source.

Equations (1.2) hold in the region ${\Omega _{2}} \times [ {0,\tau } ]$, where $\Omega _{2}$ is a bounded, simply connected, and star-shaped domain with boundary $\partial {\Omega _{2}}$ in $\mathbb{R}^{3}$, and τ is a given number satisfying $0 \le \tau < \infty$.

We impose the boundary and initial conditions as follows:

$$ \textstyle\begin{cases} {u_{i}} = 0,T = {T_{U}} ( {x,t} ),&(x,t) \in {\Gamma _{1}} \times [0,\tau ], \\ {v_{i}}{n_{i}} = 0,S = {S_{U}} ( {x,t} ),&(x,t) \in { \Gamma _{2}} \times [0,\tau ]. \end{cases} $$

(1.3)

We assume further that

$$ \textstyle\begin{cases} {u_{i}} ( {x,0} ) = {f_{i}} ( x ),\qquad T(x,0)=T_{0}(x), & x \in \Omega _{1}, \\ S(x,0)=S_{0}(x),& x\in \Omega _{2}. \end{cases} $$

(1.4)

Finally, the interfacing conditions are taken from [21] as

$$ \textstyle\begin{cases} u_{3}=v_{3},\qquad T=S,\qquad T_{,3}= S_{,3}, \\ q = p \end{cases} $$

(1.5)

on $L \times \{ {t > 0} \}$.

In the next section, we will derive some a priori bounds which will be used in deriving our main results. In Sect. 3, the convergence results for the Forchheimer coefficient are obtained.

In this present paper, the comma is used to indicate differentiation, and the differentiation with respect to the direction $x_{k}$ is denoted as “,k”, thus ${u_{,i}}$ denotes $\frac{{\partial u}}{{\partial {x_{i}}}}$. Hence, ${u_{i,i}} = \sum_{i = 1}^{3} { \frac{{\partial {u_{i}}}}{{\partial {x_{i}}}}}$.

2 A priori bounds

We now begin to derive a priori bounds for both T and S.

First, we introduce the function H, which takes the same boundary values as T:

$$ \textstyle\begin{cases} \Delta H = {H_{,t}},& ( {x,t} ) \in {\Omega _{1}} \times [ {0,\tau } ], \\ H ( {x,0} ) = {T_{0}} ( x ),& x \in {\Omega _{1}}, \\ H ( {x,t} ) = {T_{U}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{1}} \times [ {0,\tau } ], \\ {H_{,t}} ( {x,t} ) = {T_{U,t}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{1}} \times [ {0,\tau } ]. \end{cases} $$

(2.1)

Next, we introduce the function I, which takes the same boundary values as S:

$$ \textstyle\begin{cases} \Delta I = {I_{,t}},& ( {x,t} ) \in {\Omega _{2}} \times [ {0,\tau } ], \\ I ( {x,0} ) = {S_{0}} ( x ),& x \in {\Omega _{2}}, \\ I ( {x,t} ) = {S_{U}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{2}} \times [ {0,\tau } ], \\ {I_{,t}} ( {x,t} ) = {S_{U,t}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{2}} \times [ {0,\tau } ]. \end{cases} $$

(2.2)

On $L \times \{ {t > 0} \}$,we let

$$ \textstyle\begin{cases} H = I, \\ {H_{,i}} = {I_{,i}},\qquad {H_{,t}} = {I_{,t}}. \end{cases} $$

(2.3)

If we let

$$ F = \textstyle\begin{cases} H,& ( {x,t} ) \in {\Omega _{1}} \times [ {0,\tau } ], \\ I,& ( {x,t} ) \in {\Omega _{2}} \times [ {0,\tau } ], \end{cases} $$

(2.4)

we get

$$ \textstyle\begin{cases} \Delta F = {F_{,t}},\quad ( {x,t} ) \in \Omega \times [ {0,\tau } ], \\ F ( {x,t} ) = \textstyle\begin{cases} {T_{U}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{1}} \times [ {0,\tau } ], \\ {S_{U}} ( {x,t} ),& ( {x,t} ) \in {\Gamma _{2}} \times [ {0,\tau } ], \end{cases}\displaystyle \\ F ( {x,0} ) = \textstyle\begin{cases} {T_{0}} ( x ),& x \in {\Omega _{1}}, \\ {S_{0}} ( x ),& x \in {\Omega _{2}}. \end{cases}\displaystyle \end{cases} $$

(2.5)

If we let

$$ \begin{aligned} {F_{M}} = \max \Bigl\{ { \sup_{{\Omega _{1}}} {T_{0}}, \sup_{{\Omega _{2}}} {S_{0}},\sup_{{\Gamma _{1}} \times [ {0, \tau } ]} {T_{U}},\sup _{{\Gamma _{2}} \times [ {0,\tau } ]} {S_{U}}} \Bigr\} , \end{aligned} $$

(2.6)

we know by maximum principle that $\vert F \vert \le {F_{M}}$.

The following lemmas will be used in deriving our main result.

Lemma 1

For the temperatures T and S, we have the following estimates:

$$\begin{aligned} & \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{2}}} {{S^{2}}\,dx} + \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + \kappa \int _{0}^{t} { \int _{{\Omega _{2}}} {{S_{,i}} {S_{,i}}\,dx} \,d \eta } \\ & \quad \le 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } + \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } \\ &\qquad {}+ \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{2}}} {{v_{i}} {v_{i}}\,dx} \,d \eta } +4 \int _{{\Omega _{1}}} {{H^{2}}\,dx} + 2 \int _{0}^{t} { \int _{{ \Omega _{1}}} {{H^{2}}\,dx} \,d \eta } \\ &\qquad {} + 2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,i}}H_{,i} \,dx} \,d \eta } + 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,\eta }} {H_{, \eta }}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2}}\,dx} \,d \eta } \\ &\qquad {}+ 4 \int _{{\Omega _{2}}} {{I^{2}}\,dx} + 2 \int _{0}^{t} { \int _{{ \Omega _{2}}} {{I^{2}}\,dx} \,d \eta } + 2\kappa \int _{0}^{t} { \int _{{ \Omega _{2}}} {{I_{,i}}I_{,i} \,dx} \,d \eta } \\ &\qquad {} + 2 \int _{0}^{t} { \int _{{\Omega _{2}}} {{I_{,\eta }} {I_{,\eta }}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2}\,dx} \,d \eta } . \end{aligned}$$

(2.7)

Proof

Multiplying (1.1)₃ by $2(T - H )$ and integrating over ${\Omega _{1}} \times [ {0,t} ]$, we find

$$ \begin{aligned}[b] & 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}}T{T_{,i}}\,dx} \,d \eta } - 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}}H{T_{,i}}\,dx} \,d \eta } \\ &\quad = 2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} )\Delta T\,dx} \,d \eta } + 2 \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} )Q\,dx} \,d \eta } \\ &\qquad {} -2 \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} ){T_{, \eta }}\,dx} \,d \eta } . \end{aligned} $$

(2.8)

For the first function on the left-hand side of (2.8), using the divergence theorem and equations (1.4), (2.1), we find

$$ \begin{aligned}[b] 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}}T{T_{,i}}\,dx} \,d \eta } &= \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {{ \bigl( {{T^{2}}} \bigr)}_{,i}}\,dx} \,d \eta } = \int _{0}^{t} { \int _{L} {{T^{2}} {u_{3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } \\ &= - \int _{0}^{t} { \int _{L} {{S^{2}} {v_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } . \end{aligned} $$

(2.9)

For the second function on the left-hand side of (2.8), we have

$$ \begin{aligned} 2 \biggl\vert { \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}}H{T_{,i}}\,dx} \,d \eta } } \biggr\vert \le \frac{{2F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } + \frac{\kappa }{2} \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } . \end{aligned} $$

(2.10)

For the first function on the right-hand side of (2.8), using the divergence theorem and equations (1.3), (1.5), and (2.1), we get

$$ \begin{aligned}[b] &2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} )\Delta T\,dx} \,d \eta } \\ &\quad = 2\kappa \int _{0}^{t} { \int _{L} {T{T_{,3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } - 2\kappa \int _{0}^{t} { \int _{L} {H{T_{,3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } \\ &\qquad {}- 2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + 2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,i}}T_{,i} \,dx} \,d \eta } \\ &\quad \le - 2\kappa \int _{0}^{t} { \int _{L} {S{S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } + 2\kappa \int _{0}^{t} { \int _{L} {I{S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {} - \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,i}}H_{,i} \,dx} \,d \eta } . \end{aligned} $$

(2.11)

For the second function on the right-hand side of (2.8), we get

$$ \begin{aligned}[b] &2 \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} )Q\,dx} \,d \eta } \\ &\quad \le 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2}}\,dx} \,d \eta } + \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2}}\,dx} \,d \eta } . \end{aligned} $$

(2.12)

For the third function on the right-hand side of (2.8), using equations (1.4) and (2.1), we find

$$ \begin{aligned}[b] &{-} 2 \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} ){T_{,\eta }}\,dx} \,d \eta } \\ &\quad =2 \int _{0}^{t} { \int _{{\Omega _{1}}} { ( {T - H} )_{, \eta }{T}\,dx} \,d \eta }-2 \int _{{\Omega _{1}}} { ( {T - H} ){T}\,dx} \\ &\quad \leq - \int _{{\Omega _{1}}} {{T^{2}}\,dx}- \int _{{\Omega _{1}}} {{T_{0}^{2}}\,dx} + 2 \int _{{\Omega _{1}}} {HTdx} - 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,\eta }}T\,dx} \,d \eta } \\ &\quad \le - \int _{{\Omega _{1}}} {{T_{0}^{2}}\,dx} - \frac{1}{2} \int _{{\Omega _{1}}} {{T^{2}}\,dx} + 2 \int _{{\Omega _{1}}} {{H^{2}}\,dx} + \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,\eta }} {H_{,\eta }}\,dx} \,d \eta } \\ &\qquad {} + \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } . \end{aligned} $$

(2.13)

Combining (2.8)–(2.13), we obtain

$$ \begin{aligned}[b] & \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + 4\kappa \int _{0}^{t} { \int _{L} {S{S_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {}- 4\kappa \int _{0}^{t} { \int _{L} {I{S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\quad \le 2 \int _{0}^{t} { \int _{L} {{S^{2}} {v_{3}}n_{3}^{ ( 2 )}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } \\ &\qquad {}+ 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2}}\,dx} \,d \eta } + 4 \int _{{ \Omega _{1}}} {{H^{2}}\,dx} + 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2}}\,dx} \,d \eta } \\ &\qquad {}+ 2\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,i}}H_{,i} \,dx} \,d \eta } + 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,\eta }} {H_{, \eta }}\,dx} \,d \eta } . \end{aligned} $$

(2.14)

Similarly, we get

$$ \begin{aligned}[b] & \int _{{\Omega _{2}}} {{S^{2}}\,dx} + \kappa \int _{0}^{t} { \int _{{\Omega _{2}}} {{S_{,i}} {S_{,i}}\,dx} \,d \eta } - 4\kappa \int _{0}^{t} { \int _{L} {S{S_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {}+ 4\kappa \int _{0}^{t} { \int _{L} {I{S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\quad \le - 2 \int _{0}^{t} { \int _{L} {{S^{2}} {v_{3}}n_{3}^{ ( 2 )}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } + \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{2}}} {{v_{i}} {v_{i}}\,dx} \,d \eta } \\ &\qquad {}+ 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2}\,dx} \,d \eta } +{4} \int _{{\Omega _{2}}} {{I^{2}}\,dx} + 2 \int _{0}^{t} { \int _{{\Omega _{2}}} {{I^{2}}\,dx} \,d \eta } \\ &\qquad {}+ 2\kappa \int _{0}^{t} { \int _{{\Omega _{2}}} {{I_{,i}}I_{,i} \,dx} \,d \eta } + 2 \int _{0}^{t} { \int _{{\Omega _{2}}} {{I_{,\eta }} {I_{, \eta }}\,dx} \,d \eta } . \end{aligned} $$

(2.15)

Combining (2.14) and (2.15), we can get the desired result (2.7). □

Lemma 2

If

$$\begin{aligned}& {F_{1}} ( t ) = \int _{{\Omega _{1}}} {{H_{,i}}{H_{,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{,i}}{I_{,i}}\,dx} ,\\& \begin{aligned} {D_{1}} ( t ) ={}& \biggl( {\int _{{\Omega _{1}}} {{T_{0,i}}{T_{0,i}}\,dx} + \int _{{ \Omega _{2}}} {{S_{0,i}}{S_{0,i}}\,dx} } \biggr) \\ &{}+ \biggl( { \frac{4}{d} + \frac{8}{m}} \biggr) \biggl( {\int _{0}^{t} {\int _{{ \Gamma _{1}}} {{{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} \,d \eta } + \int _{0}^{t} {\int _{{\Gamma _{2}}} {{{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} \,d \eta } } \biggr) \\ &{} + \frac{{{d^{2}}}}{{4m}} \biggl( \int _{0}^{t} {\int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} \,d \eta } + \int _{0}^{t} {\int _{{ \Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} \,d \eta } \biggr) , \end{aligned} \end{aligned}$$

we have

$$ \begin{aligned} {F_{1}} ( t ) \le {D_{1}} ( t ) + \frac{4}{{{d^{2}}}} \int _{0}^{t} {{D_{1}} ( \eta ){e^{ \frac{4}{{{d^{2}}}} ( {t - \eta } )}}\,d \eta } = {m_{1}} ( t ), \end{aligned} $$

(2.16)

where m and d are positive constants to be defined later.

Proof

Start with the identity

$$ \begin{aligned} 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,i}}\Delta H\,dx} = 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,i}} {H_{,t}}\,dx} . \end{aligned} $$

(2.17)

For the first function on the left-hand side of (2.17), using the divergence theorem and equations (2.1), (2.3), we get

$$ \begin{aligned}[b] &2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,i}}\Delta H\,dx} \\ &\quad = 2 \int _{{\Gamma _{1}}} {{x_{i}} {H_{,i}} {H_{,j}} {n_{j}}\,dS} + 2 \int _{L} {{x_{i}} {H_{,i}} {H_{,3}}n_{3}^{ ( 1 )}\,dS} \\ &\qquad {}- 2 \int _{{ \Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} - 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,ij}} {H_{,j}}\,dx} \\ &\quad = 2 \int _{{\Gamma _{1}}} {{x_{i}} {H_{,i}} {H_{,j}} {n_{j}}\,dS} - 2 \int _{L} {{x_{i}} {I_{,i}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} \\ &\qquad {}- 2 \int _{{ \Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} - 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,ij}} {H_{,j}}\,dx} . \end{aligned} $$

(2.18)

For the fourth function on the right-hand side of (2.18), using the divergence theorem and equations (2.1), (2.3), we get

$$ \begin{aligned}[b] {-} 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,ij}} {H_{,j}}\,dx} & = 3 \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} - \int _{{\Gamma _{1}}} {{x_{i}} {H_{,j}} {H_{,j}} {n_{i}}\,dS} - \int _{L} {{H_{,j}} {H_{,j}} {x_{3}}n_{3}^{ ( 1 )}\,dS} \\ & = 3 \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} - \int _{{\Gamma _{1}}} {{x_{i}} {H_{,j}} {H_{,j}} {n_{i}}\,dS} + \int _{L} {{I_{,j}} {I_{,j}} {x_{3}}n_{3}^{ ( 2 )}\,dS} . \end{aligned} $$

(2.19)

For the first function on the right-hand side of (2.17), we get

$$ \begin{aligned}[b] 2 \int _{{\Omega _{1}}} {{x_{i}} {H_{,i}} {H_{,t}}\,dx} &\le 2 \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{1}{2} \int _{{ \Omega _{1}}} {{x_{i}} {x_{i}} {H_{,t}} {H_{,t}}\,dx} \\ &\le 2 \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx}, \end{aligned} $$

(2.20)

where ${d^{2}} = \mathop{\max }_{\Omega }{x_{i}}{x_{i}}$.

Combining (2.17)–(2.20), we obtain

$$ \begin{aligned}[b] &2 \int _{{\Gamma _{1}}} {{x_{i}} {H_{,i}} {H_{,j}} {n_{j}}\,dS} - \int _{{\Gamma _{1}}} {{x_{i}} {H_{,j}} {H_{,j}} {n_{i}}\,dS} + \int _{L} {{I_{,j}} {I_{,j}} {x_{3}}n_{3}^{ ( 2 )}\,dS} \\ & \quad \le \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} + 2 \int _{L} {{x_{i}} {I_{,i}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} . \end{aligned} $$

(2.21)

Similarly, we get

$$ \begin{aligned}[b] &2 \int _{{\Gamma _{2}}} {{x_{i}} {I_{,i}} {I_{,j}} {n_{j}}\,dS} - \int _{{\Gamma _{2}}} {{x_{i}} {I_{,j}} {I_{,j}} {n_{i}}\,dS} - \int _{L} {{I_{,j}} {I_{,j}} {x_{3}}n_{3}^{ ( 2 )}\,dS} \\ &\quad \le \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} - 2 \int _{L} {{x_{i}} {I_{,i}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} . \end{aligned} $$

(2.22)

Combining (2.21) and (2.22), we obtain

$$ \begin{aligned}[b] &2 \int _{{\Gamma _{1}}} {{x_{i}} {H_{,i}} {H_{,j}} {n_{j}}\,dS} + 2 \int _{{\Gamma _{2}}} {{x_{i}} {I_{,i}} {I_{,j}} {n_{j}}\,dS} - \int _{{ \Gamma _{1}}} {{x_{i}} {H_{,j}} {H_{,j}} {n_{i}}\,dS} - \int _{{\Gamma _{2}}} {{x_{i}} {I_{,j}} {I_{,j}} {n_{i}}\,dS} \\ &\quad \le \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} . \end{aligned} $$

(2.23)

Since

$$ {H_{,i}} = \frac{{\partial H}}{{\partial n}}{n_{i}} + {s_{i}} { \nabla _{s}}H,\qquad {I_{,i}} = \frac{{\partial I}}{{\partial n}}{n_{i}} + {s_{i}} { \nabla _{s}}I, $$

(2.24)

where n and s are the normal and tangential vectors to ∂Ω, respectively, and ${\nabla _{s}}H$ and ${\nabla _{s}}I$ are the tangential derivatives, we have

$$ \begin{aligned}[b] & \int _{{\Gamma _{1}}} {{x_{i}} {n_{i}} {{ \biggl( { \frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} + \int _{{ \Gamma _{2}}} {{x_{i}} {n_{i}} {{ \biggl( { \frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} \\ &\quad \le \int _{{\Gamma _{1}}} {{x_{i}} {n_{i}} {{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} - 2 \int _{{\Gamma _{1}}} {{x_{i}} {s_{i}} {\nabla _{s}}H \frac{{\partial H}}{{\partial n}}\,dS} + \int _{{\Gamma _{2}}} {{x_{i}} {n_{i}} {{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} \\ &\qquad {}- 2 \int _{{\Gamma _{2}}} {{x_{i}} {s_{i}} {\nabla _{s}}I \frac{{\partial I}}{{\partial n}}\,dS} + \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} \\ &\qquad {}+ \frac{{{d^{2}}}}{2} \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} . \end{aligned} $$

(2.25)

We know Ω is star-shaped with respect to the region and, setting $m = \mathop{\min }_{\partial \Omega } {x_{i}}{n_{i}} > 0$, we then obtain

$$ \begin{aligned}[b] &m \int _{{\Gamma _{1}}} {{{ \biggl( { \frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} + m \int _{{ \Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} \\ &\quad \le \biggl( {d + \frac{{2{d^{2}}}}{m}} \biggr) \int _{{\Gamma _{1}}} {{{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} + \frac{m}{2} \int _{{ \Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} \\ &\qquad {}+ \biggl( {d + \frac{{2{d^{2}}}}{m}} \biggr) \int _{{\Gamma _{2}}} {{{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} + \frac{m}{2} \int _{{ \Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS}+ \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} \\ &\qquad {}+ \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} + \frac{{{d^{2}}}}{2} \int _{{ \Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} . \end{aligned} $$

(2.26)

Multiplying (2.1)₁ by $2{H_{,t}}$ and integrating over ${\Omega _{1}}$, we find

$$ \begin{aligned}[b] &2 \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} \\ &\quad = 2 \int _{{\Omega _{1}}} {{H_{,t}}\Delta H\,dx} = 2 \int _{{\Gamma _{1}}} {{T_{U,t}}\frac{{\partial H}}{{\partial n}}\,dS} + 2 \int _{L} {{H_{,t}} {H_{,3}}n_{3}^{ ( 1 )}\,dS} - 2 \int _{{\Omega _{1}}} {{H_{,it}} {H_{,i}}\,dx} \\ &\quad \le \frac{{{d^{2}}}}{{2m}} \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} + \frac{{2m}}{{{d^{2}}}} \int _{{\Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} - 2 \int _{L} {{I_{,t}} {I_{,3}}n_{3}^{ ( 2 )}\,dS}\\ &\qquad {} - \frac{d}{{dt}} \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} . \end{aligned} $$

(2.27)

Similarly, we get

$$ \begin{aligned}[b] 2 \int _{{\Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx}\le{}& \frac{{{d^{2}}}}{{2m}} \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} + \frac{{2m}}{{{d^{2}}}} \int _{{\Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} \\ &{}+ 2 \int _{L} {{I_{,t}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} - \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} . \end{aligned} $$

(2.28)

Combining (2.26)–(2.28), we obtain

$$\begin{aligned} &\frac{d}{{dt}} \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} \\ &\quad \le \frac{4}{{{d^{2}}}} \biggl( { \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} } \biggr) + \biggl( { \frac{4}{d} + \frac{8}{m}} \biggr) \biggl( { \int _{{\Gamma _{1}}} {{{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} } \biggr) \\ &\qquad {}+ \frac{{{d^{2}}}}{{4m}} \biggl( { \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} } \biggr). \end{aligned}$$

(2.29)

Therefore, integrating (2.29) yields

$$ \begin{aligned} {F_{1}} ( t ) \le {D_{1}} ( t ) + \frac{4}{{{d^{2}}}} \int _{0}^{t} {{F_{1}} ( \eta )\,d \eta } . \end{aligned} $$

(2.30)

Gronwall inequality now implies (2.16). □

Lemma 3

For the functions H and I, we have the following estimates:

$$ \begin{aligned} \int _{0}^{t} { \int _{{\Omega _{1}}} {{H_{,\eta }} {H_{, \eta }}\,dx} \,d \eta } + \int _{0}^{t} { \int _{{\Omega _{2}}} {{I_{,\eta }} {I_{, \eta }}\,dx} \,d \eta } &\le m_{3}(t), \end{aligned} $$

(2.31)

where $m_{3}(t)=\frac{{{d^{2}}{m_{2}} ( t )}}{{2m}} + \frac{1}{2} ( {\int _{{\Omega _{1}}} {{H_{0,i}}{H_{0,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{0,i}}{I_{0,i}}\,dx} } )+ \frac{m}{{2{d^{2}}}} ( \int _{0}^{t} {\int _{{\Gamma _{1}}} {{{ ( {\frac{{\partial H}}{{\partial n}}} )}^{2}}\,dS} \,d \eta } + \int _{0}^{t} {\int _{{\Gamma _{2}}} {{{ ( { \frac{{\partial I}}{{\partial n}}} )}^{2}}\,dS} \,d \eta } )$.

Proof

Multiplying (2.1)₁ by $2{H_{,t}}$ and integrating over ${\Omega _{1}}$, we find

$$ \begin{aligned}[b] 2\int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} ={} & 2 \int _{{\Omega _{1}}} {{H_{,t}}\Delta H\,dx} \\ ={}& 2 \int _{{\Gamma _{1}}} {{T_{U,t}}\frac{{\partial H}}{{\partial n}}\,dS} + 2 \int _{L} {{H_{,t}} {H_{,3}}n_{3}^{ ( 1 )}\,dS} - 2 \int _{{\Omega _{1}}} {{H_{,it}} {H_{,i}}\,dx} \\ \le{}& \frac{{{d^{2}}}}{{m}} \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} + \frac{{m}}{{{d^{2}}}} \int _{{\Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} \\ &{}- 2 \int _{L} {{I_{,t}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} - \frac{d}{{dt}} \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} . \end{aligned} $$

(2.32)

Similarly, we get

$$ \begin{aligned}[b] &2 \int _{{\Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} \\ &\quad \le \frac{{{d^{2}}}}{{m}} \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} + \frac{{m}}{{{d^{2}}}} \int _{{\Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} + 2 \int _{L} {{I_{,t}} {I_{,3}}n_{3}^{ ( 2 )}\,dS} - \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} . \end{aligned} $$

(2.33)

Combining (2.26), (2.32), and (2.33), we obtain

$$ \begin{aligned}[b] & \biggl( { \int _{{\Gamma _{1}}} {{{ \biggl( { \frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} + \int _{{ \Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} } \biggr) + \frac{{{d^{2}}}}{m} \biggl( { \frac{d}{{dt}} \int _{{ \Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} } \biggr) \\ &\quad \le \frac{4}{m} \biggl( { \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} } \biggr) + \frac{{{d^{4}}}}{{{m^{2}}}} \biggl( { \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} } \biggr) \\ &\qquad {}+ \biggl( {\frac{{4d}}{m} + \frac{{8{d^{2}}}}{{{m^{2}}}}} \biggr) \biggl( { \int _{{\Gamma _{1}}} {{{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} } \biggr). \end{aligned} $$

(2.34)

Therefore, integrating (2.34) yields

$$\begin{aligned} & \biggl( { \int _{0}^{t} { \int _{{\Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} \,d \eta } + \int _{0}^{t} { \int _{{\Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} \,d \eta } } \biggr) \\ &\quad \le \frac{4}{m} \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + \biggl( {\frac{{4d}}{m} + \frac{{8{d^{2}}}}{{{m^{2}}}}} \biggr) \biggl( { \int _{0}^{t} { \int _{{\Gamma _{1}}} {{{ \vert {{\nabla _{s}}H} \vert }^{2}}\,dS} \,d \eta } + \int _{0}^{t} { \int _{{\Gamma _{2}}} {{{ \vert {{\nabla _{s}}I} \vert }^{2}}\,dS} \,d \eta } } \biggr) \\ &\qquad {}+ \frac{{{d^{4}}}}{{{m^{2}}}} \biggl( { \int _{0}^{t} { \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} \,d \eta } + \int _{0}^{t} { \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}dSd \eta } } } \biggr) \\ &\qquad {}+ \frac{{{d^{2}}}}{m} \biggl( { \int _{{\Omega _{1}}} {{T_{0,i}} {T_{0,i}}\,dx} + \int _{{\Omega _{2}}} {{S_{0,i}} {S_{0,i}}\,dx} } \biggr)=m_{2}(t). \end{aligned}$$

(2.35)

Combining (2.32) and (2.33), we obtain

$$ \begin{aligned}[b] & \int _{{\Omega _{1}}} {{H_{,t}} {H_{,t}}\,dx} + \int _{{ \Omega _{2}}} {{I_{,t}} {I_{,t}}\,dx} + \frac{1}{2} \biggl( { \frac{d}{{dt}} \int _{{\Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} + \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I_{,i}} {I_{,i}}\,dx} } \biggr) \\ &\quad \le \frac{{{d^{2}}}}{{2m}} \biggl( { \int _{{\Gamma _{1}}} {{{ ( {{T_{U,t}}} )}^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ ( {{S_{U,t}}} )}^{2}}\,dS} } \biggr) \\ &\qquad {}+ \frac{m}{{2{d^{2}}}} \biggl( { \int _{{\Gamma _{1}}} {{{ \biggl( { \frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} + \int _{{ \Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} } \biggr). \end{aligned} $$

(2.36)

Therefore, integrating (2.36) yields the desired result (2.31). □

Lemma 4

For the functions H and I, we have the following estimates:

$$ \begin{aligned} \int _{{\Omega _{1}}} {{H^{2}}\,dx} + \int _{{\Omega _{2}}} {{I^{2}}\,dx} & \le {m_{4}} ( t ), \end{aligned} $$

(2.37)

with $m_{4}(t)=\int _{{\Omega _{1}}} {T_{0}^{2}\,dx} + \int _{{\Omega _{2}}} {S_{0}^{2}\,dx} + \int _{0}^{t} {\int _{{\Gamma _{1}}} {T_{U}^{2}\,dS} \,d \eta } + \int _{0}^{t} {\int _{{\Gamma _{2}}} {S_{U}^{2}\,dS} \,d \eta } + {m_{2}} ( t )$.

Proof

Multiplying (2.1)₁ by 2H and integrating over ${\Omega _{1}}$, we find

$$ \begin{aligned}[b] \frac{d}{{dt}} \int _{{\Omega _{1}}} {{H^{2}}\,dx} & = 2 \int _{{\Omega _{1}}} {H{H_{,t}}\,dx} = 2 \int _{{\Omega _{1}}} {H \Delta H\,dx} \\ &= 2 \int _{{\Gamma _{1}}} {{T_{U}}\frac{{\partial H}}{{\partial n}}\,dS} + 2 \int _{{L}} {H{H_{,3}}n_{3}^{ ( 1 )}\,dS} - 2 \int _{{ \Omega _{1}}} {{H_{,i}} {H_{,i}}\,dx} \\ & \le \int _{{\Gamma _{1}}} {T_{U}^{2}\,dS} + \int _{{\Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} - 2 \int _{{L}} {I{I_{,3}}n_{3}^{ ( 2 )}\,dS} . \end{aligned} $$

(2.38)

Similarly, we get

$$ \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I^{2}}\,dx} \le \int _{{\Gamma _{2}}} {S_{U}^{2}\,dS} + \int _{{\Gamma _{2}}} {{{ \biggl( {\frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} + 2 \int _{{L}} {I{I_{,3}}n_{3}^{ ( 2 )}\,dS}. $$

(2.39)

Combining (2.38) and (2.39), we obtain

$$ \begin{aligned}[b] &\frac{d}{{dt}} \int _{{\Omega _{1}}} {{H^{2}}\,dx} + \frac{d}{{dt}} \int _{{\Omega _{2}}} {{I^{2}}\,dx} \\ &\quad \le \int _{{\Gamma _{1}}} {T_{U}^{2}\,dS} + \int _{{\Gamma _{2}}} {S_{U}^{2}\,dS} + \int _{{\Gamma _{1}}} {{{ \biggl( {\frac{{\partial H}}{{\partial n}}} \biggr)}^{2}}\,dS} + \int _{{\Gamma _{2}}} {{{ \biggl( { \frac{{\partial I}}{{\partial n}}} \biggr)}^{2}}\,dS} . \end{aligned} $$

(2.40)

Therefore, integrating (2.40) yields the desired result (2.37). □

Lemma 5

For the temperatures T and S, we have the following estimates:

$$ \begin{aligned}[b] & \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{2}}} {{S^{2}}\,dx} + \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + \kappa \int _{0}^{t} { \int _{{\Omega _{2}}} {{S_{,i}} {S_{,i}}\,dx} \,d \eta } \\ &\quad \le 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } + \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } \\ &\qquad {}+ \frac{{4F_{M}^{2}}}{\kappa } \int _{0}^{t} { \int _{{\Omega _{2}}} {{v_{i}} {v_{i}}\,dx} \,d \eta } + {m_{4}} ( t ) + 2 \int _{0}^{t} {{m_{4}} ( \eta )\,d \eta } \\ &\qquad {}+ 2\kappa \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + 2{m_{3}} ( t ) + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {Q ^{2}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2}\,dx} \,d \eta } . \end{aligned} $$

(2.41)

Proof

A combination of (2.7), (2.16), (2.31), and (2.37) leads to the desired result (2.41). □

Lemma 6

For the solutions $(u_{i},T)$ and $(v_{i},S)$ of equations (1.1) and (1.2), if we let ${F_{2}} ( t ) = \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{2}}} {{S^{2}}\,dx} + \int _{{\Omega _{1}}} {{u_{i}}{u_{i}}\,dx}$, ${m_{5}} = \max \{ {4 + G_{1}^{2} + \frac{4}{\kappa }F_{M}^{2}G_{1}^{2},2 + \frac{8}{\kappa }F_{M}^{2}} \}$, ${D_{2}} ( t ) = ( {1 + \frac{4}{\kappa }F_{M}^{2}} )\int _{{\Omega _{1}}} {{f_{i}}{f_{i}}\,dx} + {m_{4}} ( t ) + 2\int _{0}^{t} {{m_{4}} ( \eta )\,d \eta } + 2 \kappa \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + 2{m_{3}} ( t ) + 4\int _{0}^{t} {\int _{{\Omega _{1}}} {Q ^{2}\,dx} \,d \eta } + 4\int _{0}^{t} {\int _{{\Omega _{2}}} {Q_{s}^{2}\,dx} \,d \eta }$, we get

$$\begin{aligned}& {F_{2}} ( t ) \le {D_{2}} ( t ) + {m_{5}} {e^{{m_{5}}t}} \int _{0}^{t} {{D_{2}} ( \eta ){e^{ - {m_{5}}\eta }}\,d \eta } = {m_{6}} ( t ), \end{aligned}$$

(2.42)

$$\begin{aligned}& \int _{0}^{t} { \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} \,d \eta } \le \frac{{G_{1}^{2} + 1 + \vert {G_{1}^{2} - 1} \vert }}{{4\lambda }}{m_{6}} ( t ) + \frac{1}{{2\lambda }} \int _{{\Omega _{1}}} {{f_{i}} {f_{i}}\,dx} = \frac{{{m_{7}} ( t )}}{\lambda }, \end{aligned}$$

(2.43)

$$\begin{aligned}& \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + \int _{0}^{t} { \int _{{\Omega _{2}}} {{S_{,i}} {S_{,i}}\,dx} \,d \eta } \le \frac{1}{\kappa }{D_{2}} ( t ) + \frac{{{m_{5}}}}{\kappa } \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } = {m_{8}} ( t ), \end{aligned}$$

(2.44)

and

$$ \int _{0}^{t} { \int _{{\Omega _{2}}} {{v_{i}} {v_{i}}\,dx} \,d \eta } \le \frac{{G_{1}^{2} + 1 + \vert {G_{1}^{2} - 1} \vert }}{2} \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } + \int _{{\Omega _{1}}} {{f_{i}} {f_{i}}\,dx} = {m_{9}} ( t ), $$

(2.45)

where ${m_{7}} ( t ) = \frac{{G_{1}^{2} + 1 + \vert {G_{1}^{2} - 1} \vert }}{4}{m_{6}} ( t ) + \frac{1}{2}\int _{{\Omega _{1}}} {{f_{i}}{f_{i}}\,dx}$.

Proof

Multiplying (1.1)₁ by $2u_{i}$ and integrating over $\Omega _{1}$, we find

$$\begin{aligned} \frac{d}{{dt}} \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} =& 2 \int _{{\Omega _{1}}} {{u_{i}}} {u_{i,t}}\,dx \\ =& - 2\lambda \int _{{ \Omega _{1}}} \vert u \vert {u_{i}} {u_{i}}\,dx - 2 \int _{{\Omega _{1}}} {{p_{,i}}} {u_{i}}\,dx + 2 \int _{{\Omega _{1}}} {{g_{i}}} T{u_{i}}\,dx . \end{aligned}$$

(2.46)

For the second function on the right-hand side of (2.46), using the divergence theorem and equations (1.3), (1.5), we get

$$ - 2 \int _{{\Omega _{1}}} {{p_{,i}} {u_{i}}\,dx} = - 2 \int _{L} {p{u_{3}}n_{3}^{ ( 1 )}\,dS} = 2 \int _{L} {q{v_{3}}n_{3}^{ ( 2 )}\,dS} = 2 \int _{{\Omega _{2}}} {{q_{,i}} {v_{i}}\,dx}. $$

(2.47)

If we insert (1.2)₁ and (2.47) into (2.46), we get

$$ \begin{aligned}[b] &\frac{d}{{dt}} \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx}+2 \lambda \int _{{\Omega _{1}}} { \vert u \vert {u_{i}} {u_{i}}\,dx} \\ & \quad \le 2 \int _{{\Omega _{2}}} {{q_{,i}} {v_{i}}\,dx} + 2 \int _{{\Omega _{1}}} {{g_{i}}T{u_{i}}\,dx} \\ &\quad \le 2 \int _{{\Omega _{2}}} { ( {{g_{i}}S - {v_{i}}} ){v_{i}}\,dx} + \int _{{\Omega _{1}}} {{g_{i}} {g_{i}} {T^{2}}\,dx} + \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \\ & \quad \le \frac{1}{2} \int _{{\Omega _{2}}} {{g_{i}} {g_{i}} {S^{2}}\,dx} + G_{1}^{2} \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \\ &\quad \le \frac{1}{2}G_{1}^{2} \int _{{\Omega _{2}}} {{S^{2}}\,dx} + G_{1}^{2} \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} . \end{aligned} $$

(2.48)

Therefore, integrating (2.48) yields

$$\begin{aligned} \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \le& G_{1}^{2} \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + \frac{1}{2}G_{1}^{2} \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } \\ &{} + \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } + \int _{{\Omega _{1}}} {{f_{i}} {f_{i}}\,dx} . \end{aligned}$$

(2.49)

Similarly, we get

$$\begin{aligned} \int _{0}^{t} { \int _{{\Omega _{2}}} {{v_{i}} {v_{i}}\,dx} \,d \eta } \le& G_{1}^{2} \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + G_{1}^{2} \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } \\ &{} + \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } + \int _{{\Omega _{1}}} {{f_{i}} {f_{i}}\,dx} . \end{aligned}$$

(2.50)

Combining (2.41), (2.49), and (2.50), we obtain

$$\begin{aligned}& \int _{{\Omega _{1}}} {{T^{2}}\,dx} + \int _{{\Omega _{2}}} {{S^{2}}\,dx} + \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx}+ \kappa \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } + \kappa \int _{0}^{t} { \int _{{\Omega _{2}}} {{S_{,i}} {S_{,i}}\,dx} \,d \eta } \\& \quad \le \biggl( {4 + G_{1}^{2} + \frac{4}{\kappa }F_{M}^{2}G_{1}^{2}} \biggr) \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2}}\,dx} \,d \eta } + \biggl( {4 + \frac{1}{2}G_{1}^{2} + \frac{4}{\kappa }F_{M}^{2}G_{1}^{2}} \biggr) \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2}}\,dx} \,d \eta } \\& \qquad {} + \biggl( {2 + \frac{8}{\kappa }F_{M}^{2}} \biggr) \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } + \biggl( {1 + \frac{4}{\kappa }F_{M}^{2}} \biggr) \int _{{\Omega _{1}}} {{f_{i}} {f_{i}}\,dx} + {m_{4}} ( t ) \\& \qquad {} + 2 \int _{0}^{t} {{m_{4}} ( \eta )\,d \eta }+ 2\kappa \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + 2{m_{3}} ( t ) + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {Q ^{2}\,dx} \,d \eta } \\& \qquad {} + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2}\,dx} \,d \eta } . \end{aligned}$$

(2.51)

We can get

$$ \begin{aligned} {F_{2}} ( t ) \le {D_{2}} ( t ) + {m_{5}} \int _{0}^{t} {{F_{2}} ( \eta )\,d \eta } . \end{aligned} $$

(2.52)

Gronwall inequality now implies the desired result (2.42). □

Similarly, we can also get the desired result (2.43).

Combining (2.51) and (2.42), we obtain the desired result (2.44).

Combining (2.50) and (2.42), we obtain the desired result (2.45).

Lemma 7

For the temperatures T and S, we have the following estimates:

$$ \begin{aligned} \max \Bigl\{ {\sup { [ {0,\tau } ]} {{ \Vert T \Vert }_{\infty }},\sup_{ [ {0,\tau } ]} {{ \Vert S \Vert }_{\infty }}} \Bigr\} \le {e^{2\tau }}\max \Bigl\{ {\sup _{ [ {0,\tau } ]} {{ \Vert Q \Vert }_{\infty }},\sup _{ [ {0,\tau } ]} {{ \Vert {{Q_{s}}} \Vert }_{\infty }},{F_{M}}} \Bigr\} = {N_{M}}. \end{aligned} $$

(2.53)

Proof

Multiplying (1.1)₃ by $2r ( {{T^{2r - 1}} - {H^{2r - 1}}} )$ and integrating over ${\Omega _{1}} \times [ {0,t} ]$, (where $r>2$), we find

$$\begin{aligned} &2r \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {T^{2r - 1}} {T_{,i}}\,dx} \,d \eta } - 2r \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {H^{2r - 1}} {T_{,i}}\,dx} \,d \eta } \\ &\qquad {}- 2r \int _{0}^{t} { \int _{{\Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr)Q\,dx} \,d \eta } \\ &\quad =2r\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr)\Delta T\,dx} \,d \eta } \\ &\qquad {}-2r \int _{0}^{t} { \int _{{ \Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr){T_{, \eta }}\,dx} \,d \eta } . \end{aligned}$$

(2.54)

For the first function on the right-hand side of (2.54), using the divergence theorem and equations (1.3), (1.5), we get

$$\begin{aligned} &2r\kappa \int _{0}^{t} { \int _{{\Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr)\Delta T\,dx} \,d \eta } \\ &\quad = 2r\kappa \int _{0}^{t} { \int _{L} {{T^{2r - 1}} {T_{,3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } - 2r\kappa \int _{0}^{t} { \int _{L} {{H^{2r - 1}} {T_{,3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } \\ &\qquad {} - \frac{{2\kappa ( {2r - 1} )}}{r} \int _{0}^{t} { \int _{{ \Omega _{1}}} {{{ \bigl( {{T^{r}}} \bigr)}_{,i}} {{ \bigl( {{T^{r}}} \bigr)}_{,i}}\,dx} \,d \eta } + 2r\kappa ( {2r - 1} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2r - 2}} {H_{,i}}T_{,i} \,dx} \,d \eta } \\ &\quad \le - 2r\kappa \int _{0}^{t} { \int _{L} {{S^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } + 2r\kappa \int _{0}^{t} { \int _{L} {{I^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {}+ r\kappa ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + r\kappa ( {2r - 1} )F_{M}^{2r - 2}{m_{8}} ( t ). \end{aligned}$$

(2.55)

For the first function on the left-hand side of (2.54), using the divergence theorem and equations (1.4), (2.1), we find

$$ \begin{aligned}[b] 2r \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {T^{2r - 1}} {T_{,i}}\,dx} \,d \eta } & = \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {{ \bigl( {{T^{2r}}} \bigr)}_{,i}}\,dx} \,d \eta } = \int _{0}^{t} { \int _{L} {{T^{2r}} {u_{3}}n_{3}^{ ( 1 )}\,dS} \,d \eta } \\ & = - \int _{0}^{t} { \int _{L} {{S^{2r}} {v_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } . \end{aligned} $$

(2.56)

For the second function on the left-hand side of (2.54), we get

$$ \begin{aligned}[b] &2 \biggl\vert { \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {H^{2r - 1}} {T_{,i}}\,dx} \,d \eta } } \biggr\vert \\ &\quad \le 2F_{M}^{2r - 1} \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {T_{,i}}\,dx} \,d \eta } \\ &\quad \le F_{M}^{2r - 1} \int _{0}^{t} { \int _{{\Omega _{1}}} {{u_{i}} {u_{i}}\,dx} \,d \eta } + F_{M}^{2r - 1} \int _{0}^{t} { \int _{{\Omega _{1}}} {{T_{,i}} {T_{,i}}\,dx} \,d \eta } \\ &\quad \le F_{M}^{2r - 1} \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } + F_{M}^{2r - 1}{m_{8}} ( t ) . \end{aligned} $$

(2.57)

For the third function on the left-hand side of (2.54), using Young inequality, we get

$$\begin{aligned} 2r \biggl\vert { \int _{0}^{t} { \int _{{ \Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr)Q\,dx} \,d \eta } } \biggr\vert \le{}& 2 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2r}}\,dx} \,d \eta } \\ &{} + ( {2r - 1} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2r}}\,dx} \,d \eta } \\ &{}+ ( {2r - 1} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2r}}\,dx} \,d \eta } . \end{aligned}$$

(2.58)

For the second function on the right-hand side of (2.54), using Young inequality and equations (1.4), (2.1), we find

$$ \begin{aligned}[b] &{-} 2r \int _{0}^{t} { \int _{{\Omega _{1}}} { \bigl( {{T^{2r - 1}} - {H^{2r - 1}}} \bigr){T_{,\eta }}\,dx} \,d \eta } \\ &\quad = - \int _{{\Omega _{1}}} {{T^{2r}}\,dx} + 2r \int _{{\Omega _{1}}} {{H^{2r - 1}}T\,dx} - ( {2r - 1} ) \int _{{\Omega _{1}}} {T_{\mathrm{{0}}}^{{ \mathrm{{2r}}}}\,dx} \\ &\qquad {}- 2r ( {2r - 1} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2r - 2}} {H_{,\eta }}T\,dx} \,d \eta } \\ &\quad \le - \frac{1}{2} \int _{{\Omega _{1}}} {{T^{2r}}\,dx} + ( {2r - 1} ){2^{\frac{1}{{2r - 1}}}} \int _{{\Omega _{1}}} {{H^{2r}}\,dx} + r ( {2r - 1} )F_{M}^{2r - 2}{m_{3}} ( t ) \\ &\qquad {}+ r ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } . \end{aligned} $$

(2.59)

Combining (2.54)–(2.59), we obtain

$$ \begin{aligned}[b] & \int _{{\Omega _{1}}} {{T^{2r}}\,dx} - 2 \int _{0}^{t} { \int _{L} {{S^{2r}} {v_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {}+ 4r\kappa \int _{0}^{t} { \int _{L} {{S^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } - 4r\kappa \int _{0}^{t} { \int _{L} {{I^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\quad \le ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2r}}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2r}}\,dx} \,d \eta } + ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}} \int _{{\Omega _{1}}} {{H^{2r}}\,dx} \\ &\qquad {}+ ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{H^{2r}}\,dx} \,d \eta } + 2r\kappa ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta }\\ &\qquad {} + 2r ( {2r - 1} )F_{M}^{2r - 2}{m_{3}} ( t) + \bigl[ {2F_{M}^{2r - 1} + 2r ( {2r - 1})F_{M}^{2r - 2}} \bigr] \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } \\ &\qquad {}+ \bigl[ {2F_{M}^{2r - 1} + 2r\kappa ( {2r - 1} )F_{M}^{2r - 2}} \bigr]{m_{8}} ( t ). \end{aligned} $$

(2.60)

Similarly, we get

$$\begin{aligned} & \int _{{\Omega _{2}}} {{S^{2r}}\,dx} + 2 \int _{0}^{t} { \int _{L} {{S^{2r}} {v_{3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } - 4r \kappa \int _{0}^{t} { \int _{L} {{S^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ &\qquad {}+ 4r\kappa \int _{0}^{t} { \int _{L} {{I^{2r - 1}} {S_{,3}}n_{3}^{ ( 2 )}\,dS} \,d \eta } \\ & \quad \le ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2r}}\,dx} \,d \eta } + ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{2}}} {{I^{2r}}\,dx} \,d \eta }+ 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2r}\,dx} \,d \eta } \\ &\qquad {}+ ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}} \int _{{\Omega _{2}}} {{I^{2r}}\,dx}+ 2r\kappa ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } \\ &\qquad {}+ 2r ( {2r - 1} )F_{M}^{2r - 2}{m_{3}} ( t )+ 2r ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } \\ &\qquad {}+ \bigl[ {2F_{M}^{2r - 1} + 2r\kappa ( {2r - 1} )F_{M}^{2r - 2}} \bigr]{m_{8}} ( t ) + 2F_{M}^{2r - 1}{m_{9}} ( t ). \end{aligned}$$

(2.61)

Combining (2.60) and (2.61), we get

$$ \begin{aligned}[b] & \int _{{\Omega _{1}}} {{T^{2r}}\,dx} + \int _{{\Omega _{2}}} {{S^{2r}}\,dx} \\ &\quad \le ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{1}}} {{T^{2r}}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{1}}} {{Q^{2r}}\,dx} \,d \eta } \\ &\qquad {}+ ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}} \int _{{\Omega _{1}}} {{H^{2r}}\,dx} + ( {4r - 2} ) \int _{0}^{t} { \int _{{ \Omega _{1}}} {{H^{2r}}\,dx} \,d \eta } \\ &\qquad {}+ ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{2}}} {{S^{2r}}\,dx} \,d \eta } + 4 \int _{0}^{t} { \int _{{\Omega _{2}}} {Q_{s}^{2r}\,dx} \,d \eta } + ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}} \int _{{\Omega _{2}}} {{I^{2r}}\,dx} \\ &\qquad {}+ ( {4r - 2} ) \int _{0}^{t} { \int _{{\Omega _{2}}} {{I^{2r}}\,dx} \,d \eta }+ 4r\kappa ( {2r - 1} )F_{M}^{2r - 2} \int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } \\ &\qquad {}+ 4r ( {2r - 1} )F_{M}^{2r - 2}{m_{3}} ( t )+ 2F_{M}^{2r - 1}{m_{9}} ( t ) \\ &\qquad {}+ \bigl[ {2F_{M}^{2r - 1} + 4r ( {2r - 1} )F_{M}^{2r - 2}} \bigr] \int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } \\ &\qquad {}+ \bigl[ {4F_{M}^{2r - 1} + 4r\kappa ( {2r - 1} )F_{M}^{2r - 2}} \bigr]{m_{8}} ( t ). \end{aligned} $$

(2.62)

Letting

$$\begin{aligned}& {F_{3}} ( t ) = \int _{{\Omega _{1}}} {{T^{2r}}\,dx} + \int _{{\Omega _{2}}} {{S^{2r}}\,dx} ,\\& \begin{aligned} {D_{3}} ( t ) ={}& 4\int _{0}^{t} {\int _{{\Omega _{1}}} {{Q^{2r}}\,dx} \,d \eta } + ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}}\int _{{\Omega _{1}}} {{H^{2r}}\,dx} + ( {4r - 2} )\int _{0}^{t} {\int _{{ \Omega _{1}}} {{H^{2r}}\,dx} \,d \eta } \\ &{}+ 4\int _{0}^{t} {\int _{{\Omega _{2}}} {Q_{s}^{2r}\,dx} \,d \eta } + ( {4r - 2} ){2^{\frac{1}{{2r - 1}}}}\int _{{\Omega _{2}}} {{I^{2r}}\,dx} + ( {4r - 2} )\int _{0}^{t} {\int _{{ \Omega _{2}}} {{I^{2r}}\,dx} \,d \eta } \\ &{}+ 4r\kappa ( {2r - 1} )F_{M}^{2r - 2}\int _{0}^{t} {{m_{1}} ( \eta )\,d \eta } + 4r ( {2r - 1} )F_{M}^{2r - 2}{m_{3}} ( t )+ 2F_{M}^{2r - 1}{m_{9}} ( t ) \\ &{}+ [ {2F_{M}^{2r - 1} + 4r ( {2r - 1} )F_{M}^{2r - 2}} ]\int _{0}^{t} {{m_{6}} ( \eta )\,d \eta } + [ {4F_{M}^{2r - 1} + 4r \kappa ( {2r - 1} )F_{M}^{2r - 2}} ]{m_{8}} ( t ), \end{aligned} \end{aligned}$$

we get

$$ {F_{3}} ( t ) \le {D_{3}} ( t ) + ( {4r - 2} ) \int _{0}^{t} {{F_{3}} ( \eta )\,d \eta } . $$

(2.63)

Gronwall inequality now implies

$$ \int _{0}^{t} {F_{3}} ( \eta )\,d \eta \leq \int _{0}^{t} {{D_{3}} ( \eta ){e^{ ( {4r - 2} ) ( {t - \eta } )}}\,d \eta } \leq {e^{ ( {4r - 2} ) {t }}} \int _{0}^{t} {{D_{3}} ( \eta )\,d \eta } . $$

(2.64)

Raising to the power of $\frac{1}{2r}$ both sides of (2.64), we have

$$ \begin{aligned} \biggl[ \int _{0}^{t} {F_{3}} ( \eta )\,d \eta \biggr]^{\frac{1}{2r}} &\leq \bigl[{e^{ ( {4r - 2} ) {t }}} \bigr]^{\frac{1}{2r}} \biggl[ \int _{0}^{t} {{D_{3}} ( \eta )\,d \eta } \biggr]^{\frac{1}{2r}} . \end{aligned} $$

(2.65)

From the definition of $F_{3}(t)$, we have

$$ \begin{aligned}[b] &\max \biggl\{ \biggl( \int _{0}^{t} \int _{\Omega }T^{2r}\,dx\,d \eta \biggr)^{\frac{1}{2r}}, \biggl( \int _{0}^{t} \int _{\Omega }S^{2r}\,dx\,d \eta \biggr)^{\frac{1}{2r}} \biggr\} \\ &\quad \leq \biggl[ \int _{0}^{t} {F_{3}} ( \eta )\,d \eta \biggr]^{\frac{1}{2r}} \leq \bigl[{e^{ ( {4r - 2} ) {t }}} \bigr]^{ \frac{1}{2r}} \biggl[ \int _{0}^{t} {{D_{3}} ( \eta )\,d \eta } \biggr]^{\frac{1}{2r}} . \end{aligned} $$

(2.66)

Using the facts

$$\begin{aligned}& \begin{aligned}\lim_{r\rightarrow \infty } \biggl( \int _{0}^{t} \int _{\Omega }T^{2r}\,dx\,d \eta \biggr)^{\frac{1}{2r}}={ \mathop{\sup }\limits _{ [ {0,\tau } ]} {{ \Vert T \Vert }_{\infty }}}, \end{aligned} \\& \begin{aligned}\lim_{r\rightarrow \infty } \biggl( \int _{0}^{t} \int _{\Omega }S^{2r}\,dx\,d \eta \biggr)^{\frac{1}{2r}}={ \mathop{\sup }\limits _{ [ {0,\tau } ]} {{ \Vert S \Vert }_{\infty }}}, \end{aligned} \end{aligned}$$

and the equality

$$ \begin{aligned}\lim_{n\rightarrow \infty } \bigl(a_{1}^{n}+a_{2}^{n}+ \cdots +a_{p}^{n} \bigr)^{\frac{1}{n}}=\max \{a_{1},a_{2}, a_{3},\dots , a_{p}\}, \end{aligned} $$

with $a_{1},a_{2},\dots ,a_{p}$ all nonnegative constants, we can get the desired result (2.53). □

3 Continuous dependence results for the Forchheimer coefficient λ

In this section,we will discuss the continuous dependence on the Forchheimer coefficient λ. Let $( {{u_{i}},T,p} )$ and $( {{v_{i}},S,q} )$ be the solutions of (1.1)–(1.5) with $\lambda = \lambda _{1}$ Similarly, we set $( {u_{i}^{*} ,{T^{*} },{p^{*} }} )$ and $( {v_{i}^{*} ,{S^{*} },{q^{*} }} )$ to be the solutions of (1.1)–(1.5) with $\lambda = \lambda _{2}$.

We define ${\omega _{i}} = {u_{i}} - u_{i}^{*}$, $\theta = T - {T^{*} }$, $\pi = p - {p^{*} }$, $\hat{\lambda }= {\lambda _{1}} - {\lambda _{2}}$, and $\omega _{i}^{m} = {v_{i}} - v_{i}^{*}$, ${\theta ^{m}} = S - {S^{*} }$, ${\pi ^{m}} = q - {q^{*} }$.

We find that $( {{\omega _{i}},\theta ,\pi } )$ satisfy the following equations:

$$ \textstyle\begin{cases} {\frac{{\partial {\omega _{i}}}}{{\partial t}}= - ( {{\lambda _{1}} \vert u \vert {u_{i}} - {\lambda _{2}} \vert {{u^{*} }} \vert u_{i}^{*} } ) - {\pi _{,i}} + {g_{i}}\theta ,} \\ {\frac{{\partial {\omega _{i}}}}{{\partial {x_{i}}}} = 0,} \\ {\frac{{\partial \theta }}{{\partial t}} + {u_{i}} \frac{{\partial \theta }}{{\partial {x_{i}}}} + {\omega _{i}} \frac{{\partial {T^{*}}}}{{\partial {x_{i}}}} = \kappa \Delta \theta ,} \end{cases} $$

(3.1)

and $( {\omega _{i}^{m},{\theta ^{m}},{\pi ^{m}}} )$ satisfy

$$ \textstyle\begin{cases} \omega _{i}^{m} = - \pi _{,i}^{m} + {g_{i}}{\theta ^{m}}, \\ \frac{{\partial \omega _{i}^{m}}}{{\partial {x_{i}}}} = 0, \\ \frac{{\partial {\theta ^{m}}}}{{\partial t}} + {v_{i}} \frac{{\partial {\theta ^{m}}}}{{\partial {x_{i}}}} + \omega _{i}^{m} \frac{{\partial {S^{*} }}}{{\partial {x_{i}}}} = {\kappa }\Delta {\theta ^{m}}. \end{cases} $$

(3.2)

The boundary conditions are

$$ \textstyle\begin{cases} {\omega _{i}} = 0,\qquad \theta = 0, & ( {x,t} ) \in {\Gamma _{1}} \times [ {0,\tau } ], \\ \omega _{i}^{m}{n_{i}} = 0,\qquad {\theta ^{m}} = 0, & ( {x,t} ) \in {\Gamma _{2}} \times [ {0,\tau } ], \end{cases} $$

(3.3)

and additionally the initial conditions are given at $t=0$, i.e.,

$$ \textstyle\begin{cases} {\omega _{i}} ( {x,0} ) = 0,\qquad \theta ( {x,0} ) = 0,& x \in {\Omega _{1}}, \\ {\theta ^{m}} ( {x,0} ) = 0,& x \in {\Omega _{2}}. \end{cases} $$

(3.4)

The conditions on interface L ar

$$ \textstyle\begin{cases} {\omega _{3}} = \omega _{3}^{m},\qquad \theta = {\theta ^{m}}, \qquad {\theta _{,3}} = \theta _{,3}^{m}, \\ \pi = {\pi ^{m}}. \end{cases} $$

(3.5)

Theorem

Let $( {{u_{i}},T,p} )$ and $( {{v_{i}},S,q} )$ be the classical solutions to the initial-boundary value problem (1.1)–(1.5) with $\lambda = \hat{\lambda }_{1}$, while $( {u_{i}^{*} ,{T^{*} },{p^{*} }} )$ and $( {v_{i}^{*} ,{S^{*} },{q^{*} }} )$ are the classical solutions to the initial-boundary value problem (1.1)–(1.5) with $\lambda = {\hat{\lambda }_{2}}$. We define $( {{\omega _{i}}, \theta ,\pi } )$ and $( {\omega _{i}^{m},{\theta ^{m}},{\pi ^{m}}} )$ to be the differences of these two solutions, respectively. Then the solutions $( {{u_{i}},T,p} )$ and $( {{v_{i}},S,q} )$ converge to the solutions $( {u_{i}^{*} ,{T^{*} },{p^{*} }} )$ and $( {v_{i}^{*} ,{S^{*} },{q^{*} }} )$ as the Forchheimer coefficient λ̂ tends to 0. The differences of solutions satisfy

$$ \begin{aligned} \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} + \int _{{ \Omega _{2}}} {{{ \bigl( {{\theta ^{\mathrm{{m}}}}} \bigr)}^{2}}\,dx} + \frac{{N_{M}^{2}}}{{2\kappa }} \int _{{\Omega _{1}}} {{\omega _{i}} { \omega _{i}}\,dx} \le {\hat{\lambda }^{2}} {m_{11}} ( t ), \end{aligned} $$

(3.6)

where ${m_{10}} = \max \{ {\frac{{N_{M}^{2}}}{\kappa }, \frac{{N_{M}^{2}G_{1}^{2}}}{{2\kappa }}} \}$, ${m_{11}} ( t ) = \frac{{N_{M}^{2}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{m_{7}} ( t ) + \frac{{N_{M}^{2}{m_{10}}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{e^{{m_{10}}t}} \int _{0}^{t} {{m_{7}} ( \eta ){e^{ - {m_{10}}\eta }}\,d \eta }$.

Moreover, the differences of velocities satisfy the following estimates:

$$ \int _{0}^{t} { \int _{{\Omega _{2}}} {\omega _{i}^{m} \omega _{i}^{m}\,dx} } \,d \eta \le {\hat{\lambda }^{2}} \biggl( { \frac{{{m_{7}} ( t )}}{{{\lambda _{1}}{\lambda _{2}}}} + {m_{12}} \int _{0}^{t} {{m_{11}} ( \eta )\,d \eta } } \biggr), $$

(3.7)

where ${m_{12}} = \max \{ {G_{1}^{2},\frac{{2\kappa }}{{N_{M}^{2}}}} \}$.

Proof

Multiplying (3.1)₁ by ${2\omega _{i}}$ and integrating over ${\Omega _{i}}$, we see

$$ \begin{aligned}[b] &\frac{d}{{dt}} \int _{{\Omega _{1}}} {{\omega _{i}} { \omega _{i}}\,dx} \\ &\quad = - 2\hat{\lambda } \int _{{\Omega _{1}}} { \vert u \vert {u_{i}} { \omega _{i}}\,dx} - 2{\lambda _{2}} \int _{{\Omega _{1}}} { \bigl( { \vert u \vert {u_{i}} - \bigl\vert {{u^{*} }} \bigr\vert u_{i}^{*} } \bigr){\omega _{i}}\,dx} - 2 \int _{{\Omega _{1}}} {{\pi _{,i}} { \omega _{i}}\,dx} \\ & \qquad {}+ 2 \int _{{\Omega _{1}}} {{g_{i}}\theta {\omega _{i}}\,dx} . \end{aligned} $$

(3.8)

For the third function on the right-hand side of (3.8), using the divergence theorem and Eqs. (3.3), (3.5), we get

$$ - 2 \int _{{\Omega _{1}}} {{\pi _{,i}} {\omega _{i}}\,dx} = - 2 \int _{L} {\pi {\omega _{3}}n_{3}^{ ( 1 )}\,dS} = 2 \int _{L} {{\pi ^{m}}\omega _{3}^{m}n_{3}^{ ( 2 )}\,dS} = 2 \int _{{ \Omega _{2}}} {\pi _{,i}^{m}\omega _{i}^{m}\,dx}. $$

(3.9)

For the second function on the right-hand side of (3.8), we have

$$ \begin{aligned}[b] &2 \bigl( { \vert u \vert {u_{i}} - \bigl\vert {{u^{*} }} \bigr\vert u_{i}^{*} } \bigr){\omega _{i}} \\ &\quad = 2 \bigl( {{{ \vert u \vert }^{3}} + {{ \bigl\vert {{u^{*} }} \bigr\vert }^{3}}} \bigr) - 2{u_{i}}u_{i}^{*} \bigl( { \vert u \vert + \bigl\vert {{u^{*} }} \bigr\vert } \bigr) \\ &\quad = \bigl( { \vert u \vert + \bigl\vert {{u^{*} }} \bigr\vert } \bigr) \bigl[ { \bigl( {{{ \vert u \vert }^{2}} + {{ \bigl\vert {{u^{*} }} \bigr\vert }^{2}} - 2 \vert u \vert \bigl\vert {{u^{*} }} \bigr\vert } \bigr) + \bigl( {{{ \vert u \vert }^{2}} + {{ \bigl\vert {{u^{*} }} \bigr\vert }^{2}} - 2{u_{i}}u_{i}^{*} } \bigr)} \bigr] \\ &\quad = \bigl( { \vert u \vert + \bigl\vert {{u^{*} }} \bigr\vert } \bigr) \bigl[ {{{ \bigl( { \vert u \vert + \bigl\vert {{u^{*} }} \bigr\vert } \bigr)}^{2}} + {\omega _{i}} {\omega _{i}}} \bigr] \\ &\quad \ge \vert u \vert {\omega _{i}} {\omega _{i}}. \end{aligned} $$

(3.10)

For the first function on the right-hand side of (3.8), we have

$$ \begin{aligned} - 2\hat{\lambda } \int _{{\Omega _{1}}} { \vert u \vert {u_{i}} { \omega _{i}}\,dx} &\le \frac{{{{\hat{\lambda }}^{2}}}}{{{\lambda _{2}}}} \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} + { \lambda _{2}} \int _{{\Omega _{1}}} { \vert u \vert {\omega _{i}} { \omega _{i}}\,dx} . \end{aligned} $$

(3.11)

Combining (3.8)–(3.11), we have

$$ \begin{aligned}[b] &\frac{d}{{dt}} \int _{{\Omega _{1}}} {{\omega _{i}} { \omega _{i}}\,dx} \\ &\quad \le \frac{{{{\hat{\lambda }}^{2}}}}{{{\lambda _{2}}}} \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} + 2 \int _{{\Omega _{2}}} {\pi _{,i}^{m} \omega _{i}^{m}\,dx} + 2 \int _{{\Omega _{1}}} {{g_{i}}\theta {\omega _{i}}\,dx} \\ &\quad \le \frac{{{{\hat{\lambda }}^{2}}}}{{{\lambda _{2}}}} \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} + 2 \int _{{\Omega _{2}}} { \bigl( {{g_{i}} { \theta ^{m}} - \omega _{i}^{m}} \bigr)\omega _{i}^{m}\,dx} + \int _{{ \Omega _{1}}} {{\omega _{i}} {\omega _{i}}\,dx} + G_{1}^{2} \int _{{ \Omega _{1}}} {{\theta ^{2}}\,dx} \\ & \quad \le \frac{{{{\hat{\lambda }}^{2}}}}{{{\lambda _{2}}}} \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} - \int _{{\Omega _{2}}} {\omega _{i}^{m} \omega _{i}^{m}\,dx} + \int _{{\Omega _{1}}} {{\omega _{i}} {\omega _{i}}\,dx}\\ &\qquad {} + G_{1}^{2} \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} + G_{1}^{2} \int _{{ \Omega _{1}}} {{{ \bigl( {{\theta ^{m}}} \bigr)}^{2}}\,dx} . \end{aligned} $$

(3.12)

In order to estimate $\int _{{\Omega _{1}}} {\theta \theta \,dx} + \int _{{\Omega _{2}}} {{ \theta ^{\mathrm{{m}}}}{\theta ^{m}}\,dx}$, we multiply (3.1)₃ by 2θ and get

$$ \begin{aligned}[b] \frac{d}{{dt}} \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} &= 2 \int _{{\Omega _{1}}} {\theta {\theta _{,t}}\,dx} \\ & = 2 \int _{{\Omega _{1}}} {\theta \bigl( {\kappa \Delta \theta - {u_{i}} { \theta _{,i}} - {\omega _{i}}T_{,i}^{*} } \bigr)\,dx} \\ &= 2\kappa \int _{{\Omega _{1}}} {\theta \Delta \theta \,dx} - 2 \int _{{ \Omega _{1}}} {\theta {u_{i}} {\theta _{,i}}\,dx} - 2 \int _{{\Omega _{1}}} {\theta {\omega _{i}}T_{,i}^{*} \,dx} . \end{aligned} $$

(3.13)

For the first function on the right-hand side of (3.13), using the divergence theorem and Eqs. (3.3), (3.5), we get

$$ \begin{aligned}[b] 2\kappa \int _{{\Omega _{1}}} {\theta \Delta \theta \,dx} & = 2 \int _{L} {\theta \kappa {\theta _{,3}}n_{3}^{ ( 1 )}\,dS} - 2\kappa \int _{{\Omega _{1}}} {{\theta _{,i}} {\theta _{,i}}\,dx} \\ & \le - 2 \int _{L} {{\theta ^{m}} {\kappa }\theta _{,3}^{m}n_{3}^{ ( 2 )}\,dS} - 2\kappa \int _{{\Omega _{1}}} {{\theta _{,i}} { \theta _{,i}}\,dx} . \end{aligned} $$

(3.14)

For the second function on the right-hand side of (3.13), using the divergence theorem and Eqs. (1.3), (3.5), we get

$$ \begin{aligned}[b] {-} 2 \int _{{\Omega _{1}}} {\theta {u_{i}} {\theta _{,i}}\,dx} & = - \int _{{\Omega _{1}}} {{u_{i}} ( \theta )_{,i}^{2}\,dx} = - \int _{L} {{u_{3}} {\theta ^{2}}n_{3}^{ ( 1 )}\,dS} \\ & = \int _{L} {{v_{3}} {{ \bigl( {{\theta ^{m}}} \bigr)}^{2}}n_{3}^{ ( 2 )}\,dS} = 2 \int _{{\Omega _{2}}} {{\theta ^{m}} {v_{i}} \theta _{,i}^{m}\,dx} . \end{aligned} $$

(3.15)

For the third function on the right-hand side of (3.13), using the divergence theorem and Eqs. (1.5), (3.3), and (3.5), we get

$$ \begin{aligned}[b] {-} 2 \int _{{\Omega _{1}}} {\theta {\omega _{i}}T_{,i}^{*} \,dx} & = - 2 \int _{L} {\theta {\omega _{3}} {T^{*} }n_{3}^{ ( 1 )}\,dS} + 2 \int _{{\Omega _{1}}} {{\theta _{,i}} {\omega _{i}} {T^{*} }\,dx} \\ & = 2 \int _{L} {{\theta ^{m}}\omega _{3}^{m}{S^{*} }n_{3}^{ ( 2 )}\,dS} + 2 \int _{{\Omega _{1}}} {{\theta _{,i}} {\omega _{i}} {T^{*} }\,dx} . \end{aligned} $$

(3.16)

Combining (3.13)–(3.16), we get

$$ \begin{aligned}[b] \frac{d}{{dt}} \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} \le{}& {-} 2\kappa \int _{{\Omega _{1}}} {{\theta _{,i}} {\theta _{,i}}\,dx} + 2 \int _{{\Omega _{1}}} {{\theta _{,i}} {\omega _{i}} {T^{*} }\,dx} - 2 \int _{L} {{\theta ^{m}} {\kappa }\theta _{,3}^{m}n_{3}^{ ( 2 )}\,dS} \\ & {}+ 2 \int _{L} {{\theta ^{m}}\omega _{3}^{m}{S^{*} }n_{3}^{ ( 2 )}\,dS} + 2 \int _{{\Omega _{2}}} {{\theta ^{m}} {v_{i}} \theta _{,i}^{m}\,dx} \\ \le {}&\frac{N_{M}^{2}}{{2\kappa }} \int _{{\Omega _{1}}} {{\omega _{i}} { \omega _{i}}\,dx} - 2 \int _{L} {{\theta ^{m}} {\kappa }\theta _{,3}^{m}n_{3}^{ ( 2 )}\,dS}\\ & {} + 2 \int _{L} {{\theta ^{m}}\omega _{3}^{m}{S^{*} }n_{3}^{ ( 2 )}\,dS} + 2 \int _{{\Omega _{2}}} {{\theta ^{m}} {v_{i}} \theta _{,i}^{m}\,dx} . \end{aligned} $$

(3.17)

Similarly, we multiply (3.2)₃ by $2\theta ^{m}$, we have

$$ \begin{aligned}[b] \frac{d}{{dt}} \int _{{\Omega _{2}}} {{{ \bigl( {{ \theta ^{m}}} \bigr)}^{2}}\,dx} \le {}&\frac{{N_{M}^{2}}}{{2{\kappa }}} \int _{{\Omega _{2}}} {\omega _{i}^{m} \omega _{i}^{m}\,dx} + 2 \int _{L} {{\theta ^{m}} {\kappa }\theta _{,3}^{m}n_{3}^{ ( 2 )}\,dS} \\ & {}- 2 \int _{L} {{\theta ^{m}}\omega _{3}^{m}{S^{*} }n_{3}^{ ( 2 )}\,dS} - 2 \int _{{\Omega _{2}}} {{\theta ^{m}} {v_{i}} \theta _{,i}^{m}\,dx} . \end{aligned} $$

(3.18)

Combining (3.17) and (3.18), we have

$$ \frac{d}{{dt}} \biggl( { \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} + \int _{{\Omega _{2}}} {{{ \bigl( {{\theta ^{\mathrm{{m}}}}} \bigr)}^{2}}\,dx} } \biggr) \le \frac{{N_{M}^{2}}}{{2\kappa }} \int _{{\Omega _{1}}} {{ \omega _{i}} {\omega _{i}}\,dx} + \frac{{N_{M}^{2}}}{{2{\kappa }}} \int _{{ \Omega _{2}}} {\omega _{i}^{m}\omega _{i}^{m}\,dx} . $$

(3.19)

Combining (3.12) and (3.19), we have

$$ \begin{aligned}[b] &\frac{d}{{dt}} \biggl( { \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} + \int _{{\Omega _{2}}} {{{ \bigl( {{\theta ^{\mathrm{{m}}}}} \bigr)}^{2}}\,dx} + \frac{{N_{M}^{2}}}{{2\kappa }} \int _{{\Omega _{1}}} {{\omega _{i}} { \omega _{i}}\,dx} } \biggr) \\ &\quad \le \frac{{{{\hat{\lambda }}^{2}}}}{{{\lambda _{2}}}} \frac{{N_{M}^{2}}}{{2\kappa }} \int _{{\Omega _{1}}} {{{ \vert u \vert }^{3}}\,dx} + \frac{{N_{M}^{2}}}{\kappa } \int _{{\Omega _{1}}} {{ \omega _{i}} {\omega _{i}}\,dx} + \frac{{N_{M}^{2}G_{1}^{2}}}{{2\kappa }} \int _{{\Omega _{1}}} {{ \theta ^{2}}\,dx} \\ &\qquad {}+ \frac{{N_{M}^{2}G_{1}^{2}}}{{2\kappa }} \int _{{ \Omega _{1}}} {{{ \bigl( {{\theta ^{m}}} \bigr)}^{2}}\,dx} . \end{aligned} $$

(3.20)

If we let ${F_{4}} ( t ) = \int _{{\Omega _{1}}} {{\theta ^{2}}\,dx} + \int _{{\Omega _{2}}} {{{ ( {{\theta ^{\mathrm{{m}}}}} )}^{2}}\,dx} + \frac{{N_{M}^{2}}}{{2\kappa }}\int _{{\Omega _{1}}} {{\omega _{i}}{ \omega _{i}}\,dx}$, ${m_{10}} = \max \{ {\frac{{N_{M}^{2}}}{\kappa }, \frac{{N_{M}^{2}G_{1}^{2}}}{{2\kappa }}} \}$.

Therefore, integrating (3.20) yields

$$ \begin{aligned} {F_{4}} ( t ) \le {\hat{ \lambda }^{2}} \frac{{N_{M}^{2}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{m_{7}} ( t ) + {m_{10}} \int _{0}^{t} {{F_{4}} ( \eta )\,d \eta } . \end{aligned} $$

(3.21)

Gronwall inequality implies

$$ \begin{aligned} {F_{4}} ( t ) \le {\hat{ \lambda }^{2}} \frac{{N_{M}^{2}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{m_{7}} ( t ) + { \hat{\lambda }^{2}} \frac{{N_{M}^{2}{m_{10}}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{e^{{m_{10}}t}} \int _{0}^{t} {{m_{7}} ( \eta ){e^{ - {m_{10}}\eta }}\,d \eta } = {\hat{\lambda }^{2}} {m_{11}} ( t ), \end{aligned} $$

(3.22)

where ${m_{11}} ( t ) = \frac{{N_{M}^{2}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{m_{7}} ( t ) + \frac{{N_{M}^{2}{m_{10}}}}{{2\kappa {\lambda _{1}}{\lambda _{2}}}}{e^{{m_{10}}t}} \int _{0}^{t} {{m_{7}} ( \eta ){e^{ - {m_{10}}\eta }}\,d \eta }$.

Inserting (3.22) into (3.12), we have

$$ \begin{aligned} \int _{0}^{t} { \int _{{\Omega _{2}}} {\omega _{i}^{m} \omega _{i}^{m}\,dx} } \,d \eta \le {\hat{\lambda }^{2}} \biggl( { \frac{{{m_{7}} ( t )}}{{{\lambda _{1}}{\lambda _{2}}}} + {m_{12}} \int _{0}^{t} {{m_{11}} ( \eta )\,d \eta } } \biggr), \end{aligned} $$

(3.23)

where ${m_{12}} = \max \{ {G_{1}^{2},\frac{{2\kappa }}{{N_{M}^{2}}}} \}$. □