Hyers – Ulam Stability and Existence of Solutions for Differential Equations with Caputo – Fabrizio Fractional Derivative

In this paper, the Hyers–Ulam stability of linear Caputo–Fabrizio fractional differential equation is established using the Laplace transform method. We also derive a generalized Hyers–Ulam stability result via the Gronwall inequality. In addition, we establish existence and uniqueness of solutions for nonlinear Caputo–Fabrizio fractional differential equations using the generalized Banach fixed point theorem and Schaefer’s fixed point theorem. Finally, two examples are given to illustrate our main results.


Introduction
Fractional differential operators describe mechanical and physical processes with historical memory and spatial global correlation and for the basic theory-see [1][2][3].Results on existence, stability and controllability for differential equations with Caputo, Riemann-Liouville and Hilfer type fractional derivatives can be found, for example, in [4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19].Caputo and Fabrizio [20] introduced a new nonlocal derivative without a singular kernel and Atangana and Nieto [21] studied the numerical approximation of this new fractional derivative and established a modified resistance loop capacitance (RLC) circuit model.Losada and Nieto [22] presented a fractional integral corresponding to the Caputo-Fabrizio fractional derivative and introduced Caputo-Fabrizio fractional differential equations and established existence and uniqueness results.Baleanu et al. [23] extended the study to Caputo-Fabrizio fractional integro-differential equations and obtained the approximate solution.Franc and Goufo [24] established a new Korteweg-de Vries-Burgers equation involving the Caputo-Fabrizio fractional derivative with no singular kernel and presented existence and uniqueness results and also gave numerical approximations.
Hyers-Ulam stability is a concept that provides an approximate solution for the exact solution in a simple form for differential equations.A Laplace transform method is applied to show the Hyers-Ulam stability for integer order differential equations in [25,26] and Wang and Li [27] adopted the idea and applied a Laplace transform method to show the Hyers-Ulam stability for fractional order differential equations involving Caputo derivatives.There are many papers on differential equations involving fractional derivatives-see, for example, [28][29][30][31][32][33][34][35][36].However, there are only a few papers on the Hyers-Ulam stability for differential equations with the Caputo-Fabrizio fractional derivative.In [37], Wang et al. offered the Ulam stability for the fractional differential equations with the Caputo derivative.
First, we recall the well-known Caputo fractional derivative [2] of order β, given by , we obtain the new definition of fractional derivative without a singular kernel In this paper, we study Hyers-Ulam stability and existence and uniqueness of solutions for the following Caputo-Fabrizio fractional derivative equations: and where ( CF D γ y)(•) denotes the Caputo-Fabrizio derivative for y with the order 0 The main contributions are as follows: we obtain a simple result to check whether the approximate solution is near the exact solution for linear Equation (1), which implies Hyers-Ulam stability and generalized Hyers-Ulam stability on the finite time interval.In addition, we present a condition to derive existence and uniqueness of solutions for nonlinear Equation (2) using the generalized Banach fixed point theorem (this improves the result in (Theorem 1, [22])).In addition, we establish sufficient conditions to guarantee the existence of solutions for nonlinear Equation (2) using Schaefer's fixed point theorem.Based on the existence and uniqueness result, we prove the Hyers-Ulam stability of (2) via the Gronwall inequality.

Preliminaries
Let C(I, R) be the Banach space of all continuous functions from I into R with the norm y C := sup{|y(x)| : x ∈ I}.Definition 1 (see [22]).Let 0 < α < 1, h ∈ C 1 [0, b) and b > 0. The Caputo-Fabrizio fractional derivative for a function h of order α is defined by where M(α) is a normalization constant depending on α.Note that ( CF D α )(h) = 0 if and only if h is a constant function.
Definition 3. Let 0 < α, β < 1 and u : [0, T] → R be a continuous function.Then, (1) is Hyers-Ulam stable if there exists K > 0 and > 0 such that, for each solution y ∈ C([0, T], R) of (1), and there exists a solution z ∈ C([0, T), R) of (2) with → R be a continuous function and G : [0, T] → R + be continuous functions.Then, (1) is generalized Hyers-Ulam-Rassias stable with respect to G if there exists a constant c f ,G > 0 such that for each solution y ∈ C([0, T], R) of (1), and there exists a solution z ∈ is Hyers-Ulam stable if there exists K > 0 and > 0 such that for each solution y ∈ C([0, T], R) of (2), and there exists a solution z ∈ C([0, T), R) of (2) with and there exists a solution z ∈

