Advances in Difference Equations Volume 2011, Article ID 404917,16pages doi:10.1155/2011/404917
Research Article
Nonlocal Boundary Value Problem for Impulsive Differential Equations of Fractional Order
Liu Yang
1, 2and Haibo Chen
11Department of Mathematics, Central South University, Changsha, Hunan 410075, China
2Department of Mathematics and Computational Science, Hengyang Normal University, Hengyang, Hunan 421008, China
Correspondence should be addressed to Liu Yang,[email protected] Received 18 September 2010; Accepted 4 January 2011
Academic Editor: Mouffak Benchohra
Copyrightq2011 L. Yang and H. Chen. 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.
We study a nonlocal boundary value problem of impulsive fractional differential equations. By means of a fixed point theorem due to O’Regan, we establish sufficient conditions for the existence of at least one solution of the problem. For the illustration of the main result, an example is given.
1. Introduction
Fractional differential equations arise in many engineering and scientific disciplines as the mathematical modeling of systems and processes in various fields, such as physics, mechanics, aerodynamics, chemistry, and engineering and biological sciences, involves derivatives of fractional order. Fractional differential equations also provide an excellent tool for the description of memory and hereditary properties of many materials and processes. In consequence, fractional differential equations have emerged as a significant development in recent years, see1–3.
As one of the important topics in the research differential equations, the boundary value problem has attained a great deal of attention from many researchers, see4–11and the references therein. As pointed out in12, the nonlocal boundary condition can be more use- ful than the standard condition to describe some physical phenomena. There are three note- worthy papers dealing with the nonlocal boundary value problem of fractional differential equations. Benchohra et al.12investigated the following nonlocal boundary value problem
cDαut ft, ut 0, 0< t < T, 1< α≤2,
u0 gu, uT uT, 1.1
where cDαdenotes the Caputo’s fractional derivative.
Zhong and Lin13studied the following nonlocal and multiple-point boundary value problem
cDαut ft, ut 0, 0< t <1, 1< α≤2, u0 u0gu, u1 u1m−2
i 1
biuξi. 1.2
Ahmad and Sivasundaram 14 studied a class of four-point nonlocal boundary value problem of nonlinear integrodifferential equations of fractional order by applying some fixed point theorems.
On the other hand, impulsive differential equations of fractional order play an important role in theory and applications, see the references 15–21 and references therein. However, as pointed out in 15, 16, the theory of boundary value problems for nonlinear impulsive fractional differential equations is still in the initial stages. Ahmad and Sivasundaram15,16studied the following impulsive hybrid boundary value problems for fractional differential equations, respectively,
cDqut ft, ut 0, 1< q≤2, t∈J1 0,1\
t1, t2, . . . , tp
,
Δutk Ik
u t−k
, Δutk Jk
u t−k
, tk∈0,1, k 1,2, . . . , p, u0 u0 0, u1 u1 0,
1.3
cDqut ft, ut 0, 1< q≤2, t∈J1 0,1\
t1, t2, . . . , tp , Δutk Ik
u t−k
, Δutk Jk
u t−k
, tk∈0,1, k 1,2, . . . , p, αu0 βu0
1
0
q1usds, αu1 βu1 1
0
q2usds.
1.4
Motivated by the facts mentioned above, in this paper, we consider the following problem:
cDqut f
t, ut, ut
, 1< q≤2, t∈ J1 0,1\
t1, t2, . . . , tp , Δutk Ik
u t−k
, Δutk Jk
u t−k
, tk∈0,1, k 1,2, . . . , p, αu0 βu0 g1u, αu1 βu1 g2u,
1.5
where J 0,1, f : J × Ê × Ê → Ê is a continuous function, and Ik, Jk : Ê → Ê are continuous functions, Δutk utk−ut−k with utk limh→0utk h, ut−k limh→0−utkh, k 1,2, . . . , p, 0 t0 < t1 < t2 < · · · < tp < tp1 1, α > 0, β ≥ 0, and g1, g2: PCJ,Ê → Êare two continuous functions. We will define PCJ,ÊinSection 2.
To the best of our knowledge, this is the first time in the literatures that a nonlocal boundary value problem of impulsive differential equations of fractional order is considered.
In addition, the nonlinear term ft, ut, utinvolves ut. Evidently, problem 1.5 not only includes boundary value problems mentioned above but also extends them to a much wider case. Our main tools are the fixed point theorem of O’Regan. Some recent results in the literatures are generalized and significantly improvedseeRemark 3.6
The organization of this paper is as follows. InSection 2, we will give some lemmas which are essential to prove our main results. InSection 3, main results are given, and an example is presented to illustrate our main results.
2. Preliminaries
At first, we present here the necessary definitions for fractional calculus theory. These definitions and properties can be found in recent literature.
Definition 2.1 see 1–3. The Riemann-Liouville fractional integral of order α > 0 of a functiony:0,∞ → Êis given by
I0αyt 1 Γα
t
0
t−sα−1ysds, 2.1
where the right side is pointwise defined on0,∞.
Definition 2.2see1–3. The Caputo fractional derivative of orderα > 0 of a functiony : 0,∞ → Êis given by
cDαut 1
Γn−α t
0
t−sn−α−1ynsds, 2.2
wheren α1, αdenotes the integer part of the numberα, and the right side is pointwise defined on0,∞.
Lemma 2.3 see 1–3. Let α > 0, then the fractional differential equation cDqut 0 has solutions
ut c0c1tc2t2· · ·cn−1tn−1, 2.3
whereci∈Ê, i 0,1, . . . , n−1, n q 1.
Lemma 2.4see1–3. Letα >0, then one has
I0αcDαut ut c0c1tc2t2· · ·cn−1tn−1, 2.4 whereci∈Ê, i 0,1, . . . , n−1, n q 1.
Second, we define
PCJ,Ê {x:J → Ê; x∈Ctk, tk1,Ê, k 0,1, . . . , p1 andxtk, xt−kexist with xt−k xtk, k 1, . . . , p}.
PC1J,Ê {x ∈ PCJ,Ê; xt ∈ Ctk, tk1,Ê, k 0,1, . . . , p 1, xtk, xt−k exist, andxis left continuous attk, k 1, . . . , p}. LetC PC1J,Ê; it is a Banach space with the normx supt∈J{xtPC,xtPC}, wherexPC supt∈J|xt|.
Like Definition 2.1 in16, we give the following definition.
Definition 2.5. A function u ∈ C with its Caputo derivative of order qexisting on J1 is a solution of1.5if it satisfies1.5.
To deal with problem1.5, we first consider the associated linear problem and give its solution.
Lemma 2.6. Assume that
Ji
⎧⎨
⎩
t0, t1, i 0,
ti, ti1, i 1,2, . . . , p,
Xt
⎧⎨
⎩
0, t∈J0, 1, t ∈ J0.
2.5
For anyσ∈C0,1, the solution of the problem
cDqut σt, 1< q≤2, t∈ J1 0,1\
t1, t2, . . . , tp
,
Δutk Ik
u t−k
, Δutk Jk
u t−k
, tk∈0,1, k 1,2, . . . , p, αu0 βu0 g1u, αu1 βu1 g2u
2.6
is given by
ut t
ti
t−sq−1σs Γ
q ds
β
α−t 1
tp
1−sq−1σs Γ
q dsβ
α 1
tp
1−sq−2σs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1σs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk tk
tk−1
tk−sq−2σs Γ
q−1 dsJk u
t−k
Xt
0<tk<t
tk
tk−1
tk−sq−1σs Γ
q dsIk
u t−k
Xt
0<tk<t
t−tk tk
tk−1
tk−sq−2σs Γ
q−1 dsJk
u t−k
1 α2
αg1u Xt
αt−β
g2u−g1u
, fort∈Ji, i 0,1, . . . , p.
2.7
Proof. By Lemmas2.3and2.4, the solution of2.6can be written as
ut I0qσt−b0−b1t t
0
t−sq−1 Γ
q σsds−b0−b1t, t∈0, t1, 2.8
whereb0, b1∈Ê. Taking into account that cDqI0qut ut, I0qI0put I0pq utforp, q >0, we obtain
ut t
0
t−sq−2σs Γ
q−1 ds−b1. 2.9
Usingαu0 βu0 g1u, we get
ut t
0
t−sq−1 Γ
q σsdsb1
β α−t
1
αg1u, t∈0, t1. 2.10
Ift∈t1, t2, then we have
ut t
t1
t−sq−1σs Γ
q ds−c0−c1t−t1, 2.11
wherec0, c1∈Ê. In view of the impulse conditionsΔut1 ut1−ut−1 I1ut−1,Δut1 ut1−ut−1 J1ut−1, we have
ut t
t1
t−sq−1σs Γ
q ds
t1
0
t1−sq−1σs Γ
q dsb1 β
α−t
1
αg1u I1 u
t−1
t−t1 t1
0
t1−sq−2σs Γ
q−1 dsJ1
u t−1
, t∈t1, t2.
2.12
Repeating the process in this way, the solutionutfort∈tk, tk1can be written as
ut t
tk
t−sq−1σs Γ
q dsb1
β α−t
1
αg1u
0<tk<t
tk
tk−1
tk−sq−1σs Γ
q dsIk
u t−k
0<tk<t
t−tk tk
tk−1
tk−sq−2σs Γ
q−1 dsJk
u t−k
, t∈tk, tk1.
2.13
Applying the boundary conditionαu1 βu1 g2u, we find that
b1
1
tp
1−sq−1σs Γ
q ds
β α
1
tp
1−sq−2σs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1σs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk
tk
tk−1
tk−sq−2σs Γ
q−1 dsJk
u t−k
1 α
g1u−g2u .
2.14
Substituting the value ofb1into2.10and2.13, we obtain2.7.
Now, we introduce the fixed point theorem which was established by O’Regan in22.
This theorem will be applied to prove our main results in the next section.
Lemma 2.7see13,22. Denote byUan open set in a closed, convex setY of a Banach spaceE.
Assume that 0∈ U. Also assume thatFUis bounded and thatF:U → Y is given byF F1F2, in whichF1 : U → Eis continuous and completely continuous and F2 : U → Eis a nonlinear contraction (i.e., there exists a nonnegative nondecreasing functionφ : 0,∞ → 0,∞satisfying φz< zforz >0, such thatF2x−F2y ≤φx−yfor allx, y∈ U, then either
C1Fhas a fixed pointu∈ U, or
C2there exists a pointu ∈ ∂Uand λ ∈ 0,1withu λFu, whereU, ∂Urepresent the closure and boundary ofU, respectively.
3. Main Results
In order to applyLemma 2.7to prove our main results, we first giveF,F1,F2as follows. Let Ωr {u∈ C:u ≤r}, r >0,
F1ut t
ti
t−sq−1fs, xs, xs Γ
q ds
β
α−t 1
tp
1−sq−1fs, xs, xs Γ
q dsβ
α 1
tp
1−sq−2fs, xs, xs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk
tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
Xt
0<tk<t
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
Xt
0<tk<t
t−tk tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
,
for t∈Ji, i 0,1, . . . , p, F2ut 1
α2
αg1u Xt
αt−β
g2u−g1u
, fort∈Ji, i 0,1, . . . , p, F F1F2.
3.1
Clearly, for any t∈Ji, i 0,1, . . . , p,
F1ut t
ti
t−sq−2fs, xs, xs Γ
q−1 ds
− 1
tp
1−sq−1fs, xs, xs Γ
q dsβ
α 1
tp
1−sq−2fs, xs, xs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
0<tk<1
β α1−tk
tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
Xt
0<tk<t
tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
,
F2ut 1 α
Xt
g2u−g1u .
3.2
Now, we make the following hypotheses.
A1f : 0,1×Ê×Ê → Ê is continuous. There exists a nonnegative functionpt ∈ C0,1with pt > 0 on a subinterval of0,1. Also there exists a nondecreasing function ψ : 0,∞ → 0,∞such that|ft, u, v| ≤ ptψ|u|for anyt, u, v ∈ 0,1×Ê×Ê.
A2There exist two positive constants l1, l2 such thatαβ/α2l1 l2 L < 1.
Moreover,g10 0, g20 0, and
g1u−g1v≤l1u−v, g2u−g2v≤l2u−v, ∀u, v∈ C. 3.3
A3Ik, Jk:Ê → Êare continuous. There exists a positive constantMsuch that
|Iku| ≤M, |Jku| ≤M, k 1,2, . . . , p. 3.4
Let
H1 β
α1
Mp
β α1
2
Mp2pM,
H2 Mp
β α1
MppM,
K1 1
0
1−sq−1ps Γ
q ds
β
α1 1
tp
1−sq−1ps Γ
q ds β
α 1
tp
1−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
0<tk<1
β α1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
0<tk<1
tk
tk−1
tk−sq−2ps Γ
q−1 ds,
K2
P Γ
q 1
tp
1−sq−1ps Γ
q dsβ
α 1
tp
1−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
0<tk<1
β α1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−2ps Γ
q−1 ds,
3.5 whereP maxs∈0,1ps.
Now, we state our main results.
Theorem 3.1. Assume that A1, A2, and A3 are satisfied; moreover, supr∈0,∞r/H Kψr>1/1−L, whereH max{H1, H2}, K max{K1, K2}, then the problem1.5has at least one solution.
Proof. The proof will be given in several steps.
Step 1. The operatorF1 :Ωr → Cis completely continuous.
LetMr maxs∈0,1{|fs, xs, xs|, x∈Ωr}. In fact, byA1,Mr can be replaced by
P ψr. For anyu∈Ωr, we have
|F1ut| ≤ t
ti
t−sq−1fs, xs, xs Γ
q ds
β
α1 1
tp
1−sq−1fs, xs, xs Γ
q ds
β α
1
tp
1−sq−2fs, xs, xs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk
× tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk u
t−k Xt
0<tk<t
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k Xt
0<tk<t
t−tk tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
≤Mr 1
0
1−sq−1 Γ
q ds
β α1
Mr
1
tp
1−sq−1 Γ
q ds β αMr
1
tp
1−sq−2 Γ
q−1ds
0<tk<1
Mr
tk
tk−1
tk−sq−1 Γ
q dsM
0<tk<1
β α1
tk
tk−1
tk−sq−2Mr
Γ
q−1 dsM
0<tk<1
tk
tk−1
tk−sq−1Mr
Γ
q dsM
0<tk<1
tk
tk−1
tk−sq−2Mr Γ
q−1 dsM
≤Mr 1 Γ
q1 β
α1
Mr 1
Γ
q1 β αMr 1
Γ qp
Mr 1
Γ
q1 M
p β
α1
Mr 1
Γ q
M
p
Mr 1
Γ
q1M
p
Mr 1 Γ
q M
, fort∈Ji, i 0,1, . . . , p, F1ut≤
t
ti
t−sq−2fs, xs, xs Γ
q−1 ds
1
tp
1−sq−1fs, xs, xs Γ
q dsβ
α 1
tp
1−sq−2fs, xs, xs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk
tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u
t−k
Xt
0<tk<t
tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk u
t−k
≤Mr 1 Γ
q 1
tp
1−sq−1Mr Γ
q ds β α
1
tp
1−sq−2Mr Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1Mr
Γ
q dsM
0<tk<1
β
α1−tk tk
tk−1
tk−sq−2Mr Γ
q−1 dsM
0<tk<1
tk
tk−1
tk−sq−2Mr
Γ
q−1 dsM
≤Mr
1 Γ
q
Mr
1 Γ
q1 β αMr
1 Γ
qp
Mr
1 Γ
q1 M
p β
α1
Mr 1
Γ q
M
p
Mr 1 Γ
qM
, fort∈Ji, i 0,1, . . . , p.
3.6
These imply that F1ut ≤ B, where B is a positive constant, that is, F1 is uniformly bounded. In addition, for anyu∈Ωr, for all τ1, τ2∈Ji, τ1< τ2, we can obtain
|F1uτ1−F1uτ2|
≤ τ2
τ1
τ2−sq−1fs, xs, xs Γ
q ds
τ1
0
τ2−sq−1−τ1−sq−1fs, xs, xs Γ
q ds
τ2−τ1 1
tp
1−sq−1fs, xs, xs Γ
q ds
β α
1
tp
1−sq−2fs, xs, xs Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1fs, xs, xs Γ
q dsIk
u t−k
0<tk<1
β
α1−tk tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk u
t−k
0<tk<τ1
τ2−τ1 tk
tk−1
tk−sq−2fs, xs, xs Γ
q−1 dsJk
u t−k
≤Mrτ2−τ1q Γ
q1 Mr
−τ2−τ1q τ2q−τ1q 1 Γ
q1 τ2−τ1
1
tp
1−sq−1Mr
Γ
q dsβ α
1
tp
1−sq−2Mr
Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1Mr
Γ
q dsM
0<tk<1
β
α1−tk tk
tk−1
tk−sq−2Mr Γ
q−1 dsM
0<tk<τ1
τ2−τ1 tk
tk−1
tk−sq−2Mr
Γ
q−1 dsM
, F1uτ1−F1uτ2
≤ τ2
τ1
τ2−sq−2fs, xs, xs Γ
q−1 ds
τ1
ti
τ1−sq−2−τ2−sq−2fs, xs, xs Γ
q−1 ds
≤ τ2−τ1q−1 Γ
q Mrτ2−τ1q−1 τ1−tiq−1−τ2−tiq−1 Γ
q Mr.
3.7
Taking into account the uniform continuity of the functiontq, tq−1on0,1, we get thatF1is equicontinuity onΩr. By the Lemma 5.4.1 in23, we haveF1Ωras relatively compact. Due to the continuity off, Ik, Jk, it is clear thatF1is continuous. Hence, we complete the proof of Step 1.
Step 2. FUis bounded.
From supr∈0,∞r/H Kψr > 1/1−L, it follows that there exists a positive constantr0, such that
r0
HKψr0 > 1
1−L. 3.8
Now, we verify the validity of all the conditions inLemma 2.6with respect to the operator F1, F2, andF. LetΩr0 U. FromA2, we have
|F2ut| ≤ 1 α2
α1−t βg1u−g10αt−βg2u−g20
≤ 1 α2
αβ
l1r0l2r0, fort∈Ji, F2ut 1
αl2r0l1r0, fort∈Ji, i 0,1, . . . , p.
3.9
Combining with the property that F1U is boundedStep 1, we have F bounded on U.
Hence, we can assume thatFU ≤G,G >0 is a constant.
Step 3. F2is a nonlinear contraction.
Let Y Ωr1, r1 max{G, r0}, E C. By A2, we obtain |F2ut−F2vt| ≤ 1/α2|α1−t βg1u−g1v||αt−βg2u−g2v|≤αβ/α2l1l2u−v, and|F2ut−F2vt| ≤1/αl1l2u−v ≤Lu−v, for t∈Ji. SinceL <1, we have F2u−F2v ≤φu−v, that is,F2is a nonlinear contractionφz Lz.
Step 4. C2inLemma 2.7does not occur.
To this end, we perform the argument by contradiction. Suppose thatC2holds, then there existλ∈0,1, u∈∂Ωr0, such thatu λFu. Hence, we can obtainu r0and
|u| ≤ t
ti
t−sq−1psψr0 Γ
q ds
β
α1 1
tp
1−sq−1psψr0 Γ
q ds β
α 1
tp
1−sq−2psψr0 Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1psψr0 Γ
q dsM
0<tk<1
β
α1−tk tk
tk−1
tk−sq−2psψr0 Γ
q−1 dsM
Xt
0<tk<t
tk
tk−1
tk−sq−1psψr0 Γ
q dsM
Xt
0<tk<t
t−tk tk
tk−1
tk−sq−2psψr0 Γ
q−1 dsM
1 α2
αβ
l1r0l2r0
≤ 1 α2
αβ
l1l2r0 β
α1
Mp
β α1
2
Mp2pM
ψr0 1
0
1−sq−1ps Γ
q ds
β
α1 1
tp
1−sq−1ps Γ
q dsβ
α 1
tp
1−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
0<tk<1
β α1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
0<tk<1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
≤Lr0H1K1ψr0, u≤
t
ti
t−sq−2psψr0 Γ
q−1 ds
1
tp
1−sq−1psψr0 Γ
q ds β
α 1
tp
1−sq−2psψr0 Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1psψr0 Γ
q dsM
0<tk<1
β
α1−tk
tk
tk−1
tk−sq−2psψr0 Γ
q−1 dsM
Xt
0<tk<t
tk
tk−1
tk−sq−2psψr0 Γ
q−1 dsM
1
αl1r0l2r0
≤ 1 α2
αβ
l1l2r0
Mp
β α1
MppM
ψr0 P
Γ q
1
tp
1−sq−1ps Γ
q dsβ
α 1
tp
1−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−1ps Γ
q ds
×
0<tk<1
β α1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
0<tk<1
tk
tk−1
tk−sq−2ps Γ
q−1 ds
≤Lr0H2K2ψr0.
3.10 Therefore,r0 ≤Lr0HKψr0. However, it contradicts with3.8.
Hence, by using Steps1–4, Lemmas2.6and2.7,Fhas at least one fixed pointu∈Ωr0, which is the solution of problem1.5.
Next, we will give some corollaries.
Corollary 3.2. Assume that A1,A2, andA3 are satisfied; moreover, lim supr∈0,∞r/H Kψr ∞, whereH max{H1, H2}, K max{K1, K2}; then the problem1.5has at least one solution.
Assume that,
A1 sublinear growth,f :0,1×Ê×Ê → Êis continuous. There exists a nonnegative functionpt ∈ C0,1withpt > 0 on a subinterval of0,1. Also there exists a constantγ∈0,1, such that|ft, u, v| ≤pt|u|γfor anyt, u, v∈0,1×Ê×Ê. Corollary 3.3. Assume thatA1,A2, andA3are satisfied, then the problem1.5has at least one solution.
Assume that
B1f :0,1×Ê → Êis continuous. There exists a nonnegative functionpt∈C0,1 withpt >0 on a subinterval of0,1. Also there exists a constantγ ∈ 0,1such that|ft, u| ≤pt|u|γfor anyt, u∈0,1×Ê,
B2there exist two positive constants l1, l2 such that αβ/α2l1 l2 L < 1.
Moreover,q10 0, q20 0, and
q1u−q1v≤l1u−v, q2u−q2v≤l2u−v, ∀u, v∈ C, 3.11 B3Ik, Jk:Ê → Êare continuous. There exists a positive constantM, such that
|Iku| ≤M, |Jku| ≤M, k 1,2, . . . , p. 3.12
Corollary 3.4. Assume thatB1,B2, andB3are satisfied, then the problem1.4has at least one solution.
Assume that
B1f :0,1×Ê → Êis continuous. There exists a nonnegative functionpt∈C0,1 withpt>0 on a subinterval of0,1.|ft, u| ≤ptfor anyt, u∈0,1×Ê. Corollary 3.5. Assume thatB1,B2, andB3are satisfied, then the problem1.4has at least one solution.
Remark 3.6. Compared with Theorem 3.2 in 16, Corollary 3.5 does not need conditions ft, u−ft, v ≤L1u−v, Iku−IkV ≤L2u−v, andJku−JkV ≤L2u−v.
Moreover, we only needαβ/α2l1l2 L <1.
Example 3.7. Consider the following problem:
cD3/2ut θu2sin2
ut
, 0< t <1, t∈ J1 0,1\ 1
2
,
Δu 1
2
u2
1u2, Δu 1
2
u2 2u2, u0 u0
1
0
|us|
8|us|ds, u1 u1 1
0
|us|
8|us|ds,
3.13
whereθ > 0. Here,α β 1, p 1, q 3/2. Letps≡θ P andψu u2, then we can see thatA1holds. Choosingl1 l2 1/8, L 1/2, we can easily obtain thatA2holds. Let M 1, then we have thatA3also holds. Moreover,H 8, K 426√
2/3√
πθ. Hence, we get supr∈0,∞r/HKψr 1/2
8θ426√ 2/3√
π >1/1−L 2 for any given 0 < θ <3√
π/128426√
2. Therefore, ByTheorem 3.1, the above problem3.13has at least one solution for 0< θ <3√
π/128426√ 2.
References
1 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.
2 “The fractional calculus and its applications,” in Lecture Notes in Mathematics, B. Ross, Ed., vol. 475, Springer, Berlin, Germany, 1975.
3 I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, New York, NY, USA, 1999.
4 Z. Bai and H. L ¨u, “Positive solutions for boundary value problem of nonlinear fractional differential equation,” Journal of Mathematical Analysis and Applications, vol. 311, no. 2, pp. 495–505, 2005.
5 D. Jiang and C. Yuan, “The positive properties of the Green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application,” Nonlinear Analysis.
Theory, Methods & Applications, vol. 72, no. 2, pp. 710–719, 2010.
6 M. Benchohra, J. R. Graef, and S. Hamani, “Existence results for boundary value problems with non- linear fractional differential equations,” Applicable Analysis, vol. 87, no. 7, pp. 851–863, 2008.
7 V. D. Gejji, “Positive solutions of a system of non-autonomous fractional differential equations,”
Journal of Mathematical Analysis and Applications, vol. 302, no. 1, pp. 56–64, 2005.
