Measure of Noncompactness for Hybrid Langevin Fractional Differential Equations

In this research article, we introduce a new class of hybrid Langevin equation involving two distinct fractional order derivatives in the Caputo sense and Riemann–Liouville fractional integral. Supported by three-point boundary conditions, we discuss the existence of a solution to this boundary value problem. Because of the important role of the measure of noncompactness in fixed point theory, we use the technique of measure of noncompactness as an essential tool in order to get the existence result. The modern analysis technique is used by applying a generalized version of Darbo’s fixed point theorem. A numerical example is presented to clarify our outcomes.


Introduction
A hybrid system is a dynamic system that interacts with discrete and continuous dynamics. The appearance of novel multiplex engineering systems that have several types of process and abstract decision-making units present the image of different systems simultaneously exhibiting continuous and discrete time dynamics, discrete events, logic commands and jumps. In addition, the concept of hybrid systems is of great importance in embedded control systems [1].
The Langevin equation is an ideal method to depict mathematical physics. This can help the scientists to represent processes like anomalous diffusion effectively in a descent manner. In the field of economy, the operations include price index fluctuations [24]. In critical dynamics theory, the generic formula to the Langevin equation for noise sources with correlations performs an important role [25]. Many generic Langevin equations have been applied to certain types of dynamical operations in media, such as Langevin equation in general [26,27]. The way in which nonlinear fractional Langevin equations were remodeled by Mainardi and Pironi was remarkable [28].
In [35], Jamil et al. proved the existence of a solution to the following system of hybrid fractional sequential integro-differential equations with two distinct orders of Caputo derivatives as follows: According to recent contributions concerning hybrid fractional differential equations, we introduce our research point as the following boundary value problem to the nonlinear fractional hybrid Langevin differential equation: where both c D α and c D β are Caputo derivatives of orders 0 < α ≤ 1 and 1 < β ≤ 2, respectively. Here, λ ∈ R \ {0}, I γ denotes the Riemann-Liouville fractional integral of order 0 < γ < 1, , f ∈ C(J × R, R \ {0}), and g ∈ C(J × R 2 , R). Furthermore, µ and ν are two continuous functions from J into itself. This demonstrates that the bridge between the hybrid and Langevin equation is considerable, and is a new form in the study of fractional differential equations, especially considering the use of the measure of noncompactness technique. This encourages us to advance the previous boundary value problem. Therefore, our study relies on what is known as Darbo's fixed point theorem, in general form, for the product of two operators through implementing the measure of noncompactness technique to a hybrid Langevin equation.

Basic Concepts and Relevant Lemmas
In this part, we provide some important points that we need as a basis for the coming sections. Definition 1 ([12]). The Caputo fractional derivative for a function Θ that has an absolutely continuous derivative up to the order (k − 1) is given as Definition 2 ([12]). Let Θ be a continuous function on the interval [0, ∞]. The fractional integral of order δ > 0 is given by Lemma 1 ([12]). Let γ, κ ≥ 0, and V ∈ L 1 ([0, 1]). Then, Let B(x, r) be a closed ball in Banach space E centered at x with radius r; in the case where x = 0, we denote B r instead of B(0, r). Let X be a nonempty subset of E, such that X and ConvX are a closure and a convex closure of X, respectively. Throughout this work, the symbol M E represents the family of the nonempty and bounded subsets of E, while N E denotes the subfamily of all relatively compact subsets of M E .
is called a noncompactness measure in E if all the conditions below hold: In addition, . Let E(J) be Banach algebra. A noncompactness measure χ in E(J) satisfies condition (m) if the condition below holds:
Consider the following class S of all functions ψ : (0, ∞) → (b, ∞) such that the following condition holds: Now, we introduce Darbo's fixed point theorem, which we can rely on to illustrate the existence of at least one fixed point.

Theorem 1 ([39]
). Consider Banach space E(J) containing a bounded, closed, convex, and nonempty subset, for example, Ω. Let T : Ω −→ Ω be a continuous mapping. Assume that there is θ ∈ [0, 1) with χ as a noncompactness measure in E(J) satisfying the following: Then, T has a fixed point in Ω.
The generalization of Darbo's fixed point theorem is very important for the forthcoming results.

Theorem 2 ([39]
). Let U be a bounded, closed, convex, and nonempty subset of Banach space E(J) and let T : U −→ U be a continuous mapping. Assume there exists Φ ∈ S and θ ∈ [0, 1) such that for any nonempty where χ is a noncompactness measure in E(J). Then, T has a in U .
and both functions f , g satisfy Equation (1). The unique solution of Equation (1) is given by the following formula: Proof. By using Lemma 2, we get According to the first and second boundary conditions, we obviously see that c 2 = 0. Again, we apply Lemma 2 to obtain the following form: From the first boundary condition, we have c 0 = 0. The unique solution from Equation (2) is provided, as shown above, once we use third condition. Conversely, it is not difficult to see that when inserting Equation (2) into the left side of Equation (1), and employing Lemma 2, we get the right side. Clearly, Equation (2) satisfies the boundary value conditions in Equation (1).

