Dissipativity of Fractional Navier–Stokes Equations with Variable Delay

Abstract

We use classical Galerkin approximations, the generalized Aubin–Lions Lemma as well as the Bellman–Gronwall Lemma to study the asymptotical behavior of a two-dimensional fractional Navier–Stokes equation with variable delay. By modifying the fractional Halanay inequality and the comparison principle, we investigate the dissipativity of the corresponding system, namely, we obtain the existence of global absorbing set. Besides, some available results are improved in this work. The existence of a global attracting set is still an open problem.

1. Introduction

We study the longtime behavior of the following two-dimensional Navier–Stokes equation of fractional order with variable delay on a bounded domain $\Omega \subset {\mathbb{R}}^2$,

$$D_t^{\alpha }u-\nu \Delta u+(u·\nabla )u+\nabla p=f(t)+g(t,u_t),\mathrm{in}(0,T)\times \Omega ,$$

(1)

$$divu\equiv 0,\mathrm{in}(0,T)\times \Omega ,$$

(2)

$$u=0,\mathrm{on}(0,T)\times \partial \Omega ,$$

(3)

$$u(t,x)=\varphi (t,x),t\in [-h,0],x\in \Omega ,$$

(4)

where $D_t^{\alpha }$ is a fractional derivative of order $\alpha \in (0,1)$, $T>0$, $\Omega \subset {\mathbb{R}}^2$ is a bounded open set with regular boundary $\partial \Omega$, $\nu >0$ is the kinematic viscosity, u is the velocity field of the fluid, p is the pressure, $\varphi$ is the initial datum, $h>0$ is a constant, f is an external force field without delay, and g is the external force containing some functional delay. We will refer to (1)–(4) as problem $(P)$.

In fact, hereditary characteristics are ubiquitous in engineering, biology and physics. For example, feedback control problem, immune systems, soft matter with viscoelasticity [1] could all have hereditary properties (including memory, variable delay or distributed delay, constant delay, etc). The delay term is very often denoted by a function $u_t(·)$ defined on some interval $[-h,0]$ (here h could be $-\infty$). The memory effect is modeled by using fractional calculus, which actually has been widely applied in many sciences [2,3,4,5]. We would like to mention that the concept of fractional calculus was raised by L’Hospital, who wrote to Leibniz in the year 1695, seeking the meaning of $\frac{d^{n}y}{d{x}^n}$ when $n=\frac{1}{2}$. However, it only became popular in practical applications in the past few decades. Several kinds of definitions of fractional derivatives have been introduced [2], but maybe the most commonly used nowadays are the so-called Riemann–Liouville derivative and Caputo derivative. More definitions for Riemann–Liouville and Caputo derivative can be found in [3,6,7].

It is worth pointing out that using a convolution group, Li and Liu [8] introduced a generalized definition of Caputo derivative of order $\alpha \in (0,1)$, and built a convenient framework for studying initial value problems of time fractional differential equations. Compared with Riemann–Liouville derivative, the Caputo derivative defined in [8] removes the singularity at $t=0$ and characterizes memory from $t=0_{+}$. It is probably this character that makes the Caputo derivative share many similarities with the corresponding ordinary derivative and then more manageable for Cauchy problems. In this work, we use the Caputo derivative introduced in [8] to investigate the fractional dynamic system (1).

On the other hand, there are many results about time-fractional Navier–Stokes equations, which can be used to simulate anomalous diffusion in fractal media. For instance, applying Laplace and finite Hankel transforms, Chaurasia and Kumar [9] obtained the solution of a time-fractional Navier–Stokes equation. In [10], Zhou and Peng studied the mild solutions of Navier–Stokes equations with a time-fractional derivative, meanwhile Nieto and Planas [11] investigated the existence and uniqueness of mild solutions to the Navier–Stokes equations with time fractional differential operators, and obtained several interesting properties about the solution, such as regularity and decay rate in Lebesgue spaces. Nevertheless, most of the available works including the mentioned ones did not take into account the delay in the external forcing term, and are concerned mainly with the existence of solution/mild solution or the regularity. There is no result on the limit behavior of solutions, even less work about fractional Navier–Stokes equations with delay, such as the existence of weak solution and asymptotical behavior of solutions. Actually, for general fractional PDEs, this discussion is limited due to the lack of tools although some special cases have been studied [12,13,14].

The traditional method used to study solutions of classic nonlinear PDEs is to find some “a priori”’ estimates of approximate solutions, then to apply some compactness criteria—i.e., the Arzelà-Ascoli theorem, etc. However, this method seems not to work for fractional PDEs with variable delay. Because of the appearance of variable delay term, the generalized fractional Gronwall inequality [15] (Theorem 1) is not enough to find some “a priori” estimates of Lyapunov functions. Even though Ye and Gao [16] obtained the Henry-Gronwall type retarded integral inequalities, this only works for fractional differential equations with constant delay but not for variable delay. Fortunately, Li and Liu [17] (Theorem 4.1–4.2), generalized the classic Aubin–Lions lemma and some convergence theorem to the fractional case, respectively. To our purpose, we first improve [17] (Proposition 3.5) and [8] (Theorem 4.10). Then, under the condition that $\alpha \in (\frac{1}{2},1)$, we investigate the solutions of our system by combing the Galerkin approximation and the generalized Aubin–Lions lemma as well as the Bellman–Gronwall Lemma.

We would like to mention that Wen, Yu and Wang [18] analyzed the dissipativity of Volterra functional differential equations by using the generalized Halanay inequalities, while Wang and Zou [19] studied the dissipativity and contractivity analysis for fractional functional differential equations and their numerical approximations via a fractional Halanay inequality. However, to analyze the dissipativity of fractional PDEs with variable delay, the fractional Halanay inequality [19] alone is not enough any more, in fact, it cannot be applied directly for our case, either. We modify the fractional Halanay inequality [19] (Lemma 4) to a more general case, and then improve the comparison principle [20] (Lemma 3.4) and combine the fractional Halanay inequality to overcome this difficulty.

Motivated by [19], we study the long time behavior of fractional Navier–Stokes equations with variable delay. More precisely, we first prove the existence and uniqueness of weak solutions by Galerkin approximation, and then analyze the dissipativity of system $(P)$, namely, we obtain the existence of an absorbing set by fractional Halanay inequalities and generalized comparison principle. We would like to mention that similar results about the classic model of problem $(P)$ can be found in [21].

The organization of this work is as follows. In the next Section, we recall some basic concepts about fractional calculus, and present some auxiliary lemmas which will be useful in later study. In Section 3, we focus on the existence and uniqueness of weak solutions, and the dissipativity of the fractional dynamic system $(P)$ is shown in Section 4. Throughout the work, C, c are positive constants, which can be different from line to line, even in the same line.

2. Preliminaries

In this Section, we first recollect the generalize definitions of fractional calculus to functions valued in general Banach spaces as studied in [8,17]. Then we prefer to recall some notations and abstract spaces for the sake of completeness and to make the reading of the paper easier, although the notations and results included in this section may seem somehow repetitive, since they can be found in several already published monographs or articles [22,23,24]. Besides, two examples of delay are presented and some lemmas, propositions that will be used in our later discussion are stated.

Now, we start with the definition of fractional integral, readers are referred to [2,3,8] for more details.

Definition 1.

([3,17]) The fractional Riemann–Liouville integral of order $\alpha \in (0,1)$ for a function $u:{\mathbb{R}}^{+}\to \mathbb{R}$ locally integrable is defined by

$$\begin{array}{c}\hfill \left[I_{\alpha }u\right](t)=\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}u(s)ds,t>0,\end{array}$$

where $\Gamma (\alpha )={\int }_0^{\infty }{x}^{\alpha -1}{e}^{-x}dx$ is the classical Gamma function.

Definition 2.

([8]) Let X be a Banach space. For a locally integrable function $u\in L_{loc}^1((0,T);X)$, if there exists $u_0\in X$ such that

$$\begin{array}{c}\hfill \underset{t\to 0_{+}}{lim}\frac{1}{t}{\int }_0^t{\parallel u(s)-u_0\parallel }_{X}ds=0,\end{array}$$

then $u_0$ is called the right limit of u at $t=0$, denote as $u(0_{+})=u_0$. Similarly, we define $u(T^{-})=u_T$ to be the left limit of u at $t=T$—i.e., $u_T\in X$ such that

$$\begin{array}{c}\hfill \underset{t\to T^{-}}{lim}\frac{1}{T-t}{\int }_t^T{\parallel u(s)-u_T\parallel }_{X}ds=0.\end{array}$$

