Skip to main content

# Approximate controllability of fractional partial differential equation

## Abstract

In the present paper, by using the theory of semigroup operators and the Schauder fixed point theorem, we define the mild solution of a fractional partial differential equation and obtain the existence and uniqueness of the mild solution. Then we study the approximate controllability of fractional partial differential equation and give an example to illustrate the theory.

## Introduction

Fractional partial differential systems have recently been proved to be valuable tools in the modeling of many phenomena in various fields of science and engineering, such as diffusion process, electrical science, electrochemistry, viscoelasticity, control science, electro magnetic theory, etc. (see ). For example, fractional diffusion equations are abstract partial differential equations that involve fractional derivatives in space and time. They are more accurate to model anomalous diffusion, where a plume of particles spreads in a different manner from what the classical diffusion equation predicts. Therefore, it is very necessary for us to consider the anomalous diffusion equation which is obtained from the standard diffusion equation by replacing the integer derivative with a fractional derivative of order $$q\in (0,1)$$.

As is well known there has been a great deal of interest in the solution of fractional differential equations in the analytic and numerical sense . In order to study the fractional systems in the infinite dimensional space, the first important step is to introduce the concept of mild solutions. Some pioneering work has been reported by El-Borai  and Zhou and Jiao . On the basis of the well posedness of mild solutions, controllability problems for various types of nonlinear fractional dynamical systems have also been considered in many publications (see ). The main tool used in these papers is to convert the controllability problem into a fixed point problem with the assumption that the controllability operator has an induced inverse on a quotient space. But Hernández et al. , Sukavanam and Tomar  pointed out that some papers on the controllability of abstract control systems contain a similar technical error when the compactness of semigroup and other hypotheses are satisfied, more precisely, in this case the applications of controllability results are restricted to a finite dimensional space. Thus, the concept of exact controllability is too strong in infinite dimensional spaces and the approximate controllability is more appropriate.

The approximate controllability of the systems with integer order has been proved in [12, 13] among others. However, there are only few papers concerned with the approximate controllability of a fractional partial differential equation system. Russell and Zhang  discussed the controllability and stabilizability of the following third-order linear dispersion equation of (1.1) on a periodic domain. In , George et al. proved the exact controllability of

$$\left \{ \textstyle\begin{array}{l} \frac{\partial w}{\partial t}(x,t)+\frac{\partial^{3} w}{\partial x^{3}}(x,t)=(Gu)(x,t)+f(t,w(x,t)),\quad t\in[0,b], x\in[0,2\pi], \\ \frac{\partial^{k} w}{\partial x^{k}}(0,t)=\frac{\partial^{k}w}{\partial x^{k}}(2\pi,t), \quad k=0,1,2, \\ w(x,0)=0, \end{array}\displaystyle \right .$$
(1.1)

on a periodic domain by using two standard types of nonlinearities and the approach of integral contractors. In , Sakthivel et al. proved the approximate controllability of (1.1) with the initial and periodic boundary condition by the assumption that the $$C_{0}$$ semigroup $$T(t)$$ is a compact and nonlinear function and is uniformly bounded. All these conclusions have provided the better theory analysis for the mild solution of the (1.1). In order to describe the physical process more precisely, we use the theory of semigroups of operators to prove the approximate controllability of the fractional diffusion equation. The fractional diffusion differential equation in the present paper generalizes the third-order diffusion equation (1.1) appearing in . Compared to , we use the different method and discuss the unique solution of fractional diffusion equations with the weaker conditions. So the conclusion in the present paper is a continuation of the conclusions in  and .

## Preliminaries

We consider the following fractional partial differential equation:

$$\left \{ \textstyle\begin{array}{l} {}^{\mathrm{c}}D_{t}^{q}w(x,t)+Aw(x,t)=Gu(x,t)+f(t,w(x,t)),\quad t\in[0,b], x\in[0,2\pi], \\ w(x,0)=0, \end{array}\displaystyle \right .$$
(2.1)

where $${}^{\mathrm{c}}D_{t}^{q}$$ is the Caputo fractional derivative of order $$0< q<1$$. The state function $$w(\cdot,t)$$ takes its value in the space $$X=L^{2}(0,2\pi)$$ with the norm $$\|\cdot\|$$ and the control function $$u(\cdot,t)$$ takes its value in the space $$L^{2}(0,2\pi)$$. Define an operator −A to be the infinitesimal generator of the analytic semigroup $$T(t)$$ of operators on X, G is a bounded linear operator from X to X.

It is suitable to rewrite (2.1) in the equivalent integral equation

$$\left \{ \textstyle\begin{array}{l} w(x,t)=\frac{1}{\Gamma(q)}\int_{0}^{t}(t-s)^{q-1}(-Aw(x,s)+Gu(x,s)+f(s,w(x,s)))\,ds, \\ \quad t\in[0,b],x\in[0,2\pi], \\ w(x,0)=0, \end{array}\displaystyle \right .$$
(2.2)

provided that the integral in (2.2) exists.

Before giving the definition of mild solution of (2.1), we first prove the following lemma.

### Lemma 2.1

If (2.2) holds, then we have

$$\left \{ \textstyle\begin{array}{l} w(x,t)=q\int_{0}^{t}\int_{0}^{\infty}(t-s)^{q-1}\theta\Psi_{q}(\theta )T(t^{q}\theta)(Gu(x,s)+f(s,w(x,s)))\,d\theta \,ds, \\ \quad t\in[0,b],x\in[0,2\pi], \\ w(x,0)=0. \end{array}\displaystyle \right .$$
(2.3)

### Proof

Let $$\lambda>0$$. Applying the Laplace transforms

\begin{aligned}& W(\lambda,x)=\int_{0}^{\infty}e^{-\lambda s}w(x,s) \,ds, \\& U(\lambda,x)=\int_{0}^{\infty}e^{-\lambda s}u(x,s) \,ds, \\& F(\lambda,x)=\int_{0}^{\infty}e^{-\lambda s}f \bigl(x,w(x,s)\bigr)\,ds \end{aligned}

to (2.2), we have

\begin{aligned}& W(\lambda,x)=-\frac{A}{\lambda^{q}} W(\lambda,x)+\frac{1}{\lambda^{q}}GU(\lambda,x)+ \frac{1}{\lambda ^{q}}F(\lambda,x), \\& \lambda^{q}W(\lambda, x)=-AW(\lambda,x)+GU(\lambda,x)+F(\lambda,x), \\& \bigl(\lambda^{q}I+A\bigr)W(\lambda,x)=GU(\lambda,x)+F(\lambda,x), \\& W(\lambda,x)=\bigl(\lambda^{q}I+A\bigr)^{-1}\bigl[GU( \lambda,x)+F(\lambda,x)\bigr] \\& \hphantom{W(\lambda,x)} =\int_{0}^{\infty}e^{-\lambda^{q}s}T(s) \bigl(GU(\lambda,x)+F(\lambda,x)\bigr)\,ds. \end{aligned}

Since $$\int_{0}^{\infty}e^{-\lambda^{q}s}T(s)\,ds=\frac{1}{\lambda^{q}I+A}$$, we may consider the one-side stable probability density ,

$$\Phi_{q}(\theta)=\frac{1}{\pi}\sum_{n=1}^{\infty}(-1)^{n-1} \vartheta ^{-qn-1}\frac{\Gamma(nq+1)}{n!}\sin(n\pi q),\quad \theta\in(0,\infty),$$

whose Laplace transform is given by

$$\int_{0}^{\infty}e^{-\lambda \theta} \Phi_{q}(\theta)\,d\theta=e^{-\lambda^{q}},\quad q\in(0,1).$$
(2.4)

Using (2.4), we get

\begin{aligned}& \int_{0}^{\infty}e^{-\lambda^{q}s}T(s)GU(\lambda,x)\,ds \\& \quad =\int_{0}^{\infty}\int_{0}^{\infty}e^{-\lambda^{q}t}T(t)e^{-\lambda s}Gu(x,s) \, ds\, dt \\& \quad =\int_{0}^{\infty}\int_{0}^{\infty}qt^{q-1}e^{(-\lambda t)^{q}}T \bigl(t^{q}\bigr)e^{-\lambda s}Gu(x,s)\, ds\, dt \\& \quad =\int_{0}^{\infty}\int_{0}^{\infty}qt^{q-1} \biggl(\int_{0}^{\infty }e^{-\lambda t \theta} \Phi_{q}(\theta)\,d\theta\biggr)T\bigl(t^{q} \bigr)e^{-\lambda s}Gu(x,s)\, ds\, dt \\& \quad =\int_{0}^{\infty}\int_{0}^{\infty} \int_{0}^{\infty }\bigl[qt^{q-1} \bigl(e^{-\lambda t \theta}\Phi_{q}(\theta)\bigr)T\bigl(t^{q} \bigr)e^{-\lambda s}Gu(x,s)\bigr]\,d\theta \, ds\, dt \\ & \quad =\int_{0}^{\infty}\int_{0}^{\infty} \int_{0}^{\infty}\biggl[qe^{-\lambda (t+s)} \Phi_{q} \biggl(\frac{t}{\theta} \biggr)\frac{t^{q-1}}{\theta^{q}}T \biggl( \frac{t^{q}}{\theta^{q}} \biggr)Gu(x,s)\biggr]\,d\theta \, ds\, dt \\ & \quad =\int_{0}^{\infty}\int_{0}^{\infty} \int_{s}^{\infty}\biggl[q\Phi_{q} \biggl( \frac{t-s}{\theta} \biggr)e^{-\lambda t}T \biggl(\frac{(t-s)^{q}}{\theta^{q}} \biggr) \frac{(t-s)^{q}}{\theta ^{q}}Gu(x,s)\biggr]\, dt\, d\theta \,ds \\ & \quad =\int_{0}^{\infty}\int_{0}^{\infty} \int_{0}^{t}\biggl[q\Phi_{q}(\theta )e^{-\lambda t}T \biggl(\frac{(t-s)^{q}}{\theta^{q}} \biggr)\frac{(t-s)^{q}}{\theta ^{q}}Gu(x,s) \biggr]\, ds\, dt\, d\theta \\ & \quad =\int_{0}^{\infty}e^{-\lambda t}\biggl[q\int _{0}^{t}\int_{0}^{\infty} \biggl(\Phi_{q}(\theta)T \biggl(\frac {(t-s)^{q}}{\theta^{q}} \biggr) \frac{(t-s)^{q}}{\theta^{q}}Gu(x,s)\biggr)\,d\theta \,ds\biggr]\, dt, \\ & \int_{0}^{\infty}e^{-\lambda^{q}s}T(s)F(\lambda,x)\,ds \\ & \quad =\int_{0}^{\infty}e^{-\lambda t}\biggl[q\int _{0}^{t}\int_{0}^{\infty} \biggl(\Phi_{q}(\theta)T \biggl(\frac {(t-s)^{q}}{\theta^{q}} \biggr) \frac{(t-s)^{q}}{\theta ^{q}}f\bigl(s,w(x,s)\bigr)\biggr)\,d\theta \,ds\biggr]\, dt. \end{aligned}

Then we have

\begin{aligned}& U(x,\lambda) \\ & \quad =\int_{0}^{\infty}e^{-\lambda t}\biggl[q \int_{0}^{t}\int_{0}^{\infty} \Phi_{q}(\theta)T \biggl(\frac {(t-s)^{q}}{\theta^{q}} \biggr)\frac{(t-s)^{q}}{\theta ^{q}} \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,d\theta \,ds\biggr]\, dt. \end{aligned}

Now we can invert the last Laplace transform to get

$$w(x,t)=q\int_{0}^{t}\int_{0}^{\infty} \theta(t-s)^{q-1}\Psi_{q}(\theta )T\bigl((t-s)^{q} \theta\bigr) \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,d\theta \,ds,$$

where $$\Psi_{q}(\theta)=\frac{1}{q}\theta^{-1-\frac{1}{q}}\Phi_{q}(\theta ^{-\frac{1}{q}})$$ is the probability density function defined on $$(0,\infty)$$. This completes the proof. □

For any $$x\in X$$, define operators $$\{S_{q}(t)\}_{t\geq0}$$ and $$\{T_{q}(t)\}_{t\geq0}$$ by

\begin{aligned}& S_{q}(t)x=\int_{0}^{\infty} \Psi_{q}(\theta)T\bigl(t^{q}\theta\bigr)x\, d\theta, \\ & T_{q}(t)x=q\int_{0}^{\infty}\theta \Psi_{q}(\theta)T\bigl(t^{q}\theta\bigr)x\, d\theta. \end{aligned}

Due to Lemma 2.1, we give the following definition of the mild solution of (2.1).

### Definition 2.2

By the mild solution of fractional partial differential equation (2.1), we mean that the function $$w(x,t)\in L^{2}([0,b],L^{2}[0,2\pi])$$ satisfies

$$w(x,t)=\int_{0}^{t}(t-s)^{q-1}T_{q}(t-s) \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,ds.$$

### Lemma 2.3

()

For any fixed $$t\geq0$$, $$S_{q}(t)$$ and $$T_{q}(t)$$ are bounded linear operators. Hence

$$\bigl\Vert S_{q}(t)x \bigr\Vert \leq M\| x\|$$

and

$$\bigl\Vert T_{q}(t)x\bigr\Vert \leq \frac{Mq}{\Gamma(1+q)}\| x\|$$

for all $$x\in X$$, where M is a constant such that $$\| T(t)\|\leq M$$ for all $$t\in[0, b]$$.

## Existence and uniqueness of mild solution

In this section we prove the existence and uniqueness of the mild solution of (2.1). To prove the result let us assume the following conditions:

(H1):

For each $$t\in[0,b]$$, $$f(t,\cdot)$$ is continuous and $$f(t,x)$$ satisfy the generalized Lipschitz condition, i.e. there exists a function $$H(t)\in L^{\frac{1}{l}}([0,b];X)$$, $$0< l< q$$, such that

$$\bigl\Vert f(t,x)-f(t,y)\bigr\Vert \leq H(t)\Vert x-y\Vert .$$
(H2):

We have

$$\frac{Mq}{\Gamma(1+q)}\Vert H\Vert _{\frac{1}{l}}\biggl(\frac{1-l}{q-l} \biggr)^{1-l}b^{q-l}< 1,$$

where $$\| H\|_{\frac{1}{l}}=(\int_{0}^{b}(H(s))^{\frac{1}{l}}\,ds)^{l}$$.

### Theorem 3.1

If the conditions (H1)-(H2) hold, the system (2.1) admits a unique mild solution in X for each control function $$u(x,t)\in L^{2}([0,b],L^{2}[0,2\pi])$$.

### Proof

Define the operator $$N:X\rightarrow X$$ by

$$Nw(x,t)=\int_{0}^{t}(t-s)^{q-1}T_{q}(t-s) \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,ds.$$

Let

$$B_{r}=\bigl\{ w(x,t)\in L^{2}\bigl([0,b],L^{2}(0,2 \pi)\bigr); w(x,0)=0, \bigl\Vert w(x,t)\bigr\Vert \leq r\bigr\}$$

which is a bounded and closed subset of $$L^{2}([0,b],L^{2}[0,2\pi])$$, and

$$H_{g}=\max_{0\leq t\leq b} \bigl\Vert f(t,0)\bigr\Vert .$$

For any $$w(x,t)\in B_{r}$$, we have

\begin{aligned}& \bigl\Vert Nw(x,t)\bigr\Vert \\& \quad =\biggl\Vert \int_{0}^{t}(t-s)^{q-1}T_{q}(t-s) \bigl(Gu(x,s)+f(s,w)\bigr)\,ds\biggr\Vert \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\biggl\Vert \int_{0}^{t}(t-s)^{q-1} \bigl(Gu(x,s)+f(s,w)\bigr)\,ds\biggr\Vert \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\int_{0}^{t}(t-s)^{q-1} \bigl\Vert \bigl(Gu(x,s)+f(s,w)\bigr)\bigr\Vert \,ds \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\Vert G\Vert \int_{0}^{t}(t-s)^{q-1} \Vert u\Vert \,ds \\& \qquad {} +\frac{Mq}{\Gamma(1+q)}\int_{0}^{t}(t-s)^{q-1} \bigl\Vert f(s,w)-f(s,0)+f(s,0)\bigr\Vert \,ds \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\Vert G\Vert \sqrt{\frac{b^{2q-1}}{2q-1}}\Vert u \Vert _{L^{2}} \\& \qquad {} +\frac{Mq}{\Gamma(1+q)}\Vert w\Vert _{L^{2}}\Vert H\Vert _{\frac{1}{l}}\biggl(\frac{1-l}{q-l}\biggr)^{1-l}b^{q-l} + \frac{b^{q}Mq}{\Gamma(1+q)}H_{g} \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\Vert G\Vert \sqrt{\frac{b^{2q-1}}{2q-1}}\Vert u \Vert _{L^{2}} \\& \qquad {} +\frac{Mq}{\Gamma(1+q)}\Vert H\Vert _{\frac{1}{l}}\biggl( \frac{1-l}{q-l}\biggr)^{1-l}b^{q-l}r +\frac{b^{q}Mq}{\Gamma(1+q)}H_{g}. \end{aligned}

Now let $$\| Nw(x,t)\|< r$$, then

$$\frac{Mq}{\Gamma(1+q)}\| G\| \sqrt{\frac{b^{2q-1}}{2q-1}}\| u\|_{L^{2}} + \frac{Mq}{\Gamma(1+q)}\| H\|_{\frac{1}{l}}\biggl(\frac{1-l}{q-l} \biggr)^{1-l}b^{q-l}r +\frac{b^{q}Mq}{\Gamma(1+q)}H_{g}< r.$$

Since we have the condition (H3), we can obtain

$$\frac{Mq}{\Gamma(1+q)}\| H\|_{\frac{1}{l}}\biggl(\frac{1-l}{q-l} \biggr)^{1-l}b^{q-l}< 1.$$

So we obtain this result: N maps the ball $$B_{r}$$ of radius r into itself.

Next we show that N is a contraction on $$B_{r}$$. To this aim, let us take $$w_{1}, w_{2}\in B_{r}$$, we get

\begin{aligned}& \bigl\Vert Nw_{1}(t)-Nw_{2}(t)\bigr\Vert \\& \quad \leq\biggl\Vert \int_{0}^{t}(t-s)^{q-1}T_{q}(t-s) \bigl(f(s,w_{1})-f(s,w_{2})\bigr)\,ds\biggr\Vert \\& \quad \leq\int_{0}^{t}(t-s)^{q-1}T_{q}(t-s)H(s)^{\frac{1}{l}} \Vert w_{1}-w_{2}\Vert \,ds \\& \quad \leq\frac{Mq}{\Gamma(1+q)}\Vert H\Vert _{\frac{1}{l}} \biggl( \frac{1-l}{q-l} \biggr)^{1-l}b^{q-l}\Vert w_{1}-w_{2}\Vert \\& \quad < \Vert w_{1}-w_{2}\Vert , \end{aligned}

then N has a unique fixed point in $$B_{r}$$. According to the extension theorem of a solution, Theorem 3.1 is proved. □

## Approximate controllability of system (2.1)

Let $$w(x,t)$$ be the state value of system (2.1) at time t and space X corresponding to the control function $$u(x,t)$$. The system (2.1) is said be approximately controllable on the interval $$[0,b]$$, if for any given $$w_{1}\in L^{2}(0,2\pi)$$ the solution $$w(\cdot,t)$$ of (2.1) satisfies $$\| w(\cdot, b)-w_{1}\|<\epsilon$$.

We introduce two relevant operators and the basic assumption on these operators

$$\Gamma_{0}^{b}=\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)GG^{*}T_{q}^{*}(b-s) \,ds$$

and

$$R\bigl(\lambda,\Gamma_{0}^{b}\bigr)=\bigl(\lambda I+ \Gamma_{0}^{b}\bigr)^{-1},$$

where $$G^{*}$$ is the adjoint of G and $$T_{q}^{*}(t)$$ is the adjoint of $$T_{q}(t)$$. It is straightforward that the operator $$\Gamma_{0}^{b}$$ is a linear bounded operator.

### Lemma 4.1

()

Let Z be a separable reflexive Banach space and let $$Z^{*}$$ stands for its dual space. Assume that $$\Gamma: Z^{*}\rightarrow Z$$ is symmetric. Then the following two conditions are equivalent:

1. (i)

$$\Gamma: Z^{*}\rightarrow Z$$ is positive, that is, $$(z^{*},\Gamma z^{*})>0$$ for all nonzero $$z^{*}\in Z^{*}$$.

2. (ii)

For all $$h\in Z$$, $$z_{\lambda}(h)=\lambda(\lambda I+\Gamma J)^{-1}(h)$$ strongly converges to zero as $$\lambda\rightarrow 0^{+}$$. Here J is the duality mapping of Z into $$Z^{*}$$.

### Lemma 4.2

()

The linear fractional control system (2.1) is approximately controllable on $$[0,b]$$ if and only if $$\lambda R(\lambda,\Gamma_{0}^{b})\rightarrow0$$ as $$\lambda\rightarrow0^{+}$$ in the strong operator topology.

Before proving the approximate controllability of (2.1), we impose the following conditions on the data of the problem:

(H3):

$$T(t)$$ is a compact analytic semigroup in X.

(H4):

$$\lambda R(\lambda,\Gamma_{0}^{b})\rightarrow0$$ as $$\lambda\rightarrow0^{+}$$ in the strong operator topology.

In this section, we will prove that the system (2.1) is approximately controllable, if for any $$\lambda>0$$ there exists a continuous function $$w(x,t)\in X$$ such that

$$w(x,t)=\int_{0}^{t}(t-s)^{q-1}T_{q}(t-s) \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,ds,$$
(4.1)

where

$$u(x,t)=G^{*}T_{q}^{*}(b-t) R\bigl( \lambda,\Gamma_{0}^{b}\bigr) \biggl(w_{1}-\int _{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds\biggr).$$
(4.2)

### Theorem 4.3

Assume that the conditions (H1)-(H4) are satisfied and $$f(t,w)$$ is bounded in X. Then the system (2.1) is approximate controllable.

### Proof

Let $$w_{\lambda}(x,t)$$ be a fixed point of N in $$B_{r}$$. Any fixed point of N is a mild solution of (2.1) under the control $$u_{\lambda}(x,t)=G^{*}T_{q}^{*}(b-t) R(\lambda,\Gamma_{0}^{b})p(w_{\lambda})$$ and satisfies

$$w_{\lambda}(x,b)=w_{1}-\lambda R\bigl(\lambda, \Gamma_{0}^{b}\bigr)p(w_{\lambda}),$$

where $$p(w_{\lambda}(x,b))=w_{1}-\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f(s,w(x,s))\,ds$$.

In fact, we know

\begin{aligned} w_{\lambda}(x,b) =&\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s) \bigl(Gu(x,s)+f\bigl(s,w(x,s)\bigr)\bigr)\,ds \\ =&\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)G \biggl(G^{*}T_{q}^{*}(b-s) R\bigl(\lambda, \Gamma_{0}^{b}\bigr) \\ &{}\times\biggl(w_{1} -\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds\biggr)\biggr)\,ds \\ &{}+\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds \\ =&\Gamma_{0}^{b}R\bigl(\lambda,\Gamma_{0}^{b} \bigr)w_{1}-\Gamma_{0}^{b}R\bigl(\lambda , \Gamma_{0}^{b}\bigr)\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds \\ &{}+\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds \\ =&w_{1}-\lambda R\bigl(\lambda,\Gamma_{0}^{b} \bigr)w_{1}+\lambda R\bigl(\lambda,\Gamma_{0}^{b} \bigr)\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds \\ =&w_{1}-\lambda R\bigl(\lambda,\Gamma_{0}^{b} \bigr) \biggl(w_{1}-\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds\biggr) \\ =&w_{1}-\lambda R\bigl(\lambda,\Gamma_{0}^{b} \bigr)p(w_{\lambda}). \end{aligned}

Since $$f(t,w)$$ is bounded in $$L^{2}([0,b],L^{2}[0,2\pi])$$, there exists a subsequence, denoted by $$f(t,w)$$, that weakly converges to, say, $$f(s)$$ in $$L^{2}([0,b],L^{2}[0,2\pi])$$. Define $$v=w_{1}-\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f(s)\,ds$$. It follows that

\begin{aligned}& \bigl\Vert P\bigl(w_{\lambda}(x,b)\bigr)-v\bigr\Vert \\& \quad =\biggl\Vert \int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f \bigl(s,w(x,s)\bigr)\,ds-\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s)f(s) \,ds\biggr\Vert \\& \quad \leq\int_{0}^{b}(b-s)^{q-1}T_{q}(b-s) \bigl\Vert f\bigl(s,w(x,s)\bigr)-f(s)\bigr\Vert \,ds. \end{aligned}

Now, by the compactness of an operator $$l(\cdot)\rightarrow \int_{0}^{\cdot}(\cdot-s)^{q-1}T_{q}(\cdot-s)l(s)\,ds: L^{2}([0,b],L^{2}[0, 2\pi])\rightarrow C([0,b],L^{2}[0,2\pi])$$, the right-hand side of the above inequality tends to zero as $$\lambda\rightarrow0^{+}$$.

Then we obtain

\begin{aligned}& \bigl\Vert w_{\lambda}(x,b)-w_{1}\bigr\Vert \\& \quad =\bigl\Vert w_{1}-\lambda R\bigl(\lambda, \Gamma_{0}^{b}\bigr)p(w_{\lambda})-w_{1} \bigr\Vert \\& \quad =\bigl\Vert \lambda R\bigl(\lambda, \Gamma_{0}^{b} \bigr)p(w_{\lambda})\bigr\Vert \\& \quad \leq \bigl\Vert \lambda R\bigl(\lambda, \Gamma_{0}^{b} \bigr) \bigl(p(w_{\lambda})-v\bigr)\bigr\Vert +\bigl\Vert \lambda R\bigl( \lambda, \Gamma_{0}^{b}\bigr)v\bigr\Vert \\& \quad \rightarrow0, \end{aligned}

as $$\lambda\rightarrow0^{+}$$. So the approximate controllability of (2.1) is proved. □

## Example

As an application of Theorem 4.3, we consider the following system:

$$\left \{ \textstyle\begin{array}{l} \frac{\partial^{\frac{2}{3}}}{\partial t^{\frac{2}{3}}}w(x,t)+\frac{\partial^{2}}{\partial x^{2}}w(x,t)= Gw(x,t)+f(t,w(x,t)), \\ w(x,0)=0, \\ w(0,t)=w(2\pi,t)=0. \end{array}\displaystyle \right .$$
(5.1)

To write system (5.1) in the form of (2.1), let $$X=L^{2}(0,2\pi)$$ and A be defined by $$Aw=w''$$ with domain $$D(A)=\{w(\cdot)\in X: w, w'\mbox{ absolutely continuous}, w''\in X, w(0)=w(2\pi)=0\}$$.

Then A generates a uniformly bounded analytic semigroup which satisfies the condition (H3). Furthermore, A has a discrete spectrum, the eigenvalues are $$-n^{2}$$, $$n\in N$$, with the corresponding normalized eigenvectors $$w_{n}(x)=(2/\pi)^{1/2}\sin(nx)$$. Then the following properties hold:

1. (i)

If $$w\in D(A)$$, then

$$Aw=\sum_{n=1}^{\infty}n^{2}\langle w,w_{n}\rangle w_{n}.$$
2. (ii)

For each $$w\in X$$,

$$A^{-\frac{1}{2}}w=\sum_{n=1}^{\infty} \frac{1}{n}\langle w,w_{n}\rangle w_{n}.$$

Moreover, $$\| A^{-\frac{1}{2}}\|=1$$.

3. (iii)

The operator $$A^{\frac{1}{2}}$$ is given by

$$A^{\frac{1}{2}}w=\sum_{n=1}^{\infty}n\langle w,w_{n}\rangle w_{n}$$

on the space $$D(A^{\frac{1}{2}})=\{w(\cdot)\in X, A^{\frac{1}{2}}w\in X\}$$.

First of all, if the conditions (H1) and (H2) are satisfied, the system (5.1) admits a unique mild solution in X for each control function $$u(x,t)$$ from Theorem 3.1. Second, if the conditions (H1)-(H4) are satisfied and $$f(t,w)$$ is bounded in X, then the approximate controllability of the system (5.1) follows from Theorem 4.3.

## Future outlook

The results developed in the present paper can be extended to the case of stochastic fractional partial differential equations with time-delay. We will pay attention to the well posedness and approximate controllability of stochastic fractional partial differential equation with time-delay in the future.

## References

1. 1.

Debnath, L: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 54, 3413-3442 (2003)

2. 2.

Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)

3. 3.

Rossikhin, YA, Shitikova, MV: Applications of fractional calculus to dynamic problems of linear and nonlinear hereditary mechanics of solids. Appl. Mech. Rev. 50(1), 15-67 (1997)

4. 4.

Tarasov, VE: Fractional Dynamics: Application of Fractional Calculus to Dynamics of Particles, Fields and Media. Springer, Berlin (2010)

5. 5.

Benchohra, M, Henderson, J, Ntouyas, SK, Quahab, A: Existence results for fractional order functional differential equations with infinite delay. J. Math. Anal. Appl. 338, 1340-1350 (2008)

6. 6.

Podlubny, L: Fractional Differential Equations. Academic Press, San Diego (1999)

7. 7.

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

8. 8.

Miller, KS, Ross, B: An Introduction to Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)

9. 9.

Agarwal, RP, Belmekki, M, Benchohra, M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009, Article ID 981728 (2009)

10. 10.

El-Borai, MM: Some probability densities and fundamental solutions of fractional evolution equations. Chaos Solitons Fractals 14, 433-440 (2002)

11. 11.

Zhou, Y, Jiao, F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 59, 1063-1077 (2010)

12. 12.

Hernández, HR, Hernández, E: Approximate controllability of second-order distributed implicit functional systems. Nonlinear Anal. 70, 1023-1039 (2009)

13. 13.

Sukavanam, N, Tomar, NK: Approximate controllability for semilinear delay control systems. Nonlinear Funct. Anal. Appl. 12(1), 53-59 (2007)

14. 14.

Russell, DL, Zhang, BY: Controllability and stabilizability of the third-order linear dispersion equation on a periodic domain. SIAM J. Control Optim. 31, 659-676 (1993)

15. 15.

George, RK, Chalishajar, DN, Nandakumaran, AK: Exact controllability of the nonlinear third-order dispersion equation. J. Math. Anal. Appl. 332, 1028-1044 (2007)

16. 16.

Sakthivel, R, Mahmudov, NI, Ren, Y: On the approximate controllability of the nonlinear third-order dispersion equation. Appl. Math. Comput. 217, 8507-8511 (2011)

17. 17.

Zhou, Y, Jiao, F, Li, J: Existence and uniqueness for fractional neutral differential equations with infinite delay. Nonlinear Anal., Theory Methods Appl. 71, 3249-3256 (2009)

18. 18.

Kumar, S, Sukavanam, N: Approximate controllability for a class of semilinear delay control system of fractional order. Nonlinear Stud. 20, 73-83 (2013)

19. 19.

Kumar, S, Sukavanam, N: On the approximate controllability of fractional order control system with delay. Nonlinear Dyn. Syst. Theory 13, 69-78 (2013)

20. 20.

Kumar, S, Sukavanam, N: Approximate controllability of fractional order semilinear systems with bounded delay. J. Differ. Equ. 252, 6163-6174 (2012)

21. 21.

Kumar, S, Sukavanam, N: Approximate controllability of fractional order neutral control systems with delay. Int. J. Nonlinear Sci. 13, 454-462 (2012)

22. 22.

Mckibben, MA: Approximate controllability of second-order functional evolution equations. J. Optim. Theory Appl. 117(2), 397-414 (2003)

23. 23.

Ahmed, HM: Controllability of fractional stochastic delay equations. Lobachevskii J. Math. 30(3), 195-202 (2009)

24. 24.

Mahmudov, NI: Approximate controllability of semilinear deterministic and stochastic evolution equations in abstract spaces. SIAM J. Control Optim. 42, 1604-1622 (2003)

25. 25.

Mahmudov, NI: Approximate controllability of fractional evolution equations with compact analytic semigroup. J. Comput. Appl. Math. 259, 194-204 (2014)

26. 26.

Naito, K: Controllability of semilinear control systems dominated by the linear part. SIAM J. Control Optim. 25(3), 715-722 (1987)

27. 27.

Balachandran, K, Sakthivel, R: Controllability of integrodifferential systems in Banach spaces. Appl. Math. Comput. 118, 63-71 (2001)

28. 28.

Sukavanam, N, Tafesse, S: Approximate controllability of a delayed semilinear control system with growing nonlinear term. Nonlinear Anal. 74, 6868-6875 (2011)

29. 29.

Sakthivel, R, Nieto, JJ, Mahmudov, NI: Approximate controllability of nonlinear deterministic and stochastic systems with unbounded delay. Taiwan. J. Math. 14, 1777-1797 (2010)

30. 30.

Sakthivel, R, Ganesh, R, Suganya, S: Approximate controllability of fractional neutral stochastic system with infinite delay. Rep. Math. Phys. 70, 291-311 (2012)

31. 31.

Hernández, E, O’Regan, D, Balachandran, K: On recent developments in the theory of abstract differential equations with fractional derivatives. Nonlinear Anal. 73, 3462-3471 (2010)

32. 32.

Sukavanam, N, Kumar, S: Approximately controllability of fractional order semilinear delay systems. J. Optim. Theory Appl. 151(2), 373-384 (2011)

Download references

## Acknowledgements

The authors are very grateful for the referee’s careful reading and comments on this paper. The present project is supported by Hunan Provincial Science and Technology Department granted 2014FJ3071, Scientific Research Fund of Hunan Provincial Education Department granted 13C1035 and NSFC granted 11431015, 11271381.

## Author information

Authors

### Corresponding author

Correspondence to Fang Wang.

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions 