On qualitative analysis of a fractional hybrid Langevin differential equation with novel boundary conditions

A hybrid system interacts with the discrete and continuous dynamics of a physical dynamical system. The notion of a hybrid system gives embedded control systems a great advantage. The Langevin diﬀerential equation can accurately depict many physical phenomena and help researchers eﬀectively represent anomalous diﬀusion. This paper considers a fractional hybrid Langevin diﬀerential equation, including the ψ -Caputo fractional operator. Furthermore, some novel boundaries selected are considered to be a problem. We used the Schauder and Banach ﬁxed-point theorems to prove the existence and uniqueness of solutions to the considered problem. Additionally, the Ulam-Hyer stability is evaluated. Finally, we present a representative example to verify the theoretical outcomes of our ﬁndings.


Introduction
When implemented in a variety of numerical algorithms, fractional differential equations demonstrated their effectiveness and versatility in modeling and analyzing in many scientific fields, including engineering, material science, chemistry, bloodstream-based models, and also in image processing, for example, in electronics [33], physics [7], engineering [32], biology [8], and chemistry [20].Kilbs et al. [23] examined recent advances in the field of fractional differential and fractional integro-differential equations, covering various operators of fractional calculus with significant potential utility.Podlubny described methods of solving differential equations of arbitrary real order using integrals and derivatives of arbitrary real order and applied these methods in various fields [26].In recent years, numerous studies have consistently shown the beneficial effects of fractional differential equations.The definition of fractional-order operators within the framework of fractional calculus played an important role in achieving these results and advances, demonstrating their accuracy in describing phenomena and modeling processes occurring in the Universe.Fractional differential equations and their various branches, such as the Hybrid equation, Langevin equation, and Sturm-Liouville equation, have gained a strong reputation due to the huge number of articles and books written on the topic throughout the world.These equations have applications in many fields, including engineering and science.
In the last decade, researchers have introduced many operators.Almeida [10] has recently introduced the ψ-Caputo fractional derivative, which serves as a broad generalization covering various other formulations of fractional derivatives, including Caputo and Caputo-Hadamard types.They review recent advances and findings concerning initial and boundary value problems incorporating the ψ-Caputo fractional derivative.Subsequently, they explore the existing theory's obstacles to solving fractional systems in various abstract fractional boundary value problems.In these studies, the essential and definitive approach combined the well-known ideas of fractional calculus theory with fixed-point theory.This approach has proven useful in producing valuable existence results, such as Baleanu et al. [14] presented a model of childhood disease epidemics that uses a new fractional derivative method proposed by Caputo and Fabrizio.Khan et al. [21] proposed a mathematical model of tuberculosis using fractal-fractional-order principles, aiming to investigate existence, conduct numerical simulations, and analyze its stability.Baleanu et al. [15] developed an innovative approach to modeling boundary value problems on the glucose graph.In 2020, Baleanu et al. [17] unveiled a new fractional model of the human liver, incorporating the Caputo-Fabrizio derivative with an exponential kernel.Tuan et al. [31] presented a mathematical model of the transmission of COVID-19 using the Caputo fractional-order derivative.Khan et al. [22] showed that waterborne diseases result from the transmission of pathogenic bacteria through water, which affects human health.In 2020, using a mathematical model, Thabet et al. [30] investigated the existence, stability, and numerical findings of a novel coronavirus disease (COVID-19).To verify the existence and uniqueness of solutions to the mathematical model concerning the transmission dynamics of COVID-19, we refer interested readers to [29].Ahmad et al. [4] examined the existence of solutions for a nonlocal hybrid boundary value problem involving Caputo fractional integro-differential equations.In 2019, Abdeljawad et al. [1] explored solutions to the nonlinear integral equation and fractional differential equation using the technique of a fixed point and a numerical experiment.Alsaedi et al. [12] explored the solvability of coupled nonlinear fractional differential equations of varying orders, accompanied by nonlocal coupled boundary conditions over a general domain.Many authors have investigated the Hyers-Ulam stability for fractional differential equations.Numerous authors have explored the Hyers-Ulam stability in fractional differential equations.They have explored numerous Hyers-Ulam stability issues concerning various types of fractional differential equations, such as Langevin systems, employing a variety of methodologies.Adjabi et al. [2] investigate a variant of Langevin differential equations incorporating ordinary and Hadamard fractional derivatives coupled with three-point local boundary conditions.Almalahi et al. [9] explore qualitative aspects of a nonlinear Langevin integro-fractional differential equation through their investigation.Ahmad et al. [5] explore the existence and Hyers-Ulam stability of solutions to a nonlinear neutral stochastic fractional differential system.The fixed-point theory has found numerous practical applications over recent decades.Its utility extends to optimization theory, game theory, conflict resolution, and mathematical modeling in quality management, presenting fascinating and valuable insights across these domains.
Developing novel fixed-point theorems and related approaches has facilitated investigating and researching boundary value problem models, including hybrid fractional boundary value problems.The mathematical analysis of fractional dynamical systems has recently expanded to include hybrid fractional differential equations.Many researchers have studied the hybrid fractional differential equations using various approaches.Fredj et al. [19] examined the existence, uniqueness, and Hyers-Ulam stability of hybrid sequential fractional differential equations featuring multiple fractional derivatives of Caputo type with varying orders.Samei et al. [27] discuss the existence of solutions to a class of hybrid Caputo-Hadamard fractional differential inclusions with Dirichlet boundary conditions.We investigate the existence of solutions for a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions, as seen in [16].Matar [24] delves into the qualitative characteristics of a set of hybrid nonlinear fractional differential equations.In 2021, Boutiara et al. [18] undertook a study to explore the existence of solutions for a novel category of hybrid Hilfer fractional differential equations, considering hybrid boundary conditions.Matar explores qualitative properties within a category of hybrid nonlinear fractional differential equations [24].Examining the existence of solutions for fractional neutral hybrid differential equations with finite delay [25], Ali et al. [6] formulated certain conditions that are sufficient to ensure both the existence and uniqueness of solutions for the interconnected set of fractional hybrid differential equations.
Motivated by previous work, we propose nonlinear hybrid fractional Langevin equations in this work.This study explores the existence, uniqueness, and stability (according to the Ulam-Hyers notion) of solutions to the following problem: where the ψ-Caputo fractional derivatives of order σ ∈ (0, 1] and ς ∈ (1, 2] are denoted by the expressions C D σ ,ψ c + and C D ς ,ψ c + , respectively.The given functions are continuous:

Preliminaries
To achieve our main objectives, we first explore some supplementary concepts necessary for the existence of this work.
The set of continuous real-valued functions from J to R can be represented using the notation C = C(J, R).Consequently, it is evident that C is a Banach space with the supremum norm defined as follows: The considered ψ-fractional integrals and derivatives are given.For further information, please refer to [24].Definition 2.1 [10] For every ζ ∈ J, ψ (ζ ) = 0. Let ς > 0, and let ψ : J → R be an increasing function.An integrable function u on J has a left-sided ψ-Riemann-Liouville integral, which is defined as follows with respect to ψ: for all ζ ∈ J. When , respectively, one can derive the Hadamard fractional integral and the Riemann-Liouville integral from Equation (2).Definition 2.2 [10] Assuming n = [ς] + 1 and n ∈ N, the left-sided ψ-Caputo fractional derivative of u ∈ C n (J, R) with respect to any ζ ∈ J is defined, where ψ is a strictly increasing function Lemma 2.3 [10] Given ς, σ > 0 and u ∈ L 1 (J, R), we obtain ( Lemma 2.5 [11] Consider ζ > a, where ς ≥ 0 and σ > 0.Then, Remark 2.6 From Lemmas (2.4) and (2.5), it is clear that under given general boundary conditions, we obtain Below, we provide some contextual information about fixed point theory.

Definition 2.7 [3]
A mapping T : C → C is a contraction mapping or contraction, if there exists constant L T with L T < 1 such that for every u, v ∈ C.
Theorem 1 (Banach fixed point) [3] A contraction mapping T from the set C to itself possesses precisely one fixed point.
Theorem 2 (Schauder's fixed point) [28] In a Banach space C, consider a non-empty, closed, convex subset K.If T : K → K is a compact operator, then there exists a fixed point of T within K.

Main results
This section addresses problem (1) using an arbitrary function ψ.We require the following lemma to examine whether solutions to (1) exist.
is given by where Proof Using Lemma (2.4) and applying the σ th ψ-Riemann-Liouville fractional integral to both sides of equation ( 5), we get: We definitively establish that c 0 = 0 by employing the initial and boundary conditions.
The following integral form is obtained by further applying the ς th ψ-Riemann-Liouville fractional integral and using Lemma (2.4): From the first boundary condition, it follows that c 2 = 0. Consequently, upon examining the last boundary condition, we deduce: .
Equation ( 6) can be obtained by replacing these constants in Equation (7).
Conversely, the function in (6) satisfies Equation ( 5) and the associated boundary conditions.
This mild solution to equation ( 1) is clearly defined in Lemma (3.1).

Definition 3.2
A mild solution to equation ( 1) is defined as a function u ∈ C if it satisfies the following equation where We establish the following assumptions: (Z 1 ): The function g is continuous, where g is defined over the set J × R × R and maps to the nonzero real numbers.Additionally, there exists a positive function ϕ with a supremum value represented by ϕ Furthermore, there exists a constant θ > 0 such that (Z 3 ): There exists r > 0 such that where g 0 = sup ζ ∈J |g(ζ , 0, 0)|, and The next result relies on Schauder's fixed-point theorem. .
Step 1: Take any u ∈ H and ζ ∈ J, and prove that T transfers bounded sets to bounded sets in C. Next, we have: Therefore, Hence, |T(u)| ≤ r for all u ∈ H, where r is given by (12).This demonstrates that T is uniformly bounded on H.
Step 2: We prove that the operator T is continuous.Consider a sequence in H, u n , that converges to u ∈ H. From the Lebesgue-dominated convergence theorem, we now obtain: for every ζ ∈ J. Therefore, on H, T is a continuous operator. Step Then, for any u ∈ H, according to (10), we obtain: Using similar arguments as in (13), we obtain This implies that This implies Therefore, T fulfils the equicontinuity criterion within the Banach space C. Consequently, T is relatively compact, thus satisfying the Arzelà-Ascoli theorem, which implies complete continuity of T. Consequently, T is compact on H, thereby fulfilling Theorem (2).Consequently, a mild solution exists on J to problem (1), thus establishing the desired result.
. The integral solution (10), therefore, has the following form when reduced: where h is defined by (9).
The following outcome depends on the application of the Banach fixed-point theorem.
We additionally presume the following conditions for the forthcoming outcome: (S 1 ): The function g : (S 2 ): The function f defined on J × R × R and mapping to R is continuous.Furthermore, p ∈ C(J, R + ) is a continuous function, and its supremum is p Theorem 4 Given that conditions (S 1 )-(S 3 ) are satisfied, it follows that there exists a unique mild solution to the problem (1) over the interval J.
Proof Suppose the operator T : C → C is defined as follows: As a result, T is well-defined and continuous because both g and h are continuous.Given u, v ∈ C, condition S 2 implies: and Utilizing the triangle inequality, we obtain: From equations ( 14) and ( 15), under assumptions (S 1 )-(S 2 ), we conclude that Upon taking the supremum over J and simplifying, we obtain: The proof is completed by applying the Banach fixed-point theorem (Theorem 1), which is made possible by the validity of hypothesis (S 3 ).

Stability results
Let ϕ : J → R + be a continuous function and > 0. We will examine the inequality below: for ζ ∈ J. Definition 3.4 [13] The problem (1) demonstrates the Ulam-Hyers stability if there exists a λ > 0. Consequently, for any > 0 and solution u ∈ C to equations ( 16), there exists a solution v ∈ C to (1) such that uv ≤ λ .
Definition 3.5 [13] The problem ( 1) is said to be generalized Ulam-Hyers stable if there exists a function ∈ C(R + , R + ) with (0) = 0, such that for any > 0 and every solution u ∈ C to equations ( 16), there exists a solution v ∈ C of (1) such that: Remark 3.6 Definition 3.4, where ( ) = c , evidently implies Definition 3.5.However, the reverse implication does not hold universally.
Remark 3.7 [13] A function u ∈ C adheres to inequality (16) if and only if there exists a function q ∈ C(J, R) contingent upon u, such that: To simplify the equations in the following result, we indicate Theorem 5 If K 1 < 1 2 and K 2 < 1 2 , and assuming that hypotheses (S 1 )-(S 3 ) hold, then the problem (1) exhibits the generalized Ulam-Hyers stability.
Proof Let > 0 and u ∈ C be solutions to (16).Given Lemma (3.1) and Remark (3.7), there where Let u ∈ C be a solution to the problem (1).Then it satisfies the integral equation.Using (S 2 ), we have and Applying the triangle inequality, we obtain By (S 1 ), (S 2 ), (17), and (18), we have If we assume that ( ) = 2(K 1 +K 2 )( 1-) and (0) = 0, then the generalized Ulam-Hyers stability condition is satisfied.The proof is now complete.(18) is the reason why appears in the denominator.This suggests that applying the criteria of Theorem (5) does not guarantee that the problem (1) is Ulam-Hyers stable.

Application
To implement and validate the conclusions drawn in the preceding sections, this section provides an illustrative example with specific parameter settings.We construct a practical scenario with clearly defined parameters to demonstrate how the theoretical insights presented in this work can be applied in real-world situations.

Conclusion
In this paper, we considered solutions' existence, uniqueness, and Ulam-Hyers stability for a new class of hybrid Langevin fractional differential systems subject to three-point boundary conditions in view of the ψ-Caputo derivatives.The problem was solved using Schauder's and Banach's fixed-point theorems.Additionally, we provided an illustrative scenario to support our theoretical findings, which were novel and extended the scope of numerous previous studies in this area.As research in this field continued to evolve, we advocated for further exploration using generalized fractional derivatives and qualitative analysis of comparable systems.Future studies could also explore different fractional models, including multipoint boundary conditions and a range of fractional derivatives.
2 ): The continuous function f maps to the real numbers and is defined over the set J × R × R. Furthermore, a nondecreasing function ϒ belongs to the set of continuous functions from the interval [0, ∞) to the open interval (0, ∞), and a function p belongs to the set of continuous functions from J to the positive real numbers.