## Recent Developments and Applications on Discrete Fractional Equations and Related Topics

View this Special IssueResearch Article | Open Access

# A Mixed Monotone Operator Method for the Existence and Uniqueness of Positive Solutions to Impulsive Caputo Fractional Differential Equations

**Academic Editor:**Jehad Alzabut

#### Abstract

We establish some sufficient conditions for the existence and uniqueness of positive solutions to a class of initial value problem for impulsive fractional differential equations involving the Caputo fractional derivative. Our analysis relies on a fixed point theorem for mixed monotone operators. Our result can not only guarantee the existence of a unique positive solution but also be applied to construct an iterative scheme for approximating it. An example is given to illustrate our main result.

#### 1. Introduction

The purpose of this paper is to investigate the existence and uniqueness of positive solutions to the following impulsive initial value problem (IVP for short) for Caputo fractional-order differential equations: where , , is the Caputo fractional derivative, and are given functions, , , , , and and represent the right and left limits of at .

Fractional differential equations arise in many fields, such as physics, mechanics, chemistry, economics, engineering, and biological sciences; see [1ā6], for example. In the recent years, there has been a significant development in ordinary and partial differential equations involving fractional derivatives; see the monographs of Miller and Ross [3], Podlubny [5], Kilbas et al. [6], and the papers [7ā21] and the references therein. In these papers, many authors have investigated the existence of positive solutions for nonlinear fractional differential equation boundary value problems. On the other hand, the uniqueness of positive solutions for nonlinear fractional differential equation boundary value problems has been studied by some authors; see [10, 15, 19, 22, 23], for example.

In [7], Ahmad and Sivasundaram considered the following impulsive hybrid boundary value problem for nonlinear fractional differential equations: where is the Caputo fractional derivative, is a continuous function, , with , and , for . Based on contraction mapping principle and the Krasnoselskii fixed point theorem, they discussed some existence results for (2).

In [24], Benchohra and Slimani concerned the existence and uniqueness of solutions for the following initial value problem for Caputo fractional-order differential equations: where , , is a given function, , , , , and and represent the right and left limits of at . They gave an existence and uniqueness result for the IVP (3) which was based on the Banach fixed point theorem and also obtained two existence and uniqueness results; the first one was based on the Schaefer fixed point theorem and the second one was based on the nonlinear alternative of the Leray-Schauder type.

Different from the above works [7, 24], in this paper, we will use a fixed point theorem for mixed monotone operators to study the existence and uniqueness of positive solutions for the IVP (1). Our result can not only guarantee the existence of unique positive solution but also be applied to construct iterative scheme for approximating it.

With this context in mind, the outline of this paper is as follows. In Section 2, we will recall certain results from the theory of fractional calculus and some definitions, notations, and results of mixed monotone operators. In Section 3, we will provide some conditions under which the IVP (1) will have a unique positive solution. Finally, in Section 4, we will provide one example, which explicates the applicability of our main result.

#### 2. Preliminaries

For the convenience of the reader, we present here some definitions, lemmas, and basic results that will be used in the proof of our main theorem.

*Definition 1 (see [9]). *Let with . Suppose that . Then the th Riemann-Liouville fractional integral is defined to be
whenever the right-hand side is defined. Similarly, with and , one defines the th Riemann-Liouville fractional derivative to be
where is the unique positive integer satisfying and .

*Definition 2 (see [11]). *For a function given on the interval , the Caputo fractional-order derivative of order of is defined by
where .

In the sequel, we present some basic concepts in the ordered Banach spaces for completeness and one fixed point theorem which will be used later. For convenience of readers, we suggest that one refers to [23, 25, 26] for details.

Suppose that is a real Banach space which is partially ordered by a cone . That is, if and only if . If and , then we denote that or . By we denote the zero element of . Recall that a nonempty closed convex set is a cone if it satisfies āā, ; āā, .

is called normal if there exists a constant such that, for all , , implies that ; in this case is called the normality constant of . If , , the set is called the order interval between and .

*Definition 3 (see [23, 25, 26]). *Consider that is said to be a mixed monotone operator if is increasing in and decreasing in ; that is, , , , and imply that . Element is called a fixed point of if .

Lemma 4 (see [25]). *Let be normal and let be a mixed monotone operator. Suppose that** there exist and , such that and ,** for any , there exists , such that
**Then has a unique fixed point in with . Moreover, for any initial values , , constructing successively the sequences
**
one has and as .*

#### 3. Main Result

