Abstract
Our manuscript is devoted to investigating a class of impulsive boundary value problems under the concept of the Riemann-Liouville fractional order derivative. The subject problem is of implicit type. We develop some adequate conditions for the existence and puniness of a solution to the proposed problem. For our required results, we utilize the classical fixed point theorems from Banach and Scheafer. It is to be noted that the impulsive boundary value problem under the fractional order derivative of the Riemann-Liouville type has been very rarely considered in literature. Finally, to demonstrate the obtained results, we provide some pertinent examples.
1. Introduction
The fractional order differential equations (abbreviated as FODEs) are the generalization of the ordinary differential equations of the integer order. In the 17th century (1665), the great mathematicians Newton, Leibnitz and L’Hospital introduced for the first time the idea of fractional order differential equations (FODEs). Later on, in 1823, another mathematician by the name of Lacroix, introduced the fractional derivative [1] of simple power function. Furthermore, this area has been studied by many researchers because it has significant applications in various fields of science and technology in mathematical modeling of different fields of Science and Technology. For instance, some phenomena including the diffusion process [2], some chemical processes of electrochemistry [3], infectious disease in biology [4], signal and image processing [5], dynamic processes [6], and systems control theory [7] can be excellently described by using FODEs instead of the ordinary derivative. For further applications of FODEs, we refer to [8–13] and the references therein.
On the other hand, an interesting and important branch recently got warm attention known as impulsive differential equations (IDEs). In recent times, the said area has been increasingly used to model many physical and social phenomena in social sciences in a very interesting way. Currently in the said area, significant contribution has been done by various researchers like Simeonov and Bainov [14], Benchohra et al. [15], Lakshmikantham et al. [16], and Samoilenko and Perestyuk [17]. Benchohra and Slimani [18] has initiated the study of FODEs under impulsive conditions by using fractional derivatives of the Caputo and Riemann-Liouville type with order . In addition, some applications of IDEs have been studied in various scientific disciplines such as biology, geography, engineering, dynamics, physics, geology, and management sciences. In terms of the important applications of IDEs, due to important applications of IDEs this field has a lot of significance and concentration (see [19–22]). For general research and significance, we refer some more important publications [23–26]. Many researchers have recently studied nonlinear FODEs with different kinds of boundary and initial conditions. Boundary value problems have significant applications in various fields of dynamics and fluid mechanics as well as engineering disciplines. Here, it is remarkable that problems under integral boundary conditions have some important applications in fluid mechanics, chemical engineering, thermoelasticity, flow of groundwater, population dynamics, and more (see [27–29]). Furthermore, we also refer some significance of FODEs under integral boundary conditions as discussed in [27–31].
Recently, due to increasing applications of FODEs to model real world problems more comprehensively, researchers are taking keen interest to investigate different areas of fractional calculus. In particular, the use of FODEs in mathematical modeling of infectious diseases and other biological phenomena have got more attention. Various researchers have studied the fractional predator-prey pathogen model, the -predator-prey model with herd behavior, etc. (see [32–34]). Further, there is also modeling of the interaction between tumor growth and the immune system, edge-detecting techniques, an infectious diesease on a prepredator model, etc., (we refer to [35–40]).
As stated earlier, the area devoted to IDEs with a fractional order has many applications. These differential equations can be modeled to those evolutionary processes which are subjected to abrupt changes in their states. Recently, some authors have used IDEs for the mathematical modeling of certain biological events. It is remarkable that impulsive differential equations are using in mathematical models which give rise to some important dual-layered impulsive systems. The said systems will open new doors in the future to develop a general mathematical theory for the said systems. For instance, the author of [41] has obtained very interesting results in this regard for various kinds of biological models of infectious diseases. Here, we remark that a very basic and important qualitative problem in the investigation of IDEs with a fractional order concerns the existence theory of solutions. For these purposes, researchers have used the classical fixed point theory and some tools of nonlinear analysis. For instance, in [42], the authors have applied fixed point results to develop the corresponding existence theory of solutions by using the Caputo derivative of the fractional order. In the same line, in [43], the authors have used the Picard-type analysis to investigate the stochastic-type IDEs of a fractional order by using the Caputo operator. In all these papers, the Caputo operator has been increasingly used. It is to be noted that the fractional order derivative of the Riemann-Liouville type has been very rarely used in IDEs.
Authors [44] have established existence theory for fractional order IDEs with initial conditions by using the fixed point theory. The authors in [45] investigated the following problem of IDEs under the fractional order derivative of the Riemann-Liouville type as where and is a continuous function. They developed sufficient conditions for the existence of at least one solution to the considered problem by using a fixed point approach.
Motivated from the said work given in (1), we are interested in studying a class of nonlinear implicit fractional order IDEs under the Riemann-Liouville derivative with the Riemann-Liouville-type integral boundary conditions as where is denoted as the Riemann-Liouville fractional order derivative, , is a continuous function. Furthermore, are continuous functions for and , with , , , for . And also, where , are denoted as the Riemann-Liouville integral of fractional order , on , respectively. To establish the required results, we utilize the Scheafer fixed point theorem to investigate sufficient conditions for the existence of at least one solution to the problem under consideration (2). Furthermore, the criterion of uniqueness is derived by using the Banach contraction theorem. For the demonstration of our results, we provide some concrete examples.
2. Preliminaries
In this section, we provide some important results, basic definitions, and lemmas from the literature of fractional calculus [1, 3, 10, 11], which are needed in this manuscript.
Let , , and for . Suppose that and and exist with Note that is a Banach space of piece-wise continuous function with norm .
Definition 1. The integral of the Riemann-Liouville fractional order of a continuous function is defined by Therefore, the right side is point-wise defined on , where is the symbol of gamma function defined as .
Definition 2. The derivative of the Riemann-Liouville fractional order , of a continuous function , is defined by where , represent the whole part of the real number ; therefore, the right side is point-wise defined on
Definition 3. If the function is at least -times differentiable, then the Caputo fractional derivative of order is defined as where .
Lemma 4 [11]. Suppose , and . Then, FODE has a unique solution given by where , , and .
Lemma 5 [11]. In particular, and . We have where , , and .
3. Main Works
To convert our considered problem in to an impulsive fractional integral equation, the given Lemma is provided.
Lemma 6. The solution of the given linear IDE of the fractional order with the Riemann-Liouville derivative is given by
Proof. Suppose is a solution to Problem (9); then, taking the Riemann-Liouville integral on both sides to using Lemma 5, there exist some constants such that Again taking the Riemann-Liouville integral to using Lemma (9), for some constant , we have Now, by using the impulsive conditions, we have and , and we find that Thus, putting the values in (12), we have The above process can be repeated in this way until we obtain the solution for as Now, applying boundary condition and to get the values of constant and , we have The values of putting in (11) and (15), one can obtain (10). On the contrary, suppose is a solution of the impulsive fractional integral equation (10). Following the direct calculation, we see that (10) satisfies the problem (9).
For simplification, we use the following notations:
For the existence and uniqueness of the solution, we use some fixed point theorems. To transform the considered Problem (2) to a fixed point problem, we need to define the operator by as
By using Lemma 6 with , Problem (2) is reduced to a fixed point problem , where the operator is given by (18). Therefore, Problem (2) has a solution if and only if operator has a fixed point, where and . The following hypotheses are satisfied:
(1) The function is continuous
(2) There exist some constants and , such that for any , , and .
(3) There exists a constant , such that for each and .
(4) There exists a constant , such that for every and .
We use Banach fixed point theorem to prove that problem (2) has unique solution.
Theorem 7. Under hypotheses ()–() and if the following condition holds then, there exists a unique solution for Problem (2) on .
Proof. Let for some , we have which further gives where are given by By using hypothesis , we have Repeating this process, we get Therefore, for every and from (24), using hypothesis , , and (27), one has Upon further simplification, (29) yields Hence, from (29), we have By (22), operator is a contraction. Thus, according to Banach’s contraction principle, operator has a unique fixed point which is the unique solution to Problem (2).
Next, we will prove that Problem (2) has at least one solution for this, and we use Schaefer’s fixed point theorem. Let the given hypotheses hold true:
(5) There exist , with such that for , , and .
(6) The function is continuous, and there exist constants such that for every , .
(7) The function is continuous, and there exist constants such that for every , .
Theorem 8. If the hypotheses (), (), ()-() are satisfied, then Problem (2) has at least one solution.
Proof. The proof is performed in several steps.
(Step 1)The operator is continuousAssume be a sequence such that on .
For , we have
where , are given by
Now, from assumption , we have
Repeating this process, we get
Since , as for every . We know that every convergent sequence is bounded, so for this, let such that for every , we have and . Then, we have
for every ; the function and are integrable on , upon the use of these facts and the Lebesque-dominated convergence theorem in (35). After using assumptions , we see that
and hence, we have
Therefore, operator is continuous.
(Step 2)The operator assigns bounded sets to bounded sets on . Just prove it for any , there exists a positive constant , such that for every , we have . To derive this result for each , one haswhere is given by
By hypothesis () and for every , we have
Thus, we have
Therefore, from (42) by using (45), one has
Hence, one has
Therefore, the operator is bounded.
(Step 3)The operator assigns bounded sets to equicontinuous sets of Let , , and . is a bounded set as in Step 2, and let ; then, we haveUsing (45) and hypotheses and in (48), we obtain
Clearly, in the inequality (49), the right hand side tends to zero as Hence, as . As a consequence of the passage from Step 1 to Step 3 combined with the Arzellá-Ascolli theorem, we conclude that is completely continuous.
(Step 4)In the last step, we need to show that the set is bounded. Let ; then, for some . Therefore, for every , we haveNow, we have
Using (45) and hypotheses and in (51), we get
Hence, one has from where
Hence, the given set is bounded as a result of the Schaefer fixed point theorem, and we conclude that operator has at least one fixed point. Hence, the corresponding Problem (2) has at least one solution.
4. Examples
Here, we provide two pertinent examples to verify the previous results.
Example 1. Consider the following IDE under the Riemann-Liouville-type integral boundary condition and the Riemann-Liouville fractional order derivative
where , we set
Clearly is a jointly continuous function.
Now for every , , , , and , we have
Which satisfies hypothesis with . Now, we set
Then, for , , we have
Therefore, with , hypothesis is satisfied. Next, we set
Then, for , , we have
Thus, with , hypothesis is satisfied. Further, we need to satisfy the given condition of Theorem 7, by
Therefore, all the hypotheses and conditions of Theorem 7 are satisfied. Therefore, the considered problem (54) has a unique solution on .
Example 2. Consider another example of IDE under the Riemann-Liouville-type integral boundary condition and the Riemann-Liouville fractional order derivative:
where and We set
Clearly is a jointly continuous function.
Now for every , , , , and , we have
This satisfies hypothesis (), with
Now, another hypotheses for every , , and , we have
Thus, hypothesis () is satisfied with , , and Now, we set
Then, for every we have
Therefore, hypothesis () is satisfied with and . Next, we set
Then, for every , we have
Thus, hypothesis () is satisfied with and . Therefore, all of the hypotheses of Theorem 8 are satisfied, and therefore, the considered problem (62) has at least one solution on .
5. Conclusion
IDEs of the fractional order have received proper attention due to their important applications in various fields of applied sciences. In the past, most studies have been done using the Caputo-type fractional derivatives to handle IDEs. In very few papers, investigating IDEs of the fractional order was done using the Riemann-Liouville derivative. Therefore, we have established successfully some important results devoted to the existence theory of a solution to the considered nonlinear implicit IDE with the Riemann-Liouville-type integral boundary conditions under the Riemann-Liouville fractional order derivative. The corresponding results for the existence and uniqueness of the solution have been archived by utilizing the classical Schiefer and Banach contraction fixed point theorems. For the demonstration of our results, we have enriched the paper by providing two pertinent examples.
Data Availability
Data used to support the findings of this study are included within the article.
Conflicts of Interest
No conflict of interest exist.
Authors’ Contributions
Equal contribution has been done by all the authors.
Acknowledgments
This research was funded by the Deanship of Scientific Research at Princess Nourah bint Abdulrahman University through the Fast-track Research Funding Program to support publication in the top journal (Grant No: 42.FTTJ-87).