Complete controllability of nonlinear fractional neutral functional differential equations

This paper is concerned with the complete controllability of a nonlinear fractional neutral functional differential equation. Some sufficient conditions are established for the complete controllability of the nonlinear fractional system. The conditions are established based on the fractional power of operators and the fixed-point theorem under the assumption that the associated linear system is completely controllable. Finally, an example is presented to illustrate our main result.


Introduction
In this paper, we assume that X is a Hilbert space with the norm | · |. Let r > 0 and C be the Banach space of all continuous functions from an interval [-r, 0] into X with the norm x = sup t∈ [-r,0] |x(t)|. The purpose of this paper is to study the complete controllability for the following nonlinear fractional neutral functional differential system where C D q t is the Caputo fractional derivative of order 0 < q < 1, the state variable x(·) takes values in the Hilbert space X, h : I × C → X is a given function, A : D(A) ⊂ X → X is the infinitesimal generator of an analytic semigroup {T(t)} t≥0 . B : U → X is a bounded linear operator, U is a Hilbert space, the control function u(·) ∈ L 2 (I, U) and f : I × C × U → X is a given function satisfying some assumptions. If x : [-r, T] → X is a continuous function, then x t is an element in C defined by x t (θ ) = x(t + θ ), θ ∈ [-r, 0] and φ ∈ C.
In mathematical control theory, the controllability is one of the important concepts that has been studied by many authors (see [1][2][3][4][5][6][7] and the references therein). By means of semigroup theory and the fixed-point approach, various types of controllability problems have been investigated, for instance, approximate controllability [8][9][10][11][12][13][14][15] and complete controllability [16][17][18][19][20][21][22][23][24][25]. There are several papers devoted to the approximate or complete control-lability for fractional differential systems, when the nonlinear term is independent of the control function. Wang and Zhou [22] studied the complete controllability of fractional evolution systems in infinite-dimensional spaces by using fractional calculus, the properties of characteristic solution operators and fixed-point theorems. Meanwhile, Sakthivel et al. [23] established a new set of sufficient conditions for the complete controllability of a fractional nonlinear neutral functional differential equation. Du and Jiang [24] investigated the approximate controllability of impulsive Hilfer fractional differential inclusions.
In [25,26], the approximate controllability of first-order delay control systems has been proved when the nonlinear term is a function of both the state function and the control function by assuming that the corresponding linear system is approximately controllable. As far as we know, the fractional functional differential systems have been proved to be abstract formulations in many problems arising in engineering, physics, automatic control, etc. The delay differential equations had shown their efficiency in the study of the behavior of real populations. Thus, the study of controllability for such systems is important for many applications. In 2011, Sukavanam [27] investigated the approximate controllability of the following fractional-order semilinear delay system in which the nonlinear term is a function of both the state function and the control function.
⎧ Motivated by the above work, we consider the functional differential equations in which the delay terms also occur in the derivative of the unknown solution. That is, we study the complete controllability of the nonlinear fractional neutral functional differential system (1) when the nonlinear term is a function of both the state function and the control function.
In the past decades, with the development of theories of fractional differential equations, there has been a great deal of interest in the study of solutions of fractional differential systems; see Byszewski [28], Podlubny [29], Kilbas et al. [30] and Lakshmikantham et al. [31]. Moreover, there are different types of mild solutions that have been investigated; see Byszewski and Lakshmikantham [32], Pazy [33], Zhou and Jiao [34,35] and Wang and Zhou [36,37]. In particular, Zhou and Jiao [34] obtained the existence and uniqueness of mild solutions for fractional neutral evolution equations by using the fractional power of operators and some fixed-point theorems. In addition, Wang and Zhou [36] introduced a new mild solution for semilinear fractional evolution equations and the existence and uniqueness of α-mild solutions are proved.
In order to derive the complete controllability of the nonlinear fractional neutral functional differential system (1), in this paper, we first give the concept of mild solutions of the system (1) in the light of [34,36]. Then, we establish sufficient conditions for the complete controllability of the nonlinear fractional neutral functional differential system (1) in which the nonlinear term depends on the control function. To obtain the complete controllability of the system (1), we impose some necessary hypotheses on A, B, h, f and the assumption that the corresponding linear system of the system (1) is completely controllable.
The rest of our paper is organized as follows. Section 2 is devoted to some necessary preliminaries. In Sect. 3, the complete controllability for the system (1) is given. Finally, an example is presented to demonstrate our complete controllability result.

