On a two-dimensional fractional thermoelastic system with nonlocal constraints describing a fractional Kirchhoff plate

Abstract

We show herein the existence and uniqueness of solutions for coupled fractional order partial differential equations modeling a thermoelastic fractional Kirchhoff plate model associated with initial, Dirichlet, and nonlocal boundary conditions involving fractional Caputo derivative. Some efficient results of existence and uniqueness are obtained by employing the energy inequality method.

1 Introduction

The systems of differential equations of time fractional order have been studied by many authors, and several results have been obtained. These types of systems have been successfully used in modeling many problems in different processes and systems such as physical and biological ones. Fractional calculus (fractional derivatives) can be used to describe viscoelastic materials much better than using ordinary derivatives, since for the ordinary derivatives the solution of the system predicts an instantaneous response, but when using the fractional derivatives, the solution of the system predicts a retarded response that depends on the history of the applied causes (see [1]), see also [2–5]. Many generalizations of thermoelasticity coupled theory were investigated (see [6]), they model heat conduction in solids as a wave propagation phenomenon. In this regard, the reader can see also [7–13], where the authors studied other models of fractional order thermoelasticity. Some new and recent results on fractional Caputo and Riemann–Liouville operators and their applications can be found in [14–19]. The reader also could refer to some recent thermoelasticity problems investigated by [20–22]. It is important to mention that fractional nonlocal problems are much harder to deal with, and this is because of the nonlocal nature of the fractional derivative and the nonlocal nature of the boundary condition (boundary integral condition). It seems that the functional analysis method we apply in this paper is very efficient to solve some nonlocal fractional initial boundary value problems for single and systems of some different classes of partial differential equations. We can find only a few papers that use the previous method in the literature, and we can cite, for example, [23–28].

Motivated by the above papers, in this work we deal with the existence and uniqueness of solutions for a fractional order initial boundary value problem for a two-dimensional coupled linear thermoelastic system of fourth order with nonlocal conditions defined by problem (2.1)–(2.4), which models a thermoelastic fractional Kirchhoff plate. If in our fractional thermoelasticity model (2.1) we let α to approach 1, we obtain some classes of classical thermoelastic models which all describe vibrations of some thin thermoelastic plate, and these vibrations are described by the Kirchhoff plate. See for example the model studied in [29]: In the domain $Q=\Omega \times (0,T)$, with Ω a bounded, open, connected set in $\mathbb{R} ^{2}$, with boundary $\partial Q=\partial \Omega \times (0,T)$, the authors consider the following nonhomogeneous controlled system associated with some initial and boundary conditions:

$$ \textstyle\begin{cases} V_{tt}-\eta \Delta V_{tt}+\Delta ^{2}V=F,&\text{in }Q, \\ \beta U_{t}-\Delta U-C\Delta V_{t}=H,&\text{in }Q,\end{cases} $$

(1.1)

where η, β, and C, were positive constants. The authors considered the null controllability problem for system (1.1), which describes thermoelastic plates. The reader could also see [30], where the authors studied the uniform stability of an integer order thermoelastic plate, with some prescribed initial and boundary conditions taken from [31], which reads as follows:

$$ \textstyle\begin{cases} V_{tt}-\gamma \Delta V_{tt}+\Delta ^{2}V+\alpha \Delta U=0, &\text{in }(0,\infty )\times \Omega , \\ \beta U_{t}-\eta \Delta U+\sigma U-\alpha \Delta V_{t}=0, &\text{in }(0,\infty )\times \Omega ,\end{cases} $$

(1.2)

where α, β, η are positive constants and γ is a nonnegative constant. For other nonfractional models, the reader could refer to [32–34] and the references therein.

This paper is structured as follows. After a short introduction in section one, in section two, the problem to investigate is reformulated and some function spaces are introduced. In section three, the main result of uniqueness of the solution of the posed problem is given. In section four, we establish the proof of the main result concerning the solvability of the posed problem.

2 Problem setting

Let $\Omega =(0,a)\times (0,b)$ be a bounded open subset of $\mathbb{R}^{2}$ with sufficiently smooth boundary, and let $T>0$ be the terminal time. We consider on $(0,T)\times \Omega$ the following inhomogeneous fractional thermoelastic system with the control functions $f\in L^{2}(0,T;L^{2}(\Omega ))$ (external force), and $g\in L^{2}(0,T;L^{2}(\Omega ))$ (external thermal influence), which reads as follows:

$$ \textstyle\begin{cases} \mathcal{L}_{1}( \mathcal{M},\theta ) =\partial _{t}^{\alpha +1} \mathcal{M}+\Delta ^{2} \mathcal{M}-\gamma \partial _{t}^{\alpha +1}( \Delta \mathcal{M})+d\Delta \theta \\ \hphantom{\mathcal{L}_{1}( \mathcal{M},\theta )} =f(x,y,t), \\ \mathcal{L}_{2}( \mathcal{M},\theta ) =\beta \partial _{t}^{ \alpha }\theta -\eta \Delta \theta +\delta \theta -d\Delta \mathcal{M}_{t} \\ \hphantom{\mathcal{L}_{2}( \mathcal{M},\theta ) } =g(x,y,t),\end{cases} $$

(2.1)

along with the initial conditions

$$ \textstyle\begin{cases} \ell _{1}\mathcal{M} = \mathcal{M}(x,y,0)= \mathcal{M}_{0}(x,y), \\ \ell _{2} \mathcal{M} = \mathcal{M}_{t}(x,y,0)= \mathcal{M}_{1}(x,y), \\ \ell _{3}\theta =\theta (x,y,0)=\theta _{0}(x,y),\end{cases} $$

(2.2)

boundary Dirichlet conditions on the displacement $\mathcal{M}$

