Existence and uniqueness of the solution to a coupled fractional diffusion system

Abstract

In this paper, we consider the initial boundary value problem for a coupled fractional diffusion system. By using eigenfunction expansions and a priori estimates, we establish the existence and uniqueness of the weak solution and then the regularity of the solution.

1 Introduction

The traditional diffusion equation has commonly been used to describe the phenomenon of Brownian motion. However, it may not be adequate for the motion of the particles if they do not obey the law of Markov diffusion. An example is the diffusion that takes place in a highly heterogeneous aquifer, the probability density may have a heavier tail than the Gaussia density. This phenomenon, called anomalous diffusion, can be well modeled by fractional diffusion equations, including time-fractional diffusion equations, space fractional diffusion equations, and time-space fractional diffusion equations. The main reason is that the fractional derivative is nonlocal, which provides an excellent instrument to model the processes with fractal geometry, hereditary, and non-Markovian properties.

Recently, the fractional diffusion equation has attracted a great deal of interest and more applications of it have been investigated to represent many natural processes in physics chemistry, biology, medicine, food processing, aerodynamics, etc. [1–7]. By using different methods, many authors have discussed the mathematical properties of the solution to the fractional differential equation and its numerical result. For example, by using a finite sine transform technique, Agarwal [8] obtained the general solution to a fractional diffusion equation and presented some numerical results to show the influence of the fractional order α on the solution. Meanwhile, Mainardi solved a fractional diffusion equation by using the Laplace transform method [9]. In [10], Eidelman and Kochubei considered the Cauchy problem for fractional differential equations, they constructed the fundamental solution and proved the maximum principle. Furthermore, Luchko established the maximum principle for the generalized fractional differential equations [11]. Then Luchko extended the result to the generalized multi-term time-fractional diffusion equation [12]. In [13], Sakamoto and Yamamoto established the existence of the weak solution and asymptotic behavior for fractional diffusion-wave equation and then considered its application to some inverse problems.

In this paper, we extend the existing result to a coupled system and consider the following coupled fractional diffusion equations

$$\begin{aligned}& \partial_{t}^{\alpha}u(x,t)=Lu(x,t)+F_{1}(u,v), \end{aligned}$$

(1)

$$\begin{aligned}& \partial_{t}^{\alpha}v(x,t)=Lv(x,t)+F_{2}(u,v), \end{aligned}$$

(2)

$$\begin{aligned}& u=v=0 \quad\mbox{on } x\in\partial\Omega, t\in(0,T], \end{aligned}$$

(3)

$$\begin{aligned}& u|_{t=0}=a_{1}(x),\qquad v|_{t=0}=a_{2}(x),\quad x \in\Omega, \end{aligned}$$

(4)

where Ω is a bounded domain in $\mathcal{R}^{d}$ with sufficiently smooth boundary ∂Ω, L is a symmetric uniformly elliptic operator, $F_{1}(u,v)$ and $F_{2}(u,v)$ are the forcing terms depending on u and v, the initial data $a_{1}(x)$ and $a_{2}(x)$ are given functions on Ω, and $T>0$ is a fixed value.

Here $\partial_{t}^{\alpha}$ is the Caputo fractional derivative of order α and is defined by

$$\partial_{t}^{\alpha}g(t)=\frac{1}{\Gamma(n-\alpha)} \int_{0}^{t} (t-\tau )^{n-\alpha-1} \frac{d^{n}}{d\tau^{n}}g(\tau)\,d\tau,\quad n-1< \alpha< n,n\in \mathcal{N}, $$

where $\Gamma(\cdot)$ is the Gamma function.

Since we address fractional diffusion equations, we restrict ourselves to the two cases $0<\alpha<1$ and $1<\alpha<2$. If $0<\alpha<1$, this system describes a relaxation process (sub-diffusion). If $1<\alpha<2$, an oscillation may occur (super-diffusion). If $\alpha=1$ and $L =\Delta$, it corresponds to a standard reaction-diffusion system. So we can regard the above system as the generalization of reaction-diffusion system to fractional order.

If $L =\Delta$, $F_{1}(u,v)=f(u)$, and $F_{2}(u,v)=g(v)$, this system is decoupled and becomes two fractional nonlinear diffusion equations. For the one nonlinear fractional diffusion equation of type (1) with unknown function, many authors have considered the initial boundary value problem. For example, Gafiychuk and Datsko investigated possible scenarios of pattern formations in fractional reaction-diffusion systems with initial boundary (Neumann) conditions [14]. In [15], Luchko established the existence and uniqueness of the solution for the initial boundary (Dirichlet) value problem. In this paper, motivated by the above discussion, we extend it to a more involved and complex system and study the existence of the solution.

The fractional diffusion system with Dirichlet boundary conditions arises in the heat transfer theory, population ecology, hydrodynamics, etc., and this problem has strong backgrounds in biology and mathematical physics. Among the application of such systems one can find the description of the evolution of the population densities of two competing species, one the natural species and the other a genetically engineered species [16]. Because of the use of genetically modified organisms, the ecosystems may be disrupted. So it is important to study the dynamics of two competing species. Moreover, due to the implementation of fractional derivatives, many new phenomena in such systems have been found. The analysis of such systems has attracted many authors’ interests, both from the point view of qualitative analysis and computer simulations. For example, long time behavior of solutions of autonomous two-component incommensurate fractional dynamical systems was investigated [17]. In [18], the authors studied the self-organization phenomena in time-fractional reaction-diffusion systems with multiple homogeneous state. The simulation results were also presented for the case of an incommensurate time-fractional reaction-diffusion system with a cubic nonlinearity.

To our knowledge, there have not been many papers published concerning the existence and uniqueness of the solution to equations (1)-(4). The goal of this paper is to prove the existence result as regards the weak solution and establish some results on the regularity of the solution.

2 Preliminaries

Let $L^{2}(\Omega)$, $H^{1}(\Omega)$, $H^{2}(\Omega)$ be the usual Sobolev spaces. $\dot{L}^{2}(\Omega)$ is a homogeneous Hilbert space defined as follows

$$\dot{L}^{2}(\Omega)=\bigl\{ u\in L^{2}(\Omega),u=0 \mbox{ on } x\in \partial\Omega\bigr\} . $$

Let $H=\dot{L}^{2}(\Omega)\times\dot{L}^{2}(\Omega)$ be the product Hilbert space with the norm

