Abstract

We investigate the initial value problem for a class of fractional evolution equations in a Banach space. Under some monotone conditions and noncompactness measure conditions of the nonlinearity, the well-known monotone iterative technique is then extended for fractional evolution equations which provides computable monotone sequences that converge to the extremal solutions in a sector generated by upper and lower solutions. An example to illustrate the applications of the main results is given.

1. Introduction

In this paper, we use the monotone iterative technique to investigate the existence and uniqueness of mild solutions of the fractional evolution equation in an ordered Banach space 𝑋,𝐷𝛼𝑢(𝑡)+𝐴𝑢(𝑡)=𝑓(𝑡,𝑢(𝑡)),𝑡𝐼,𝑢(0)=𝑥0𝑋,(1.1) where 𝐷𝛼 is the Caputo fractional derivative of order 0<𝛼<1, 𝐼=[0,𝑇], 𝐴𝐷(𝐴)𝑋𝑋 is a linear closed densely defined operator, 𝐴 is the infinitesimal generator of an analytic semigroup of uniformly bounded linear operators 𝑇(𝑡) (𝑡0), and 𝑓𝐼×𝑋𝑋 is continuous.

The origin of fractional calculus (i.e., calculus of integrals and derivatives of any arbitrary real or complex order) goes back to Newton and Leibnitz in the seventieth century. We observe that the 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 such as physics, chemistry, aerodynamics, viscoelasticity, porous media, electrodynamics of complex medium, electrochemistry, control, and electromagnetic. For instance, fractional calculus concepts have been used in the modeling of transmission lines [1], neurons [2], viscoelastic materials [3], and electrical capacitors [46]. References [5, 6] used modified Riemann-Liouville fractional derivatives (Jumarie's fractional derivatives) and proposed the method of fractional complex transform to find exact solutions which are much needed in engineering applications. Other examples from fractional-order dynamics can be found in [7, 8] and the references therein.

Fractional evolution equations are evolution equations where the integer derivative with respect to time is replaced by a derivative of any order. In recent years, fractional evolution equations have attracted increasing attention, see [923]. A strong motivation for investigating the Cauchy problem (1.1) comes from physics. For example, fractional diffusion equations are abstract partial differential equations that involve fractional derivatives in space and time. The main physical purpose for investigating these type of equations is to describe phenomena of anomalous diffusion appearing in transport processes and disordered systems. 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 𝛼(0,1), namely, 𝜕𝛼𝑡𝑢(𝑦,𝑡)=𝐴𝑢(𝑦,𝑡),𝑡0,𝑦𝑅,(1.2) where 𝐴 may be linear fractional partial differential operator. For fractional diffusion equations, we can see [2426] and the references therein.

It is well known that the method of monotone iterative technique has been proved to be an effective and a flexible mechanism. It yields monotone sequences of lower and upper approximate solutions that converge to the minimal and maximal solutions between the lower and upper solutions. Early on, Du and Lakshmikantham [27] established a monotone iterative method for an initial value problem for ordinary differential equation. Later on, many papers used the monotone iterative technique to establish existence and comparison results for nonlinear problems. For evolution equations of integer order (𝛼=1), Li [2832] and Yang [33] used this method, in which positive 𝐶0-semigroup plays an important role. Recently, there have been some papers which deal with the existence of the solutions of initial value problems or boundary value problems for fractional ordinary differential equations by using this method, see [3443].

However, when many partial differential equations involving time-variable 𝑡 turn to evolution equations in Banach spaces, they always generate an unbounded closed operator term 𝐴, such as (1.2). 𝐴 is corresponding to linear partial differential operator with certain boundary conditions. In this case, the results in [3443] are not suitable. To the best of the authors' knowledge, no results yet exist for the fractional evolution equations involving a closed operator term by using the monotone iterative technique. The approach via fractional differential inequalities is clearly better suited as in the case of classical results of differential equations, and therefore this paper choose to proceed in that setup.

If 𝐴 is the infinitesimal generator of an analytic semigroup in a Banach space, then (𝐴+𝑞𝐼) generates a uniformly bounded analytic semigroup for 𝑞>0 large enough. This allows us to reduce the general case in which 𝐴 is the infinitesimal generator of an analytic semigroup to the case in which the semigroup is uniformly bounded. Hence, for convenience, throughout this paper, we suppose that 𝐴 is the infinitesimal generator of an analytic semigroup of uniformly bounded linear operators 𝑇(𝑡) (𝑡0).

Our contribution in this work is to establish the monotone iterative technique for the fractional evolution (1.1). Under some monotone conditions and noncompactness measure conditions of nonlinearity 𝑓, which are analogous to those in Li and liu [44], Li [2832], Chen and li [45], Chen [46], and Yang [33, 47], we obtain results on the existence and uniqueness of mild solutions of the problem (1.1). In this paper, positive semigroup also plays an important role. At last, to illustrate our main results, we examine sufficient conditions for the main results to a fractional partial differential diffusion equation.

2. Preliminaries

In this section, we introduce notations, definitions, and preliminary facts which are used throughout this paper.

Definition 2.1 (see [7]). The Riemann-Liouville fractional integral of order 𝛼>0 with the lower limit zero, of function 𝑓𝐿1(+), is defined as 𝐼𝛼1𝑓(𝑡)=Γ(𝛼)𝑡0(𝑡𝑠)𝛼1𝑓(𝑠)𝑑𝑠,(2.1) where Γ() is the Euler gamma function.

Definition 2.2 (see [7]). The Caputo fractional derivative of order 𝛼>0 with the lower limit zero, 𝑛1<𝛼<𝑛, is defined as 𝐷𝛼1𝑓(𝑡)=Γ(𝑛𝛼)𝑡0(𝑡𝑠)𝑛𝛼1𝑓(𝑛)(𝑠)𝑑𝑠,(2.2) where the function 𝑓(𝑡) has absolutely continuous derivatives up to order 𝑛1. If 0<𝛼<1, then 𝐷𝛼1𝑓(𝑡)=Γ(1𝛼)𝑡0𝑓(𝑠)(𝑡𝑠)𝛼𝑑𝑠.(2.3) If 𝑓 is an abstract function with values in 𝑋, then the integrals and derivatives which appear in (2.1) and (2.2) are taken in Bochner,s sense.

Proposition 2.3. For 𝛼,𝛽>0 and 𝑓 as a suitable function (for instance, [7]), one has (i)𝐼𝛼𝐼𝛽𝑓(𝑡)=𝐼𝛼+𝛽𝑓(𝑡)(ii)𝐼𝛼𝐼𝛽𝑓(𝑡)=𝐼𝛽𝐼𝛼𝑓(𝑡)(iii)𝐼𝛼(𝑓(𝑡)+𝑔(𝑡))=𝐼𝛼𝑓(𝑡)+𝐼𝛼𝑔(𝑡)(iv)𝐼𝛼𝐷𝛼𝑓(𝑡)=𝑓(𝑡)𝑓(0),0<𝛼<1(v)𝐷𝛼𝐼𝛼𝑓(𝑡)=𝑓(𝑡)(vi)𝐷𝛼𝐷𝛽𝑓(𝑡)𝐷𝛼+𝛽𝑓(𝑡)(vii)𝐷𝛼𝐷𝛽𝑓(𝑡)𝐷𝛽𝐷𝛼𝑓(𝑡),(viii)𝐷𝛼𝐶=0, 𝐶 is a constant.

We observe from the above that the Caputo fractional differential operators possess neither semigroup nor commutative properties, which are inherent to the derivatives on integer order. For basic facts about fractional integrals and fractional derivatives, one can refer to the books [7, 4850].

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 𝑢𝐶=max𝑡𝐼𝑢(𝑡). For 𝑢,𝑣𝐶(𝐼,𝑋), 𝑢𝑣𝑢(𝑡)𝑣(𝑡), for all 𝑡𝐼. For 𝑣,𝑤𝐶(𝐼,𝑋), denote the ordered interval [𝑣,𝑤]={𝑢𝐶(𝐼,𝑋)𝑣𝑢𝑤} and [𝑣(𝑡),𝑤(𝑡)]={𝑦𝑋𝑣(𝑡)𝑦𝑤(𝑡)}, 𝑡𝐼. Set 𝐶𝛼,0(𝐼,𝑋)={𝑢𝐶(𝐼,𝑋)𝐷𝛼𝑢 exists and 𝐷𝛼𝑢𝐶(𝐼,𝑋)}. By 𝑋1, we denote the Banach space 𝐷(𝐴) with the graph norm 1=+𝐴. We note that 𝐴 is the infinitesimal generator of a uniformly bounded analytic semigroup 𝑇(𝑡) (𝑡0). This means that there exists 𝑀1 such that 𝑇(𝑡)𝑀,𝑡0.(2.4)

Definition 2.4. If 𝑣0𝐶𝛼,0(𝐼,𝑋)𝐶(𝐼,𝑋1) and satisfies 𝐷𝛼𝑣0(𝑡)+𝐴𝑣0(𝑡)𝑓𝑡,𝑣0(𝑡),𝑡𝐼,𝑣0(0)𝑥0,(2.5) then 𝑣0 is called a lower solution of the problem (1.1); if all inequalities of (2.5) are inverse, we call it an upper solution of problem (1.1).

Lemma 2.5 (see [12, 19, 20]). If satisfies a uniform Ḧ𝑜lder condition, with exponent 𝛽(0,1], then the unique solution of the Cauchy problem 𝐷𝛼𝑢(𝑡)+𝐴𝑢(𝑡)=(𝑡),𝑡𝐼,𝑢(0)=𝑥0𝑋(2.6) is given by 𝑢(𝑡)=𝑈(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1𝑉(𝑡𝑠)(𝑠)𝑑𝑠,(2.7) where 𝑈(𝑡)=0𝜁𝛼(𝜃)𝑇(𝑡𝛼𝜃)𝑑𝜃,𝑉(𝑡)=𝛼0𝜃𝜁𝛼(𝜃)𝑇(𝑡𝛼𝜁𝜃)𝑑𝜃,(2.8)𝛼(1𝜃)=𝛼𝜃1(1/𝛼)𝜌𝛼𝜃1/𝛼𝜌,(2.9)𝛼1(𝜃)=𝜋𝑛=0(1)𝑛1𝜃𝛼𝑛1Γ(𝑛𝛼+1)𝑛!sin(𝑛𝜋𝛼),𝜃(0,),(2.10)𝜁𝛼(𝜃) is a probability density function defined on (0,).

Remark 2.6 (see [19, 20, 22]). 𝜁𝛼(𝜃)0,𝜃(0,), 0𝜁𝛼(𝜃)𝑑𝜃=1, 0𝜃𝜁𝛼(𝜃)𝑑𝜃=1/Γ(1+𝛼).

Definition 2.7. By the mild solution of the Cauchy problem (2.6), we mean the function 𝑢𝐶(𝐼,𝑋) satisfying the integral equation 𝑢(𝑡)=𝑈(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1𝑉(𝑡𝑠)(𝑠)𝑑𝑠,(2.11) where 𝑈(𝑡) and 𝑉(𝑡) are given by (2.8) and (2.9), respectively.

Definition 2.8. An operator family 𝑆(𝑡)𝑋𝑋(𝑡0) in 𝑋 is called to be positive if for any 𝑢𝑃 and 𝑡0 such that 𝑆(𝑡)𝑢𝜃.

From Definition 2.8, if 𝑇(𝑡)(𝑡0) is a positive semigroup generated by 𝐴, 𝜃, 𝑥0𝜃, then the mild solution 𝑢𝐶(𝐼,𝑋) of (2.6) satisfies 𝑢𝜃. For positive semigroups, one can refer to [2832].

Now, we recall some properties of the measure of noncompactness will be used later. Let 𝜇() denote the Kuratowski measure of noncompactness of the bounded set. For the details of the definition and properties of the measure of noncompactness, see [51]. For any 𝐵𝐶(𝐼,𝑋) and 𝑡𝐼, set 𝐵(𝑡)={𝑢(𝑡)𝑢𝐵}. If 𝐵 is bounded in 𝐶(𝐼,𝑋), then 𝐵(𝑡) is bounded in 𝑋, and 𝜇(𝐵(𝑡))𝜇(𝐵).

Lemma 2.9 (see [52]). Let 𝐵={𝑢𝑛}𝐶(𝐼,𝑋)(𝑛=1,2,) be a bounded and countable set, then 𝜇(𝐵(𝑡)) is Lebesgue integral on 𝐼, 𝜇𝐼𝑢𝑛(𝑡)𝑑𝑡𝑛=1,2,2𝐼𝜇(𝐵(𝑡))𝑑𝑡.(2.12)
In order to prove our results, one also needs a generalized Gronwall inequality for fractional differential equation.

Lemma 2.10 (see [53]). Suppose that 𝑏0, 𝛽>0, and 𝑎(𝑡) is a nonnegative function locally integrable on 0𝑡<𝑇 (some 𝑇+), and suppose that 𝑢(𝑡) is nonnegative and locally integrable on 0𝑡<𝑇 with 𝑢(𝑡)𝑎(𝑡)+𝑏𝑡0(𝑡𝑠)𝛽1𝑢(𝑠)𝑑𝑠(2.13) on this interval, then 𝑢(𝑡)𝑎(𝑡)+𝑡0𝑛=1(𝑏Γ(𝛽))𝑛Γ(𝑛𝛽)(𝑡𝑠)𝑛𝛽1𝑎(𝑠)𝑑𝑠,0𝑡<𝑇.(2.14)

3. Main Results

Theorem 3.1. Let 𝑋 be an ordered Banach space, whose positive cone 𝑃 is normal with normal constant 𝑁. Assume that 𝑇(𝑡)(𝑡0) is positive, the Cauchy problem (1.1) has a lower solution 𝑣0𝐶(𝐼,𝑋) and an upper solution 𝑤0𝐶(𝐼,𝑋) with 𝑣0𝑤0, and the following conditions are satisfied. (𝐻1) There exists a constant 𝐶0 such that 𝑓𝑡,𝑥2𝑓𝑡,𝑥1𝑥𝐶2𝑥1,(3.1) for any 𝑡𝐼, and 𝑣0(𝑡)𝑥1𝑥2𝑤0(𝑡), that is, 𝑓(𝑡,𝑥)+𝐶𝑥 is increasing in 𝑥 for 𝑥[𝑣0(𝑡),𝑤0(𝑡)]. (𝐻2) There exists a constant 𝐿0 such that 𝜇𝑓𝑡,𝑥𝑛𝑥𝐿𝜇𝑛,(3.2) for any 𝑡𝐼, and increasing or decreasing monotonic sequences {𝑥𝑛}[𝑣0(𝑡),𝑤0(𝑡)], then the Cauchy problem (1.1) has the minimal and maximal mild solutions between 𝑣0 and 𝑤0, which can be obtained by a monotone iterative procedure starting from 𝑣0 and 𝑤0, respectively.

Proof. It is easy to see that (𝐴+𝐶𝐼) generates an analytic semigroup 𝑆(𝑡)=𝑒𝐶𝑡𝑇(𝑡), and 𝑆(𝑡)(𝑡0) is positive. Let Φ(𝑡)=0𝜁𝛼(𝜃)𝑆(𝑡𝛼𝜃)𝑑𝜃,Ψ(𝑡)=𝛼0𝜃𝜁𝛼(𝜃)𝑆(𝑡𝛼𝜃)𝑑𝜃. By Remark 2.6, Φ(𝑡)(𝑡0) and Ψ(𝑡)(𝑡0) are positive. By (2.4) and Remark 2.6, we have that 𝛼Φ(𝑡)𝑀,Ψ(𝑡)Γ(𝛼+1)𝑀𝑀1,𝑡0.(3.3)
Let 𝐷=[𝑣0,𝑤0], we define a mapping 𝑄𝐷𝐶(𝐼,𝑋) by 𝑄𝑢(𝑡)=Φ(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1[]Ψ(𝑡𝑠)𝑓(𝑠,𝑢(𝑠))+𝐶𝑢(𝑠)𝑑𝑠,𝑡𝐼.(3.4) By Lemma 2.5 and Definition 2.7, 𝑢𝐷 is a mild solution of the problem (1.1) if and only if 𝑢=𝑄𝑢.(3.5) For 𝑢1,𝑢2𝐷 and 𝑢1𝑢2, from the positivity of operators Φ(𝑡) and Ψ(𝑡), and (𝐻1), we have that 𝑄𝑢1𝑄𝑢2.(3.6) Now, we show that 𝑣0𝑄𝑣0, 𝑄𝑤0𝑤0. Let 𝐷𝛼𝑣0(𝑡)+𝐴𝑣0(𝑡)+𝐶𝑣0(𝑡)𝜎(𝑡), by Definition 2.4, Lemma 2.5, and the positivity of operators Φ(𝑡) and Ψ(𝑡), we have that 𝑣0(𝑡)=Φ(𝑡)𝑣0(0)+𝑡0(𝑡𝑠)𝛼1Ψ(𝑡𝑠)𝜎(𝑠)𝑑𝑠Φ(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1𝑓Ψ(𝑡𝑠)𝑠,𝑣0(𝑠)+𝐶𝑣0(𝑠)𝑑𝑠=𝑄𝑣0(𝑡),𝑡𝐼,(3.7) namely, 𝑣0𝑄𝑣0. Similarly, we can show that 𝑄𝑤0𝑤0. For 𝑢𝐷, in view of (3.6), then 𝑣0𝑄𝑣0𝑄𝑢𝑄𝑤0𝑤0. Thus, 𝑄𝐷𝐷 is an increasing monotonic operator. We can now define the sequences 𝑣𝑛=𝑄𝑣𝑛1,𝑤𝑛=𝑄𝑤𝑛1,𝑛=1,2,,(3.8) and it follows from (3.6) that 𝑣0𝑣1𝑣𝑛𝑤𝑛𝑤1𝑤0.(3.9) Let 𝐵={𝑣𝑛}(𝑛=1,2,) and 𝐵0={𝑣𝑛1}(𝑛=1,2,). It follows from 𝐵0=𝐵{𝑣0} that 𝜇(𝐵(𝑡))=𝜇(𝐵0(𝑡)) for 𝑡𝐼. Let 𝜑𝐵(𝑡)=𝜇(𝐵(𝑡))=𝜇0(𝑡),𝑡𝐼.(3.10) For 𝑡𝐼, from (𝐻2), (3.3), (3.4), (3.8), (3.10), Lemma 2.9, and the positivity of operator Ψ(𝑡), we have that 𝜑(𝑡)=𝜇(𝐵(𝑡))=𝜇𝑄𝐵0(𝑡)=𝜇𝑡0(𝑡𝑠)𝛼1Ψ𝑓(𝑡𝑠)𝑠,𝑣𝑛1(𝑠)+𝐶𝑣𝑛1(𝑠)𝑑𝑠𝑛=1,2,2𝑡0𝜇(𝑡𝑠)𝛼1Ψ(𝑡𝑠)𝑓(𝑠,𝑣𝑛1(𝑠)+𝐶𝑣𝑛1(𝑠)𝑛=1,2,𝑑𝑠2𝑀1𝑡0(𝑡𝑠)𝛼1𝐵(𝐿+𝐶)𝜇0(𝑠)𝑑𝑠=2𝑀1(𝐿+𝐶)𝑡0(𝑡𝑠)𝛼1𝜑(𝑠)𝑑𝑠.(3.11) By (3.11) and Lemma 2.10, we obtain that 𝜑(𝑡)0 on 𝐼. This means that 𝑣𝑛(𝑡)(𝑛=1,2,) is precompact in 𝑋 for every 𝑡𝐼. So, 𝑣𝑛(𝑡) has a convergent subsequence in 𝑋. In view of (3.9), we can easily prove that 𝑣𝑛(𝑡) itself is convergent in 𝑋. That is, there exists 𝑢(𝑡)𝑋 such that 𝑣𝑛(𝑡)𝑢(𝑡) as 𝑛 for every 𝑡𝐼. By (3.4) and (3.8), for any 𝑡𝐼, we have that 𝑣𝑛(𝑡)=Φ(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1𝑓Ψ(𝑡𝑠)𝑠,𝑣𝑛1(𝑠)+𝐶𝑣𝑛1(𝑠)𝑑𝑠.(3.12) Let 𝑛, then by Lebesgue-dominated convergence theorem, for any 𝑡𝐼, we have that 𝑢(𝑡)=Φ(𝑡)𝑥0+𝑡0(𝑡𝑠)𝛼1𝑓Ψ(𝑡𝑠)𝑠,𝑢(𝑠)+𝐶𝑢(𝑠)𝑑𝑠,(3.13) and 𝑢𝐶(𝐼,𝑋), then 𝑢=𝑄𝑢. Similarly, we can prove that there exists 𝑢𝐶(𝐼,𝑋) such that 𝑢=𝑄𝑢. By (3.6), if 𝑢𝐷, and 𝑢 is a fixed point of 𝑄, then 𝑣1=𝑄𝑣0𝑄𝑢=𝑢𝑄𝑤0=𝑤1. By induction, 𝑣𝑛𝑢𝑤𝑛. By (3.9) and taking the limit as 𝑛, we conclude that 𝑣0𝑢𝑢𝑢𝑤0. That means that 𝑢,𝑢 are the minimal and maximal fixed points of 𝑄 on [𝑣0,𝑤0], respectively. By (3.5), they are the minimal and maximal mild solutions of the Cauchy problem (1.1) on [𝑣0,𝑤0], respectively.

Remark 3.2. Theorem 3.1 extends [37, Theorem  2.1]. Even if 𝐴=0 and 𝑋=, our results are also new.

Corollary 3.3. Let 𝑋 be an ordered Banach space, whose positive cone 𝑃 is regular. Assume that 𝑇(𝑡)(𝑡0) is positive, the Cauchy problem (1.1) has a lower solution 𝑣0𝐶(𝐼,𝑋) and an upper solution 𝑤0𝐶(𝐼,𝑋) with 𝑣0𝑤0, and (𝐻1) holds, then the Cauchy problem (1.1) has the minimal and maximal mild solutions between 𝑣0 and 𝑤0, which can be obtained by a monotone iterative procedure starting from 𝑣0 and 𝑤0, respectively.

Proof. Since (𝐻1) is satisfied, then (3.9) holds. In regular positive cone 𝑃, any monotonic and ordered-bounded sequence is convergent, then there exist 𝑢𝐶(𝐼,𝐸), 𝑢𝐶(𝐼,𝐸), and lim𝑛𝑣𝑛=𝑢, lim𝑛𝑤𝑛=𝑢. Then by the proof of Theorem 3.1, the proof is then complete.

Corollary 3.4. Let 𝑋 be an ordered and weakly sequentially complete Banach space, whose positive cone 𝑃 is normal with normal constant 𝑁. Assume that 𝑇(𝑡)(𝑡0) is positive, the Cauchy problem (1.1) has a lower solution 𝑣0𝐶(𝐼,𝑋) and an upper solution 𝑤0𝐶(𝐼,𝑋) with 𝑣0𝑤0, and (𝐻1) holds, then the Cauchy problem (1.1) has the minimal and maximal mild solutions between 𝑣0 and 𝑤0, which can be obtained by a monotone iterative procedure starting from 𝑣0 and 𝑤0, respectively.

Proof. Since 𝑋 is an ordered and weakly sequentially complete Banach space, then the assumption (𝐻2) holds. In fact, by [54, Theorem  2.2], any monotonic and ordered bounded sequence is precompact. Let 𝑥𝑛 be an increasing or decreasing sequence. By (𝐻1), {𝑓(𝑡,𝑥𝑛)+𝐶𝑥𝑛} is a monotonic and ordered bounded sequence. Then, by the properties of the measure of noncompactness, we have 𝜇𝑓𝑡,𝑥𝑛𝑓𝜇𝑡,𝑥𝑛+𝐶𝑥𝑛+𝜇𝐶𝑥𝑛=0.(3.14) So, (𝐻2) holds. By Theorem 3.1, the proof is then complete.

Theorem 3.5. Let 𝑋 be an ordered Banach space, whose positive cone 𝑃 is normal with normal constant 𝑁. Assume that 𝑇(𝑡)(𝑡0) is positive, the Cauchy problem (1.1) has a lower solution 𝑣0𝐶(𝐼,𝑋) and an upper solution 𝑤0𝐶(𝐼,𝑋) with 𝑣0𝑤0, (𝐻1) holds, and the following condition is satisfied: (𝐻3) there is constant 𝑆0 such that 𝑓𝑡,𝑥2𝑓𝑡,𝑥1𝑥𝑆2𝑥1,(3.15) for any 𝑡𝐼, 𝑣0(𝑡)𝑥1𝑥2𝑤0(𝑡).Then the Cauchy problem (1.1) has the unique mild solution between 𝑣0 and 𝑤0, which can be obtained by a monotone iterative procedure starting from 𝑣0 or 𝑤0.

Proof. We can find that (𝐻1) and (𝐻3) imply (𝐻2). In fact, for 𝑡𝐼, let {𝑥𝑛}[𝑣0(𝑡),𝑤0(𝑡)] be an increasing sequence. For 𝑚,𝑛=1,2, with 𝑚>𝑛, by (𝐻1) and (𝐻3), we have that 𝜃𝑓𝑡,𝑥𝑚𝑓𝑡,𝑥𝑛𝑥+𝐶𝑚𝑥𝑛𝑥(𝑆+𝐶)𝑚𝑥𝑛.(3.16) By (3.16) and the normality of positive cone 𝑃, we have 𝑓𝑡,𝑥𝑚𝑓𝑡,𝑥𝑛𝑥(𝑁𝑆+𝑁𝐶+𝐶)𝑚𝑥𝑛.(3.17) From (3.17) and the definition of the measure of noncompactness, we have that 𝜇𝑓𝑡,𝑥𝑛𝑥𝐿𝜇𝑛,(3.18) where 𝐿=𝑁𝑆+𝑁𝐶+𝐶. Hence, (𝐻2) holds.
Therefore, by Theorem 3.1, the Cauchy problem (1.1) has the minimal mild solution 𝑢 and the maximal mild solution 𝑢 on 𝐷=[𝑣0,𝑤0]. In view of the proof of Theorem 3.1, we show that 𝑢=𝑢. For 𝑡𝐼, by (3.3), (3.4), (3.5), (𝐻3), and the positivity of operator Ψ(𝑡), we have that 𝜃𝑢(𝑡)𝑢(𝑡)=𝑄𝑢(𝑡)𝑄𝑢=(𝑡)𝑡0(𝑡𝑠)𝛼1Ψ𝑓(𝑡𝑠)𝑠,𝑢(𝑠)𝑓𝑠,𝑢(𝑠)+𝐶𝑢(𝑠)𝑢(𝑠)𝑑𝑠𝑡0(𝑡𝑠)𝛼1Ψ(𝑡𝑠)(𝑆+𝐶)𝑢(𝑠)𝑢(𝑠)𝑑𝑠𝑀1(𝑆+𝐶)𝑡0(𝑡𝑠)𝛼1𝑢(𝑠)𝑢(𝑠)𝑑𝑠.(3.19) By (3.19) and the normality of the positive cone 𝑃, for 𝑡𝐼, we obtain that 𝑢(𝑠)𝑢(𝑠)𝑁𝑀1(𝑆+𝐶)𝑡0(𝑡𝑠)𝛼1𝑢(𝑠)𝑢(𝑠)𝑑𝑠.(3.20) By Lemma 2.10, then 𝑢(𝑡)𝑢(𝑡) on 𝐼. Hence, 𝑢=𝑢 is the the unique mild solution of the Cauchy problem (1.1) on [𝑣0,𝑤0]. By the proof of Theorem 3.1, we know it can be obtained by a monotone iterative procedure starting from 𝑣0 or 𝑤0.

By Corollary 3.3, Corollary 3.4, Theorem 3.5, we have the following results.

Corollary 3.6. Assume that 𝑇(𝑡)(𝑡0) is positive, the Cauchy problem (1.1) has a lower solution 𝑣0𝐶(𝐼,𝑋) and an upper solution 𝑤0𝐶(𝐼,𝑋) with 𝑣0𝑤0, (𝐻1) and (𝐻3) hold, and one of the following conditions is satisfied: (i)X is an ordered Banach space, whose positive cone 𝑃 is regular, (ii)X is an ordered and weakly sequentially complete Banach space, whose positive cone 𝑃 is normal with normal constant 𝑁, then the Cauchy problem (1.1) has the unique mild solution between 𝑣0 and 𝑤0, which can be obtained by a monotone iterative procedure starting from 𝑣0 or 𝑤0.

4. Examples

Example 4.1. In order to illustrate our main results, we consider the fractional partial differential diffusion equation in 𝑋, 𝜕𝛼𝑡𝑢Δ𝑢=𝑔(𝑦,𝑡,𝑢),(𝑦,𝑡)Ω×𝐼,𝑢𝜕Ω𝑢=0,(𝑦,0)=𝜓(𝑦),𝑦Ω,(4.1) where 𝜕𝛼𝑡 is the Caputo fractional partial derivative with order 0<𝛼<1, Δ is the Laplace operator, 𝐼=[0,𝑇], Ω𝑁 is a bounded domain with a sufficiently smooth boundary 𝜕Ω, and 𝑔Ω×𝐼× is continuous.
Let 𝑋=𝐿2(Ω), 𝑃={𝑣𝑣𝐿2(Ω),𝑣(𝑦)0𝑎.𝑒.𝑦Ω}, then 𝑋 is a Banach space, and 𝑃 is a normal cone in 𝑋. Define the operator 𝐴 as follows: 𝐷(𝐴)=𝐻2(Ω)𝐻10(Ω),𝐴𝑢=Δ𝑢.(4.2) Then 𝐴 generates an analytic semigroup of uniformly bounded analytic semigroup 𝑇(𝑡)(𝑡0) in 𝑋 (see [18]). 𝑇(𝑡)(𝑡0) is positive (see [31, 32, 55, 56]). Let 𝑢(𝑡)=𝑢(,𝑡), 𝑓(𝑡,𝑢)=𝑔(,𝑡,𝑢(,𝑡)), then the problem (4.1) can be transformed into the following problem: 𝐷𝛼𝑢(𝑡)+𝐴𝑢(𝑡)=𝑓(𝑡,𝑢(𝑡)),𝑡𝐼,𝑢(0)=𝜓.(4.3) Let 𝜆1 be the first eigenvalue of 𝐴, and 𝜓1 is the corresponding eigenfunction, then 𝜆10, 𝜓1(𝑦)0. In order to solve the problem (4.1), we also need the following assumptions: (𝑂1)𝜓(𝑦)𝐻2(Ω)𝐻10(Ω), 0𝜓(𝑦)𝜓1(𝑦), 𝑔(𝑦,𝑡,0)0, 𝑔(𝑦,𝑡,𝜓1(𝑦))𝜆1𝜓1(𝑦), (𝑂2)the partial derivative 𝑔𝑢(𝑦,𝑡,𝑢) is continuous on any bounded domain.

Theorem 4.2. If (𝑂1) and (𝑂2) are satisfied, then the problem (4.1) has the unique mild solution.

Proof. From Definition 2.4 and (𝑂1), we obtain that 0 is a lower solution of (4.3), and 𝜓1(𝑦) is an upper solution of (4.3). Form (𝑂2), it is easy to verify that (𝐻1) and (𝐻3) are satisfied. Therefore, by Theorem 3.5, the problem (4.1) has the unique mild solution.

Acknowledgments

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