$$ \left\{ \textstyle\begin{array}{c} \mathcal{M}(0,y,t)= \mathcal{M}(a,y,t)=0, \\ \mathcal{M}(x,0,t)= \mathcal{M}(x,b,t)=0,\end{array}\displaystyle \right\vert , $$

(2.3)

and boundary integral conditions on the displacement $\mathcal{M}$ and on the thermal damping θ

$$ \textstyle\begin{cases} \int _{0}^{a}x^{k} \mathcal{M}\,dx =\int _{0}^{b}y^{k} \mathcal{M}\,dy=0, \\ \int _{0}^{1}x^{k}\theta \,dx =\int _{0}^{1}y^{k} \theta \,dy=0,\quad k=0,1,\end{cases} $$

(2.4)

where $\ell _{1}$, $\ell _{2}$, $\ell _{3}$ designate the trace operators and $\partial _{t}^{\alpha +1} \mathcal{M}$ is the time fractional Caputo derivative of order $1+\alpha$ with $\alpha \in (0,1)$ for the function $\mathcal{M}$ [14], and it is given by the formula

$$ \partial _{t}^{\alpha +1} \mathcal{M}(x,t)= \frac{1}{\Gamma (1-\alpha )}\int _{0}^{t} \frac{\mathcal{M}_{\tau \tau }(x,\tau )}{(t-\tau )^{\alpha }}\,d\tau , $$

and β, δ, γ, d, and η are strictly positive constants. In the elastic differential equation in (2.1), the term $\partial _{t}^{\alpha +1}(\Delta \mathcal{M})$ accounts for rotational inertia for $\gamma >0$, where γ is proportional to the thickness of the plate, the constant d stands for the thermoelastic coupling parameter, the parameters δ and η are thermal coefficients, and β is considered as the heat capacity. The given model (2.1)–(2.4) mathematically describes a fractional Kirchhoff plate, the displacement of which is represented by the function $\mathcal{M}$ subjected to a thermal damping as quantified by θ. The boundary integral conditions may be interpreted as the average and weighted average of the displacement and the thermal damping. We mention here that some of the hinged conditions are replaced by nonlocal conditions (2.4), this may be due to the fact that some of the data cannot be measured on the boundary.

For establishing the existence and uniqueness of solution of problems (2.1)–(2.4), we reformulate them in an operator form, which allows us to obtain some energy estimates needed for our proofs. The solution of problems (2.1)–(2.4) can be regarded as the solution of the operator equation

$$ \mathcal{A}U=W=\bigl(\{f,u_{0},u_{1}\},\{g,\theta _{0}\}\bigr), $$

(2.5)

where $\mathcal{A}:\mathcal{E}\longrightarrow \mathcal{F}$ is an unbounded operator with domain $\mathcal{D(A)}$ consisting of all functions $( \mathcal{M},\theta )$ belonging to $L^{2}(Q^{T})\times L^{2}(Q^{T})$ for which $\mathcal{M}_{xxxx}$, $\mathcal{M}_{yyyy}$, $\partial _{t}^{\alpha }\mathcal{M}_{t}$, $\mathcal{M}_{xxtt}$, $\mathcal{M}_{yytt}$, $\mathcal{M}_{xxt}$, $\mathcal{M}_{yyt}$, $\mathcal{M}_{t}$, $\theta _{xx}$, $\theta _{yy}$, $\partial _{t}^{\alpha }\theta$ are in $L^{2}(Q^{T})$, and satisfying conditions (2.3)–(2.4). Let $\mathcal{E}$ be a Banach space of functions $U=( \mathcal{M}, \theta )\in (L^{2}(Q^{T}))^{2}$ endowed with the finite norm

$$\begin{aligned} \Vert U \Vert _{ \mathcal{E}}^{2}={}& \bigl\Vert \mathcal{M}_{x}(\cdot,\cdot,\tau ) \bigr\Vert _{C(0,T;B_{2}^{1,y}(\Omega ))}^{2}+ \bigl\Vert \mathcal{M}_{y}(\cdot,\cdot, \tau ) \bigr\Vert _{C(0,T;B_{2}^{1,x}(\Omega ))}^{2} \\ &{} + \bigl\Vert \mathcal{M}(\cdot,\cdot,\tau ) \bigr\Vert _{C(0,T;L^{2}(\Omega ))}^{2}, \end{aligned}$$

(2.6)

and let $\mathcal{F}$ be a Hilbert space constituting of the elements $W= (\{f, \mathcal{M}_{0}, \mathcal{M}_{1}\},\{g,\theta _{0}\} )$ equipped with the norm

$$\begin{aligned} \Vert \mathcal{A}U \Vert _{ \mathcal{F}}^{2} ={}& \Vert W \Vert _{ \mathcal{F}}^{2} \\ ={}&\Vert \mathcal{M}_{0} \Vert _{H_{0}^{1}(\Omega )}^{2}+ \Vert \mathcal{M}_{1} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \theta _{0} \Vert _{L^{2}( \Omega )}^{2} + \Vert f \Vert _{L^{2}(Q^{T})}^{2}+ \Vert g \Vert _{L^{2}(Q^{T})}^{2}. \end{aligned}$$

(2.7)

We introduce here the following function spaces: Let $H^{1}(\Omega )$ be the usual Sobolev space with the inner product

$$ ( Z, Y)_{H^{1}(\Omega )}=( Z, Y)_{L^{2}(\Omega )}+( Z_{x}, Y_{x})_{L^{2}(\Omega )}, $$

where $L^{2}(\Omega )$ is the space of square integrable functions. And let $C(0,T;B_{2}^{N}(\Omega ))$, $C(0,T; B_{2}^{1,x}(\Omega ))$, $C(0,T;B_{2}^{1,y}(\Omega ))$, $C(0,T;B_{2}^{1,x,y}(\Omega ))$ be the set of continuous mappings from the interval $[0,T]$ into the Hilbert spaces $B_{2}^{N}(\Omega ))$, $B_{2}^{1,x}(\Omega )$, $B_{2}^{1,y}(\Omega )$, $B_{2}^{1,x,y}(\Omega )$, respectively, having the inner products

$$\begin{aligned}& ( Z, Y)_{B_{2}^{N}(\Omega )} = \int _{\Omega }\Im _{x}^{N}Z. \Im _{x}^{N}Y\,dx\,dy,\qquad ( Z, Y)_{B_{2}^{1,x}(\Omega )}= \int _{\Omega }\Im _{x}Z.\Im _{x}Y\,dx \,dy, \\& ( Z, Y)_{B_{2}^{1,y}(\Omega )} = \int _{\Omega }\Im _{y}Z. \Im _{y}Y\,dx \,dy,\qquad( Z, Y)_{B_{2}^{1,x,y}(\Omega )}= \int _{ \Omega }\Im _{xy}Z.\Im _{xy}Y\,dx \,dy, \end{aligned}$$

with $B_{2}^{N}(\Omega ))$ (see [35]) being the set of function Z such that $\Im _{\theta }^{N}Z=\frac{1}{(N-1)!}\int _{0}^{\theta }( \theta -\nu )^{N-1}\times Z(\nu , t)\,d\nu \in L^{2}(\Omega )$ for $N\in \mathbb{N} ^{\ast }$ and $Z\in L^{2}(\Omega )$ for $N=0$.

The following crucial lemmas are needed to be used in different proofs of our results.

Lemma 2.1

([23])

For any absolutely continuous function $L(t)$ on the interval $[0,T]$, the following inequality holds:

$$ L(t)\text{ }^{C}\partial _{t}^{\beta }L(t) \geq \frac{1}{2}\text{ }^{C}\partial _{t}^{\beta }L^{2}(t),\quad 0< \beta < 1. $$

(2.8)

Lemma 2.2

([36])

Let $\mathcal{N}(s)$ be nonnegative and absolutely continuous on $[0,T]$ and for almost all $s\in {}[ 0,T]$ satisfy the inequality

$$ \frac{d\mathcal{N}}{ds}\leq A_{1}(s)\mathcal{N}(t)+B_{1}(s), $$

(2.9)

where the functions $A_{1}(s)$ and $B_{1}(s)$ are summable and nonnegative on $[0,T]$. Then

$$ \mathcal{N}(s)\leq \exp \biggl( \int _{0}^{s}A_{1}(t)\,dt \biggr) \biggl( \mathcal{N}(0)+ \int _{0}^{s}B_{1}(t)\,dt \biggr) . $$

(2.10)

Lemma 2.3

([23])

Let a nonnegative absolutely continuous function $Q(t)$ satisfy the inequality

$$ ^{C}\partial _{t}^{\beta }Q(t)\leq b_{1}Q(t)+b_{2}(t),\quad 0< \beta < 1, $$

(2.11)

for almost all $t\in {}[ 0,T]$, where $b_{1}$ is a positive constant and $b_{2}(t)$ is an integrable nonnegative function on $[0,T]$. Then

$$ Q(t)\leq Q(0)E_{\beta }\bigl(b_{1}t^{\beta }\bigr)+ \Gamma (\beta )E_{\beta , \beta }\bigl(b_{1}t^{\beta } \bigr)D_{t}^{-\beta }b_{2}(t), $$

