Skip to main content

Advertisement

We’d like to understand how you use our websites in order to improve them. Register your interest.

The controllability of nonlinear fractional differential system with pure delay

Abstract

In this study, we are currently investigating the controllability of nonlinear fractional differential control systems with delays in the state function. The solution representations of fractional delay differential equations have been established by using the delayed Mittag-Leffler function. Firstly we obtain the result of the controllability of a linear fractional control system with delay. Then, for the controllability criteria of nonlinear fractional delay system, we establish the set of sufficient conditions of nonlinear fractional differential systems with delay in their state function by using Schauder’s fixed point theorem. In the end, a numerical example is constructed to support the results.

Introduction

The fractional calculus and its applications have become popular because of the differ-integral. It is an operator which consists of both integer-order derivatives and integrals as special cases. The fractional integral is used for better understanding of the summation of a given quantity. Podlubny [1] described it as a parameter of a regression model in case of an unknown order of integration. Conversely, the fractional derivative is generally used for describing damping. Fractional derivatives have several kinds, such as Caputo, Riemann–Liouville, Grunwald–Letnikov, and Hadamard, etc. [26].

During the previous decades, fractional differential equations acquired tremendous prominence and significance. In order to generate the mathematical modeling of several physical phenomena, the category of fractional differential equations of different types plays a significant role, and methods are used from not only mathematics but also dynamical systems, physics, engineering, biology, and control systems [713]. There are delays in the development of operational systems such as industrial systems, transmission lines, chemical processes, and rolling mill systems. Several researchers have considered applications of fractional differential equations to different areas, and some fundamental results have been obtained on fractional differential equations. There are different methods to solve the differential equations such as numerical methods and spectral methods, etc. However, the spectral method is advantageous over the numerical method due to its high accuracy. Podlubny, Bellman, and Cooke conducted a similar analysis on analytical solutions for linear delay differential equations [1, 14].

Many processes around the world not only depend upon the present state but also based on their complete past state. These types of processes are present in the industrial systems, transmission lines, chemical processes, and the rolling mill systems. Delay, integral, and integro-differential equations are used to mathematically present these systems. Laplace and Condorcet firstly introduced delay differential equations during the eighteenth century. Graphical tools, asymptotic solutions, and numerical methods are generally used to solve delay differential equations. Many researchers have attempted to find the solution of these equations with delays in state and control functions, respectively [1517].

Controllability is among the key concepts of mathematical control theory. Controllability plays a key role in the development of complex theories of mathematical control. It is used to manipulate the actions of an object to achieve the desired outcome. In infinite and finite-dimensional systems this plays a major role. The fixed point technique for nonlinear systems is one of the most effective approaches for the controllability problem. Based on the nonlinear functions involved, some fixed point theorems were specifically used to determine the conditions of controllability. Sakthivel et al. [18] established the controllability conditions about nonlinear neutral fractional control systems. The controllability problem in the finite-dimensional spaces for the nonlinear fractional dynamical system was discussed by [19]. Moreover, Balachandran discussed the controllability conditions for fractional nonlinear control systems with distributed delay and multiple delays in [20, 21], respectively. Controllability problem for the linear and nonlinear control systems was discussed by Balachandran and Dauer in [22]. Approximate controllability results for the nonlinear fractional differential system were discussed by Sakthivel et al. in [23, 24]. In [25] controllability results were obtained for fractional neutral stochastic dynamical systems with Poisson jumps in the finite dimension, and controllability for the nonlinear fractional differential system in a Banach space was discussed by Muslims et al. in [26], whereas controllability results for the nonlinear fractional system with control delay were discussed in [27]. Recently, controllability results for linear and nonlinear fractional delay dynamical systems with time-varying delay in control have been discussed by Rajagopal [28]. Controllability results of nonlinear neutral-type fractional-order differential delay systems with impulsive effects have been studied by Sundara et al. [29]. Recent research work on controllability results for the nonlinear fractional differential system for higher-order fractional delay dynamical systems, damped delay systems with multiple delays in control, integro-differential equations with small unknown parameters, and damping in Hilbert spaces has been carried out by researchers [3033], respectively. Moreover, research work about the controllability results of linear and nonlinear fractional-order integrodifferential delay system by using Schauder’s fixed point theorem and Arzela–Ascoli theorem has been discussed by Yi et al. in [34]. The previous studies mainly focused on controllability of nonlinear different types of fractional differential systems, but no work has reported on the controllability of nonlinear fractional differential system that discusses pure delay, which is presented in this manuscript. Motivated mainly by [34] and the above-mentioned works, by using the idea of a pure delay from research work [35], we consider the controllability conditions of nonlinear fractional systems with time delay in the state function represented by two-parameter delayed Mittag-Leffler type matrix by using Schauder’s fixed point theorem. Li and Wang [36] considered pure delay for linear fractional differential equations and gave a representation of the solution by using two-parameter delayed Mittag-Leffler type matrix

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} {}^{c}D^{\delta}_{0^{+}}y(x)=Ay(x-h), & y(x)\in\mathcal{R}^{n}, x \in J:=[0,x_{1}],h > 0, \\ y(x)=\varphi(x), & -h\leq x \leq0, \varphi\in\mathcal {C}^{1}_{h}:=\mathcal{C}^{1}([-h,0],\mathcal{R}^{n}), \end{array}\displaystyle \right . \end{aligned}$$
(1)

