Study of a class of fractional-order evolution hybrid differential equations using a modiﬁed Mittag-Lefﬂer-type derivative

This work is devoted to using topological degree theory to establish a mathematical analysis for a class of fractional-order evolution hybrid diﬀerential equations using a modiﬁed Mittag–Leﬄer-type derivative. In addition, two kinds of Ulam–Hyers (U–H) stability results are deduced for the mentioned problem. A pertinent example is given to verify the results.


Introduction
Fractional calculus (FC) has attracted much attention for many years.It is well known that FC and fractional differential equations (FDEs) have found useful applications in a wide range of disciplines, including physics and engineering [1,2].FC can be applied to represent many engineering, physical, and biological problems with better outcomes than those obtained with conventional calculus.Compared to traditional differential equations, the solutions of FDEs and integral equations are more efficient to describe a real-world process (see examples [3,4]).Numerous papers have been published based on the existence and uniqueness of solutions to FDEs (we refer to [5]).
It is remarkable that there are many definitions that have been introduced by researchers in the literature of FC.On the basis of kernels, the aforementioned area contains two major kinds of operators for derivatives including singular and nonsingular, although all fractional differential operators are nonlocal and have a greeter degree of freedom.Nonsingular operators are those that contain power-law-type kernels.On the other hand, those containing exponential and Mittag-Leffler (M-L)-type kernels are called nonsingular operators.In this regard, we refer to some books where the details can be traced, e.g., [6][7][8].The differential operators with M-L kernels were introduced in 2016 by Atangana and Baleanu [9].The aforementioned operators attracted great attention and therefore were used in many research studies.One of the shortcomings of the mentioned operators was noted that the said operators suffer from an initilization condition and therefore an extra restriction needs to be implemented on the problem.Therefore, Al-Refai and coauthor [10] extended the said operators and the shortcoming was removed in 2022.Recently, the said operators in the modified form have been used in various articles.We refer to a few articles here [11][12][13][14].
The qualitative theory of the aforementioned area is an important field of research.Researchers have used classical fixed-point theory to investigate various problems of FC from different aspects including the existence of solutions, stability, and numerical analysis.Here, we remark that in the case of classical differential equations, researchers have used various degree theories also.Using the classical fixed-point theory, or Leray degree theory, we need a strong compact condition that restricts the usability of such analysis tools.Therefore, Leray created an example in 1936 to demonstrate that a degree theory for mappings cannot be defined using merely a continuity condition.Thus, it makes sense to ask: for what kinds of mappings in infinite-dimensional spaces is it possible to develop a degree theory?It has been demonstrated by Browder, Nussbaum, Sadovski, Vath, and others that a comprehensive counterpart of the Leray-Schauder theory may be defined for condensing-type mappings (see details in [15]).Hence, Mawhin [16] has successfully used the coincidence degree tools for analysis of some problems.For more details, we refer to [17].The aforementioned degree theory is a powerful tool to use for investigating various problems for existence theory.The said theory has been increasingly used in the last several years.Here, some useful results are cited [18,19]).The aforementioned degree theory was used to study a class of nonlinear integral problem by Isia [20].
Inspired from the importance of the mentioned degree theory, we investigate the following class of fractional-order evolution control systems using the controllability criteria with t ∈ J = [0, T] as where A is the infinite small generator of an analytical semigroup of bounded linear operators on the Hilbert space say H , x is the control variable function on L 2 [J, H ], while B is also a linear bounded operator from H to H .In addition, We develop the existence theory by using the degree theory of the measure of noncompactness for the considered problem.In addition, U-H and generalized U-H stability results are also deduced for the aforementioned problem.The aforesaid stability analysis has been studied for various problems of fractional calculus recently [21,22].Finally, some sophisticated examples are discussed to demonstrate our results.

Definition 2.4
If Z = C(J) is the Banach space with norm u = max t∈[0,T] |u(t)|, and b ⊂ P(Z) is the family of all its bounded sets, then the measure of noncompactness due to Kuratowski is given by μ(S) = inf r > 0, S admits a finite cover by sets such δ(S) ≤ r , where δ(S) is a denoted diameter of S, and μ : b → R + .For further properties of the aforesaid measure, see [20].
Definition 2.5 Let F : ⊂ Z → Z, be a continuous and bounded operator, then it is said to be Lipschitz with a constant λ > 0 if Moreover, if λ < 1, then the said operator is called a strict contraction.

Proposition 2.7 If
Theorem 2.8 [20] If F : Z → Z is a μ-condensing operator and Therefore, F has a minimum of one fixed point, and the location of the fixed-point set is B r (0).

Main results
This section is devoted to define some results we need in the main contribution.
Here, we define the operators denoted as P, Q : Z → Z, by and Lemma 3.2 Under the assumption (A 1 -A 3 ), the operator P is μ-Lipschitz, which fulfills the given condition Proof Let us take u, û ∈ Z, then consider from ( 4) where ).Hence, the operator P is μ-Lipschitz.Furthermore, we can easily obtain the growth condition as follows: Lemma 3. 3 The operator Q : Z → Z is ongoing and satisfies the following growth requirements: Proof Let us define a bounded set = {u ∈ Z : u ≤ r} and take a sequence {u n } in , such that u n → u, as n → ∞.As we know that A, B, ψ are continuous mappings, one has Using A 1 , we have and We see that both sides of (11), and ( 12) are integrable on using the Lebesgue dominated convergent theorem, hence we have In addition, in the same way, we can also show that Thus, from ( 13) and ( 14), we conclude the continuity of Q.For the growth relation, we have by using (A 2 , A 3 )

Lemma 3.4
The operator Q is compact, and hence completely continuous.
Proof Corresponding to Lemma 3.3, the operator Q is bounded and continuous.For equicontinuity, let t p > t q in J, and consider by using We see that at t q → t p , the relation given by ∇((σ ) tends to zero.Hence, Qu n (t p ) -Qu n (t q ) → 0, as t q → t p .Moreover, on using the boundedness and continuity of Q, we have Thus, Q is uniform continuous, which yields that it is relatively compact and hence completely continuous.Therefore, Q is μ-Lipschitz with constant zero, in view of Proposition 2.7.

Theorem 3.5 The problem (1) has a bounded set of solutions, with at least one solution.
Proof According to Lemma 3.2, the operator P is μ-Lipschitz with constant K and bounded.Also, the operator Q is μ-Lipschitz and bounded.Hence, using Proposition 2.6, P + Q is μ-Lipschitz with constant K .We describe a set of solutions for (1) as Let the set D be not bounded and consider dividing ( 15) by u both sides, we have which is impossible.Hence, set D is bounded.Therefore, P + Q has at least one solution.
Theorem 3.6 Using the assumption (A 1 , A 3 ), the problem (1) has a unique solution if Proof Let us define an operator L : Z → Z by Taking u, û ∈ Z, and consider On applying (A 1 , A 3 ), (18) yields Thus, (1) has a unique solution.

Stability analysis
Here, we deduce some results for stability theory.The stability definition given by Ulam and Hyers has attracted much attention in the last several decades.The mentioned stability is easy to implement and simple to investigate for various problems.According to Ulam near to every function there is a best approximate function.The concept was pointed out during a seminar by Ulam in 1940 and later the stability was explained by Hyers [21,22].
For any ε > 0, if the inequality satisfies then we say that ( 21) is U-H stable if ∃ a constant C f > 0, and a unique solution û ∈ Z, In addition, if ∃ is a nondecreasing mapping χ : (0, T) → R, such that χ(0) = 0, then we say that ( 21) is generalized U-H stable if Remark 4.2 Let, for a mapping ξ independent of u, such that for any ε > 0: • The problem ( 1) is considered as follows: The solution of ( 23) is given as follows: In view of Theorem 3.6, we may write (24) as follows in terms of the operator Lemma 4.3 From the solution (25) in view of Remark 4.2 (i), we have Proof Consider the solution ( 25) Since ξ (0)(1 + μ θ t θ (θ+1) ) > 0, therefore, from (26), we have Theorem 4. 4 The solution of (1) is U-H stable and generalized U-H stable if ϒ θ,μ θ < 1.
Proof Consider any solution u of (1), and let û be the unique result, then we take Using Lemma 4.3, and Theorem 3.6, we obtain and after simplification, we obtain Hence, the solution is U-H stable.Further, if we have a nondecreasing mapping χ : (0, T) → R defined by χ(ε) = ε, such that χ(0) = 0, then from (28), one has Therefore, the solution is generalized U-H stable.
For instance, if we put θ = 0.5, we have ϒ θ,μ θ = 0.12345 < 1.Hence, the given example has a unique solution.Moreover, according to Theorem 4.4, the solution is also U-H stable and consequently generalized U-H stable.

Conclusion
In this paper, we have investigated a class of evolution problem with modified ABC fractional-order derivative.We have determined adequate conditions for the existence of at least one solution and its uniqueness using topological degree theory.In addition, the stability results were derived by using the U-H criteria.We concluded that • A modified type ABC derivative of fractional order has the capability to remove the shortcoming of a normal ABC derivative called the initialization condition.• The ABC derivative of fractional order of a constant function is zero in the Caputo sense.• No extra assumptions were needed to be imposed on the function by using the aforesaid operator.• Topological degree theory relaxes the strong compact condition by a weaker one.
• Classical fixed-point theorems like Schauder and Brouwer's fixed-point theorems need strong compact condition for operator to have at least one fixed point.However, in the case of topological degree theory, we need a part of the operator to be compact.
From the above outcomes, we concluded that topological degree theory can be applied to study various nonlinear problems, in particular impulsive fractional-order problems under a modified ABC derivative in the near future.