Hybrid Differential Inclusion Involving Two Multi-Valuedoperators with Nonlocal Multi-Valued Integral Condition

: The present paper is devoted to the existence of solution for the Hybrid differential inclusions of the second type. Here, we present the inclusion problem with two multi-valued maps. In addition, it is considered with nonlocal integral boundary condition η ( 0 ) ∈ (cid:82) σ 0 ∆ ( s , η ( s )) ds , where ∆ is a multi-valued map. Relative compactness of the set (cid:82) σ 0 ∆ ( s , η ( s )) ds in L 2 (( 0, ε ) , R ) is used to justify the condensing condition for some created operators. Fixed point theorems connected with the weak compactness manner is utilized to explore the results throughout this paper.


Introduction
Among of a large amount contributions dedicated to study the existence and uniqueness of solution for Hybrid differential equations and inclusions with one multi-valued map, it is worth mentioning the works of Dhage [1,2], Dhage and Lakishmikantham [3] that focused on fixed point theorems to Hybrid operators and their applications. For such example, Ahmad et al. [4] explore the solvability for first and second type of Hybrid equations and inclusions with one multi-valued map.
In fractional analysis field, we focus on studying and improving the solvability of some fractional differential problems with various conditions. For instance, in [5], we studied the existence results to the (k, n − k) conjugate fractional differential inclusion type without continuity and compactness conditions which is not studied before. The guideline in this work is the monotonicity of multi-valued operators. In [6], the main results are devoted to three sides of generalization: the first is of antiperiodic, periodic, and almost periodic solutions. The second is the generalization of infinite countable system of fractional differential equation into inclusion type. The last one is the generalization of fractional differential operators with the Mittag-Leffler kernel. The authors in [7] were coming with a specific general formula of fractional differential equations and inclusions and they called this formula by equi-inclusion problem. Furthermore, it should be noted that Alzabut et al. [8] worked great to investigate the novel solvability techniques on the generalized ϕ-Caputo fractional inclusion boundary problem. It is also interesting to draw the attention to the work presented by Etemad et al. [9] on the fractional Caputo-Hadamard inclusion problem with sum boundary value conditions by using approximate endpoint property. Continuously, we consider the following Hybrid fractional differential inclusion associated with multi-valued maps Z and E. CF D α η(t) − Z t, η(t), ψ CF D ρ η (t) ⊆ E t, η(t), ψ CF D ρ η(t) (1) where ρ ∈ [0, α], CF D α denotes the Caputo-Fabrizio time-fractional derivative, ψ is a given integrable bounded real valued function. That is: For all R > 0 there exists a nondecreasing functionψ ∈ L 1 ((0, ε), R) such that (K * ) : |ψ(r)| ≤ψ( r ), ∀ r ∈ R, r ≤ R.
Recently, Kamenskii et al. [10] studied one kind of the fractional inclusions satisfying the nonlocal boundary condition x(0) ∈ ∆(x) provided that ∆ is a given multi-valued map. The idea here is to improve the boundary condition x(0) ∈ ∆(x) into the nonlocal integral boundary condition of the form η(0) ∈ σ 0 ∆(s, η(s))ds, where ∆ is a given multi-valued map. It means that the unknown function is probably starting from varied places.
The diversity of boundary conditions provides many ways to obtain different results. This fact draws the attention to investigate some results the hybrid fractional differential inclusion (1) under the nonlocal integral condition where M(α) denotes the normalization constant depending on α using to define the corresponding integral, 0 ≤ σ < ε and Θ(t, η(t)) is a multi-valued map. Admittedly, the integral boundary conditions have various applications in chemical engineering, thermoplasticity, underground water flow, and population dynamics. Mias [11] studied the finite difference parabolic equation methods which used nonlocal boundary conditions (specially integral conditions) to model radiowave propagation over electrically large domains. These methods require the computation of time consuming spatial convolution integrals. Erofeenko [12] justified some results on boundary value problems with integral boundary conditions for the modeling of magnetic fields in cylindrical film shells. Arara and Benchohra [13] have focused on the behavior of fuzzy solution for boundary value problem with integral boundary conditions. In fact, boundary value problems involving integral boundary conditions have received considerable attention in recent years.
As far as we know, fractional calculus and its theorems and applications have strong impacts, getting many different results in a lot of modeling, and they are able to make changes to them. A huge number of contributors have been paying attention to some applications for the fractional differentiations and integrations. For example, Salem et al. studied Langevin equations in different situations according to the diversity of conditions (see [14][15][16][17][18] ). In the inclusion field, there are some great literatures like the ones in [5][6][7][8][9]19].
For a long time, Krasonleskii Hybrid fixed point theorem and its extensions and generalizations play extremely roles to provide the sufficient conditions for the solvability to the mixed types of nonlinear differential and integral equations and inclusions (see [20][21][22][23] and the references therein).
It should be noted that Caputo-Fabrizio time-fractional derivative is mainly used to study the new fractional modeling with its amazing property (nonsingular kernels). It attracted the interest of the scientific society and numerous articles to skip analyzes of fractional derivatives with weakly singular memories of Riemann-Liouville and Caputo type [24]. In recent years, phenomena modelings have been dissipated by CF-derivative into the new ones that began after the seminal work of Caputo and Fabrizio [25]. On the other side, it is worth noting that the condensing and contraction conditions basically have a relationship with the measure of noncompactness sets. In our knowledge, non-compactness gives the concept of the lack of compactness for the given sets or multi-valued operators.
Here, we present some solvability results for one kind of hybrid inclusions subject to two multi-operators. These results are in case of satisfying nonlocal integral condition involving multi-valued map. The solution of the problem (1) and (2) is assumed in the Banach space L 2 [a, b] while Caputo-Fabrizio time-fractional derivative and integral are well-defined for the functions η(t) ∈ H 1 (a, b) (Hilbert space).
The reminder is organized to start first with a basic hypothesis presented in the next section. Then, the existence results are observed in the third section into two cases. Compactness case endowed with the variant of a fixed point theorem of O'Regan under slightly weaker condition is shown first. After that, we focus on noncompactness case via Leray-Schauder nonlinear alternatives type theorem. This theorem is associated with the multi-valued version of Krasnoselskii fixed point theorem and justified with the sum of two multi-valued operators in a Banach space. In section four, we explore some applications of adopted results. Finally, section five is formed as a conclusion of main illustrated facts in the present paper.

Basic Hypotheses
Ordinarily in this section, we present some basic acquaintances for the assumed Banach space, basics in fractional calculus, Multi-valued mapping and operators, condensing and contraction conditions, compactness and basics of the measure of noncompactness sets and some lemmas and fixed point theorems.

Setting of Banach Space
Here, we give some facts and properties of the Banach space that sculpt the area of solutions in case of existence. Let Then, we can get the following facts.

Definition 1 ([26]).
Given Ω to be an open subset of the real number set R, 1 ≤ p < ∞ and k and ρ are non-negative integers. Then, (a) The separable Banach space W k,p (Ω) is defined as follows where D ρ is the ordinary derivative of order ρ. (b) In particular, the Hilbert Banach space H 1 (Ω) is confirmed by W k,p (Ω) if we are taking k = 1, p = 2. Hence,

Fractional Calculus
Several scientific fields are actually affected by fractional calculus. Due to that, researchers have used this science as a generalization of ordinary calculus in order to get great results and applications (see for example [24,27] and the references therein). Of the utmost importance, we need to talk about some basic hypothesis from fractional calculus [4,28,29] that support our results.
Then, we have the inequality which explains that This means that the proof is completed.

Basics in Multi-Valued Maps
Some important precursors to the fractional differential inclusions formed by the multi-valued properties are brought in this subsection. These facts are confirmed in [32,33].
Let (E, . ) and (H, . ) be two Banach spaces. A multi-valued map A : E → P cl (E) is said to be a convex (closed) if for every e ∈ E, then A(e) is convex (closed). In addition, it is completely continuous if A(B) is relatively compact for every B ∈ P b (E).
The map A is said to be upper semi-continuous if for each closed subset Adopt A to be completely continuous function with nonempty compact values. Then, it is upper semi-continuous if and only if its graph is closed: The graph is said to be closed if ν n → ν * and y n → y * , then y n ∈ A(ν n ) implies that y * ∈ A(ν * ).
In addition of the assumptions (1) and (2), the map A is L 1 -Caratheodory if for each k > 0 there exists φ k ∈ L 1 [a, b] satisfying sup t≥0 |φ k (t)| < +∞ and φ k > 0 and non-decreasing map Ł for which:

Basics of Contraction and Condensing
Let Then, we define from [34,35] the measures of non-compactness sets χ and χ 2 in C[0, ε] and L 2 [0, ε], respectively, as follows: where Then , it is interesting to have the following facts: Definition 7 (Lipschitz Condition). Take (Σ, . ) as a normed space, and d be the metric map confirmed from the norm. Then, a multi-valued map Ψ : Σ → P cl (Σ) is adopted as: (2) a contraction if the first statement is held with γ < 1.

Lemma 3.
Suppose that A, B ⊂ P bd (Q) where Q is a real Banach space and β is the measure of noncompactness sets in Q. Then, the upcoming properties are all satisfied: where A and coA are the closure and convex sets, respectively, of A.

