Abstract

In this study, we consider the existence results of solutions of impulsive Atangana–Baleanu–Caputo fractional integro-differential equations with integral boundary conditions. Krasnoselskii’s fixed-point theorem and the Banach contraction principle are used to prove the existence and uniqueness of results. Moreover, we also establish Hyers–Ulam stability for this problem. An example is also presented at the end.

1. Introduction

The concept of derivatives and integrals of any arbitrary real or complex order is called fractional calculus, and initially, it was proposed in works by mathematicians such as L’Hôpital, Liouville, Leibniz, Riemann, and Abel. The nonlocality of fractional derivatives, a characteristic inherent to many complex systems, makes them important for modeling phenomena in numerous disciplines of engineering and science. A significant study had already been conducted in this area [17]. Fractional derivatives provide more realistic representations of real-world behavior than ordinary derivatives when dealing with some phenomena because they consider the global evolution of the system rather than just local dynamics. In [8], Podlubny has examined the methods and applications of fractional derivatives and fractional differential equations (FDEs). Many authors have investigated the applications of FDEs [911].

There has recently been a lot of attention drawn to the quadratic perturbation of nonlinear differential equations also known as hybrid differential equations. Due to the inclusion of several dynamic systems as special instances, research on hybrid differential equations is significant. Hilal and Kajouni [12] have discussed boundary value problems (BVPs) for hybrid fractional differential equations (H-FDEs). In [13], the authors have studied on the experimental applications of hybrid functions to FDEs.

There are numerous applications of BVPs within the field of applied mathematics. For instance, concentration in chemical or biological issues and nonlinear sources produce nonlinear diffusion and the theory of thermal ignition of gases. In addition, BVPs with integral boundary conditions have numerous contributions of mathematical modeling to the heat conduction process, hemic conduction process, and hydrodynamics issues. Many authors have investigated FDEs with boundary conditions [1423].

The Atangana–Baleanu derivative is being explored to develop a model that depicts the behavior of conventional viscoelastic materials, thermal media, and other materials. The suggested mechanism is capable of representing material heterogeneities as well as some media or structures at various scales. In [24, 25], the authors have discussed the existing results on the Atangana–Baleanu–Caputo derivative. The entire description of memory inside structures and media with various scales, which cannot be represented by conventional fractional derivatives or those of the Caputo–Fabrizio type, is made possible by new kernel’s nonlocality. Additionally, we think that Atangana–Baleanu derivatives can be useful in the investigation of some materials’ microstructural behavior, particularly in cases where nonlocal exchanges are involved because they play a key role in establishing the material’s physical states. To have a clear picture, in [26], Algahtani has compared the Caputo–Fabrizio derivative and Atangana–Baleanu with the fractional order Allen–Cahn model.

The Mittag–Leffler function has long been recognized as being extremely beneficial in fractional calculus. Additionally, it has had a substantial impact on the definitions of other fractional differential integrals. It has been studied by many authors [2731]. To put it simply, fractional differential models and systems generalize ordinary and partial differential systems. Generalization is caused by the FDEs of noninteger (fractional) order, and their nonlocality always aids in simulating nonlocal interactions in nature. Blood flows, natural structures such as heartbeats, control theory, hypothetical physical science, mechanical frameworks, designing, population dynamics, biotechnology, medical science, economics, and various other real-world things are examples of things that change quickly. Ulam discovered that the question of whether a proposition’s claim genuinely obeys, or generally holds, if the hypothesis is slightly altered, is a prevalent and important one in many domains and has drawn the attention of many scholars. That is referred to as the Hyers-Ulam stability problem [3238].

In [39], Rozi and others examined the following BVPs under the fractional derivative:where . They investigated the existence and uniqueness of the aforementioned problem and also proved the U-H type of stability.

In [40], Devi and Kumar studied the existence and uniqueness of results for integro FDEs with the Atangana–Baleanu fractional derivative:where is the left AB-Caputo derivative of fractional order . The continuous functions are and and and .

Based on the aforementioned work, we consider the BVP for impulsive Atangana–Baleanu–Caputo fractional integro-differential equations:where is the AB-Caputo derivative of fractional order , and is a continuous function. and . , and and indicate the right and left hand limits of at .

The structure of the study is as follows. In Section 2, we recall some fundamental definitions, notations, and preliminary facts. Section 3 is focused on the existing results for the fractional integro-differential systems with the derivative. Section 4 is dedicated to establishing the results of Hyers–Ulam stability. The application of our theoretical results is given in Section 5.

2. Preliminaries

We examine several fundamental findings that are applied to our major study in this part.

Definition 1 (see [25]). We assume with ; the fractional order derivative is denoted aswhere the Mittag–Leffler function is and the normalization function is .

