Abstract and Applied Analysis

Volume 2012 (2012), Article ID 391609, 18 pages

http://dx.doi.org/10.1155/2012/391609

## Nontrivial Solutions for a Class of Fractional Differential Equations with Integral Boundary Conditions and a Parameter in a Banach Space with Lattice

School of Mathematics, Liaocheng University, Liaocheng, Shandong 252059, China

Received 17 September 2012; Accepted 12 December 2012

Academic Editor: Zhanbing Bai

Copyright © 2012 Xingqiu Zhang and Lin Wang. 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.

#### Abstract

Existence of nontrivial solutions for the following fractional differential equation with integral boundary conditions , , , is investigated by using results for the computation of topological degree under the lattice structure, where , , , is the standard Riemann-Liouville derivative. is allowed to be singular at and .

#### 1. Introduction

Fractional differential equations have been of great interest for many researchers recently. It 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 sciences 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. [1], Podlubny [2], and Kilbas et al. [3]. Recently, there are some papers dealing with the existence of solutions (or positive solutions) for nonlinear fractional differential equation by means of techniques of nonlinear analysis (fixed point theorems, Leray-Schauder theory, adomian decomposition method, lower and upper solution method, etc.); see [4–16].

As is well known, the first eigenvalue is a character of great significance for the linear operator. For some integer order differential equations, many authors have investigated the existence of positive and nontrivial solutions concerning the first eigenvalue corresponding to the relevant linear operators when the nonlinearities are sublinear, see [17–22] for reference. On the other hand, papers [23–26] obtained similar results to the sublinear case. The main discussion is based on the concepts of dual space, dual cone, and a constructed cone on them.

Recently, Xu et al. [27] and Bai [28] obtained the existence results of positive solutions for some fractional differential equations under the conditions with respect to the first eigenvalue corresponding to the relevant linear operators.

In two recent papers [29, 30], Sun and Liu established some results about the computation of the topological degree for nonlinear operators which are not cone mappings using the lattice structure.

Motivated by the above papers, by using results for the computation of topological degree under the lattice structure, we investigate the existence of nontrivial solutions for the following nonlinear fractional differential equations with integral boundary conditions: where , , , is the standard Riemann-Liouville derivative. In this paper, it is not required that nonlinearity , for all . To the author's knowledge, few papers are available in the literature to study the existence of solutions for fractional differential equations with integral boundary conditions under the lattice structure. The method used in this paper is different from those in previous works.

This paper is organized as follows. In Section 2 corresponding Green's function for BVP (1.1) is derived and its properties are also discussed. The main results and their proof are presented in Section 3.

#### 2. Background Materials and Green's Function

Let be a Banach space with a cone . Then becomes an ordered Banach space under the partial ordering which is induced by . is said to be normal if there exists a positive constant such that implies . is called solid if it contains interior points, that is, . is called total if . If is solid, then is total. For the concepts and the properties about the cone we refer to [31, 32].

We call a lattice under the partial ordering if and exist for arbitrary . For , let , , and are called the positive part and the negative part of , respectively, and obviously . Take , then . One can refer to [33] for the definition and the properties of the lattice. Let , as denoted in [29, 30]. Then , and .

Let be a bounded linear operator. is said to be positive if . In this case, is an increase operator, namely, for , implies . Let be a positively completely continuous operator, a spectral radius of , the conjugated operator of , the conjugated cone of . Since is a total cone, according to the famous Krein-Rutman theorem (see [34]), we infer that if , then there exist and such that For a given constant , set then is also a cone in .

*Definition 2.1 (see [30]). *Let and a nonlinear operator. is said to be quasiadditive on lattice, if there exists such that

*Definition 2.2 (see [30]). *Let be a positive linear operator. The operator is said to satisfy condition, if there exist , such that (2.1) holds, and maps into .

*Definition 2.3 (see [4]). * The Riemann-Liouville fractional integral of order of a function is given by
provided the right-hand side is pointwise defined on .

*Definition 2.4 (see [4]). * The Riemann-Liouville fractional derivative of order of a continuous function is given by
where , denotes the integer part of the number , provided that the right-hand side is pointwise defined on .

Lemma 2.5 (see [29]). *Let be a normal solid cone in and completely continuous and quasiadditive on lattice. Suppose that the following conditions are satisfied:*(i)*there exist a positive bounded linear operator , and , such that
*(ii)*there exist a positive bounded linear operator and , such that
*(iii)* , , where is the spectral radius of . Then there exists such that for , the topological degree .*

Lemma 2.6 (see [29]). * Let be a normal cone of , and a completely continuous operator. Suppose that there exist positive bounded linear operator and , such that
**
If , then there exists such that for the topological degree . *

Lemma 2.7 (see [30]). * Let be a solid cone in and a completely continuous operator with , where is quasiadditive on lattice, and is a positive bounded linear operator satisfying condition. Suppose that *(i)*there exist and such that
*(ii)*there exist and such that
**Then there exists such that for the topological degree .*

Lemma 2.8 (see [30]). * Let be a bounded open set which contains . Suppose that is a completely continuous operator which has no fixed point on . If *(i)*there exists a positive bounded linear operator such that
*(ii)*, then the topological degree . *

Lemma 2.9 (see [4]). * Let . If one assumes , then the fractional differential equation
**
has , , , as unique solution, where is the smallest integer greater than or equal to. *

Lemma 2.10 (see [4]). *Assume that with a fractional derivative of order that belongs to .**Then
**
for some , , where is the smallest integer greater than or equal to . *

In the following, we present Green's function of the fractional differential equation boundary value problem.

Lemma 2.11. * Given , the problem
**
where , , , is equivalent to
**
where
**
Here, , is called the Green function of BVP (2.14). Obviously, is continuous on .*

*Proof. *We may apply Lemma 2.10 to reduce (2.14) to an equivalent integral equation
for some . Consequently, the general solution of (2.14) is
By , we get that . On the other hand, boundary condition combining with
yields
Therefore, the unique solution of the problem (2.14) is
For , one has
For , one has
The proof is complete.

Lemma 2.12. * The function defined by (2.16) satisfies*(a1)*, for all ;*(a2)*, for all ;*(a3)*, for all ;*(a4)*, and is not decreasing on ;*(a5)*, for all ,**where .*

*Proof. *For , ,
For ,
For ,
For , ,
From above, (a1), (a2), (a3), (a5) are complete. Clearly, (a4) is true. The proof is complete.

#### 3. Main Results and Proof

Let , , . Obviously, is a normal solid cone with normal constant 1 in Banach space , and is a lattice under the partial ordering which is deduced by .

Throughout this paper, we always assume that (H1) is continuous; (H2) is continuous and not identical zero on any closed subinterval of with .

*Remark 3.1. *In the assumption , it is not required that , .

Define operators and as follows:

*Remark 3.2. *By Lemma 2.12, and , it is easy to see that operators and defined by (3.1) are well defined.

Lemma 3.3. * Suppose that (H2) holds, then the spectral radius and has a positive eigenfunction corresponding to the first eigenvalue . *

*Proof. * By Lemma 2.11, , similar to the proof of Lemma 4.4 in [28], the proof can be easily given. We omit the details.

By standard argument, we have the following.

Lemma 3.4. * Suppose that (H1) and (H2) hold, then is completely continuous. *

Theorem 3.5. *Suppose that conditions (H1) and (H2) are satisfied. If there exists a constant such that
**
where is the first eigenvalue of defined by (3.1), then BVP (1.1) has at least one solution. *

*Proof. *From Lemma 3.4, we know that is completely continuous. By (3.4), there exist , such that
This implies
where . Set
Obviously, . Let , where is defined as (3.1). It is clear that is a positive bounded linear operator and
It follows from (3.3), (3.6) that
It follows from Lemma 2.5 that there exists big enough such that
which means that has at least one solution.

