Abstract and Applied Analysis

Volume 2012 (2012), Article ID 797398, 16 pages

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

## Solutions of Sign-Changing Fractional Differential Equation with the Fractional Derivatives

^{1}School of Information and Engineering, Wenzhou Medical College, Zhejiang, Wenzhou 325035, China^{2}School of Mathematical and Informational Sciences, Yantai University, Shandong, Yantai 264005, China^{3}Information Engineering Department, Anhui Xinhua University, Anhui, Hefei 230031, China

Received 24 April 2012; Accepted 29 May 2012

Academic Editor: Yonghong Wu

Copyright © 2012 Tunhua Wu 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.

#### Abstract

We study the singular fractional-order boundary-value problem with a sign-changing nonlinear term , , where , and with and , satisfying , is the standard Riemann-Liouville derivative, is a sign-changing continuous function and may be unbounded from below with respect to , and is continuous. Some new results on the existence of nontrivial solutions for the above problem are obtained by computing the topological degree of a completely continuous field.

#### 1. Introduction

Fractional differential equations arise in many engineering and scientific disciplines, and particularly in the mathematical modeling of systems and processes in physics, chemistry, aerodynamics, electrodynamics of complex medium, and polymer rheology [1–6]. Fractional-order models have proved to be more accurate than integer-order models, that is, there are more degrees of freedom in the fractional-order models. Hence fractional differential equations have attracted great research interest in recent years, and for more details we refer the reader to [7–16] and the references cited therein.

In this paper, we consider the existence of nontrivial solutions for the following singular fractional-order boundary-value problem with a sign-changing nonlinear term and fractional derivatives: where and with and , satisfying , is the standard Riemann-Liouville derivative, is a sign-changing continuous function and may be unbounded from below with respect to , and is continuous.

In this paper, we assume that , which implies that the problem (1.1) is changing sign (or semipositone particularly). Differential equations with changing-sign arguments are found to be important mathematical tools for the better understanding of several real-world problems in physics, chemistry, mechanics, engineering, and economics [17–19]. In general, the cone theory is difficult to handle this type of problems since the operator generated by is not a cone mapping. So to find a new method to solve changing-sign problems is an interesting, important, and difficult work. An effective approach to this problem was recently suggested by Sun [20] based on the topological degree of a completely continuous field. Then, Han and Wu [21, 22] obtained a new Leray-Schauder degree theorem by improving the results of Sun [20]. In [22], Han et al. also investigated a kind of singular two-point boundary-value problems with sign-changing nonlinear terms by applying the new Leray-Schauder degree theorem obtained in [22].

To our knowledge, very few results have been established when is changing sign [20–24]. In [20, 21, 23], permits sign changing but required to be bounded from below. In [22, Theorem 1.1], may be a sign-changing and unbounded function, but the Green function must be symmetric and is controlled by a special function , where and . Recently, by improving and generalizing the main results of Sun [20] and Han et al. [21, 22], Liu et al. [24] established a generalized Leray-Schauder degree theorem of a completely continuous field for solving -point boundary-value problems for singular second-order differential equations.

Motivated by [20–24], we established some new results on the existence of nontrivial solutions for the problem (1.1) by computing the topological degree of a completely continuous field. The conditions used in the present paper are weaker than the conditions given in previous works [20–24], and particularly we drop the assumption of even function in [24]. The new features of this paper mainly include the following aspects. Firstly, the nonlinear term in the BVP (1.1) is allowed to be sign changing and unbounded from below with respect to . Secondly, the nonlinear term involves fractional derivatives of unknown functions. Thirdly, the boundary conditions involve fractional derivatives of unknown functions which is a more general case, and include the two-point, three-point, multipoint, and some nonlocal problems as special cases of (1.1).

#### 2. Preliminaries and Lemmas

In this section, we give some preliminaries and lemmas.

*Definition 2.1. *Let be a real Banach space. A nonempty closed convex set is called a cone of if it satisfies the following two conditions:

(1) implies ;

(2) implies .

*Definition 2.2. *An operator is called completely continuous if it is continuous and maps bounded sets into precompact sets.

Let be a real Banach space, the dual space of , a total cone in , that is, and the dual cone of .

Lemma 2.3 (Deimling [25]). *Let be a continuous linear operator, a total cone, and . If there exist and a positive constant such that , then the spectral radius and has a positive eigenfunction corresponding to its first eigenvalue .*