(2.12)

where

$$ E_{\beta }(x)=\sum_{n=0}^{\infty } \frac{x^{n}}{\Gamma (\beta n+1)} \quad \textit{and}\quad E_{\beta ,\mu }(x)=\sum _{n=0}^{\infty } \frac{x^{n}}{\Gamma (\beta n+\mu )}, $$

are the Mittag-Leffler functions and

$$ D_{t}^{-\alpha }h(x,t)=\frac{1}{\Gamma (\alpha )} \int _{0}^{t} \frac{h(x,\tau )}{(t-\tau )^{1-\alpha }}\,d\tau $$

is the Riemann–Liouville integral of order $0<\alpha <1$ of the function h [37].

3 The energy inequality (uniqueness of solution)

Theorem 3.1

For any function $U=( \mathcal{M},\theta )$ belonging to $\mathcal{D(A)}$, there exists a positive constant $\mathcal{D}^{ \ast }$, independent of $\mathcal{M}$ and θ, such that the following a priori estimate holds:

$$\begin{aligned}& \bigl\Vert \mathcal{M}_{x}(\cdot,\cdot,\tau ) \bigr\Vert _{C(0,T;B_{2}^{1,y}(\Omega ))}^{2}+ \bigl\Vert \mathcal{M}_{y}( \cdot,\cdot,\tau ) \bigr\Vert _{C(0,T;B_{2}^{1,x}(\Omega ))}^{2} \\& \qquad {}+ \bigl\Vert \mathcal{M}(\cdot,\cdot,\tau ) \bigr\Vert _{C(0,T;L^{2}(\Omega ))}^{2} \\& \quad \leq \mathcal{D}^{\ast }\bigl( \Vert \mathcal{M}_{0} \Vert _{H_{0}^{1}( \Omega )}^{2}+ \Vert \mathcal{M}_{1} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \theta _{0} \Vert _{L^{2}(\Omega )}^{2} \\& \qquad {} + \Vert f \Vert _{L^{2}(Q^{T})}^{2}+ \Vert g \Vert _{L^{2}(Q^{T})}^{2} \bigr) , \end{aligned}$$

(3.1)

where

$$ \mathcal{D}^{\ast }=\max \biggl\{ 2\mathcal{H}, \frac{\mathcal{H}\omega T^{\alpha }}{\Gamma (\alpha +1)}+1 \biggr\} $$

with

$$\begin{aligned}& \mathcal{H=}\max \biggl\{ 1,C^{\ast }, \frac{T^{1-\alpha }ab}{2(1-\alpha )\Gamma (1-\alpha )}+ \frac{a}{2}+ \frac{b}{2} \biggr\} , \\& \omega =\bigl(\Gamma (\alpha ).E_{\alpha ,\alpha }\bigl(\mathcal{H}.T^{\alpha } \bigr)\bigr) \mathcal{H}\max \biggl( 1, \frac{T^{\alpha +1}}{(\alpha +1)\Gamma (\alpha +1)} \biggr) , \end{aligned}$$

and

$$ C^{\ast }= \frac{\max \{1,\frac{ab}{4\delta },\frac{ab}{8}\}}{\min \{1,2,\beta ,\gamma ,2\eta ,\delta \}}. $$

Proof

Taking the scalar product in $L^{2}(\Omega )$ of partial differential (2.1) equations and the operators $M_{1} ( \mathcal{M} ) =\Im _{xy}^{2} \mathcal{M}_{t}$ and $M_{2} ( \theta ) =\Im _{xy}^{2}\theta$, respectively, where

$$ \Im _{xy}^{2}v(x,y,t)= \int _{0}^{x} \int _{0}^{\xi _{1}} \int _{0}^{y} \int _{0}^{\eta _{1}}v(\gamma ,\rho ,t)\,d \rho \,d\eta _{1}\,d\gamma \,d\xi _{1}, $$

then we have

$$\begin{aligned} & \bigl(\partial _{t}^{\alpha } \mathcal{M}_{t}, \Im _{x}^{2}\Im _{y}^{2} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}+\bigl( \mathcal{M}_{xxxx}, \Im _{x}^{2} \Im _{y}^{2} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )} \\ &\qquad {} +\bigl( \mathcal{M}_{yyyy},\Im _{x}^{2} \Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}+2\bigl( \mathcal{M}_{xxyy},\Im _{x}^{2}\Im _{y}^{2} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )} \\ & \qquad {}-\gamma \bigl( \partial _{t}^{\alpha +1} \mathcal{M}_{xx},\Im _{x}^{2} \Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}-\gamma \bigl( \partial _{t}^{ \alpha +1} \mathcal{M}_{yy},\Im _{x}^{2}\Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}( \Omega )} \\ &\qquad {} +d\bigl(\theta _{xx},\Im _{x}^{2} \Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}( \Omega )}+d\bigl(\theta _{yy},\Im _{x}^{2} \Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}( \Omega )} \\ &\qquad {} +\beta \bigl(\partial _{t}^{\alpha }\theta ,\Im _{x}^{2}\Im _{y}^{2} \theta \bigr)_{L^{2}(\Omega )}-\eta \bigl(\theta _{xx},\Im _{x}^{2}\Im _{y}^{2} \theta \bigr)_{L^{2}(\Omega )} \\ &\qquad {} -\eta \bigl(\theta _{yy},\Im _{x}^{2} \Im _{y}^{2}\theta \bigr)_{L^{2}(\Omega )}+ \delta \bigl( \theta ,\Im _{x}^{2}\Im _{y}^{2} \theta \bigr)_{L^{2}(\Omega )} \\ & \qquad {}-d\bigl( \mathcal{M}_{xxt},\Im _{x}^{2} \Im _{y}^{2}\theta \bigr)_{L^{2}( \Omega )}-d\bigl( \mathcal{M}_{yyt},\Im _{x}^{2}\Im _{y}^{2}\theta \bigr)_{L^{2}( \Omega )} \\ &\quad =\bigl(f(x,y,t),\Im _{x}^{2}\Im _{y}^{2} \mathcal{M}_{t} \bigr)_{L^{2}( \Omega )}+\bigl(g(x,y,t),\Im _{x}^{2}\Im _{y}^{2}\theta \bigr)_{L^{2}(\Omega )}. \end{aligned}$$

(3.2)

We separately consider the inner products in (3.2). Integrating by parts and taking into account boundary and initial conditions (2.2)–(2.4), we obtain