where \({}^{c}D^{\delta}_{0^{+}}y(x)\) stands for δ order Caputo fractional derivative of \(y(x)\) where zero is a lower limit, \(x_{1}\) is the integral multiple of h, \(A\in\mathcal {R}^{n\times n}\), \(h >0\) is a time delay, \(n \in\mathcal{N}\) stands for a constant matrix. \(\mathcal{E}^{A.^{\delta}}_{h}\) is a new notation to express (delayed Mittag-Leffler type matrix) reported in Definition 2.3, any solution \(y \in C ([-h, x_{1}], \mathcal{R}^{n})\) of (1) can be established by Li

$$ y(x) = \mathcal{E}^{A x^{\delta}}_{h}\varphi(-h) + \int^{0}_{-h}\mathcal {E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda)\,d\lambda. $$
(2)

Motivated by the previous study, in this research work we deal with the fractional differential systems with state delay by using the virtue of explicit formula governed by

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} ^{c}D^{\delta}_{0^{+}}y(x)=Ay(x-h)+Bu(x), & y(x)\in J:=[0,x_{1}],h > 0,x_{1} \geq0, \\ y(x)=\varphi(x), & -h\leq x \leq0, \end{array}\displaystyle \right . \end{aligned}$$
(3)

and the corresponding nonlinear system

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} ^{c}D^{\delta}_{0^{+}}y(x)=Ay(x-h)+ B u(x)+f(x,y(x-h),u(x)), &y(x)\in \mathcal{R}^{n}, x \in J, \\ y(x)=\varphi(x), & -h\leq x \leq0, \end{array}\displaystyle \right . \end{aligned}$$
(4)

where \(y: [-h, x_{1}]\rightarrow\mathcal{R}^{n}\) is continuous differentiable on \([0, x_{1}]\) with \(x_{1} >(n-1)h\), \(0<\delta\leq1\), \(A\in\mathcal{R}^{n\times n}\), B \(\in\mathcal{R}^{n\times m}\) are any matrices, \(h >0\) shows time delay, \(y(x)\in\mathcal{R}^{n} \) denotes state vector, \(u(x)\in\mathcal{R}^{m}\) shows control vector, \(\varphi (x)\) shows the initial state function, and the nonlinear function \(f: J \times\mathcal{R}^{n} \times\mathcal{R}^{m} \rightarrow\mathcal{R}^{n}\) is continuous.

The assembling of this article is as follows. Section 2 includes some useful definitions, preliminary results, and lemmas about a delayed Mittag-Leffler type matrix to establish the controllability of a fractional differential system with state delay. In Sect. 3 we obtain sufficient conditions for controllability criteria of nonlinear fractional differential delay system (4) by using Schauder’s fixed point theorem. Section 4 presents one example to explain the applicability of the theoretical results.

Preliminaries and essential lemmas

This part includes some basic definitions and results used throughout this paper and some lemmas for the main results. We recall some known definitions. For more details, see [8, 37, 38].

Definition 2.1

([8])

A function \(f:[0,\infty)\rightarrow\mathcal{R}\) where its Caputo fractional derivative of order (\(0 < \delta< 1 \)) is defined as

$$\bigl({}^{c}D^{\delta}_{0^{+}} y \bigr) (x)= \frac{1}{\varGamma(1-\delta)} \int_{0}^{x}\frac{ y'(\theta)}{(x-\theta)^{\delta}}\,d\theta,\quad x>0. $$

Here the gamma function is denoted by \(\varGamma(\cdot)\).

Definition 2.2

([8])

A function \(f: [0,\infty)\rightarrow\mathcal{R} \) where its fractional integral of order \(\delta>0 \) is defined as

$$\bigl(I^{\delta}_{0^{+}}f \bigr) (x)=\frac{1}{\varGamma(\delta)} \int_{0}^{x}(x-\theta )^{\delta-1}f(\theta)\,d \theta. $$

Here \(\varGamma(\cdot)\) denotes the gamma function.

Definition 2.3

([38])

A matrix \(\mathcal{E}^{A.^{\delta}}_{h}:\mathcal{R}\rightarrow\mathcal {R}^{n\times n}\) known as a delayed Mittag-Leffler type matrix is defined as

$$\begin{aligned} \mathcal{E}^{A x^{\delta}}_{h} = \left \{ \textstyle\begin{array}{l@{\quad}l} \varTheta,&- \infty< x < -h,\\ I ,&- h \leq x\leq0,\\ I+A\frac{(x)^{\delta}}{\varGamma(\delta+1)}+A^{2}\frac{(x-h)^{2\delta }}{\varGamma(2\delta+1)}\\ \quad+\cdots+A^{k}\frac{(x-(k-1)h)^{k\delta}}{\varGamma(k\delta+1)},&(k-1) h < x \leq k h, k \in\mathcal{N}, \end{array}\displaystyle \right . \end{aligned}$$
(5)

where zero and identity matrices are shown by Θ and I, respectively.

Definition 2.4

([36])

A matrix \(\mathcal{E}^{A.^{\delta}}_{h,\beta}:\mathcal{R}\rightarrow \mathcal{R}^{n\times n}\) known as delayed two-parameter Mittag-Leffler type matrix is defined as

$$\begin{aligned} \mathcal{E}^{A x^{\delta}}_{h,\beta} = \left \{ \textstyle\begin{array}{l@{\quad}l} \varTheta,&- \infty< x < -h,\\ I\frac{(h+x)^{\delta-1}}{\varGamma(\beta)} ,&- h \leq x\leq0,\\ I\frac{(h+x)^{\delta-1}}{\varGamma(\beta)}+A\frac{x^{2\delta -1}}{\varGamma(\delta+\beta)}+A^{2}\frac{(x-h)^{3\delta-1}}{\varGamma (2\delta+\beta)}\\ \quad+\cdots+A^{k}\frac{(x-(k-1)h)^{(k+1)\delta-1}}{\varGamma(k\delta+\beta )},&(k-1) h < x \leq k h, k \in\mathcal{N}. \end{array}\displaystyle \right . \end{aligned}$$
(6)

Lemma 2.5

([36])

Let\(f: J \rightarrow\mathcal{R}^{n}\)be a continuous vector-valued function. A solution\(y \in C ([-h,x_{1}], \mathcal{R}^{n})\)of the following system. Consider the linear fractional delay differential equation of the form:

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} ^{c}D^{\delta}_{0^{+}}y(x)=Ay(x-h)+f(x), & y(x)\in\mathcal{R}^{n}, x \in J:=[0,x_{1}], h > 0, \\ y(x)=\varphi(x), & -h\leq x \leq0, \varphi\in\mathcal{C}^{1}_{h}. \end{array}\displaystyle \right . \end{aligned}$$
(7)

It can be written in the form of integral equation by using the method in [35]:

$$\begin{aligned} y(x) = \mathcal{E}^{A x^{\delta}}_{h}\varphi(-h) + \int^{0}_{-h}\mathcal {E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda)\,d\lambda+ \int ^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}f( \lambda)\,d\lambda. \end{aligned}$$

By Lemma 2.5, a solution \(y \in C ([-h,x_{1}], \mathcal{R}^{n})\) of system (3) can be composed as a form

$$\begin{aligned} y(x) =& \mathcal{E}^{A x^{\delta}}_{h} \varphi(-h) + \int ^{0}_{-h}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda )\,d\lambda \\ &{} + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta }Bu( \lambda)\,d\lambda. \end{aligned}$$
(8)

Similarly, a solution for nonlinear system (4) is as follows:

$$ \begin{aligned}[b]y(x) &= \mathcal{E}^{A x^{\delta}}_{h} \varphi(-h) + \int ^{0}_{-h}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda )\,d\lambda \\ &\quad + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta } \bigl[Bu(\lambda)+f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr]\,d \lambda.\end{aligned} $$
(9)

Controllability results

In this part, controllability results of system (3) are investigated as in [35]. Firstly we prove one lemma, then by using this lemma the main results are constructed for nonlinear fractional differential delay system (4).

Definition 3.1

Systems (3) and (4) are said to be controllable on J if, for every initial function \(\varphi(x)\) and \(y_{1} \in\mathcal {R}^{n}\), there exists a continuous control function u such that the solutions of (3) and (4) satisfy \(y(x_{1})=y_{1}\).

The solution of linear system (3) that corresponds to u can be written as follows:

$$\begin{aligned} y_{s}(x) =& \mathcal{E}^{A x^{\delta}}_{h} \varphi(-h) + \int ^{0}_{-h}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda )\,d\lambda \\ &{} + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta }Bu( \lambda)\,d\lambda,\quad x\in J, \end{aligned}$$
(10)

where

$$\begin{aligned} \chi(x;\varphi) =& \mathcal{E}^{A x^{\delta}}_{h}\varphi(-h) + \int^{0}_{-h}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h} \varphi'(\lambda )\,d\lambda. \end{aligned}$$

Similarly, the solution of system (4) that corresponds to u takes the form

$$\begin{aligned} y(x) =& \chi(x;\varphi) + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda )^{\delta}}_{h,\delta}Bu( \lambda)\,d\lambda \\ &{}+ \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}f \bigl(\lambda ,y(\lambda-h),u(\lambda) \bigr)\,d\lambda, \end{aligned}$$

for \(x\in J\) and \(y(x)= \varphi(x)\) for \(x\in[-h,0]\) the Gramian matrix is defined as

$$\begin{aligned} W_{h,\delta}[0,x_{1}] = \int^{x_{1}}_{0}\mathcal{E}^{A(x_{1}-h-\lambda )^{\delta}}_{h,\delta}BB^{T} \mathcal{E}^{A^{T}(x_{1}-h-\lambda)^{\delta}}_{h,\delta}\,d\lambda, \end{aligned}$$
(11)

where the symbol T indicates that the matrix is transposed. And the control function is taken as

$$\begin{aligned} u(x) = B^{T}\mathcal{E}^{A^{T}(x_{1}-h-\lambda)^{\delta}}_{h,\delta} W^{-1}_{h,\delta}[0,x_{1}]\chi(x_{1};\varphi). \end{aligned}$$
(12)

Lemma 3.2

Linear system (3) is controllable onJif and only if\(W_{h,\delta}[0,x_{1}]\)is nonsingular.

