Abstract
In this article, by employing a fixed point theorem in cones, we investigate the existence of a positive solution for a class of singular semipositone fractional differential equations with integral boundary conditions. We also obtain some relations between the solution and Green’s function.
MSC: 26A33, 34B15, 34B16, 34G20.
Keywords:
fractional differential equations; integral boundary value problem; positive solution; semipositone; cone1 Introduction
In this article, we consider the existence of a positive solution for the following singular semipositone fractional differential equations:
where , , , , is the standard RiemannLiouville derivative, may be singular at and/or . Since the nonlinearity may change sign, the problem studied in this paper is called the semipositone problem in the literature which arises naturally in chemical reactor theory. Up to now, much attention has been attached to the existence of positive solutions for semipositone differential equations and the system of differential equations; see [111] and references therein to name a few.
Boundary value problems with integral boundary conditions for ordinary differential equations arise in different fields of applied mathematics and physics such as heat conduction, chemical engineering, underground water flow, thermoelasticity, and plasma physics. Moreover, boundary value problems with integral conditions constitute a very interesting and important class of problems. They include twopoint, threepoint, multipoint, and nonlocal boundary value problems as special cases, which have received much attention from many authors. For boundary value problems with integral boundary conditions and comments on their importance, we refer the reader to the papers by Gallardo [12], Karakostas and Tsamatos [13], Lomtatidze and Malaguti [14], and the references therein.
On the other hand, fractional differential equations have been of great interest for many researchers recently. This is caused both by the intensive development of the theory of fractional calculus itself and by the applications of such constructions in various fields of science and engineering such as control, porous media, electromagnetic, and other fields. For an extensive collection of such results, we refer the readers to the monographs by Samko et al.[15], Podlubny [16] and Kilbas et al.[17]. For the case where α is an integer, a lot of work has been done dealing with local and nonlocal boundary value problems. For example, in [18] Webb studied the nthorder nonlocal BVP
where can have singularities, and the nonlinearity f satisfies Carathéodory conditions. Under weak assumptions, Webb obtained sharp results on the existence of positive solutions under a suitable condition on f. In [19] Hao et al. consider the nthorder singular nonlocal BVP
where is a parameter, a may be singular at and/or , may also have singularity at .
In two recent papers [20] and [21], by means of the fixed point theory and fixed point index theory, the authors investigated the existence and multiplicity of positive solutions for the following two kinds of fractional differential equations with integral boundary value problems:
and
where , and are the standard RiemannLiouville derivative and the Caputo fractional derivative, respectively.
To the author’s knowledge, there are few papers in the literature to consider fractional differential equations with integral boundary value conditions. Motivated by above papers, the purpose of this article is to investigate the existence of positive solutions for the more general fractional differential equations BVP (1). Firstly, we derive corresponding Green’s function known as fractional Green’s function and argue its positivity. Then a fixed point theorem is used to obtain the existence of positive solutions for BVP (1). We also obtain some relations between the solution and Green’s function. From the example given in Section 4, we know that λ in this article may be greater than 2 and η may take the value 1. Therefore, compared with that in [21], BVP (1) considered in this article has a more general form.
The rest of this article is organized as follows. In Section 2, we give some preliminaries and lemmas. The main result is formulated in Section 3, and an example is worked out in Section 4 to illustrate how to use our main result.
2 Preliminaries and several lemmas
Let , , then is a Banach space. Denote , , .
For the reader’s convenience, we present some necessary definitions from fractional calculus theory and lemmas. They can be found in the recent literature; see [1417].
Definition 2.1 The RiemannLiouville fractional integral of order of a function is given by
provided the righthand side is pointwise defined on .
Definition 2.2 The RiemannLiouville fractional derivative of order of a continuous function is given by
where , denotes the integer part of the number α, provided that the righthand side is pointwise defined on .
From the definition of the RiemannLiouville derivative, we can obtain the statement.
Lemma 2.1 ([17])
Let. If we assume, then the fractional differential equation
has, , , as unique solutions, whereNis the smallest integer greater than or equal toα.
Lemma 2.2 ([17])
Assume thatwith a fractional derivative of orderthat belongs to.
Then
for some, , whereNis the smallest integer greater than or equal toα.
In the following, we present Green’s function of the fractional differential equation boundary value problem.
where
Here, , is called the Green function of BVP (2). Obviously, is continuous on.
Proof We may apply Lemma 2.2 to reduce (2) to an equivalent integral equation
for some . Consequently, the general solution of (2) is
By , one gets that . On the other hand, combining with
yields
Therefore, the unique solution of the problem (2) is
The proof is complete. □
Lemma 2.4 The functiondefined by (3) satisfies
(a4) , andis not decreasing on;
From above, (a1), (a2), (a3), (a5) are complete. Clearly, (a4) is true. The proof is complete. □
Throughout this article, we adopt the following conditions.
(H_{1}) and there exist , , such that
(H_{2}) There exists such that uniformly for ;
(H_{3}) There exists such that
Let
Obviously, Q is a cone in a Banach space E and is an ordering Banach space.
Let
where is defined as that in (H_{1}). It follows from Lemma 2.4 and (H_{3}) that
For any , , . Consequently, by (6) and Lemma 2.4, we have
We define an operator A as follows:
Lemma 2.5Suppose that ()() hold. Thenis completely continuous.
Proof For any , it is clear that . By (H_{1}), we get
By (10) and Lemma 2.4, we have
which together with (H_{3}) means that operator A defined by (9) is well defined.
For any , by (H_{1}) we have by (9) and Lemma 2.4 that
which means that
It follows from (12) and Lemma 2.4 that
Thus, A maps Q into Q.
Finally, we prove that A maps Q into Q is completely continuous.
Let be any bounded set. Then there exists a constant such that for any . Notice that , for any , , by (H_{3}) and (11), we have
Therefore, is uniformly bounded.
On the other hand, since is continuous on , it is uniformly continuous on as well. Thus, for fixed and for any , there exists a constant such that for any and ,
Therefore, for any , we get by (10) and (13)
which implies that the operator A is equicontinuous. Thus, the AscoliArzela theorem guarantees that is a relatively compact set.
Let , (). Then is bounded. Let , by (10), we get
By (9), we have
It follows from (14), (15), (H_{1}), (H_{3}), and the Lebesgue dominated convergence theorem that A is continuous. Thus, we have proved the continuity of the operator A. This completes the complete continuity of A. □
To prove the main result, we need the following wellknown fixed point theorem.
Lemma 2.6 (Fixed point theorem of cone expansion and compression of norm type [22])
Letandbe two bounded open sets in a Banach spaceEsuch thatandbe a completely continuous operator, whereθdenotes the zero element ofEandPa cone ofE. Suppose that one of the two conditions holds:
3 Main result
Theorem 3.1Assume that conditions ()() are satisfied. Then the singular semipositone BVP (1) has at least one positive solution. Furthermore, there exist two constantssuch that
Proof Firstly, we show that the operator A has a fixed point in Q. Let
where r is the same as that defined in (H_{3}). For any , by (10) and (12), we have that
Therefore,
which together with (H_{3}) implies that
For in (H_{2}), it is clear that
By (H_{3}), we know that there exists a natural number big enough such that
Choose
By (H_{2}), we know there exists such that
Take
In the following, we are in a position to show that
which together with (18), (19), (22), and (H_{3}) implies that
For , , it follows from (H_{1}), (20), (21), (22), and (24) that
By (25), we know that (23) holds. So, (17), (23), and Lemma 2.6 guarantee that A has at least one fixed point in and . Furthermore,
By simple computation, we have that
Secondly, we show BVP (1) has a positive solution. It follows from (8) and the fact that
which combined with (19) implies that
By (27) and (28), we have
Let , . It follows from (28) and that
By (7), (29), and (30), we obtain
Thus, we have proved that is a positive solution for BVP (1).
Finally, we show that (16) holds. From (26) and Lemma 2.4, we know that
Since , (30), and (31) mean that (16) holds for and holds. This completes the proof of Theorem 3.1. □
4 Example
Consider the following singular semipositone fractional differential equations:
where . It is clear (32) has the form of (1), where , , . By simple computation, we know that , . Let
Notice that
we have
It follows from the left side of (33) that
By (34) and (35) we know (H_{1}) holds. Obviously, (H_{2}) holds for .
Now, we check (H_{3}). By simple computation, we have , , , , . Take , then , . Thus, (H_{3}) is valid. It follows from Theorem 3.1 that BVP (32) has at least one positive solution.
Competing interests
The author declares that he has no competing interests.
Acknowledgements
The author thanks the referee for his/her careful reading of the manuscript and useful suggestions. The project is supported financially by the Foundation for Outstanding MiddleAged and Young Scientists of Shandong Province (Grant No. BS2010SF004), a Project of Shandong Province Higher Educational Science and Technology Program (Grant No. J10LA53, No. J11LA02), the China Postdoctoral Science Foundation (Grant No. 20110491154) and the National Natural Science Foundation of China (Grant No. 10971179).
References

