Skip to main content

Theory and Modern Applications

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


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 [25]. 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 [713], 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 [1419]. The reader also could refer to some recent thermoelasticity problems investigated by [2022]. 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, [2328].

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} $$

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} $$

where α, β, η are positive constants and γ is a nonnegative constant. For other nonfractional models, the reader could refer to [3234] 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} $$

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} $$

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 , $$

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} $$

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), $$

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}$$

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}$$

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


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. $$

Lemma 2.2


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), $$

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) . $$

Lemma 2.3


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, $$

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), $$


$$ 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}$$


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


$$\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}$$


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


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}$$

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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\begin{aligned}& -\eta (\theta _{xx},\Im _{xxyy}\theta )_{L^{2}(\Omega )}= \eta \Vert \Im _{y}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$
$$\begin{aligned}& -\eta (\theta _{yy},\Im _{xxyy}\theta )_{L^{2}(\Omega )}= \eta \Vert \Im _{x}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$
$$\begin{aligned}& \delta (\theta ,\Im _{xxyy}\theta )_{L^{2}(0,1)}=\delta \Vert \Im _{xy}\theta \Vert _{L^{2}(\Omega )}^{2}, \end{aligned}$$
$$\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}$$
$$\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}$$

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}$$

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}$$

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}$$

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}$$


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

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}$$


$$ \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\} . $$

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}$$

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}$$


$$ \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) . $$

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}$$

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}$$


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

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}})\).


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).


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, $$

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}$$

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. $$

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. $$

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}$$

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}$$

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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$

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}$$

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}$$

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}$$


$$ \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 \} }. $$

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}$$

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}$$

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}$$

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}$$

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}$$

It follows from (4.29) that

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


$$ 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) $$


$$ 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.

Availability of data and materials

Not applicable.


  1. Jou, D., Casas-Vázquez, J., Lebon, G.: Extended irreversible thermodynamics. Rep. Prog. Phys. 51, 1105–1179 (1988)

    Article  MathSciNet  Google Scholar 

  2. Caputo, M., Mainardi, F.: A new dissipation model based on memory mechanism. Pure Appl. Geophys. 91, 134–147 (1971)

    Article  Google Scholar 

  3. Caputo, M., Mainardi, F.: Linear model of dissipation in anelastic solids. Riv. Nuovo Cimento 1, 161–198 (1971)

    Article  Google Scholar 

  4. Caputo, M.: Vibrations on an infinite viscoelastic layer with a dissipative memory. J. Acoust. Soc. Am. 56, 897–904 (1974)

    Article  Google Scholar 

  5. Sherief, H., El-Sayed, A.M.A., Abd El-Latief, A.M.: Fractional order theory of thermoelasticity. Int. J. Solids Struct. 47, 269–275 (2010)

    Article  Google Scholar 

  6. Hetnarski, R.B., Ignaczak, J.: Generalized thermoelasticity. J. Therm. Stresses 22, 4–5 (1999)

    MathSciNet  MATH  Google Scholar 

  7. Povstenko, Y.Z.: Thermoelasticity that uses fractional heat conduction equation. J. Math. Sci. 162, 296–305 (2009)

    Article  MathSciNet  Google Scholar 

  8. Povstenko, Y.Z.: Fractional heat conduction and associated thermal stress. J. Therm. Stresses 28, 83–102 (2005)

    Article  MathSciNet  Google Scholar 

  9. Povstenko, Y.Z.: Fractional Cattaneo-type equations and generalized thermoelasticity. J. Therm. Stresses 34, 97–114 (2011)

    Article  Google Scholar 

  10. Sherief, H., El-Sayed, A.M.A.: Abd el-latief A.M.: fractional order theory of thermoelasticity. Int. J. Solids Struct. 47, 269–275 (2010)

    Article  Google Scholar 

  11. Ezzat, M.A.: Thermoelectric MHD non-Newtonian fluid with fractional derivative heat transfer. Physica B, Condens. Matter 405, 4188–4194 (2010)

    Article  Google Scholar 

  12. Jumarie, G.: Derivation and solutions of some fractional Black–Scholes equations in coarse-grained space and time. Application to Merton’s optimal portfolio. Comput. Math. Appl. 59, 1142–1164 (2010)

    Article  MathSciNet  Google Scholar 

  13. Hamza, F., Abdou, M., Abd El-Latief, A.M.: Generalized fractional thermoelasticity associated with two relaxation times. J. Therm. Stresses 37(9), 1080–1098 (2014)

    Article  Google Scholar 

  14. Agarwal, P., Berdyshev, A., Erkinjon, K.: Further extended Caputo fractional derivative operator and its applications. Russ. J. Math. Phys. 24(4), 415–425 (2017)

    Article  MathSciNet  Google Scholar 

  15. Adel El-Sayed, A., Agarwal, P.: Numerical solution of multiterm variable-order fractional differential equations via shifted Legendre polynomials. Math. Methods Appl. Sci. 42(11), 3978–3991 (2019)

    Article  MathSciNet  Google Scholar 

  16. Agarwal, P., Nieto, J.J., Luo, M.J.: Extended Riemann-Liouville type fractional derivative operator with applications. Open Math. 15, 1667–1681 (2017)

    Article  MathSciNet  Google Scholar 

  17. Agarwal, P., Berdyshev, A., Erkinjon, K.: Solvability of a non-local problem with integral transmitting condition for mixed type equation with Caputo fractional derivative. Results Math. 71, 1235–1257 (2017)

    Article  MathSciNet  Google Scholar 

  18. Agarwal, P., Deniz, S., Jain, S., Alderremy, A.A., Shaban, A.: A new analysis of a partial differential equation arising in biology and population genetics via semi analytical techniques. Phys. A, Stat. Mech. Appl. 542, 122769 (2020)

    Article  MathSciNet  Google Scholar 

  19. Baltaeva, U., Agarwal, P.: Boundary value problems for the third order loaded equation with noncharacteristic type-change boundaries. Math. Methods Appl. Sci. 41(9), 3307–3315 (2018)

    Article  MathSciNet  Google Scholar 

  20. Marin, M., Baleanu, D.: On vibrations in thermoelasticity without energy dissipation for micropolar bodies. Bound. Value Probl. 2016, 111 (2016)

    Article  MathSciNet  Google Scholar 

  21. Marin, M., Baleanu, D., Vlase, S.: Effect of microtemperatures for micropolar thermoelastic bodies. Struct. Eng. Mech. 61(3), 381–387 (2017)

    Article  Google Scholar 

  22. Rahimi, Z., Sumelka, W., Rash, S.A.: Study and control of thermoelastic damping of in-plane vibration of the functionally graded nano-plate. J. Vib. Control 25(23–24), 2850–2862 (2019)

    Article  MathSciNet  Google Scholar 

  23. Alikhanov, A.A.A.: Priori estimates for solutions of boundary value problems for fractional order equations. Differ. Equ. 46, 660–666 (2010)

    Article  MathSciNet  Google Scholar 

  24. Mesloub, S.: Existence and uniqueness results for a fractional two-times evolution problem with constraints of purely integral type. Math. Methods Appl. Sci. 39, 1558–1567 (2016)

    Article  MathSciNet  Google Scholar 

  25. Mesloub, S., Aldosari, F.: Even higher order fractional initial boundary value problem with nonlocal constraints of purely integral type. Symmetry 11, 305 (2019)

    Article  Google Scholar 

  26. Akilandeeswari, A., Balachandran, K., Annapoorani, N.: Solvability of hyperbolic fractional partial differential equations. J. Appl. Anal. Comput. 7(4), 1570–1585 (2017)

    MathSciNet  MATH  Google Scholar 

  27. Mesloub, S., Bachar, I.: On a nonlocal 1-d initial value problem for a singular fractional-order parabolic equation with Bessel operator. Adv. Differ. Equ. 2019(1), 254 (2019)

    Article  MathSciNet  Google Scholar 

  28. Kasmi, L., Guerfi, A., Mesloub, S.: Existence of solution for 2-D time-fractional differential equations with a boundary integral condition. Adv. Differ. Equ. 2019, 511 (2019)

    Article  MathSciNet  Google Scholar 

  29. Avalos, G., Lasiecka, I.: The null controllability of thermoelastic plates and singularity of the associated minimal energy function. J. Math. Anal. Appl. 294, 34–61 (2004)

    Article  MathSciNet  Google Scholar 

  30. Avalos, G., Lasiecka, I.: Exponential stability of a thermoelastic system without mechanical dissipation. Rend. Istit. Mat. Univ. Trieste Suppl. XXVIII, 1–28 (1997)

    MATH  Google Scholar 

  31. Lagnese, J.: Boundary stabilization of thin plates. Siam Stud. Appl. Math. Vol. 10 (1989)

  32. Lasiecka, I., Thomas, I.S.: Blowup estimates for observability of a thermoelastic system. Asymptot. Anal. 50, 93–120 (2006)

    MathSciNet  MATH  Google Scholar 

  33. Kumar, N.T., Sukavanam, N.: Exact controllability of a semilinear thermoelastic system with control solely in thermal equation. Numer. Funct. Anal. Optim. 29(9–10), 1171–1179 (2008)

    MathSciNet  MATH  Google Scholar 

  34. Hansen, S., Zhang, B.: Boundary control of thermoelastic beam. J. Math. Anal. Appl. 210, 182–205 (1997)

    Article  MathSciNet  Google Scholar 

  35. Bouziani, A.: Mixed problem with integral conditions for a certain parabolic equation. J. Appl. Math. Stoch. Anal. 9(3), 323–330 (1996)

    Article  MathSciNet  Google Scholar 

  36. Ladyzhenskaya, O.A.: The Boundary Value Problems of Mathematical Physics. Springer, New York (1985)

    Book  Google Scholar 

  37. Podlubny, I.: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  38. Mesloub, S.: A nonlinear nonlocal mixed problem for a second order parabolic equation. J. Math. Anal. Appl. 316, 189–209 (2006)

    Article  MathSciNet  Google Scholar 

  39. Mesloub, S., Bouziani, A.: On a class of singular hyperbolic equations with a weighted integral condition. Int. J. Math. Math. Sci. 22(3), 511–519 (1999)

    Article  MathSciNet  Google Scholar 

Download references


The authors would like to extend their sincere appreciation to the Deanship of Scientific Research at King Saud University for its funding this research group No (RG-117).


The Deanship of Scientific Research at King Saud University.

Author information

Authors and Affiliations



The authors read and approved the final manuscript.

Corresponding author

Correspondence to Said Mesloub.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Mesloub, S., Aldosari, F. On a two-dimensional fractional thermoelastic system with nonlocal constraints describing a fractional Kirchhoff plate. Adv Differ Equ 2021, 24 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: