Existence and Stability of Solutions for a Class of Fractional Impulsive Differential Equations with Atangana-Baleanu-Caputo Derivative ()
1. Introduction
Fractional differential equations are generalizations of integer differential equations and more accurate than integer models in reflecting certain properties of things [1] - [6] . Fractional differential equations have a wide range of applications in the fields of fluid dynamics, stochastic equations, and control systems [7] [8] [9] [10] [11] .
Atangana-Baleanu-Caputo (ABC) is a fractional derivative centered on the Mittag-Leffler function proposed by Atangana and Baleanu [12] . The nondeterministic nature of ABC derivatives with Mittag-Leffler kernel can effectively take into account the nondeterministic dynamics and more appropriately capture various features of real systems [13] [14] [15] [16] . For instance, Salari and Ghanbari [17] studied the existence and multiplicity of the following ABC fractional derivative boundary value problems
where
is ABC fractional derivative,
,
,
is
-Caratheodory function. The existence and numerical estimation of solutions to the equations are investigated by means of variational methods.
In addition, impulse differential equations are suitable models for describing real processes that rapidly deviate from the state at a specific moment in time, which cannot be expressed by classical differential equations. Impulse differential equations have a wide range of applications in many fields such as physics, management science, population dynamics and so on [18] [19] [20] . Some physical problems have sudden changes and discontinuous jumps, and in order to model and study these problems in depth, many researchers and scientists have taken a keen interest in the study of fractional differential equations with impulses. For example, Yang and Zhao [21] studied existence and optimal controls of the following non-autonomous impulsive integro-differential evolution equation
where
is a family of densely defined and closed linear opertor which generates an evolution system
on X,
is a family of linear operators from Y to X. The existence of weak solutions to the equation was proved through the Krasnoselakii’s fixed point theorem. Subsequently, a minimization sequence was constructed to prove the existence of optimal control pairs for differential evolution control systems.
Nowadays, although some achievements have been made in the study of fractional differential equations with impulse conditions, few studies have been made on the existence of solutions to fractional differential equations with Atangana-Baleanu-Caputo derivative. Therefore, inspired from the above contributions, the existence of solutions to a class of fractional differential equations of type ABC with impulse conditions is studied on the following problem
(1)
where
represents the Atangana-Baleanu-Caputo fractional derivative, and
is given continuous functions,
, and
are the left and right limits of
respectively. Assuming that
is left-continuous at
, that is
. Let
,
, and
. We obtain that there is at least one solution by the Banach and Krasnoselakii fixed point theorems. In addition, an example is given to illustrate the validity of the main results.
The rest of this paper is organized as follows. In Section 2, some basic definitions, lemmas, and theorems are presented. Then in Section 3, the existence of a solution for the nonlinear fractional differential equation is obtained by Banach and Krasnoselakii fixed point theorems. Section 4 discusses the Hyers-Ulam stability of solutions. At last, an example is given in the last part to support our study.
2. Preliminaries
In this section, we recollect some basic concepts of fractional calculus and auxiliary lemmas, which will be used throughout this paper. Suppose that
is a Banach space and equipped with the norm
.
Definition 2.1 [12] Let
,
, and
. The ABC fractional derivative for function u of order
is defined as
where
is a normalized function and
,
denotes Mittag-Leffler function.
Definition 2.2 [22] Let u be a function, then the AB fractional integral of order
is defined by
Lemma 2.3 [23] For
, the following result hold
where
is unknown arbitrary constants,
.
Theorem 2.4 [24] (Banach fixed point theorem) Let X be a Banach space,
be closed, and
is a contraction operator, then T has a unique fixed point.
Theorem 2.5 [25] (Krasnoselakii fixed point theorem) Let W be a nonempty, convex, and closed subset of X. Consider two operators
satisfy
1)
for all
,
2)
is a contraction operator,
3)
is continuous and compact,
then there exists at least one solution
, such that
.
Lemma 2.6 Let
, then the unique solution for the following problem
(2)
is
(3)
Proof Applying
to both side of
, then the equation (2) can be written in the following equivalent form
where
is a unknown constant.
When
, from Lemma 2.6 it follows that
When
,
from
, we get
from the continuity of h it follows that
Thus, when
, we have
Using the same method, when
, we can get
(4)
By
, we have
Hence, inserting the values of
, we get the solution (3). This completes the proof.
3. Main Results
In this section, we transform the problem (1) into the fixed point of the operator H, and then prove the existence of solutions of the problem (1) by using Banach and Krasnoselakii fixed point theorems.
In order to obtain the main results of this paper, the following hypotheses must be satisfied.
(H1) There exist constants
such that for any
, we have
(H2) There exist constants
, such that
(H3) Since
, then there exists a constant
, such that
Let
be defined by
Theorem 3.1 Assume that (H1) hold, then Equation (1) has the unique solution if
Proof In order to prove the uniqueness and existence of the solution to problem (1), we first show that H is a compression operator, assuming that
,
Now, we have
which implies
(5)
From Equation (5), we get
Thus, the operator H is a contraction map, by Theorem 2.4, the problem (1) has a unique solution.
By theorem 3.1, H is defined under the consideration of Krasnoselskii’s fixed point theorem as follows:
where
Theorem 3.2 Assume that (H1)-(H2) hold, then system (1) has at least one solution with the condition
Proof The proof is divided into two steps.
Step 1:
is a compression map.
Let
be a closed bounded set and
. Now
Hence,
is a contraction map.
Step 2:
is continuous and compact.
Firstly, we prove that
is bounded.
(6)
In addition
this implies
(7)
Substituting Equation (7) into Equation (6), we get
Thus,
is bounded. Now to prove equicontinuity for
, let
, then
This shows that
, as
.
Therefore, by Arzela-Ascoli theorem,
is completely continuous. According to the above steps together with Krasnoselakii fixed point theorem, the operator H has at least one fixed point, which implies that the problem (1) has at least one solution on
.
4. Hyers-Ulam Stability
In this section, we study the Hyers-Ulam stability of (1). Let
, and consider the following inequalities
(8)
Remark 4.1 A function
is the solution of inequality (8) if and only if there exist function
such that for
,
and
(9)
Definition 4.2 [22] Equation (1) is Hyers-Ulam stable if there exists
such that for each solution
of the inequlity (8), there exists a solution
of Equation (1) such that
Theorem 4.3 If assumptions (H1)-(H3) are fulfilled, the Equation (1) is Hyers- Ulam stable with respect to
.
Proof Based on Remark 4.1, we can say that the solution of the Equation (9) is
Let
be the solution of inequality (8), then for every
, we obtain
Therefore, for each
, we get
Assume
, according to theorem 3.1, it can be concluded that
Hence, by Definition 4.2, we can obtain Equation (1) is Hyers-Ulam stable.
5. Example
In this section, an example is provided to verify the validity of the investigated results.
Example 5.1 Consider the following fractional differential equation
(10)
where
,
,
,
,
Then, for any
, and
, we have
From this, we can obtain
,
, when
, we have
Therefore, from Theorem 3.1, Theorem 3.2 and Theorem 4.3, it can be concluded that example 5.1 has at least one solution and it is Hyers-Ulam stable.
Funding
This work is supported by the Key Project of Yili Normal University (YSPY 2022014), the Research and Innovation Team of Yili Normal University (CXZK 2021016), the Natural Science Foundation of Xinjiang Uygur Autonomous Region (023D01C51) and the Xuzhou Science and Technology Plan Project (No. KC23058).