Theorem 3.6. * Suppose that (H1) and (H2) hold. In addition,
**
Then BVP (1.1) has at least one solution. *

*Proof. *Similar to the proof of (3.9), we arrive at
By Lemma 2.6, there exists big enough such that
which shows that has at least one solution.

Theorem 3.7. * Suppose that conditions (H1) and (H2) are satisfied. If
**
where is the first eigenvalue of defined by (3.1), then the singular BVP (1.1) has at least one nontrivial solution. *

*Proof. * Let , and let and be defined by (3.1) and (3.2), respectively. Obviously, by remark 3.1 in [27, 28], is continuous and quasiadditive on lattice, and . By Lemma 3.4, we know that is completely continuous.

It follows from (3.14) and (3.15) that there exist constants and such that
Therefore, there exists a constant such that
From (3.18), one can see that (2.9) and (2.10) hold for and .

Next, we are in position to show that satisfies condition. Let
By Lemma 3.3, we know that , and there exits , such that
By Lemma 2.12, we have
Therefore, for , we get by Lemma 2.12, (3.20) and (3.21) that
This means that , where . So, . Thus, we have shown that satisfies condition. By Lemma 2.7, we know that there exists such that
On the other hand, by (3.16), we know that there exists such that
which implies that
where , and . By virtue of Lemma 2.8, we get that
It follows from the additivity of the topology degree and Lemma 2.11 that has at least one nontrivial fixed point in . That is, BVP (1.1) has at least one nontrivial solution.

#### 4. An Example

Consider the following fractional differential equations with integral boundary conditions: where , , , is the first eigenvalue of operator . It is easy to see that and hold for , . By Lemma 3.3, we get that . Obviously, is bounded below and sign-changing for . By direct computation, we have , . Thus (3.3) and (3.4) in Theorem 3.5 hold. It follows from Theorem 3.5 that BVP (4.1) has one solution.

#### Acknowledgments

The authors thank the referee for their valuable comments and suggestions. The project is supported financially by the Foundation for Outstanding Middle-Aged and Young Scientists of Shandong Province (BS2010SF004), the National Natural Science Foundation of China (10971179), and a Project of Shandong Province Higher Educational Science and Technology Program (no. J10LA53).

#### References