$$\|\phi\|_{H}=\sqrt{\|u\|_{L^{2}}^{2}+\|v \|_{L^{2}}^{2}}, $$

for any $\phi=(u,v)\in H$.

Define $V=V_{1}\times V_{2}$, where

$$\begin{aligned}& V_{1}=\bigl\{ u\in H^{2}(\Omega) \cap H_{0}^{1}( \Omega),u=0 \mbox{ on } x\in \partial\Omega\bigr\} ,\\& V_{2}=\bigl\{ v\in H^{2}(\Omega) \cap H_{0}^{1}( \Omega),v=0 \mbox{ on } x\in \partial\Omega\bigr\} . \end{aligned}$$

Then the function space V is a product Hilbert space with the induced norm

$$\|\phi\|_{V}=\sqrt{\|u\|_{H^{2}}^{2}+\|v \|_{H^{2}}^{2}}, $$

where $\phi=(u,v)\in V$.

Let $V'$ be the dual space of V, we have

$$V \hookrightarrow H=H' \hookrightarrow V', $$

where the embeddings above are dense and continuous. We denote by $\langle\phi,\psi\rangle$ the duality between $\phi\in V$ and $\psi\in V'$.

Under the assumption that L is an uniformly elliptic operator and $\mathcal{D}(-L)=H^{2}(\Omega)\cap H_{0}^{1}(\Omega)$, we define

$$-L\varphi_{n}=\lambda_{n}\varphi_{n},\quad n=1,2, \ldots, $$

where $\{\lambda_{n}\}_{n=1}^{\infty}$ is the eigenvalues of −L and $\{ \varphi_{n}\}_{n=1}^{\infty}$ is the corresponding orthonormal eigenfunctions which belong to $H^{2}(\Omega)\cap H_{0}^{1}(\Omega)$. It follows that the sequence $\{\varphi_{n}\}_{n=1}^{\infty}$ is an orthonormal basis in $L^{2}(\Omega)$. For any $n \in\mathcal{N}$, $\lambda _{n}>0$. Without loss of generality, we set

$$0< \lambda_{1}\le\lambda_{2}\le\cdots. $$

Then we define

$$\mathcal{D}\bigl((-L)^{\gamma}\bigr)=\Biggl\{ \psi\in L^{2}( \Omega);\sum_{n=1}^{\infty }\lambda_{n}^{2\gamma}\bigl|( \psi,\varphi_{n})\bigr|^{2}< \infty\Biggr\} , $$

for any $\gamma\in\mathcal{R}$. It follows that $\mathcal {D}((-L)^{\gamma})$ is a Hilbert space with the norm

$$\|\psi\|_{\mathcal{D}((-L)^{\gamma})}=\Biggl\{ \sum_{n=1}^{\infty} \lambda _{n}^{2\gamma}\bigl|(\psi,\varphi_{n})\bigr|^{2} \Biggr\} ^{\frac{1}{2}}. $$

Since $\mathcal{D}((-L)^{\gamma})\subset L^{2}(\Omega)$ for $\gamma>0$ and $(L^{2}(\Omega))'=L^{2}(\Omega)$, we have

$$\mathcal{D}\bigl((-L)^{\gamma}\bigr)\subset L^{2}(\Omega)= \bigl(L^{2}(\Omega)\bigr)'\subset \bigl(\mathcal{D} \bigl((-L)^{\gamma}\bigr)\bigr)'. $$

Set $(\mathcal{D}((-L)^{\gamma}))'=\mathcal{D}((-L)^{-\gamma})$. Then it is easy to show that $\mathcal{D}((-L)^{-\gamma})$ is a Hilbert space with the norm

$$\|f\|_{\mathcal{D}((-L)^{-\gamma})}=\Biggl\{ \sum_{n=1}^{\infty} \lambda _{n}^{-2\gamma}\bigl|{}_{-\gamma}\langle f, \varphi_{n}\rangle_{\gamma}\bigr|^{2}\Biggr\} ^{\frac{1}{2}}. $$

According to Riesz representation theorem, we have

$${}_{-\gamma}\langle f,\varphi_{n}\rangle_{\gamma}=(f, \varphi_{n}), $$

if $f\in L^{2}(\Omega)$ and $\varphi_{n}\in\mathcal{D}((-L)^{\gamma})$.

The forcing terms are assumed to satisfy the following assumptions:

• (A.1)
  $$\begin{aligned}& \bigl\| F_{1}(u,v)\bigr\| _{L^{2}(\Omega)}\le K_{1}\bigl(1+\|u \|_{L^{2}(\Omega )}+\|v\|_{L^{2}(\Omega)}\bigr), \\& \bigl\| F_{2}(u,v)\bigr\| _{L^{2}(\Omega)}\le K_{2}\bigl(1+\|u \|_{L^{2}(\Omega )}+\|v\|_{L^{2}(\Omega)}\bigr), \end{aligned}$$
• (A.2)
  $$\begin{aligned}& \bigl\| F_{1}(u,v)\bigr\| _{H^{2}(\Omega)}\le K_{3}\bigl(1+\|u \|_{H^{2}(\Omega )}+\|v\|_{H^{2}(\Omega)}\bigr),\\& \bigl\| F_{2}(u,v)\bigr\| _{H^{2}(\Omega)}\le K_{4}\bigl(1+\|u \|_{H^{2}(\Omega )}+\|v\|_{H^{2}(\Omega)}\bigr), \end{aligned}$$
• (A.3)
  $$\begin{aligned}& \bigl\| F_{1}(u,v)-F_{1}\bigl(u',v' \bigr)\bigr\| _{L^{2}(\Omega)}\le L_{1}\bigl(\bigl\| u-u' \bigr\| _{L^{2}(\Omega )}+\bigl\| v-v'\bigr\| _{L^{2}(\Omega)}\bigr), \\& \bigl\| F_{2}(u,v)-F_{2}\bigl(u',v' \bigr)\bigr\| _{L^{2}(\Omega)}\le L_{2}\bigl(\bigl\| u-u' \bigr\| _{L^{2}(\Omega )}+\bigl\| v-v'\bigr\| _{L^{2}(\Omega)}\bigr), \end{aligned}$$

  for any $t\in[0,T]$, $(u,v)\in H$, $(u',v')\in H$.

Now we give some examples to show the assumptions (A.1)-(A.3) can be satisfied.

Example 1