Anuradha, V, Hai, DD, Shivaji, R: Existence results for superlinear semipositone BVP’s. Proc. Am. Math. Soc.. 124, 747–763 (1996) doi:10.1090/S000299399603256X

Agarwal, RP, O’Regan, D: A note on existence of nonnegative solutions to singular semipositone problems. Nonlinear Anal.. 36, 615–622 (1999) doi:10.1016/S0362546X(98)001813
doi:10.1016/S0362546X(98)001813
Publisher Full Text 
Xu, X: Positive solutions for singular semipositone boundary value problems. J. Math. Anal. Appl.. 273, 480–491 (2002) doi:10.1016/S0022247X(02)002597
doi:10.1016/S0022247X(02)002597
Publisher Full Text 
Zhao, Z: Existence of positive solutions for 2nthorder singular semipositone differential equations with SturmLiouville boundary conditions. Nonlinear Anal.. 72, 1348–1357 (2010) doi:10.1016/j.na.2009.08.013
doi:10.1016/j.na.2009.08.013
Publisher Full Text 
Ma, R: Positive solutions for semipositone conjugate boundary value problems. J. Math. Anal. Appl.. 252, 220–229 (2000) doi:10.1006/jmaa.2000.6987
doi:10.1006/jmaa.2000.6987
Publisher Full Text 
Ma, R, Ma, Q: Positive solutions for semipositone mpoint boundaryvalue problems. Acta Math. Sin.. 20(2), 273–282 (2004) doi:10.1007/s1011400302519
doi:10.1007/s1011400302519
Publisher Full Text 
Su, H, Liu, L, Wu, Y: Positive solutions for a nonlinear secondorder semipositone boundary value system. Nonlinear Anal.. 71, 3240–3248 (2009) doi:10.1016/j.na.2009.01.201
doi:10.1016/j.na.2009.01.201
Publisher Full Text 
Liu, Y: Twin solutions to singular semipositone problems. J. Math. Anal. Appl.. 286, 248–260 (2003) doi:10.1016/S0022247X(03)004785
doi:10.1016/S0022247X(03)004785
Publisher Full Text 
Zhang, X, Liu, L: Positive solutions of superlinear semipositone singular Dirichlet boundary value problems. J. Math. Anal. Appl.. 316, 535–537 (2006) doi:10.1016/j.jmaa.2005.04.081

