Journal of Applied Mathematics

Volume 2012 (2012), Article ID 691651, 13 pages

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

## Positive Mild Solutions of Periodic Boundary Value Problems for Fractional Evolution Equations

^{1}School of Mathematics and Computer Science Institute, Northwest University for Nationalities, Gansu, Lanzhou 730000, China^{2}Department of Mathematics, Northwest Normal University, Gansu, Lanzhou 730000, China

Received 29 October 2011; Accepted 14 February 2012

Academic Editor: Shiping Lu

Copyright © 2012 Jia Mu and Hongxia Fan. 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

The periodic boundary value problem is discussed for a class of fractional evolution equations. The existence and uniqueness results of mild solutions for the associated linear fractional evolution equations are established, and the spectral radius of resolvent operator is accurately estimated. With the aid of the estimation, the existence and uniqueness results of positive mild solutions are obtained by using the monotone iterative technique. As an application that illustrates the abstract results, an example is given.

#### 1. Introduction

In this paper, we investigate the existence and uniqueness of positive mild solutions of the periodic boundary value problem (PBVP) for the fractional evolution equation in an ordered Banach space where is the Caputo fractional derivative of order is the infinitesimal generator of an analytic semigroup of uniformly bounded linear operators on , and is a continuous function.

The origin of fractional calculus goes back to Newton and Leibnitz in the seventieth century. We observe that fractional order can be complex in viewpoint of pure mathematics and there is much interest in developing the theoretical analysis and numerical methods to fractional equations, because they have recently proved to be valuable in various fields of science and engineering. Indeed, we can find numerous applications in viscoelasticity, electrochemistry, electromagnetism, biology, and hydrogeology. For example space-fractional diffusion equations have been used in groundwater hydrology to model the transport of passive tracers carried by fluid flow in a porous medium [1, 2] or to model activator-inhibitor dynamics with anomalous diffusion [3].

Fractional evolution equations, which is field have abundant contents. Many differential equations can turn to semilinear fractional evolution equations in Banach spaces. For example, fractional diffusion equations are abstract partial differential equations that involve fractional derivatives in space and time. The time fractional diffusion equation is obtained from the standard diffusion equation by replacing the first-order time derivative with a fractional derivative of order , namely, we can take , for , or for , where , , are the fractional derivatives of order , , , respectively. Recently, fractional evolution equations are attracting increasing interest, see El-Borai [4, 5], Zhou and Jiao [6, 7], Wang et al. [8, 9], Shu et al. [10] and Mu et al. [11, 12]. They established various criteria on the existence of solutions for some fractional evolution equations by using the Krasnoselskii fixed point theorem, the Leray-Schauder fixed point theorem, the contraction mapping principle, or the monotone iterative technique. However, no papers have studied the periodic boundary value problems for abstract fractional evolution equations (1.1), though the periodic boundary value problems for ordinary differential equations have been widely studied by many authors (see [13–18]).

In this paper, without the assumptions of lower and upper solutions, by using the monotone iterative technique, we obtain the existence and uniqueness of positive mild solutions for PBVP (1.1). Because in many practical problems such as the reaction diffusion equations, only the positive solution has the significance, we consider the positive mild solutions in this paper. The characteristics of positive operator semigroup play an important role in obtaining the existence of the positive mild solutions. Positive operator semigroup are widely appearing in heat conduction equations, the reaction diffusion equations, and so on (see [19]). It is worth noting that our assumptions are very natural and we have tested them in the practical context. In particular to build intuition and throw some light on the power of our results, we examine sufficient conditions for the existence and uniqueness of positive mild solutions for periodic boundary value problem for fractional parabolic partial differential equations (see Example 4.1).