Proof

The proof is similar as given in [35], so it is omitted. □

Now we get our key outcomes on the controllability of nonlinear fractional control delay system (4), for which we take \(f:J\times\mathcal{R}^{n}\times\mathcal{R}^{m} \rightarrow\mathcal{R}^{n}\) is continuous, \(h >0\) is time delay. Let us propose the following notation, labeling Q as a Banach space of continuous \(\mathcal {R}^{n}\times\mathcal{R}^{m} \)-valued functions identified with the norm on the interval J:

$$\bigl\Vert (y,u) \bigr\Vert = \Vert y \Vert + \Vert u \Vert , $$

where

$$\Vert y \Vert =\sup \bigl\{ \bigl\vert y(x) \bigr\vert :x \in J \bigr\} $$

and

$$\Vert u \Vert =\sup \bigl\{ \bigl\vert u(x) \bigr\vert :x \in J \bigr\} , $$

that is, \(Q=C_{n(J)}\times C_{m(J)} \), where \(C_{n(J)}\) is the continuous \(\mathcal{R}^{n}\)-valued function’s Banach space defined on the interval J with the sup norm for each \((z,\nu)\in Q\)

$$p=(y,u):[-h,x_{1}]\times[0,x_{1}]\in\mathcal{R}^{n} \times\mathcal{R}^{m}, $$

and let

$$\vert p \vert = \vert y \vert + \vert u \vert , $$

where \(\|y\|=\sup\{|y(x)|\text{ for }x\in[-h,x_{1}]\}\) and \(\| u\|=\sup\{|u(x)|\text{ for }x\in[0,x_{1}]\}\).

Theorem 3.3

Let the continuous functionfsatisfy the condition

$$\lim_{ \vert p \vert \rightarrow\infty}\frac{ \vert f(x,p) \vert }{ \vert p \vert }=0 $$

uniformly in\(x\in J \), and suppose that linear system (3) is controllable, then nonlinear system (4) is also controllable onJ.

Proof

Let \(y\in\mathcal{R}^{m}\) and Q be the Banach space of all functions where y is continuous and u is an admissible control function, with norm defined by

$$\bigl\Vert (y,u) \bigr\Vert = \Vert y \Vert + \Vert u \Vert . $$

Define the operator

$$T:Q\rightarrow Q $$

by

$$T(y,u)=(z,\mu), $$

where

$$\begin{aligned} \mu(x) =& B^{T}\mathcal{E}^{A^{T}(x_{1}-h-x)^{\delta}}_{h,\delta} W^{-1}_{h,\delta}[0,x_{1}] \biggl[y_{1}- \chi(x_{1};\varphi) \\ &{} - \int^{x_{1}}_{0}\mathcal{E}^{A(x_{1}-h-x)^{\delta}}_{h,\delta}f \bigl(x,y(x-h),u(x) \bigr)\,dx \biggr] \end{aligned}$$
(13)

and

$$\begin{aligned} z(x) =& \chi(x;\varphi) + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}B \mu(\lambda)\,d\lambda \\ &{} + \int^{x}_{0}\mathcal {E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}f \bigl(\lambda,y(\lambda-h),u(\lambda ) \bigr)\,d\lambda \end{aligned}$$
(14)

for \(x\in J\), \(z(x)= \varphi(x)\), \(x \in[-h, 0]\). Let

$$\begin{aligned}& a_{1}=\sup_{ 0\leq\lambda\leq x \leq x_{1}} \bigl\Vert \mathcal {E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}B \bigr\Vert ,\qquad a_{2}= \bigl\Vert W^{-1}_{h,\delta }[0,x_{1}] \bigr\Vert , \\& a_{3}=\sup \bigl\Vert \chi(x;\varphi) \bigr\Vert + \Vert y_{1} \Vert ,\qquad a_{4}=\sup_{x,\lambda\in J} \bigl\Vert \mathcal{E}^{A(x-h-\lambda )^{\delta}}_{h,\delta} \bigr\Vert , \\& a=\operatorname{max}\{a_{1} x_{1}, 1\},\qquad c_{1} = 4 a a_{1} a_{2} a_{4} x_{1}, \\& c_{2}=4 a_{4} x_{1},\qquad c=\operatorname{max} \{c_{1},c_{2}\}, \\& d_{1}=4 a a_{1} a_{2} a_{3} ,\qquad d_{2}= 4 a_{3}, \qquad d=\operatorname{max} \{d_{1},d_{2} \}, \\& \sup \vert f \vert =\sup \bigl\vert f \bigl( \lambda,y(\lambda -h),u( \lambda) \bigr) \bigr\vert , \quad\text{where } \lambda \in J. \end{aligned}$$

Then

$$\begin{aligned} \bigl\vert \mu(x) \bigr\vert \leq& a_{1} a_{2} \Bigl[a_{3} + a_{4} x_{1} \sup _{\lambda\in J} \bigl\vert f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr\vert \Bigr] \\ \leq& \biggl[\frac{d_{1}}{4a} +\frac{c_{1}}{ 4a} \sup_{\lambda \in J} \bigl\vert f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr\vert \biggr] \\ \leq&\frac{1}{4} \Bigl[d+c \sup_{\lambda\in J} \bigl\vert f \bigl(\lambda ,y(\lambda-h),u(\lambda) \bigr) \bigr\vert \Bigr] \end{aligned}$$

