New Study of the Existence and Dimension of the Set of Solutions for Nonlocal Impulsive Differential Inclusions with a Sectorial Operator

In this article, we are interested in a new generic class of nonlocal fractional impulsive differential inclusions with linear sectorial operator and Lipschitz multivalued function in the setting of finite dimensional Banach spaces. By modifying the definition of PC-mild solutions initiated by Shu, we succeeded to determine new conditions that sufficiently guarantee the existence of the solutions. The results are obtained by combining techniques of fractional calculus and the fixed point theorem for contraction maps. We also characterize the topological structure of the set of solutions. Finally, we provide a demonstration to address the applicability of our theoretical results.


Introduction
Fractional calculus deals with integrations and derivatives in case of a non-integer order, which is a generalized shape of classical integrals and derivatives. The significance of fractional calculus is due to its numerous applications in many significant scientific fields such as physics, control theory, fluid dynamics, image processing, computer networking, sign processing, biology and others. During the previous couple of decades, fractional calculus has been substantially studied and there are many researchers who have demonstrated a deep interest in it [1][2][3][4][5][6][7][8].
On the other hand, there are numerous examples in biotechnology, physics, population dynamics and processes economics which are characterized by the reality that the model parameters are subjected to short-time period perturbations. For instance, in treating some diseases, impulses can correspond to the management of drug treatment; in environmental sciences, impulses can correspond to seasonal modifications or harvesting; in economics, impulses can additionally correspond with sudden prices adjustments. Adequate tools to remedy such techniques and phenomena are impulsive differential equations and inclusions. The first ones had been extensively researched in finite and Banach spaces; see, for instance, the studies [9][10][11][12][13]. Recently, the existence of mild solutions for the impulsive differential equations and inclusions in Banach spaces have been examined through many researchers, we refer the reader to [14][15][16][17][18][19][20][21][22][23][24].
In this paper, we are interested in the existence of mild solutions to the following nonlocal impulsive fractional differential inclusions of the type where c D α , 0 < α < 1, is the Caputo derivative, A is sectorial operator on R n , F : J × R n → P(R n ) is a multifunction, 0 = t 0 < t 1 < · · · < t m < t m+1 = b, I i : R n → R n , 1 ≤ i ≤ m, are impulsive functions, It is worth mentioning that the topic of evolution inclusions and equations involving sectorial or almost sectorial terms has been extensively examined (see [25][26][27][28][29][30][31][32][33]). Shu et al. [29] gave a new and different concept of mild solutions for the following equation: where f is a completely continuous single function and A is a sectorial operator with the operators families {S α (t) : t ≥ 0} and {T α : t ≥ 0} are compact.
Agarwal et al. [25] used the definition of mild solution given by Shu in [29] to prove an existence result for the inclusion: where the linear part is fractional sectorial. They also studied the dimension of the set of mild solutions. Shu et al. [30] proved that the solutions obtained in [29] are not correct and presented the right form of the solutions for (2) when 0 < α < 1 and 1 < α < 2.
Motivated by the above-mentioned results, we propose to study the problem (1); we first introduce the modified form of solutions for (1) based on the definition given by Shu [30]. Second, we use our formula to extend the results obtained in [25] to nonlocal fractional inclusions associated with impulses effect. Moreover, we study the topological structure of the set of solutions.

Preliminaries
In this part, we present some primary concepts, definitions and initial facts which are useful for the development of this article.
is the Banach space of all linear operators bounded on R n . Let (E, d) be a metric space, we denote: where d(x, Y) = inf y∈Y d(x, y) and d(y, X) = inf x∈X d(x, y). H d is the Pompeiu Hausdorff functional. It is well known that(P cl,b (E), H d ) is a metric space and (P cl (E), H d ) is a generalized metric space. For more details see [34].
The space PC(J, R n ) is a Banach space with the norm Now, let us recall some important definitions and lemmas on multivalued functions and fractional calculus. [36]).
Let X and Y be two topological spaces. A multifunction F : X → P(Y) is said to be : Continuous if it is both (u.s.c) and (l.s.c).

4.
Completely continuous if F(V) is relatively compact for every bounded subset V of X.

Definition 2.
Let F : X → P(Y). A multifunction F is said to has a fixed point x, if x ∈ F(x), x ∈ X. The fixed points set of F is denoted by Fix(F).
The set { f n (t) : n ∈ N} is relatively compact in E a.e. t ∈ J.
Then F is continuous with respect to Hausdorff metric.
is measurable for all x ∈ R n , then F is measurable.

Lemma 4. ([37]
). Let B be a nonempty, convex and closed subset of a Banach space X. Suppose that Q : Lemma 5. (Saint Raymond [38]). Let X be a Banach space, Y a compact metric space with dim Y < n and Q : Y → P ck (X) a lower semi-continuous map with 0 ∈ Q(x) and dim Q(x) ≥ n for every x ∈ Y. Then, there exists a continuous selection g of Q such that g(x) = 0 for each x ∈ Y. Lemma 6. (Michael's selection Theorem, [39]). Let X be a Banach space, Y a metric space and Q : Y → P c,cl (X) a lower semi-continuous map. Then, there exists a continuous selection f : Y → X of Q.

Definition 6. ([4]
). The Riemann-Liouville fractional integral of order α > 0 of a continuous function f is defined by provided that the right-hand side is point-wise defined on [0, ∞).
Definition 8. Let A : D(A) ⊂ R n → R n be a linear closed operator. A is said to be sectorial of type (M, θ, ω) if ∃ ω ∈ R, θ ∈ (0, π 2 ) and M > 0 such that the resolvent of A exists outside the sector For more information about the sectorial operator we refer the reader to [29]. [40]). Let (E, d) be a complete metric space. If Q :