We now turn to a summary of this work. Section 2 provides the definitions and preliminary results to be used in theorems stated and proved in the paper. In particular to facilitate access to the individual topics, the existence and uniqueness results of mild solutions for the associated linear fractional evolution equations are established and the spectral radius of resolvent operator is accurately estimated. In Section 3, we obtain very general results on the existence and uniqueness of positive mild solutions for PBVP (1.1), when the nonlinear term satisfies some conditions related to the growth index of the operator semigroup . The main method is the monotone iterative technique. In Section 4, we give also an example to illustrate the applications of the abstract results.

#### 2. Preliminaries

Let us recall the following known definitions. For more details see [20–23].

*Definition 2.1. *The fractional integral of order with the lower limit zero for a function is defined as:
provided the right side is point-wise defined on , where is the gamma function.

*Definition 2.2. *The Riemann-Liouville derivative of order with the lower limit zero for a function can be written as:

*Definition 2.3. *The Caputo fractional derivative of order for a function can be written as:

*Remark 2.4. *(i) If , then

(ii) The Caputo derivative of a constant is equal to zero.

(iii) If is an abstract function with values in , then the integrals and derivatives which appear in Definitions 2.1–2.3 are taken in Bochner's sense.

Throughout this paper, let be an ordered Banach space with norm and partial order ≤, whose positive cone ( is the zero element of ) is normal with normal constant . Let be the Banach space of all continuous -value functions on interval with norm . Evidently, is also an ordered Banach space with the partial ≤ reduced by the positive function cone . is also normal with the same constant . For if for all . For , denote the ordered interval in , and in . Set exists and . denotes the Banach space with the graph norm . Suppose that is the infinitesimal generator of an analytic semigroup of uniformly bounded linear operators . This means there exists such that

Lemma 2.5 (see [4]). *If satisfies a uniform Hölder condition, with exponent , then the unique solution of the linear initial value problem (LIVP) for the fractional evolution equation,
**
is given by
**
where
** is a probability density function defined on .*

*Remark 2.6. *(i) See [6, 7]

(ii) see [6, 24], for ,

(iii) see [4, 5], the Laplace transform of is given by
where is the Mittag-Leffler function (see [20]),

(iv) see [24] by (i) and (ii), we can obtain that for
where , are the Mittag-Leffler functions.

(v) see [25] for ,

(vi) see [10] if and , then .

*Remark 2.7. *See [6, 8], the operators and , given by (2.8), have the following properties:

(i) For any fixed , and are linear and bounded operators, that is, for any ,
(ii) and are strongly continuous.

*Definition 2.8. *If , by the mild solution of IVP (2.6), we mean that the function satisfying the integral (2.7).

We also introduce some basic theories of the operator semigroups. For an analytic semigroup , there exist and such that (see [26]) Then is called the growth index of the semigroup . Furthermore, can also be obtained by the following formula:

*Definition 2.9 (see [26]). *A *-*semigroup is called a compact semigroup if is compact for *. *

*Definition 2.10. *An analytic semigroup is called positive if for all and *. *

*Remark 2.11. *For the applications of positive operators semigroup, we can see [27–31].

*Definition 2.12. *A bounded linear operator on is called to be positive if for all *. *

*Remark 2.13. *By Remark 2.6(ii), we obtain that and are positive for if is a positive semigroup.

Lemma 2.14. *Let be an ordered Banach space, whose positive cone is normal. If is an exponentially stable analytic semigroup, that is, . Then the linear periodic boundary value problem (LPBVP),
**
has a unique mild solution
**
where and are given by (2.8),
** is a bounded linear operator, and the spectral radius .*

*Proof. *For any , by there exists such that
In , give the equivalent norm by
then . By we denote the norm of in , then for ,
Thus, . Then by Remark 2.6,
Therefore, has bounded inverse operator and
Set
then
is the unique mild solution of LIVP (2.6) satisfing . So set
then is the unique mild solution of LPBVP (2.16). By Remark 2.7, is a bounded linear operator. Furthermore, by Remark 2.6, we obtain that
By (2.24), (2.28) and Remark 2.6, for we have that
where . Thus, . Then and the spectral radius . By the randomicity of , we obtain that .

*Remark 2.15. *For sufficient conditions of exponentially stable operator semigroups, one can see [32].

*Remark 2.16. *If is a positive and exponentially stable analytic semigroup generated by , by Remark 2.13, then the resolvent operator is also a positive bounded linear operator*. *

*Remark 2.17. *For the applications of Lemma 2.14, it is important to estimate the growth index of . If is continuous in the uniform operator topology for, it is well known that can be obtained by: the spectrum of (see [33])
We know that is continuous in the uniform operator topology for if is a compact semigroup, see [26]. Assume that is a regeneration cone, is a compact and positive analytic semigroup. Then by the characteristic of positive semigroups (see [31]), for sufficiently large , we have that has positive bounded inverse operator . Since , the spectral radius . By the Krein-Rutmann theorem (see [34, 35]), has the first eigenvalue , which has a positive eigenfunction , and
that is, .

Corollary 2.18. *Let be an ordered Banach space, whose positive cone is a regeneration cone. If is a compact and positive analytic semigroup, and its first eigenvalue of is
**
then LPBVP (2.16) has a unique mild solution , is a bounded linear operator, and the spectral radius *

*Proof. *By (2.32), we know that the growth index of is , that is, is exponentially stable. By Lemma 2.14, is a bounded linear operator, and the spectral radius . On the other hand, since has a positive eigenfunction , in LPBVP (3.17) we set , then is the corresponding mild solution. By the definition of the operator , , that is, is an eigenvalue of . Then . Thus, .

#### 3. Main Results

Theorem 3.1. *Let be an ordered Banach space, whose positive cone is normal with normal constant . If is a positive analytic semigroup, , and the following conditions are satisfied.** For any , there exists such that
for any , , , .** There exists ( is the growth index of ), such that
for any , .** Then PBVP (1.1) has a unique positive mild solution.*

*Proof. *Let , then , . Consider LPBVP
generates a positive analytic semigroup , whose growth index is . By Lemma 2.14 and Remark 2.16, LPBVP (3.3) has a unique mild solution and .

Set is the corresponding constant in . We may suppose , otherwise substitute for , is also satisfied. Then we consider LPBVP
generates a positive analytic semigroup , whose growth index is . By Lemma 2.14 and Remark 2.16, for LPBVP (3.4) has a unique mild solution is a positive bounded linear operator and the spectral radius .

Set , then is continuous, . By , is an increasing operator on . Set , we can define the sequences
By (3.4), we have that
In , we set , then
By (3.6) and (3.8), the definition and the positivity of , we have that
Since is an increasing operator on , in view of (3.5), we have that
Therefore, we obtain that
By induction,
In view of the normality of the cone , we have that
On the other hand, since , for some , we have that . By the Gelfand formula, . Then there exist , for , we have that . By (3.13), we have that
By (3.10) and (3.14), similarly to the nested interval method, we can prove that there exists a unique , such that
By the continuity of the operator and (3.5), we have that
By the definition of and (3.10), we know that is a positive mild solution of (3.4) when . Then is the positive mild solution of PBVP (1.1).

In the following, we prove that the uniqueness. If , are the positive mild solutions of PBVP (1.1). Substitute and for , respectively, then (). By (3.14), we have that
Thus, , PBVP (1.1) has a unique positive mild solution.

Corollary 3.2. *Let be an ordered Banach space, whose positive cone is a regeneration cone. If is a compact and positive analytic semigroup, for , satisfies and the following condition:** There exist , where is the first eigenvalue of , such that
for any .** Then PBVP (1.1) has a unique positive mild solution.*

*Remark 3.3. *In Corollary 3.2, since is the first eigenvalue of , the condition *“ **” *in cannot be extended to* “ **”.* Otherwise, PBVP (1.1) does not always have a mild solution. For example, *. *

#### 4. Examples