$$\begin{aligned}& \bigl(\partial _{t}^{\alpha } \mathcal{M}_{t},\Im _{xxyy} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}= \bigl(\partial _{t}^{\alpha }(\Im _{xy} \mathcal{M}_{t}),\Im _{xy} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(3.3)

$$\begin{aligned}& ( \mathcal{M}_{xxxx},\Im _{xxyy} \mathcal{M}_{t})_{L^{2}(\Omega )}= \frac{1}{2}\frac{\partial }{\partial t} \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(3.4)

$$\begin{aligned}& ( \mathcal{M}_{yyyy},\Im _{xxyy} \mathcal{M}_{t})_{L^{2}(\Omega )}= \frac{1}{2}\frac{\partial }{\partial t} \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(3.5)

$$\begin{aligned}& 2( \mathcal{M}_{xxyy},\Im _{xxyy} \mathcal{M}_{t})_{L^{2}(\Omega )}= \frac{\partial }{\partial t} \Vert \mathcal{M} \Vert _{L^{2}( \Omega )}^{2}, \end{aligned}$$

(3.6)

$$\begin{aligned}& -\gamma \bigl( \partial _{t}^{\alpha +1}\mathcal{M}_{xx}, \Im _{xxyy} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}= \gamma \bigl( \partial _{t}^{\alpha }\Im _{y} \mathcal{M}_{t},\Im _{y}\mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(3.7)

$$\begin{aligned}& -\gamma \bigl( \partial _{t}^{\alpha +1}\mathcal{M}_{yy}, \Im _{xxyy} \mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}= \gamma \bigl( \partial _{t}^{\alpha }\Im _{x} \mathcal{M}_{t},\Im _{x}\mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(3.8)

$$\begin{aligned}& d(\theta _{xx},\Im _{xxyy} \mathcal{M}_{t})_{L^{2}(\Omega )}=-d( \Im _{y} \theta ,\Im _{y} \mathcal{M}_{t})_{L^{2}(\Omega )}, \end{aligned}$$

(3.9)

$$\begin{aligned}& d(\theta _{yy},\Im _{xxyy} \mathcal{M}_{t})_{L^{2}(\Omega )}=-d( \Im _{x} \theta ,\Im _{x} \mathcal{M}_{t})_{L^{2}(\Omega )}, \end{aligned}$$

(3.10)

$$\begin{aligned}& \beta \bigl(\partial _{t}^{\alpha }\theta ,\Im _{xxyy}\theta \bigr)_{L^{2}( \Omega )}=\beta \bigl(\partial _{t}^{\alpha }(\Im _{xy}\theta ),\Im _{xy} \theta \bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(3.11)

$$\begin{aligned}& -\eta (\theta _{xx},\Im _{xxyy}\theta )_{L^{2}(\Omega )}= \eta \Vert \Im _{y}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(3.12)

$$\begin{aligned}& -\eta (\theta _{yy},\Im _{xxyy}\theta )_{L^{2}(\Omega )}= \eta \Vert \Im _{x}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(3.13)

$$\begin{aligned}& \delta (\theta ,\Im _{xxyy}\theta )_{L^{2}(0,1)}=\delta \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(3.14)

$$\begin{aligned}& -d( \mathcal{M}_{xxt},\Im _{xxyy}\theta )_{L^{2}(\Omega )}=d(\Im _{y} \theta ,\Im _{y} \mathcal{M}_{t})_{L^{2}(\Omega )}, \end{aligned}$$

(3.15)

$$\begin{aligned}& -d( \mathcal{M}_{yyt},\Im _{xxyy}\theta )_{L^{2}(\Omega )}=d(\Im _{x} \theta ,\Im _{x} \mathcal{M}_{t})_{L^{2}(\Omega )}. \end{aligned}$$

(3.16)

Substitution of equations (3.3)–(3.16) into (3.2) yields

$$\begin{aligned} & \bigl(\partial _{t}^{\alpha }(\Im _{xy} \mathcal{M}_{t}),\Im _{xy} \mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}+\frac{1}{2}\frac{\partial }{\partial t} \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\frac{1}{2}\frac{\partial }{\partial t} \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}(\Omega )}^{2}+\frac{\partial }{\partial t} \Vert \mathcal{M} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\gamma \bigl( \partial _{t}^{\alpha }\Im _{y}\mathcal{M}_{t},\Im _{y}\mathcal{M}_{t}\bigr)_{L^{2}(\Omega )}+\gamma \bigl(\quad \partial _{t}^{\alpha } \Im _{x}\mathcal{M}_{t},\Im _{x}\mathcal{M}_{t} \bigr)_{L^{2}(\Omega )} \\ &\qquad {} +\beta \bigl(\partial _{t}^{\alpha }(\Im _{xy}\theta ),\Im _{xy}\theta \bigr)_{L^{2}( \Omega )}+ \eta \Vert \Im _{y}\theta \Vert _{L^{2}( \Omega )}^{2} \\ &\qquad {} +\eta \Vert \Im _{x}\theta \Vert _{L^{2}(\Omega )}^{2}+ \delta \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2} \\ &\quad =\bigl(f(x,y,t),\Im _{xxyy} \mathcal{M}_{t} \bigr)_{L^{2}(\Omega )}+\bigl(g(x,y,t), \Im _{xxyy}\theta \bigr)_{L^{2}(\Omega )}. \end{aligned}$$

(3.17)

By using Lemma 2.1, Cauchy ϵ inequality $\alpha \beta \leq \frac{\varepsilon }{2}\alpha ^{2}+\frac{1}{2\varepsilon }\beta ^{2}$, and a Poincare type inequality [38], we obtain

$$\begin{aligned} & \frac{1}{2}\partial _{t}^{\alpha } \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+ \frac{\beta }{2}\partial _{t}^{\alpha } \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\frac{1}{2}\frac{\partial }{\partial t} \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}(\Omega )}^{2}+\frac{1}{2} \frac{\partial }{\partial t} \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}( \Omega )}^{2} \\ &\qquad {} +\frac{\partial }{\partial t} \Vert \mathcal{M} \Vert _{L^{2}( \Omega )}^{2}+\frac{\gamma }{2}\partial _{t}^{\alpha } \Vert \Im _{y} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\frac{\gamma }{2}\partial _{t}^{\alpha } \Vert \Im _{x} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+\eta \Vert \Im _{y}\theta \Vert _{L^{2}( \Omega )}^{2} \\ &\qquad {} +\eta \Vert \Im _{x}\theta \Vert _{L^{2}(\Omega )}^{2}+\delta \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2} \\ & \quad \leq \frac{\epsilon _{1}}{2} \Vert f \Vert _{L^{2}(\Omega )}^{2}+ \frac{ab}{8\epsilon _{1}} \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\frac{\epsilon _{2}}{2} \Vert g \Vert _{L^{2}(\Omega )}^{2}+ \frac{ab}{8\epsilon _{2}} \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2}. \end{aligned}$$

(3.18)

If in (3.18) we let $\epsilon _{1}=1$, $\epsilon _{2}=\frac{ab}{4\delta }$, it follows that

$$\begin{aligned} & \partial _{t}^{\alpha } \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}( \Omega )}^{2}+\beta \partial _{t}^{\alpha } \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2}+\frac{\partial }{\partial t} \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\frac{\partial }{\partial t} \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}( \Omega )}^{2}+2 \frac{\partial }{\partial t} \Vert \mathcal{M} \Vert _{L^{2}( \Omega )}^{2}+ \gamma \partial _{t}^{\alpha } \Vert \Im _{y} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +\gamma \partial _{t}^{\alpha } \Vert \Im _{x} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+2 \eta \Vert \Im _{y}\theta \Vert _{L^{2}( \Omega )}^{2}+2 \eta \Vert \Im _{x}\theta \Vert _{L^{2}(\Omega )}^{2}+ \delta \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2} \\ & \quad \leq \Vert f \Vert _{L^{2}(\Omega )}^{2}+ \frac{ab}{8} \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+\frac{ab}{4\delta } \Vert g \Vert _{L^{2}(\Omega )}^{2}. \end{aligned}$$

(3.19)

We now discard the last three terms of the left-hand side (3.19) and get the inequality

