Abstract

We study the existence, uniqueness, and various kinds of Ulam–Hyers stability of the solutions to a nonlinear implicit type dynamical problem of impulsive fractional differential equations with nonlocal boundary conditions involving Caputo derivative. We develop conditions for uniqueness and existence by using the classical fixed point theorems such as Banach fixed point theorem and Krasnoselskii’s fixed point theorem. For stability, we utilized classical functional analysis. Also, an example is given to demonstrate our main theoretical results.

1. Introduction

Over the past few decades, differential equations of fractional order have got considerable attention from the researchers due to their significant applications in various disciplines of science and technology. Fractional derivatives introduce amazing instrument for the description of general properties of different materials and processes. This is the primary advantage of fractional derivatives in comparison with classical integer order models, in which such impacts are in fact ignored. The advantages of fractional derivatives become apparent in modeling mechanical and electrical properties of real materials, as well as in the description of properties of gases, liquids, rocks and in many other fields (see [1, 2]). Since fractional order differential equations play important roles in modeling real world problems related to biology, viscoelasticity, physics, chemistry, control theory, economics, signal and image processing phenomenon, bioengineering, and so forth (for details, see [37]), it is investigated that fractional order differential equations model real world problems more accurately than differential equations of integer order. The area devoted to the study of existence and uniqueness of solutions to initial/boundary value problems for fractional order differential equations has been studied very well and plenty of papers are available on it in the literature. We refer the reader to few of them in [814] and the references therein. To model evolution process and phenomena which are experienced from sudden changes in their states, impulsive differential equations serve as a powerful mathematical tool to model them. In daily life, we observe several physical systems that suffer from impulsive behavior such as the pendulum clock action, heart function, mechanical systems subject to impacts, dynamic of system with automatic regulation, the maintenance of a species through periodic stocking or harvesting, the thrust impulse maneuver of a spacecraft, control of the satellite orbit, disturbances in cellular neural networks, fluctuations of economical systems, vibrations of percussive systems, and relaxational oscillations of the electromechanical systems. For details, see [1523].

In some cases, nonlocal conditions are imposed instead of local conditions. It is sometimes better to impose nonlocal conditions since the measurements needed by a nonlocal condition may be more precise than the measurement given by a local condition in dynamical problems. Also, nonlocal boundary value problems have become an expeditiously growing area of research. The study of this type of problems is driven not only by a theoretical interest, but also by the fact that several phenomena in physics, engineering, and life sciences can be modeled in this manner, for example, problems with feedback controls such as the steady-states of a thermostat, where a controller at one of its ends adds or removes heat. For more applications, see [24] and references therein. Due to the aforesaid significant behavior, we prefer to take nonlocal boundary conditions.

The definitions of the fractional order derivative are not unique and there exist several definitions, including Grunwald–Letnikov [7], Riemann–Liouville [25], Weyl–Riesz [26], Erdlyi–Kober [27], and the Caputo [28] representation for fractional order derivative. In the Caputo case, the derivative of a constant is zero and we can define, properly, the initial conditions for the fractional differential equations which can be handled by using an analogy with the classical integer case. For these reasons, in this manuscript, we prefer to use the Caputo fractional derivative.

Tian and Bai [29] studied the existence and uniqueness of the following nonlinear impulsive boundary value problem:where , is continuous, are continuous, and with , , , are the respective left and right limits of at .

In , Ulam posed the following problem about the stability of functional equations: “Under what conditions does there exist an additive mapping near an approximately additive mapping?” (see [30]). In the following year, Hyers gave an answer to the problem of Ulam for additive functions defined on Banach spaces [31]. Let , be two real Banach spaces and Then for each mapping satisfying for all , there is a unique additive mapping with That is why the name of this stability is Ulam–Hyers stability. Later on, Hyers results are extended by many mathematicians; for details, reader may see [3239] and the reference therein. The mentioned stability analysis is extremely helpful in numerous applications, for example, numerical analysis and optimization, where it is very tough to find the exact solution of a nonlinear problem. We notice that Ulam–Hyers stability concept is quite significant in realistic problems in numerical analysis, biology, and economics. The aforementioned stability has very recently attracted the attention of researchers; we refer the reader to some papers in [4045]. Because fractional order system may have additional attractive feature over the integer order system, let us suppose the following example to show which one is more stable in the aforementioned (fractional order and integer order) systems.