Preliminaries
In this section, we introduce some notations, definitions and lemmas that will be used throughout the paper.
The fractional integral of order α with the lower limit 0 for a function f is defined as provided the right-hand side is pointwise defined on [0, ∞), where is the gamma function.

Definition 2.2 ([29])
The Caputo derivative of order α with the lower limit 0 for a function f can be written as Remark 2.1 If f is an abstract function with values in X, then integrals that appear in Definitions 2.1 and 2.2 are taken in Bochner's sense. Throughout this paper, we assume that A is the infinitesimal generator of an analytic semigroup {T(t)} t≥0 of bounded operators on X. Let 0 ∈ ρ(A), where ρ(A) is the resolvent set of A, then for η ∈ (0, 1], we define the fractional power A η as a closed linear operator on its domain D(A η ). Moreover, T(t) and A η have the following basic properties.
(i) There is a M ≥ 1 such that (ii) For any η ∈ (0, 1], there exists a constant c η > 0 such that For more details, see [33].

Lemma 2.1 ([33]) There exists a constant C such that
where By comparison with the fractional differential equation given in [34], we give the following definition of the mild solution of the system (1). (1)

Definition 2.3 A function x ∈ C([-r, T]; X) is called a mild solution of the system
In addition, φ q (θ ) is the probability density function defined as

Lemma 2.2 ([4, 34])
The operators S q (t) and T q (t) have the following properties: (i) For any t ≥ 0, the operators S q (t) and T q (t) are linear and bounded operators, that is, for any x ∈ X, (ii) {S q (t)} t≥0 and {T q (t)} t≥0 are strongly continuous.

Lemma 2.3 ([34])
For any x ∈ E, E is a Banach space, β ∈ (0, 1) and η ∈ (0, 1], we have and Consider the following linear fractional differential system and it is convenient to introduce the controllability operator associated with (11) as where B * , T * q (t) denote the adjoints of B and T q (t), respectively.
By [23,38], the definition of complete controllability for the linear fractional differential system (11) is as follows.

Complete controllability
We present our main results of the paper in this section. We need the definition of complete controllability of the system (1).

Definition 3.1 The system (1) is said to be completely controllable on the interval
To prove the main results, we impose the following hypotheses: (P 1 ) The function h : [0, T] × C → X is continuous and there exists a constant β ∈ (0, 1) and L, L 1
Define an operator on C(I, C) × C(I, U) as with the norm (x, u) It will be shown that the system (1) is completely controllable on I if the operator has a fixed point in C(I, C) × C(I, U). Theorem 3.1 Assume that the hypotheses (P 1 )-(P 4 ) are satisfied. Then, the problem (1) has a unique mild solution in C([-r, T]; X) provided that According to Lemma 2.2(i) and the hypothesis (P 2 ), we have By using (17) and (18), Lemmas 2.1 and 2.4, and hypothesis (P 3 ), it can be shown that there exist two constants C 1 , C 2 > 0 such that and where β ∈ (0, 1). It follows from (15), (19) and (20) that there exists a constant C 3 such that which means that maps C(I, C) × C(I, U) into itself. We next prove that the operator is a contraction mapping on C(I, C) × C(I, U). For any (x, u), (y, w) ∈ C(I, C) × C(I, U), it holds that By hypotheses (P 1 )-(P 4 ), Lemma 2.2(i), and (17) and (18), we have where d = M B Mq γ (1+q) . The condition (P 1 ) implies Based on Lemma 2.2(i) and (23), one can obtain Similar to the discussion of I 1 , we obtain Then, (22)- (26) imply In view of (16), we obtain that is a contraction. Consequently, has a fixed point in C(I, C) × C(I, U) by the Banach fixed-point theorem, which is a mild solution of the system (1). This completes the proof. Proof Let (x(·),ū) be a fixed point of the operator in (13), that is x 0 (θ ) = φ(θ ), -r ≤ θ ≤ 0 (29) and the control function According to Theorem 3.1, any fixed point of is a mild solution of the system (1). Then, by (12), (29) and (30), we havē Thus, the system (1) is approximately controllable on I by Definition 3.1. The proof is completed.

Example
As an application of our complete controllability result, we consider the following fractional partial differential equation where ∂ q t is the Caputo fractional partial derivative of order 0 < q < 1, g, f are given continuous functions, μ : I × [0, π] → [0, π] is continuous in t, x t (θ , z) = x(t + θ , z) and φ(θ , z) is continuous.