$$\begin{aligned} & \partial _{t}^{\alpha } \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}( \Omega )}^{2}+\partial _{t}^{\alpha } \Vert \Im _{xy}\theta \Vert _{L^{2}( \Omega )}^{2} \\ &\qquad {} +\frac{\partial }{\partial t} \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}( \Omega )}^{2}+ \frac{\partial }{\partial t} \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}(\Omega )}^{2} \\ & \qquad {}+\frac{\partial }{\partial t} \Vert \mathcal{M} \Vert _{L^{2}( \Omega )}^{2}+\partial _{t}^{\alpha } \Vert \Im _{y} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+\partial _{t}^{\alpha } \Vert \Im _{x} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2} \\ &\quad \leq C\bigl( \Vert f \Vert _{L^{2}(\Omega )}^{2}+ \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}+ \Vert g \Vert _{L^{2}(\Omega )}^{2} \bigr), \end{aligned}$$

(3.20)

where

$$ C^{\ast }= \frac{\max \{1,\frac{ab}{4\delta },\frac{ab}{8}\}}{\min \{1,2,\beta ,\gamma ,2\eta ,\delta \}}. $$

(3.21)

Now replacing t by τ and integrating with respect to τ from zero to t, we obtain

$$\begin{aligned} & D_{t}^{\alpha -1} \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \Vert \Im _{xy}\theta \Vert _{L^{2}( \Omega )}^{2}+ \Vert \Im _{y} \mathcal{M}_{x} \Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} + \Vert \Im _{x} \mathcal{M}_{y} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \mathcal{M} \Vert _{L^{2}(\Omega )}^{2}+D_{t}^{\alpha -1} \Vert \Im _{y} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2} +D_{t}^{\alpha -1} \Vert \Im _{x} \mathcal{M}_{t} \Vert _{L^{2}( \Omega )}^{2} \\ & \quad \leq \mathcal{H} \biggl( \int _{0}^{t} \Vert f \Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert g \Vert _{L^{2}( \Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert \Im _{xy} \mathcal{M}_{\tau } \Vert _{L^{2}( \Omega )}^{2}\,d\tau \\ &\qquad {} + \Vert \mathcal{M}_{1} \Vert _{L^{2}(\Omega )}^{2} + \Vert \theta _{0} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \mathcal{M}_{0} \Vert _{H_{0}^{1}(\Omega )}^{2} \biggr) , \end{aligned}$$

(3.22)

where

$$ \mathcal{H=}\max \biggl\{ 1,C^{\ast }, \frac{T^{1-\alpha }ab}{2(1-\alpha )\Gamma (1-\alpha )}+ \frac{a}{2}+ \frac{b}{2} \biggr\} . $$

(3.23)

Now, by dropping the last six terms from the left-hand side of (3.22) and applying Lemma 2.3 with

$$\begin{aligned}& \begin{gathered} Q(t) = \int _{0}^{t} \Vert \Im _{xy} \mathcal{M}_{\tau } \Vert _{L^{2}(\Omega )}^{2}\,d\tau , \quad Q(0)=0, \\ \partial _{t}^{\alpha }Q(t) =D_{t}^{\alpha -1} \Vert \Im _{xy} \mathcal{M}_{t} \Vert _{L^{2}(\Omega )}^{2}, \end{gathered} \end{aligned}$$

(3.24)

we have

$$\begin{aligned} \int _{0}^{t} \Vert \Im _{xy} \mathcal{M}_{\tau } \Vert _{L^{2}( \Omega )}^{2}\,d\tau \leq{}& \omega \bigl( D_{t}^{-\alpha -1} \Vert f \Vert _{L^{2}(\Omega )}^{2}+D_{t}^{-\alpha -1} \Vert g \Vert _{L^{2}( \Omega )}^{2} \\ & {}+ \Vert \mathcal{M}_{1} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \theta _{0} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \mathcal{M}_{0} \Vert _{H_{0}^{1}( \Omega )}^{2} \bigr) , \end{aligned}$$

(3.25)

where

$$ \omega =\bigl(\Gamma (\alpha ).E_{\alpha ,\alpha }\bigl(\mathcal{H}.T^{\alpha } \bigr)\bigr)\mathcal{H}\max \biggl( 1, \frac{T^{\alpha +1}}{(\alpha +1)\Gamma (\alpha +1)} \biggr) . $$

(3.26)

By virtue of the inequality

$$\begin{aligned}& D_{t}^{-\alpha -1} \Vert f \Vert _{L^{2}(\Omega )}^{2}+D_{t}^{- \alpha -1} \Vert g \Vert _{L^{2}(\Omega )}^{2} \\& \quad \leq \frac{t^{\alpha }}{\Gamma (\alpha +1)} \biggl( \int _{0}^{t} \Vert f \Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert g \Vert _{L^{2}(\Omega )}^{2}\,d\tau \biggr) , \end{aligned}$$

(3.27)

it follows from inequalities (3.22), (3.25), and (3.27) that

$$\begin{aligned} & D_{t}^{\alpha -1} \Vert \mathcal{M}_{t} \Vert _{B_{2}^{1,x,y}(\Omega )}^{2}+D_{t}^{ \alpha -1} \Vert \theta \Vert _{B_{2}^{1,x,y}(\Omega )}^{2}+D_{t}^{ \alpha -1} \Vert \mathcal{M}_{t} \Vert _{B_{2}^{1,x}(\Omega )}^{2} \\ &\qquad {} +D_{t}^{\alpha -1} \Vert \mathcal{M}_{t} \Vert _{B_{2}^{1,y}(\Omega )}^{2}+ \Vert \mathcal{M}_{y} \Vert _{B_{2}^{1,x}(\Omega )}^{2}+ \Vert \mathcal{M} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \mathcal{M}_{x} \Vert _{B_{2}^{1,y}( \Omega )}^{2} \\ &\quad \leq \mathcal{D}^{\ast }\bigl( \Vert \mathcal{M}_{0} \Vert _{H_{0}^{1}( \Omega )}^{2}+ \Vert \mathcal{M}_{1} \Vert _{L^{2}(\Omega )}^{2}+ \Vert \theta _{0} \Vert _{L^{2}(\Omega )}^{2} \\ & \qquad {} + \Vert f \Vert _{L^{2}(Q^{T})}^{2}+ \Vert g \Vert _{L^{2}(Q^{T})}^{2}\bigr) , \end{aligned}$$

(3.28)

where

$$ \mathcal{D}^{\ast }=\max \biggl\{ 2\mathcal{H}, \frac{\mathcal{H\omega }T^{\alpha }}{\Gamma (\alpha +1)}+1 \biggr\} . $$

(3.29)

If we discard the first four terms on the left-hand side of (3.28) and then pass to the supremum with respect to t from 0 to T, the a priori bound (3.1) follows. □

4 Solvability of the posed problem

As we only know that the range of the operator $\mathcal{A}: \mathcal{E}\rightarrow \mathcal{F}$, $R(\mathcal{A})$ is a subset of $\mathcal{F}$, we extend $\mathcal{A}$ in such a way that $\Vert U\Vert _{ \mathcal{E}}\leq C\Vert \overline{\mathcal{A}\text{ }}U\Vert _{ \mathcal{F}}$ for all $U\in D(\overline{\mathcal{A}\text{ }})$ and $R(\overline{\mathcal{A} })= \mathcal{F}$. For this purpose, we prove the following.

Theorem 4.1

The unbounded operator $\mathcal{A}: \mathcal{E}\rightarrow \mathcal{F}$ admits a closure $\overline{\mathcal{A}}$ with the domain of definition $D(\overline{\mathcal{A}})$.

Proof

The proof is analogous to [39]. □

Theorem 4.2

For any $(f,g)\in (L^{2}(Q^{T}))^{2}$ and any $( \mathcal{M}_{0}, \mathcal{M}_{1},\theta _{0} ) \in H_{0}^{1}( \Omega )\times (L^{2}(Q^{T}))^{2}$, there exists a unique strong solution $U=(\mathcal{M},\theta )=(\overline{\mathcal{A}})^{-1}(W)=( \overline{\mathcal{A}^{-1}})(W)$ of problem (2.1)–(2.4).

Proof

To prove that problem (2.1)–(2.4) has a unique strong solution for all $W=(\{f, \mathcal{M}_{0}, \mathcal{M}_{1}\},\{g,\theta _{0}\})\in \mathcal{F}$, it suffices to prove that the range of the operator $\mathcal{A}$ is dense in $\mathcal{F}$. We first prove it in the case when $\mathcal{D}(\mathcal{A})=\mathcal{D}_{0}(\mathcal{A})=\{U\in \mathcal{D(A)}:\ell _{1} \mathcal{M}=\ell _{2} \mathcal{M}=\ell _{3}\theta =0\}$. For this purpose we need to prove the following result. □

Theorem 4.3

If for some function $G=(G_{1},G_{2})$ belongs to $(L^{2}(\Omega ))^{2}$ and for any $U=( \mathcal{M},\theta )\in \mathcal{D}_{0}(\mathcal{A})$ we have

$$ \bigl(\mathcal{L}_{1}( \mathcal{M},\theta ),G_{1} \bigr)_{L^{2}(Q^{T})}+\bigl( \mathcal{L}_{2}( \mathcal{M},\theta ),G_{2}\bigr)_{L^{2}(Q^{T})}=0, $$

(4.1)

then $G=(G_{1},G_{2})=(0,0)$ almost everywhere in $Q^{T}$.

Assume that the proof of Theorem 4.3 is achieved. We suppose that, for some element $G=(G_{1},G_{2})=(\{f,\sigma _{1},\sigma _{2}\},\{g,\sigma _{3}\}) \in R(\mathcal{A})^{\perp }$ and for all $U\in \mathcal{D(A)}$,

$$\begin{aligned} (AU,\chi )_{ \mathcal{F}} =&\bigl( \bigl\{ \bigl\{ \mathcal{L}_{1}( \mathcal{M},\theta ),\ell _{1} \mathcal{M},\ell _{2} \mathcal{M}\bigr\} ,\bigl\{ \mathcal{L}_{2}( \mathcal{M},\theta ),l_{3}\theta \bigr\} \bigr\} ,\bigl\{ \{f,\sigma _{1},\sigma _{2}\},\{g,\sigma _{3}\}\bigr\} \bigr) _{ \mathcal{E}} \\ =&\bigl(\mathcal{L}_{1}( \mathcal{M},\theta ),f \bigr)_{L^{2}(Q^{T})}+(\ell _{1} \mathcal{M},\sigma _{1})_{H_{0}^{1}(\Omega )} \\ &{}+(\ell _{2} \mathcal{M},\sigma _{2})_{L^{2}(\Omega )}+ \bigl( \mathcal{L}_{2}( \mathcal{M},\theta ),g \bigr)_{L^{2}(Q^{T})} +(\ell _{3}\theta ,\sigma _{3})_{L^{2}(\Omega )} \\ =&0, \end{aligned}$$

(4.2)

we must prove that $G=0$. Taking $U\in \mathcal{D}_{0}\mathcal{(A)}$ in (4.2), we get

$$ \bigl(\mathcal{L}_{1}( \mathcal{M},\theta ),f\bigr)_{L^{2}(Q^{T})}+ \bigl( \mathcal{L}_{2}( \mathcal{M},\theta ),g\bigr)_{L^{2}(Q^{T})}=0. $$

(4.3)

Hence, by virtue of Theorem 4.3, it follows from (4.3) that $f=g=0$. Thus (4.2) takes the form

$$ (\ell _{1} \mathcal{M},\sigma _{1})_{H_{0}^{1}(\Omega )}+( \ell _{2} \mathcal{M},\sigma _{2})_{L^{2}(\Omega )}+(\ell _{3}\theta ,\sigma _{3})_{L^{2}( \Omega )}=0. $$

(4.4)

By the fact that the ranges of the trace operators $\ell _{1}$, $\ell _{2}$, and $\ell _{3}$ are, respectively, dense in the spaces $H_{0}^{1}(\Omega )$, $L^{2}(\Omega )$, $L^{2}(\Omega )$, we conclude from (4.4) that $\sigma _{1}=\sigma _{2}=\sigma _{3}=0$. Consequently, $G=(G_{1},G_{2})=(0,0)$, that is, $R(\mathcal{A})^{\perp }=\{0\}$, thus $\overline{R(\mathcal{A})}= \mathcal{F}$.

To complete the proof of Theorem 4.2, we prove Theorem 4.3.

Proof of Theorem 4.3

Equation (4.1) implies

$$\begin{aligned} & \bigl(\partial _{t}^{\alpha +1} \mathcal{M}+ \mathcal{M}_{xxxx}+ \mathcal{M}_{yyyy}+2 \mathcal{M}_{xxyy} \\ &\quad {} -\gamma \partial _{t}^{\alpha +1}\mathcal{M}_{xx}- \gamma \partial _{t}^{ \alpha +1}\mathcal{M}_{yy}+d \theta _{xx}+d\theta _{yy},G_{1} \bigr)_{L^{2}(Q^{T})} \\ &\quad {} +\bigl(\beta \partial _{t}^{\alpha }\theta -\eta \theta _{xx}-\eta \theta _{yy}+\delta \theta \\ &\quad {} -d \mathcal{M}_{xxt}-d \mathcal{M}_{yyt},G_{2} \bigr)_{L^{2}(Q^{T})}=0. \end{aligned}$$

(4.5)

Let $\mathcal{Z}(x,t)$ be a function satisfying the initial, boundary, and integral conditions such that $\mathcal{Z}$, $\mathcal{Z}_{x}$, $\mathcal{Z}_{y}$, $\Im _{t} \mathcal{Z}$, $\Im _{t} \mathcal{Z}_{x}$, $\Im _{t}$ $\mathcal{Z}_{y}$, $\partial _{t}^{\alpha +1} \mathcal{Z}\in L^{2}(Q^{T})$. We set $\mathcal{M}=\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}$, $\theta =\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}$, and define $G_{1}=\Im _{t} \mathcal{Z}$, $G_{2}=\Im _{t}^{2} \mathcal{Z}$. Clearly, $G_{1}$ and $G_{2}$ belong to $L^{2}(Q^{T})$. Relations (4.1) and (4.2) imply that