In this section, we apply Lemma 4 to study the IVP (1) and then we obtain a new result on the existence and uniqueness of positive solutions. The existence and uniqueness result is relatively new to the fractional differential equations in this literature.

In our considerations we will work in the Banach space with the standard norm . Notice that this space can be equipped with a partial order given by Set , the standard cone. It is clear that is a normal cone in and the normality constant is 1. Consider the following set of functions: Then is a Banach space with the norm Denote by ; then is a standard and normal cone in .

Lemma 5 (see [24]). *Let and let be continuous. A function is a solution of the fractional integral equation:
**
where , if and only if is a solution of the fractional IVP
*

*Remark 6. *The concept of solutions for fractional differential equations has been argued extensively; see [7, 18, 21, 24] and the references therein. In [18], the authors gave a counterexample to show that the result in Lemma 5 is not reasonable. However, the counterexample is inappropriate. From the very recent paper [21], the approach for finding the solution of impulsive fractional differential equations in [18] is inappropriate and some arguments like Lemma 5 are plausible.

For the convenience, we list the following conditions: Ć Ć is continuous and Ć is continuous; is increasing in for fixed and and decreasing in for fixed and , and is decreasing in for fixed ; for any , there exist , , and which depend on , such that
the functions are continuous and nondecreasing and there exists a constant such that for each , ;.

Theorem 7. *Assume that are satisfied and there exists such that
**
where , .**Then the IVP (1) has a unique positive solution in with , . Moreover, for any initial values , , constructing successively the sequences
**
where , then one has and as .*

*Proof. *To begin with, from Lemma 5, the IVP (1) has an integral formulation given by
Define an operator by
It is easy to prove that is the solution of the IVP (1) if and only if is the fixed point of . From , , and , we know that
for any , . So, . In the sequel we check that satisfies all assumptions of Lemma 4.

Firstly, we prove that is a mixed monotone operator. In fact, for , with , , we know that , , and , and by and Definition 3, we have that
That is, .

Next, we show that satisfies the condition of Lemma 4. Now, we set . Then, .

On the one hand, from and , we have
That is to say, . From (15), for any , we obtain
That is, .

On the other hand, we take such that
where , , and . For any ,
That is to say, . Therefore, condition of Lemma 4 holds.

Finally, we show that satisfies condition of Lemma 4. Let and
For any , , and , by we have
That is to say, , for all , . Hence, condition of Lemma 4 is satisfied. So, the conclusion of Theorem 7 follows from Lemma 4.

#### 4. An Example

We present one example to illustrate Theorem 7.

*Example 1. *Consider the following fractional IVP:
where , .

In this example,
Then, , is continuous and increasing in for fixed and and decreasing in for fixed and . And , is continuous and decreasing in for fixed . Moreover, for any , we take
For any , , and , we have
We show that
if and only if we can prove that
That is to say,
From (29), we get
and then
Hence, (33) is satisfied. So, (31) holds.

Similarly, we obtain that
Further, is continuous, increasing in , and
And, we also have .

Finally, owing to , we have that
We take such that
And thus,
Then,
Hence, (15) holds. Therefore, all the conditions of Theorem 7 are satisfied. An application of Theorem 7 implies that problem (27) has a unique positive solution.

#### Acknowledgments

This research was supported by the Youth Science Foundation of China (11201272), the Science Foundation of Shanxi Province (2013011003-3), and the Science Foundation of Business College of Shanxi University (2012050).

#### References