As pointed out in [8], this fractional integral can be expressed as the convolution between the kernel $g_{\alpha }(t)=\frac{H(t)t^{\alpha -1}}{\Gamma (\alpha )}$ and $H(t)u(t)$ on $\mathbb{R}$, where

$$H(t)=\left\{\begin{array}{cc}1,\hfill & t\ge 0,\hfill \\ 0,\hfill & t<0.\hfill \end{array}\right.$$

is the standard Heaviside step function. By this fact, it is not difficult to verify that the integral operators $I_{\alpha }$ form a semigroup, and $I_{\alpha }$ is a bounded linear operator from $L^1(0,T)$ to $L^1(0,T)$. Inspired by [25] (Section 5, Chapter 1), Li and Liu [8] proposed a generalized definition of Caputo derivative. The new definition is consistent with various definitions in the literature while revealing the underlying group structure. The underlying group property makes many properties of the Caputo derivative natural.

Before introducing this generalized Caputo derivative, we need to use the distributions $\left\{g_{\alpha }\right\}$ as the convolution kernels for $\alpha \in (-1,1)$:

$$g_{\alpha }(t):=\left\{\begin{array}{c}\frac{H(t)t^{\alpha -1}}{\Gamma (\alpha )},\alpha \in (0,1),\hfill \\ \delta (t),\alpha =0,\hfill \\ \frac{D(H(t)t^{\alpha })}{\Gamma (1+\alpha )},\alpha \in (-1,0),\hfill \end{array}\right.$$

where $\delta$ is the usual Dirac distribution, and D means the distributional derivative. As in [8], the fractional integral operator $I_{\alpha }$ can be expressed as

$$\begin{array}{c}\hfill \left[I_{\alpha }u\right](t):=g_{\alpha }\ast \left[H(t)u(t)\right].\end{array}$$

Given $f,g\in L_{loc}^1(0,T)$, we define the convolution between f and g as

$$\begin{array}{c}\hfill f(t)\ast g(t)={\int }_0^{t}f(s)g(t-s)ds.\end{array}$$

Now, we introduce the generalized Caputo derivative as

Definition 3.

([8]) Let $\alpha \in (0,1)$. Suppose that $u\in L_{loc}^1(0,T)$ has a right limit $u(0_{+})=u_0$ at $t=0$ in the sense of Definition 2. The Caputo derivative of fractional order α of u is a distribution in ${\mathcal{D}}^{\prime }(-\infty ,T)$ with support in $[0,T)$, given by

$$\begin{array}{c}\hfill D_t^{\alpha }u:=I_{-\alpha }u-u_0{g}_{1-\alpha }=g_{-\alpha }\ast \left[(u-u_0)H(t)\right].\end{array}$$

The right fractional Caputo derivative is defined as

Definition 4.

([17]) Let $\alpha \in (0,1)$. Consider that $u\in L_{loc}^1(-\infty ,T)$ has a left limit $u_T$ at $t=T$ in the sense of Definition 2. The right Caputo derivative fractional order α of u is a distribution in ${\mathcal{D}}^{\prime }(\mathbb{R})$ with support in $(-\infty ,T]$, given by

$$\begin{array}{c}\hfill {\tilde{D}}_{c;T}^{\alpha }u:={\tilde{g}}_{-\alpha }\ast \left[H(T-t)(u-u_T)\right].\end{array}$$

To introduce the Caputo derivatives for functions valued in general Banach spaces, for fix $T>0$, we present the following sets:

$$\begin{array}{c}\hfill {\mathcal{D}}^{\prime }:=\{v|v:C_c^{\infty }((-\infty ,T);\mathbb{R})\to X\mathrm{is}\mathrm{a}\mathrm{bounded}\mathrm{linear}\mathrm{operator}\},\end{array}$$

which is analogous of the distribution ${\mathcal{D}}^{\prime }$ used in [17]. We would like to point out that ${\mathcal{D}}^{\prime }$ can be understood as the generalization of distribution. In fact, if $X=\mathbb{R}$, then it is reduced to the usual distribution as in [17].

The weak fractional Caputo derivative of the functions valued in Banach spaces is given by

Definition 5.

([17]) Let X be a Banach space and $u\in L_{loc}^1([0,T);X)$. Let $u_0\in X$. We define the weak Caputo derivative of fractional order α of u associated with initial value $u_0$ to be $D_t^{\alpha }u\in {\mathcal{D}}^{\prime }$ such that for any test function $v\in C_c^{\infty }((-\infty ,T);\mathbb{R})$,

$$\begin{array}{c}\hfill ⟨v,D_t^{\alpha }u⟩:={\int }_{-\infty }^T({\tilde{D}}_{c;T}^{\alpha }v)(u-u_0)H(t)dt={\int }_0^T({\tilde{D}}_{c;T}^{\alpha }v)(u-u_0)dt.\end{array}$$

Next, let us consider the following usual abstract spaces:

$$\begin{array}{c}\hfill \mathcal{V}=\left\{u\in {(C_0^{\infty }(\Omega ))}^2:divu=0\right\}.\end{array}$$

$H=$ the closure of $\mathcal{V}$ in ${(L^2(\Omega ))}^2$ with norm $|·|$, and inner product $(·,·)$, where for $u,v\in {(L^2(\Omega ))}^2$,

$$\begin{array}{c}\hfill (u,v)=\sum _{j=1}^2{\int }_{\Omega }{u}_j(x)v_j(x)dx.\end{array}$$

$V=$ the closure of $\mathcal{V}$ in ${(H_0^1(\Omega ))}^2$ with norm $\parallel ·\parallel$, and inner product $((·,·))$, where for $u,v\in {(H_0^1(\Omega ))}^2$,

$$\begin{array}{c}\hfill ((u,v))=\sum _{i,j=1}^2{\int }_{\Omega }\frac{\partial u_j}{\partial x_i}\frac{\partial v_j}{\partial x_i}dx.\end{array}$$

It follows that $V\subset H\equiv H^{\prime }\subset V^{\prime }$, where the injections are dense and compact. We will use ${\parallel ·\parallel }_{*}$ for the norm in $V^{\prime }$, and $⟨·,·⟩$ for the duality pairing between V and $V^{\prime }$. Now we define $A:V\to V^{\prime }$ by $⟨Au,v⟩=((u,v))$, and the trilinear form B on $V\times V\times V$ by

$$\begin{array}{c}\hfill B(u,v,w)=\sum _{i,j=1}^2{\int }_{\Omega }{u}_i\frac{\partial v_j}{\partial x_i}{w}_{j}dx,\forall u,v,w\in V.\end{array}$$

Note that the trilinear form B satisfies the following inequalities which will be used later in proofs (see [23] (p. 2015)).

$$|B(u,v,u)|\le {\parallel u\parallel }_{{(L^4(\Omega ))}^2}^2\parallel v\parallel \le 2^{-1/2}|u|\parallel u\parallel \parallel v\parallel ,\forall u,v\in V.$$

(5)

The phase space used in this paper is defined as $C_H=C([-h,0];H)$ with the norm

$$\begin{array}{c}\hfill \parallel u_t{\parallel }_{C_H}=\underset{-h\le \theta \le 0}{sup}|u(t+\theta )|,\mathrm{for}{u}_t\in C_H\mathrm{and}t\ge 0,\end{array}$$

where $u_t$ is a function defined on $[-h,0]$—i.e., $u_t:=u_t(\theta )=u(t+\theta )$, $\theta \in [-h,0]$.

We now enumerate the assumptions on the delay term g. For $g:[0,T]\times C_H\to {(L^2(\Omega ))}^2$, we assume:

(g1)

For any $\xi \in C_H$, the mapping $[0,T]\ni t\mapsto g(t,\xi )\in {(L^2(\Omega ))}^2$ is measurable.

(g2)

$g(·,0)=0$.

(g3)

There exists $L_g>0$ such that, for any $t\in [0,T]$ and all $\xi ,\eta \in C_H$,

$$\begin{array}{c}\hfill |g(t,\xi )-g(t,\eta )|\le L_g{\parallel \xi -\eta \parallel }_{C_H}.\end{array}$$

Remark 1.

(i) As pointed out in [23], condition $(g2)$ is not a restriction. Indeed, if $|g(·,0)|\in L^2(0,T)$, we could redefine $\widehat{l}(t)=l(t)+g(t,0)$ and $\widehat{g}(t,·)=g(t,·)-g(t,0)$. In this way the problem is exactly the same, $\widehat{l}$ and $\widehat{g}$ satisfy the required assumptions.

(ii) Conditions $(g2)$ and $(g3)$ imply that

$$\begin{array}{c}\hfill |g(t,\xi )|\le L_g{\parallel \xi \parallel }_{C_H},\end{array}$$

whence $|g(t,\xi )|\in L^{\infty }(0,T)$.

Example 1.

A forcing term with bounded variable delay. Let $G:[0,T]\times {\mathbb{R}}^2\to {\mathbb{R}}^2$ be a measurable function satisfying $G(t,0)=0$ for all $t\in [0,T]$, and assume that there exists $L_G>0$ such that

$$\begin{array}{c}\hfill {|G(t,u)-G(t,v)|}_{{\mathbb{R}}^2}\le L_G{|u-v|}_{{\mathbb{R}}^2},\forall u,v\in {\mathbb{R}}^2.\end{array}$$

Consider a function $\rho (·):[0,+\infty )\to [0,h]$, which plays the role of the variable delay. Assume that $\rho (·)$ is measurable and define $g(t,\xi )(x)=G(t,\xi (-\rho (t))(x))$ for each $\xi \in C_H$, $x\in \Omega$ and $t\in [0,T]$. Notice that, in this case, the delayed term g in our problem becomes

$$\begin{array}{c}\hfill g(t,\xi )=G(t,\xi (-\rho (t))).\end{array}$$

Example 2.

A forcing term with finite distributed delay. Let $G:[0,T]\times [-h,0]\times {\mathbb{R}}^2\to {\mathbb{R}}^2$ be a measurable function satisfying $G(t,s,0)=0$ for all $(t,s)\in [0,T]\times [-h,0]$, and there exists a function $\beta (s)\in L^1(-h,0)$ such that

$$\begin{array}{c}\hfill {|G(t,s,u)-G(t,s,v)|}_{{\mathbb{R}}^2}\le \beta (s){|u-v|}_{{\mathbb{R}}^2},\forall u,v\in {\mathbb{R}}^2,\forall (t,s)\in [0,T]\times [-h,0].\end{array}$$

Define $g(t,\xi )(x)={\int }_{-h}^{0}G(t,s,\xi (s)(x))ds$ for each $\xi \in C_H$, $t\in [0,T]$, and $x\in \Omega$. Then, the delayed term g in our problem becomes

$$\begin{array}{c}\hfill g(t,\xi )={\int }_{-h}^{0}G(t,s,\xi (s))ds.\end{array}$$

After introducing the above operators, an equivalent abstract formulation to problem $(P)$ is

$$\begin{array}{cc}\hfill & D_t^{\alpha }u+\nu Au+B(u)=f(t)+g(t,u_t),\forall t>0,\hfill \end{array}$$

(6)

$$\begin{array}{cc}\hfill & u(t)=\varphi (t),t\in [-h,0].\hfill \end{array}$$

(7)

The definition of weak solution to problem (6) and (7) is defined as

Definition 6.

([17]) Given an initial datum $\varphi \in C_H$, a weak solution u to (6) and (7) in the interval $[-h,T]$ is a function $u\in C([-h,T];H)\cap L^2(0,T;V)$ with $u_0=\varphi (0)$ such that, for all $v\in V$,

$$(D_t^{\alpha }u(t),v)+\nu ((u(t),v))+B(u(t),u(t),v)=⟨f(t),v⟩+(g(t,u_t),v),$$

where the equation must be understood in the sense of distribution.

The following auxiliary Lemmas will be needed in this work.

Lemma 1.

(See [17,26]) For any function $u(t)$ absolutely continuous on $[0,T]$, one has the inequality

$$\begin{array}{c}\hfill u(t)D_t^{\alpha }u(t)\ge \frac{1}{2}{D}_t^{\alpha }{u}^2(t),\alpha \in (0,1).\end{array}$$

The following result is a generalization of the Aubin–Lions Lemma [27].

Lemma 2.

([17] (Theorem 4.2)) Let $T>0$, $\alpha \in (0,1)$ and $p\in [1,\infty )$. Let $M,X,Y$ be Banach spaces. The inclusion $M\hookrightarrow X$ compact and the inclusion $X\hookrightarrow Y$ continuous. Suppose $W\subset L_{loc}^1((0,T);M)$ satisfies:

(i) 

There exists $r_1\in [1,\infty )$ and $C>0$ such that $\forall u\in W$,

$$\begin{array}{c}\hfill \underset{t\in (0,T)}{sup}{I}^{\alpha }{(\parallel u\parallel }_M^{r_1})=\underset{t\in (0,T)}{sup}\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u\parallel }_M^{r_1}(s)ds\le C.\end{array}$$

(ii) 

There exists $p_1\in (p,\infty ]$, such that, W is bounded in $L^{p_1}((0,T);X)$.

(iii) 

There exists $r_2\in [1,\infty )$, $C>0$ such that for any $u\in W$ with right limit $u_0$ at $t=0$, it holds that

$$\begin{array}{c}\hfill \parallel D_t^{\alpha }{u\parallel }_{L^{r_2}((0,T);Y)}\le C.\end{array}$$

Then, W is relatively compact in $L^p((0,T);X).$

Proposition 1.

(An improvement in [17] (Proposition 3.5)) Suppose Y is a reflexive Banach space, $\alpha \in (0,1)$ and $T>0$. Assume the sequence $\left\{u^n\right\}$ converges to u in $L^p((0,T);Y)$, $p\ge 1.$ If there is an assignment of initial values $u_{0,n}$ for $u^n$ such that the weak Caputo derivatives $D_t^{\alpha }{u}^n$ are bounded in $L^r((0,T);Y)$$(r\in [1,\infty ))$, then

(i) 

There is a subsequence such that $u_{0,n}$ converges weakly to some value $u_0\in Y.$

(ii) 

If $r>1,$ there exists a subsequence such that $D_t^{\alpha }{u}^{nk}$ converges weakly to v and $u_{0,n_k}$ converges weakly to $u_0$. Moreover, v is the Caputo derivative of u with initial value $u_0$ so that

$$\begin{array}{c}\hfill u(t)=u_0+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}v(s)ds.\end{array}$$