$$\begin{aligned} & (\bigl(\partial _{t}^{\alpha +1}\bigl(\Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})}+ \bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{xxxx},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})} \\ &\qquad {} +\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr)_{yyyy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})}+2 \bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{xxyy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})} \\ &\qquad {} -\gamma \bigl(\partial _{t}^{\alpha +1}\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})}-\gamma \bigl( \partial _{t}^{\alpha +1}\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr)_{yy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(Q^{T})} \\ &\qquad {} +d\bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t} \mathcal{Z} \bigr)_{L^{2}(Q^{T})}+d\bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr)_{yy},\Im _{t} \mathcal{Z} \bigr)_{L^{2}(Q^{T})} \\ &\qquad {} +\beta \bigl(\partial _{t}^{\alpha }\bigl(\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(Q^{T})}-\eta \bigl(\bigl(\Im _{x}^{4} \Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(Q^{T})} \\ &\qquad {} -\eta \bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr)_{yy}, \Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(Q^{T})}+\delta \bigl(\Im _{x}^{4} \Im _{y}^{4} \Im _{t}^{2} \mathcal{Z},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(Q^{T})} \\ &\qquad {} -d\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr)_{xxt},\Im _{t}^{2} \mathcal{Z} \bigr)_{L^{2}(Q^{T})}-d\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr)_{yyt},\Im _{t}^{2} \mathcal{Z} \bigr)_{L^{2}(Q^{T})} \\ &\quad =0. \end{aligned}$$