7.
If the map ∆ : 10. All equicontinuous and contraction maps are condensing maps.
11. Let p ∈ [1, ∞), Σ be a Banach space, Ω = (a, b) with a, b ∈ R n (a i < b i ) and F ⊂ L p (Ω, Σ). Then, F is relatively compact in L p (Ω, Σ) if and only if (i) for every rectangle C ⊂ Ω the set C f dx :

Presented Results
Two cases are particularized in the actual section. One of them is endowed with compact hypothesis and the non-compactness is the way to present the other case.

Compactness Case
The upshot proved here follows the techniques of Theorem 2. For the sake of that, we first need to define some needed concepts.
Let M : L 2 ([0, ε], R) → P(R) be the multi-operator defined for every η(t) ∈ L 2 ([0, ε], R) by the relation: where And define an open subset containing zero by: Then, the next theorem is embraced.

Theorem 4.
In the vision of assuming that Z, E and Θ are all L 1 −Caratheodory multi-maps subject to some conditions as come in after: (K 4 ) There exist positive constants λ * and K ε and map Λ ∈ L ∞ (Ω) such that Then, the problem (1) and (2) is attainable for solving if E is vanishing at t = 0. First, we prove that , η(s)) ds → 0 as t 1 → t 2 , which shows the equicontinuity. Now, for 0 ≤ z < ε, we have This inequality, boundedness and equicontinuity hypotheses altogether prove the relatively compact in L 2 ((0, ε), R). Now, we ready to prove Theorem 4.

Noncompactness Case
Under this case, the result is surveyed by assuming that the map is a contraction in measure. To apply Theorem 3, spilt the multi-operator M in (9) into two operators M 1 , M 2 : L 2 ([0, ε], R) → P(R) defined as where t 0 e(s)ds.

Proof. Let O be an open bounded subset defined by
which implies the convexity of M 1 since S Z,η , S E,η and S Θ,η are all convex. A2: M 1 is bounded.
Since µ n is convergent and ∆ 2 has a closed graph, then there exists Taking µ * (t) = ∆ 2 (e * )(t) makes that µ * (t) ∈ M 2 (η * ). Since M 2 is equicontinuous and has a closed graph then, it is formed as upper semi-continuous operator.
It remains to show that the inclusion η ∈ γ[M 1 η + M 2 η] has a solution with γ = 1. For that, conform the set O as in (11) with: = ε 1 2 λ * Λ( )K + 1 By (K 7 ), we have no element η ∈ ∂O satisfying the inclusion η ∈ γ[M 1 η + M 2 η] with γ ∈ (0, 1). Applying Theorem 3 together with the results in A and B on the set O , implies the existence of one or more solutions for the problems (1) and (2).

Particular Case: Implicit Case
Corollary 1 ( Compactness case). In case that ρ = α and ψ = I (identity map), the problem (1) becomes of implicit type. Hence, we have The problem (14) with (2) has at least one solution if Z, E and Θ are satisfying all hypothesis in Theorem 4.
Corollary 2 ( Noncompactness case). The problem (14) with (2) has at least one solution if Z, E and Θ are satisfying all hypothesis in Theorem 5.
With nonlocal integral condition, there is a huge number of contributions on implicit fractional differential boundary value problem. For such examples, Borisut et al. [38] explored the solvability of the implicit fractional problem: is the Caputo fractional derivative of order q, RL I p 0 + is the Riemann-Liouville fractional integral of order p and f is continuous function.
In fact, our work presents new extents for some kinds of hybrid operators that have solutions starting from one place into the ones having solutions starting from different places. The secret here is using the non-local integral condition endowed with multivalued map instead of singular-valued map. Note that, the implicit problems given by Corollaries 1 and 2 have solutions with multi-beginnings while all three implicit problems above have solutions with a unique beginning.

Applications
The interesting thing in the analogy is giving related examples of required facts.
Due to that, (K 1 ) hold with respect to Z, it is easy to see that λ * = m − 1, Λ = 11 3 .
All these facts with Theorem 5 are showing the solvability of the problem 15 with respect to (16), (17) and (19).

Conclusions
The non-singularity of CF-fractional derivative's kernel, the basic concepts of Hybrid fractional inclusion and the measure of noncompactness sets have strong effects on the investigated facts. The amazing thing is linking the fractional inclusions to nonlocalintegral condition involving multi-valued map. Applying the relatively compact theorem in L p ((0, ε), R), 1 ≤ p < ∞ gives direct answers for showing the condensing property of some needed operators. We always believe that every generalizations of theorems will make different and strong applications and extents into new fractional modeling.