Stability Results for the Linear Equation
In this section, we study Hyers-Ulam and generalized Hyers-Ulam-Rassias stability of (1).
for each x ∈ [0, T] and ε > 0, then there exists a solution y a : where Proof.Let Taking the Laplace transform of (10) via Theorem 1, and we have where L{F} denotes the Laplace transform of the function F. From ( 11), one has L{y(x)}(s) (12) where A, B, C, D are defined as in (9).Set Taking the Laplace transform of ( 13), one has Note that Substituting ( 14) into (15), we obtain which yields that y a (x) is a solution of Equation ( 1) since L is one-to-one.From ( 12) and ( 14), we have The proof is complete.
) is Hyers-Ulam stable with the constant this implies that for each x ∈ [0, T] and some function G(x) > 0, where F is defined in (10).
From Theorem 2, then there exists a solution y a : [0, T] → R of (1) such that and for any x ∈ [0, T], where F is defined in (10) and A, B, C, D are defined as in (9).Thus, (2) is generalized Hyers-Ulam stable with respect to G on [0, T].

Existence and Stability Results for the Nonlinear Equation
We introduce the following conditions: [A2] : There exists a k f > 0 such that [A3] : There exists a constant L > 0 such that for each x ∈ [0, T] and all y ∈ R.
with y(0) = y 0 has a unique solution. Proof.
Note P is well defined because of [A1].For all y 1 , y 2 ∈ C([0, T], R) and all x ∈ [0, T], using [A2], we have For any m ∈ N + , suppose the following inequality hold Then, . Thus, for any m ∈ N + , From the condition k f a α < 1 via (Theorem 2.9, [38]), one has S(m) → 0 as m → ∞.This implies that for any large enough m ∈ N + , S(m) < 1.Thus, P m is a contraction mapping.As a result, P has a fixed point.Thus, (2) with y(0) = y 0 has a unique solution.This proof is complete.Remark 3. In (Theorem 1, [22]), an existence and uniqueness result for (2) with y(0) = y 0 is established by imposing a uniformly Lipschitz condition and applying Banach's fixed point theorem with the condition a α k f + b α Tk f < 1, where k f denotes the Lipschitz constant.Here, we use the generalized Banach fixed point theorem and we weaken the condition a α k f + b α Tk f < 1 in (Theorem 1, [22]) to a α k f < 1.
Next, we show that the existence of solutions for (2) via Schaefer's fixed point theorem.Proof.Consider P as in (17).We divide our proof into several steps.
Step 1. P is continuous.Let y n be a sequence such that y n → y in C([0, T], R).For all x ∈ [0, T], we get This shows that P is continuous since f y n − f y C → 0 when n → ∞.
Step 2. P maps bounded sets into bounded sets of C([0, T], R).Indeed, we prove that for all r > 0, there exists a k > 0 such that for every y ∈ B r = {y ∈ C([0, T], R) : y C ≤ r}, we have Py C ≤ k.In fact, for any x ∈ [0, T], from [A3], we have Step 3. P maps bounded sets into equicontinuous sets in C([0, T], R).
Then, as x 1 approaches x 2 , the right-hand side of the above inequality tends to zero (because of [A1]) as x 1 → x 2 .Thus, P is equicontinuous.We can conclude that P is completely continuous from Step 1-Step 3 with the Arzela-Ascoli theorem.
In the following, we consider ( 2) and ( 6) to discuss the generalized Ulam-Hyers-Rassias stability.We need the following condition.
[A4] : Let G ∈ C([0, T], R + ) be an increasing function and there exists λ G > 0 such that Proof.Let g ∈ C([0, T], R) be a solution of (6).From Theorem 3, has the unique solution From (6), we have Note that a α k f < 1, and so, From Gronwall's inequality, we have Set K * = a α +b α λ G 1−a α k f exp(T).Note that one has From Definition 6, ( 2) is generalized Ulam-Hyers-Rassias stable with respect to G on [0, T].The proof is complete.

Examples
In this section, two examples are given to illustrate our main results.For convenience in calculating, we suppose that M(•) in Definition 2 is the roots of the following equation: Then, one can derive an explicit formula M(α) = 2 2−α and M(β) = 2 2−β (see (p. 89, [22])).

Conclusions
By applying the well-known Gronwall inequality and fixed point theorems, we obtain the Hyers-Ulam stability of linear and semilinear Caputo-Fabrizio fractional differential equations.Existence and uniqueness theorems of solution are established.In a forthcoming work, we shall consider the impulsive Cauchy problem with Caputo-Fabrizio fractional derivative.
and u(x) be a given real function on [0, T].If a function y : [0, T] → R satisfies the inequality and u(x) be a given real function on [0, T].If a function y : [0, T] → R satisfies the inequality