Further, if $r\ge 1$, then, $u(0_{+})=u_0$ in Y is the sense of Definition 2.

Proof. 

We would like to mention that this Proposition is just a slightly improvement of [17] (Proposition 3.5), in which, the final conclusion—i.e., $u(0_{+})=u_0$ in Y—holds true for $r\ge \frac{1}{\alpha }$. However, this conclusion holds for $r\ge 1$.

So, we just need to prove that for $r\ge 1$, if $D_t^{\alpha }u\in L_{loc}^1([0,T),Y)$, then $u(0_{+})=u_0$ in Y under the sense of Definition 2. By a similar argument in [17] (Corollary 2.16) and Young’s inequality with the conjugate index $p=\infty ,q=1$, $\frac{1}{p}+\frac{1}{q}=1$, we find

$$\begin{array}{cc}\hfill \frac{1}{t}{\int }_0^t{\parallel u-u_0\parallel }_{Y}dt& \le \frac{1}{t\Gamma (\alpha )}{\int }_0^t{\int }_0^{\tau }{(\tau -s)}^{\alpha -1}{\parallel D_t^{\alpha }u\parallel }_{Y}dsd\tau \hfill \\ \hfill & \le \frac{1}{t\Gamma (\alpha +1)}{\int }_0^t{(t-s)}^{\alpha }{\parallel D_t^{\alpha }u\parallel }_{Y}ds\hfill \\ \hfill & \le \frac{1}{\Gamma (\alpha +2)}{t}^{\alpha }{\parallel D_t^{\alpha }u\parallel }_{L^1((0,t),Y)}\to 0\mathrm{as}t\to 0_{+},\hfill \end{array}$$

Since $\parallel D_t^{\alpha }{u\parallel }_Y$ is integrable on $[0,T-\delta ]$ for some $\delta >0$. The proof is finished immediately. □

Remark 2.

Li and Liu in [17] (Theorem 5.2) proved the existence of weak solution for a time fractional incompresible Navier–Stokes equation for $\alpha \in [\frac{1}{2},1)$, because $u(0_{+})=u_0$ is obtained under this condition. However, by using this Proposition 1, we also can prove $u(0_{+})=u_0$ for $\alpha \in (0,1)$. Therefore, the existence result of [17] (Theorem 5.2) still holds for $\alpha \in (0,1)$. In this extent, we say that Proposition 1 improves [17] (Proposition 3.5).

Proposition 2.

(Modified Fractional Halanay Inequality) Assume that the non-negative continuous function v satisfies

$$\begin{array}{cc}\hfill & D_t^{\alpha }v(t)\le \gamma +av(t)+b\underset{t-\tau (t)\le s\le t}{sup}v(s),0<t\le T,\hfill \\ \hfill & v(t)=|\phi (t)|,-\sigma \le t\le 0,\hfill \end{array}$$

(8)