Example (see [46]). We have the following two systems with initial condition for ,Then the analytical solutions of (5) and (6) are and , respectively. Clearly, the integer order system (5) is unstable for any . But the fractional dynamic system (6) is stable for each . So fractional order system may have better features than integer order system.

Influenced from the above-mentioned work, we will study the existence, uniqueness, and different types of Ulam–Hyers stability of the following implicit impulsive fractional order differential equations with nonlocal boundary conditions, involving Caputo derivativewhere is continuous, are continuous, and with , , , are the respective left and right limits of at .

The manuscript is structured as follows. In Section 2, we give some definitions, theorems, lemmas, and remarks. In Section 3, we built up some adequate conditions for the existence and uniqueness of solutions to the considered problem (7) through using fixed point theorems of Krasnoselski’s and Banach contraction type. In Section 4, we establish applicable results under which the solution of the considered boundary value problem (7) satisfies the conditions of different kinds of Ulam–Hyers stability. The established results are illustrated by an example in Section 5.

2. Background Materials and Auxiliary Results

This section is devoted to some basic definitions, theorems, lemmas, and remarks which are useful in existence and stability results.

Definition 1 (see [11]). For a function , the Caputo derivative of fractional order is defined as where denotes the integer part of .

Definition 2 (see [11]). The fractional integral of order of function is given by where

Lemma 3 (see [11]). Let , then the differential equations has solution given by where .

Lemma 4 (see [11]). Let , then the solution of the differential equation will be in the following form: where .

Lemma 5. For such that , let define the spaceThen, clearly is Banach space endowed with a norm .

Theorem 6 ((Krasnoselskii’s fixed point theorem) see [47]). Consider be a convex closed and nonempty subset of Banach space . Suppose , be the operators such that(i) whenever ;(ii) is compact and continuous and is contraction mapping. Then there is such that

Theorem 7 ((Banach fixed point theorem) see [47]). Suppose be a nonempty closed subset of a Banach space . Then any contraction mapping from into itself has a unique fixed point.

Ulam Type Stability. Let and be positive real numbers and a nondecreasing function. Then the following inequalities exist:

Definition 8 (see [48]). The considered problem (7) is Ulam–Hyers stable, if there is a constant such that, for every and for every solution of inequality (17), there is a unique solution of the considered problem (7) with

Definition 9 (see [48]). The considered problem (7) is generalized Ulam–Hyers stable, if there is , , such that, for every solution of inequality (17), there is a unique solution of the considered problem (7) with

Definition 10 (see [48]). The considered problem (7) is Ulam–Hyers–Rassias stable with respect to , if there is a constant , such that, for every and for every solution of inequality (18), there is a unique solution of the considered problem (7) with

Definition 11 (see [48]). The considered problem (7) is generalized Ulam–Hyers–Rassias stable with respect to , if there is a constant , such that, for every solution of inequality (19), there is a unique solution of the considered problem (7) with

Remark 12. A function is a solution of inequality (17), if there is a function and a sequence (which depend on only), such that (i);(ii);(iii);(iv)

Remark 13. A function is a solution of inequality (18), if there is a function and a sequence (which depend on only), such that (i);(ii);(iii);(iv)

Remark 14. A function is a solution of inequality (19), if there is a function and a sequence (which depend on only), such that (i);(ii);(iii);(iv)

3. Main Results

Theorem 15. For , the following linear boundary value problemhas a solution of the form

Proof. Apply Lemma 4 to the differential equation (24) with using constants , such thatand also Likewise, for , there are , such that Hence, it follows that Using the following impulsive conditions We obtain Hence, we get Going on the similar way, we get the following expression for the solution for :Now, by applying the nonlocal boundary conditions , on (33) and calculating the values of , , (25) can be obtained.
Conversely, if is the solution of integral equation (25), then it is obvious that and , , , , Hence proof is completed.

We define by where Suppose that the following hold. ()For any , there exist , , such that ()For any and for each , there exist , such that()For , there exist constants such that The following result is based on Banach contraction theorem.

Theorem 16. Under the assumptions and ifthe considered problem (7) has a unique positive solution.

Proof. Suppose and for every , considerwhere Sowhich implies that which implies that is contraction. Hence, the considered problem (7) has a unique positive solution.

The following result is based on Krasnoselskii’s fixed point theorem.

Theorem 17. In addition to assumptions ()(), let the following hold. ()There exist constants such that ()For , there exist , such that with , , and ()The function is continuous and there exist constants such that , ()The function is continuous and there exist constants , such that , If then the considered problem (7) has at least one positive solution.