Lemma 2.4 (see [25]). *Let be a cone of the real Banach space , and a bounded open subsets of . Suppose that is a completely continuous operator. If there exists such that , then the fixed-point index .**Let be a completely continuous linear positive operator with the spectral radius . On account of Lemma 2.3, there exist and such that
**
where is the dual operator of . Choose a number and let
**
then is a cone in . *

Lemma 2.5 (see [24]). *Suppose that the following conditions are satisfied.* (A1) * is a continuous operator satisfying
* (A2) * is a bounded continuous operator and there exists such that , for all ;* (A3)* and there exist and such that
**Let , then there exists such that
**
where is the open ball of radius in .*

*Remark 2.6. *If the operator which satisfies the conditions of Lemma 2.5 is a null operator, then Lemma 2.5 turns into Theorem 1 in [20]. On the other hand, if the operator in Lemma 2.5 is such that there exist constants and satisfying for all , then Lemma 2.5 turns into Theorem 2.1 in [22] or Theorem 1 in [21]. So Lemma 2.5 is an improvement of the results of paper [20–22].

Now we present the necessary definitions from fractional calculus theory. These definitions can be found in some recent literatures, for example, [26, 27].

*Definition 2.7 (see [26, 27]). *The Riemann-Liouville fractional integral of order of a function is given by
provided that the right-hand side is pointwisely defined on .

*Definition 2.8 (see [26, 27]). *The Riemann-Liouville fractional derivative of order of a function is given by
where , and denotes the integer part of the number , provided that the right-hand side is pointwisely defined on .

*Remark 2.9. *If with order , then

Lemma 2.10 (see [27]). *(1) If , then
**(2) If , then
*

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

Noticing that , let by [28], for , one has

Lemma 2.12. *If and , then the boundary-value problem
**
has the unique solution
**
where
**
is the Green function of the boundary-value problem (2.14). *

*Proof. *By applying Lemma 2.11, we may reduce (2.14) to an equivalent integral equation:
Note that and (2.17), we have . Consequently the general solution of (2.14) is
By (2.18) and Lemma 2.10, we have
So,
and for ,
By , combining with (2.20) and (2.21), we obtain
So, the unique solution of problem (2.14) is
The proof is completed.

Lemma 2.13. *The function has the following properties:**(1) ;**(2) , where
*

*Proof. *It is obvious that (1) holds. In the following, we will prove (2). In fact, by (2.13), we have
This completes the proof.

Now let us consider the following modified problems of the BVP (1.1):

Lemma 2.14. *Let , Then (1.1) can be transformed into (2.26). Moreover, if is a solution of problem (2.26), then, the function is a positive solution of problem (1.1).*

*Proof. *Substituting into (1.1), by the definition of the Riemann-Liouville fractional derivative and Lemmas 2.10 and 2.11, we obtain that
Also, we have , and it follows from that . Hence, by , (1.1) is transformed into (2.14).

Now, let be a solution of problem (2.26). Then, by Lemma 2.10, (2.26), and (2.27), one has
Noticing that
which implies that , from (2.27), for , we have

Moreover, it follows from the monotonicity and property of that

Consequently, is a positive solution of problem (1.1).

In the following let us list some assumptions to be used in the rest of this paper.

(H1) is continuous, on any subinterval of (0,1), and

(H2) is continuous.

In order to use Lemma 2.5, let be our real Banach space with the norm and , then is a total cone in .

Define two linear operators by and define a nonlinear operator by

Lemma 2.15. *Assume (H1) holds. Then*(i)* are completely continuous positive linear operators with the first eigenvalue and , respectively.*(ii)* satisfies . *

*Proof. *(i) By using the similar method of paper [22], it is easy to know that are completely continuous positive linear operators. In the following, by using the Krein-Rutmann’s theorem, we prove that have the first eigenvalue and , respectively.

In fact, it is obvious that there is such that . Thus there exists such that and for all . Choose such that and for all . Then for ,

So there exists such that for . It follows from Lemma 2.3 that the spectral radius . Thus corresponding to , the first eigenvalue of , and has a positive eigenvector such that

In the same way, has a positive first eigenvalue and a positive eigenvector corresponding to the first eigenvalue , which satisfy

(ii) Notice that for , by and (2.12)–(2.16), we have . This implies that and (see [29]). Define a function on by