Main Results
If f satisfies the uniform Hölder condition with exponent δ ∈ (0, 1] and A is sectorial operator of type (M, θ, ω), then (P 1 ) has unique solution x(t) ∈ PC(J, R n ) defined as: Proof. In order to show that x(t) is a solution of (P 1 ), we consider the following two cases: By taking Caputo derivative to both sides of (5) and making use of Lemma 7, we get when t = 0 , we have Furthermore, This shows that (4) is solution for (P 1 ).
Now, we will give the definition of a mild solution for (1).
We will show our result for (1) by using the following conditions: a. e. t ∈ J and x ∈ R n . H 4 : g : PC(J, R n ) → R n is continuous and there exists a constant N > 0 with H 5 : For every i = 1, · · · , m, I i : R n → R n is continuous and there exists a constant

Theorem 2.
Suppose that H 1 -H 5 hold. Then the problem (1) has a solution on J provided that where ζ = ∑ m i=1 ζ i .

Proof.
For every x ∈ PC(J, R n ), let x(t)) f or a. e. t ∈ J}.
By using H 2 , H 3 and Theorem III.6 in [41], we get F(t, x(t)) is measurable. Moreover, F(t, x(t)) has measurable selection f (t) and from the condition It is simple to prove that any fixed point for Q is mild solution for (1). So, we will prove that Q satisfies the assumptions of Theorem 1. As the first step, we prove that Q(x) is closed for every x ∈ PC(J, R n ). Let {w n } n≥1 be a sequence in Q(x) such that w n → w in PC(J, R n ). Our goal is to show that w ∈ Q(x).
By (H 3 ) we have for every n ≥ 1 and a.e. t ∈ J, f n (t) ≤ ϑ(t). So, { f n : n ≥ 1} is integrable bounded. Moreover, because { f n (t) : n ≥ 1} ⊂ F(t, x(t)), for a.e. t ∈ J , the set { f n (t) : n ≥ 1} is relatively compact in R n for a.e. t ∈ J. Therefore, the set { f n : n ≥ 1} semicompact. By Lemma 1, it is weakly compact in L 1 (J, R n ). We may assume that ( f n ) n≥1 converges weakly to f ∈ L 1 (J, R n ). By Mazur's Lemma there exists a sequence {V n } ∞ n=1 ⊆ conv{ f n : n ≥ 1} such that V n converges strongly to f . Since F has convex and compact values, the set S 1 F(·,x(·)) is convex and compact. Therefore, {V n } ∞ n=1 ⊆ S 1 F(·,x(·)) and f ∈ S 1 F(·,x(·)) . Also, by using Lemma 8, we obtain ∀ n ≥ 1 Taking the limit as n → ∞ on each sides (8), we get from the Lebesgue dominated convergence Theorem From H 3 (a), we get Then, ∃ µ ∈ F(t, x 2 (t)) with Now, consider the map Λ : J → 2 R n defined as Since f 1 , ϑ, x 1 , x 2 are measurable, then by using proposition 3.4 in [41], Λ(t) ∩ F(t, x 2 (t)) is measurable. Moreover, its values are nonempty and compact. So, from Theorem 1.3.1 in [42], there exists f 2 ∈ F(t, x 2 (t)) with Let us define Obviously, z 2 ∈ Q(x 2 ) and if t ∈ J 0 we have Similarly, when t ∈ J i , i = 1, · · · , m, we have Consequently, (6) we have η < 1. Hence, Q is ηcontraction. Applying Theorem 1, Q has a fixed point which is a mild solution for (1).
In the next Theorem, we will show that Q has convex and compact values.
Theorem 3. Let Q be the multivalued map which defined in (7). Then, under the assumptions H 1 -H 5 of Theorem 2, the set Q(x) is convex and compact ∀ x ∈ PC(J, R n ).
Proof. From Theorem 2, we know that Q(x) = ∅ for each x ∈ PC(J, R n ).
Next, we show that Q maps bounded sets into equicontinuous sets in PC(J, R n ). Let B = Q(G r ). We need to show that B J i is equicontinuous for every i = 0, 1, · · · , m, where Let y ∈ B. Then there exists x ∈ G r with y ∈ Q(x). Form the definition of Q, there is f ∈ S 1 F(.,x(.)) with We consider the following cases: independently of x ∈ G r . For Q 2 , from the definition of S α (t) and Lebesgue dominated convergence Theorem we get Case 2. When t ∈ J i , i ∈ {1, 2, · · · , m}. Let t, t + τ ∈ J i , from (7) we have Arguing as in the first case, we obtain lim τ→0 Case 3. When t = t i , i = 1, 2, · · · , m. Let τ > 0 and δ > 0 such that t i + τ ∈ J i and t i < δ < t i + τ ≤ t i+1 , then we have From (7), we obtain Arguing as in the first case, we get From (9)-(11), we conclude that B J i is equicontinuous in PC(J, R n ) for each i = 0, 1, · · · , m. From Azelà-Ascoli Theorem, Q is completely continuous. Moreover, from Theorem 2 we have Q(x) is closed. So, Q(x) is compact for all x ∈ PC(J, R n ).
By using Lemma 6, F admits a continuous selection f : R n → R n . Consequently, f is a continuous selection of Q such that Fix( f ) = ∅ and v = f on Fix(Q), this contradicts Lemma 4. Therefore, Fix(Q) = E x 0 ([0, γ]) is infinite dimensional.

Example
Consider the following fractional impulsive differential inclusion as an application of our results.

Conclusions
Nonlocal fractional impulsive differential inclusions involving a sectorial term are considered. The existence conditions are established under the situation when the multivalued function is Lipschitz. Further, we investigated the topological properties of the set of solutions. Our obtained results enhance and generalize many results that have been proven in recent papers.