Suppose that $F_{1}(u,v)=u-v$ and $F_{2}(u,v)=u-v+\mathcal{A}$, where $\mathcal{A}$ is an external parameter, it is easy to show the assumptions (A.1)-(A.3) are satisfied.

Example 2

Suppose that $F_{1}(u,v)=u-g(|u|^{2})u-v$ and $F_{2}(u,v)=v-u$, where $g(r)=0$, if $r>N$; $g(r)=r-N$, if $r\le N$ and $0\le g'(r)\le C$, $0\le g''(r)\le C$. We can also verify $F_{1}$ and $F_{2}$ satisfy the assumptions; for more details, see pp.583 of [19].

When no confusion arises, we simply denote $L^{p}(\Omega)$ by $L^{p}$ and $H^{p}(\Omega)$ by $H^{p}$ for $1\le p \le\infty$. We denote by C a positive constant which may change from one line to the next line.

Moreover, the Mittag-Leffler function is defined as follows

$$E_{\alpha,\beta}(z):=\sum_{k=0}^{\infty} \frac{z^{k}}{\Gamma(\alpha k+\beta )},\quad z\in\mathcal{C}, $$

where $\alpha>0$ and $\beta\in\mathcal{R}$ are arbitrary constants.

Now, we give three lemmas concerning the Mittag-Leffler function which will be used later.

Lemma 1

[2]

Let $0<\alpha<2$ and $\beta\in\mathbb{R}$ be arbitrary. We suppose that μ is such that $\pi\alpha/2 < \mu< \min\{\pi,\pi\alpha\}$. Then there exists a constant $C_{1}=C_{1}(\alpha,\beta,\mu)>0$ such that

$$\bigl|E_{\alpha,\beta}(z)\bigr|\le\frac{C_{1}}{1+|z|}, \qquad \mu\le\bigl|\arg(z)\bigr| \le\pi. $$

Lemma 2

[13]

For $\lambda>0$, $\alpha>0$, and positive integer $m\in\mathbb{N}$, we have

$$\frac{d^{m}}{dt^{m}}E_{\alpha,1}\bigl(-\lambda t^{\alpha}\bigr)=-\lambda t^{\alpha -m}E_{\alpha,\alpha-m+1}\bigl(-\lambda t^{\alpha}\bigr),\quad t>0, $$

and

$$\frac{d}{dt}\bigl(t^{\alpha-1}E_{\alpha,\alpha}\bigl(-\lambda t^{\alpha}\bigr)\bigr)=t^{\alpha -2}E_{\alpha,\alpha-1}\bigl(-\lambda t^{\alpha}\bigr),\quad t\ge0. $$

Lemma 3

[20]

For $0<\alpha<1$, we have

$$E_{\alpha,\alpha}(-x)\ge0,\quad x\ge0. $$

3 Existence result

In this paper, we are interested in studying the existence of weak solutions. So we first give the definition of weak solutions as follows.

Definition

$(u,v)$ is called a weak solution to equations (1)-(4) if equations (1)-(2) hold in H and $(u,v)\in V$ for almost all $t\in(0,T)$. Moreover, $(u,v)\in C([0,T];\mathcal{D}((-L)^{-\gamma }))\times C([0,T];\mathcal{D}((-L)^{-\gamma}))$ and satisfy

$$\lim_{t \to0}\bigl\| u(\cdot,t)-a_{1}\bigr\| _{\mathcal{D}((-L)^{-\gamma })}=\lim _{t \to0}\bigl\| v(\cdot,t)-a_{2}\bigr\| _{\mathcal{D}((-L)^{-\gamma})}=0 $$

with some $\gamma>0$.

Now we state our first main result as follows.

Theorem 1

(i) Let $\frac{1}{2}\le\alpha<1$, and the initial data $(a_{1},a_{2})\in H$. Then there exists a unique weak solution $(u,v)$ to equations (1)-(4) with

$$(u,v)\in C\bigl((0,T];V\bigr) \cap C\bigl([0,T];H\bigr), \qquad\bigl(\partial_{t}^{\alpha}u, \partial _{t}^{\alpha}v\bigr) \in C\bigl((0,T];H\bigr), $$

and the following inequalities hold

$$\begin{aligned}& \|u\|_{L^{2}}+\|v\|_{L^{2}}\le C,\quad t\in[0,T],\\& \|u\|_{H^{2}}+\|v\|_{H^{2}}\le C, \quad t\in(0,T],\\& \bigl\| \partial_{t}^{\alpha}u\bigr\| _{L^{2}}+\bigl\| \partial_{t}^{\alpha}v \bigr\| _{L^{2}}\le C,\quad t\in(0,T]. \end{aligned}$$

(ii) Let $\frac{1}{2}\le\alpha<1$, and the initial data $(a_{1},a_{2})\in V$. Then there exists a unique solution $(u,v)$ to equations (1)-(4) with

$$(u,v)\in C\bigl([0,T];V\bigr),\qquad \bigl(\partial_{t}^{\alpha}u, \partial_{t}^{\alpha}v\bigr) \in C\bigl([0,T];H\bigr), $$

and the following inequalities hold

$$\begin{aligned}& \|u\|_{H^{2}}+\|v\|_{H^{2}}\le C,\quad t\in[0,T],\\& \bigl\| \partial_{t}^{\alpha}u\bigr\| _{L^{2}}+\bigl\| \partial_{t}^{\alpha}v \bigr\| _{L^{2}}\le C,\quad t\in[0,T]. \end{aligned}$$

Proof

(i) Using the Fourier method, we have eigenfunction expansions of the solution to equations (1)-(4) (p.230 of [1]),

$$\begin{aligned}& \begin{aligned}[b] u(x,t)={}& \sum_{n=1}^{\infty}(a_{1}, \varphi_{n})E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha} \bigr)\varphi_{n}(x)\\ &{} +\sum_{n=1}^{\infty}\biggl( \int_{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau )^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr)\varphi _{n}(x), \end{aligned} \end{aligned}$$

(5)

$$\begin{aligned}& \begin{aligned}[b] v(x,t) ={}& \sum_{n=1}^{\infty}(a_{2}, \varphi_{n})E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha} \bigr)\varphi_{n}(x)\\ &{} +\sum_{n=1}^{\infty}\biggl( \int_{0}^{t}\bigl(F_{2}(u,v,\tau), \varphi_{n}\bigr) (t-\tau )^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr) \varphi_{n}(x). \end{aligned} \end{aligned}$$

