# Multiple Positive Solutions for Nonlinear Fractional Boundary Value Problems

Authors: Daliang Zhao; Yansheng Liu
Journal: The Scientific World Journal
 (2013)

---

## Abstract

This paper is devoted to the existence of multiple positive solutions for fractional boundary value problemDC0+αu(t)=f(t,u(t),u′(t)), 0<t<1, u(1)=u′(1)=u′′(0)=0, where 2<α≤3 is a real number, CD0+α is the Caputo fractional derivative, and f:[0,1]×[0,+∞)×R→[0,+∞) is continuous. Firstly, by constructing a special cone, applying Guo-Krasnoselskii’s fixed point theorem and Leggett-Williams fixed point theorem, some new existence criteria for fractional boundary value problem are established; secondly, by applying a new extension of Krasnoselskii’s fixed point theorem, a sufficient condition is obtained for the existence of multiple positive solutions to the considered boundary value problem from its auxiliary problem. Finally, as applications, some illustrative examples are presented to support the main results.


---

## Body

## 1. Introduction

This paper investigates the existence of multiple positive solutions for the following nonlinear fractional boundary value problem (BVP, for short):(1)DC0+αu(t)=f(t,u(t),u′(t)),0<t<1,u(1)=u′(1)=u′′(0)=0,
where 2<α≤3 is a real number, CD0+α is the Caputo fractional derivative, and f:[0,1]×[0,+∞)×R→[0,+∞) is continuous.Recently, fractional differential equations have gained considerable importance due to their wide applications [1–8] in various sciences such as mechanics, chemistry, physics, control theory, and engineering. Much attention has been focused on the solutions of differential equations of fractional order. Some kinds of methods are presented, such as the upper and lower method [9–11], the Laplace transform method [12, 13], the iteration method [14], the Fourier transform method [15], the homotopy analysis method [16, 17], and the Green function method [18–20]. In recent years, there are some papers dealing with the existence and multiplicity of solution to the nonlinear fractional BVP; for details, see [8, 9, 11, 21] and references therein.In [21], Bai and Qiu investigated the following nonlinear fractional BVP:
(2)D0+αu(t)+f(t,u(t))=0,0<t<1,u(0)=u′(1)=u′′(0)=0,
where 2<α≤3 is a real number, D0+α is the Caputo fractional derivative, and f:(0,1]×[0,∞)→[0,+∞) is continuous. By using Guo-Krasnoselskii’s fixed point theorem and nonlinear alternative of Leray-Schauder, they established the existence and multiplicity of solutions to the above fractional BVP.In [11], Zhao et al. established the existence of multiple positive solutions for the nonlinear fractional BVP:
(3)D0+αu(t)+f(t,u(t))=0,0<t<1,u(0)=u′(0)=u′(1)=0,
where 2<α≤3 is a real number, D0+α is the Riemann-Liouville fractional derivative, and f∈C([0,1],[0,∞)). The authors obtained the existence of positive solutions by the lower and upper solution method and fixed-point theorem.In [8], Yang et al. investigated the existence of positive solutions of the BVP for differential equation of fractional order:
(4)D0+αu(t)=f(t,u(t),u′(t)),0<t<1,u(0)+u′(0)=0,u(1)+u′(1)=0,
where 1<α≤2 is a real number, D0+α is the Caputo fractional derivative, and f:[0,1]×[0,∞)×R→[0,∞) is continuous. By means of a new fixed point theorem and Schauder fixed theorem, some results on the existence of positive solutions are obtained.Though the fractional boundary value problems have been studied by lots of authors, there are few pieces of work considering the case that the nonlinear termf depends on the first order derivative u′(t). In addition, to the best of our knowledge, there is no paper discussing the existence of multiple positive solutions for BVP (1). By constructing a special cone, using Guo-Krasnoselskii and Leggett-Williams fixed point theorems, two sufficient conditions are established for the existence of multiple positive solutions to BVP (1). In addition, by virtue of a new extension of Krasnoselskii’s fixed point theorem, a sufficient condition is obtained for the existence of multiple positive solutions of BVP (1) from its auxiliary problem. Finally, some illustrative examples are worked out to demonstrate the main results.The organization of this paper is as follows. Section2 contains some definitions and lemmas of fractional calculus theory which will be used in the next two sections. In Section 3, we establish the existence results on multiple positive solutions to BVP (1) by Guo-Krasnoselskii, Leggett-Williams fixed point theorem, and another new extension of Krasnoselskii’s fixed point theorem. Finally, some examples are presented to support the obtained results in Section 4.


