Stability of the mixed Caputo fractional integro-differential equation by means of weighted space method

Abstract: In this research work, we consider a class of nonlinear fractional integro-differential equations containing Caputo fractional derivative and integral derivative. We discuss the stabilities of Ulam-Hyers, Ulam-Hyers-Rassias, semi-Ulam-Hyers-Rassias for the nonlinear fractional integrodifferential equations in terms of weighted space method and Banach fixed-point theorem. After the demonstration of our results, an example is given to illustrate the results we obtained.


Introduction
Since the end of the 20th century, fractional derivatives are widely used in various fields, such as biomedical engineering, biomechanics, viscoelastic mechanics, soft matter physics and mechanics, porous media mechanics, and so forth. A amount of research papers in the literature show interesting slights of fractional calculus both on theories results and applications [3][4][5][6]10]. In view of the broad application background of fractional calculus, it is difficult for researchers to directly obtain solutions to most fractional differential equations. Therefore, it is necessary to discuss the existence and uniqueness of the solutions to fractional differential equations. Researchers have obtained a lot of results about the existence and uniqueness of solutions for boundary value problems of fractional differential equations [11,[27][28][29][30][31]. At the same time, a large number of numerical solutions of fractional differential equations have been obtained [7][8][9][12][13][14].
The Ulam stability of differential equations is an important subject in nonlinear analysis. When a given problem has Ulam-type stability, this shows that there must be the exact solution of the differential equation near an approximate solution. Ulam stability theory is closely related to many branches of mathematics and is one of the most active research topics in the field of fractional calculus.
In 2016, S. Sevgin and H. Sevli [17] investigated the Ulam-Hyers-Rassias stability and the Ulam-Hyers stability for a class of nonlinear Volterra integro-differential equations by means of fixed point theorems Vu and Hoa [25] studied the initial value problem of a class of nonlinear Volterra integro-differential equations, and they discussed the Ulam-Hyers-Rassias stability and the Ulam-Hyers stability of the following equations in terms of successive approximation method J.Vanterler da C. Sousa et al. [19,20] presented the ψ−Hil f er fractional derivative and discussed the Ulam-Hyers stability for the fractional Volterra integro-differential equation by the Banach fixed-point theorem [24] is the ψ − Hil f er fractional derivative. J.Vanterler da C. Sousa et al. [26] discussed the Ulam-type stability of solutions for initial value problem of the following class of fractional differential equations H D α,β;ψ a+ y(x) = f x, y(x), x a K(t, s, y(s), y(δ(s)))ds , . Motivated by the above references, we consider the following class of the mixed Caputo fractional integro-differential equations in this paper There are a couple of physical motivations for Eq (1.1). First of all, the Eq (1.1) is used to represent constitutive relation for viscoelastic model of fractional differential equation, and secondly the Eq (1.1) is used to describe macroscopic models II for electric diffusion of ions in nerve cells when molecular diffusion is anomalous secondary diffusion due to binding, crowding or trapping [23].
The paper is arranged in the following manner: In section 2, we introduce some fundamental definitions and important results of fractional calculus. Besides that, we present the concepts of Ulam-type stability for problem (1.1). We discuss the stabilities of Ulam-Hyers, Ulam-Hyers-Rassias and semi-Ulam-Hyers-Rassias for problem (1.1) in section 3. We provide an example to illustrate the main results in section 4. Finally, the concluding remarks are presented in section 5.

Preliminaries
In this section, we will briefly introduce some necessary definitions, notations, the fundamental results related to fractional calculus that will be used throughout the paper, for details, see [1,2]. Also, we will present the concepts of stabilities of Ulam-Hyers, Ulam-Hyers-Rassias and semi-Ulam-Hyers-Rassias for Eq (1.1).
Definition 2. [1,2] The left Caputo fractional derivative c D α 0+ of an absolutely continuous(or differentiable) function f (t) with order 0 < α < 1 is defined as The two-parametric Mittag-Leffler function is defined as In addition, We need the following Laplace transform formulas of fractional derivative operators and Mittag-Leffler function to develop our results [1,2].
The Laplace transform of the Caputo derivative c D α The Laplace transforms of the two-parametric Mittag-Leffler function are , k = 0, 1, 2, ....
Next, we will present the concepts of the stabilities of Ulam-Hyers, Ulam-Hyers-Rassias and semi-Ulam-Hyers-Rassias for Eq (1.1). The following Definition 4, Definition 5 and Definition 6 are adapted from paper [22]. Definition 4. If x(t) is a given differential function, satisfying there is a solution u(t) of the Eq (1.1) and a constant C > 0 such that where C is independent of x(t) and u(t), then we say that the Eq (1.1) has the Ulam-Hyers stability.
Definition 5. If x(t) is a given differential function, satisfying there exists a solution u(t) of the Eq (1.1) and a constant C > 0 independent of x(t) and u(t) such that where φ : [0, 1] → (0, +∞) is a nonnegative continuous function, then we say that the Eq (1.1) has the semi-Ulam-Hyers-Rassias stability.
Definition 6. If x(t) is a given differential function, satisfying where ϕ : [0, 1] → (0, +∞) is a continuous function, there exists a solution u(t) of the Eq (1.1) and a constant C > 0 independent of x(t) and u(t) such that then we say that the Eq (1.1) has the Ulam-Hyers-Rassias stability.
Theorem 1. (Banach) Let (X, d) be a generalized complete metric space. Assume that Λ : X → X is a strictly contractive operator with the Lipschitz constant K < 1. If there exists a nonnegative integer k such that d(Λ k+1 x, Λ k x) < ∞, for some x ∈ X, then the following three propositions hold true: (1) The sequence {Λ n x} converges to a fixed point x * of Λ; (2) x * is the unique fixed point of Λ in X * = {y ∈ X : d(Λ k x, y) < ∞}; (3) If y ∈ X * , then d(y, x * ) ≤ 1 1 − K d(Λy, y).

Main results
In this section, we will investigate the stabilities of Ulam-Hyers-Rassias, semi-Ulam-Hyers-Rassias and Ulam-Hyers for Eq (1.1) in C 1 [0, 1] endowed with a weighted metric by means of the Banach's fixed point theorem.

Ulam-Hyers-Rassias stability
In this subsection, we will obtain the equivalent fractional integral equation of Eq (1.1). Moreover, we will discuss the Ulam-Hyers-Rassias stability for Eq (1.1) in the weighted space (C 1 [0, 1], ρ). Lemma 1. Assume that u(t) ∈ C 1 [0, 1], 0 < α < 1 and f : [0, 1] → R is a continuous function, the unique solution of the following nonlinear fractional differential equation is given by proof : The Laplace transforms of both u (t) and c D α 0+ u(t) exist for u(t) ∈ C 1 [0, 1] (refer to [16]), So we take the Laplace transform on both sides of Eq (3.1). By Eq (2.1), we get By Eq (2.2) and applying the inverse Laplace transform on the two sides of Eq (3.2), we obtain We conclude that u(t) satisfies Eq (3.4) Let g : [0, 1] × R → R is a continuous function satisfying the Lipschitz condition and (M 1 + M 2 )ξ < 1, then there exists a solution u(t) of Eq (1.1) such that proof : Applying Lemma 1, the equivalent fractional integral equation of Eq (1.1) is given by The proof of Eq (3.9) follows from the proof of Eq (3.3). We set that u(0) = η. Define the operator Ω : Because of the continuous hypotheses of g, K and Mittag-Leffler function, then the operator Ω is continuous.
Since Eq (3.9) is the equivalent integral equation of Eq (1.1), we conclude that u is the solution of Eq (1.1). By means of item 3 of theorem 1 and Eq (3.11), then From the definition of the weighted metric ρ, so Eq (3.9) holds. This completes the proof. Theorem 2 shows that under the conditions of theorem 2, the Eq (1.1) has the Ulam-Hyers-Rassias stability.
with θ > 0, then there exists a solution u(t) of Eq (1.1) such that 1]. (3.13) This means that under above conditions, the fractional differential equation Eq (1.1) has the semi-Ulam-Hyers-Rassias stability. Proof. The first part of the proof follows the same steps as in the proof of Theorem 2. Consider the operator Ω : From (M 1 + M 2 )ξ < 1, then the operator Ω is strictly contractive in (C 1 [0, 1], ρ). Next, suppose that x(t) ∈ C 1 [0, 1] satisfies Eq (3.12). By Eq (3.12) and Lemma 1, we have By the continuity of two parameter Mittag-Leffler function, then ds is a nonnegative continuous function. From the Eqs (3.14) and (3.15), we get By the definitions of the weighted metric and the continuous function σ, we obtain Applying the item 2 of Theorem 1, then there exists a unique element u ∈ C * [0, 1] such that Ωu = u. That means u(t) is a solution of Eq (1.1).
with θ > 0, then there exists a solution u(t) of Eq (1.1) such that Proof. Since σ is a nondecreasing continuous function, By theorem 3, Eqs (3.13) and (3.17), we obtain Theorem 4 shows that under the conditions of theorem 4, the Eq (1.1) has the Ulam-Hyers stability.
The stabilities of Ulam-Hyers, Ulam-Hyers-Rassias and semi-Ulam-Hyers-Rassias for Eq (4.1) is independent of the initial value condition. Using MATLAB, the solution u(t) of Eq (4.1) with initial value condition u(0) = 0 is computed and depicted in Figure 1. Now, suppose that x ∈ C 1 [0, 1] is the solution of the following fractional integro-differential equation Next, Suppose that y ∈ C 1 [0, 1] is the solution of the following fractional integro-differential equation

Conclusions
The stability theory of fractional differential equations is an important branch of fractional calculus. If a differential equation has the Ulam-type stability, it means that we can find the exact solution near an approximate solution of the equation. Various forms of Ulam-type stability for the nonlinear fractional differential equations have been studied in the past few decades. Here we use weighted space method and Banach fixed-point theorem to analyze different forms of Ulam-type stability for the mixed Caputo fractional integro-differential equations, including Ulam-Hyers stability, Ulam-Hyers-Rassias stability and semi-Ulam-Hyers-Rassias stability. Besides that, an example is given to illustrate the results.