Research Article Positive Solutions for the Initial Value Problem of He Yang

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 428793, 7 pages
http://dx.doi.org/10.1155/2013/428793
Research Article
Positive Solutions for the Initial Value Problem of
Fractional Evolution Equations
He Yang1 and Yue Liang2
1
2
Department of Mathematics, Northwest Normal University, Lanzhou 730070, China
Science College, Gansu Agricultural University, Lanzhou 730070, China
Correspondence should be addressed to He Yang; yanghe256@163.com
Received 9 December 2012; Accepted 19 February 2013
Academic Editor: Changbum Chun
Copyright © 2013 H. Yang and Y. Liang. 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.
By using the fixed point theorems and the theory of analytic semigroup, we investigate the existence of positive mild solutions to
the Cauchy problem of Caputo fractional evolution equations in Banach spaces. Some existence theorems are obtained under the
case that the analytic semigroup is compact and noncompact, respectively. As an example, we study the partial differential equation
of the parabolic type of fractional order.
1. Introduction
The differential equations involving fractional derivatives in
time have recently been studied extensively. One can see, for
instance, the monographs [1–5] and the survey [6–8]. In particular, there has been a significant development in fractional
evolution equations. Existence of solutions for fractional
evolution equations has been studied by many authors during
recent years. Many excellent results are obtained in this field;
see [9–19] and the references therein. In [9, 10], El-Borai first
constructed the type of mild solutions to fractional evolution
equations in terms of a probability density. And then the
author investigated the existence, uniqueness, and regularity
of solutions of fractional integrodifferential equations in [11,
12]. Recently, this theory was developed by Zhou et al. [13–16].
Particularly, they studied the existence and controllability of
mild solution of fractional delay integrodifferential equations
with a compact analytic semigroup in [16]. In [17–19], the
authors studied the existence of mild solutions of fractional
impulsive delay or impulsive evolution equations. But as far
as we know, there are no results on the existence of positive
solutions of fractional evolution equations.
In this paper, by using the fixed point theorems combined with the theory of analytic semigroup, we investigate
the existence of positive mild solutions for the initial value
problem (IVP) of fractional evolution equations in Banach
space 𝑋 as
π‘ž
𝐷0 𝑒 (𝑑) + 𝐴𝑒 (𝑑) = 𝑓 (𝑑, 𝑒 (𝑑)) ,
𝑒 (0) = 𝑒0 ,
𝑑 > 0,
(1)
π‘ž
where 𝐷0 denotes the Caputo fractional derivative of order
π‘ž ∈ (0, 1) with the lower limits zero, −𝐴 : 𝐷(𝐴) ⊂ 𝑋 →
𝑋 is the infinitesimal generator of an analytic semigroup
𝑆(𝑑) (𝑑 ≥ 0) of uniformly bounded linear operators, and 𝑓
is the nonlinear term and will be specified later.
The rest of this paper is organized as follows. In Section 2,
some preliminaries are given on the fractional power of the
generator of the analytic semigroup and the definition of
mild solutions of IVP(1). In Section 3, we study the existence
of positive mild solutions for the IVP(1). In Section 4, an
example is given to illustrate the applicability of abstract
results obtained in Section 3.
2. Preliminaries
In this section, we introduce some basic facts about the
fractional power of the generator of analytic semigroup and
the fractional calculus that are used throughout this paper.
2
Abstract and Applied Analysis
Let 𝑋 be a Banach space with norm β€– ⋅ β€–. Throughout
this paper, we assume that −𝐴 : 𝐷(𝐴) ⊂ 𝑋 → 𝑋 is the
infinitesimal generator of an analytic semigroup 𝑆(𝑑) (𝑑 ≥ 0)
of uniformly bounded linear operator in 𝑋; that is, there
exists 𝑀 ≥ 1 such that ‖𝑆(𝑑)β€– ≤ 𝑀 for all 𝑑 ≥ 0. Without
loss of generality, let 0 ∈ 𝜌(−𝐴), where 𝜌(−𝐴) is the resolvent
set of −𝐴. Then for any 𝛼 > 0, we can define 𝐴−𝛼 by
𝐴−𝛼 :=
∞
1
∫ 𝑑𝛼−1 𝑆 (𝑑) 𝑑𝑑.
Γ (𝛼) 0
(2)
Then 𝐴𝛼 can be defined by 𝐴𝛼 := (𝐴−𝛼 )−1 because 𝐴−𝛼 is one
to one. It can be shown that each 𝐴𝛼 has dense domain and
that 𝐷(𝐴𝛽 ) ⊂ 𝐷(𝐴𝛼 ) for 0 ≤ 𝛼 ≤ 𝛽. Moreover, 𝐴𝛼+𝛽 π‘₯ =
𝐴𝛼 𝐴𝛽 π‘₯ = 𝐴𝛽 𝐴𝛼 π‘₯ for every 𝛼, 𝛽 ∈ R and π‘₯ ∈ 𝐷(π΄πœ‡ ) with
πœ‡ := max{𝛼, 𝛽, 𝛼 + 𝛽}, where 𝐴0 = 𝐼, 𝐼 is the identity in 𝑋
(for proofs of these facts we refer to the literature [20–22]).
We denote by 𝑋𝛼 the Banach space of 𝐷(𝐴𝛼 ) equipped
with norm β€–π‘₯‖𝛼 = ‖𝐴𝛼 π‘₯β€– for π‘₯ ∈ 𝐷(𝐴𝛼 ), which is equivalent
to the graph norm of 𝐴𝛼 . Then we have 𝑋𝛽 󳨅→ 𝑋𝛼 for 0 ≤
𝛼 ≤ 𝛽 ≤ 1 (with 𝑋0 = 𝑋), and the embedding is continuous.
Moreover, 𝐴𝛼 has the following basic properties.
𝛼
Lemma 1 (see [23]). 𝐴 has the following properties.
(i) 𝑆(𝑑) : 𝑋 → 𝑋𝛼 for each 𝑑 > 0 and 𝛼 ≥ 0.
(ii) 𝐴𝛼 𝑆(𝑑)π‘₯ = 𝑆(𝑑)𝐴𝛼 π‘₯ for each π‘₯ ∈ 𝐷(𝐴𝛼 ) and 𝑑 ≥ 0.
(iii) For every 𝑑 > 0, 𝐴𝛼 𝑆(𝑑) is bounded in 𝑋 and there exists
𝑀𝛼 > 0 such that
σ΅„©
σ΅„©σ΅„© 𝛼
−𝛼
󡄩󡄩𝐴 𝑆 (𝑑)σ΅„©σ΅„©σ΅„© ≤ 𝑀𝛼 𝑑 .
(3)
Let 𝐽 be a closed interval on R+ = [0, ∞). In the following
we denote by 𝐢(𝐽, 𝑋𝛼 ) the Banach space of all continuous
functions from 𝐽 into 𝑋𝛼 endowed with supnorm given by
‖𝑒‖𝐢 = sup𝑑∈𝐽 ‖𝑒(𝑑)‖𝛼 for 𝑒 ∈ 𝐢(𝐽, 𝑋𝛼 ). For any 𝑑 ≥ 0, denote
by 𝑆𝛼 (𝑑) the restriction of 𝑆(𝑑) to 𝑋𝛼 . From Lemma 1(i) and
(ii), for any π‘₯ ∈ 𝑋𝛼 , we have
σ΅„©
σ΅„© σ΅„©
σ΅„©
‖𝑆 (𝑑) π‘₯‖𝛼 = 󡄩󡄩󡄩𝐴𝛼 ⋅ 𝑆 (𝑑) π‘₯σ΅„©σ΅„©σ΅„© = 󡄩󡄩󡄩𝑆 (𝑑) ⋅ 𝐴𝛼 π‘₯σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©
≤ ‖𝑆 (𝑑)β€– ⋅ 󡄩󡄩󡄩𝐴𝛼 π‘₯σ΅„©σ΅„©σ΅„© = ‖𝑆 (𝑑)β€– ⋅ β€–π‘₯‖𝛼 ,
σ΅„©
σ΅„©
‖𝑆 (𝑑) π‘₯ − π‘₯‖𝛼 = 󡄩󡄩󡄩𝐴𝛼 ⋅ 𝑆 (𝑑) π‘₯ − 𝐴𝛼 π‘₯σ΅„©σ΅„©σ΅„©
σ΅„©
σ΅„©
= 󡄩󡄩󡄩𝑆 (𝑑) ⋅ 𝐴𝛼 π‘₯ − 𝐴𝛼 π‘₯σ΅„©σ΅„©σ΅„© 󳨀→ 0
Definition 3. The fractional integral of order 𝜎 > 0 with the
lower limits zero for a function 𝑓 is defined by
𝑑
1
∫ (𝑑 − 𝑠)𝜎−1 𝑓 (𝑠) 𝑑𝑠,
à (𝜎) 0
𝐼0𝜎 𝑓 (𝑑) =
𝑑 > 0,
(5)
where Γ is the gamma function.
The Riemann-Liouville fractional derivative of order 𝑛 −
1 < 𝜎 < 𝑛 with the lower limits zero for a function 𝑓 can be
written as
𝐿
𝐷0𝜎 𝑓 (𝑑) =
1
𝑑𝑛 𝑑
∫ (𝑑 − 𝑠)𝑛−𝜎−1 𝑓 (𝑠) 𝑑𝑠,
Γ (𝑛 − 𝜎) 𝑑𝑑𝑛 0
(6)
𝑑 > 0, 𝑛 ∈ N.
Also the Caputo fractional derivative of order 𝑛 − 1 < 𝜎 < 𝑛
with the lower limits zero for a function 𝑓 ∈ 𝐢𝑛 [0, ∞) can be
written as
𝑑
1
∫ (𝑑 − 𝑠)𝑛−𝜎−1 𝑓(𝑛) (𝑠) 𝑑𝑠,
Γ (𝑛 − 𝜎) 0
𝐷0𝜎 𝑓 (𝑑) =
(7)
𝑑 > 0, 𝑛 ∈ N.
Remark 4. (1) The Caputo derivative of a constant is equal to
zero.
(2) If 𝑓 is an abstract function with values in 𝑋, then
integrals which appear in Definition 3 are taken in Bochner’s
sense.
Lemma 5 (see [14]). A measurable function β„Ž : 𝐽 → 𝑋 is
Bochner integrable if β€–β„Žβ€– is Lebesgue integrable.
For π‘₯ ∈ 𝑋, we define two families {π‘ˆ(𝑑)}𝑑≥0 and {𝑉(𝑑)}𝑑≥0
of operators by
∞
π‘ˆ (𝑑) π‘₯ = ∫ πœ‚π‘ž (πœƒ) 𝑆 (π‘‘π‘ž πœƒ) π‘₯ π‘‘πœƒ,
0
∞
(8)
π‘ž
𝑉 (𝑑) π‘₯ = π‘ž ∫ πœƒπœ‚π‘ž (πœƒ) 𝑆 (𝑑 πœƒ) π‘₯ π‘‘πœƒ,
0
0 < π‘ž < 1,
where
πœ‚π‘ž (πœƒ) =
(4)
as 𝑑 → 0. Therefore, 𝑆(𝑑) (𝑑 ≥ 0) is a strongly continuous
semigroup in 𝑋𝛼 , and ‖𝑆𝛼 (𝑑)‖𝛼 ≤ ‖𝑆(𝑑)β€– for all 𝑑 ≥ 0. To prove
our main results, the following lemma is also needed.
Lemma 2 (see [24]). If 𝑆(𝑑) (𝑑 ≥ 0) is a compact semigroup in
𝑋, then 𝑆𝛼 (𝑑) (𝑑 ≥ 0) is a compact semigroup in 𝑋𝛼 , and hence
it is norm continuous.
Let us recall the following known definitions in fractional
calculus. For more details, see [9, 13–16, 18, 19].
1 −1−1/π‘ž
πœŒπ‘ž (πœƒ−1/π‘ž ) ,
πœƒ
π‘ž
πœŒπ‘ž (πœƒ)
=
Γ (π‘›π‘ž + 1)
1∞
sin (π‘›πœ‹π‘ž) ,
∑ (−1)𝑛−1 πœƒ−π‘žπ‘›−1
πœ‹ 𝑛=1
𝑛!
πœƒ ∈ (0, ∞) ,
(9)
where πœ‚π‘ž is a probability density function defined on (0, ∞),
which has properties πœ‚π‘ž (πœƒ) ≥ 0 for all πœƒ ∈ (0, ∞) and
∞
∫0 πœ‚π‘ž (πœƒ)π‘‘πœƒ = 1. It is not difficult to verify (see [14]) that for
πœ‡ ∈ [0, 1], we have
∞
∫ πœƒπœ‡ πœ‚π‘ž (πœƒ) π‘‘πœƒ =
0
Γ (1 + πœ‡)
.
Γ (1 + π‘žπœ‡)
(10)
Abstract and Applied Analysis
3
Clearly, if the semigroup 𝑆(𝑑) (𝑑 ≥ 0) is positive, then, by the
definitions, the operators π‘ˆ(𝑑) and 𝑉(𝑑) are also positive for
all 𝑑 ≥ 0.
The following lemma follows from the results in [14,
Lemma 2.9] and [15, Lemmas 3.2–3.5].
Definition 11. By a mild solution of the IVP(1), one means a
function 𝑒 ∈ 𝐢(𝐽, 𝑋𝛼 ) satisfying
Lemma 6. The operators π‘ˆ(𝑑) and 𝑉(𝑑) have the following
properties.
for all 𝑑 ∈ 𝐽.
β€–π‘ˆ(𝑑)π‘₯‖𝛼 ≤ 𝑀‖π‘₯‖𝛼 ,
π‘žπ‘€
𝑀
β€–π‘₯‖𝛼 =
β€–π‘₯‖𝛼 .
Γ (1 + π‘ž)
Γ (π‘ž)
0
(14)
3. Existence of Positive Mild Solutions
(i) For any fixed 𝑑 ≥ 0 and any π‘₯ ∈ 𝑋𝛼 , one has
‖𝑉(𝑑)π‘₯‖𝛼 ≤
𝑑
𝑒 (𝑑) = π‘ˆ (𝑑) 𝑒0 + ∫ (𝑑 − 𝑠)π‘ž−1 𝑉 (𝑑 − 𝑠) 𝑓 (𝑠, 𝑒 (𝑠)) 𝑑𝑠
(11)
(ii) The operators π‘ˆ(𝑑) and 𝑉(𝑑) are strongly continuous for
all 𝑑 ≥ 0.
(iii) If the semigroup 𝑆(𝑑) (𝑑 ≥ 0) is compact, then π‘ˆ(𝑑) and
𝑉(𝑑) are compact operators in 𝑋 for 𝑑 > 0.
(iv) If the semigroup 𝑆𝛼 (𝑑) (𝑑 ≥ 0) is norm continuous, then
the restriction of π‘ˆ(𝑑) to 𝑋𝛼 and the restriction of 𝑉(𝑑)
to 𝑋𝛼 are uniformly continuous for 𝑑 > 0.
Definition 7 (see [25, 26]). Let 𝐡 be a bounded set of a real
Banach space 𝐸. Set 𝛽(𝐡) = inf{𝛿 > 0: 𝐡 can be expressed as
the union of a finite number of sets such that the diameter of
each set does not exceed 𝛿; that is, 𝐡 = ∪π‘š
𝑖=1 𝐡𝑖 with diam(𝐡𝑖 ) ≤
𝛿, 𝑖 = 1, 2, . . . , π‘š}. 𝛽(𝐡) is called the Kuratowski measure of
noncompactness of set 𝐡.
In this section, we introduce the existence theorems of positive mild solutions of the IVP(1). The discussions are based
on fractional calculus and fixed point theorems.
Let πœ† 1 be the smallest positive real eigenvalue of the linear
operator 𝐴, and let 𝑒1 ∈ 𝐷(𝐴) be the positive eigenvector
corresponding to πœ† 1 . For any 𝑇 > 0 and π‘Ÿ > 0, we write
Ωπ‘Ÿ
:= {𝑒 ∈ 𝐢 ([0, 𝑇] , 𝑋𝛼 ) : ‖𝑒 (𝑑)‖𝛼 ≤ π‘Ÿ, 𝑒 (𝑑) ≥ πœŽπ‘’1 , 𝑑 ∈ [0, 𝑇]} ,
(15)
where 𝜎 > 0 is a constant. Our main results are as follows.
Theorem 12. Let −𝐴 : 𝐷(𝐴) ⊂ 𝑋 → 𝑋 be the infinitesimal generator of a positive and compact analytic semigroup
𝑆(𝑑) (𝑑 ≥ 0) of uniformly bounded linear operators. Assume
that 𝑓 ∈ 𝐢(R+ × π‘‹π›Ό , 𝑋) satisfies the following conditions.
(𝐻1 ) For any 𝑒 ∈ Ωπ‘Ÿ , one has
𝑓 (𝑑, 𝑒 (𝑑)) ≥ 𝑓 (𝑑, πœŽπ‘’1 ) ≥ πœ† 1 πœŽπ‘’1 ,
𝑑 ∈ [0, 𝑇] .
(16)
It is clear that 0 ≤ 𝛽(𝐡) < ∞. For the Kuratowski measure of noncompactness, we have the following well-known
results.
(𝐻2 ) 𝑓 maps bounded sets of R+ × π‘‹π›Ό into bounded sets of
𝑋.
Lemma 8 (see [26]). If 𝐷 ∈ 𝐢(𝐽, 𝐸) is bounded and equicontinuous, then
If 𝑒0 ∈ 𝑋𝛼 with 𝑒0 ≥ πœŽπ‘’1 and π›Όπ‘ž < 1/2 for some 1/2 < π‘ž <
1, then the IVP(1) has at least one positive mild solution 𝑒 ∈
𝐢([0, 𝑇), 𝑋𝛼 ). And if 𝑇 < ∞, one has lim𝑑∈𝑇− ‖𝑒(𝑑)‖𝛼 = ∞.
𝛽 (𝐷) = 𝛽 (𝐷 (𝐽)) = max 𝛽 (𝐷 (𝑑)) ,
𝑑∈𝐽
(12)
where 𝐷(𝐽) = {π‘₯(𝑑) : π‘₯ ∈ 𝐷, 𝑑 ∈ 𝐽}.
Lemma 9 (see [27]). Let 𝐷 be a countable set of strongly
measurable function π‘₯ : 𝐽 → 𝐸 such that there exists an
𝑀 ∈ 𝐿(𝐽, R+ ) such that β€–π‘₯(𝑑)β€– ≤ 𝑀(𝑑) π‘Ž.𝑒., 𝑑 ∈ 𝐽 for all π‘₯ ∈ 𝐷.
Then 𝛽(𝐷(𝑑)) ∈ 𝐿(𝐽, R+ ) and
𝛽 ({∫ π‘₯ (𝑑) 𝑑𝑑 : π‘₯ ∈ 𝐷}) ≤ 2 ∫ 𝛽 (𝐷 (𝑑)) 𝑑𝑑.
𝐽
𝐽
(13)
Lemma 10 (see [25] Mönch fixed point theorem). Let B be
a closed and convex subset of 𝐸 and 𝑦0 ∈ 𝐡. Assume that the
continuous operator 𝐴 : 𝐡 → 𝐡 has the following property:
𝐷 ⊂ 𝐡 is countable, and 𝐷 ⊂ Co({𝑦0 } ∪ 𝐴(𝐷)) → 𝐷 is
relatively compact. Then 𝐴 has a fixed point in 𝐡.
Based on an overall observation of the previous related
literature, in this paper we adopt the following definition of
mild solution of IVP(1).
Proof. For any 𝑑0 ≥ 0 and π‘₯0 ∈ 𝑋𝛼 with π‘₯0 ≥ πœŽπ‘’1 , we
first prove that the initial value problem (IVP) of fractional
evolution equations
π‘ž
𝐷𝑑0 𝑒 (𝑑) + 𝐴𝑒 (𝑑) = 𝑓 (𝑑, 𝑒 (𝑑)) ,
𝑒 (𝑑0 ) = π‘₯0
𝑑 > 𝑑0 ,
(17)
has at least one positive mild solution on 𝐽 = [𝑑0 , 𝑑0 + β„Žπ‘‘0 ],
where β„Žπ‘‘0 is a positive constant and will be given later.
Let 𝑅𝑑0 := 2𝑀(β€–π‘₯0 ‖𝛼 + 1) + πœŽπ‘’1 > 0. Denote
Ω𝑅𝑑 := {𝑒 ∈ 𝐢 (𝐽, 𝑋𝛼 ) : ‖𝑒(𝑑)‖𝛼 ≤ 𝑅𝑑0 , 𝑒 (𝑑) ≥ πœŽπ‘’1 , 𝑑 ∈ 𝐽} .
0
(18)
Then Ω𝑅𝑑 ⊂ 𝐢(𝐽, 𝑋𝛼 ) is a nonempty bounded convex closed
0
set. The assumption (𝐻2 ) implies that there is a constant 𝐢 =
𝐢(𝑑0 ) > 0 such that
σ΅„©
σ΅„©σ΅„©
(19)
󡄩󡄩𝑓 (𝑑, 𝑒)σ΅„©σ΅„©σ΅„© ≤ 𝐢
for any 𝑑 ∈ 𝐽 and 𝑒 ∈ Ω𝑅𝑑 .
0
4
Abstract and Applied Analysis
Define an operator 𝑄 by
(𝑄𝑒) (𝑑) = π‘ˆ (𝑑 − 𝑑0 ) π‘₯0
𝑑
+ ∫ (𝑑 − 𝑠)π‘ž−1 𝑉 (𝑑 − 𝑠) 𝑓 (𝑠, 𝑒 (𝑠)) 𝑑𝑠,
𝑑 ∈ 𝐽.
𝑑0
(20)
By the continuity of 𝑓, it is not difficult to prove that 𝑄 :
𝐢(𝐽, 𝑋𝛼 ) → 𝐢(𝐽, 𝑋𝛼 ) is continuous. By the positivity of the
semigroup 𝑆(𝑑) (𝑑 ≥ 0), the assumption (𝐻1 ), and (20), we
easily see that (𝑄𝑒)(𝑑) ≥ (π‘„πœŽπ‘’1 )(𝑑). Clearly, the positive mild
solution of the IVP(17) on 𝐽 is equivalent to the fixed point of
operator 𝑄 in Ω𝑅𝑑 . We will use Schauder fixed point theorem
0
to prove that 𝑄 has fixed points in Ω𝑅𝑑 .
0
We first prove that 𝑄 : Ω𝑅𝑑 → Ω𝑅𝑑 is continuous. Let
0
0
β„Žπ‘‘0 ≤ [𝑀(1−𝛼)Γ(1+π‘ž(1− 𝛼))(β€–π‘₯0 ‖𝛼 +1)/𝑀𝛼 𝐢Γ(2−𝛼)]1/π‘ž(1−𝛼) .
For any 𝑒 ∈ Ω𝑅𝑑 and 𝑑 ∈ 𝐽, by Lemma 6, (10), (19), and (20),
0
we have
β€–(𝑄𝑒) (𝑑)‖𝛼
σ΅„© 𝑑
σ΅„©σ΅„©
σ΅„©
σ΅„© σ΅„©σ΅„©
σ΅„©
≤ σ΅„©σ΅„©σ΅„©π‘ˆ(𝑑 − 𝑑0 )π‘₯0 󡄩󡄩󡄩𝛼 + σ΅„©σ΅„©σ΅„©σ΅„©∫ (𝑑 − 𝑠)π‘ž−1 𝑉(𝑑 − 𝑠)𝑓(𝑠, 𝑒(𝑠))𝑑𝑠󡄩󡄩󡄩󡄩
σ΅„©σ΅„© 𝑑0
󡄩󡄩𝛼
𝑑
σ΅„©
σ΅„© σ΅„©
σ΅„©
σ΅„© σ΅„©
≤ 𝑀󡄩󡄩󡄩π‘₯0 󡄩󡄩󡄩𝛼 + ∫ (𝑑 − 𝑠)π‘ž−1 󡄩󡄩󡄩𝐴𝛼 𝑉 (𝑑 − 𝑠)σ΅„©σ΅„©σ΅„© ⋅ 󡄩󡄩󡄩𝑓 (𝑠, 𝑒 (𝑠))σ΅„©σ΅„©σ΅„© 𝑑𝑠
𝑑0
𝑑
∞
𝑑0
0
σ΅„© σ΅„©
≤ 𝑀󡄩󡄩󡄩π‘₯0 󡄩󡄩󡄩𝛼 + π‘žπ‘€π›Ό 𝐢 ∫ (𝑑 − 𝑠)π‘ž(1−𝛼)−1 𝑑𝑠 ⋅ ∫ πœƒ1−𝛼 πœ‚π‘ž (πœƒ) π‘‘πœƒ
σ΅„© σ΅„©
= 𝑀󡄩󡄩󡄩π‘₯0 󡄩󡄩󡄩𝛼 +
𝑀𝛼 𝐢à (2 − 𝛼)
π‘ž(1−𝛼)
β„Ž
≤ 𝑅𝑑0 .
(1 − 𝛼) Γ (1 + π‘ž (1 − 𝛼)) 𝑑0
(21)
Let V0 ≡ πœŽπ‘’1 . Then V0 (𝑑) = πœŽπ‘’1 for any 𝑑 ∈ 𝐽 and
π‘ž
πœ™ (𝑑) β‰œ 𝐷𝑑0 V0 (𝑑) + 𝐴V0 (𝑑) = πœ† 1 πœŽπ‘’1 ≤ 𝑓 (𝑑, πœŽπ‘’1 ) ,
𝑑 ∈ 𝐽.
(22)
By the positivity of the semigroup 𝑆(𝑑) (𝑑 ≥ 0), assumption
(𝐻1 ), and (20), for any 𝑑 ∈ 𝐽, we have
πœŽπ‘’1 = V0 (𝑑)
𝑑
= π‘ˆ (𝑑 − 𝑑0 ) V0 (𝑑0 ) + ∫ (𝑑 − 𝑠)π‘ž−1 𝑉 (𝑑 − 𝑠) πœ™ (𝑠) 𝑑𝑠
𝑑0
𝑑
≤ π‘ˆ (𝑑 − 𝑑0 ) π‘₯0 + ∫ (𝑑 − 𝑠)π‘ž−1 𝑉 (𝑑 − 𝑠) 𝑓 (𝑠, πœŽπ‘’1 ) 𝑑𝑠
𝑑0
= (π‘„πœŽπ‘’1 ) (𝑑) ≤ (𝑄𝑒) (𝑑) .
(23)
Thus, 𝑄 : Ω𝑅𝑑 → Ω𝑅𝑑 is continuous.
0
0
By using a similar argument as in the proof of Theorem
3.1 in [14], we can prove that 𝑄 : Ω𝑅𝑑 → Ω𝑅𝑑 is a
0
0
compact operator. Hence by Schauder fixed point theorem,
the operator 𝑄 has at least one fixed point 𝑒∗ in Ω𝑅𝑑 , which
0
satisfies 𝑒∗ (𝑑) ≥ πœŽπ‘’1 > 0 for all 𝑑 ∈ 𝐽. Hence 𝑒∗ is a positive
mild solution of the IVP(1) on 𝐽.
Therefore, there exists [0, β„Ž0 ] such that the IVP(1) has at
least one positive mild solution 𝑒∗ ∈ 𝐢([0, β„Ž0 ], 𝑋𝛼 ). Now, by
the standard proof method of extension theorem of initial
value problem, 𝑒∗ can be extended to a saturated solution
𝑒 ∈ 𝐢([0, 𝑇), 𝑋𝛼 ) of the IVP(1), whose existence interval is
[0, 𝑇), and if 𝑇 < ∞, we have lim𝑑 → 𝑇− ‖𝑒(𝑑)‖𝛼 = ∞.
For any 𝑇 > 0 and π‘Ÿ > 0, define Ωπ‘Ÿ as in (15). If 𝑓(𝑑, 𝑒) is
increasing in Ωπ‘Ÿ , that is, 𝑓(𝑑, 𝑒) satisfies the condition
(𝐻1 )∗ for any 𝑒1 , 𝑒2 ∈ Ωπ‘Ÿ with 𝑒1 (𝑑) ≤ 𝑒2 (𝑑) for all 𝑑 ∈ [0, 𝑇],
we have
𝑓 (𝑑, 𝑒1 (𝑑)) ≤ 𝑓 (𝑑, 𝑒2 (𝑑)) ,
𝑑 ∈ [0, 𝑇] ,
(24)
then we have 𝑓(𝑑, 𝑒(𝑑)) ≥ 𝑓(𝑑, πœŽπ‘’1 ) for any 𝑒 ∈ Ωπ‘Ÿ and
𝑑 ∈ [0, 𝑇]. On the other hand, if 𝑓(𝑑, 𝑒) satisfies linear growth
condition, then it maps the bounded sets into the bounded
sets. Hence by Theorem 12, we have the following existence
result.
Corollary 13. Let −𝐴 : 𝐷(𝐴) ⊂ 𝑋 → 𝑋 be the infinitesimal generator of a positive and compact analytic semigroup
𝑆(𝑑) (𝑑 ≥ 0) of uniformly bounded linear operators. Assume
that 𝑓 ∈ 𝐢(R+ × π‘‹π›Ό , 𝑋) satisfies condition (𝐻1 )∗ and
(𝐻2 )∗ there exists a constant π‘Žπ‘“ > 0 such that
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑓 (𝑑, π‘₯)σ΅„©σ΅„©σ΅„© ≤ π‘Žπ‘“ (1 + β€–π‘₯‖𝛼 )
(25)
for all 𝑑 ∈ [0, 𝑇] and π‘₯ ∈ 𝑋𝛼 .
If 𝑓(𝑑, πœŽπ‘’1 ) ≥ πœ† 1 πœŽπ‘’1 for all 𝑑 ∈ [0, 𝑇], 𝑒0 ∈ 𝑋𝛼 with 𝑒0 ≥
πœŽπ‘’1 and π›Όπ‘ž < 1/2 for some 1/2 < π‘ž < 1, then the IVP(1) has
at least one positive mild solution 𝑒 ∈ 𝐢([0, 𝑇), 𝑋𝛼 ). And if
𝑑 < ∞, one has lim𝑑 → 𝑇− ‖𝑒(𝑑)‖𝛼 = ∞.
Since the analytic semigroup is norm continuous, it
follows that we can delete the compactness condition on the
analytic semigroup 𝑆(𝑑) (𝑑 ≥ 0) and obtain the following
existence result.
Theorem 14. Assume that −𝐴 : 𝐷(𝐴) ⊂ 𝑋 → 𝑋 is the infinitesimal generator of a positive analytic semigroup 𝑆(𝑑) (𝑑 ≥ 0)
of uniformly bounded linear operators, and that 𝑓 ∈ 𝐢(R+ ×
𝑋𝛼 , 𝑋) satisfies the condition (𝐻1 ) and
(𝐻3 ) for any 𝑇 > 0 and π‘Ÿ > 0, 𝑓(𝑑, Ωπ‘Ÿ ) := {𝑓(𝑑, 𝑒) : 𝑒 ∈ Ωπ‘Ÿ }
is relatively compact in 𝑋𝛼 for all 𝑑 ∈ [0, 𝑇], where Ωπ‘Ÿ
is defined as in (15).
If 𝑒0 ∈ 𝑋𝛼 with 𝑒0 ≥ πœŽπ‘’1 and π›Όπ‘ž < 1/2 for some 1/2 < π‘ž <
1, then the IVP(1) has at least one positive mild solution 𝑒 ∈
𝐢([0, 𝑇), 𝑋𝛼 ). And if 𝑑 < ∞, one has lim𝑑 → 𝑇− ‖𝑒(𝑑)‖𝛼 = ∞.
Proof. For any 𝑑0 ≥ 0 and π‘₯0 ∈ 𝑋𝛼 with π‘₯0 ≥ πœŽπ‘’1 , we first
prove that the IVP(17) has at least one positive mild solution
on 𝐽 = [𝑑0 , 𝑑0 + β„Žπ‘‘0 ], where β„Žπ‘‘0 > 0 is a constant and will
be specified later. Define an operator 𝑄 as in (20). Let 𝑅𝑑0 =
2𝑀(β€–π‘₯0 ‖𝛼 + 1) + πœŽπ‘’1 . Write Ω𝑅𝑑 as in (18). The condition (𝐻3 )
0
Abstract and Applied Analysis
5
implies that 𝑓(𝑑, Ω𝑅𝑑 ) is bounded for any 𝑑 ∈ 𝐽, that is, there
0
is a positive constant 𝐢 = 𝐢(𝑑0 ) such that
σ΅„©
σ΅„©σ΅„©
󡄩󡄩𝑓 (𝑑, 𝑒 (𝑑))σ΅„©σ΅„©σ΅„© ≤ 𝐢,
𝑑 ∈ 𝐽, 𝑒 ∈ Ω𝑅𝑑 .
(26)
0
Let β„Žπ‘‘0 ≤ [𝑀(1 − 𝛼)Γ(1 + π‘ž(1 − 𝛼))(β€–π‘₯0 ‖𝛼 + 1)/𝑀𝛼 𝐢Γ(2 −
𝛼)]1/π‘ž(1−𝛼) . A similar argument as in the proof of Theorem 12
shows that 𝑄 : Ω𝑅𝑑 → Ω𝑅𝑑 is continuous and 𝑄Ω𝑅𝑑 is equi0
0
0
continuous.
Thus, for any 𝐷 ⊂ Ω𝑅𝑑 , let 𝐷(𝑑) := {𝑒(𝑑) : 𝑒 ∈ 𝐷}, 𝑑 ∈ 𝐽.
0
Since 𝑄𝐷 ⊂ 𝑄Ω𝑅𝑑 ⊂ Ω𝑅𝑑 is equicontinuous and bounded,
0
0
by Lemma 8, we have
𝛽 (𝑄𝐷) = max 𝛽 ((𝑄𝐷) (𝑑)) .
(27)
𝑑∈𝐽
4. Positive Mild Solutions of
Parabolic Equations
Let Ω ⊂ R𝑁 be a bounded domain with a sufficiently smooth
boundary πœ•Ω. Let
𝑁
πœ•π‘’
πœ•
(π‘Žπ‘–π‘— (π‘₯)
) + π‘Ž0 (π‘₯) 𝑒
πœ•π‘₯
πœ•π‘₯
𝑖
𝑗
𝑖,𝑗=1
𝐴 (π‘₯, 𝐷) 𝑒 = − ∑
be a uniformly elliptic differential operator of divergence
form in Ω, where the coefficients π‘Žπ‘–π‘— ∈ 𝐢1+πœ‡ (Ω) (𝑖, 𝑗 =
1, 2, . . . , 𝑁) and π‘Ž0 ∈ πΆπœ‡ (Ω) for some πœ‡ ∈ (0, 1). We assume
that [π‘Žπ‘–π‘— (π‘₯)]𝑁×𝑁 is a positive define symmetric matric for
every π‘₯ ∈ Ω, and there exists a constant 𝜈 > 0 such that
𝑁
Now, let 𝐷 = {π‘’π‘š : π‘š = 1, 2, . . .} ⊂ Ω𝑅𝑑 with 𝐷 ⊂
󡄨 󡄨2
∑ π‘Žπ‘–π‘— (π‘₯) πœ‰π‘– πœ‰π‘— ≥ πœˆσ΅„¨σ΅„¨σ΅„¨πœ‰σ΅„¨σ΅„¨σ΅„¨ ,
0
Co({𝑦0 } ∪ 𝑄𝐷) for some 𝑦0 ∈ Ω𝑅𝑑 . It is obvious that
𝑖,𝑗=1
0
σ΅„©σ΅„©
σ΅„©
σ΅„©σ΅„©(𝑑 − 𝑠)π‘ž−1 𝑉(𝑑 − 𝑠)𝑓(𝑠, 𝑒(𝑠))σ΅„©σ΅„©σ΅„©
σ΅„©
󡄩𝛼
≤
(28)
Hence by Lemma 9 and (20), we have
𝛽 ((𝑄𝐷) (𝑑))
= 𝛽 (π‘ˆ (𝑑 − 𝑑0 ) π‘₯0 + ∫ (𝑑 − 𝑠)
𝑑0
𝑑
= 𝛽 (∫ (𝑑 − 𝑠)
𝑑0
π‘ž−1
π‘ž−1
(32)
∀πœ‰ = (πœ‰1 , πœ‰2 , . . . , πœ‰π‘) ∈ R𝑁, π‘₯ ∈ Ω.
𝐢𝑀𝛼 π‘žΓ (2 − 𝛼)
(𝑑 − 𝑠)π‘ž−1 ∈ 𝐿 (𝐽, R+ ) .
Γ (1 + π‘ž (1 − 𝛼))
𝑑
(31)
𝑉 (𝑑 − 𝑠) 𝑓 (𝑠, 𝐷 (𝑠)) 𝑑𝑠)
Let π‘Ž0 (π‘₯) ≥ 0 on Ω. We use (π‘₯, 𝑑, πœ‚) to denote a generic
point of Ω × R+ × R, where R = [0, +∞) and R =
(−∞, +∞). Let 𝐹 : Ω × R+ × R → R be a continuous
function. We discuss the existence of positive mild solutions
for the parabolic initial boundary value problem (IBVP)
πœ•π‘ž
𝑒 (π‘₯, 𝑑) + 𝐴 (π‘₯, 𝐷) 𝑒 (π‘₯, 𝑑) = 𝐹 (π‘₯, 𝑑, 𝑒 (π‘₯, 𝑑))
πœ•π‘‘π‘ž
in Ω × R+ ,
𝑒|πœ•Ω = 0,
𝑉 (𝑑 − 𝑠) 𝑓 (𝑠, 𝐷 (𝑠)) 𝑑𝑠)
𝑒 (π‘₯, 0) = πœ‘ (π‘₯)
in Ω,
𝑑
(33)
𝑑0
(29)
where 0 < π‘ž < 1 is a constant.
Let πœ† 1 be the smallest positive real eigenvalue of elliptic
operator 𝐴(π‘₯, 𝐷) under the Dirichlet boundary condition
𝑒|πœ•Ω = 0. It is well known (cf. Amann [22, 28]) that πœ† 1 > 0.
Let 𝑒1 (π‘₯) be the positive eigenvector corresponding to πœ† 1 .
Assume that 𝐹 : Ω × R+ × R → R is continuous and
satisfies the following conditions.
It follows that 𝛽((𝑄𝐷)(𝑑)) = 0 for all 𝑑 ∈ 𝐽. By Lemma 8 and
(27), we have 𝛽(𝑄𝐷) = max𝑑∈𝐽 𝛽((𝑄𝐷)(𝑑)) = 0. Thus, we have
(𝐹1 ) For any 𝑇 > 0 and π‘Ÿ > 0, there exists a constant 𝜎 > 0
such that
σ΅„©
σ΅„©
≤ 2 ∫ (𝑑 − 𝑠)π‘ž−1 󡄩󡄩󡄩𝐴𝛼 𝑉 (𝑑 − 𝑠)σ΅„©σ΅„©σ΅„© ⋅ 𝛽 (𝑓 (𝑠, 𝐷 (𝑠))) 𝑑𝑠
≤
2𝑀𝛼 π‘žΓ (2 − 𝛼) 𝑑
∫ (𝑑 − 𝑠)π‘ž(1−𝛼)−1 ⋅ 𝛽 (𝑓 (𝑠, 𝐷 (𝑠))) 𝑑𝑠
Γ (1 + π‘ž (1 − 𝛼)) 𝑑0
= 0.
𝛽 (𝐷) ≤ 𝛽 (Co ({𝑦0 } ∪ 𝑄𝐷))
= 𝛽 ({𝑦0 } ∪ 𝑄𝐷) = 𝛽 (𝑄𝐷) = 0.
(30)
This implies that 𝐷 is relatively compact. Therefore, by Mönch
fixed point theorem, the operator 𝑄 has at least one fixed
point 𝑒∗ ∈ Ω𝑅𝑑 , which satisfies 𝑒∗ (𝑑) ≥ πœŽπ‘’1 > 0 for all 𝑑 ∈ 𝐽.
0
Hence 𝑒∗ is a positive mild solution of the IVP(17) on 𝐽.
Therefore, there exists [0, β„Ž0 ] such that the IVP(1) has at
least one positive mild solution 𝑒∗ ∈ 𝐢([0, β„Ž0 ], 𝑋𝛼 ). 𝑒∗ can be
extended to a saturated solution 𝑒 ∈ 𝐢([0, 𝑇), 𝑋𝛼 ) of IVP(1),
whose existence interval is [0, 𝑇) and when 𝑑 ≤ ∞, we have
lim𝑑 → 𝑇− ‖𝑒(𝑑)‖𝛼 = ∞.
𝐹 (π‘₯, 𝑑, πœ‚) ≥ 𝐹 (π‘₯, 𝑑, πœŽπ‘’1 (π‘₯)) ≥ πœ† 1 πœŽπ‘’1 (π‘₯) , 𝑑 ∈ [0, 𝑇] , π‘₯ ∈ Ω,
(34)
where πœ‚ ∈ R with πœŽπ‘’1 (π‘₯) ≤ πœ‚ ≤ π‘Ÿ.
(𝐹2 ) For any 𝑇 > 0, there exists a constant π‘Žπ‘“ > 0 such that
󡄨
󡄨󡄨
󡄨 󡄨
󡄨󡄨𝐹 (π‘₯, 𝑑, πœ‚)󡄨󡄨󡄨 ≤ π‘Žπ‘“ (1 + σ΅„¨σ΅„¨σ΅„¨πœ‚σ΅„¨σ΅„¨σ΅„¨) ,
π‘₯ ∈ Ω, 𝑑 ∈ [0, 𝑇] .
(35)
Let 𝑋 = 𝐿2 (Ω). Define an operator 𝐴 : 𝐷(𝐴) ⊂ 𝑋 → 𝑋
by
𝐷 (𝐴) = 𝐻2 (Ω) ∩ 𝐻01 (Ω) ,
𝐴𝑒 = 𝐴 (π‘₯, 𝐷) 𝑒.
(36)
6
Abstract and Applied Analysis
It is well known (cf. Li [29]) that −𝐴 generates a compact
analytic semigroup 𝑆(𝑑) (𝑑 ≥ 0) and 𝐷(𝐴1/2 ) = 𝐻01 (Ω). By
the maximum principle of the equation of the parabolic type,
it is easy to prove that 𝑆(𝑑) (𝑑 ≥ 0) is also a positive semigroup
in 𝑋. The assumptions (𝐹1 ) and (𝐹2 ) imply that the mapping
𝑓 : R+ × π‘‹1/2 → 𝑋 defined by
𝑓 (𝑑, 𝑒) (⋅) = 𝐹 (⋅, 𝑑, 𝑒 (⋅)) ,
𝑑 ∈ R+ , 𝑒 ∈ 𝐻01 (Ω) ,
(37)
is continuous and satisfies the conditions (𝐻1 ) and (𝐻2 ).
Thus, the IBVP(33) can be rewritten into the abstract form of
IVP(1). By Theorem 12, we have the following existence result
for the IBVP(33).
Theorem 15. Assume that 𝐹 : Ω × R+ × R → R is
continuous and satisfies conditions (𝐹1 ) and (𝐹2 ). If πœ‘ ∈ 𝐻01 (Ω)
with πœ‘(π‘₯) ≥ πœŽπ‘’1 (π‘₯) for any π‘₯ ∈ Ω and 1/2 < π‘ž < 1, then the
IBVP(33) has at least one positive mild solution 𝑒 that satisfies
𝑒(π‘₯, 𝑑) ≥ πœŽπ‘’1 (π‘₯) for any π‘₯ ∈ Ω and 𝑑 ∈ [0, 𝑇]. And if 𝑇 < +∞,
one has lim𝑑 → 𝑇− |𝑒(𝑑)| = +∞.
Acknowledgments
This research was supported by the NNSF of China (Grant
no. 11261053), the Fundamental Research Funds for the Gansu
Universities, and the Project of NWNU-LKQN-11-3.
References
[1] 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.
[2] I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego,
Calif, USA, 1999.
[3] 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 B.V., Amsterdam, The Netherlands, 2006.
[4] V. Lakshmikantham, S. Leela, and J. Devi, Theory of Fractional
Dynamic Systems, Cambridge Scientific Publishers, Cambridge,
UK, 2009.
[5] K. Diethelm, The Analysis of Fractional Differential Equations,
vol. 2004 of Lecture Notes in Mathematics, Springer, Berlin,
Germany, 2010.
[6] R. P. Agarwal, M. Belmekki, and M. Benchohra, “A survey
on semilinear differential equations and inclusions involving
Riemann-Liouville fractional derivative,” Advances in Difference
Equations, vol. 2009, Article ID 981728, 47 pages, 2009.
[7] R. P. Agarwal, M. Benchohra, and S. Hamani, “A survey on
existence results for boundary value problems of nonlinear fractional differential equations and inclusions,” Acta Applicandae
Mathematicae, vol. 109, no. 3, pp. 973–1033, 2010.
[8] R. P. Agarwal, V. Lakshmikantham, and J. J. Nieto, “On the
concept of solution for fractional differential equations with
uncertainty,” Nonlinear Analysis. Theory, Methods & Applications, vol. 72, no. 6, pp. 2859–2862, 2010.
[9] M. M. El-Borai, “Some probability densities and fundamental
solutions of fractional evolution equations,” Chaos, Solitons and
Fractals, vol. 14, no. 3, pp. 433–440, 2002.
[10] M. M. El-Borai, “The fundamental solutions for fractional evolution equations of parabolic type,” Journal of Applied Mathematics and Stochastic Analysis, no. 3, pp. 197–211, 2004.
[11] M. M. El-Borai, “Semigroups and some nonlinear fractional
differential equations,” Applied Mathematics and Computation,
vol. 149, no. 3, pp. 823–831, 2004.
[12] M. El-Borai, K. El-Nadi, and E. El-Akabawy, “Fractional evolution equations with nonlocal conditions,” International Journal
of Applied Mathematics and Mechanics, vol. 4, no. 6, pp. 1–12,
2008.
[13] 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.
[14] 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.
[15] 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.
[16] J. Wang, Y. Zhou, and W. Wei, “A class of fractional delay nonlinear integrodifferential controlled systems in Banach spaces,”
Communications in Nonlinear Science and Numerical Simulation, vol. 16, no. 10, pp. 4049–4059, 2011.
[17] Z. Tai and X. Wang, “Controllability of fractional-order impulsive neutral functional infinite delay integrodifferential systems
in Banach spaces,” Applied Mathematics Letters, vol. 22, no. 11,
pp. 1760–1765, 2009.
[18] A. Debbouche and D. Baleanu, “Controllability of fractional evolution nonlocal impulsive quasilinear delay integrodifferential systems,” Computers & Mathematics with Applications, vol. 62, no. 3, pp. 1442–1450, 2011.
[19] G. M. Mophou, “Existence and uniqueness of mild solutions to
impulsive fractional differential equations,” Nonlinear Analysis.
Theory, Methods & Applications, vol. 72, no. 3-4, pp. 1604–1615,
2010.
[20] R.-N. Wang, T.-J. Xiao, and J. Liang, “A note on the fractional
Cauchy problems with nonlocal initial conditions,” Applied
Mathematics Letters, vol. 24, no. 8, pp. 1435–1442, 2011.
[21] P. Sobolevskii, “Equations of parabolic type in a Banach space,”
American Mathematics Society Translations. Series 2, vol. 49, pp.
1–62, 1966.
[22] H. Amann, “Periodic solutions of semilinear parabolic equations,” in Nonlinear Analysis, pp. 1–29, Academic Press, New
York, NY, USA, 1978.
[23] A. Pazy, Semigroups of Linear Operators and Applications to
Partial Differential Equations, vol. 44 of Applied Mathematical
Sciences, Springer, New York, NY, USA, 1983.
[24] H. Liu and J.-C. Chang, “Existence for a class of partial differential equations with nonlocal conditions,” Nonlinear Analysis.
Theory, Methods & Applications, vol. 70, no. 9, pp. 3076–3083,
2009.
[25] K. Deimling, Nonlinear Functional Analysis, Springer, Berlin,
Germany, 1985.
[26] D. Guo, V. Lakshmikantham, and X. Liu, Nonlinear Integral
Equations in Abstract Spaces, vol. 373 of Mathematics and
Its Applications, Kluwer Academic Publishers, Dordrecht, The
Netherlands, 1996.
[27] J. Liang and T.-J. Xiao, “Solvability of the Cauchy problem for
infinite delay equations,” Nonlinear Analysis. Theory, Methods
& Applications, vol. 58, no. 3-4, pp. 271–297, 2004.
Abstract and Applied Analysis
[28] H. Amann, “Nonlinear operators in ordered Banach spaces and
some applications to nonlinear boundary value problems,” in
Nonlinear Operators and the Calculus of Variations, vol. 543
of Lecture Notes in Mathematics, pp. 1–55, Springer, Berlin,
Germany, 1976.
[29] Y. Li, “Existence and asymptotic stability of periodic solution for
evolution equations with delays,” Journal of Functional Analysis,
vol. 261, no. 5, pp. 1309–1324, 2011.
7
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download