Zhang, X, Liu, L: Existence of positive solutions for a singular semipositone differential system. Math. Comput. Model.. 47, 115–126 (2008) doi:10.1016/j.mcm.2007.02.008
doi:10.1016/j.mcm.2007.02.008
Publisher Full Text 
Zhang, X, Liu, L, Wu, Y: On existence of positive solutions of a twopoint boundary value problem for a nonlinear singular semipositone system. Appl. Math. Comput.. 192, 223–232 (2007) doi:10.1016/j.amc.2007.03.002
doi:10.1016/j.amc.2007.03.002
Publisher Full Text 
Gallardo, JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math.. 30, 1265–1292 (2000) doi:10.1216/rmjm/1021477351
doi:10.1216/rmjm/1021477351
Publisher Full Text 
Karakostas, GL, Tsamatos, PC: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundaryvalue problems. Electron. J. Differ. Equ.. 2002, (2002) Article ID 30

Lomtatidze, A, Malaguti, L: On a nonlocal boundaryvalue problems for second order nonlinear singular differential equations. Georgian Math. J.. 7, 133–154 (2000) doi:10.1515/GMJ.2000.133

Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integral and Derivative: Theory and Applications, Gordon & Breach, Switzerland (1993)

Podlubny, I: Fractional Differential Equations, Academic Press, New York (1999)

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations, Elsevier, Amsterdam (2006)

Webb, JRL: Nonlocal conjugate type boundary value problems of higher order. Nonlinear Anal.. 71, 1933–1940 (2009) doi:10.1016/j.na.2009.01.033
doi:10.1016/j.na.2009.01.033
Publisher Full Text 
Hao, X, Liu, L, Wu, Y, Sun, Q: Positive solutions for nonlinear nthorder singular eigenvalue problem with nonlocal conditions. Nonlinear Anal.. 73, 1653–1662 (2010) doi:10.1016/j.na.2010.04.074
doi:10.1016/j.na.2010.04.074
Publisher Full Text 
Wang, Y, Liu, L, Wu, Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal.. 74, 3599–3605 (2011) doi:10.1016/j.na.2011.02.043
doi:10.1016/j.na.2011.02.043
Publisher Full Text 
Cabada, A, Wang, G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl.. 389, 403–411 (2012) doi:10.1016/j.jmaa.2011.11.065
doi:10.1016/j.jmaa.2011.11.065
Publisher Full Text 
Guo, D, Lakshmikantham, V: Nonlinear Problems in Abstract Cones, Academic Press, San Diego (1988)