The Existence and Ulam Stability Analysis of a Multi-Term Implicit Fractional Differential Equation with Boundary Conditions

: In this paper, we investigate a class of multi-term implicit fractional differential equation with boundary conditions. The application of the Schauder fixed point theorem and the Banach fixed point theorem allows us to establish the criterion for a solution that exists for the given equation, and the solution is unique. Afterwards, we give the criteria of Ulam–Hyers stability and Ulam–Hyers–Rassias stability. Additionally, we present an example to illustrate the practical application and effectiveness of the results.


Introduction
In recent years, because of the prevalence of fractional derivatives and integrals in modeling biological systems, such as population dynamics and erythrocyte sedimentation rates, etc. (see [1][2][3]), the qualitative and stability analyses of fractional differential equations has garnered considerable interest and attention.Regarding the studies of stability problems, based on the Lyapunov method, scholars proposed many different concepts of stability, such as equi-stability, Lipschitz stability, and practical stability, which are documented in the literature [4][5][6].However, the difficulty lies in finding and calculating the appropriate Lyapunov functions, which limited the application of this method in a certain sense.Ulam [7] introduced the concept of Ulam stability in 1940.This stability is not only convenient to obtain, but also solves the problem of finding exact solutions of nonlinear differential equations.It ensures the existence of approximate solutions to equations, which is crucial in optimization and numerical analysis.Since then, Hyers [8] refined the Ulam-Hyers stability, and Rassias [9] further developed the Ulam-Hyers-Rassias stability.At present, researchers have made progress in studying the existence and Ulam stability analysis of fractional differential equations (see [10][11][12][13][14]).We note that there are few results on fractional differential equations with multiple terms.For example, Alam et al. [15] conducted a study on the existence and Ulam-Hyers stability of two-term implicit fractional order differential equations as follows: where the functions ϕ 1 , ϕ 2 : J × R → R, and the parameters α 1 ∈ (2, 3), α 2 , α 3 , α 4 ∈ (0, 1), t ∈ J = [0, 1].K 1 , K 2 are nonzero constants.c D α 1 u(t) represents the Caputo fractional derivative of the function u(t), and R I α 2 u(t) represents the Riemann-Liouville fractional integral of the function u(t).
In 2022, Rahman et al. [16] focused on exploring the existence and Ulam-Hyers-Rassias stability of a class of n-order multi-term fractional differential equations with a delay: where the function f : In this paper, we extend our investigation to address a multi-term implicit fractional differential equation that includes boundary problems: where the function f : . λ i , K j are positive constants.c D q i u(s) represents the Caputo fractional derivative of the function u(s), and R I p j u(s) represents the Riemann-Liouville fractional integral of the function u(s).The purpose of this paper is extend the form of high-order implicit differential equations with integral terms, and obtain results on the existence, uniqueness, and stability of the solutions to such equations.We employ the fixed point theorem to establish the existence results of Equation (1).Additionally, we give the criteria of Ulam-Hyers stability and Ulam-Hyers-Rassias stability for Equation (1).Furthermore, we provide an illustrative example to showcase the practical effectiveness of the obtained results.

Existence of Solutions
The following basic definitions, lemmas and theorems are provided first.Let C(J, R) denote the Banach space of all continuous functions from J to R, where the norm is defined as ||u|| ∞ = sup s∈J {|u(s)|}.
Definition 1 (See [2]).The q order Riemann-Liouville fractional integral of the integrable function u(s) is defined as Definition 2 (See [2]).The q order Caputo fractional derivative of the differentiable function u(s) is defined as where n = [q], i.e., n is the smallest integer not exceeding q.
Proof.After integrating the q 1 order on both sides of Equation (1), according to Lemmas 1 and 2, we obtain Then, we use the following relationship that exists between fractional integral and derivative [17] where a k ∈ R, k = 0, 1, 2, . . ., n − 1, and we obtain Using the boundary condition u(0) = 0, we have a 0 = 0.Then, by differentiating (3), we obtain From the boundary condition c D 1 u(0) = 0, we have a 1 = 0. Continuing differentiating (4), we obtain a 2 = 0. Repeating the process, we obtain By integrating the ω order on both sides of (5), we obtain According to the boundary condition u(1) = R I ω u(η), it follows that Substituting ( 7) into (3), there is In summary, the conclusion is confirmed.
In order to demonstrate the existence and uniqueness results, it is customary to assume that the following conditions are satisfied.Hypothesis 1 (H1).For any s ∈ J, there exist non-negative constants L 1 and L 2 , such that Hypothesis 2 (H2).For any s ∈ J, there exist bounded functions c 1 (s), c 2 (s) and c 3 (s), such that