Definition 2 (see [25]). The equivalent integral for is written aswhere the fractional integral is denoted as .

Lemma 1 (see [31]). We assume the problem as

Given the conditions under which the RHS disappears at time , the solution is provided by

Here, we indicate the Banach space with .

Theorem 1 (Krasnoselskii’s fixed-point theorem [4]). We consider a convex set of with a mapping such that(i) for each (ii) is continuous and compact(iii) is contractionThen, has at least one fixed point.

3. Main Results

Here, we look into the prerequisites for the existence of a solution to problem (3).

Lemma 2 (see [39]). We assume the linear BVPs with nonlinear integral boundary conditions, and if , we obtain

Then, the solution is given by

Proof. By Lemma 1, we can instantly get the result of (9).

Corollary 1. According to Lemma 2, the solution of problem (3) is provided by

To gain the interconnected results, the hypothesis must be true:(A1) There are constants ,and , where .(A2) There are constants ,and , where .(A3) There are constants ,where .(A4) There are constants ,and , where .(A5) There are constants , and if , then we obtainfor all and .(A6) Any positive , we take , where , Then, is bounded, closed, and convex subset in .

If (A5) is satisfied, then

It holds true for any and .

By (10), we define by

Theorem 2. Under hypothesis (A1) and (A6), the solution of problem (3) is unique if

Proof. For any , we obtainIf , from (19), we haveThus, we obtainHence, we obtainTherefore, is a contraction mapping, and the solution of problem (3) is unique.

Theorem 3. By hypotheses (A1) to (A6), we get

Then, there is at least one solution for problem (3). We define the operators as follows:

Proof. Step 1:for any , we obtainLet , and from (26), we haveWhen we simplify, we obtainWe havewhere is therefore a contraction.Step 2:to determine the necessary condition with regards to , let , and thus, based on (26), we can obtainThus, is bounded. Now, we show that is continuous.
Consider for any , then for every Thus, as , and hence, is continuous.Step 3:to show equicontinuity, we take , and we haveObviously, from (33), we see that , and the RHS of the inequality implies zeroThe operator is uniformly continuous, and also, is compact. By the Arzel -Ascoli theorem, is completely continuous. Hence, given problem (3) has at least one solution.

4. Stability Results

This section focuses on showing the results of Hyers–Ulam stability for problem (3).

Definition 3. We consider problem (3), and the given inequality isThe constant is , and there exists a solution such thatThen, given problem (3) is Hyers–Ulam stable. Moreover, if there is function which is nondecreasing andwith ;then, problem (3) is generalized Hyers–Ulam stable. The provided result is required.

Remark 1. Let and , where is a function, and if it is independent of , then(i) for all (ii).

Lemma 3 (see [39]). We consider the H-FDE problem:

Then, the solution is

Moreover, from (39), we have

Proof. By Lemma 2, we obtain (39). Furthermore, by Remark 1, result (40) is evident.

Theorem 4. We consider H-FDE problem (3):

The solution of (3) is Hyers–Ulam and generalized Hyers–Ulam stable, under Lemma 3, if

Proof. If is any solution of (3) and is at most one result of (3), thenHence, using , we getUsing hypothesis (A1)–(A4), after a few reductions in (44), by Lemma 3, we getHence, from (45), we getHence, the solution is Hyers–Ulam stable. Moreover, for generalized Hyers–Ulam stability, we getThen, by using (46), we obtainwhere is a nondecreasing function, and there exists a function . Therefore, the needed result for generalized Hyers–Ulam stability is obtained.

5. Example

We assume the following H-FDEwhereand

Thus, we have and choose .

Here, we examine the conditions of the theorems and get

Theorem 2’s prerequisite is met. Hence, system (49) has a solution that is unique.

Theorem 3’s prerequisite is met, and then given system (49) has at least one solution. Next is H-U stability:

Thus, system (49) is Hyers–Ulam and generalized Hyers–Ulam stable.

6. Conclusion

Hybrid fractional integro-differential equations with integral boundary conditions problem were considered. By using the Banach fixed-point theorem and Krasnoselskii’s fixed-point theorem, existence and uniqueness of solutions were established. In addition, Hyers–Ulam stability was developed. The obtained results have been validated by proving the appropriate problem. In the future, we extend our work with delay terms.

Data Availability

There is no data used for this manuscript.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Authors’ Contributions

All authors contributed equally to this work and approved the manuscript.

Acknowledgments

This research was supported by the National Science, Research, and Innovation Fund (NSRF) and King Mongkut’s University of Technology North Bangkok with Contract no. KMUTNB-FF-65-49.