where γ is a positive constant and $a+b\ne 0$, $\sigma =-\underset{t\ge 0}{inf}(t-\tau (t))>0$, and the delay function $\tau (t)\ge 0$. If $a+b<0$, then the following estimates holds

$$v(t)\le -\frac{\gamma }{a+b}+M^{\prime }{E}_{\alpha }({\lambda }^{*}{t}^{\alpha }),\mathrm{for}\mathrm{all}t\ge \tau (t),$$

(9)

where $M^{\prime }=\underset{-h\le t\le 0}{sup}|\phi (t)|$, and the parameter ${\lambda }^{*}$ is defined by

$$\begin{array}{c}\hfill {\lambda }^{*}=\underset{t-\tau (t)\ge 0}{sup}\{\lambda :\lambda -a-b\frac{E_{\alpha }(\lambda {(t-\tau (t))}^{\alpha })}{E_{\alpha }(\lambda t^{\alpha })}=0\},\end{array}$$

and it holds that ${\lambda }^{*}\in [a+b,0]$.

Further, if the delay is bounded—i.e., $\tau (t)\le {\tau }_0$ for some constant ${\tau }_0$—then the parameter ${\lambda }^{*}$ defined by

$$\begin{array}{c}\hfill {\lambda }^{*}=\underset{t-\tau (t)\ge 1}{sup}\{\lambda :\lambda -a-b\frac{E_{\alpha }(\lambda {(t-\tau (t))}^{\alpha })}{E_{\alpha }(\lambda t^{\alpha })}=0\},\end{array}$$

is strictly negative, namely, there exists some positive constants ${ϵ}_0$ satisfying $a+b<-{ϵ}_0$ such that ${\lambda }^{*}\in [a+b,-{ϵ}_0]$, and the estimate in (9) holds for all t such that $t\ge \tau (t)+1.$

Proof. 

Actually, Proposition 2 is a slightly modification of [19] (Lemma 4), in which $\tau (t)>0$ strictly for the first conclusion (9). However, in our case, (9) holds true for $\tau (t)\ge 0$. So, we only need to prove (9) is true when $\tau (t)=0$. We prove this by comparison principle.

If $\tau (t)=0$, then the original system (8) becomes.

$$\begin{array}{cc}\hfill & D_t^{\alpha }v(t)\le \gamma +(a+b)v(t),0<t\le T,\hfill \\ \hfill & v(0)=|\phi (0)|,t=0,\hfill \end{array}$$

where $\gamma$ is a positive constant and $a+b<0$.

From system (8), there exists a nonnegative function $m(t)$ satisfying

$$\begin{array}{cc}\hfill & D_t^{\alpha }v(t)=\gamma +(a+b)v(t)+m(t),0<t\le T,\hfill \\ \hfill & v(0)=|\phi (0)|,t=0.\hfill \end{array}$$

According to [2] (Theorem 4.3), the initial value problem (8) has a unique solution that can be represented by

$$\begin{array}{cc}\hfill v(t)& =|\varphi (0)|E_{\alpha }((a+b)t^{\alpha })+{\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }((a+b){(t-s)}^{\alpha })(\gamma +m(s))ds\hfill \\ \hfill & \le |\varphi (0)|E_{\alpha }((a+b)t^{\alpha })+\gamma {\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }((a+b){(t-s)}^{\alpha })ds\hfill \\ \hfill & \le |\varphi (0)|E_{\alpha }((a+b)t^{\alpha })-\frac{\gamma }{a+b}\hfill \\ \hfill & \le M^{\prime }{E}_{\alpha }({\lambda }^{*}{t}^{\alpha })-\frac{\gamma }{a+b},\hfill \end{array}$$

where we used that $t^{\alpha -1}$ and $E_{\alpha ,\alpha }((a+b)t^{\alpha })$ are nonnegative and ${\lambda }^{*}\in [a+b,0]$, as well as the fact that $E_{\alpha }(\lambda t^{\alpha })$ is non-decreasing respect to $\lambda$. The proof is complete. □

Remark 3.

It turns out that the modified fractional Halanay inequality holds true not only for delay fractional dynamical system but also for the nondelay case, which means that it could be applied to more fractional differential equations. In this sense, we say it improves [19] (Lemma 4).

Proposition 3.

(The generalized comparison principle.) Assume that for any function u and w are absolutely continuous on $[0,T]$, one has the inequality

$$\begin{array}{cc}\hfill & D_t^{\alpha }u(t)\le -au(t)+bu(t-\tau (t))+c,0<t<T,\hfill \\ \hfill & u(t)=\phi (t),-h\le t\le 0,\hfill \end{array}$$

(10)

and the following fractional differential equation

$$\begin{array}{cc}\hfill & D_t^{\alpha }w(t)=-aw(t)+bw(t-\tau (t))+c,0<t<T,\hfill \\ \hfill & w(t)=\phi (t),-h\le t\le 0,\hfill \end{array}$$

(11)

where $a,b,c$ are positive constants. Then it holds that

$$u(t)\le w(t),\mathrm{for}\mathrm{all}t\ge -h.$$

(12)

Proof. 

Obviously, (12) holds true for any $t\in [-h,0]$. Hence, we only need to verify that (12) is correct for $t\in [0,T]$. We will prove this through two steps.

Step 1. We first prove that (12) holds for $t>\tau (t)$. By contradiction, if it is not true, then there exists some $t>\tau (t)$ such that $u(t)\ge w(t)$. Denote $t_{*}$ by

$$\begin{array}{c}\hfill t_{*}=inf\{t>\tau (t):u(t)\ge w(t)\}.\end{array}$$

Now, set $z(t)=u(t)-w(t)$. Then we know from the definition that $z(t_{*})=0$, and $z(t)<0$ for $0<t_{*}-\tau (t_{*})\le t<t_{*}$. Then by the fractional comparison principle in [19] (Lemma 3), we have that

$$D_t^{\alpha }z(t_{*})\ge 0.$$

(13)

However,

$$\begin{array}{cc}\hfill D_t^{\alpha }z(t_{*})& =D_t^{\alpha }u(t_{*})-D_t^{\alpha }w(t_{*})\hfill \\ \hfill & \le -a(u(t_{*})-w(t_{*}))+b(u(t_{*}-\tau (t_{*}))-w(t_{*}-\tau (t_{*})))\hfill \\ \hfill & =-az(t_{*})+bz(t_{*}-\tau (t_{*}))\le bz(t_{*}-\tau (t_{*}))<0,\hfill \end{array}$$

which contradicts (13); therefore, $u(t)\le w(t)$ for $t>\tau (t)$.

Step 2. On the other hand, when $0<t\le \tau (t)$, then $-h\le t-\tau (t)\le 0$, since $\tau (t)\in [0,h]$. So (14) and (15) can be rewritten as, respectively,

$$\begin{array}{cc}\hfill & D_t^{\alpha }u(t)\le -au(t)+b\phi (t-\tau (t))+c,0<t\le \tau (t),\hfill \\ \hfill & u(t)=\phi (t),-h\le t\le 0,\hfill \end{array}$$

(14)

and the following fractional differential equation

$$\begin{array}{cc}\hfill & D_t^{\alpha }w(t)=-aw(t)+b\phi (t-\tau (t))+c,0<t\le \tau (t),\hfill \\ \hfill & w(t)=\phi (t),-h\le t\le 0,\hfill \end{array}$$

(15)

Then there is a nonnegative function $m(t)$, such that

$$\begin{array}{cc}\hfill & D_t^{\alpha }u(t)=-au(t)+b\phi (t-\tau (t))-m(t)+c,0<t\le \tau (t),\hfill \\ \hfill & u(t)=\phi (t),-h\le t\le 0,\hfill \end{array}$$

(16)

Then, by [28] (Theorem 1), system (16) has a unique solution on $[0,h]$ that can be represented as

$$\begin{array}{c}\hfill u(t)={\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }(-a{(t-s)}^{\alpha })(b\phi (s-\tau (s))-m(s)+c)ds+c^{\prime }{E}_{\alpha }(-a{t}^{\alpha }),0<t\le \tau (t).\end{array}$$

Similarly, the solution of system (15) can be written as

$$\begin{array}{c}\hfill w(t)={\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }(-a{(t-s)}^{\alpha })(b\phi (s-\tau (s))+c)ds+c^{\prime }{E}_{\alpha }(-a{t}^{\alpha }),0<t\le \tau (t).\end{array}$$

Notice that $t^{\alpha }$ and $E_{\alpha ,\alpha }(-a{t}^{\alpha })$ are non-negative for $a>0$, then we have $u(t)\le w(t)$ for all $0<t\le \tau (t)$. In summary, $u(t)\le w(t)$ for all $t\ge -h.$

Therefore the proof is complete. □

Remark 4.

We would like to point out that Proposition 3 generalizes the conclusion in [8] (Theorem 4.10) to some extent. Proposition 3 also improves the comparison principle in [20] (Lemma 3.4), which is proven only for constant delay—i.e., $\tau (t)=\tau$. However, in our case, the delay term $\tau (t)$ is a function taking values in $[0,h]$. In this way, we could say that Lemma 3.4 of [20] is a special case of Proposition 3.

Lemma 3.

(Bellman–Gronwall Lemma [29] (p. 252)) Let $T>0$, $g\in L^1(0,T)$ and $g\ge 0$ a.e., $C_1$, $C_2$ be positive constants. If $\phi \in L^1(0,T)$, $\phi \ge 0$ a.e., satisfying $g\phi \in L^1(0,T)$ and

$$\begin{array}{c}\hfill \phi (t)\le C_1+C_2{\int }_0^{t}g(s)\phi (s)ds,a.e.t\in (0,T),\end{array}$$

then

$$\begin{array}{c}\hfill \phi (t)\le C_{1}exp\left\{C_2{\int }_0^{t}g(s)ds\right\},a.e.t\in (0,T).\end{array}$$

Remark 5.

Actually, the positive constants $C_1$, $C_2$ can be replaced by functions $C_1(t)$ or $C_2(t)$, but a similar result can be obtained—readers are referred to [29] (p. 252) for more information.

3. Existence and Uniqueness of Weak Solutions

In this section, we prove the existence and uniqueness of weak solutions to problem (6) and (7) by Galerkin approximations. Denote

$${\lambda }_1=\underset{v\in V\backslash \left\{0\right\}}{inf}\frac{{\parallel v\parallel }^2}{{|v|}^2}>0.$$

Moreover,

$${\int }_0^t{\parallel f(s)\parallel }_{*}^{2(1+\frac{1}{\alpha })}ds<\infty ,\alpha \in (0,1),\mathrm{for}\mathrm{any}t\ge 0.$$

(17)

We have the following result:

Theorem 1.

Suppose that $(g1)-(g3)$ and (17) hold true, then for any $\varphi \in C_H$ and $\alpha \in (\frac{1}{2},1)$ system, (6) and (7) has a unique weak solution.

Proof. 

We split it into several steps.

Step 1. The Galerkin approximation. By the definition of $A=-\Delta$ and the classical spectral theory of elliptic operators, it follows that A possesses a sequence of eigenvalues ${\left\{{\lambda }_j\right\}}_{j\ge 1}$ and a corresponding family of eigenfunctions ${\left\{w_j\right\}}_{j\ge 1}\subset V$, which form a Hilbert basis of H, dense on V. We consider the subspace $V_m=\mathrm{span}\{w_1,w_2,\cdots ,w_m\}$, and the projector $P_m:H\to V_m$ given by $P_{m}u={\sum }_{j=1}^m(u,w_j)w_j$, and define $u^{(m)}(t)={\sum }_{j=1}^m{\gamma }_{m,j}(t)w_j$, where the superscript m will be used instead of $(m)$, for short, since no confusion is possible with powers of u, and where the coefficients ${\gamma }_{m,j}(t)$ are required to satisfy the Cauchy problem

$$\begin{array}{cc}\hfill & (D_t^{\alpha }{u}^m(t),w_j)+\nu ((u^m(t),w_j))+B(u^m(t),u^m(t),w_j)=⟨f(t),w_j⟩+(g(t,u_t^m),w_j),1\le j\le m,\hfill \\ \hfill & u^m(t)=P_m\varphi (t),t\in [-h,0].\hfill \end{array}$$

(18)

The above system of fractional order functional differential equations with finite delay fulfills the conditions for the existence and uniqueness of a local solution (e.g., cf. [30] (Theorem 3.1)). Hence, we conclude that (18) has a unique local solution defined in $[0,t_m)$ with $0\le t_m\le T$. Next, we will obtain a priori estimates and ensure that the solutions $u^m$ do exist in the whole interval $[0,\infty )$. Assume that $M={\parallel \varphi \parallel }_{C_H}^2=\underset{-h\le t\le 0}{sup}{|\varphi (t)|}^2.$

Step 2. A priori estimates. Multiplying (18) by ${\gamma }_{m,j}(t)$, $j=1,\dots ,m,$ summing up, and using Lemma 1, Cauchy–Schwartz and Young’s inequalities, we obtain

$$\begin{array}{cc}\hfill \frac{1}{2}{D}_t^{\alpha }|u^m{(t)|}^2+\nu {\parallel u^m(t)\parallel }^2& \le {\parallel f(t)\parallel }_{*}\parallel u^m(t)\parallel +|g(u_t^m)||u^m(t)|\hfill \\ \hfill & \le \frac{\nu }{2}\parallel u^m{(t)\parallel }^2+\frac{{\parallel f(t)\parallel }_{*}^2}{2\nu }+L_g{\parallel u_t^m\parallel }_{C_H}^2.\hfill \end{array}$$

Hence,

$$\begin{array}{c}\hfill D_t^{\alpha }|u^m{(t)|}^2+\nu \parallel \nabla u^m{(t)\parallel }^2\le \frac{{\parallel f(t)\parallel }_{*}^2}{\nu }+2L_g{\parallel u_t^m\parallel }_{C_H}^2.\end{array}$$

(19)

Multiplying (19) by $I_{\alpha }$, and let $p=1+\alpha$, $q=1+\frac{1}{\alpha }$, we find

$$\begin{array}{cc}\hfill & |u^m{(t)|}^2+\frac{\nu }{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel \nabla u^m(s)\parallel }^{2}ds\hfill \\ \hfill & \le |u^m{(0)|}^2+\frac{1}{\nu \Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel f(s)\parallel }_{*}^{2}ds+\frac{2L_g}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u_s^m\parallel }_{C_H}^{2}ds\hfill \\ \hfill & \le |u^m{(0)|}^2+\frac{1}{\nu \Gamma (\alpha )}{({\int }_0^t{(t-s)}^{p(\alpha -1)}ds)}^{\frac{1}{p}}({\int }_0^t{\parallel f(s)\parallel }_{*}^{2q}{ds)}^{1/q}+\frac{2L_g}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u_s^m\parallel }_{C_H}^{2}ds\hfill \\ \hfill & \le |u^m{(0)|}^2+\frac{1}{\nu {\alpha }^2\Gamma (\alpha )}{t}^{{\alpha }^2}F(t)+\frac{2L_g}{\Gamma (\alpha )}{({\int }_0^t{(t-s)}^{p(\alpha -1)}{e}^{ps}ds)}^{\frac{1}{p}}({\int }_0^t{e}^{-qs}\parallel u_s^m{{\parallel }_{C_H}^{2q}ds)}^{1/q}\hfill \\ \hfill & \le |u^m{(0)|}^2+\frac{1}{\nu {\alpha }^2\Gamma (\alpha )}{t}^{{\alpha }^2}F(t)+\frac{2L_g\Gamma ({\alpha }^2)}{\Gamma (\alpha )}{(1+\alpha )}^{-\frac{{\alpha }^2}{1+\alpha }}{e}^t({\int }_0^t{e}^{-qs}\parallel u_s^m{{\parallel }_{C_H}^{2q}ds)}^{1/q}.\hfill \end{array}$$

(20)

Denote by $A(t)=|u^m{(0)|}^2+\frac{1}{\nu {\alpha }^2\Gamma (\alpha )}{t}^{{\alpha }^2}F(t)$, $B(t)=\frac{2L_g\Gamma ({\alpha }^2)}{\Gamma (\alpha )}{(1+\alpha )}^{-\frac{{\alpha }^2}{1+\alpha }}{e}^t$. Then, we have

$$\begin{array}{c}\hfill \parallel u_t^m{\parallel }_{C_H}^2+\nu {\int }_0^{t+\theta }{(t+\theta -s)}^{\alpha -1}\parallel \nabla u^m{(s)\parallel }^{2}ds\le A(t)+B(t)({\int }_0^t\parallel u_s^m{{\parallel }^{2q}ds)}^{1/q}.\end{array}$$

Therefore,

$$\begin{array}{c}\hfill \parallel u_t^m{\parallel }_{C_H}^{2q}\le 2^q{A}^q(t)+2^q{B}^q(t)({\int }_0^t\parallel u_s^m{\parallel }_{C_H}^{2q}ds).\end{array}$$

Using the Gronwall Lemma, we obtain that

$$\begin{array}{c}\hfill \parallel u_t^m{\parallel }_{C_H}^2\le c(A(t)+B(t){\int }_0^{t}A(s)e^{c{\int }_s^{t}B(r)dr}ds),\mathrm{for}\mathrm{all}t\in [0,T]\mathrm{and}\theta \in [-h,0].\end{array}$$

Hence, we conclude that for any $T>0$, $\parallel u_t^m{\parallel }_{C_H}$ is finite, which means the local solution $u^m(t;\varphi )$ is actually a global one. We also can have that there exists a constant $C>0$, depending on some constants of the problem (namely, $\nu ,L_g$ and f), and on T and $M>0$, such that

$$\parallel u_t^m{\parallel }_{C_H}^2\le C(T,M)\forall t\in [0,T],{\parallel \varphi \parallel }_{C_H}\le M,\forall m\ge 1,$$

which also implies that $\left\{u^m\right\}$ is bounded in $L^{\infty }(-h,T;H).$

Now it follows from (20) and the above uniform estimates that

$$\begin{array}{cc}\hfill \nu \parallel u^m{\parallel }_{L^2(0,T;V)}^2& \le \nu t^{1-\alpha }{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u^m(s)\parallel }^{2}ds\hfill \\ \hfill & \le t^{1-\alpha }\left(\Gamma (\alpha )|u^m{(0)|}^2+{\int }_0^t{(t-s)}^{\alpha -1}\left(\frac{1}{\nu }{\parallel f(s)\parallel }_{*}^2+2L_{g}C(T,M)\right)ds\right)\hfill \\ \hfill & \le C(T,M),\forall m\ge 1.\hfill \end{array}$$

Therefore, we conclude that

$$\left\{u^m\right\}\mathrm{is}\mathrm{bounded}\mathrm{in}{L}^2((0,T);V)\cap L^{\infty }((-h,T);H).$$

(21)

From (5) and (18), it holds $\parallel D_t^{\alpha }{u}^m{\parallel }_{*}\le \nu \parallel u^m\parallel +2^{1/2}|u^m|·\parallel u^m{\parallel +\parallel f\parallel }_{*}+{\lambda }_1^{-1/2}|g(t,u_t^m)|$, which implies that

$$\left\{D_t^{\alpha }{u}^m\right\}\mathrm{is}\mathrm{bounded}\mathrm{in}{L}^2(0,T;V^{\prime }).$$

(22)

Step 3. Approximation of initial datum in $C_H$. Let us check

$$P_m\varphi \to \varphi \mathrm{in}{C}_H.$$

(23)

Assume that ${\theta }_m\to \theta \in [-h,0]$, then $P_m\varphi ({\theta }_m)\to \varphi (\theta )$, since $\parallel P_m\varphi ({\theta }_m)-\varphi (\theta )\parallel \le \parallel P_m\varphi ({\theta }_m)-P_m\varphi (\theta )\parallel +\parallel P_m\varphi (\theta )-\varphi (\theta )\parallel \to 0$ as $m\to \infty$. So (23) holds true.

Step 4. Compactness results. By (21) and (22), the compact imbedding $V\hookrightarrow H$, and the generalized Aubin–Lions Lemma 2 as well as Proposition 1, for any $\alpha \in (0,1)$, we obtain there exist a subsequence still relabeled as $\left\{u^m\right\}$ and a function $u\in C([-h,T);H)\cap L^2((0,T);V)$ for all $T>0$, with $u(t)=\varphi (t)$ in $[-h,0]$, $u(0_{+})=u_0$, and $D_t^{\alpha }u\in L^2((0,T);V^{\prime })$ for all $T>0$, and an element $\chi \in L^{\infty }((0,T);H)$ such that

$$\begin{array}{cc}\hfill & u^m\stackrel{*}{\rightharpoonup }u\mathrm{weakly}-\mathrm{star}\mathrm{in}{L}^{\infty }((0,T);H),\hfill \\ \hfill & u^m\rightharpoonup u\mathrm{weakly}\mathrm{in}{L}^2((0,T);V),\hfill \\ \hfill & D_t^{\alpha }{u}^m\rightharpoonup D_t^{\alpha }u\mathrm{weakly}\mathrm{in}{L}^2((0,T);V^{\prime }),\hfill \\ \hfill & u^m\to u\mathrm{strongly}\mathrm{in}{L}^2((0,T);H),\hfill \\ \hfill & g(·,u_t^m)\stackrel{*}{\rightharpoonup }\chi \mathrm{weakly}-\mathrm{star}\mathrm{in}{L}^{\infty }((0,T);H).\hfill \end{array}$$

(24)

Observe that if $\alpha \in (\frac{1}{2},1)$, for all $s,t\in [0,T]$, by

$$\begin{array}{cc}\hfill u^m(t)-u^m(s)& =\frac{1}{\Gamma (\alpha )}{\int }_s^t{(t-r)}^{\alpha -1}(D_r^{\alpha }{u}^m)(r)dr\hfill \\ \hfill & \le \frac{1}{\Gamma (\alpha )(2\alpha -1)}{(t-s)}^{2\alpha -1}{\parallel D_t^{\alpha }{u}^m\parallel }_{L^2((s,t),V^{\prime })},\mathrm{in}{V}^{\prime },\hfill \end{array}$$

and combing (22) we find that $u^m$ is equi-continuous on $[0,T]$ with values in $V^{\prime }$. Notice that the inclusion $H\hookrightarrow V^{\prime }$ compact, so using Ascoli-Arzelà and (24), we conclude that

$$u^m\to u\mathrm{in}C([0,T];V^{\prime }),\forall T>0.$$

(25)

Combining (21) and (25), then for any $\left\{t_m\right\}\subset [0,T)$ with $t_m\to t$, one obtains

$$u^m(t_m)\rightharpoonup u(t)\mathrm{weakly}\mathrm{in}H.$$

(26)

Now we prove that

$$u^m\to u\mathrm{in}C([0,T];H),\forall T>0.$$

(27)

By contradiction, if (27) is not true, then there would exists a ${ϵ}_1>0$, $\left\{t_m\right\}$ and $t_{*}$ with $t_m\to t_{*}$ such that

$$|u^m(t_m)-u(t_{*})|\ge {ϵ}_1.$$

(28)

On one hand, by (26), we have $|u(t_{*})|\le \underset{n\to \infty }{lim}inf|u^m(t_m)|$. Therefore, if we could prove $|u^m(t_m)|\to |u(t_{*})|$, then (28) is contradictory, in other words, (27) is obtained immediately. To this end, it is enough to show that

$$\underset{m\to \infty }{lim}sup|u^m(t_m)|\le |u(t_{*})|.$$

(29)

On the other hand, for system (18), we have the following energy inequality,

$$\begin{array}{cc}\hfill & |u^m{(t)|}^2+\frac{\nu }{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u^m(s)\parallel }^{2}ds\hfill \\ \hfill & \le |u^m{(0)|}^2+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel f(s)\parallel }_{*}^{2}ds+\frac{2L_{g}C(T,M)}{\Gamma (\alpha +1)}{(t-s)}^{\alpha }.\hfill \end{array}$$

(30)

Besides, by (24), passing to the limit in (18), we have that $u\in C([0,T];H)$ is a solution of a similar problem to (6)—i.e.,

$$\begin{array}{c}\hfill (D_t^{\alpha }u,v)+\nu (Au,v)+(B(u),v)=⟨f(t),v⟩+(\chi ,v),\forall v\in V^{\prime },\end{array}$$

which also has the energy inequality,

$$\begin{array}{cc}\hfill & {|u(t)|}^2+\frac{\nu }{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel u(s)\parallel }^{2}ds\hfill \\ \hfill & \le {|u(0)|}^2+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel f(s)\parallel }_{*}^{2}ds+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}(\chi (s),u(s))ds.\hfill \end{array}$$

Combing the last convergence in (24) and the dominate convergence theorem, we find

$$\begin{array}{c}\hfill {\int }_0^t{(t-s)}^{\alpha -1}{|\chi (s)|}^{2}ds\le \underset{m\to \infty }{lim}inf{\int }_0^t{(t-s)}^{\alpha -1}{|g(u_s^m)|}^{2}ds\le \frac{2L_g}{\alpha }C(T,M){(t-s)}^{\alpha }.\end{array}$$

Therefore, u also satisfies inequality (30) with the same last term on the right-hand side.

Consider now two continuous functions defined as

$$\begin{array}{cc}\hfill & J(t)={|u(t)|}^2-\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel f(s)\parallel }_{*}^{2}ds-\frac{2L_{g}C(T,M)}{\Gamma (\alpha +1)}{(t-s)}^{\alpha },\hfill \\ \hfill & J_m(t)=|u^m{(t)|}^2-\frac{1}{\Gamma (\alpha )}{\int }_0^t{(t-s)}^{\alpha -1}{\parallel f(s)\parallel }_{*}^{2}ds-\frac{2L_{g}C(T,M)}{\Gamma (\alpha +1)}{(t-s)}^{\alpha }.\hfill \end{array}$$