Main Results
Now, to give a clear view, consider (E, · ) to be the space of all continuous real-valued functions defined on the unit interval J = [0, 1]. It is obvious that it is a Banach space equipped with the following norm: Before introducing the main results, we investigate Equation (2) under the following assumptions: (iv) There exist a continuous function ω ∈ L 1 (J, (0, ∞)), and a continuous nondecreasing function (v) There is a positive real number r 0 conditionally: The main result is given via the following theorem.
Proof. Consider the operator T : where (Fu)(t) = f (t, u(ν(t))), g(s, u(µ(s)), I γ u(µ(s))) ds, It is easy to see that and The proof of this theorem depends on different parts. Firstly, we show that ∀ u ∈ E(J) implies that (Tu) ∈ E(J). In other words, (Fu)(Gu) ∈ E(J) for all u ∈ E(J). Indeed, from the assumptions (i) and (ii), ∀ u ∈ E(J), it yields that (Fu) ∈ E(J). It remains to prove (Gu) ∈ E(J) ∀ u ∈ E(J). Let u ∈ E(J) and t 2 , t 1 ∈ J be taken arbitrarily with t 2 > t 1 . By using assumption (iv), we get which tends zero uniformly once t 2 → t 1 . It is clear that Gu ∈ E(J) for all u ∈ E(J). Moreover, for all u ∈ E(J) and t ∈ J, we are able to estimate the absolute value of the operator Tu as We conclude that Let B r 0 be a subset of E(J) given as with a fixed radius r 0 , which satisfies the inequality mentioned in assumption v. Furthermore, we see that the operator T defined in Equation (3) maps B r 0 into itself. The second step depends on the continuity of the operator T on B r 0 . To briefly demonstrate this, we show the continuity for both F and G on B r 0 , separately. We claim that F is continuous on B r 0 . Indeed, for all > 0 and u, w ∈ B r 0 , there exists 0 < δ < ( Thus, F satisfies the continuity condition on B r 0 . Lebesgue dominant convergence is used in order to have continuity proof for the operator G on B r 0 . Take a convergent sequence (u n ), and its limit u is in B r 0 with u n − u → 0 as n → 0. Since µ : J → J is continuous, we can say |u n (µ(t))| ≤ r 0 ∀n ∈ N ∀t ∈ J.
Since g is continuous on J × [−r 0 , r 0 ], it is uniformly continuous on J × [−r 0 , r 0 ]. Now, set By applying Lebesgue dominant convergence theorem, we obtain Since both F and G are continuous operators, it yields that T is a continuous operator on B r 0 . The final step is based on estimating the limit of the modulus of continuity for the operator T. This helps us to estimate ω 0 (FΩ) and ω 0 (GΩ) for nonempty Ω as a subset of B r 0 .
The estimation of ω 0 (TΩ) can be achieved by Lemma 3 and Equations (6), (12) and (14) as By using assumption (v) and since R ≤ 1, we have According to Theorem 1, the contractive condition has been satisfied with ψ(x) = x + b, where ψ ∈ S. By using Theorem 2, we conclude that T has at least fixed point in B r 0 . Hence, Equation (1) possesses at least one solution in B r 0 .

Example
Consider the following hybrid Langevin fractional differential equation: According to Equation (15), we see that Both assumption (i) and (ii) hold. In assumption (iii), we have p = 1 2 . Moreover, if we take z(u) = |u| + 16 − 4, we see that z(0) = 0 and it is a concave function. Since z(t) is concave, we conclude by using the subadditive property of the concave function, such that This means that ω L 1 = 1 10 and ψ( u ) = 0.21198465217 u . The last assumption (v) allows us to determine the range of r 0 which is obviously 0 < r 0 ≤ 2.331413061. Accordingly, Theorem 3 ensures that the numerical example (Equation (15)) has a solution in E(J) because of R = 0.544529299 < 1.

Conclusions
We introduce the proof of the existence of a solution to the hybrid Langevin fractional differential equation supported by certain boundary value conditions. The problem is given as a nonlinear equation, in which it implicitly relies on the unknown function, fractional derivative orders of both α ∈ (0, 1) and β ∈ (1, 2). The generalized Darbo's fixed point theorem was applied in order to prove the existence of a solution for the given problem. In our paper, we consider the theorem mentioned for the product of the two operators associated with noncompactness measures. The outcomes are not only new in the formation shown, but we also used new assumptions in our results.