for \(x\in J\) and

$$\begin{aligned} \bigl\vert z(x) \bigr\vert \leq& a_{3}+ a_{1} \Vert \mu \Vert x_{1} + a_{4} x_{1} \sup _{\lambda \in J} \bigl\vert f \bigl(\lambda,y(\lambda-h),u( \lambda) \bigr) \bigr\vert \\ \leq&\frac{d_{2}}{4} + a \Vert \mu \Vert +\frac{c_{2}}{4} \sup _{\lambda\in J} \bigl\vert f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr\vert \\ \leq&\frac{d}{4}+ \frac{r}{4}+\frac{c}{4} \sup _{\lambda \in J} \bigl\vert f \bigl(\lambda,y(\lambda-h),u( \lambda) \bigr) \bigr\vert . \end{aligned}$$

The function f satisfies the following conditions by the proposition in [39], f satisfies the following conditions: for each pair of positive constants c and d, there exists a positive constant r such that if \(|p|\leq r\), then

$$ c \bigl\vert f(x,p) \bigr\vert +d\leq r \quad \text{for all } x\in J. $$
(15)

For given c and d, if r is a constant, then the inequality in (15) is satisfied. Then any \(r_{1}\) such that \(r< r_{1}\) will also satisfy the inequality. Now, take c and d as given above, and let r be chosen so that the implication in (15) is satisfied. Therefore if

$$\Vert y \Vert \leq{r/2} $$

and

$$\Vert u \Vert \leq{r/2}, $$

then

$$\bigl\vert y(\lambda-h) \bigr\vert + \bigl\vert u(\lambda) \bigr\vert \leq r \quad \text{for all } \lambda\in J. $$

It follows that

$$d+c \sup \bigl\vert f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr\vert \leq r \quad\text{for } \lambda\in J. $$

Therefore, \(|\mu(x)|\leq{r/4a}\) for all \(x\in J\), and hence \(\|\mu\| \leq{r/4a}\). It follows that \(|z(x)|\leq r/4+r/4\) for all \(x\in J\), and hence that \(\|z\|\leq{r/2}\), thus we have proved that if

$$Q(r)= \bigl\{ (y,u)\in Q / \Vert y \Vert \leq{r/2}, \Vert u \Vert \leq{r/2} \bigr\} , $$

then p maps \(Q(r)\) onto itself. Our objective is to prove that T has a fixed point since f is continuous, it follows that T is continuous. Let \(Q'\) be a bounded subset of Q. Consider a sequence \(\{z_{i},\mu_{i}\}\) contained in \(T(Q')\), where we let

$$\{z_{i},\mu_{i}\}=T\{y_{i},u_{i}\} $$

for some \((y_{i},u_{i})\in Q'\) for \(i=1,2,3,\dots\). Since f is continuous, then

$$\bigl\vert f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr) \bigr\vert $$

is uniformly bounded for all \(\lambda\in J\) and all \(i=1,2,3,\dots\), it follows that \(\{z_{i},\mu_{i}\}\) is a bounded sequence in Q. Hence \(\{\mu _{i}(x)\}\) is an equicontinuous and uniformly bounded sequence on \([0,x_{1}]\). Since \(\{z_{i}(x)\}\) is a uniformly bounded and equicontinuous sequence on \([-h,x_{1}]\), a further application of Ascoli’s theorem yields a further subsequence of \(\{z_{i},\mu_{i}\}\), which converges in Q to some \((y_{0},u_{0})\). It follows that \(T(Q')\) is sequentially compact, hence the closure is sequentially compact. Thus T is completely continuous. Since \(Q(r)\) is closed, bounded, and convex, Schauder’s fixed point theorem implies that T has a fixed point \((y,u)\in Q(r)\). It follows that

$$\begin{aligned} y(x) =& \chi(x;\varphi) + \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda)^{\delta}}_{h,\delta}Bu( \lambda)\,d\lambda\\ &{}+ \int^{x}_{0}\mathcal{E}^{A(x-h-\lambda )^{\delta}}_{h,\delta}f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr)\,d\lambda \end{aligned}$$

for \(x\in J\), \(y(x)=\varphi(x)\) for \(x\in[-h,0]\). Hence \(y(x)\) is a solution of the system and

$$\begin{aligned} y(x_{1}) =&\chi(x;\varphi)+ \int^{x_{1}}_{0}\mathcal{E}^{A(x_{1}-h-\lambda )^{\delta}}_{h,\delta}BB^{T} \mathcal{E}^{A^{T}(x_{1}-h-\lambda)^{\delta}}_{h,\delta}\,d\lambda\ast W^{-1}_{h,\delta}[0,x_{1}]\bigl[y_{1}- \chi (x_{1};\varphi)\bigr] \\ &{}- \int^{x_{1}}_{0}\mathcal{E}^{A(x_{1}-h-\lambda)^{\delta}}_{h,\delta}f \bigl(\lambda,y(\lambda-h),u(\lambda) \bigr)\,d\lambda \\ &{}+ \int ^{x_{1}}_{0}\mathcal{E}^{A(x_{1}-h-\lambda)^{\delta}}_{h,\delta}f \bigl(\lambda ,y(\lambda-h),u(\lambda) \bigr)\,d\lambda\\ =&y_{1}. \end{aligned}$$

