The Ulam Stability of Fractional Differential Equation with the Caputo-Fabrizio Derivative
Abstract
The aim of this paper is to establish the Ulam stability of the Caputo-Fabrizio fractional differential equation with integral boundary condition. We also present the existence and uniqueness results of the solution for the Caputo-Fabrizio fractional differential equation by Krasnoselskii’s fixed point theorem and Banach fixed point theorem. Some examples are provided to illustrate our theorems.
1. Introduction
Ulam [1] proposed to study the approximation degree of the approximate solution and the exact solution of the equation in 1940. Hyers [2] responded to Ulam’s proposal and defined the Hyers-Ulam stability of equation in 1941. Later on, Rassias [3] extended Hyers’s work and defined the Hyers-Ulam-Rassias stability of equation in 1978. The Hyers-Ulam stability and Hyers-Ulam-Rassias stability are collectively referred to as the Ulam stability. Subsequently, researchers initiated a research on the Ulam stability of integer-order differential equations (see [4–10]). Obloza [4], Cemil and Emel [5] proved the Hyers-Ulam stability and Hyers-Ulam-Rassias stability of the first-order differential equation, respectively. Wang et al. [6] studied the Ulam stability of the first-order differential equation with a boundary value condition. Otrocol and Ilea [7] obtained the Ulam stability of the first-order delay differential equation. Huang and Li [8] also obtained the Hyers-Ulam stability of another class of the first-order delay differential equation. Zada et al. [9] studied the Hyers-Ulam-Rassias stability of the higher order delay differential equation. However, the study on the Ulam stability of fractional differential equations is in its infancy.
Fractional differential equations are widely applied in physics [11, 12], control systems [13], chemical technology [14], and biosciences [15]. Fractional integral boundary value problems have been explored by many researchers. In particular, the integral boundary value problem provides a feasible method for the modeling of population dynamics and chemical engineering problems (see [16–18]). Although fractional integral boundary value problems are widely used, it is not easy to solve the equation, and the exact solution is often not obtained. Therefore, it is necessary to study the Ulam stability of fractional differential equations and use the approximate solution to replace the exact solution. So far, researchers have studied the Ulam stability and the existence and uniqueness of a solution for fractional differential equations with Hilfer-Hadamard, Caputo, and Caputo-Fabrizio fractional derivatives (see [19–22]). Abbas et al. [19] proved the existence and the Ulam stability of a fractional differential equation with the Hilfer-Hadamard derivative.
Equation (4) is a new kind of the Korteweg-de Vries-Bergers (KDVB) equation model. In [23], Equation (4) is used to describe unusual irregularities and nonlinearities in wave dynamics and liquids motions.
The main contributions are as follows: Firstly, we give the definitions of the Hyers-Ulam stability and Hyers-Ulam-Rassias stability for Equation (4). Then, we obtain a sufficient condition to derive the uniqueness of the solution for Equation (4) by the Banach contraction principle. Next, we give a sufficient condition to prove the existence of the solution for Equation (4) by Krasnoselskii’s fixed point theorem. On this basis, we give the Ulam stability results for Equation (4) by the Laplace transform and inequality results.
The rest of our article is arranged as follows. Some basic definitions and necessary theorems are presented in Section 2. We establish sufficient conditions to show existence and uniqueness of solution for the Caputo-Fabrizio fractional differential equation in Section 3. In Section 4, we prove the Ulam stability of the Caputo-Fabrizio fractional differential equation. Two examples are provided in Section 5 to illustrate our theorems.
2. Preliminaries
Definition 1 [24]. The Caputo-Fabrizio fractional derivative of order β of a continuous differentiable function x is given by
the normalization function M(β) depends on β.
Definition 2 [25]. The Riemann-Liouville fractional integral of order γ of a function x is given by
Based on Definition 2 in [5] and Definition 2.1 in [9], we give the definitions of the Hyers-Ulam stability and the Hyers-Ulam-Rassias stability for Equation (4).
Definition 3. Equation (4) has the Hyers-Ulam stability if and only if for any solution x(t) of
Definition 4. Equation (4) has the Hyers-Ulam-Rassias stability if and only if for any solution x(t) of
Theorem 5 [26]. If x is a piecewise continuous function and there exist K > 0 and μ such that
Theorem 6 [27]. Let β ∈ (0, 1). The Laplace transform of CFDβx(t) is
Theorem 7. The solution of the following fractional problem
Proof. Since x(t) is continuous differentiable function on [0, 1], x′(t) is bounded function on [0, 1]. By Definition 1, CFDβx(t) is also a bounded function. Then, there exist constants k1, k2 > 0 and μ1, μ2 such that
From Theorem 5, the Laplace transform of x′(t) and CFDβx(t) exists.
Taking the Laplace transform for the first formula of Equation (14), we conclude
Taking the Laplace inverse transform for the above equation, we conclude
Then
Since , thus
Then
By the definition of G(t, s), we conclude
Remark 8.
Thus, there exists a constant E > 0 such that
Theorem 9 (Krasnoselskii’s fixed point theorem). Let S be a bounded convex closed subset of a Banach space W, and P, Q : S⟶W satisfy the following:
- (i)
Px + Qy ∈ S, for all x, y ∈ S
- (ii)
P is completely continuous
- (iii)
Q is a contraction mapping
Then, P + Q has at least one fixed point.
3. Existence and Uniqueness Theorems for Fractional Differential Equation
The following assumption will be needed throughout the paper:
(S1): k : [0, 1] × ℝ⟶ℝ is a continuous function.
Theorem 10. Suppose that (S1) and (S2) are satisfied; then Equation (4) has a unique solution provided that ξγ/(Γ(γ + 1)) + Eck < 1.
Proof. Since k ∈ C([0, 1] × ℝ, ℝ), there exists T > 0 such that
Similar to the proof of Theorem 3 in [22]. Let operator F be given by
Firstly, we prove that F maps a closed set into a closed set.
Let Ub = {x ∈ C1([0, 1], ℝ) | ‖x‖ ≤ b, b ≥ ET/1 − ξγ/Γ(γ + 1) > 0}. For x ∈ Ub, it follows that
This implies FUb⊆Ub.
Then, we prove that F is a strict contraction.
Let x1, x2 ∈ C1([0, 1], ℝ), for any t ∈ [0, 1]; it follows that
As ξγ/(Γ(γ + 1)) + Eck < 1, for x1, x2 ∈ C1([0, 1], ℝ), F is a strict contraction. From the Banach fixed point theorem, F has a unique fixed point x∗(t) ∈ C1([0, 1], ℝ); accordingly, Equation (4) has a unique solution.
Theorem 11. Suppose that (S1) and (S2) are satisfied; then Equation (4) has at least one solution provided that ξγ/(Γ(γ + 1)) + Eck < 1.
Proof. Since k ∈ C([0, 1] × ℝ, ℝ), there exists T > 0 such that
Let Uc = {x ∈ C1[0, 1] | ‖x‖ ≤ c, c ≥ ET/1 − ξγ/Γ(γ + 1) > 0}.
Let operators P and Q be given by
Firstly, for all x1, x2 ∈ Uc, using Remark 8, it follows that
Hence, we have Px1 + Qx2 ∈ Uc.
Then, for all x1, x2 ∈ C1[0, 1],
As ξγ/(Γ(γ + 1)) + Eck < 1, Q is a contraction mapping.
Finally, we prove operator P is completely continuous.
Step 1. Operator P is continuous.
Let xn be a convergent sequence, xn⟶x ∈ C1([0, 1], ℝ), by Remark 8 and (S2); it follows that
Since xn⟶x, we have Pxn⟶Px; then operator P is continuous.
Step 2. Operator P is bounded on Uc.
Step 3. Operator P is equicontinuous in C1([0, 1], ℝ).
Let t1, t2 ∈ [0, 1] and t2 < t1, x ∈ Uc; it follows that
Then, operator P is equicontinuous.
From Step 1-Step 3 and the Arzela-Ascoli theorem, P is completely continuous. By Theorem 9, P + Q has at least one fixed point, since
4. Stability Results
Theorem 12. Suppose that (S1) and (S2) are satisfied; then Equation (4) has the Hyers-Ulam stability on [0, 1].
Proof. Since (S1) and (S2) hold, by Theorems 10 and 11, Equation (4) has a unique solution. From Theorem 7, Equation (4) has the unique solution
Let y(t) satisfy y(0) = x(0) and be a solution of the inequality
Set
Then
From the proof of Theorem 7, we conclude
Then
Thus
From the Gronwall-Bellman inequality, we conclude
From Definition 3, Equation (4) has the Hyers-Ulam stability.
Theorem 13. Suppose that (S1), (S2), and (S3) are satisfied; then Equation (4) has the Hyers-Ulam-Rassias stability on [0, 1].
Proof. Since (S1) and (S2) hold, by Theorems 10 and 11, Equation (4) has a unique solution. From Theorem 7, Equation (4) has the unique solution
Let y(t) satisfy y(0) = x(0) and be a solution of the inequality
Set
Then
From the proof of Theorem 7, we conclude
Then by (S3), it follows that
Thus
From the Gronwall-Bellman inequality, we conclude
From Definition 4, Equation (4) has the Hyers-Ulam-Rassias stability on [0, 1].
5. Example
In this section, we give two examples to illustrate our main results.
Example 1. Consider the following problem of the Caputo-Fabrizio fractional differential equation of form
Let
Then
Then, it follows that
Hence, ck = 1/64.
Set δ(t) = et ∈ C([0, 1], (0, +∞)), ; we conclude Lδ = 1 > 0.
Consequently, the equation has the Hyers-Ulam-Rassias stability.
Example 2. Consider the following problem of the Caputo-Fabrizio fractional differential equation of form
Let
Then
Then, it follows that
Hence, ck = 1/64.
Consequently, the equation has the Hyers-Ulam stability.
6. Conclusions
In this article, we established the Ulam stability of the Caputo-Fabrizio fractional differential equation with an integral boundary condition by the Laplace transform method. Krasnoselskii’s fixed point theorem and Banach fixed point theorem are employed to prove the existence and uniqueness results of the solution for the Caputo-Fabrizio fractional differential equation. Besides, we constructed a solution for the equation via new Green’s function G(t, s). The Ulam stability of the Caputo-Fabrizio fractional differential equation is used to study unusual irregularities and nonlinearities in wave dynamics and liquids motions. Because the Ulam stability is widely used, we will study the Ulam stability of the ABC fractional differential equation in the future study.
Conflicts of Interest
The author declares that she has no competing interests.
Authors’ Contributions
The author read and approved the final manuscript.
Open Research
Data Availability
No data were used to support this study.