Then is continuous on and for all . So, there exist such that for all . Thus
for all .

Let be the dual operator of , we will show that there exists such that
In fact, let
Then by (H1) and (2.40), we have
which implies that is well defined. We state that of (2.42) satisfies (2.41). In fact, by (2.40), (2.41), and interchanging the order of integration, for any , we have
So (2.41) holds.

In the following we prove that . In fact, by (2.41) and , we have
Take in (2.2). For any , by (2.44), (2.45), we have
Hence, , that is, . The proof is completed.

#### 3. Main Result

Theorem 3.1. *Assume that (H1)(H2) hold, and the following conditions are satisfied.**(H3) There exist nonnegative continuous functions and a nondecreasing continuous function satisfying
**(H4) also satisfies
**
uniformly on , where is the first eigenvalue of the operator defined by (2.34).**Then the singular fractional-order boundary-value problem (1.1) has at least one nontrivial solution.*

*Proof. *According to Lemma 2.15, satisfies . Let
where . It follows from (H3) that is a continuous operator. Note that
Thus from the monotone assumption of on , we have
which implies that
Let
then
that is,
Hence satisfies condition (A1) in Lemma 2.5.

Next take , and for . Then it follows from (H3) that
that yields
namely, condition (A2) in Lemma 2.5 holds.

From (H4), there exists and a sufficiently large such that, for any ,
Combining (H3) with (3.12), there exists such that
that is,
As is a positive linear operator, it follows from (3.14) that
So condition (A3) in Lemma 2.5 holds. According to Lemma 2.5, there exists a sufficiently large number such that

On the other hand, it follows from (H4) that there exist and , for any , such that
Thus for any with , we have
By (3.17), for any , we have
Thus if there exist and such that , then by (3.19), we have
Therefore, .

But for all by the maximum principle, and attains zero on isolated points by the Sturm theorem. Hence, from (2.42),
This is a contradiction. Thus
It follows from the homotopy invariance of the Leray-Shauder degree that
By (3.16), (3.23), and the additivity of Leray-Shauder degree, we obtain
As a result, has at least one fixed point on , namely, the BVP (1.1) has at least one nontrivial solution .

Corollary 3.2. *Assume that (H1), (H2), and (H4) hold. If the following condition is satisfied.**(H*3) There exists a nonnegative continuous functions such that
**
then the singular higher multipoint boundary-value problems (1.1) have at least one nontrivial solution. *

Corollary 3.3. *Assume that (H1), (H2), and (H4) hold. If the following condition is satisfied.**(H3**) There exist three constants , and such that
**
then the singular higher multipoint boundary-value problems (1.1) have at least one nontrivial solution.*

*Remark 3.4. *Noticing that the Green function of the BVP (1.1) is not symmetrical, which implies that the existence of nontrivial solutions of the BVP (1.1) cannot be obtained by Theorem 2.1 in [22] and Theorem 1 in [20]. It is interesting that we construct a new linear operator instead of in paper [22] and use its first eigenvalue and its corresponding eigenfunction to seek a linear continuous functional of . As a result, we overcome the difficulty caused by the nonsymmetry of the Green function. In [24], the nonlinearity does not contain derivatives and a stronger condition is required, that is, must be an even function; here we omit this stronger assumption.

*Remark 3.5. *The results of [20–22] is a special case of the Corollary 3.2 and Corollary 3.3 when are integer and the nonlinear term does not involve derivatives of unknown functions.

#### Acknowledgments

This project is supported financially by Scientific Research Project of Zhejiang Education Department (no. Y201016244), also by Scientific Research Project of Wenzhou (no. G20110004), Natural Science Foundation of Zhejiang Province (No. 2012C31025) and the National Natural Science Foundation of China (11071141, 11126231, 21207103), and the Natural Science Foundation of Shandong Province of China (ZR2010AM017).

#### References