(6)

Thanks to Lemma 1, Hölder’s inequality and the assumption (A.1), we can deduce

$$\begin{aligned} \bigl\| u(\cdot,t)\bigr\| _{L^{2}}^{2} \le& \sum _{n=1}^{\infty}\bigl|(a_{1},\varphi _{n})E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha} \bigr)\bigr|^{2} \\ &{} +\sum_{n=1}^{\infty}\biggl|\biggl( \int_{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau )^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr) \biggr|^{2} \\ \le&\sum_{n=1}^{\infty}\bigl|(a_{1}, \varphi_{n})\bigr|^{2}\biggl(\frac{1}{1+\lambda_{n} t^{\alpha}}\biggr)^{2} \\ &{}+\sum_{n=1}^{\infty} \int_{0}^{t}\bigl|\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr)\bigr|^{2}\,d\tau \int _{0}^{t} \tau^{2\alpha-2}\bigl|E_{\alpha,\alpha} \bigl(-\lambda_{n}\tau^{\alpha }\bigr)\bigr|^{2}\,d\tau \\ \le&\sum_{n=1}^{\infty}\bigl|(a_{1}, \varphi_{n})\bigr|^{2}\biggl(\frac{1}{1+\lambda_{n} t^{\alpha}}\biggr)^{2} \\ &{}+\sum_{n=1}^{\infty} \int_{0}^{t}\bigl|\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr)\bigr|^{2}\,d\tau \int _{0}^{t} \tau^{2\alpha-2}\biggl( \frac{1}{1+\lambda_{n} \tau^{\alpha}}\biggr)^{2}\,d\tau \\ \le& \|a_{1}\|_{L^{2}}^{2}+T^{2\alpha-1} \int_{0}^{t}\bigl\| F_{1}(u,v,\tau ) \bigr\| _{L^{2}}^{2}\,d\tau \\ \le&\|a_{1}\|_{L^{2}}^{2}+K_{1}T^{2\alpha}+K_{1}T^{2\alpha-1} \int _{0}^{t}\bigl(\|u\|_{L^{2}}^{2}+ \|v\|_{L^{2}}^{2}\bigr)\,d\tau. \end{aligned}$$

(7)

Similarly, we can also obtain

$$ \bigl\| v(\cdot,t)\bigr\| _{L^{2}}^{2} \le\|a_{2} \|_{L^{2}}^{2}+K_{2}T^{2\alpha}+K_{2}T^{2\alpha -1} \int_{0}^{t}\bigl(\|u\|_{L^{2}}^{2}+ \|v\|_{L^{2}}^{2}\bigr)\,d\tau, $$

(8)

together with equation (7), we arrive at

$$\bigl\| u(\cdot,t)\bigr\| _{L^{2}}^{2}+\bigl\| v(\cdot,t)\bigr\| _{L^{2}}^{2} \le C\bigl(\|a_{1}\|_{L^{2}}^{2},\|a_{2} \|_{L^{2}}^{2},K_{1},K_{2},T,\alpha\bigr)+C \int _{0}^{t}\bigl(\|u\|_{L^{2}}^{2}+ \|v\|_{L^{2}}^{2}\bigr)\,d\tau, $$

where we used the fact $\frac{1}{2}\le\alpha<1$. By using Gronwall’s inequality, we have

$$\bigl\| u(\cdot,t)\bigr\| _{L^{2}}^{2}+\bigl\| v(\cdot,t)\bigr\| _{L^{2}}^{2} \le C\bigl(\|a_{1}\|_{L^{2}}^{2},\|a_{2} \|_{L^{2}}^{2},K_{1},K_{2},T,\alpha\bigr). $$

Under the assumption (A.1), it follows that

$$\bigl\| F_{1}(u,v,t)\bigr\| _{L^{\infty}(0,T;L^{2})}\le C,\qquad \bigl\| F_{2}(u,v,t) \bigr\| _{L^{\infty}(0,T;L^{2})}\le C. $$

From equation (7), it is easy to see that $u\in C([0,T];L^{2})$ for $\sum_{n=1}^{\infty}(a_{1},\varphi_{n})E_{\alpha,1}(-\lambda_{n} t^{\alpha})\varphi _{n}(x)$ and $\sum_{n=1}^{\infty}(\int_{0}^{t}(F_{1}(u,v,\tau),\varphi _{n})(t-\tau)^{\alpha-1}E_{\alpha,\alpha}(-\lambda_{n}(t-\tau)^{\alpha})\,d\tau) \varphi_{n}(x)$ are convergent in $L^{2}$ uniformly in $t\in[0,T]$. Similarly, we have $v\in C([0,T];L^{2})$ from equation (8).

From equation (5) and equation (6), we then obtain

