On existence and stability results to a class of boundary value problems under Mittag-Leffler power law

Some essential conditions for existence theory and stability analysis to a class of boundary value problems of fractional delay differential equations involving Atangana–Baleanu-Caputo derivative are established. The deserted results are derived by using the Banach contraction and Krasnoselskii’s fixed point theorems. Moreover, different kinds of stability theory including Hyers–Ulam, generalized Hyers–Ulam, Hyers–Ulam-Rassias and generalized Hyers–Ulam–Rassias stability are also developed for the problem under consideration. Appropriate examples are given for illustrative purposes.


Introduction
Fractional-order differential equations (FDEs) have large numbers of application in modeling various real-world processes and phenomena. Due to this researchers have taken a keen interest in the development of the concerned area of research. A valuable contribution in the development of the theory was made by different researchers; see [1][2][3] and in the references therein. The real-world problems involving the memory effects is one of the biggest challenges for the researchers. Therefore to overcome this deficiency, some new techniques and tools were developed by different researchers to furnish the theory further. The phenomena related to dynamics, thermodynamics, control theory, biophysics, biomedical, computer networking, electrostatics, image and signal processing and economics are commonly modeled via the aforementioned equations [2,3]. Due to the reliability, a great degree of freedom and global nature of FDEs as compared to traditional differential equations (DEs), researchers paid more attention to the concerned area. In this connection, we refer to [4][5][6][7][8][9]. The researchers studied different aspects of FDEs. Of course an important aspect of FDEs is the existence of a solution, its uniqueness and stability analysis. They used fixed point theory and different techniques of analysis to investigate the stability and existence of solutions for FDEs. In this connection, the researchers published a variety of books and articles [10].
Another important type of DEs is known as delay DEs (DDEs). There are various kinds of DDEs: continuous delay, discrete type delay and proportional type delay. Each delay has its own characteristics in the modeling of real-world problems. The proportional type DDEs constitute an important class and have a large number of applications in dynamical systems and their uses [11]. It frequently occurred in technological control or natural problems. In such a system, the monitoring and adjustment to the system are observed by the controller. As a result, as regards the arising time delay in between the observation and action control, these adjustments of concern cannot be made immediately. Perfect real-life examples that reflect time delay are one of the important tools to determine the dynamics and an essential part of the system is natural networking. Specifically, a time delay occurs in the communication between neurons. It has been observed that the use of time delay in the model of such a system directs to a convoluted dynamics and even disorder [12]. Furthermore, fractional-order DDEs have a variety of applications in diverse fields, such as hydraulic network systems, automatic control systems, transmission lines, economy, and biology (see [13]). The concerned equations have gotten considerable attention of researchers because these described accurately almost all the electro-dynamic and other real-world situations.
There are different types of differential operators, such as the Riemann-Liouville (RL), Caputo, Hadamard, Caputo-Fabrizo (CF), and Atangana-Baleanu-Caputo (ABC) types. The benefits of these various derivatives, which give the freedom of selection to the researchers to choose the best one of them, is that they will accurately describe the situation. The derivatives in the sense of Riemann-Liouville and Caputo are vastly used and have been well explored by different researchers; see [14,15]. Probably, the classical fractional derivatives involving a singular kernel cannot determine the non-local dynamics always. Therefore researchers introduced some new class of fractional differential operators known as nonsingular derivatives. In 2016, a nonsingular derivative involving an exponential function was introduced by Caputo and Fabrizo. In subsequent years the concerned derivative were generalized by Atangana-Baleanu-Caputo and was named the ABC fractional derivative. The concerned operator has recently been construed non-locally, without singular kernel and reliable differential operator, as applied in modeling of various real-world phenomena [16] regularly. The complex situations due to singular kernel have been replaced by involving exponential and power decay law; for details see [17,18]. The problems under ABC derivative have been studied for iterative solutions mostly by using some integral transform, but very rarely have been investigated as regards qualitative aspects.
On the other hand, sometimes it was too complex to obtain an exact solution of a nonlinear FDEs, in such a situation stability analysis plays a vital role in the investigation. There are varieties of stabilities presented in the literature in the past, such as Lyapunov stability, exponential stability, asymptotic stability, and Mittag-Leffler stability [19][20][21]. Probably, the most reliable stabilities are those known as Hyers-Ulam (HU) stability. The concerned stability was modified to generalized HU stability (see [22][23][24][25]). In 1970, the aforementioned stability was further generalized by Rassias [26]. The concerned areas of existence and stability analysis are well furnished for FDEs involving Caputo and Riemann-Liouville operators [27][28][29][30]. But in the case of ABC derivative, the very high relay version was inves-tigated. For a pantograph type problem it has not been properly investigated yet. Inspired by the aforementioned literature, we investigate the following fractional DDEs under inhomogeneous boundary conditions: Ordinary classes of FDEs are well studied and explored as regards the existence and stability analysis via different methods. But pantograph type fractional DDEs are relay versions to be investigated from this point of view. The aforementioned fractional DDEs is to be investigated with the help of ABC fractional-order derivatives. Therefore, we develop conditions for the existence and different types of stabilities with the help of results of nonlinear analysis and fixed point theory. Further we investigate the boundary value problem (BVP) which has many applications in mathematical modeling of numerous processes and phenomena in engineering, physics and dynamics systems. To illustrate the results we give some examples.