- K. Diethelm and A. D. Freed, “On the solutions of nonlinear fractional order differential equations used in the modelling of viscoplasticity,” in
*Scientific Computing in Chemical Engineering II-Computational Fluid Dynamics, Reaction Engineering and Molecular Properties*, F. Keil, W. Mackens, H. Voss, and J. Werthers, Eds., Springer, Heidelberg, Germany, 1999. View at Google Scholar - 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 Publisher · View at Google Scholar · View at Scopus - 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 Publisher · View at Google Scholar · View at Scopus - F. Mainardi, “Fractional calculus: some basic problems in continuum and statistical mechanics,” in
*Fractals and Fractional Calculus in Continuum Mechanics*, C. A. Carpinteri and F. Mainardi, Eds., Springer, Vienna, Austria, 1997. View at Google Scholar · View at Zentralblatt MATH - R. Metzler, W. Schick, H. G. Kilian, and T. F. Nonnenmacher, “Relaxation in filled polymers: a fractional calculus approach,”
*The Journal of Chemical Physics*, vol. 103, no. 16, pp. 7180–7186, 1995. View at Publisher · View at Google Scholar · View at Scopus - K. B. Oldham and J. Spanier,
*The Fractional Calculus*, Academic Press, New York, NY, USA, 1974. - X. Zhang, L. Liu, and Y. Wu, “Multiple positive solutions of a singular fractional differential equationwith negatively perturbed term,”
*Mathematical and Computer Modelling*, vol. 55, no. 3-4, pp. 1263–1274, 2012. View at Google Scholar - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, article 36, 2011. View at Google Scholar - C. S. Goodrich, “Existence of a positive solution to systems of differential equations of fractional order,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1251–1268, 2011. View at Publisher · View at Google Scholar - C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 191–202, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - C. S. Goodrich, “Positive solutions to boundary value problems with nonlinear boundary conditions,”
*Nonlinear Analysis*, vol. 75, no. 1, pp. 417–432, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang and Y. Han, “Existence and uniqueness of positive solutions for higher order nonlocal fractional differential equations,”
*Applied Mathematics Letters*, vol. 25, no. 3, pp. 555–560, 2012. View at Publisher · View at Google Scholar - Y. Wang, L. Liu, and Y. Wu, “Positive solutions for a nonlocal fractional differential equation,”
*Nonlinear Analysis*, vol. 74, no. 11, pp. 3599–3605, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. Zhang, L. Liu, and Y. Wu, “The eigenvalue problem for a singular higher order fractional differential equation involving fractional derivatives,”
*Applied Mathematics and Computation*, vol. 218, no. 17, pp. 8526–8536, 2012. View at Google Scholar - X. Zhang, L. Liu, B. Wiwatanapataphee, and Y. Wu, “Positive solutions of eigenvalue problems for a class of fractional differential equations with derivatives,”
*Abstract and Applied Analysis*, vol. 2012, Article ID 512127, 16 pages, 2012. View at Google Scholar - J. Wu, X. Zhang, L. Liu, and Y. Wu, “Positive solutions of higher-order nonlinear fractional differential equations with changing-sign measure,”
*Advances in Difference Equations*, vol. 2012, article 71, 2012. View at Publisher · View at Google Scholar - R. Aris,
*Introduction to the Analysis of Chemical Reactors*, Prentice Hall, Englewood Cliffs, NJ, USA, 1965. - A. Castro, C. Maya, and R. Shivaji, “Nonlinear eigenvalue problems with semipositone,”
*Electronic Journal of Differential Equations*, no. 5, pp. 33–49, 2000. View at Google Scholar - V. Anuradha, D. D. Hai, and R. Shivaji, “Existence results for superlinear semipositone BVP's,”
*Proceedings of the American Mathematical Society*, vol. 124, no. 3, pp. 757–763, 1996. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. X. Sun, “Non-zero solutions to superlinear Hammerstein integral equations and applications,”
*Chinese Annals of Mathematics A*, vol. 7, no. 5, pp. 528–535, 1986. View at Google Scholar - F. Li and G. Han, “Existence of non-zero solutions to nonlinear Hammerstein integral equation,”
*Journal of Shanxi University (Natural Science Edition)*, vol. 26, pp. 283–286, 2003. View at Google Scholar - 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 - 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 - 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 - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985. - I. Podlubny,
*Fractional Differential Equations, Mathematics in Science and Engineering*, Academic Press, New York, NY, USA, 1999. - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, Elsevier, Amsterdam, The Netherlands, 2006. - C. Yuan, “Multiple positive solutions for $(n-1,1)$-type semipositone conjugate boundary value problems of nonlinear fractional differential equations,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 36, pp. 1–12, 2010. View at Google Scholar - M. H. Protter and H. F. Weinberger,
*Maximum Principles in Differential Equations*, Prentice Hall, New York, NY, USA, 1967.