Skip to main content

Theory and Modern Applications

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.

1 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 [1–4]). 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 [4–9]. 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 [10] and Zhou and Jiao [11]. 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 [12–30]). 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. [31], Sukavanam and Tomar [32] 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 [14] discussed the controllability and stabilizability of the following third-order linear dispersion equation of (1.1) on a periodic domain. In [15], 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 [16], 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 [16]. Compared to [15], 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 [15] and [16].

2 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 [22],

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

([17])

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

3 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. □

4 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

([24])

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

([14])

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

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

6 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. Debnath, L: Recent applications of fractional calculus to science and engineering. Int. J. Math. Math. Sci. 54, 3413-3442 (2003)

    Article  Google Scholar 

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

    Book  MATH  Google Scholar 

  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)

    Article  MathSciNet  Google Scholar 

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

    Book  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  Google Scholar 

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

    Book  MATH  Google Scholar 

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

    MATH  Google Scholar 

  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)

    MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

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

    MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  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)

    MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  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)

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

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 and Affiliations

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

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Wang, F., Wang, P. & Yao, Z. Approximate controllability of fractional partial differential equation. Adv Differ Equ 2015, 367 (2015). https://doi.org/10.1186/s13662-015-0692-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0692-3

MSC

Keywords