Background materials
This section consist of some basic definitions and lemmas, which are required in this ar- We use in our paper this definition. And in the Riemann-Liouville sense we define Here M(α) > 0 is a normalization function with the property M(0) = M(1) = 1 and E α is the Mittag-Liffler function.

Definition 3 ([31])
Let ω be a function such that ω n ∈ H 1 (a, b) and n < α ≤ n + 1. Then And the associated integral is given as Here β = αn.
The AB fractional integral and derivative of order α ∈ (n, n + 1) of the function ω, satisfy Theorem 1 (Krasnoselskii's fixed-point theorem [32]) If V ⊂ X be a convex and closed non-empty subset, there exist two operators F, G such that • G is continuous and compact, then there exists at least one solution v ∈ E such that

Main results
In this section, we examine the existence and uniqueness of solutions of our proposed problem (1).

Lemma 3 Let y ∈ J, then the solution of the problem
is given by Proof By applying the integral AB 0 I α t to (5), we have Using w(0) = w 0 and w(T) = w 1 in (6) implies c 0 = w 0 and By putting the value of c 0 and c 1 in (6), we get (1) is equal to the following integral equation:

Corollary 1 In view of Lemma 3, our considered problem
For the existence and uniqueness of our propose problem (1), we consider the following assumptions to hold: (B 1 ) There exists a constant K f > 0 such that, for any u, w,ū,w ∈ J, one has
Proof Let the operator F : X → X be defined as To show that F is a condensing operator, letting ω,ω ∈ X, one has This shows that F is a condensing map, so it has a unique fixed point. Consequently, our considered problem (1) has a unique solution.

Fω(t) = Gω(t) + Hω(t).
Theorem 3 If the assumptions (B 1 ), (B 2 ) and 0 < Proof Consider the set V = {ω ∈ X : ω ≤ b}. The continuity of f implies that G is continuous. Now for any ω,ω ∈ V , one has This shows that G is a contraction. Now for the continuity and compactness of H, considering any w ∈ V , one has Hence G is bounded. For continuity letting t 1 < t 2 ∈ J, we have This implies that |Hω(t 2 ) -Hω(t 1 )| → 0 as t 2 → t 1 . Also H is continuous and bounded. Therefore we have Hω(t 2 ) -Hω(t 1 ) → 0 as t 2 → t 1 . Thus H is completely continuous by the Arzelá-Ascoli theorem. Thus all the requirements of Theorem 1 are obtained so our proposed problem (1) has at least one solution in V .

Stability analysis
This section is concerned with the Ulam type stability for our proposed problem. To achieve the goal, we give some definitions and notions.

Definition 4
The solution of our considered problem (1) is HU stable if there exists a positive number C f , such that, for each ε > 0 and for each ω ∈ X of the inequality one has a unique solution ω * ∈ X of the considered BVP (1) such that It will be generalized Hyers-Ulam (GHU) stable, if we can find Remark 1 Let ω ∈ X be the solution of inequality given in (7) if and only if we have a function β ∈ C[0, T] which depends on ω and for each 0 , ω(νt)) + β(t).

Definition 5
The solution ω ∈ X of our proposed problem (1) is Hyers-Ulam-Rassias (HUR) stable with respect to ψ ∈ X if we can find a real constant C f > 0 with the property that, for every ε > 0 and for each ω ∈ X of the inequality one has a unique solution ω * ∈ X of the considered BVP (1) such that It will be generalized Hyers-Ulam-Rassias (GHUR) stable, if Remark 2 ω ∈ X is said to be the solution of the inequality given in (8) if and only if we have a function β ∈ C[0, T] which is depending on ω and for each 0 Lemma 4 Under the Remark 1, the function ω ∈ X corresponding to the given problem satisfies the relation given by where Proof With the help of Lemma 3, the corresponding problem (9) becomes This implies Theorem 4 Under the assumption (A 1 ) along with Lemma 4, the solution of our proposed problem (1) is HU and GHU stable if 1 = C α,T holds.
Proof If ω is any solution and ω * is a unique solution of problem (1), then one has This further implies that ε.

Lemma 5
For the BVP (9), the following inequality holds: Proof We omit the proof as it is straightforward and may be derived like Lemma 4 by using Remark 2.

Examples
In this section, we discuss our result with the help of the following examples.

Conclusion
We have successfully attained several essential conditions for the existence and stability theory for a class of BVPs involving ABC fractional derivative. By classical fixed point theory like Banach contraction and Krasnoselskii's fixed point theorems, the required results have been established. Furthermore, on using nonlinear analysis some adequate results for different kinds of HU stability have been developed. Providing pertinent examples, the results have been justified.