Darbo’s Fixed-Point Theorem: Establishing Existence and Uniqueness Results for Hybrid Caputo–Hadamard Fractional Sequential Differential Equations

: This work explores the existence and uniqueness criteria for the solution of hybrid Caputo– Hadamard fractional sequential differential equations (HCHFSDEs) by employing Darbo’s fixed-point theorem. Fractional differential equations play a pivotal role in modeling complex phenomena in various areas of science and engineering. The hybrid approach considered in this work combines the advantages of both the Caputo and Hadamard fractional derivatives, leading to a more comprehensive and versatile model for describing sequential processes. To address the problem of the existence and uniqueness of solutions for such hybrid fractional sequential differential equations, we turn to Darbo’s fixed-point theorem, a powerful mathematical tool that establishes the existence of fixed points for certain types of mappings. By appropriately transforming the differential equation into an equivalent fixed-point formulation, we can exploit the properties of Darbo’s theorem to analyze the solutions’ existence and uniqueness. The outcomes of this research expand the understanding of HCHFSDEs and contribute to the growing body of knowledge in fractional calculus and fixed-point theory. These findings are expected to have significant implications in various scientific and engineering applications, where sequential processes are prevalent, such as in physics, biology, finance, and control theory.


Introduction
Fractional calculus is a significant branch of mathematics that is an extension of classical calculus, which involves the differentiation and the integration of a non-integer order.Fractional differential models have several applications in science and engineering.Meral et al. [1] delved into the application of fractional calculus in viscoelastic materials.Oldham [2] explored the utility of fractional differential equations in the domain of electrochemistry.The study investigated the dynamic behavior of electrochemical systems using fractional calculus, providing insights into complex processes, such as charge transfer and electrode kinetics.Balachandran et al. [3] focused on the controllability aspects of linear fractional dynamical systems.The work contributed to understand the manipulability of systems governed by fractional differential equations, which is crucial in control theory and engineering applications.Hadamard [4] presented an essay on functions represented by their Taylor series expansion.The fundamental work provided insights into analytical techniques that may be applicable in the analysis of functions involved in fractional differential equations.Ahmad and Nieto [5] explored analytical techniques to solve sequential fractional differential equations with various boundary conditions extending the applicability of fractional calculus to sequential systems.Ahmad and Nieto [6] explored boundary value problems arising in a particular class of sequential integro-differential equations of a fractional order.Ahmad and Ntouyas [7] considered higher-order nonlocal boundary value problems for sequential fractional differential equations.The research expanded the scope of boundary value problems in fractional calculus, providing new insights into the behavior of higher-order fractional systems.Aqlan et al. [8] developed existence theory for sequential fractional differential equations with anti-periodic-type boundary conditions, which enhanced the theoretical foundation for solving such equations, addressing a specific class of boundary value problems relevant in mathematical modeling.Klimek [9] delved into the realm of sequential fractional differential equations employing the Hadamard derivative.Mahmudov et al. [10] investigated nonlinear sequential fractional differential equations with nonlocal boundary conditions contributing to understanding the behavior of nonlinear systems with fractional-order dynamics.Ye and Huang [11] delved into the realm of nonlinear fractional differential equations utilizing the Caputo sequential fractional derivative.Aljoudi et al. explored a coupled system of Hadamard-type sequential differential equations with coupled strip conditions.Kilbas et al. [12] wrote a fundamental text on the theory and applications of fractional differential equations.The seminal work served as a comprehensive reference for researchers and practitioners interested in fractional calculus.Mohammadi et al. [13] tackled a hybrid fractional boundary value problem incorporating both Caputo and Hadamard derivatives.Jarad et al. [14] introduced a Caputo-type modification of the Hadamard fractional derivatives providing a bridge between two commonly used fractional derivative operators.Baitiche et al. [15] investigated boundary value problems for hybrid Caputo sequential fractional differential equations.Benchohra et al. [16] explored the measure of noncompactness and its application to fractional differential equation in Banach spaces.Darbo [17] investigated fixed points in noncompact transformation, laying the groundwork for the theory of fixed-point theorems in noncompact spaces.Banas and Olszowy [18] explored a class of noncompactness in Banach algebras and their applications to nonlinear integral equations.Aghajani et al. [19] presented some generalizations of Darbo's fixed-point theorem and their applications.The study provided new tools for the analysis of nonlinear phenomena, with potential applications in various fields.Shunan and Bingyang [20] proposed a novel approach to understanding phonon heat transport beyond traditional hydrodynamics.Marawan [21] explored the application of fractional quantum mechanics to systems with electrical screening effects in their study.Dubey and Chakraverty [22] developed hybrid techniques for the approximate analytical solution of space-and time-fractional telegraph equations.Inspired by the research studies, we discuss a new idea that is based on the sequential definition of a Caputo-Hadamard fractional operator.For the hybrid Caputo-Hadamard fractional sequential differential equations (CHFSDEs), we analyze the following initial value problem: where w ∈ (1, 2], ℓ ∈ E = [a, e], 1 ≤ a < e, CH D w a is a Caputo-Hadamard fractional derivative of order w, f : E × ℜ → ℜ \ {0} and y : E → ℜ are continuous functions, and τ is a real number.In this direction, we will use techniques related to measures of noncompactness in Banach algebras and Darbo's fixed-point theorem.
This manuscript is structured as follows: Section 2 offers a fundamental review for the readers' reference.Section 3 is devoted to proving our main results utilizing Darbo's fixed-point theorem.Section 4 includes an explanatory example that authenticates our theoretical findings.Finally, this study concludes with a summary of the key insights and implications.

Preliminaries
Now, we will provide some useful concepts and basic definitions used in proving our main results.
CH D w a (ln In particular cases, CH D w a 1 = 0 and CH D w b 1 = 0 .
, and we obtain Then, for almost all ℓ ∈ [1, e], we have from Lemma 2, and we have Lemma 5 ([12]).The integral Darbo's fixed-point theorem (DFPT) is very important in our discussion, as given below.
The following is an extension of Theorem 1 that will be very beneficial in our research.
Then, Q has at least one fixed point in ω.
Now, we consider that the space N has a Banach algebra structure.We will present the product of two elements c, b ∈ C by cb, and by using CB, we express the set defined by Definition 2 ([18]).Assume that N is a Banach algebra.A measure of noncompactness γ in N is said to satisfy condition (m) if it meets the criteria given below: for any C, B ∈ U N .A Banach space with a standard norm is the family of all continuous and real-valued functions defined on an interval E with the norm Definition 3 ([16]).Assume that (C(E ), ∥.∥) is a Banach algebra, with the standard product of real functions as the multiplication.To define the measure, consider a set C in C(E ).For c ∈ C and for any given ε > 0, denote λ(c, ε) as the modulus of continuity of c by The function λ 0 is a measure of noncompactness in space C(E ).

Main Results
Lemma 7. Consider f ∈ C(E × ℜ, ℜ \ {0}).For every y ∈ C(E , ℜ), the unique solution for a hybrid CHFSDE Proof.By applying CH ℑ w+1 a on both sides of (9), By using the first condition given in (10), we obtain b 3 = 0 so that Now, taking the first ordinary derivative of the above equation, Multiplying both sides by ℓ, According to the second condition, we obtain b 2 (w − 1) + τc 2 = 0, and we have Now, by taking the second ordinary derivative of the above equation, we obtain: By utilizing the third condition given in (10), we obtain (b 1 w + τc 1 ) = 0. Multiplying both sides of the previous equation by ℓ, we obtain It is a Cauchy-Euler differential equation of second order that has a general solution: , where f (ℓ,s c (ℓ) and f (ℓ,s p (ℓ) are complementary and a particular solution of (12).Consider the solutions f (ℓ,s 2 (ℓ) = ℓ 2 for the homogeneous equation, where the distinct real roots of the characteristic equation m 2 + τm = 0 are m 1 = 0 and m 2 = −τ.The complementary solution of the homogeneous Equation ( 13) is for some constants a 1 and a 2 .These two constants can be evaluated by the initial conditions: = 0 given in (10).
The only solution for these algebraic equations is a 1 = a 2 = 0.Because m 1 ̸ = m 2 .The Wronskian W for the solutions Applying the variation of parameter technique, we can obtain the particular solution Therefore, the general solution is f (ℓ,s p (ℓ)) .Thanks to Lemma 7, the following integral equation is equivalent to the presented problem.
The operators F and G on the Banach algebra C(E ) are described as F s(ℓ) = f (ℓ, s(ℓ)) and for any s ∈ C(E ).
First, we will prove that Q transforms C(E ) into itself.To do this, it is sufficient to show that F s, Gs ∈ C(E ) for each s ∈ C(E ).As we know that the product of continuous functions is continuous, by (S 1 ), it follows that if s ∈ C(E ) for s ∈ C(E ).In order to prove that Gs ∈ C(E ) for s ∈ C(E ), let ℓ ∈ E be fixed, take s ∈ C(E ), and let (ℓ n ) be a sequence in E such that ℓ n → ℓ as n → ∞.We can consider that ℓ n ≥ ℓ for n large enough without losing generality.For every n, we obtain As ℓ n → ℓ, the right-hand side of the above inequality converges to zero.Thus, we conclude that Gs(ℓ n ) → Gs(ℓ).Therefore, Gs ∈ C(E ).This indicates that if s is in C(E ), then Qs is also in C(E ).Utilizing assumptions (S 2 ) and (S 3 ), for s ∈ C(E ) and ℓ ∈ E , we obtain ∥A∥, where According to assumption (S 4 ), we observe that the operator Q maps the ball B r * ⊂ C(E ) into itself.Additionally, based on the most recent estimate, we deduce the following conclusion: This result indicates that the operator Q transforms the set B r * into itself.Next, we will demonstrate how the operators F and G are continuous on the ball B r * .To begin, we establish the continuity of the operator F on the ball B r * .For this purpose, we consider a sequence {s n } ⊂ B r * and s ∈ B r * such that ∥s n − s∥ → 0 as n → ∞, and we aim to show that ∥F s n − F s∥ → 0 as n → ∞.Indeed, for all ℓ ∈ E , utilizing assumption (S 2 ), we have Thus, we obtain ∥F s n − F s∥ ≤ ∥s n − s∥.
Consequently, from the above inequality, we conclude that lim n→∞ ∥F s n − F s∥ = 0. Therefore, the operator F is continuous on the ball B r * .To prove the continuity of G on the ball B r * , we fix ε > 0 and consider arbitrary z, s ∈ B r * such that ∥s − z∥ ≤ ε.Then, for ℓ ∈ E , we obtain
Next, by Definition 2 and the estimates ( 15), (16), and ( 17), we have Thus, because ∥θ∥ L 1 ∥A∥σ(r * ) < τΓ(w) from assumption (S 4 ), we obtain that operator Q is a contraction on ball B r * with respect to the measure of noncompactness ω 0 .Therefore, Theorem 2 gives that the operator Q has at least one fixed point in B r * .Consequently, the problem ( 1)-( 2) has a unique solution in B r * .The proof is now finished.
Further, H = 1, and by a simple calculation, we obtain ∥A∥ = 0.3704.It is clear that the functions f and y satisfy (S 1 ) of Theorem 3. Furthermore, for any ℓ ∈ E , and s 1 (ℓ), Thus, assumption (S 4 ) of Theorem 3 is satisfied for all 0 < r * ≤ 2.0832.Hence, all the assumptions of Theorem 3 are fulfilled, and the problem ( 18)-( 19) has at least one solution.

Concluding Remarks
In conclusion, this study delves into the sophisticated domain of hybrid Caputo-Hadamard fractional sequential differential equations (HCHFSDEs) and establishes vital results regarding the existence and uniqueness via the application of Darbo's fixed-point theorem.By merging the advantages of Caputo and Hadamard fractional derivatives, the hybrid approach offers a more encompassing framework for modeling sequential processes across diverse scientific and engineering domains.Through the utilization of Darbo's theorem, we have successfully addressed the fundamental question of the existence and uniqueness of solutions of such equations, thereby enhancing our comprehension of HCHFSDE dynamics.Moving forward, these findings are poised to catalyze further developments in modeling and analyzing dynamics systems, fostering innovation and progress in interdisciplinary research endeavors.