Proof. Take for , with , where , such that Construct a closed ball , such that Split the operator into two parts as , where Clearly Now we show that , for all . For any , we havewhere Now by , we have Therefore, we getUsing , , and (55) in (52), we get Hence, we get that which implies that . Now, for the contraction of , using and for any , we have Thus, will be contraction if the following assumption holds: Next is compact. The continuity of implies that is continuous. For By using (55), we get which indicates that is uniformly bounded on . Let us take a bounded subset of and . Then for with , we have where Therefore, the right hand side isThus, is equicontinuous and by Arzela–Ascoli’s Theorem [49], is compact. By using Theorem 6, the considered problem (7) has at least one positive solution.

4. Ulam Stability Results

In this section, we built up some sufficient conditions under which problem (7) satisfies the assumptions of various kinds of Ulam–Hyers stability.

Lemma 18. If is the solution of inequality (17) and , then is the solution of the following inequality:

Proof. Since is the solution of inequality (17), so in view of Remark 13, we haveSo the solution of (65) will be in the following form:where For convenience, we denote the sum of terms free of by , that is, Therefore, (66) becomes By using of Remark 13, we get

Theorem 19. Let assumptions ()() hold along with the condition Then problem (7) will be Ulam–Hyers stable.

Proof. Suppose be any solution of inequality (17) and let be the unique solution of the considered problem (7), then NowUsing Lemma 18 in (73), we havefor , where Now by , we have So, we obtainUsing , and (77) in (74), so for every , we get the following: After simplification, we obtain Hence, we havewhere with Thus, problem (7) is Ulam–Hyers stable.

Remark 20. By setting , in (80), then by Definition 9 the considered problem (7) is generalized Ulam–Hyers stable.Suppose a function , which is increasing. Then there is , such that, for every , the following integral inequality holds.

Lemma 21. Let assumption () hold and suppose is the solution of inequality (18), then will be the solution of the following integral inequality:

Proof. From Lemma 18, we have By Remark 14 and , we obtain Hence, we have

Theorem 22. Suppose assumptions ()(), (), and () with hold. Then the considered problem (7) will be Ulam–Hyers–Rassias stable.

Proof. Suppose be any solution of inequality (17) and be the unique solution of the considered problem (7), then from (73)Now using Lemma 21 in (89), we obtainfor , where Using and likewise in Theorem 19, so (90) becomes After arrangement, we obtain the following: Hence, we havewhere Hence, the considered problem (7) is Ulam–Hyers–Rassias stable.

Remark 23. If we plug in (94), then by Definition 11 the considered problem (7) will be generalized Ulam–Hyers–Rassias stable.

5. Example

Consider the following implicit impulsive fractional differential equations with nonlocal boundary conditions.

Example 1. where , , and ,
For , we have Hence, is satisfied with and
Now for any , , we get so is satisfied with
Also, for , we have Hence, is also satisfied with and .
Therefore, we can see for , , , , , , and Thus, condition (39) is satisfied. So problem (96) has a unique positive solution.
Furthermore, with condition (17) holds and So by Theorem 19 problem (96) is Ulam–Hyers stable and by Remark 20, it will be generalized Ulam–Hyers stable. Also by demonstrating the conditions of Theorem 22 and Remark 23, it can be easily seen that the considered problem (96) is Ulam–Hyers–Rassias stable and generalized Ulam–Hyers–Rassias stable.

6. Conclusion

We have successfully built up some proper conditions for existence theory of implicit impulsive fractional order differential equations with nonlocal boundary conditions, by using different kinds of fixed point theorems which are stated in Section 2. The concerned theorems ensure the existence and uniqueness of solution. Further, we did settle some adequate conditions for different kinds of Ulam–Hyers stability (see Theorems 19 and 22 with Remarks 20 and 23, respectively) by using Definitions 811. The mentioned stability is rarely investigated for implicit impulsive fractional differential equations and also very important. Finally, we illustrated the main results by giving a suitable example.

Conflicts of Interest

There are no conflicts of interest regarding this research work.

Authors’ Contributions

All authors contributed equally to this manuscript and have read and approved the final version.

Acknowledgments

This research work has been supported by the Institution of Business Administration, University Road, Karachi 74200, Pakistan. The last author Dr. Ghaus ur Rahman is supported by HEC via Project no. 21-190/SRGP/R&D/HEC/2014.