(4.6)

We separately consider the terms in (4.6). Integrating by parts and taking into account that $\mathcal{Z}$ satisfies boundary and initial conditions (2.2)–(2.4), we obtain

$$\begin{aligned}& \begin{aligned}[b] (\bigl(\partial _{t}^{\alpha +1}\bigl(\Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=( \bigl(\partial _{t}^{\alpha }\bigl( \Im _{x}^{2} \Im _{y}^{2}\Im _{t} \mathcal{Z}\bigr),\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\ & =(\bigl(\partial _{t}^{\alpha }(\Im _{x} \Im _{y}\Im _{t} \mathcal{Z}), \Im _{x}\Im _{y}\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}, \end{aligned} \end{aligned}$$

(4.7)

$$\begin{aligned}& \begin{aligned}[b] \bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{xxxx},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=\bigl(\bigl(\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )} \\ & =\frac{1}{2}\frac{\partial }{\partial t} \bigl\Vert \Im _{y}\Im _{t}^{2} \mathcal{Z}_{x} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned} \end{aligned}$$

(4.8)

$$\begin{aligned}& \begin{aligned}[b] \bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{yyyy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=\bigl(\bigl(\Im _{x}^{2}\Im _{t}^{2} \mathcal{Z}\bigr)_{yy},\Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )} \\ & =\frac{1}{2}\frac{\partial }{\partial t} \bigl\Vert \Im _{x}\Im _{t}^{2} \mathcal{Z}_{y} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned} \end{aligned}$$

(4.9)

$$\begin{aligned}& \begin{aligned}[b] 2\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{xxyy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=2\bigl(\Im _{t}^{2} \mathcal{Z},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\ & =\frac{\partial }{\partial t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned} \end{aligned}$$

(4.10)

$$\begin{aligned}& -\gamma \bigl(\partial _{t}^{\alpha +1}\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}=\gamma \bigl( \partial _{t}^{\alpha }(\Im _{y}\Im _{t} \mathcal{Z}),(\Im _{y}\Im _{t} \mathcal{Z}) \bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(4.11)

$$\begin{aligned}& -\gamma \bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr)_{yy}, \Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}= \gamma \bigl(\partial _{t}^{\alpha }(\Im _{x} \Im _{t} \mathcal{Z}),(\Im _{x}\Im _{t} \mathcal{Z})\bigr)_{L^{2}( \Omega )}, \end{aligned}$$

(4.12)

$$\begin{aligned}& \begin{aligned}[b] d\bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z}\bigr)_{xx},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=d\bigl(\Im _{x}^{2}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z},\Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )} \\ & =d\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z},\Im _{y}^{2} \Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}, \end{aligned} \end{aligned}$$

(4.13)

$$\begin{aligned}& d\bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z}\bigr)_{yy},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\& \quad =d\bigl(\Im _{x}^{4}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z},\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}=d\bigl(\Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z},\Im _{x}^{2}\Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(4.14)

$$\begin{aligned}& \beta \bigl(\partial _{t}^{\alpha }\bigl(\Im _{x}^{4}\Im _{y}^{4}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}= \beta \bigl(\partial _{t}^{\alpha }\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}, \end{aligned}$$

(4.15)

$$\begin{aligned}& \begin{aligned}[b] -\eta \bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z}\bigr)_{xx}, \Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=-\eta \bigl( \Im _{x}^{2}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\ & =\eta \bigl\Vert \Im _{x}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned} \end{aligned}$$

(4.16)

$$\begin{aligned}& \begin{aligned}[b] -\eta \bigl(\bigl(\Im _{x}^{4}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z}\bigr)_{yy},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}& =-\eta \bigl( \Im _{x}^{4}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\ &=\eta \bigl\Vert \Im _{y}\Im _{x}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned} \end{aligned}$$

(4.17)

$$\begin{aligned}& \delta \bigl(\Im _{x}^{4}\Im _{y}^{4} \Im _{t}^{2} \mathcal{Z},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}=\delta \bigl\Vert \Im _{x}^{2} \Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$

(4.18)

$$\begin{aligned}& \begin{aligned}[b] -d\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{xxt},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}&=-d\bigl(\Im _{y}^{2}\Im _{t} \mathcal{Z}, \Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )} \\ &=d\bigl(\Im _{y}\Im _{t} \mathcal{Z},\Im _{y}\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}, \end{aligned} \end{aligned}$$

(4.19)

$$\begin{aligned}& -d\bigl(\bigl(\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{yyt},\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}=d\bigl(\Im _{x}\Im _{t} \mathcal{Z},\Im _{x} \Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}. \end{aligned}$$

(4.20)

Substitution of equations (4.7)–(4.20) into (4.6) yields

$$\begin{aligned}& 2(\bigl(\partial _{t}^{\alpha }(\Im _{x}\Im _{y}\Im _{t} \mathcal{Z}), \Im _{x}\Im _{y}\Im _{t} \mathcal{Z}\bigr)_{L^{2}(\Omega )}+2\beta \bigl( \partial _{t}^{\alpha }\bigl(\Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z}\bigr),\Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}( \Omega )} \\& \qquad {}+\frac{\partial }{\partial t} \bigl\Vert \Im _{x}\Im _{t}^{2} \mathcal{Z}_{y} \bigr\Vert _{L^{2}(\Omega )}^{2}+\frac{\partial }{\partial t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+\gamma \bigl(\partial _{t}^{\alpha }(\Im _{y}\Im _{t} \mathcal{Z}),( \Im _{y}\Im _{t} \mathcal{Z})\bigr)_{L^{2}(\Omega )}+\gamma \bigl(\partial _{t}^{ \alpha }(\Im _{x}\Im _{t} \mathcal{Z}),(\Im _{x}\Im _{t} \mathcal{Z}) \bigr)_{L^{2}(\Omega )} \\& \qquad {}+\frac{\partial }{\partial t} \bigl\Vert \Im _{y}\Im _{t}^{2} \mathcal{Z}_{x} \bigr\Vert _{L^{2}(\Omega )}^{2}+2\eta \bigl\Vert \Im _{x} \Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+2\eta \bigl\Vert \Im _{y}\Im _{x}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}+2 \delta \bigl\Vert \Im _{x}^{2} \Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}\times 2d\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z},\Im _{y}^{2} \Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )}+2d\bigl(\Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z},\Im _{x}^{2}\Im _{t} \mathcal{Z} \bigr)_{L^{2}(\Omega )} \\& \qquad {}+2d\bigl(\Im _{y}\Im _{t} \mathcal{Z},\Im _{y}\Im _{t}^{2} \mathcal{Z}\bigr)_{L^{2}(\Omega )}+2d\bigl(\Im _{x}\Im _{t} \mathcal{Z},\Im _{x}\Im _{t}^{2} \mathcal{Z} \bigr)_{L^{2}(\Omega )} \\& \quad =0. \end{aligned}$$