J and $J_m$ are non-increasing in t. Moreover, again from (24), we have

$$J_m(t)\to J(t),a.e.t\in (0,T).$$

(31)

Assume that $t_{*}>0$, consider $\left\{t_k\right\}\subset (0,t_{*})$ with $t_k\to t_{*}$, by the continuity of J,

$$\begin{array}{c}\hfill \exists k_{ϵ}:|J(t_k)-J(t_{*})|<\frac{ϵ}{2},\forall k\ge k_{ϵ}.\end{array}$$

Take now $m(k_{ϵ})$ such that

$$\begin{array}{c}\hfill t_m\ge t_{k_{ϵ}}:|J_m(t_{k_{ϵ}})-J(t_{k_{ϵ}})|<\frac{ϵ}{2},\forall n\ge n(k_{ϵ}).\end{array}$$

Then, we conclude that for all $m\ge n(k_{ϵ})$

$$\begin{array}{c}\hfill J_m(t_m)-J(t_{*})\le |J_m(t_{k_{ϵ}})-J(t_{k_{ϵ}})|+|J(t_{k_{ϵ}})-J(t_{*})|<ϵ,\end{array}$$

which gives (29).

Therefore, we find that

$$u^m\to u\mathrm{in}C([0,T];H).$$

Then, steps 3 and 4 imply that

$$\begin{array}{c}\hfill u_t^m\to u_t\mathrm{in}{C}_H,\forall 0\le t\le T.\end{array}$$

Therefore, combining $(g3)$, we can prove that

$$\begin{array}{c}\hfill g(·,u_{·}^m)\to g(·,u_{·})\mathrm{in}{L}^2(0,T;H).\end{array}$$

Thus, we can finally pass to the limit in (18), concluding that u solves $(P)$.

Step 5. Uniqueness of solution. Let $u(t;\varphi ),v(t;\varphi )$ be two solutions of $(P)$ with the same initial values—i.e., $u(t)=v(t)=\varphi (t)$, $t\in [-h,0].$ Set $w(t)=u(t)-v(t)$, $t\ge 0$, then $w(t)=0$, for all $t\in [-h,0].$ For $w(t)$, we have

$$\begin{array}{c}\hfill D_t^{\alpha }w-\nu \Delta w+B(u)-B(v)=g(t,u_t)-g(t,v_t).\end{array}$$

Multiplying above equation by $w(t)$, and integral over $\Omega$, we obtain

$$\begin{array}{cc}\hfill D_t^{\alpha }{|w|}^2+\nu {\parallel w\parallel }^2& =-(B(u)-B(v),w)+(g(t,u_t)-g(t,v_t),w)\hfill \\ \hfill & \le {c|w|}^2{\parallel v\parallel }^2+2L_g\underset{0\le s\le t}{sup}{|w(s)|}^2\hfill \\ \hfill & \le {c(\parallel v\parallel }^2+1)\underset{0\le s\le t}{sup}{|w(s)|}^2,\mathrm{for}\mathrm{all}t\in [0,T].\hfill \end{array}$$

The above inequality holds true for any $t\in [0,T]$, then we have

$$\begin{array}{c}\hfill \underset{0\le s\le t}{sup}{|w(s)|}^2\le {|w(0)|}^2+c{\int }_0^t{(\parallel v\parallel }^2{+1)(t-s)}^{\alpha -1}\underset{0\le r\le s}{sup}{|w(r)|}^{2}ds.\end{array}$$

Using the Bellman–Gronwall Lemma 3 and (21), we have

$$\begin{array}{c}\hfill \underset{0\le s\le t}{sup}{|w(s)|}^2\le {|w(0)|}^{2}exp\left\{c{\int }_0^t{(\parallel v\parallel }^2{+1)(t-s)}^{\alpha -1}ds\right\}=0,\mathrm{for}\mathrm{all}t\in [0,T].\end{array}$$

Therefore, $|w(t)|=0$ on $[-h,T]$. The proof is finished. □

Remark 6.

We prove the existence of solution for a general delay case, namely, $g(t,u_t)$ could be variable delay or distributed delay. In Section 4, we take $g(t,u_t)=g(u(t-\tau (t)))$—i.e., the delay function $\tau (t)\in C({\mathbb{R}}_{+};[0,h])$, to study the dissipativity.

Remark 7.

It is worth mentioning that only the existence result is proved under the condition that $\alpha \in (\frac{1}{2},1)$, which is due to the phase space $C([-h,0];H)$. If $C([-h,0];H)$ is replaced by some Sobolev space, such as $L^2((-h,0);H)$. Then the existence of solution can be established for any $\alpha \in (0,1)$ and without additional conditions.

Theorem 2.

Suppose that $(g1)-(g3)$ hold true, then the solutions of system $(P)$ are continuous with respect of initial values—i.e.,

$$\begin{array}{c}\hfill \parallel u_t-v_t{\parallel }_{C_H}^2\le c{\parallel \varphi -\phi \parallel }_{C_H}^{2}exp\left\{c{\int }_0^t{(\parallel v\parallel }^2{+1)(t-s)}^{\alpha -1}ds\right\},t\in [0,T].\end{array}$$

Proof. 

Let $u(t;\varphi )$, $v(t;\phi )$ be the solutions of (1)–(4) with initial values, $\varphi$ and $\phi$, respectively. Set $w(t)=u(t)-v(t)$ for $t>0$, and $w(t)=\varphi (t)-\phi (t)$ for $t\in [-h,0].$ Then we have

$$\begin{array}{c}\hfill D_t^{\alpha }w-\nu \Delta w+B(u)-B(v)=g(t,u_t)-g(t,v_t),t>0.\end{array}$$

Multiplying above equation by $w(t)$, and integral over $\Omega$, we obtain

$$\begin{array}{cc}\hfill D_t^{\alpha }{|w|}^2+\nu {\parallel w\parallel }^2& =-(B(u)-B(v),w)+(g(t,u_t)-g(t,v_t),w)\hfill \\ \hfill & \le {c|w|}^2{\parallel v\parallel }^2+2L_g\parallel w_t{\parallel }_{C_H}^2\le {c|w|}^2{\parallel v\parallel }^2+2L_g{(\parallel \varphi -\phi \parallel }_{C_H}^2+\underset{0\le t\le T}{sup}{|w|}^2)\hfill \\ \hfill & \le {(c\parallel v\parallel }^2+2L_g)\underset{0\le t\le T}{sup}{|w(t)|}^2+2L_g{\parallel \varphi -\phi \parallel }_{C_H}^2.\hfill \end{array}$$

Hence, we have

$$\begin{array}{c}\hfill \underset{0\le t\le T}{sup}{|w(t)|}^2\le {|w(0)|}^2+\frac{2L_g{T}^{\alpha }}{\Gamma (\alpha +1)}{\parallel \varphi -\phi \parallel }_{C_H}^2+\frac{1}{\Gamma (\alpha )}{\int }_0^t{(c\parallel v\parallel }^2+2L_g{)(t-s)}^{\alpha -1}\underset{0\le s\le t}{sup}{|w(s)|}^{2}ds\end{array}$$

Again using the Bellman–Gronwall Lemma 3 and (21), we find that

$$\begin{array}{c}\hfill \parallel w_t{\parallel }_{C_H}^2\le c{\parallel \varphi -\phi \parallel }_{C_H}^{2}exp\left\{c{\int }_0^t{(\parallel v\parallel }^2{+1)(t-s)}^{\alpha -1}ds\right\},t\in [0,T].\end{array}$$

The proof is complete. □

4. Dissipativity

In this section, we derive some uniform estimates of solutions to problem $(P)$ by using Proposition 2. Besides, in this section, we assume that $g(t,u_t)=g(u(t-\tau (t)))$.

Definition 7.

The system $(P)$ is said to be dissipative in $C_H$ if there exists a bounded set $B\subset C_H$, such that for any given bounded set $A\subset C_H$, there is a time $t^{*}=t^{*}(A)$, such that for any given initial function $\varphi \in A$, for all $t\in [-h,0]$, the values of the corresponding solution $u(t)$ of the problem $(P)$ are contained in B for all $t\ge t^{*}$. The set B is called an absorbing set of the system $(P)$.

We assume that

$${\lambda }_1\nu >\sqrt{2}{L}_g.$$

(32)

Theorem 3.