Hence system (4) is controllable. □

Example

In this section, we apply the conditions that we acquired in the previous section for controllability of a nonlinear fractional differential system with delay.

Example 1

Let \(\delta= 0.7\), \(h=0.3\), \(p = 3\), \(x_{1} = 1.2\), and \(n = 3\), consider the following nonlinear fractional delay controlled differential system’s controllability:

$$\begin{aligned} \left \{ \textstyle\begin{array}{l@{\quad}l} ^{c}D^{0.7}_{0^{+}}y(x)=Ay(x-0.3)+ B u(x)+f(x,y(x-h),u(x)), &y(x)\in \mathcal{R}^{2}, y\in J:=[0,1.2],\\ y(x)=\varphi(x), & -0.3\leq x \leq0, \end{array}\displaystyle \right . \end{aligned}$$
(16)

where

$$A=\left ( \textstyle\begin{array}{c@{\quad}c} 1 & 0 \\ 1 & 1 \end{array}\displaystyle \right ),\qquad B=\left ( \textstyle\begin{array}{c@{\quad}c} 0.6 & 0 \\ 0 & 0.6 \end{array}\displaystyle \right ),$$

and

$$f(x,p)=\left ( \textstyle\begin{array}{c} \frac{1}{1+y_{2}^{2}(x-h)+u^{2}(x)} \\ \frac{1}{1+y_{1}^{2}(x-h)+u^{2}(x)} \end{array}\displaystyle \right ).$$

Here

$$y(x)=\left ( \textstyle\begin{array}{c} {y_{1}(x)} \\ {y_{2}(x)} \end{array}\displaystyle \right ).$$

The following explicit form is used for the fractional delayed Gram matrix of (16) via (6) through elementary calculation:

$$\begin{aligned}& W_{0.3,0.7}[0,1.2] = \int^{1.2}_{0}\mathcal{E}^{A(1.2-0.3-\lambda )^{(0.7)}}_{0.3,0.7}BB^{T} \mathcal{E}^{A^{T}(1.2-0.3-\lambda )^{(0.7)}}_{0.3,0.7}\,d\lambda, \\& W_{0.3,0.7}[0,1.2] = \int^{1.2}_{0}\mathcal{E}^{A(1.2-0.3-\lambda )^{(0.7)}}_{0.3,0.7}B^{2} \mathcal{E}^{A^{T}(1.2-0.3-\lambda )^{(0.7)}}_{0.3,0.7}\,d\lambda, \\& W_{0.3,0.7}[0,1.2] = W_{1}+W_{2}+W_{3}+W_{4}, \\& W_{1}= \int^{0.3}_{0} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma (0.7)}+A \frac{(0.9-\lambda)^{0.4}}{\varGamma(1.4)}+A^{2}\frac {(0.6-\lambda)^{1.1}}{\varGamma(2.1)}+A^{3} \frac{(0.3-\lambda )^{1.8}}{\varGamma(2.8)} \biggr) \\& \phantom{W_{1}=}{}\times B^{2} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma(0.7)}+A^{T} \frac {(0.9-\lambda)^{0.4}}{\varGamma(1.4)} \\& \phantom{W_{1}=}{}+ \bigl(A^{T} \bigr)^{2} \frac{(0.6-\lambda )^{1.1}}{\varGamma(2.1)}+ \bigl(A^{T} \bigr)^{3}\frac{(0.3-\lambda)^{1.8}}{\varGamma (2.8)} \biggr)\,d\lambda, \\& W_{2}= \int^{0.6}_{0.3} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma (0.7)}+A \frac{(0.9-\lambda)^{0.4}}{\varGamma(1.4)}+A^{2}\frac {(0.6-\lambda)^{1.1}}{\varGamma(2.1)} \biggr) \\& \phantom{W_{2}=}{}\times B^{2} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma(0.7)}+A^{T} \frac {(0.9-\lambda)^{0.4}}{\varGamma(1.4)}+ \bigl(A^{T} \bigr)^{2}\frac{(0.6-\lambda )^{1.1}}{\varGamma(2.1)} \biggr)\,d\lambda, \\& W_{3}= \int^{0.9}_{0.6} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma (0.7)}+A \frac{(0.9-\lambda)^{0.4}}{\varGamma(1.4)} \biggr) \\& \phantom{W_{3}=}{}\times B^{2} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma(0.7)}+A^{T}\frac {(0.9-\lambda)^{0.4}}{\varGamma(1.4)} \biggr)\,d\lambda, \\& W_{4}= \int^{1.2}_{0.9}(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma(0.7)} B^{2} \biggl(I\frac{(1.2-\lambda)^{-0.3}}{\varGamma(0.7)} \biggr)\,d\lambda. \end{aligned}$$
(17)

By calculation, we get

$$\begin{aligned}& W_{1}=\left ( \textstyle\begin{array}{c@{\quad}c} 0.9042 & 0.4455 \\ 0.4455 & 0.5205 \end{array}\displaystyle \right ), \\& W_{2}=\left ( \textstyle\begin{array}{c@{\quad}c} 0.6964 & 0.2225 \\ 0.2225 & 0.5579 \end{array}\displaystyle \right ), \\& W_{3}=\left ( \textstyle\begin{array}{c@{\quad}c} 0.2678 & 0.0811 \\ 0.0811 & 0.2386 \end{array}\displaystyle \right ), \\& W_{4}=\left ( \textstyle\begin{array}{c@{\quad}c} 0.3299 & 0 \\ 0 & 0.3299 \end{array}\displaystyle \right ), \\& W_{0.3,0.7}[0,1.2] =\left ( \textstyle\begin{array}{c@{\quad}c} 2.1983 & 0.7491 \\ 0.7491 & 1.6469 \end{array}\displaystyle \right ). \end{aligned}$$

The Gramian matrix \(W_{0.3,0.7}[0,1.2]\) is nonsingular according to the results of the equation above. In addition, the nonlinear function \(f(x,p)\) satisfies the above results. In summary, fractional system (16) based on Theorem 3.3 is controllable on J.

Conclusion

This paper deals with the controllability of linear and nonlinear fractional differential delay systems. It should be noted that the solution representation has been established by using delayed Mittag-Leffler type matrix function. Controllability of a linear system is derived. Consequently, sufficient conditions for the nonlinear system are established by using Schauder’s fixed point theorem. To show the effectiveness of the theory, an example is provided.

References

  1. 1.

    Podlubny, I.: Fractional Differential Equations: An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications. Academic Press, San Diego (1998)

  2. 2.

    Kumar, D., Singh, J., Baleanu, D.: Analysis of regularized long-wave equation associated with a new fractional operator with Mittag-Leffler type kernel. Phys. A, Stat. Mech. Appl. 492, 155–167 (2018)

  3. 3.

    Kumar, D., Singh, J., Tanwar, K., Baleanu, D.: A new fractional exothermic reactions model having constant heat source in porous media with power, exponential and Mittag-Leffler laws. Int. J. Heat Mass Transf. 138, 1222–1227 (2019)

  4. 4.

    Singh, J., Kumar, D., Baleanu, D., Rathore, S.: An efficient numerical algorithm for the fractional Drinfeld–Sokolov–Wilson equation. Appl. Math. Comput. 335, 12–24 (2018)

  5. 5.

    Singh, J., Kumar, D., Baleanu, D.: New aspects of fractional Biswas–Milovic model with Mittag-Leffler law. Math. Model. Nat. Phenom. 14, Article ID 303 (2019)

  6. 6.

    Singh, J., Kumar, D., Baleanu, D., Rathore, S.: On the local fractional wave equation in fractal strings. Math. Methods Appl. Sci. 42, 1588–1595 (2019)

  7. 7.

    Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations (1993)

  8. 8.

    Kilbas, A.A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

  9. 9.

    Hale, J.: Theory of Functional Differential Equations. Springer, New York (1977)

  10. 10.

    Jajarmi, A., Ghanbari, B., Baleanu, D.: A new and efficient numerical method for the fractional modeling and optimal control of diabetes and tuberculosis co-existence. Chaos, Interdiscip. J. Nonlinear Sci. 29, Article ID 93111 (2019)

  11. 11.

    Jajarmi, A., Arshad, S., Baleanu, D.: A new fractional modelling and control strategy for the outbreak of dengue fever. Phys. A, Stat. Mech. Appl. 535, Article ID 122524 (2019)

  12. 12.

    Jajarmi, A., Baleanu, D., Sajjadi, S.S., Asad, J.H.: A new feature of the fractional Euler–Lagrange equations for a coupled oscillator using a nonsingular operator approach. Front. Phys. 7, Article ID 196 (2019)

  13. 13.

    Baleanu, D., Jajarmi, A., Sajjadi, S.S., Mozyrska, D.: A new fractional model and optimal control of a tumor-immune surveillance with non-singular derivative operator. Chaos, Interdiscip. J. Nonlinear Sci. 29, Article ID 83127 (2019)

  14. 14.

    Bellman, R.E., Cooke, K.L.: Differential-Difference Equations (1963)

  15. 15.

    Jajarmi, A., Hajipour, M.: An efficient recursive shooting method for the optimal control of time-varying systems with state time-delay. Appl. Math. Model. 40, 2756–2769 (2016)

  16. 16.

    Jajarmi, A., Pariz, N., Effati, S., Kamyad, A.V.: Infinite horizon optimal control for nonlinear interconnected large-scale dynamical systems with an application to optimal attitude control. Asian J. Control 14, 1239–1250 (2012)

  17. 17.

    Jajarmi, A., Pariz, N., Kamyad, A.V., Effati, S.: A novel modal series representation approach to solve a class of nonlinear optimal control problems. Int. J. Innov. Comput. Inf. Control 7(3), 1413–1425 (2011)

  18. 18.

    Sakthivel, R., Mahmudov, N.I., Nieto, J.J.: Controllability for a class of fractional-order neutral evolution control systems. Appl. Math. Comput. 218, 10334–10340 (2012)

  19. 19.

    Balachandran, K., Govindaraj, V., Rodríguez-Germá, L., Trujillo, J.J.: Controllability results for nonlinear fractional-order dynamical systems. J. Optim. Theory Appl. 156, 33–44 (2013)

  20. 20.

    Balachandran, K., Divya, S., Rodríguez-Germá, L., Trujillo, J.J.: Relative controllability of nonlinear neutral fractional integro-differential systems with distributed delays in control. Math. Methods Appl. Sci. 39, 214–224 (2016)

  21. 21.

    Balachandran, K.: Controllability of nonlinear fractional delay dynamical systems with multiple delays in control. In: Theory and Applications of Non-integer Order Systems, pp. 321–332. Springer, Berlin (2017)

  22. 22.

    Balachandran, K., Dauer, J.: Controllability of perturbed nonlinear delay systems. IEEE Trans. Autom. Control 32, 172–174 (1987)

  23. 23.

    Sakthivel, R., Ganesh, R., Anthoni, S.M.: Approximate controllability of fractional nonlinear differential inclusions. Appl. Math. Comput. 225, 708–717 (2013)

  24. 24.

    Sakthivel, R., Ganesh, R., Ren, Y., Anthoni, S.M.: Approximate controllability of nonlinear fractional dynamical systems. Commun. Nonlinear Sci. Numer. Simul. 18, 3498–3508 (2013)

  25. 25.

    Sathiyaraj, T., Balasubramaniam, P.: Controllability of nonlinear fractional neutral stochastic dynamical systems with Poisson jumps. In: Mathematical Analysis and Its Applications, pp. 429–438. Springer, Berlin (2015)

  26. 26.

    Muslim, M., George, R.K.: Trajectory controllability of the nonlinear systems governed by fractional differential equations. Differ. Equ. Dyn. Syst. 27, 529–537 (2019)

  27. 27.

    Nawaz, M., Wei, J., Sheng, J., Niazi, A.U.K., Yang, L.: On the controllability of nonlinear fractional system with control delay. Hacet. J. Math. Stat. 49, 294–302 (2020)

  28. 28.

    Rajagopal, J.N.: Relative controllability of nonlinear fractional delay dynamical systems with time varying delay in control. In: Theory and Applications of Non-integer Order Systems. Lect. Notes Electr. Eng., vol. 407, pp. 369–379. Springer, Berlin (2017)

  29. 29.

    Vadivoo, B.S., Ramachandran, R., Cao, J., Zhang, H., Li, X.: Controllability analysis of nonlinear neutral-type fractional-order differential systems with state delay and impulsive effects. Int. J. Control. Autom. Syst. 16, 659–669 (2018)

  30. 30.

    Li, X., Liu, Z., Li, J., Tisdell, C.: Existence and controllability for nonlinear fractional control systems with damping in Hilbert spaces. Acta Math. Sci. 39, 229–242 (2019)

  31. 31.

    Sivabalan, M., Sivasamy, R., Sathiyanathan, K.: Controllability results for nonlinear higher order fractional delay dynamical systems with control delay. J. Appl. Nonlinear Dyn. 8, 211–232 (2019)

  32. 32.

    Vadivoo, B.S., Raja, R., Seadawy, R.A., Rajchakit, G.: Nonlinear integro-differential equations with small unknown parameters: a controllability analysis problem. Math. Comput. Simul. 155, 15–26 (2019)

  33. 33.

    Kumar, P.S.: Relative controllability of nonlinear fractional damped delay systems with multiple delays in control. In: Mathematical Modelling, Optimization, Analytic and Numerical Solutions, pp. 367–378. Springer, Berlin (2020)

  34. 34.

    Yi, Y., Chen, D., Xie, Q.: Controllability of nonlinear fractional order integrodifferential system with input delay. Math. Methods Appl. Sci. 42, 3799–3817 (2019)

  35. 35.

    Li, M., Debbouche, A., Wang, J.: Relative controllability in fractional differential equations with pure delay. Math. Methods Appl. Sci. 41, 8906–8914 (2018)

  36. 36.

    Li, M., Wang, J.: Exploring delayed Mittag-Leffler type matrix functions to study finite time stability of fractional delay differential equations. Appl. Math. Comput. 324, 254–265 (2018)

  37. 37.

    Hale, J.K., Lunel, S.M.V.: Introduction to Functional Differential Equations. Springer, Berlin (2013)

  38. 38.

    Li, M., Wang, J.: Finite time stability of fractional delay differential equations. Appl. Math. Lett. 64, 170–176 (2017)

  39. 39.

    Dauer, J.P.: Nonlinear perturbations of quasi-linear control systems. J. Math. Anal. Appl. 54, 717–725 (1976)

Download references

Acknowledgements

The authors would like to thank the editor and the anonymous reviewers for their valuable comments and constructive suggestions.

Availability of data and materials

Not applicable.

Funding

This work was supported by the National Natural Science Foundation of China (110131013, 11471015).

Author information

Affiliations

Authors

Contributions

The authors contributed equally to the manuscript. All authors read and approved the final manuscript.

Corresponding authors

Correspondence to Musarrat Nawaz or Wei Jiang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

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

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Nawaz, M., Jiang, W. & Sheng, J. The controllability of nonlinear fractional differential system with pure delay. Adv Differ Equ 2020, 183 (2020). https://doi.org/10.1186/s13662-020-02599-9

Download citation

MSC

  • 34K05
  • 26A33

Keywords

  • Controllability
  • Delayed Mittag-Leffler type matrix
  • State delay
  • Caputo fractional derivative