Existence Result Using the Shauder Fixed Point Theorem
In this current subsection, we prove the existence result of Equation ( 1) using the Shauder fixed point theorem.
Proof.We define a subspace B = {u ∈ C(J, R) : ||u|| ≤ d}, where Step 1.We prove that Fu ⊂ B. Indeed, for any u ∈ B, there is By condition (H2), we have where c 1 = sup s∈J c 1 (s).Substituting ( 11) into (10), we have Step 2. To establish the continuity of the operator F, we consider a sequence {u n } ∈ B, By the Lebesgue dominated convergent theorem, when n → ∞, ||Fu n − Fu|| → 0.
Step 3. Now, we prove that F maps bounded sets into equalcontinuous sets.Let s 1 < s 2 ; then, we can obtain the following relationship: According to condition (H2), there is In conclusion, by applying the Arzelà-Ascoli theorem, we can deduce that the operator F is completely continuous.
Step 4. Lastly, we demonstrate that the set By the Shauder fixed point theorem, Equation ( 1) has at least one solution.

Existence Result Using the Banach Fixed Point Theorem
Subsequently, we employ the Banach fixed point theorem to establish the existence and uniqueness result of Equation (1).Theorem 3. Assume that the condition (H1) is satisfied, and the inequality holds, then Equation (1) has a unique solution.
Proof.For any u 1 , u 2 ∈ C(J, R), there is Let . Substituting ( 15) into ( 14), we obtain Consequently, by utilizing Inequality (13), we can conclude that the operator F is contractive.As a result, we can assert that there exists a unique solution for Equation (1) based on the Banach fixed point theorem.

Ulam Stability
In this section, we give the criterion of Ulam stability for Equation (1).To begin, we provide the definitions of Ulam-Hyers stability and Ulam-Hyers-Rassias stability for Equation (1).Definition 3. Equation (1) has Ulam-Hyers stability if, given a unique solution u(s) ∈ C(J, R), there exists a positive real number n f > 0, such that, for any ϵ > 0 and v(s) ∈ C(J, R) satisfying the inequality Definition 4. Equation ( 1) is Ulam-Hyers-Rassias stable with respect to ξ(s) ∈ C(J, R) if, given a unique solution u(s) ∈ C(J, R), there exists a positive real number n f > 0, such that for any ϵ > 0 and v(s) ∈ C(J, R) satisfying the inequality there is |v(s) − u(s)| ≤ n f ϵξ(s).

Remark 1.
A function v(s) is a solution of the inequality (17), if and only if there exists σ(s) ∈ C(J, R) that satisfies the following conditions: Remark 2. A function v(s) is a solution of the inequality (18), if and only if there exists σ(s) ∈ C(J, R) that satisfies the following conditions: Theorem 4. Assume that condition (H1) is satisfied; then, Equation (1) has Ulam-Hyers stability.
Proof.Given that v(s) is a solution of the inequality (17), and u(s) is the unique solution of Equation ( 1), then v(s) satisfies the following equation: There is .
Thus, we can deduce that .
Thus, we have Based on Definition 3, we can conclude that Equation (1) has Ulam-Hyers stability.
To obtain the Ulam-Hyers-Rassias stability of Equation ( 1), assume that the following condition holds:
Proof.Given that v(s) is a solution of the inequality (18), and u(s) is the unique solution of Equation ( 1), then v(s) satisfies the following equation: There is Denoting Then, it follows that |v(s) − Fv(s)| ≤ ϵδ ξ ξ(s).