$$\begin{aligned}& \begin{aligned}[b] \partial_{t}^{\alpha}u(x,t)={}&{-}\sum_{n=1}^{\infty} \lambda_{n}(a_{1},\varphi _{n})E_{\alpha,1} \bigl(-\lambda_{n} t^{\alpha}\bigr)\varphi_{n}(x)+\sum _{n=1}^{\infty }\bigl(F_{1}(u,v,t), \varphi_{n}\bigr)\varphi_{n}(x)\\ &{} -\sum_{n=1}^{\infty}\lambda_{n}\biggl( \int_{0}^{t}\bigl(F_{1}(u,v,\tau),\varphi _{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr)\varphi_{n}(x), \end{aligned} \end{aligned}$$

(9)

$$\begin{aligned}& \begin{aligned}[b] \partial_{t}^{\alpha}v(x,t)={}&{-}\sum_{n=1}^{\infty} \lambda_{n}(a_{2},\varphi _{n})E_{\alpha,1} \bigl(-\lambda_{n} t^{\alpha}\bigr)\varphi_{n}(x)+\sum _{n=1}^{\infty }\bigl(F_{2}(u,v,t), \varphi_{n}\bigr)\varphi_{n}(x)\\ &{} -\sum_{n=1}^{\infty}\lambda_{n}\biggl( \int_{0}^{t}\bigl(F_{2}(u,v,\tau),\varphi _{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr)\varphi_{n}(x). \end{aligned} \end{aligned}$$

(10)

Therefore, by Lemma 1, Lemma 2 and Lemma 3, we have

$$\begin{aligned} \bigl\| \partial_{t}^{\alpha}u(\cdot,t)\bigr\| _{L^{2}}^{2} \le&\sum_{n=1}^{\infty}\lambda _{n}^{2}\bigl|(a_{1},\varphi_{n})\bigr|^{2}\bigl|E_{\alpha,1} \bigl(-\lambda_{n} t^{\alpha}\bigr)\bigr|^{2}+\sum _{n=1}^{\infty}\bigl|\bigl(F_{1}(u,v,t), \varphi_{n}\bigr)\bigr|^{2} \\ &{}+\sum_{n=1}^{\infty}\lambda_{n}^{2}\biggl| \int_{0}^{t}\bigl(F_{1}(u,v,\tau),\varphi _{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ \le&\sum_{n=1}^{\infty}\lambda_{n}^{2}\bigl|(a_{1}, \varphi_{n})\bigr|^{2}\biggl(\frac {1}{1+\lambda_{n} t^{\alpha}} \biggr)^{2}+\sum_{n=1}^{\infty}\bigl| \bigl(F_{1}(u,v,t),\varphi _{n}\bigr)\bigr|^{2} \\ &{}+\sum_{n=1}^{\infty}\lambda_{n}^{2} \sup_{0\le\tau\le T}\bigl|\bigl(F_{1}(u,v,\tau ), \varphi_{n}\bigr)\bigr|^{2} \biggl( \int_{0}^{t}\tau^{\alpha-1}E_{\alpha,\alpha} \bigl(-\lambda _{n}\tau^{\alpha}\bigr)\,d\tau\biggr)^{2} \\ \le& \|a_{1}\|_{L^{2}}^{2}t^{-2\alpha}+ \bigl\| F_{1}(u,v)\bigr\| _{L^{2}}^{2} \\ &{}+\sum_{n=1}^{\infty}\sup_{0\le\tau\le T}\bigl| \bigl(F_{1}(u,v,\tau),\varphi _{n}\bigr)\bigr|^{2} \biggl(- \int_{0}^{t}\frac{d}{d\tau}E_{\alpha,1} \bigl(-\lambda_{n} \tau^{\alpha }\bigr)\,d\tau\biggr)^{2} \\ \le& \|a_{1}\|_{L^{2}}^{2}t^{-2\alpha}+ \bigl\| F_{1}(u,v)\bigr\| _{L^{2}}^{2} \\ &{}+\bigl\| F_{1}(u,v,t)\bigr\| _{L^{\infty}(0,T;L^{2})}^{2}\bigl(1-E_{\alpha,1} \bigl(-\lambda_{n} t^{\alpha}\bigr)\bigr)^{2} \\ \le& \|a_{1}\|_{L^{2}}^{2}t^{-2\alpha}+C \bigl(K_{1},K_{2},T,\alpha ,\|a_{1} \|_{L^{2}}^{2},\|a_{2}\|_{L^{2}}^{2} \bigr),\quad t\in(0,T], \end{aligned}$$

where we have used the fact

$$\int_{0}^{t}\bigl|\tau^{\alpha-1}E_{\alpha,\alpha} \bigl(-\lambda_{n}\tau^{\alpha}\bigr)\bigr|\,d\tau= \int_{0}^{t}\tau^{\alpha-1}E_{\alpha,\alpha} \bigl(-\lambda_{n}\tau^{\alpha }\bigr)\,d\tau=-\frac{1}{\lambda_{n}} \int_{0}^{t}\frac{d}{d\tau}E_{\alpha ,1} \bigl(-\lambda_{n} \tau^{\alpha}\bigr)\,d\tau. $$

Similarly, we can also get

$$\bigl\| \partial_{t}^{\alpha}v(\cdot,t)\bigr\| _{L^{2}}^{2} \le\|a_{2}\|_{L^{2}}^{2}t^{-2\alpha }+C \bigl(K_{1},K_{2},T,\alpha,\|a_{1} \|_{L^{2}}^{2},\|a_{2}\|_{L^{2}}^{2} \bigr), \quad t\in(0,T]. $$

From equations (1)-(2), we also know that

$$\begin{aligned} \bigl\| u(\cdot,t)\bigr\| _{H^{2}}+\bigl\| v(\cdot,t)\bigr\| _{H^{2}} \le& C\bigl(\bigl\| Lu( \cdot ,t)\bigr\| _{L^{2}}+\bigl\| Lv(\cdot,t)\bigr\| _{L^{2}}\bigr) \\ \le& C \bigl(\bigl\| \partial_{t}^{\alpha}u(\cdot,t)\bigr\| _{L^{2}}+ \bigl\| \partial_{t}^{\alpha }v(\cdot,t)\bigr\| _{L^{2}}+ \bigl\| F_{1}(u,v)\bigr\| _{L^{2}} \\ &{}+\bigl\| F_{2}(u,v)\bigr\| _{L^{2}}\bigr) \\ \le&Ct^{-2\alpha}+ C,\quad t\in(0,T], \end{aligned}$$

where C depends on $\|a_{1}\|_{L^{2}}$, $\|a_{2}\|_{L^{2}}$, T, $K_{1}$, $K_{2}$, α.

Owing to $\sum_{n=1}^{\infty}\lambda_{n}(a_{1},\varphi_{n})E_{\alpha ,1}(-\lambda_{n} t^{\alpha})\varphi_{n}(x)$ and $\sum_{n=1}^{\infty}\lambda _{n}(a_{2},\varphi_{n})E_{\alpha,1}(-\lambda_{n} t^{\alpha})\varphi_{n}(x)$ being convergent in $t\in[\delta,T]$ with any given $\delta>0$, $\sum_{n=1}^{\infty}(F_{1}(u,v,t),\varphi_{n})\varphi_{n}(x)$, $\sum_{n=1}^{\infty }(F_{2}(u,v,t), \varphi_{n})\varphi_{n}(x)$, $\sum_{n=1}^{\infty}\lambda_{n}(\int _{0}^{t}(F_{1}(u,v,\tau),\varphi_{n})(t-\tau)^{\alpha-1}E_{\alpha,\alpha }(-\lambda_{n}(t-\tau)^{\alpha})\,d\tau)\varphi_{n}(x)$, and $\sum_{n=1}^{\infty}\lambda_{n} (\int_{0}^{t}(F_{2}(u,v,\tau), \varphi _{n})(t-\tau)^{\alpha-1}E_{\alpha,\alpha}(-\lambda_{n}(t-\tau)^{\alpha})\,d\tau) \varphi_{n}(x)$ being convergent in $t\in[0,T]$, we see that $(\partial_{t}^{\alpha}u,\partial_{t}^{\alpha}v)\in C((0,T];H)$ and $(u,v)\in C((0,T];V)$.

Next we prove the uniqueness.

Taking the duality pairing ${}_{-\gamma}\langle\cdot,\cdot\rangle_{\gamma }$ of equations (1)-(4) with $\varphi_{n}$ and setting $u_{n}(t)={}_{-\gamma }\langle u(x,t),\varphi_{n} \rangle_{\gamma}$, $v_{n}(t)={}_{-\gamma}\langle v(x,t),\varphi_{n} \rangle_{\gamma}$, we obtain

$$\begin{aligned}& \partial_{t}^{\alpha}u_{n}(t)=-\lambda_{n} u_{n}(t)+F_{1n}(t), \end{aligned}$$

(11)

$$\begin{aligned}& \partial_{t}^{\alpha}v_{n}(t)=-\lambda_{n} v_{n}(t)+F_{2n}(t), \end{aligned}$$

(12)

$$\begin{aligned}& u_{n}(t)=v_{n}(t)=0,\quad t\in(0,T], \end{aligned}$$

(13)

$$\begin{aligned}& u_{n}|_{t=0}=(a_{1},\varphi_{n}),\qquad v_{n}|_{t=0}=(a_{2}, \varphi_{n}). \end{aligned}$$

(14)

Due to the existence of the ordinary fractional differential equations and the Lipschitz assumption (A.3), we obtain the existence and uniqueness of the solution to equations (11)-(14). Since $\{\varphi_{n}\} _{n=1}^{\infty}$ is a complete orthonormal basis in $L^{2}$, we get the uniqueness of the weak solution $(u,v)$ to equations (1)-(4).

Finally, we have to prove

$$\lim_{t \to0}\bigl\| u(\cdot,t)-a_{1}\bigr\| _{L^{2}}=0,\qquad \lim_{t \to0}\bigl\| v(\cdot ,t)-a_{2}\bigr\| _{L^{2}}=0. $$

In fact,

$$\begin{aligned} \bigl\| u(\cdot,t)-a_{1}\bigr\| _{L^{2}}^{2} =&\sum _{n=1}^{\infty}\bigl|(a_{1},\varphi _{n}) \bigl(E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr)-1 \bigr)\bigr|^{2} \\ &{} +\sum_{n=1}^{\infty}\biggl| \int_{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau )^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ =&S_{1}(t)+S_{2}(t). \end{aligned}$$

Obviously, $\lim_{t \to0}S_{2}(t)=0$. Since

$$\begin{aligned} S_{1}(t) =&\sum_{n=1}^{\infty}\bigl|(a_{1}, \varphi_{n}) \bigl(E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr)-1\bigr)\bigr|^{2} \le2\sum_{n=1}^{\infty}\bigl|(a_{1}, \varphi_{n})\bigr|^{2}\biggl(\biggl(\frac{C}{1+\lambda_{n} t^{\alpha}} \biggr)^{2}+1\biggr)< \infty \end{aligned}$$

and

$$\lim_{t \to0}\bigl(E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr)-1\bigr)=0, $$

by using the Lebesgue dominated convergence theorem, we have

$$\lim_{t \to0}S_{1}(t)=0. $$

Hence

$$\lim_{t \to0}\bigl\| u(\cdot,t)-a_{1}\bigr\| _{L^{2}}=0. $$

Similarly,

$$\lim_{t \to0}\bigl\| v(\cdot,t)-a_{2}\bigr\| _{L^{2}}=0. $$

Thus we complete the proof of (i).

(ii) Under the assumption that $(a_{1},a_{2})\in V$, we have

$$\begin{aligned} &\bigl\| u(\cdot,t)\bigr\| _{H^{2}}^{2} \\ &\quad\le C \|Lu\|_{L^{2}}^{2} \\ &\quad\le C\sum_{n=1}^{\infty}\bigl| \lambda_{n}(a_{1},\varphi_{n})E_{\alpha,1} \bigl(-\lambda _{n} t^{\alpha}\bigr)\bigr|^{2} \\ &\qquad{} +C\sum_{n=1}^{\infty}\biggl| \int_{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr)\lambda _{n}(t-\tau)^{\alpha-1}E_{\alpha,\alpha} \bigl(-\lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\quad\le C\|a_{1}\|_{H^{2}}^{2}+C\sum _{n=1}^{\infty}\sup_{0\le\tau\le T}\bigl|\bigl(F_{1}(u,v,\tau),\varphi_{n}\bigr)\bigr|^{2}\biggl| \int_{0}^{t}\lambda_{n} (t- \tau)^{\alpha -1}E_{\alpha,\alpha}\bigl(-\lambda_{n}(t- \tau)^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\quad\le C\|a_{1}\|_{H^{2}}^{2}+C\sum _{n=1}^{\infty}\sup_{0\le\tau\le T}\bigl| \bigl(F_{1}(u,v,\tau),\varphi_{n}\bigr)\bigr|^{2} \biggl| \int_{0}^{t}\frac{d}{d\tau}E_{\alpha ,1} \bigl(-\lambda_{n}\tau^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\quad\le C\|a_{1}\|_{H^{2}}^{2}+C\bigl\| F_{1}(u,v) \bigr\| _{L^{\infty}(0,T;L^{2})}^{2} \\ &\quad\le C\bigl(\|a_{1}\|_{H^{2}},T,K_{1},K_{2}, \alpha\bigr),\quad t\in[0,T]. \end{aligned}$$

Similarly,

$$\bigl\| v(\cdot,t)\bigr\| _{H^{2}}^{2}\le C\bigl(\|a_{2} \|_{H^{2}},T,K_{1},K_{2},\alpha\bigr),\quad t\in[0,T]. $$

From equations (1)-(2), it follows that

$$\bigl\| \partial_{t}^{\alpha}u(\cdot,t)\bigr\| _{L^{2}}+\bigl\| \partial_{t}^{\alpha}v(\cdot ,t)\bigr\| _{L^{2}}\le C\bigl( \|a_{1}\|_{H^{2}},\|a_{2}\|_{H^{2}},T,K_{1},K_{2}, \alpha\bigr),\quad t\in[0,T]. $$

Next we have to prove

$$\lim_{t\to0}\bigl\| u(\cdot,t)-a_{1}\bigr\| _{\mathcal{D}((-L)^{-\gamma})}^{2}=0,\qquad \lim_{t\to0}\bigl\| v(\cdot,t)-a_{2}\bigr\| _{\mathcal{D}((-L)^{-\gamma })}^{2}=0. $$

In fact,

$$\begin{aligned} &\bigl\| u(\cdot,t)-a_{1}\bigr\| _{\mathcal{D}((-L)^{-\gamma})}^{2} \\ &\quad= \sum_{n=1}^{\infty}\frac{1}{\lambda_{n} ^{2\gamma}}\bigl|(a_{1}, \varphi _{n})E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr)\bigr|^{2} \\ &\qquad{}+\sum_{n=1}^{\infty}\frac{1}{\lambda_{n} ^{2\gamma}}\biggl| \int _{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha }\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\quad= S_{3}(t)+S_{4}(t). \end{aligned}$$

Since

$$\begin{aligned} S_{3}(t) \le& C \sum_{n=1}^{\infty} \frac{1}{\lambda_{n} ^{2\gamma }}\bigl|(a_{1},\varphi_{n})\bigr|^{2} \le C\frac{1}{\lambda_{1} ^{2\gamma}}\|a_{1}\|_{L^{2}}^{2}< \infty \end{aligned}$$

and

$$\lim_{t\to0}\bigl(E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr)-1\bigr)=0 $$

for each $n\in\mathbb{N}$, by using the Lebesgue dominated convergence theorem, we have

$$\lim_{t\to0}S_{3}(t)=0. $$

By Lemma 2, we have

$$\begin{aligned}[b] S_{4}(t)&\le C\sup_{0\le t \le T}\|F_{1} \|_{L^{2}}^{2}\sum_{n=1}^{\infty} \frac {1}{\lambda_{n} ^{2\gamma}}\biggl| \int_{0}^{t}\tau^{\alpha-1}E_{\alpha,\alpha } \bigl(-\lambda_{n}\tau^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\le C\sup_{0\le t \le T}\|F_{1}\|_{L^{2}}^{2} \sum_{n=1}^{\infty}\frac {1}{\lambda_{n} ^{2\gamma+2}} \bigl(1-E_{\alpha,1}\bigl(-\lambda_{n} t^{\alpha}\bigr) \bigr)^{2} \\ &\le C\sum_{n=1}^{\infty}\frac{1}{\lambda_{n} ^{2\gamma+2}}. \end{aligned} $$

Since $\lambda_{n} \ge C n^{\frac{2}{d}}$ (e.g. [21]), we obtain

$$S_{4}(t)\le C\sum_{n=1}^{\infty} \frac{1}{n^{\frac{4\gamma+4}{d}}}< \infty $$

for $\gamma>\frac{d}{4}-1$. Hence, the Lebesgue dominated convergence theorem yields

$$\lim_{t\to0}S_{4}(t)=0. $$

Thus we complete the proof of (ii). □

Remark

In the proof of Theorem 1, we have used the fact $\frac{1}{2}\le\alpha<1$. But we do not know whether it still holds for the case $0<\alpha<\frac{1}{2}$. The energy estimation for the case $0<\alpha<\frac{1}{2}$ is technically more complicated and will be done in the future.

Theorem 2

Let $1<\alpha<2$, the initial data $(a_{1},a_{2})\in V$ and $\partial_{t} u|_{t=0}=0$, $\partial_{t} v|_{t=0}=0$, $x\in\Omega$. Then there exists a unique solution $(u,v)$ to equations (1)-(4) with

$$(u,v)\in C\bigl([0,T],V\bigr),\qquad \bigl(\partial_{t}^{\alpha}u, \partial_{t}^{\alpha}v\bigr)\in C\bigl([0,T];H\bigr), $$

and the following estimates hold

$$\begin{aligned}& \bigl\| u(\cdot,t)\bigr\| _{H^{2}}+\bigl\| v(\cdot,t)\bigr\| _{H^{2}}\le C, \quad t\in[0,T],\\& \bigl\| \partial_{t}^{\alpha}u(\cdot,t)\bigr\| _{L^{2}}+\bigl\| \partial_{t}^{\alpha}v(\cdot ,t)\bigr\| _{L^{2}}\le C,\quad t\in[0,T]. \end{aligned}$$

Proof

By assumption (A.2) and equations (5)-(6), we have

$$\begin{aligned} \bigl\| u(\cdot,t)\bigr\| _{H^{2}}^{2} \le&C \bigl\| Lu(\cdot,t) \bigr\| _{L^{2}}^{2} \\ \le& C \sum_{n=1}^{\infty} \lambda_{n}^{2}\bigl|(a_{1},\varphi_{n})E_{\alpha ,1} \bigl(-\lambda_{n} t^{\alpha}\bigr)\bigr|^{2} \\ &{} +C\sum_{n=1}^{\infty}\lambda_{n}^{2}\biggl|\biggl( \int_{0}^{t}\bigl(F_{1}(u,v,\tau),\varphi _{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr)\biggr|^{2} \\ \le& C\|a_{1}\|_{H^{2}}^{2}+C \int_{0}^{t}\bigl\| F_{1}(u,v) \bigr\| _{H^{2}}^{2}\,d\tau \\ \le& C +C \int_{0}^{t}\bigl(\bigl\| u(\cdot,\tau) \bigr\| _{H^{2}}^{2}+\bigl\| v(\cdot,\tau )\bigr\| _{H^{2}}^{2} \bigr)\,d\tau. \end{aligned}$$

Similarly,

$$\bigl\| v(\cdot,t)\bigr\| _{H^{2}}^{2}\le C +C \int_{0}^{t}\bigl(\bigl\| u(\cdot ,t) \bigr\| _{H^{2}}^{2}+\bigl\| v(\cdot,t)\bigr\| _{H^{2}}^{2}\bigr)\,d\tau. $$

Combining the above two inequalities, and using Gronwall’s inequality, we have

$$\bigl\| u(\cdot,t)\bigr\| _{H^{2}}^{2}+\bigl\| v(\cdot,t)\bigr\| _{H^{2}}^{2} \le C\bigl(\|a_{1}\|_{H^{2}},\|a_{2}\|_{H^{2}},T,K_{3},K_{4}, \alpha\bigr),\quad t\in[0,T]. $$

Furthermore,

$$\bigl\| u(\cdot,t)\bigr\| _{L^{\infty}(0,T;H^{2})}\le C, \qquad \bigl\| v(\cdot ,t)\bigr\| _{L^{\infty}(0,T;H^{2})}\le C. $$

From equations (1)-(2), we can also get the estimate

$$\bigl\| \partial_{t}^{\alpha}u(\cdot,t)\bigr\| _{L^{2}}^{2}+ \bigl\| \partial_{t}^{\alpha}v(\cdot ,t)\bigr\| _{L^{2}}^{2} \le C. $$

The proof of uniqueness is similar to the proof of Theorem 1. □

Corollary 1

Let $1<\alpha<2$ and the initial data $a_{1}=a_{2}=0$, then we have

$$\bigl\| u(\cdot,t)\bigr\| _{\mathcal{D}((-L)^{\frac{\alpha-1}{\alpha}})} +\bigl\| v(\cdot ,t)\bigr\| _{\mathcal{D}((-L)^{\frac{\alpha-1}{\alpha}})}\le C, \quad t\in[0,T]. $$

Proof

From equation (5), we have

$$\begin{aligned} &\bigl\| (-L)^{\frac{\alpha-1}{\alpha}}u(\cdot,t)\bigr\| _{L^{2}}^{2}\\ &\quad= \sum_{n=1}^{\infty}\lambda_{n} ^{2{\frac{\alpha-1}{\alpha}}}\biggl| \int _{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau)^{\alpha-1}E_{\alpha,\alpha }\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2}\\ &\quad\le C\sum_{n=1}^{\infty}\sup _{0\le t\le T}\bigl|\bigl(F_{1}(u,v,t),\varphi _{n} \bigr)\bigr|^{2}\biggl| \int_{0}^{t}\frac{(\lambda_{n}\tau^{\alpha})^{\frac{\alpha-1}{\alpha }}}{1+\lambda_{n}\tau^{\alpha}}\,d\tau\biggr|^{2}. \end{aligned}$$

Since

$$\sup_{\tau\ge0}\frac{(\lambda_{n}\tau^{\alpha})^{\frac{\alpha-1}{\alpha }}}{1+\lambda_{n}\tau^{\alpha}}= \frac{(\alpha-1)^{\frac{\alpha-1}{\alpha }}}{\alpha}, $$

we deduce that

$$\bigl\| (-L)^{\frac{\alpha-1}{\alpha}}u(\cdot,t)\bigr\| _{L^{2}}^{2} \le CT^{2}\bigl\| F_{1}(u,v)\bigr\| _{L^{\infty}(0,T;L^{2})}^{2}\le C, \quad t \in[0,T]. $$

Similarly,

$$\bigl\| (-L)^{\frac{\alpha-1}{\alpha}}v(\cdot,t)\bigr\| _{L^{2}}^{2}\le C, \quad t\in[0,T]. $$

 □

Corollary 2

Let $1<\alpha<2$ and the initial data $a_{1}=a_{2}=0$, then we have

$$\bigl\| \partial_{t}u(\cdot,t)\bigr\| _{\mathcal{D}((-L)^{-\gamma})}+\bigl\| \partial _{t}v(\cdot,t)\bigr\| _{\mathcal{D}((-L)^{-\gamma})}\le C, \quad t\in[0,T], $$

for $\gamma>\frac{d}{4}$.

Proof

By Lemma 2, we have

$$\begin{aligned}& \partial_{t}u(\cdot,t)=\sum_{n=1}^{\infty} \biggl( \int_{0}^{t}\bigl(F_{1}(u,v,\tau ), \varphi_{n}\bigr) (t-\tau)^{\alpha-2}E_{\alpha,\alpha-1}\bigl(- \lambda_{n}(t-\tau )^{\alpha}\bigr)\,d\tau\biggr) \varphi_{n}(x), \\& \partial_{t}v(\cdot,t)=\sum_{n=1}^{\infty} \biggl( \int_{0}^{t}\bigl(F_{2}(u,v,\tau ), \varphi_{n}\bigr) (t-\tau)^{\alpha-2}E_{\alpha,\alpha-1}\bigl(- \lambda_{n}(t-\tau )^{\alpha}\bigr)\,d\tau\biggr) \varphi_{n}(x). \end{aligned}$$

Therefore, by Lemma 1 and $\lambda_{n}\ge C n^{\frac{2}{d}}$, we have

$$\begin{aligned} &\bigl\| \partial_{t}u(\cdot,t)\bigr\| _{\mathcal{D}((-L)^{-\gamma})}^{2}\\ &\quad=\sum_{n=1}^{\infty}\frac{1}{\lambda_{n}^{2\gamma}}\biggl| \int _{0}^{t}\bigl(F_{1}(u,v,\tau), \varphi_{n}\bigr) (t-\tau)^{\alpha-2}E_{\alpha,\alpha -1}\bigl(- \lambda_{n}(t-\tau)^{\alpha}\bigr)\,d\tau\biggr|^{2}\\ &\quad\le\sum_{n=1}^{\infty}\frac{1}{\lambda_{n}^{2\gamma}}\sup _{0\le t\le T}\bigl|\bigl(F_{1}(u,v,t),\varphi_{n} \bigr)\bigr|^{2}\biggl| \int_{0}^{t}\tau^{\alpha-2}E_{\alpha,\alpha -1} \bigl(-\lambda_{n}\tau^{\alpha}\bigr)\,d\tau\biggr|^{2} \\ &\quad\le C \bigl\| F_{1}(u,v)\bigr\| _{L^{\infty}(0,T;L^{2})}^{2}\sum _{n=1}^{\infty}\frac {1}{\lambda_{n}^{2\gamma}}t^{2\alpha-2} \\ &\quad\le C \bigl\| F_{1}(u,v)\bigr\| _{L^{\infty}(0,T;L^{2})}^{2}T^{2\alpha-2} \sum_{n=1}^{\infty}\frac{1}{n^{\frac{4\gamma}{d}}} < \infty \end{aligned}$$

for $\gamma>\frac{d}{4}$. In the same way, we can also obtain the estimate

$$\bigl\| \partial_{t}u(\cdot,t)\bigr\| _{\mathcal{D}((-L)^{-\gamma})}^{2}< \infty. $$

Thus we complete the proof. □