On the Existence and Ulam Stability of BVP within Kernel Fractional Time

: This manuscript, we establish novel ﬁndings regarding the existence of solutions for second-order fractional differential equations employing Ψ -Caputo fractional derivatives. The application of Banach’s ﬁxed-point theorem (BFPT) ensures the uniqueness of the solutions, while Schauder’s ﬁxed-point theorem (SFPT) is instrumental in determining the existence of these solutions. Furthermore, we assess the stability of the proposed equation using the Ulam–Hyers stability criterion. To illustrate our results, we provide a concrete example showcasing their practical implications

Researchers have also shown keen interest in fractional differential equations of the Hadamard-type.In 1928 [22], Hadamard discovered a derivative of a specific type of fractional derivatives.We now list a generalization of fractional derivatives, which is for Ψ-Caputo, which are for Caputo fractional derivatives and also Riemann-Liouville derivatives.The study conducted by reference [23] explores the existence and uniqueness of mild solutions of BVPs associated with Caputo-Hadamard fractional differential equations, incorporating integral and anti-periodic conditions.
In their respective studies, Rezapour et al. [24] dedicated their research efforts to exploring the existence of solutions within a recently defined category of fractional BVPs situated within the framework of Caputo-Hadamard calculus.In a parallel investigation, Abbas et al. [25] established the existence of solutions for a specific group of Caputo-Hadamard fractional differential equations.Their approach leaned heavily on the application of Mönch's fixed-point theorem in conjunction with the utilization of the measure of non-compactness technique.
Murad et al. [34] conducted a comprehensive examination in which they delved into multiple facets of a differential equation involving a combination of Caputo and Riemann fractional derivatives.Their investigation encompassed the analysis of the existence of solutions as well as the exploration of Ulam-Hyers and Ulam-Hyers-Rassias theorems in this context.
Patil et al. [35] treated the existence and uniqueness of positive solutions to the fractional differential equation with nonlocal integral boundary conditions Motivated by the above work and the research conducted to advance further in this goal, in this research, we treat the existence and uniqueness of the solution of a Ψ-Caputo fractional differential equation with the boundary condition where D α;Ψ a is the Ψ-Caputo fractional derivative, with 1 < α ≤ 2, and The symbol C(J, R) represents the Banach space of CFs κ : J → (ς)| : ς ∈ J}.We utilize SFPT and BFPT to establish both the existence and uniqueness of solutions for Equations (1) and (2), subject to specific conditions.Additionally, we demonstrate the validity of a stability theorem, namely the Ulam-Hyers stability theorem.To illustrate our main findings, we include an example as an application.

Essential Preliminaries
In this research, we require a set of fundamental definitions and lemmas that will be essential in various aspects of our study.

Definition 2 ([1]
).Let κ : (0, ∞) → R be a CF.Hence, a Caputo fractional derivative (CFD) of order α > 0, n = [α] + 1 can be defined as where , we have: and Definition 6 ([36]).The Equation ( 1) is Ulam-Hyers stable if there exists a real number c F > 0 such that for each > 0 and for each solution z ∈ C 1 (J, R) of the inequality Theorem 1 ([37] (BFPT)).Consider a Banach space denoted as H.If there exists an operator Z from H to itself, which satisfies the property of being a contraction, then Z possesses a unique fixed point within the confines of H, and this fixed point is uniquely determined.
Theorem 2 ([37] (SFPT)).Suppose H is a closed, bounded, and convex subset of the Banach space X, and there exists a continuous mapping Z from H to H such that the set {Z x : x ∈ H} is relatively compact.In that case, Z possesses at least one fixed point within the set H.
Note that β = 0, given by Lemma 3.For every κ(ς) ∈ C(J, R), 1 < α ≤ 2, and thus the BVP ( 1) and ( 2) has a solution Proof.Referring to Lemma 2, we can streamline the problem defined in Equations ( 1) and ( 2) into an equivalent integral equation By applying Fubini's theorem, we can derive the following result and this complete the poof.

Existence and Uniqueness
Consider the Banach space denoted as C = C(J, R), which encompasses all continuous functions mapping from the interval J to the real numbers R. The norm for this space is defined as follows: We give this assumption so as to prove the main results: (Ω1) There exists constant µ > 0, such that (Ω2) There exists constant k > 0, such that We achieve the first result on the Banach contraction principle.To simplify, we have coded the following: Theorem 3. Assumption (Ω2) holds.If λk < 1, then the BVP (1) and ( 2) has a unique solution on J.
Proof.Define the operator Ξ : C(J, R) → C(J, R), Let us set r ≥ Mλ (1−kλ) , and prove that where Ψ (a) + Ψ( ) − Ψ(a) = γ; therefore, ΞG r ⊂ G r .Now, considering that Ξ exhibits characteristics of a contraction mapping, let κ 1 , κ 2 ∈ G r , for each ς ∈ J.We obtain Consequently, given the condition λk ≤ 1, we can deduce that the operator Ξ exhibits contraction properties.As a result, we can confidently conclude, based on BFPT, that the operator Ξ possesses a unique fixed point.This unique fixed point corresponds to solution of the problem (1) and (2).
Proof.This proof is structured in four distinct steps: Step 1: Our initial task is to demonstrate the continuity of Ξ.To accomplish this, we consider a sequence {κ n } that converges to κ in the Banach space C(J, R).For each ς ∈ J, we can observe the following: Applying the LDC Theorem, if n approaches infinity, this implies that Step 2: The operator Ξ transforms bounded sets into other bounded sets within the space C(J, R).Consider any positive value d, defining the set It is apparent that H d in C(J, R).Now, let us assume κ is an element of C, and for every ς ∈ J, we can observe the following: Step 3: The operator Ξ transforms the space C(J, R) into a collection of functions within C(J, R) that exhibit equicontinuity.
Step 4: Next, our objective is to establish that Ξ is bounded in advance.Let U = {κ ∈ C(J, R) : κ = ρΞκ, for some 0 < ρ < 1}.Our objective is to demonstrate that the set U is bounded.Consider an arbitrary element κ ∈ U , and for every ς ∈ J, we observe the following: this implies that the set U is bounded.According to SFPT, the operator Ξ must possess at least one fixed point, and this fixed point serves as a solution to Equations ( 1) and (2).

Stability Theorem
In the upcoming theorems, we will establish the Ulam-Hyers stability for the equation presented in (1) within J = [a, ].If we assume that the BVP represented by Equations ( 1) and ( 2) holds, then it exhibits Ulam-Hyers stability.

to find c 0 and c 1 .
From the first boundary condition κ(a) = κ (a), we have c 1 Ψ (a) = c 0 ; hence,