(Existence of absorbing sets in $C_H$) Assume that $(g1)-(g3)$, (17) and (32) hold. Then there exists $T>0$, such that for all $t\ge T$, the solution of problem $(P)$ satisfies

$$\begin{array}{c}\hfill \parallel u_t{\parallel }_{C_H}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+1,\forall t\ge T,\end{array}$$

where $f_0={\nu }^{-1}\underset{t\ge 0}{sup}{\parallel f(t)\parallel }_{*}^2.$

Proof. 

Multiplying (1) by u, integrating over $\Omega$, we have

$$\begin{array}{cc}\hfill D_t^{\alpha }{|u(t)|}^2+\nu {\parallel u(t)\parallel }^2& \le {\parallel f(t)\parallel }_{*}\parallel u(t)\parallel +|g(u(t-\tau (t)))||u(t)|\hfill \\ \hfill & \le \frac{{\parallel f(t)\parallel }_{*}^2}{\nu }+\frac{2L_g^2}{{\lambda }_1\nu }\underset{t-\tau (t)\le s\le t}{sup}{|u(s)|}^2.\hfill \end{array}$$

(33)

Then we obtain

$$\begin{array}{cc}\hfill D_t^{\alpha }{|u(t)|}^2& \le f_0-{\lambda }_1{\nu |u(t)|}^2+\frac{2L_g^2}{{\lambda }_1\nu }\underset{t-\tau (t)\le s\le t}{sup}{|u(s)|}^2,t\in (0,T],\hfill \\ \hfill & {|u(t)|}^2={|\varphi (t)|}^2,t\in [-h,0],\hfill \end{array}$$

where $f_0={\nu }^{-1}\underset{t\ge 0}{sup}{\parallel f(t)\parallel }_{*}^2.$ Using Proposition 2, we find that

$$\begin{array}{c}\hfill {|u(t)|}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+M{E}_{\alpha }({\lambda }^{*}{t}^{\alpha })\end{array}$$

for all $t\ge \tau (t)$, where $M={\parallel \varphi \parallel }_{C_H}^2=\underset{-h\le t\le 0}{sup}{|\varphi (t)|}^2$, and the parameter ${\lambda }^{*}$ is defined by

$$\begin{array}{c}\hfill {\lambda }^{*}=\underset{t-\tau (t)\ge 1}{sup}\{\lambda :\lambda -(-{\lambda }_1\nu )-\frac{2L_g^2}{{\lambda }_1\nu }\frac{E_{\alpha }(\lambda {(t-\tau (t))}^{\alpha })}{E_{\alpha }(\lambda t^{\alpha })}=0\},\end{array}$$

is strictly negative, namely, there exists some positive constants ${ϵ}_0$ satisfying $-{\lambda }_1\nu +\frac{2L_g^2}{{\lambda }_1\nu }<-{ϵ}_0$ such that ${\lambda }^{*}\in [-{\lambda }_1\nu +\frac{2L_g^2}{{\lambda }_1\nu },-{ϵ}_0]$, and the estimate in (9) holds for all t such that $t\ge \tau (t)+1.$ In other words, for ${\lambda }^{*}\in [-{\lambda }_1\nu +\frac{2L_g^2}{{\lambda }_1\nu },-{ϵ}_0]$, we have

$$\begin{array}{c}\hfill {|u(t)|}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+M{E}_{\alpha }({\lambda }^{*}{t}^{\alpha }),\forall t\ge \tau (t)+1.\end{array}$$

For the case of $t<\tau (t)+1$, in order to analyze the dissipativity of problem $(P)$ in phase space $C_H$ by Proposition 3, we first need to consider the following fractional differential equation,

$$\begin{array}{cc}\hfill & D_t^{\alpha }w(t)+{\lambda }_1\nu w(t)=f_0+\frac{2L_g^2}{{\lambda }_1\nu }w(t-\tau (t)),0<t\le h+1,\hfill \\ \hfill & w(t)={|\varphi (t)|}^2,t\in [-h,0],\hfill \end{array}$$

(34)

Then, by using the method of steps [28] (Theorem 1), we have that the initial value problem (34) has, on the interval $[0,kh]$, a unique solution that can be represented by $w(t)=w_{ih}(t)$, if $(i-1)h\le t\le ih$,

$$\begin{array}{c}\hfill w_{ih}(t)={\int }_0^t{E}_{\alpha ,\alpha }(-{\lambda }_1\nu {(t-s)}^{\alpha })f_{ih}(s)ds+c_{ih}{E}_{\alpha }(-{\lambda }_1\nu t^{\alpha }),t\in [(i-1)h,ih],\end{array}$$

where $c_{ih}$ is a constant, $i=1,2,\cdots ,k.$

$$f_{kh}(t):=\left\{\begin{array}{c}\frac{2L_g^2}{{\lambda }_1\nu }{w}_{0h}(t-h)+f_0,0<t\le h,\hfill \\ \frac{2L_g^2}{{\lambda }_1\nu }{w}_{1h}(t-h)+f_0,h<t\le 2h,\hfill \\ \cdots \hfill \\ \frac{2L_g^2}{{\lambda }_1\nu }{w}_{(k-1)h}(t-h)+f_0,(k-1)h<t\le kh,\hfill \end{array}\right.$$

is continuous and $w_{0h}(t)={|\varphi (t)|}^2$. k is a smallest integer such that $kh\ge h+1$. Therefore, we obtain that

$$|w(t)|\le \sum _{0\le i\le k}|w_{ih}(t)|\le C{E}_{\alpha }(-{\lambda }_1\nu t^{\alpha }),\forall 0\le t\le \tau (t)+1.$$

(35)

Now, we estimate the solution of (1), for $t<\tau (t)+1$. By (33), we have

$$\begin{array}{cc}\hfill D_t^{\alpha }{|u(t)|}^2+{\lambda }_1\nu {|u(t)|}^2& \le \frac{{\parallel f(t)\parallel }_{*}^2}{\nu }+\frac{2L_g^2}{{\lambda }_1\nu }|u(t-\tau (t))|,0\le t<\tau (t)+1,\hfill \\ \hfill & {|u(t)|}^2={|\varphi (t)|}^2,t\in [-h,0].\hfill \end{array}$$

(36)

Then, by Proposition 3 and (34)–(36), we have

$$\begin{array}{c}\hfill {|u(t)|}^2\le C{E}_{\alpha }(-{\lambda }_1\nu t^{\alpha }),0\le t<\tau (t)+1.\end{array}$$

So, we find that

$$\begin{array}{c}\hfill {|u(t)|}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+M{E}_{\alpha }({\lambda }^{*}{t}^{\alpha })+C{E}_{\alpha }(-{\lambda }_1\nu t^{\alpha }),\mathrm{for}\mathrm{all}t\ge 0.\end{array}$$

By the norm of $C_H$, we conclude that

$$\begin{array}{c}\hfill \parallel u_t{\parallel }_{C_H}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+M{E}_{\alpha }({\lambda }^{*}{t}^{\alpha })+C{E}_{\alpha }(-{\lambda }_1\nu t^{\alpha }),\mathrm{for}\mathrm{all}t\ge 0,\theta \in [-h,0].\end{array}$$

Since ${\lambda }^{*}$ and $-{\lambda }_1\nu$ are strictly negative, by the property of Mittag–Leffler function [2], we obtain

$$\begin{array}{c}\hfill \parallel u_t{\parallel }_{C_H}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+C\frac{C_{\alpha }}{t^{\alpha }},\mathrm{as}t\to +\infty ,\end{array}$$

where $C_{\alpha }>0$ is a constant independent of t. Therefore, there exists $T>0$ large enough, such that for all $t\ge T$, the solution of problem $(P)$ satisfies

$$\begin{array}{c}\hfill \parallel u_t{\parallel }_{C_H}^2\le \frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+1,t\ge T.\end{array}$$

Denote by $B_{C_H}=B(0,\sqrt{\frac{{\lambda }_1\nu f_0}{{({\lambda }_1\nu )}^2-2L_g^2}+1})$ the absorbing set in phase space $C_H$, which implies that system $(P)$ is dissipative. The proof is complete. □

5. Discussion

In this work, we prove the existence and uniqueness of solution for fractional Navier–Stokes equations with variable delays for $\alpha \in (\frac{1}{2},1)$, and we show that this system is dissipative in the phase space $C_H$, namely, there exists a global absorbing set in $C_H$. Different from the classic Navier–Stokes equations with variable delays [22,23,24], in which the existence of pullback absorbing set and pullback attractors were established. Here, we obtained the forward absorbing set, which is more meaningful from the view of applications. Besides, the existence of global attracting set as well as the existence of solution for $\alpha \in (0,1)$ in phase space $C_H$ are still open problems. These will be considered in the future.