## 2. Preliminary Results

In this section, we introduce some necessary definitions and preliminary facts which will be used throughout this paper.Definition 1 (see [15]).
The Caputo fractional derivative of orderα>0 of a continuous function u:(0,∞)→R is given by
(5)DC0+αu(t)=1Γ(n-α)∫0t‍u(n)(s)(t-s)α-n+1ds,
where n=[α]+1, [α] denotes the integer part of the real number α and provided that the right side integral is pointwise defined on [0,∞).Definition 2 (see [15]).
The Riemann-Liouville standard fractional derivative of orderβ>0 of a continuous function ν:(0,∞)→R is given by
(6)D0+βu(t)=1Γ(n-β)(ddt)n∫0t‍ν(s)(t-s)β-n+1ds,
where n=[β]+1, [β] denotes the integer part of the real number β, and provided that the right side integral is pointwise defined on [0,∞).Definition 3 (see [15]).
The Riemann-Liouville standard fractional integral of orderα>0 of a continuous function u:(0,∞)→R is given by
(7)I0+αu(t)=1Γ(α)∫0t‍(t-s)α-1u(s)ds,
provided that the right side integral is pointwise defined on [0,∞).Lemma 4 (see [15]).
Letn-1<α≤n(n∈N). Then,
(8)I0+αDC0+αu(t)=u(t)+c0+c1t+c2t2+⋯+cn-1tn-1,
for some ci∈R, i=0,1,…,n-1, n=[α]+1.Lemma 5 (see [15]).
Letα>0 and y∈C[a,b]. Then,
(9)(DCa+αIa+αy)(x)=y(x)
holds on [a,b].Lemma 6 (see [15]).
Letα>β>0. If one assumes that u(t)∈C(0,1)∩L(0,1), then D0+βI0+αu(t)=I0+α-βu(t).Lemma 7 (see [15]).
Letn-1<α≤n(n∈N). The fractional differential equation CD0+αx(t)=0 has solution
(10)x(t)=c0+c1t+c2t2+⋯+cn-1tn-1,
for some ci∈R, i=0,1,…,n-1, n=[α]+1.Lemma 8.
For anyg∈C[0,1] and 2<α≤3, the unique solution of problem
(11)DC0+αu(t)=g(t),0<t<1;u(1)=u′(1)=u′′(0)=0,
is
(12)u(t)=∫01‍G(t,s)g(s)ds,t∈[0,1],
where
(13)G(t,s)={(t-s)α-1-(1-s)α-1Γ(α)+(1-t)(1-s)α-2Γ(α-1)0≤s≤t≤1,(1-t)(1-s)α-2Γ(α-1)-(1-s)α-1Γ(α)0≤t≤s≤1.
Here,G(t,s) is said to be the Green function of BVP (11).Proof.
In view of Lemma4, (11) is equivalent to the integral equation
(14)u(t)=I0+αg(t)+c0+c1t+c2t2,
for some ci∈R, i=0,1,2. So, we have
(15)u′(t)=I0+α-1g(t)+c1+2c2t,u′′(t)=I0+α-2g(t)+2c2.
From the boundary conditionu(1)=u′(1)=u′′(0)=0, one has
(16)c1=-I0+α-1g(t),c2=0,c3=I0+α-1g(t)-I0+αg(1).
Therefore, by Definition3, we conclude that the unique solution of BVP (11) is
(17)u(t)=∫0t‍[(t-s)α-1-(1-s)α-1Γ(α)+(1-t)(1-s)α-2Γ(α-1)]g(s)ds+∫t1‍[(1-t)(1-s)α-2Γ(α-1)-(1-s)α-1Γ(α)]g(s)ds=∫01‍G(t,s)g(s)ds.
The proof is completed.The following properties of the Green function play an important role in this paper.Lemma 9.
Green functionG(t,s) defined as (13) satisfies the following conditions.(i)
G(t,s)∈C([0,1]×[0,1]) and G(t,s)>0 for any t,s∈[0,1).(ii)
There exist a positive numberη and a positive function γ(s)∈C[0,1) such that
(18)mint∈[0,η]G(t,s)≥ηγ(s),maxt∈[0,1]G(t,s)≤γ(s),s∈[0,1).Proof.
(i) It is obvious thatG(t,s) is continuous on [0,1]×[0,1]. For 0≤s≤t<1, we have
(19)∂G∂t=(α-1)(t-s)α-2Γ(α)-(1-s)α-2Γ(α-1)=(t-s)α-2-(1-s)α-2Γ(α-1)<0.
Similarly, we can obtain that
(20)∂G∂t=-(1-s)α-2Γ(α-1)<0,0≤t≤s<1.
Hence,∂G/∂t<0 for all s,t∈[0,1). In addition, it is clear that G(1,s)=0 for 0≤s<1. Therefore, we get that G(t,s)>0 for any t,s∈[0,1).
(ii) In the following, we consider the existence ofη and γ(s).
Firstly, if0≤s≤t<1, then by the definition of G(t,s), we have
(21)G(t,s)≥-(1-s)α-1Γ(α)+(1-t)(1-s)α-2Γ(α-1)≥-(1-s)α-2Γ(α)+(1-t)(1-s)α-2Γ(α-1)=(1-s)α-2Γ(α-1)(α-2α-1-t).
If 0≤t≤s<1, then by an argument similar to the case 0≤s≤t<1, we also have G(t,s)≥((1-s)α-2/Γ(α-1))((α-2)/(α-1)-t).
Secondly, for given0≤s≤t<1, it is obvious that
(22)G(t,s)≤(1-t)(1-s)α-2Γ(α-1)≤(1-s)α-2Γ(α-1).
As 0≤t≤s<1, we also have that
(23)G(t,s)≤(1-t)(1-s)α-2Γ(α-1)≤(1-s)α-2Γ(α-1).
Thus, setting
(24)η=α-22(α-1),γ(s)=(1-s)α-2Γ(α-1),
we immediately obtain that
(25)mint∈[0,η]G(t,s)≥ηγ(s),maxt∈[0,1]G(t,s)≤γ(s),s∈[0,1).
The proof is completed.Now, we list the following fixed point theorems which will be used in the next section.Lemma 10 (see [22], (Guo-Krasnoselskii’s fixed point theorem)).
LetE be a Banach space, P⊆E a cone, and Ω1, Ω2 two bounded open balls of E centered at the origin with Ω¯1⊂Ω2. Suppose that A:P∩(Ω¯2∖Ω1)→P is a completely continuous operator such that either (i)
∥Ax∥≤∥x∥, x∈P∩∂Ω1 and ∥Ax∥≥∥x∥, x∈P∩∂Ω2, or(ii)
∥Ax∥≥∥x∥, x∈P∩∂Ω1 and ∥Ax∥≤∥x∥, x∈P∩∂Ω2,holds. Then, A has a fixed point in P∩(Ω¯2∖Ω1).For the sake of stating Leggett-Williams fixed point theorem, we first give the definition of concave functions.Definition 11 (see [11]).
The mapθ is said to be a nonnegative concave functional on a cone P of a real Banach space E provided that θ:P→[0,∞) is continuous and
(26)θ(tx+(1-t)y)≥tθ(x)+(1-t)θ(y),
for all x,y∈P and 0≤t≤1.Lemma 12 (see [23], (Leggett-Williams fixed point theorem)).
LetP be a cone in a real Banach space E, Pc={x∈P:∥x∥≤c},θ a nonnegative continuous concave functional on P such that θ(x)≤∥x∥ for all x∈P¯c, and P(θ,b,d)={x∈P:b∈θ(x),∥x∥≤d}. Suppose that A:P¯c→P¯c is completely continuous and there exist constants 0<a<b<d≤c such that (C1)
{x∈P(θ,b,d):θ(x)>b}≠∅ and θ(Ax)>b for x∈P(θ,b,d);(C2)
∥Ax∥<a for x≤a;(C3)
θ(Ax)>b for x∈P(θ,b,c) with ∥Ax∥>d.
Then,A has at least three fixed points x1, x2, and x3 with ∥x1∥<a, b<θ(x2), a<∥x3∥ with θ(x3)<b.Remark 13.
Ifd=c holds, then condition (C1) of Lemma 12 implies condition (C3).
Finally, in this section, we give a new extension of Krasnoselskii’s fixed point theorem, which is developed in [24].
LetX be a Banach space and P⊂X a cone. Suppose that α,β:X→R+ are two continuous convex functions satisfying
(27)α(λu)=|λ|α(u),β(λu)=|λ|β(u)
for u∈X, λ∈R; ∥u∥≤ϱmax{α(u),β(u)} for u∈X; and α(u1)≤α(u2) for u1,u2∈P, u1≤u2, where ϱ>0 is a constant.Lemma 14 (see [24]).
Letr2>r1>0, L>0 be constants and Ωi={u∈X:α(u)<ri,β(u)<L}, (i=1,2) two bounded open sets in X. Set Di={u∈X:α(u)=ri}. Assume that T:P→P is a completely continuous operator satisfying(D1)
α(Tu)<r1, u∈D1∩P; α(Tu)>r2, u∈D2∩P;(D2)
β(Tu)<L, u∈P;(D3)
there is ap∈(Ω2∩P)∖{0} such that α(p)≠0 and α(u+λp)≥α(u) for all u∈P and λ≥0.
Then,T has at least one fixed point in (Ω2∖Ω¯1)∩P.


## 3. Main Results

In this section, we assume thatf:[0,1]×[0,+∞)×R→[0,+∞) is continuous and satisfies some specific growth conditions, which allows us to apply Lemmas 10–14 to establish the existence of multiple positive solutions for BVP (1).First, letX=C1[0,1] be endowed with the norm
(28)∥u∥=maxt∈[0,1]|u(t)|+maxt∈[0,1]|u′(t)|=∥u∥0+∥u′∥0.Define the setP⊂X by
(29)P={u∈X:u(t)≥0;u(1)=0;u(t)≥η∥u∥0,t∈[0,η]}.It is easy to verify thatP is a cone in the space X.Let the nonnegative continuous concave functionθ on the cone P be defined by
(30)θ(u)=mint∈[0,η]|u(t)|.
Define an operator T on P by the formula
(31)(Tu)(t)=∫01‍G(t,s)f(s,u(s),u′(s))ds.Lemma 15.
The operatorT:P→P is completely continuous.Proof.
For anyu∈P, we have that Tu(t)≥0 in view of nonnegativeness of G(t,s) and f(s,u,u′). It is obvious that
(32)(Tu)(1)=∫01‍G(1,s)f(s,u(s),u′(s))ds=0.
By Lemma9, for any t∈[0,η] and τ∈[0,1], we obtain that
(33)(Tu)(t)≥η∫01‍γ(s)f(s,u,u′)ds≥η∫01‍G(τ,s)f(s,u,u′)ds=η(Tu)(τ)≥η∥Tu∥0.
Hence, T(P)⊂P.
The operatorT:P→P is continuous in view of continuity of G(t,s) and f(s,u,u′).
LetU⊂P be bounded; that is, there exists a positive constant K>0 such that ∥u∥≤K for all u∈U. By means of the definition of ∥u∥, we have |u(t)|≤K and |u′(t)|≤K for t∈[0,1]. Let C=maxt∈[0,1],u∈U|f(t,u(t),u′(t))|+1. Then, for u∈U, by Lemma 9, we have
(34)|(Tu)(t)|≤∫01‍G(t,s)f(s,u(s),u′(s))ds≤C∫01‍γ(s)ds≤2CΓ(α),|(Tu′)(t)|≤C[1Γ(α-1)∫0t‍(t-s)α-2ds+1Γ(α-1)∫01‍(1-s)α-2ds]≤2CΓ(α).
Hence, T(U) is bounded.
For eachu∈U, t1,t2∈[0,1] with t1<t2, then
(35)|(Tu)(t2)-(Tu)(t1)|≤∫0t1‍|[G(t2,s)-G(t1,s)]f(s,u,u′)|ds+∫t21‍|[G(t2,s)-G(t1,s)]f(s,u,u′)|ds+∫t1t2‍|[G(t2,s)-G(t1,s)]f(s,u,u′)|ds≤C{∫0t1‍[(t2-s)α-1-(t1-s)α-1Γ(α)+(1-s)α-2(t2-t1)Γ(α-1)(t2-s)α-1-(t1-s)α-1Γ(α)]ds+∫t21‍(1-s)α-2(t2-t1)Γ(α-1)ds+∫t1t2‍[(t2-s)α-1Γ(α)+(1-s)α-2(t2-t1)Γ(α-1)]ds}≤C[t2-t1Γ(α-1)+α-1Γ(α)(t2-t1)+(t2-t1)αΓ(α)]=C[2(t2-t1)Γ(α-1)+(t2-t1)αΓ(α)],|(Tu)′(t2)-(Tu)′(t1)|=|∫0t2‍(t2-s)α-2Γ(α-1)f(s,u,u′)ds-∫0t1‍(t1-s)α-2Γ(α-1)f(s,u,u′)ds|≤C|∫0t1‍(t2-s)α-2-(t1-s)α-2Γ(α-1)ds+∫t1t2‍(t2-s)α-2Γ(α-1)ds|≤C[t2α-1-t1α-1Γ(α)+(t2-t1)α-1Γ(α)+(t2-t1)α-1Γ(α)]≤CΓ(α)[2(t2-t1)α-1+(t2α-1-t1α-1)].
By means of the Arzela-Ascoli theorem, one can obtain that the operator T is completely continuous. The proof is completed.Now, we are in a position to state the main results.For convenience, denote(36)M=(∫01‍3γ(s)ds)-1,N=(∫0η‍ηγ(s)ds)-1.Theorem 16.
Assume that there exist two positive constantsσ2>σ1>0 such that (H1)
f(t,u,v)≤Mσ2 for (t,u,v)∈[0,1]×[0,σ2]×[-σ2,σ2];(H2)
f(t,u,v)≥Nσ1 for (t,u,v)∈[0,1]×[0,σ1]×[-σ1,σ1].
Then, BVP (1) has at least one solution u such that σ1≤∥u∥≤σ2.Proof.
By Lemma15, we know that the operator T:P→P defined by (31) is completely continuous.
(i) LetΩ2={u∈P:∥u∥<σ2}. For any u∈P∩∂Ω2, we have 0≤u(t)≤σ2, -σ2≤u′(t)≤σ2 for all t∈[0,1]. It follows from condition (H1) and Lemma 9 that, for t∈[0,1],
(37)∥Tu∥=maxt∈[0,1]|∫01‍G(t,s)f(s,u,u′)ds|+maxt∈[0,1]|∫01‍∂G(t,s)∂tf(s,u,u′)ds|≤Mσ2[∫01‍γ(s)ds+∫01‍2γ(s)ds]=Mσ2∫01‍3γ(s)ds=σ2=∥u∥,
which implies that ∥Tu∥≤∥u∥, u∈P∩∂Ω2.
(ii) LetΩ1={u∈P:∥u∥<σ1}. For any u∈P∩∂Ω1, we have 0≤u(t)≤σ1, -σ1≤u′(t)≤σ1 for all t∈[0,1]. It follows from condition (H2) and Lemma 9 that, for t∈[0,1],
(38)∥Tu∥=maxt∈[0,1]|∫01‍G(t,s)f(s,u,u′)ds|+maxt∈[0,1]|∫01‍∂G(t,s)∂tf(s,u,u′)ds|≥maxt∈[0,η]|∫01‍G(t,s)f(s,u,u′)ds|≥Nσ1[η∫0η‍γ(s)ds]=σ1=∥u∥,
which implies that ∥Tu∥≥∥u∥, u∈P∩∂Ω1.
In view of Lemma10, T has a fixed point in P∩(Ω¯2∖Ω1) which is a solution of BVP (1). The proof is completed.Theorem 17.
Suppose that there exist constants0<a<b<c such that the following assumptions hold:(A1)
f(t,u,v)<Ma for (t,u,v)∈[0,1]×[0,a]×[-a,a];(A2)
f(t,u,v)≥Nb for (t,u,v)∈[0,η]×[b,c]×[-c,c];(A3)
f(t,u,v)≤Mc for (t,u,v)∈[0,1]×[0,c]×[-c,c].
Then, BVP (1) has at least three positive solutions u1, u2, and u3 with
(39)maxt∈[0,1]|u1(t)|<a,b<mint∈[0,η]|u2(t)|<maxt∈[0,1]|u2(t)|≤c,a<maxt∈[0,1]|u3(t)|≤c,mint∈[0,η]|u3(t)|<b.Proof.
We will show that all the conditions of Lemma12 are satisfied.
First, ifu∈P¯c, then ∥u∥≤c. By condition (A3) and Lemma 9, we have
(40)∥Tu∥=maxt∈[0,1]|∫01‍G(t,s)f(s,u,u′)ds|+maxt∈[0,1]|∫01‍∂G(t,s)∂tf(s,u,u′)ds|≤Mc[∫01‍γ(s)ds+∫01‍2γ(s)ds]=Mc∫01‍3γ(s)ds=c,
which implies that ∥Tu∥≤c for u∈P¯c. Hence, T:P¯c→P¯c.
Next, by using the analogous argument, it follows from condition(A1) that ∥Tu∥<a for u∈P¯a.
Chooseu(t)=(b+c)/2 for t∈[0,1]. It is easy to see that
(41)u(t)=b+c2∈P(θ,b,c),θ(u)=θ(b+c2)>b;
consequently, {u∈P(θ,b,c)∣θ(u)>b}≠∅. Hence, if u∈P(θ,b,c), then b≤u(t)≤c for t∈[0,η]. By condition (A2), we have f(t,u(t),u′(t))≥Nb for t∈[0,η]. So,
(42)θ(Tu)=mint∈[0,η]|(Tu)(t)|=mint∈[0,η]|∫01‍G(t,s)f(s,u(s),u′(s))ds|≥∫01‍ηγ(s)f(s,u(s),u′(s))ds≥N∫0η‍ηγ(s)ds·b=b,
which implies that θ(Tu)>b for u∈P(θ,b,c).
By Lemma12, BVP (1) has at least three positive solutions u1, u2, and u3 with
(43)maxt∈[0,1]|u1(t)|<a,b<mint∈[0,η]|u2(t)|<maxt∈[0,1]|u2(t)|≤c,a<maxt∈[0,1]|u3(t)|≤c,mint∈[0,η]|u3(t)|<b.
The proof is completed.Theorem 18.
Assume that there exist constantsL>d>ηd>q>0 such that(B1)
f(t,u,v)<q/M′ for (t,u,v)∈[0,1]×[0,q]×[-L,L];(B2)
f(t,u,v)≥d/N′ for (t,u,v)∈[0,η]×[ηd,d]×[-L,L];(B3)
f(t,u,v)<L/Q for (t,u,v)∈[0,1]×[0,d]×[-L,L],where
(44)M′=∫01‍γ(s)ds,N′=∫0η‍ηγ(s)ds,Q=2Γ(α).
Then, BVP (1) has at least one positive solution u(t) satisfying q<α(u)<d, |u′(t)|<L for t∈[0,1].Proof.
In order to apply the new extension of Krasnoselskii’s fixed point theorem, we consider the following auxiliary BVP:(45)D0+αCu(t)=f*(t,u(t),u′(t)),0<t<1,u(1)=u′(1)=u′′(0)=0,
where
(46)f*(t,u,v)={f(t,u,v)(t,u,v)∈[0,1]×[0,d]×[-L,L],f(t,d,v)(t,u,v)∈[0,1]×(d,+∞)×[-L,L],f(t,u,-L)(t,u,v)∈[0,1]×[0,d]×(-∞,-L],f(t,d,-L)(t,u,v)∈[0,1]×(d,+∞)×(-∞,-L],f(t,u,L)(t,u,v)∈[0,1]×[0,d]×[L,+∞],f(t,d,L)(t,u,v)∈[0,1]×(d,+∞)×[L,+∞).
It is obvious that f*:[0,1]×[0,+∞)×R→[0,+∞) is continuous according to the continuity of f. By using the similar proof of Lemma 15, one can obtain that the operator T* given by
(47)(T*u)(t)=∫01‍G(t,s)f*(s,u(s),u′(s))ds
is also completely continuous on P and maps P into P. Let
(48)Λ1={u∈X:|u(t)|<q,|u′(t)|<L},Λ2={u∈X:|u(t)|<d,|u′(t)|<L},D1={u∈X:α(u)=q},D2={u∈X:α(u)=d}.
It is obvious that there exists a nonnegative function p∈(Λ2∩P)∖{0} such that α(u+λp)≥α(u) for all u∈P, λ≥0. We divide the proof into the following three steps.
Step
1. By virtue of condition (B1) and α(u)=q, u∈D1∩P, we have
(49)α(T*u)=maxt∈[0,1]|∫01‍G(t,s)f*(s,u(s),u′(s))ds|<maxt∈[0,1]|∫01‍G(t,s)qM′ds|≤qM′∫01‍γ(s)ds=q.
Step
2. For α(u)=d, u∈D2∩P, it follows from u(t)≥η∥u∥0, t∈[0,η], and condition (B2) that
(50)α(T*u)=maxt∈[0,1]|∫01‍G(t,s)f*(s,u(s),u′(s))ds|>maxt∈[0,1]|∫0η‍G(t,s)dN′ds|≥dN′∫0η‍ηγ(s)ds=d.
Step
3. In view of condition (B3), for u∈P∩Λ2, we have
(51)β(T*u)=maxt∈[0,1]|∫01‍∂G(t,s)∂tf*(s,u(s),u′(s))ds|=maxt∈[0,1]|∫0t‍(t-s)α-2Γ(α-1)f*(s,u,u′)ds-∫01‍(1-s)α-2Γ(α-1)f*(s,u,u′)ds|<LQ[1Γ(α-1)∫01‍(t-s)α-2ds+1Γ(α-1)∫01‍(1-s)α-2ds]≤LQ2Γ(α)=L.
Hence, β(T*u)<L. By Lemma 14, there exists u∈(Λ2∖Λ¯1)∩P such that u(t)=(T*u)(t). Consequently, u(t) is a positive solution for the auxiliary BVP (45) satisfying q<α(u)<d, |u′(t)|<L. In addition, by virtue of the definition of f*, we know that f*(t,u(t),u′(t))=f(t,u(t),u′(t)), t∈[0,1]. Therefore, u is a positive solution of BVP (1). The proof is completed.


## 4. Examples

Example 1.
Consider the following fractional BVP:(52)D0+5/2Cu(t)=u2+(u′)22+et100,0<t<1,u(1)=u′(1)=u′′(0)=0.
By a simple calculation, one can obtain thatη=1/6, M=π/4≈0.443, and N≈33.333. Choosing σ1=1/104, σ2=1/10, we have
(53)f(t,u,u′)=u2+(u′)22+et100≤0.037≤Mσ2≈0.0443
for (t,u,u′)∈[0,1]×[0,1/10]×[-(1/10),1/10] and
(54)f(t,u,u′)=u2+(u′)22+et100≥0.01≥Nσ1≈0.00333
for (t,u,u′)∈[0,1]×[0,1/104]×[-(1/104),1/104].
With the use of Theorem16, BVP (52) has at least one solution u such that 1/104≤∥u∥≤1/10.Example 2.
Consider the following fractional BVP:(55)D0+5/2Cu(t)=f(t,u(t),u′(t)),0<t<1,u(1)=u′(1)=u′′(0)=0,
where
(56)f(t,u,v)={sin(πt)103+u4+|v|100,0≤u≤1,1+sin(πt)103+u20+|v|100,u>1.
Choosinga=1/10, b=1/50, and c=4, then, there hold
(57)f(t,u,u′)=sin(πt)103+u4+|v|100≤0.0021<Ma≈0.00443
for (t,u,u′)∈[0,1]×[0,1/100]×[-(1/100),1/100](58)f(t,u,u′)=1+sin(πt)103+u20+|v|100≥35≥Nb≈33.333
for (t,u,u′)∈[0,1/6]×[1,4]×[-4,4]; and
(59)f(t,u,u′)=1+sin(πt)103+u20+|v|100≤1.221≤Mc≈1.772
for (t,u,u′)∈[0,1]×[0,4]×[-4,4]. Hence, all the conditions of Theorem 17 are satisfied. By Theorem 17, BVP (55) has at least three positive solutions u1, u2, and u3 such that
(60)maxt∈[0,1]|u1(t)|<1100,150<mint∈[0,1/6]|u2(t)|<maxt∈[0,1]|u2(t)|≤4,1100<maxt∈[0,1]|u3(t)|≤4,mint∈[0,1/6]|u3(t)|<150.Example 3.
Consider the following fractional BVP:(61)D0+5/2Cu(t)=f(t,u(t),u′(t)),0<t<1,u(1)=u′(1)=u′′(0)=0,
where
(62)f(t,u,v)=t40+6u3+|u′|1/6310.
After a simple computation, one can find that(63)M′=43π≈0.752445,N′≈0.03,Q=83π≈1.50489.
Choosingd=36, q=1/3, and L=59=1953125, we know that
(64)f(t,u,u′)≤0.248<qM′≈0.443
for (t,u,u′)∈[0,1]×[0,1/3]×[-59,59];
(65)f(t,u,u′)≥1296≥dN′≈1200
for (t,u,u′)∈[0,1/6]×[6,36]×[-59,59]; and
(66)f(t,u,u′)≤279936.03<LQ≈1302083.3
for (t,u,u′)∈[0,1]×[0,36]×[-59,59]. So, all the conditions of Theorem 18 are satisfied. By Theorem 18, BVP (61) has at least one positive solution u(t) satisfying 1/3<maxt∈[0,1]|u(t)|<36, |u′(t)|<59.


## 5. Conclusion

In this paper, we study the existence of multiple positive solutions for the nonlinear fractional differential equation boundary value problem (1) in the Caputo sense. Using Guo-Krasnoselskii and Leggett-Williams fixed point theorems, we establish the existence of multiple positive solutions to BVP (1). By virtue of a new extension of Krasnoselskii’s fixed point theorem, we obtain a sufficient condition for the existence of multiple positive solutions of BVP (1) from its auxiliary problem. As applications, examples are presented to demonstrate the main results.



---

*Source: 473828-2013-11-06.xml*