*Example 4.1. *Consider the following periodic boundary value problem for fractional parabolic partial differential equations in *:*
where is the Caputo fractional partial derivative of order is a bounded domain with a sufficiently smooth boundary , is the Laplace operator, is continuous.

Let , . Then is an Banach space with the partial order “≤” reduced by the normal cone . Define the operator as follows: Then generates an operator semigroup which is compact, analytic, and uniformly bounded. By the maximum principle, we can find that is a positive semigroup. Denote , then the system (4.1) can be reformulated as the problem (1.1) in .

Theorem 4.2. *Assume that for , the partial derivative is continuous on any bounded domain and , where is the first eigenvalue of under the condition . Then the problem (4.1) has a unique positive mild solution.*

*Proof. *It is easy to see that and are satisfied. By Corollary 3.2, the problem (4.1) has a unique positive mild solution.

#### Acknowledgments

This research was supported by NNSFs of China (10871160, 11061031) and project of NWNU-KJCXGC-3-47.

#### References

- D. A. Benson,
*The fractional advection–dispersion equation*, Ph.D. thesis, University of Nevada, Reno, Nev, USA, 1998. - R. Schumer, D. A. Benson, M. M. Meerschaert, and S. W. Wheatcraft, “Eulerian derivation of the fractional advection-dispersion equation,”
*Journal of Contaminant Hydrology*, vol. 48, no. 1-2, pp. 69–88, 2001. View at Publisher · View at Google Scholar - B. I. Henry and S. L. Wearne, “Existence of Turing instabilities in a two-species fractional reaction-diffusion system,”
*SIAM Journal on Applied Mathematics*, vol. 62, no. 3, pp. 870–887, 2001/02. View at Publisher · View at Google Scholar - M. M. El-Borai, “Some probability densities and fundamental solutions of fractional evolution equations,”
*Chaos, Solitons & Fractals*, vol. 14, no. 3, pp. 433–440, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - M. M. El-Borai, “The fundamental solutions for fractional evolution equations of parabolic type,”
*JAMSA: Journal of Applied Mathematics and Stochastic Analysis*, no. 3, pp. 197–211, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. Zhou and F. Jiao, “Existence of mild solutions for fractional neutral evolution equations,”
*Computers & Mathematics with Applications*, vol. 59, no. 3, pp. 1063–1077, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Y. Zhou and F. Jiao, “Nonlocal Cauchy problem for fractional evolution equations,”
*Nonlinear Analysis: Real World Applications*, vol. 11, no. 5, pp. 4465–4475, 2010. View at Publisher · View at Google Scholar - J. Wang and Y. Zhou, “A class of fractional evolution equations and optimal controls,”
*Nonlinear Analysis: Real World Applications*, vol. 12, no. 1, pp. 262–272, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - J. Wang, Y. Zhou, W. Wei, and H. Xu, “Nonlocal problems for fractional integrodifferential equations via fractional operators and optimal controls,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1427–1441, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - X. B. Shu, Y. Lai, and Y. Chen, “The existence of mild solutions for impulsive fractional partial differential equations,”
*Nonlinear Analysis: Theory, Methods and Applications*, vol. 74, no. 5, pp. 2003–2011, 2011. View at Publisher · View at Google Scholar - J. Mu, “Monotone iterative technique for fractional evolution equations in Banach spaces,”
*Journal of Applied Mathematics*, vol. 2011, Article ID 767186, 13 pages, 2011. View at Google Scholar · View at Zentralblatt MATH - J. Mu and Y. Li, “Monotone iterative technique for impulsive fractional evolution equations,”
*Journal of Inequalities and Applications*, vol. 2011, article 125, 2011. View at Publisher · View at Google Scholar - Q. Yao, “Existence, multiplicity and infinite solvability of positive solutions to a nonlinear fourth-order periodic boundary value problem,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 63, no. 2, pp. 237–246, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - Q. Yao, “Positive solutions of nonlinear second-order periodic boundary value problems,”
*Applied Mathematics Letters*, vol. 20, no. 5, pp. 583–590, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Ma, J. Xu, and X. Han, “Global bifurcation of positive solutions of a second-order periodic boundary value problem with indefinite weight,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 10, pp. 3379–3385, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Ma, C. Gao, and J. Xu, “Existence of positive solutions for first order discrete periodic boundary value problems with delay,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 12, pp. 4186–4191, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Ma, “Nonlinear periodic boundary value problems with sign-changing Green's function,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 74, no. 5, pp. 1714–1720, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Ma and H. Ma, “Positive solutions for nonlinear discrete periodic boundary value problems,”
*Computers & Mathematics with Applications*, vol. 59, no. 1, pp. 136–141, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - W. Arendt, A. Grabosch, G. Greiner et al.,
*One-Parameter Semigroups of Positive Operators*, vol. 1184 of*Lecture Notes in Mathematics*, Springer, Berlin, Germany, 1986, Edited by R. Nagel. - 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, Amsterdam, The Netherlands, 2006. - K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, A Wiley-Interscience Publication, John Wiley & Sons, New York, NY, USA, 1993. - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives: Theory and Applications*, Gordon and Breach Science Publishers, Yverdon, Switzerland, 1993. - R. N. Wang, D. H. Chen, and T. J. Xiao, “Abstract fractional Cauchy problems with almost sectorial operators,”
*Journal of Differential Equations*, vol. 252, no. 1, pp. 202–235, 2012. View at Publisher · View at Google Scholar - Z. Wei, W. Dong, and J. Che, “Periodic boundary value problems for fractional differential equations involving a Riemann-Liouville fractional derivative,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 73, no. 10, pp. 3232–3238, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - A. Pazy,
*Semigroup of Linear Operators and Applications to Partial Differential Equations*, vol. 44 of*Applied Mathematical Sciences*, Springer, New York, NY, USA, 1983. - Y. X. Li, “Existence and uniqueness of positive periodic solutions for abstract semilinear evolution equations,”
*Journal of Systems Science and Mathematical Sciences*, vol. 25, no. 6, pp. 720–728, 2005. View at Google Scholar · View at Zentralblatt MATH - Y. X. Li, “Existence of solutions to initial value problems for abstract semilinear evolution equations,”
*Acta Mathematica Sinica Chinese Series*, vol. 48, no. 6, pp. 1089–1094, 2005. View at Google Scholar - Y. X. Li, “Periodic solutions of semilinear evolution equations in Banach spaces,”
*Acta Mathematica Sinica Chinese Series*, vol. 41, no. 3, pp. 629–636, 1998. View at Google Scholar - Y. X. Li, “Global solutions of initial value problems for abstract semilinear evolution equations,”
*Acta Analysis Functionalis Applicata*, vol. 3, no. 4, pp. 339–347, 2001. View at Google Scholar - Y. X. Li, “Positive solutions of abstract semilinear evolution equations and their applications,”
*Acta Mathematica Sinica Chinese Series*, vol. 39, no. 5, pp. 666–672, 1996. View at Google Scholar · View at Zentralblatt MATH - F. L. Huang, “Spectral properties and stability of one-parameter semigroups,”
*Journal of Differential Equations*, vol. 104, no. 1, pp. 182–195, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - R. Triggiani, “On the stabilizability problem in Banach space,”
*Journal of Mathematical Analysis and Applications*, vol. 52, no. 3, pp. 383–403, 1975. View at Publisher · View at Google Scholar · View at Zentralblatt MATH - K. Deimling,
*Nonlinear Functional Analysis*, Springer, Berlin, Germany, 1985. - M. G. Kreĭn and M. A. Rutman, “Linear operators leaving invariant a cone in a Banach
space,”
*American Mathematical Society Translations*, no. 10, pp. 199–325, 1962. View at Google Scholar