- K. B. Oldham and J. Spanier,
*The Fractional Calculus*, vol. 111 of*Mathematics in Science and Engineering*, Academic Press, New York, NY, USA, 1974. View at: MathSciNet - L. Gaul, P. Klein, and S. Kemple, āDamping description involving fractional operators,ā
*Mechanical Systems and Signal Processing*, vol. 5, no. 2, pp. 81ā88, 1991. View at: Google Scholar - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, John Wiley & Sons, New York, NY, USA, 1993. View at: MathSciNet - W. G. Glockle and T. F. Nonnenmacher, āA fractional calculus approach to self-similar protein dynamics,ā
*Biophysical Journal*, vol. 68, no. 1, pp. 46ā53, 1995. View at: Google Scholar - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calf, USA, 1999. View at: MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematics Studies*, Elsevier Science B.V., Amsterdam, The Netherlands, 2006. View at: Publisher Site | MathSciNet - B. Ahmad and S. Sivasundaram, āExistence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations,ā
*Nonlinear Analysis: Hybrid Systems*, vol. 3, no. 3, pp. 251ā258, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Bai and H. Lü, āPositive solutions for boundary value problem of nonlinear fractional differential equation,ā
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 2, pp. 495ā505, 2005. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C. S. Goodrich, āExistence of a positive solution to a class of fractional differential equations,ā
*Applied Mathematics Letters*, vol. 23, no. 9, pp. 1050ā1055, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Zhou, āExistence and uniqueness of fractional functional differential equations with unbounded delay,ā
*International Journal of Dynamical Systems and Differential Equations*, vol. 1, no. 4, pp. 239ā244, 2008. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. A. Kilbas and S. A. Marzan, āNonlinear differential equations with the Caputo fractional derivative in the space of continuously differentiable functions,ā
*Differential Equations*, vol. 41, pp. 84ā89, 2005. View at: Google Scholar - E. R. Kaufmann and E. Mboumi, āPositive solutions of a boundary value problem for a nonlinear fractional differential equation,ā
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 2008, no. 3, pp. 1ā11, 2008. View at: Google Scholar | Zentralblatt MATH | MathSciNet - N. Kosmatov, āA singular boundary value problem for nonlinear differential equations of fractional order,ā
*Journal of Applied Mathematics and Computing*, vol. 29, no. 1-2, pp. 125ā135, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - X. Xu, D. Jiang, and C. Yuan, āMultiple positive solutions for the boundary value problem of a nonlinear fractional differential equation,ā
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 71, no. 10, pp. 4676ā4688, 2009. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - L. Yang and H. Chen, āUnique positive solutions for fractional differential equation boundary value problems,ā
*Applied Mathematics Letters*, vol. 23, no. 9, pp. 1095ā1098, 2010. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Y. Wang, L. Liu, and Y. Wu, āPositive solutions for a nonlocal fractional differential equation,ā
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 11, pp. 3599ā3605, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - C. Lizama, āAn operator theoretical approach to a class of fractional order differential equations,ā
*Applied Mathematics Letters*, vol. 24, no. 2, pp. 184ā190, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Fečkan, Y. Zhou, and J. Wang, āOn the concept and existence of solution for impulsive fractional differential equations,ā
*Communications in Nonlinear Science and Numerical Simulation*, vol. 17, no. 7, pp. 3050ā3060, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - Z. Liu and X. Li, āExistence and uniqueness of solutions for the nonlinear impulsive fractional differential equations,ā
*Communications in Nonlinear Science and Numerical Simulation*, vol. 18, no. 6, pp. 1362ā1373, 2013. View at: Publisher Site | Google Scholar | MathSciNet - Z. H. Liu, X. W. Li, and I. Sznt, āExistence of solutions for fractional impulsive differential equations with
*p*-Laplacian operator,ā*Acta Mathematica Hungarica*, vol. 141, no. 3, pp. 203ā219, 2013. View at: Publisher Site | Google Scholar - G. T. Wang, B. Ahmad, L. H. Zhang, and J. J. Nieto, āComments on the concept of existence of solution for impulsive fractional differential equations,ā
*Communications in Nonlinear Science and Numerical Simulation*, vol. 19, no. 3, pp. 401ā403, 2013. View at: Publisher Site | Google Scholar - C. Yang and C. Zhai, āUniqueness of positive solutions for a fractional differential equation via a fixed point theorem of a sum operator,ā
*Electronic Journal of Differential Equations*, vol. 2012, no. 70, pp. 1ā8, 2012. View at: Google Scholar | Zentralblatt MATH | MathSciNet - C. Zhai and M. Hao, āFixed point theorems for mixed monotone operators with perturbation and applications to fractional differential equation boundary value problems,ā
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 75, no. 4, pp. 2542ā2551, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Benchohra and B. A. Slimani, āExistence and uniqueness of solutions to impulsive fractional differential equations,ā
*Electronic Journal of Differential Equations*, vol. 2009, no. 10, pp. 1ā11, 2009. View at: Google Scholar | Zentralblatt MATH | MathSciNet - D. J. Guo, āExistence and uniqueness of positive fixed points for mixed monotone operators and applications,ā
*Applicable Analysis*, vol. 46, no. 1-2, pp. 91ā100, 1992. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - D. J. Guo and V. Lakshmikantham,
*Nonlinear Problems in Abstract Cones*, vol. 5 of*Notes and Reports in Mathematics in Science and Engineering*, Academic Press, Boston, Mass, USA, 1988. View at: MathSciNet

#### Copyright

Copyright © 2013 Jieming Zhang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.