(4.21)

By using Lemma 2.1, Cauchy ϵ inequality, and Poincare type inequality, we obtain

$$\begin{aligned}& \partial _{t}^{\alpha } \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+\beta \partial _{t}^{\alpha } \bigl\Vert \Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}+ \gamma \partial _{t}^{\alpha } \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+\gamma \partial _{t}^{\alpha } \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+\frac{\partial }{\partial t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} +\frac{\partial }{\partial t} \bigl\Vert \Im _{y}\Im _{t}^{2} \mathcal{Z}_{x} \bigr\Vert _{L^{2}(\Omega )}^{2}+2\eta \bigl\Vert \Im _{x} \Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+2\eta \bigl\Vert \Im _{y}\Im _{x}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}+2 \delta \bigl\Vert \Im _{x}^{2} \Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}+ \frac{\partial }{\partial t} \bigl\Vert \Im _{x}\Im _{t}^{2} \mathcal{Z}_{y} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \quad \leq \frac{\epsilon _{2}da^{2}b^{2}T^{2}}{8} \Vert \Im _{x} \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+ \epsilon _{1}d \bigl\Vert \Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+ \biggl( \frac{db^{2}}{2\epsilon _{1}}+\epsilon _{3}d \biggr) \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+ \biggl( \epsilon _{4}d+ \frac{da^{2}}{2\epsilon _{2}} \biggr) \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+ \biggl( \frac{db^{2}}{2\epsilon _{3}}+ \frac{da^{2}}{2\epsilon _{4}} \biggr) \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}. \end{aligned}$$

(4.22)

We now take $\epsilon _{1}=\epsilon _{2}=\epsilon _{3}=\epsilon _{4}=1$, drop the last five terms of the left-hand side of (4.22), replace t by τ, and integrate both sides with respect to τ from 0 to t, then we get

$$\begin{aligned} & D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\ &\qquad {} +D_{t}^{\alpha -1} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+ \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}( \Omega )}^{2} \\ &\quad \leq \Delta ^{\ast } \biggl( \int _{0}^{t} \Vert \Im _{x}\Im _{y} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \,d\tau + \int _{0}^{t} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}( \Omega )}^{2} \,d\tau \\ &\qquad {}+ \int _{0}^{t} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \,d\tau \biggr), \end{aligned}$$

(4.23)

where

$$ \Delta ^{\ast }= \frac{\max \{ \frac{da^{2}b^{2}T^{2}}{8},\frac{db^{2}}{2\epsilon _{1}}+d,d+\frac{da^{2}}{2},\frac{db^{2}}{2}+\frac{da^{2}}{2} \} }{\min \{ 1,\beta ,\gamma ,2\eta \} }. $$

(4.24)

Since (see (4.23))

$$\begin{aligned} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \leq& \Delta ^{\ast } \biggl( \int _{0}^{t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \,d\tau \biggr) \\ &{}+\Delta ^{\ast } \biggl( \int _{0}^{t} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \,d\tau + \int _{0}^{t} \Vert \Im _{x} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau \\ &{}+ \int _{0}^{t} \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \bigl\Vert \Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \,d \tau \biggr) , \end{aligned}$$

(4.25)

then if we set

$$\begin{aligned}& \mathcal{N}(t) = \int _{0}^{t} \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \,d\tau , \\& \frac{d\mathcal{N}(t)}{dt} = \bigl\Vert \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}( \Omega )}^{2}, \\& \mathcal{N}(0) =0, \end{aligned}$$

(4.26)

then, according to Lemma 2.2 (Gronwall–Bellman), we obtain

$$\begin{aligned} \mathcal{N}(t) \leq &\Delta ^{\ast }e^{\Delta ^{\ast }T}\biggl( \int _{0}^{t} \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \,d\tau + \int _{0}^{t} \bigl\Vert \Im _{x}^{2} \Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}d \tau \\ &{}+ \int _{0}^{t} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert \Im _{x} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau \biggr) . \end{aligned}$$

(4.27)

Now, by omitting the last term on the left-hand side of (4.23) and by using inequality (4.27), we obtain

$$\begin{aligned}& D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2} \\& \qquad {}+D_{t}^{\alpha -1} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \\& \quad \leq \bigl( \Delta ^{\ast } \bigr) ^{2} \bigl( 1+e^{\Delta ^{ \ast }T} \bigr) \biggl( \int _{0}^{t} \Vert \Im _{x}\Im _{y} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \,d\tau \\& \qquad {}+ \int _{0}^{t} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}(\Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert \Im _{y} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau \\& \qquad {} + \int _{0}^{t} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau \biggr) . \end{aligned}$$

(4.28)

Lemma 2.3 can be applied by taking

$$\begin{aligned}& \begin{gathered} Q(t) = \int _{0}^{t} \Vert \Im _{x}\Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \,d\tau + \int _{0}^{t} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2}\Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}( \Omega )}^{2} \,d\tau \\ \hphantom{Q(t) =}{}+ \int _{0}^{t} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}\,d\tau + \int _{0}^{t} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}\,d\tau \\ \partial _{t}^{\alpha }Q(t) =D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{y} \Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2}+D_{t}^{\alpha -1} \bigl\Vert \Im _{x}^{2}\Im _{y}^{2} \Im _{t}^{2} \mathcal{Z} \bigr\Vert _{L^{2}( \Omega )}^{2} \\ \hphantom{\partial _{t}^{\alpha }Q(t) =}{}+D_{t}^{\alpha -1} \Vert \Im _{y}\Im _{t} \mathcal{Z} \Vert _{L^{2}( \Omega )}^{2}+D_{t}^{\alpha -1} \Vert \Im _{x}\Im _{t} \mathcal{Z} \Vert _{L^{2}(\Omega )}^{2} \\ Q(0) =0. \end{gathered} \end{aligned}$$

(4.29)

It follows from (4.29) that

$$ Q(t)\leq V.0=0, $$

(4.30)

where

$$ V=\Gamma (\alpha )E_{\alpha ,\alpha }\bigl(W^{\ast }T^{\alpha } \bigr)\max \biggl( 1,\frac{T^{\alpha +1}}{(\alpha +1)\Gamma (\alpha +1)} \biggr) $$

and

$$ W^{\ast }= \bigl( \Delta ^{\ast } \bigr) ^{2} \bigl( 1+e^{\Delta ^{ \ast }T} \bigr) . $$

It follows from (4.30) that $G_{1}=\Im _{t} \mathcal{Z}=0$, $G_{2}=\Im _{t}^{2} \mathcal{Z}=0$ a.e. in $Q^{T}$. This achieves the proof of Theorem 4.2. □

5 Conclusion

The existence and uniqueness of solutions for a fractional order initial boundary value problem for a two-dimensional coupled linear thermoelastic system of fourth order with nonlocal conditions which models a thermoelastic fractional Kirchhoff plate are established. The method of energy inequalities is successfully applied for obtaining a priori estimates for the solution from which the uniqueness of the solution follows. Then, from Hilbert space theory, a density argument is employed to establish the solvability of the given problem. It is found that the application of the functional analysis method to systems of fractional order is very efficient in spite of the difficulties of choosing the appropriate multipliers and functions space solutions as well as the different hard computations.