- S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives*, Theory and Applications, Gordon and Breach Science, Yverdon, Switzerland, 1993. View at Zentralblatt MATH · View at MathSciNet - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, NewYork, NY, USA, 1999. View at Zentralblatt MATH · 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, Amsterdam, The Netherlands, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Delbosco and L. Rodino, “Existence and uniqueness for a nonlinear fractional differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 204, no. 2, pp. 609–625, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Zhang, “The existence of a positive solution for a nonlinear fractional differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 252, no. 2, pp. 804–812, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Zhang, “Existence of positive solutions for some class of nonlinear fractional equation,”
*Journal of Mathematical Analysis and Applications*, vol. 278, pp. 136–148, 2003. View at Google Scholar - H. Jafari and V. Daftardar-Gejji, “Positive solutions of nonlinear fractional boundary value problems using Adomian decomposition method,”
*Applied Mathematics and Computation*, vol. 180, no. 2, pp. 700–706, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Wei, Q. Li, and J. Che, “Initial value problems for fractional differential equations involving Riemann-Liouville sequential fractional derivative,”
*Journal of Mathematical Analysis and Applications*, vol. 367, no. 1, pp. 260–272, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Liang and J. Zhang, “Positive solutions for boundary value problems of nonlinear fractional differential equation,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 71, no. 11, pp. 5545–5550, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Liang and J. Zhang, “Existence of multiple positive solutions for $m$-point fractional boundary value problems on an infinite interval,”
*Mathematical and Computer Modelling*, vol. 54, no. 5-6, pp. 1334–1346, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - S. Liang and J. Zhang, “Existence and uniqueness of strictly nondecreasing and positive solution for a fractional three-point boundary value problem,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1333–1340, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Zhang, “Positive solutions for boundary-value problems of nonlinear fractional differential equations,”
*Electronic Journal of Differential Equations*, vol. 36, pp. 1–12, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Zhao, S. Sun, Z. Han, and M. Zhang, “Positive solutions for boundary value problems of nonlinear fractional differential equations,”
*Applied Mathematics and Computation*, vol. 217, no. 16, pp. 6950–6958, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad and G. Wang, “A study of an impulsive four-point nonlocal boundary value problem of nonlinear fractional differential equations,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1341–1349, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Feng, X. Liu, and H. Feng, “The existence of positive solution to a nonlinear fractional differential equation with integral boundary conditions,”
*Advances in Difference Equations*, vol. 2011, Article ID 546038, 14 pages, 2011. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Zhang and J. Sun, “Positive solutions of $m$-point boundary value problems,”
*Journal of Mathematical Analysis and Applications*, vol. 291, no. 2, pp. 406–418, 2004. View at Publisher · View at Google Scholar · View at MathSciNet - J. Sun and G. Zhang, “Nontrivial solutions of singular sublinear Sturm-Liouville problems,”
*Journal of Mathematical Analysis and Applications*, vol. 326, no. 1, pp. 242–251, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Hao, L. Liu, Y. Wu, and Q. Sun, “Positive solutions for nonlinear $n$th-order singular eigenvalue problem with nonlocal conditions,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 73, no. 6, pp. 1653–1662, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Liu, L. Liu, and Y. Wu, “Positive solutions for singular second order three-point boundary value problems,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 66, no. 12, pp. 2756–2766, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Xu, H. Su, and X. Zhang, “Positive solutions of fourth-order nonlinear singular boundary value problems,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 68, no. 5, pp. 1284–1297, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - H. Ma, “Symmetric positive solutions for nonlocal boundary value problems of fourth order,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 68, no. 3, pp. 645–651, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Wang and J. Liu, “Coexistence of positive solutions of nonlinear three-point boundary value and its conjugate problem,”
*Journal of Mathematical Analysis and Applications*, vol. 330, no. 1, pp. 334–351, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Liu, B. Liu, and Y. Wu, “Nontrivial solutions of $m$-point boundary value problems for singular second-order differential equations with a sign-changing nonlinear term,”
*Journal of Computational and Applied Mathematics*, vol. 224, no. 1, pp. 373–382, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - J. Sun and G. Zhang, “Nontrivial solutions of singular superlinear Sturm-Liouville problems,”
*Journal of Mathematical Analysis and Applications*, vol. 313, no. 2, pp. 518–536, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - G. Han and Y. Wu, “Nontrivial solutions of singular two-point boundary value problems with sign-changing nonlinear terms,”
*Journal of Mathematical Analysis and Applications*, vol. 325, no. 2, pp. 1327–1338, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Xu, Z. Wei, and W. Dong, “Uniqueness of positive solutions for a class of fractional boundary value problems,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 590–593, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Bai, “On positive solutions of a nonlocal fractional boundary value problem,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 72, no. 2, pp. 916–924, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Sun and X. Liu, “Computation of topological degree for nonlinear operators and applications,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 69, no. 11, pp. 4121–4130, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Sun and X. Liu, “Computation of topological degree in ordered Banach spaces with lattice structure and its application to superlinear differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 348, no. 2, pp. 927–937, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985. View at MathSciNet - D. J. Guo and V. Lakshmikantham,
*Nonlinear Problems in Abstract Cones*, vol. 5, Academic Press, San Diego, Calif, USA, 1988. View at MathSciNet - W. A. J. Lucxemburg and A. C. Zaanen,
*Riesz Space*, vol. 1, North-Holland Publishing, London, UK. - M. G. Krein and M. A. Rutman, “Linear operators leaving invariant a cone in a Banach space,”
*American Mathematical Society Translations*, vol. 10, no. 26, pp. 199–325, 1962. View at Google Scholar · View at MathSciNet