Research Article Problems of Fractional Differential Inclusions

advertisement
Hindawi Publishing Corporation
Abstract and Applied Analysis
Volume 2013, Article ID 942831, 8 pages
http://dx.doi.org/10.1155/2013/942831
Research Article
Bifurcation of Positive Solutions for a Class of Boundary Value
Problems of Fractional Differential Inclusions
Yansheng Liu and Huimin Yu
Department of Mathematics, Shandong Normal University, Jinan 250014, China
Correspondence should be addressed to Yansheng Liu; yanshliu@gmail.com
Received 11 January 2013; Revised 27 February 2013; Accepted 4 March 2013
Academic Editor: Bashir Ahmad
Copyright © 2013 Y. Liu and H. Yu. 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.
Using Krein-Rutman theorem, topological degree theory, and bifurcation techniques, this paper investigates the existence of positive
solutions for a class of boundary value problems of fractional differential inclusions.
1. Introduction
Fractional differential equations have been of great interest
recently. Engineers and scientists have developed new models
that involve fractional differential equations. These models
have been applied successfully, for example, in mechanics
(theory of viscoelasticity and viscoplasticity), (bio)chemistry
(modelling of polymers and proteins), electrical engineering
(transmission of ultrasound waves), medicine (modelling of
human tissue under mechanical loads), and so forth. For
details, see [1–7] and references therein. For example, in [5],
Qiu and Bai considered the existence of positive solutions to
BVP of the nonlinear fractional differential equation
𝐢
𝐷0𝛼+ 𝑒 (𝑑) + 𝑓 (𝑑, 𝑒 (𝑑)) = 0,
0 < 𝑑 < 1,
𝑒 (0) = 𝑒󸀠 (1) = 𝑒󸀠󸀠 (0) = 0,
(1)
𝐷0𝛼+ 𝑒 (𝑑) + πœ†π‘“ (𝑑, 𝑒 (𝑑)) = 0,
𝑒(𝑗) (0) = 0,
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
𝑒󸀠󸀠 (1) = 0,
𝐢
𝐷0𝛼+ 𝑒 (𝑑) ∈ −𝐹 (𝑑, 𝑒 (𝑑)) ,
𝑒(𝑗) (0) = 0,
(2)
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
(3)
𝑒󸀠󸀠 (1) = 0,
𝐢
where 2 < 𝛼 ≤ 3, 𝑓 : (0, 1] × [0, +∞) → [0, +∞), and
𝐢 𝛼
𝐷0+ is the Caputo’s fractional derivatives. They obtained
the existence of at least one positive solution by using
Krasnoselskii’s fixed point theorem and nonlinear alternative
of Leray-Schauder type in a cone.
In [8], Tian and Liu investigated the following singular
fractional boundary value problem (BVP, for short) of the
form
𝐢
where 𝑛 − 1 < 𝛼 ≤ 𝑛, 𝑛 ≥ 4, and 𝑓 : (0, 1) × (0, +∞) →
[0, +∞) is continuous; that is, 𝑓(𝑑, 𝑒) may be singular at 𝑑 =
0, 1 and 𝑒 = 0. By constructing a special cone, under some
suitable assumptions, they obtained that there exist positive
numbers πœ†∗ and πœ†∗∗ with πœ†∗ < πœ†∗∗ such that the above
system has at least two positive solutions for πœ† ∈ (0, πœ†∗ ) and
no solution for πœ† > πœ†∗∗ .
In this paper, we consider the following boundary value
problem of fractional differential inclusions of the form
where 𝑛 − 1 < 𝛼 ≤ 𝑛, 𝑛 ≥ 4, 𝐷0𝛼+ is the Caputo’s fractional
+
derivatives, and 𝐹 : 𝐽 × R+ → 2R .
As mentioned in [9], the field of differential inclusions
is a versatile and general area of mathematics that provides a framework for modelling physical processes that
feature discontinuities. Examples of such phenomena include
mechanical systems with Coulomb friction modeled as a
force proportional to the sign of a velocity and systems whose
control laws have discontinuities [10]. In addition, differential
inclusions are a useful format for treating differential equations where the right-hand side may be inaccurately known
[11]. Differential inclusions are also employed in the dynamic
modelling of economic processes and game theory [12],
control theory, optimization, partial differential equations,
2
Abstract and Applied Analysis
and the study of general evolution processes [13]. The types of
the aforementioned applications naturally motivate a deeper
theoretical analysis of the subject.
Also there are some papers concerned with initial or
boundary value problems of fractional differential inclusions
(see, for instance, [9, 14–20] and references therein). The
method used in these references is fixed point theorem.
However, to the best of our knowledge, there is no paper
studying such problems using bifurcation ideas. As we know,
the bifurcation technique is widely used in solving boundary
value problems (see, for instance, [21–24] and references
therein). The purpose of present paper is to fill this gap. By
using Krein-Rutman theorem, topological degree theory, and
bifurcation techniques, the existence of positive solutions of
BVP (3) is investigated.
The paper is organized as follows. Section 2 contains some
preliminaries. In Section 3, by using bifurcation techniques,
Krein-Rutman theorem, and topological degree theory, bifurcation results from infinity and trivial solution are established. Finally, in Section 4, the main results of the present
paper are given and proved.
2. Preliminaries
For convenience, we present some necessary definitions and
results from fractional calculus theory (see [6]).
Definition 1. The fractional (arbitrary) order integral of the
function β„Ž ∈ 𝐿1 ([π‘Ž, 𝑏]) of order 𝛼 ∈ R+ is defined by
πΌπ‘Žπ›Ό β„Ž (𝑑) = ∫
𝑑
π‘Ž
𝛼−1
(𝑑 − 𝑠)
β„Ž (𝑠) d𝑠,
Γ (𝛼)
(4)
where Γ is the gamma function. When π‘Ž = 0, we write
𝐼𝛼 β„Ž(𝑑) = [β„Ž ∗ πœ‘π›Ό ](𝑑), where πœ‘π›Ό (𝑑) = 𝑑𝛼−1 /Γ(𝛼) for 𝑑 > 0, and
πœ‘π›Ό (𝑑) = 0 for 𝑑 ≤ 0 and πœ‘π›Ό → 𝛿(𝑑) as 𝛼 → 0, where 𝛿 is the
delta function.
Definition 2. For a function β„Ž given on the interval [π‘Ž, 𝑏], the
𝛼th Caputo fractional-order derivative of β„Ž is defined by
(
𝐢
𝛼
π·π‘Ž+
𝑑
1
β„Ž) (𝑑) =
∫ (𝑑 − 𝑠)𝑛−𝛼−1 β„Ž(𝑛) (𝑠) d𝑠.
Γ (𝑛 − 𝛼) π‘Ž
(5)
Here 𝑛 is the smallest integer greater than or equal 𝛼.
𝐷0𝛼+ 𝑒 (𝑑) = 0
(6)
2
𝑛−1
has solutions 𝑒(𝑑) = 𝑐0 + 𝑐1 𝑑 + 𝑐2 𝑑 + ⋅ ⋅ ⋅ + 𝑐𝑛−1 𝑑 , for some
𝑐𝑖 ∈ R, 𝑖 = 0, 1, 2, . . . , 𝑛 − 1, where 𝑛 is the smallest integer
greater than or equal to 𝛼.
Lemma 4. Assume that 𝑒 ∈ 𝐢(0, 1)∩𝐿1 [0, 1] with a derivative
of order 𝑛 that belongs to 𝐢(0, 1) ∩ 𝐿1 [0, 1]. Then
𝐢
𝐼0𝛼+ 𝐷0𝛼+ 𝑒 (𝑑)
2
𝛽
𝛼+𝛽
𝐼0𝛼+ 𝐼0+ πœ‘ = 𝐼0+ πœ‘
(8)
is valid in the following case:
Re 𝛽 > 0,
Re (𝛼 + 𝛽) > 0,
πœ‘ ∈ 𝐿1 [π‘Ž, 𝑏] .
(9)
For more detailed results of fractional calculus, we refer
the reader to [6]. In addition, we need the following preliminaries on multivalued operators.
Let (𝑋, β€– ⋅ β€–) be a Banach space. Then a multivalued map
Θ : 𝑋 → 2𝑋 is convex (closed) valued if Θ(π‘₯) is convex
(closed) for all π‘₯ ∈ 𝑋. Θ is bounded if Θ(𝐡) = ⋃π‘₯∈𝐡 Θ(π‘₯) is
bounded in 𝑋 for any bounded set 𝐡 of 𝑋.
Θ : 𝐷 → 2𝑋 is said to be lower semicontinuous, l.s.c.
for short, if Θ−1 (𝑉) is open in 𝐷 whenever 𝑉 ⊂ 𝑋 is open.
Let Θ : 𝐷 → 2𝑋 be a multivalued map and πœƒ : 𝐷 →
𝑋 a single-valued function; if for all π‘₯ ∈ 𝐷, πœƒ(π‘₯) ∈ Θ(π‘₯),
then πœƒ is called a selection function of Θ. If in addition πœƒ is
continuous, then πœƒ is called a continuous selection.
The following lemmas are crucial in the proof of our main
result.
Lemma 6. [25, Lemma 2.1, page 14]. Let 𝐷 ≠ 0 be a subset of a
Banach space 𝑋, and Θ : 𝐷 → 2𝑋 a l.s.c. with closed convex
values. Then, given (𝑀0 , π‘₯0 ) ∈ π‘”π‘Ÿπ‘Žπ‘β„Ž(Θ), Θ has a continuous
selection πœƒ such that πœƒ(𝑀0 ) = π‘₯0 .
For more details on multivalued maps, see the books of
Deimling [25].
Finally in this section, we list the following results on
topological degree of completely operators.
Lemma 7 (Schmitt and Thompson [26]). Let 𝑉 be a real
reflexive Banach space. Let 𝐺 : R × π‘‰ to 𝑉 be completely
continuous such that 𝐺(πœ†, 0) = 0, π‘“π‘œπ‘Ÿπ‘Žπ‘™π‘™ πœ† ∈ R. Let π‘Ž, 𝑏 ∈
R (π‘Ž < 𝑏) be such that 𝑒 = 0 is an isolated solution of the
equation
𝑒 − 𝐺 (πœ†, 𝑒) = 0,
𝑒 ∈ 𝑉,
(10)
for πœ† = π‘Ž and πœ† = 𝑏, where (π‘Ž, 0), (𝑏, 0) are not bifurcation
points of (10). Furthermore, assume that
deg (𝐼 − 𝐺 (π‘Ž, ⋅) , π΅π‘Ÿ (0) , 0) =ΜΈ deg (𝐼 − 𝐺 (𝑏, ⋅) , π΅π‘Ÿ (0) , 0) ,
(11)
Lemma 3. Let 𝛼 > 0, then the differential equation
𝐢
Lemma 5. The relation
𝑛−1
= 𝑒 (𝑑) + 𝑐0 + 𝑐1 𝑑 + 𝑐2 𝑑 + ⋅ ⋅ ⋅ + 𝑐𝑛−1 𝑑
.
(7)
for some 𝑐𝑖 ∈ R, 𝑖 = 0, 1, 2, . . . , 𝑛 − 1, where 𝑛 is the smallest
integer greater than or equal 𝛼.
where π΅π‘Ÿ (0) is an isolating neighborhood of the trivial solution.
Let
T = {(πœ†, 𝑒) : (πœ†, 𝑒) 𝑖𝑠 π‘Ž π‘ π‘œπ‘™π‘’π‘‘π‘–π‘œπ‘› π‘œπ‘“ (2.1) π‘€π‘–π‘‘β„Ž 𝑒 =ΜΈ 0}
∪ ([π‘Ž, 𝑏] × 0) .
(12)
Then there exists a connected component C of T containing
[π‘Ž, 𝑏] × 0 in R × π‘‰, and either
(i) C is unbounded in R × π‘‰ or
(ii) C ∩ [(R \ [π‘Ž, 𝑏]) × 0] =ΜΈ 0.
Abstract and Applied Analysis
3
Lemma 8 (Schmitt [27]). Let 𝑉 be a real reflexive Banach
space. Let 𝐺 : R × π‘‰ to 𝑉 be completely continuous, and let
π‘Ž, 𝑏 ∈ R (π‘Ž < 𝑏) be such that the solution of (10) is, a priori,
bounded in 𝑉 for πœ† = π‘Ž and πœ† = 𝑏; that is, there exists an 𝑅 > 0
such that
𝐺 (π‘Ž, 𝑒) =ΜΈ 𝑒 =ΜΈ 𝐺 (𝑏, 𝑒)
We first consider the following linear boundary problem
of fractional differential equation:
𝐢
𝐷0𝛼+ 𝑒 (𝑑) + 𝑔 (𝑑) = 0,
𝑒(𝑗) (0) = 0,
(13)
for sufficiently large 𝑅 > 0. Then there exists a closed connected
set C of solutions of (10) that is unbounded in [π‘Ž, 𝑏] × π‘‰, and
either
Lemma 10 (Tian and Liu [8]). Given 𝑔 ∈ 𝐢[0, 1], the unique
solution of (19) is
1
𝑒 (𝑑) = ∫ 𝐺 (𝑑, 𝑠) 𝑔 (𝑠) d𝑠,
(i) C is unbounded in πœ† direction or
Lemma 9 (Guo [28]). Let Ω be a bounded open set of infinitedimensional real Banach space 𝐸, and let 𝐴 : Ω → 𝐸 be
completely continuous. Suppose that
(i) inf π‘₯∈πœ•Ω β€–π΄π‘₯β€– > 0;
(ii) 𝐴π‘₯ = πœ‡π‘₯, π‘₯ ∈ πœ•Ω ⇒ πœ‡ ∉ (0, 1].
where
𝐺 (𝑑, 𝑠)
(𝛼 − 1) (𝛼 − 2) 2
{
𝑑 (1 − 𝑠)𝛼−3 − (𝑑 − 𝑠)𝛼−1 , 𝑠 ≤ 𝑑;
{
1 {
2
=
{
Γ (𝛼) {
{ (𝛼 − 1) (𝛼 − 2) 2
𝑑 ≤ 𝑠.
𝑑 (1 − 𝑠)𝛼−3 ,
{
2
(21)
(15)
(i) 𝐺 (𝑑, 𝑠) > 0,
3. Bifurcation Results
3.1. Assumptions and Conversion of BVP (3). Suppose that the
following two assumptions hold throughout the paper.
+
(H1) Let 𝐹 : 𝐽 × R+ → 2R be a nonempty, closed and
convex multivalued map such that 𝐹 is l.s.c., where 𝐽 = [0, 1].
(H2) There exist functions π‘Ž0 , π‘Ž0 , 𝑏∞ , 𝑏∞ ∈ 𝐢(𝐽, R+ )
with π‘Ž0 (𝑑), π‘Ž0 (𝑑), 𝑏∞ (𝑑), 𝑏∞ (𝑑) ≡ΜΈ 0 in any subinterval of [0, 1]
such that
𝐹 (𝑑, 𝑒)
(16)
∀𝑑, 𝑠 ∈ [0, 1] ;
(ii) 𝐺 (𝑑, 𝑠) ≤ 𝐻 (𝑠) ≤
(1 − 𝑠)𝛼−3
,
2Γ (𝛼 − 2)
𝐻 (𝑠)
(𝛼 − 1) (𝛼 − 2) 2
{
𝑠 (1 − 𝑠)𝛼−3 − (1 − 𝑠)𝛼−1 , 𝑠 ≤ 𝑑,
{
1 {
2
=
{
Γ (𝛼) {
{ (𝛼 − 1) (𝛼 − 2) 2
𝑑 ≤ 𝑠;
𝑠 (1 − 𝑠)𝛼−3 ,
{
2
(iii) 𝐺 (𝑑, 𝑠) ≥ 𝑑2 𝐺 (𝜏, 𝑠) ,
∀𝑑, 𝑠, 𝜏 ∈ [0, 1] .
(23)
∩ [𝑏∞ (𝑑) 𝑒 − 𝜁1 (𝑑, 𝑒) , 𝑏 (𝑑) 𝑒 + 𝜁2 (𝑑, 𝑒)] ,
for all (𝑑, 𝑒) ∈ 𝐽 × R+ , where πœ‰π‘– , πœπ‘– ∈ 𝐢(𝐽 × R+ ) with πœ‰π‘– (𝑑, 𝑒) =
π‘œ(𝑒) as 𝑒 → 0 uniformly with respect to 𝑑 ∈ [0, 1], (𝑖 = 1, 2),
and πœπ‘– (𝑑, 𝑒) = π‘œ(𝑒) as 𝑒 → +∞ uniformly with respect to
𝑑 ∈ [0, 1], (𝑖 = 1, 2).
The basic space used in this paper is 𝐢[0, 1]. Obviously,
𝐢[0, 1] is a Banach space with norm ‖𝑒‖ = max𝑑∈𝐽 |𝑒(𝑑)|
(for all 𝑒 ∈ 𝐢[0, 1]). Let
(17)
It is easy to see that 𝑄 is a cone of 𝐸. Moreover, from (17), we
have for all 𝑒 ∈ 𝑄,
𝑒 (𝑑) ≥ 𝑑2 ‖𝑒‖ ,
∀𝑑 ∈ 𝐽.
(22)
where
∞
𝑄 := {𝑒 ∈ 𝐢 [𝐽, R+ ] : 𝑒 (𝑑) ≥ 𝑑2 𝑒 (𝑠) , ∀𝑑, 𝑠 ∈ 𝐽} .
(20)
Lemma 11 (Tian and Liu [8]). The function 𝐺(𝑑, 𝑠) defined by
(21) has the following properties:
Then
⊂ [π‘Ž0 (𝑑) 𝑒 − πœ‰1 (𝑑, 𝑒) , π‘Ž0 (𝑑) 𝑒 + πœ‰2 (𝑑, 𝑒)]
(19)
where 𝑔 ∈ 𝐢[0, 1].
0
(ii) there exists an interval [𝑐, 𝑑] such that (π‘Ž, 𝑏)∩(𝑐, 𝑑) = 0
and C bifurcates from infinity in [𝑐, 𝑑] × π‘‰.
deg (𝐼 − 𝐴, Ω, πœƒ) = 0.
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
𝑒󸀠󸀠 (1) = 0,
for all 𝑒 with ‖𝑒‖ ≥ 𝑅. Furthermore, assume that
deg (𝐼 − 𝐺 (π‘Ž, ⋅) , 𝐡𝑅 (0) , 0) =ΜΈ deg (𝐼 − 𝐺 (𝑏, ⋅) , 𝐡𝑅 (0) , 0) ,
(14)
0 < 𝑑 < 1,
(18)
For the sake of using bifurcation technique to investigate
BVP (3), we study the following fractional boundary value
problem with parameters:
𝐢
𝐷0𝛼+ 𝑒 (𝑑) ∈ −πœ†πΉ (𝑑, 𝑒 (𝑑)) ,
𝑒(𝑗) (0) = 0,
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
(24)
𝑒󸀠󸀠 (1) = 0.
A function (πœ†, 𝑒) is said to be a solution of BVP (24) if
(πœ†, 𝑒) satisfies (24). In addition, if πœ† > 0, 𝑒(𝑑) > 0 for 𝑑 ∈
(0, 1), then (πœ†, 𝑒) is said to be a positive solution of BVP (24).
Obviously, if πœ† > 0, 𝑒 ∈ 𝑄 \ {πœƒ} is a solution of BVP (24), then
4
Abstract and Applied Analysis
by (18) we know that (πœ†, 𝑒) is a positive solution of BVP (24),
where πœƒ denotes the zero element of Banach space 𝐸.
For π‘Ž ∈ 𝐢(𝐽, R+ ) with π‘Ž(𝑑) ≡ΜΈ 0 in any subinterval of 𝐽,
define the linear operator 𝐿 π‘Ž : 𝐢(𝐽) → 𝐢(𝐽) by
1
𝐿 π‘Ž 𝑒 (𝑑) = ∫ 𝐺 (𝑑, 𝑠) π‘Ž (𝑠) 𝑒 (𝑠) d𝑠,
0
(25)
where 𝐺(𝑑, 𝑠) is defined by (21).
From Lemmas 10, 11, and the well-known Krein-Rutman
Theorem, one can obtain the following lemma.
Lemma 12. The operator defined by (25) has a unique characteristic value πœ† 1 (π‘Ž), which is positive, real, and simple and the
corresponding eigenfunction πœ™(𝑑) is of one sign in (0, 1); that is,
we have πœ™(𝑑) = πœ† 1 (π‘Ž)𝐿 π‘Ž πœ™(𝑑).
Notice that the operator 𝐿 π‘Ž can be regarded as 𝐿 π‘Ž :
𝐿2 [0, 1] → 𝐿2 [0, 1]. This together with Lemma 12 guarantees
that πœ† 1 (π‘Ž) is also the characteristic value of 𝐿∗π‘Ž , where 𝐿∗π‘Ž is
the conjugate operator of 𝐿 π‘Ž . Let πœ‘∗ denote the nonnegative
eigenfunction of 𝐿∗π‘Ž corresponding to πœ† 1 (π‘Ž). Then we have
∗
πœ‘ (𝑑) =
πœ† 1 (π‘Ž) 𝐿∗π‘Ž πœ‘∗
(𝑑) ,
∀𝑑 ∈ 𝐽.
𝐷0𝛼+ 𝑒 (𝑑) + πœ†π‘“ (𝑑, 𝑒 (𝑑)) = 0,
𝑒(𝑗) (0) = 0,
Lemma 14. Let [𝑐, 𝑑] ⊂ R+ be a compact interval with
[πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] ∩ [𝑐, 𝑑] = 0. Then there exists 𝑅1 > 0 such
that
𝑒 =ΜΈ 𝐴 πœ† 𝑒,
(27)
𝑓 (𝑑, 𝑒) ∈ [𝑏∞ (𝑑) 𝑒 − 𝜁1 (𝑑, 𝑒) , 𝑏∞ (𝑑) 𝑒 + 𝜁2 (𝑑, 𝑒)] ,
∀ (𝑑, 𝑒) ∈ 𝐽 × R+ .
+
(𝑑, 𝑒) ∈ 𝐽 × R ,
(𝑑, 𝑒) ∈ 𝐽 × (−∞, 0) .
(28)
Then 𝑓(𝑑, 𝑒) ≥ 0 on 𝐽 × R. From Lemma 10, the solution of
𝐢
𝐷0𝛼+ 𝑒 (𝑑) + πœ†π‘“ (𝑑, 𝑒 (𝑑)) = 0,
𝑒(𝑗) (0) = 0,
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
1
V𝑛 (𝑑) ≤ πœ‡π‘› ∫ 𝐺 (𝑑, 𝑠) (𝑏∞ (𝑠) V𝑛 (𝑠) +
0
1
V𝑛 (𝑑) ≥ πœ‡π‘› ∫ 𝐺 (𝑑, 𝑠) (𝑏∞ (𝑠) V𝑛 (𝑠) −
𝑒󸀠󸀠 (1) = 0
is equivalent to the fixed point of operator
1
𝐴 πœ† 𝑒 (𝑑) = πœ† ∫ 𝐺 (𝑑, 𝑠) 𝑓 (𝑠, 𝑒 (𝑠)) d𝑠,
0
𝜁2 (𝑠, 𝑒𝑛 (𝑠))
) d𝑠,
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
(33)
𝜁1 (𝑠, 𝑒𝑛 (𝑠))
) d𝑠.
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
(34)
Let πœ“∗ and πœ“∗ be the positive eigenfunctions of 𝐿∗𝑏∞ , 𝐿∗𝑏∞
corresponding to πœ† 1 (𝑏∞ ) and πœ† 1 (𝑏∞ ), respectively. Then from
(33), it follows that
⟨V𝑛 , πœ“∗ ⟩
≤ πœ‡π‘› ⟨𝐿 𝑏∞ V𝑛 , πœ“∗ ⟩
(29)
∀𝑒 ∈ 𝐢 [0, 1] . (30)
1
(35)
1
𝜁 (𝑠, 𝑒 (𝑠))
d𝑠 d𝑑.
+ πœ‡π‘› ∫ πœ“∗ (𝑑) ∫ 𝐺 (𝑑, 𝑠) 2 σ΅„©σ΅„© 𝑛󡄩󡄩
0
0
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
Letting 𝑛 → +∞ and using condition (H2), we have
⟨V, πœ“∗ ⟩ ≤ πœ‡ ⟨𝐿 𝑏∞ V, πœ“∗ ⟩ = πœ‡ ⟨V, 𝐿∗𝑏∞ πœ“∗ ⟩ = πœ‡ ⟨V,
+
Let Σ ⊂ R × πΆ[0, 1] be the closure of the set of positive
solutions of BVP (27). From Lemma 11 and the definitions of
𝑓 and the cone 𝑄, it is easy to see Σ ⊂ 𝑄 and 𝐴 πœ† : 𝐢[0, 1] →
𝑄. Moreover, we have the following conclusion.
Lemma 13. For πœ† > 0, (πœ†, 𝑒) is a positive solution of BVP (27)
if and only if (πœ†, 𝑒) is a nontrivial solution of BVP (29); that is,
𝑒 is a nontrivial fixed point of operator 𝐴 πœ† in 𝑄. Therefore, the
closure of the set of nontrivial solutions (πœ†, 𝑒) of BVP (29) in
R+ × π‘„ is exactly Σ.
(32)
Therefore, by virtue of (30), we know
0
Define
(31)
Proof. Suppose, on the contrary, that there exist {(πœ‡π‘› , 𝑒𝑛 )} ⊂
[𝑐, 𝑑] × πΆ[0, 1] with ‖𝑒𝑛 β€– → ∞(𝑛 → +∞) such that 𝑒𝑛 =
𝐴 πœ‡π‘› 𝑒𝑛 . Without loss of generality, assume πœ‡π‘› → πœ‡ ∈ [𝑐, 𝑑].
Notice that 𝑒𝑛 ∈ 𝑄. By Lemma 13, (17), and (18), we have
𝑒𝑛 (𝑑) > 0 in (0, 1]. Set V𝑛 = 𝑒𝑛 /‖𝑒𝑛 β€–. Then V𝑛 = 𝐴 πœ‡π‘› 𝑒𝑛 /‖𝑒𝑛 β€–.
From the continuity of 𝑓(𝑑, 𝑒), it is easy to see that {V𝑛 }
is relatively compact in 𝐢[0, 1]. Taking a subsequence and
relabeling if necessary, suppose V𝑛 → V in 𝐢[0, 1]. Then
β€–Vβ€– = 1 and V ∈ 𝑄.
On the other hand, from (H2) we know
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 𝑛 − 1, 𝑗 =ΜΈ 2,
𝑓 (𝑑, 𝑒) ,
𝑓 (𝑑, 0) ,
∀𝑒 ∈ 𝐢 [0, 1]
π‘€π‘–π‘‘β„Ž ‖𝑒‖ ≥ 𝑅1 .
𝑒󸀠󸀠 (1) = 0.
𝑓 (𝑑, 𝑒) = {
∀πœ† ∈ [𝑐, 𝑑] ,
(26)
Note that condition (H1) implies that 𝐹(𝑑, 𝑒) is lower
semicontinuous. Then, from Lemma 6, there exists a continuous function 𝑓 : 𝐽×R+ → R+ such that 𝑓(𝑑, 𝑒) ∈ 𝐹(𝑑, 𝑒) for
all (𝑑, 𝑒) ∈ 𝐽 × R+ . Therefore, to solve BVP (24), we consider
the problem
𝐢
3.2. Bifurcation from Infinity and Trivial Solution
πœ“∗
⟩,
πœ† 1 (𝑏∞ )
(36)
which implies πœ‡ ≥ πœ† 1 (𝑏∞ ). Similarly, one can deduce from
(34) that πœ‡ ≤ πœ† 1 (𝑏∞ ).
To sum up, πœ† 1 (𝑏∞ ) ≤ πœ‡ ≤ πœ† 1 (𝑏∞ ), which contradicts with
πœ‡ ∈ [𝑐, 𝑑]. The conclusion of this lemma follows.
Lemma 15. For πœ‡ ∈ (0, πœ† 1 (𝑏∞ )), there exists 𝑅1 > 0 such that
deg (𝐼 − 𝐴 πœ‡ , 𝐡𝑅 , 0) = 1,
∀𝑅 ≥ 𝑅1 .
(37)
Abstract and Applied Analysis
5
Proof. Notice that [0, πœ‡] ∩ [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] = 0. From
Lemma 14, there exists 𝑅1 > 0 such that
𝑒 =ΜΈ 𝐴 πœ† 𝑒,
∀πœ† ∈ [0, πœ‡] ,
∀𝑒 ∈ 𝐢 [0, 1]
with ‖𝑒‖ ≥ 𝑅1 ,
(38)
(0, 1] and it is reasonable to suppose V𝑛 → V (relabeling if
necessary) in 𝐢[0, 1]. By virtue of (32), we know
⟨V𝑛 , πœ“∗ ⟩ ≥ βŸ¨πœ‡π‘› V𝑛 , πœ“∗ ⟩
1
= σ΅„©σ΅„© σ΅„©σ΅„© ⟨𝐴 πœ† 𝑒𝑛 , πœ“∗ ⟩
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
which means
𝑒 =ΜΈ 𝜏𝐴 πœ‡ 𝑒,
∀𝜏 ∈ [0, 1] ,
∀𝑒 ∈ 𝐢 [0, 1]
with ‖𝑒‖ ≥ 𝑅1 .
(39)
Therefore, by the homotopy invariance of topological
degree, we have
deg (𝐼 − 𝐴 πœ‡ , 𝐡𝑅 , 0) = deg (𝐼, 𝐡𝑅 , 0) = 1,
∀𝑅 ≥ 𝑅1 . (40)
Lemma 16. For πœ† > πœ† 1 (𝑏∞ ), there exists 𝑅2 > 0 such that
deg (𝐼 − 𝐴 πœ† , 𝐡𝑅 , 0) = 0,
∀𝑅 ≥ 𝑅2 .
(41)
Proof. We first prove that for πœ† > πœ† 1 (𝑏∞ ), there exists 𝑅2 > 0
such that
𝐴 πœ† 𝑒 =ΜΈ πœ‡π‘’,
∀πœ‡ ∈ (0, 1] ,
∀𝑒 ∈ 𝐢 [0, 1]
with ‖𝑒‖ ≥ 𝑅2 .
(42)
Suppose, on the contrary, that there exist {(πœ‡π‘› , 𝑒𝑛 )} ⊂
(0, 1] × πΆ[0, 1] with ‖𝑒𝑛 β€– → ∞ (𝑛 → +∞) such that
𝐴 πœ† 𝑒𝑛 = πœ‡π‘› 𝑒𝑛 .
By Lemma 13, 𝑒𝑛 (𝑑) > 0 in (0, 1]. Set V𝑛 = 𝑒𝑛 /‖𝑒𝑛 β€–; that is,
πœ‡π‘› V𝑛 = 𝐴 πœ† 𝑒𝑛 /‖𝑒𝑛 β€–. Without loss of generality, assume πœ‡π‘› →
πœ‡ ∈ [0, 1]. First we show πœ‡ =ΜΈ 0. From (32) and the continuity of
𝑓(𝑑, 𝑒), it is easy to see that 𝐴 πœ† 𝑒𝑛 /‖𝑒𝑛 β€– is relatively compact in
𝐢[0, 1]. Suppose (𝐴 πœ† 𝑒𝑛 /‖𝑒𝑛 β€–) → 𝑦. Notice that V𝑛 ∈ 𝑄 and
β€–V𝑛 β€– = 1. Therefore, V𝑛 (𝑑) ≥ 𝑑2 for 𝑑 ∈ (0, 1]. Consequently,
πœ‡π‘› V𝑛 (𝑑)
=
𝐴 πœ† 𝑒𝑛 (𝑑)
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
1
≥ πœ† ∫ 𝐺 (𝑑, 𝑠) (𝑏∞ (𝑠) V𝑛 (𝑠) −
0
𝜁1 (𝑠, 𝑒𝑛 (𝑠))
) d𝑠
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
(43)
1
≥ πœ†π‘‘2 max ∫ 𝑠2 𝐺 (𝜏, 𝑠) 𝑏∞ (𝑠) d𝑠
𝜏∈𝐽
1
0
− πœ† ∫ 𝐺 (𝑑, 𝑠)
0
𝜁1 (𝑠, 𝑒𝑛 (𝑠))
d𝑠.
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
From (H2) and Lemma 11, it is easy to see max𝜏∈𝐽
1
(44)
≥ πœ† ⟨𝐿 𝑏∞ V𝑛 , πœ“∗ ⟩
∫0 𝑠2 𝐺(𝜏, 𝑠)𝑏∞ (𝑠)d𝑠 > 0. If πœ‡ = 0, letting 𝑛 → +∞ in
the above inequality, we can obtain a contradiction. So πœ‡ ∈
1
1
0
0
− πœ† ∫ πœ“∗ (𝑑) ∫ 𝐺 (𝑑, 𝑠)
𝜁1 (𝑠, 𝑒𝑛 (𝑠))
d𝑠 d𝑑.
σ΅„©σ΅„© σ΅„©σ΅„©
󡄩󡄩𝑒𝑛 σ΅„©σ΅„©
Letting 𝑛 → +∞ and using condition (H2), we obtain
that
⟨V, πœ“∗ ⟩ ≥ πœ† ⟨𝐿 𝑏∞ V, πœ“∗ ⟩
= πœ† ⟨V, 𝐿∗𝑏∞ πœ“∗ ⟩ = πœ† ⟨V,
πœ“∗
⟩,
πœ† 1 (𝑏∞ )
(45)
which implies πœ† ≤ πœ† 1 (𝑏∞ ). This is a contradiction. Therefore,
(42) holds. By Lemma 9, for each πœ† > πœ† 1 (𝑏∞ ), there exists
𝑅2 > 0 such that
deg (𝐼 − 𝐴 πœ† , 𝐡𝑅 , 0) = 0,
∀𝑅 ≥ 𝑅2 .
(46)
The conclusion of this lemma follows.
Theorem 17. [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] is a bifurcation interval of
positive solutions from infinity for BVP (27), and there exists
no bifurcation interval of positive solutions from infinity which
is disjoint with [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )]. More precisely, there exists
an unbounded component C∞ of solutions of BVP (27) which
meets [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] × ∞ and is unbounded in πœ† direction.
Proof. From Lemma 13, we need only to prove that the
conclusion holds for (29).
For fixed 𝑛 ∈ N with πœ† 1 (𝑏∞ ) − 1/𝑛 > 0, by Lemmas 15,
16, and their proof, there exists 𝑅 > 0 such that all of the
conditions of Lemma 8 are satisfied with 𝐺(πœ†, 𝑒) = 𝐴 πœ† 𝑒, π‘Ž =
πœ† 1 (𝑏∞ ) − 1/𝑛, and 𝑏 = πœ† 1 (𝑏∞ ) + 1/𝑛. So, there exists a closed
connected set C𝑛 of solutions of (29), which is unbounded
in [πœ† 1 (𝑏∞ ) − 1/𝑛, πœ† 1 (𝑏∞ ) + 1/𝑛] × πΆ[0, 1]. From Lemma 14,
the case (ii) of Lemma 8 cannot occur. Thus, C𝑛 bifurcates
from infinity in [πœ† 1 (𝑏∞ ) − 1/𝑛, πœ† 1 (𝑏∞ ) + 1/𝑛] × πΆ[0, 1] and is
unbounded in πœ† direction. In addition, for any closed interval
[𝑐, 𝑑] ⊂ [πœ† 1 (𝑏∞ ) − 1/𝑛, πœ† 1 (𝑏∞ ) + 1/𝑛] \ [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )], by
Lemma 14, the set {𝑒 ∈ 𝐢[0, 1] : (πœ†, 𝑒) ∈ Σ, πœ† ∈ [𝑐, 𝑑]} is
bounded in 𝐢[0, 1]. Therefore, C𝑛 must be bifurcated from
infinity in [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] × πΆ[0, 1], which implies that C𝑛
can be regarded as C∞ . Consequently, C∞ is unbounded in
πœ† direction.
By a process similar to the above, one can obtain the
following conclusions.
Lemma 18. Let [𝑐, 𝑑] ⊂ R+ be a compact interval with
[πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] ∩ [𝑐, 𝑑] = 0. Then there exists 𝛿1 > 0 such
that
𝑒 =ΜΈ 𝐴 πœ† 𝑒,
∀πœ† ∈ [𝑐, 𝑑] ,
∀𝑒 ∈ 𝐢 [0, 1]
with 0 < ‖𝑒‖ ≤ 𝛿1 .
(47)
6
Abstract and Applied Analysis
Lemma 19. For πœ‡ ∈ (0, πœ† 1 (π‘Ž0 )), there exists 𝛿1 > 0 such that
deg (𝐼 − 𝐴 πœ‡ , 𝐡𝛿 , 0) = 1,
∀𝛿 ∈ (0, 𝛿1 ] .
(48)
Lemma 20. For πœ† > πœ† 1 (π‘Ž0 ), there exists 𝛿2 > 0 such that
deg (𝐼 − 𝐴 πœ† , 𝐡𝛿 , 0) = 0,
∀𝛿 ∈ (0, 𝛿2 ] .
(49)
Finally, using Lemmas 18–20, Lemma 7, and the similar
method used in the proof of Theorem 17, the following
conclusion can be proved.
interval of positive solutions from the trivial solution, which
is disjointed with [πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )].
We show that C0 must cross the hyperplane {1} × πΆ(𝐽).
Suppose, on the contrary, C0 ∩ {1} × πΆ(𝐽) = 0. From πœ† 1 (π‘Ž0 ) <
1, we know C0 ⊂ [0, 1] × πΆ(𝐽). Notice that C0 is unbounded.
Then C0 must joint [0, 1] × {∞}. By Theorem 17, it is a
contradiction with πœ† 1 (𝑏∞ ) > 1. Thus the result follows.
Theorem 23. Suppose that (H1), (H2), and the following
assumption holds.
(H3) There exist 𝑅 > 0 and β„Ž ∈ 𝐿[0, 1] such that for 𝑑 ∈ 𝐽,
0
Theorem 21. [πœ† 1 (π‘Ž ), πœ† 1 (π‘Ž0 )] is a bifurcation interval of
positive solutions from the trivial solution for BVP (27); that is,
there exists an unbounded component C0 of positive solutions
of BVP (27), which meets [πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] × {0}. Moreover,
there exists no bifurcation interval of positive solutions from
the trivial solution which is disjointed with [πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )].
1
sup 𝐹 (𝑑, 𝑒) ≤ β„Ž (𝑑) ,
max ∫ 𝐺 (𝑑, 𝑠) β„Ž (𝑠) d𝑠 < 𝑅.
𝑑∈𝐽
𝑑2 𝑅≤𝑒≤𝑅
(50)
In addition, suppose
πœ† 1 (π‘Ž0 ) < 1,
4. Main Results
The main results of this paper are the following two conclusions.
Theorem 22. Suppose that (H1) and (H2) hold. In addition,
suppose either
(i) πœ† 1 (𝑏∞ ) < 1 < πœ† 1 (π‘Ž0 ) or
(ii) πœ† 1 (π‘Ž0 ) < 1 < πœ† 1 (𝑏∞ ).
Then BVP (3) has at least one positive solution.
Proof. We need only to prove that there is a component of Σ
that crosses the hyperplane {1} × πΆ(𝐽), where Σ ⊂ R+ ×𝐢[0, 1]
is the closure of the set of positive solutions of BVP (27).
Notice that (0, 0) is the only solution of (27) with πœ† = 0.
By Lemmas 14 and 18, for any component C of Σ, we have
C ∩ ({0} × πΆ(𝐽)) = 0.
Case (i). Consider πœ† 1 (𝑏∞ ) < 1 < πœ† 1 (π‘Ž0 ).
From Theorem 17, there exists an unbounded component
C∞ of solutions of (27), which meets [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] × ∞
and is unbounded in πœ† direction.
If C∞ ∩ (R+ × {0}) = 0, by C∞ ∩ ({0} × πΆ(𝐽)) = 0 and
Theorem 17, we know that C∞ must cross the hyperplane
{1} × πΆ(𝐽).
If C∞ ∩ (R+ × {0}) =ΜΈ 0, by Theorem 21, we know C∞ ∩
+
(R × {0}) ∈ [πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] × {0}. Therefore, C∞ joins
[πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] × {0} to [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] × ∞. This together
with πœ† 1 (𝑏∞ ) < 1 < πœ† 1 (π‘Ž0 ) guarantees that C∞ crosses the
hyperplane {1} × πΆ(𝐽).
Case (ii). Consider πœ† 1 (π‘Ž0 ) < 1 < πœ† 1 (𝑏∞ ).
From Theorem 21, there exists an unbounded component C0 of positive solutions of BVP (27), which meets
[πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] × {0}. Moreover, there exists no bifurcation
0
πœ† 1 (𝑏∞ ) < 1.
(51)
Then BVP (3) has at least two positive solutions.
Proof. From Theorems 17 and 21, there exist two unbounded
components C0 and C∞ of solutions of (27), which meet
[πœ† 1 (π‘Ž0 ), πœ† 1 (π‘Ž0 )] × {0} and [πœ† 1 (𝑏∞ ), πœ† 1 (𝑏∞ )] × ∞, respectively.
It is sufficient to show that C0 and C∞ are disjoint in [0, 1] ×
𝐢(𝐽) and both cross the hyperplane {1} × πΆ(𝐽).
For this sake, from assumption (H3), there exists πœ€ > 0
such that
1
(1 + πœ€) max ∫ 𝐺 (𝑑, 𝑠) β„Ž (𝑠) d𝑠 < 𝑅.
𝑑∈𝐽
0
(52)
Now we show Σ ∩ ([0, 1 + πœ€] × πœ•π΅π‘… ) = 0, where 𝐡𝑅 = {𝑒 ∈
𝐢(𝐽) : ‖𝑒‖ < 𝑅}. Suppose that, on the contrary, (πœ†, 𝑒) is a
solution of (27) such that 0 ≤ πœ† ≤ 1 + πœ€ and ‖𝑒‖ = 𝑅. Then
by Lemma 13, we know 𝑒 ∈ 𝑄. Therefore, 𝑒(𝑑) ∈ [𝑑2 𝑅, 𝑅] for
𝑑 ∈ 𝐽. From (H3), (30), and Lemma 13, it follows that
1
𝑅 = ‖𝑒‖ = max πœ† ∫ 𝐺 (𝑑, 𝑠) 𝑓 (𝑠, 𝑒 (𝑠)) d𝑠
𝑑∈𝐽
0
1
(53)
≤ (1 + πœ€) max ∫ 𝐺 (𝑑, 𝑠) β„Ž (𝑠) d𝑠 < 𝑅,
𝑑∈𝐽
0
which is a contradiction. Thus, Σ ∩ ([0, 1 + πœ€] × πœ•π΅π‘… ) = 0,
which implies
C0 ∩ ([0, 1 + πœ€] × πœ•π΅π‘… ) = 0,
C∞ ∩ ([0, 1 + πœ€] × πœ•π΅π‘… ) = 0.
(54)
Immediately, C0 and C∞ are disjoint in [0, 1] × πΆ(𝐽).
Notice that C0 and C∞ are both unbounded. Moreover,
C0 ∩ ({0} × πΆ(𝐽)) = 0, C∞ ∩ ({0} × πΆ(𝐽)) = 0, and C∞
is unbounded in πœ† direction. So C0 and C∞ both cross the
hyperplane {1}×𝐢(𝐽). This means that there exist (1, 𝑒1 ) ∈ C0
and (1, 𝑒2 ) ∈ C∞ with ‖𝑒1 β€– < 𝑅 and ‖𝑒2 β€– > 𝑅.
Consequently, BVP (3) has at least two positive solutions.
Abstract and Applied Analysis
7
5. An Example
Let 𝜌 be the unique characteristic value of 𝐿 1 corresponding
to positive eigenfunctions with π‘Ž(𝑑) ≡ 1 in (25). From
Lemma 12 it follows that 𝜌 exists.
Example 24. Consider the following boundary value problem
of fractional differential inclusions
𝐢
𝐷03.5
+ 𝑒 (𝑑) ∈ −𝐹 (𝑑, 𝑒 (𝑑)) ,
𝑒(𝑗) (0) = 0,
0 < 𝑑 < 1,
0 ≤ 𝑗 ≤ 3, 𝑗 =ΜΈ 2,
(55)
𝑒󸀠󸀠 (1) = 0,
where
𝜌
𝜌
𝐹 (𝑑, 𝑒) = [ 𝑒 − πœ‰ (𝑑, 𝑒) , 𝑒 + πœ‰2 (𝑑, 𝑒)]
4
2
∩ [2πœŒπ‘’ − 𝜁1 (𝑑, 𝑒) , 3πœŒπ‘’ + πœ‰ (𝑑, 𝑒)] ,
𝜌 2 3
𝑑𝑒,
{
{
{4
πœ‰ (𝑑, 𝑒) = {
{
{𝜌 2
𝑑 √𝑒,
{4
2πœŒπ‘’,
{
{
𝜁1 (𝑑, 𝑒) = {
{
{2𝜌√𝑒,
πœ‰2 (𝑑, 𝑒) =
𝑑 ∈ 𝐽, 𝑒 ∈ [0, 1] ,
𝑑 ∈ 𝐽, 𝑒 ∈ [1, +∞) ,
(56)
𝑑 ∈ 𝐽, 𝑒 ∈ [0, 1] ,
𝑑 ∈ 𝐽, 𝑒 ∈ [1, +∞) ,
5𝜌
𝑒 + πœ‰ (𝑑, 𝑒) .
2
Then BVP (55) has at least one positive solution.
Proof. BVP (55) can be regarded as the form (3). From (56),
one can see that (H1) and (H2) are satisfied with π‘Ž0 (𝑑) = 𝜌/4,
𝑏∞ (𝑑) = 2𝜌, π‘Ž0 (𝑑) = 𝜌/2, 𝑏∞ (𝑑) = 3𝜌, and πœ‰1 (𝑑, 𝑒) = 𝜁2 (𝑑, 𝑒) =
πœ‰(𝑑, 𝑒).
By the definition of 𝜌, it is easy to see πœ† 1 (𝑏∞ ) = 1/2 < 1 <
2 = πœ† 1 (π‘Ž0 ).
Therefore, by Theorem 22, BVP (55) has at least one
positive solution.
Acknowledgments
The research is supported by NNSF of China (11171192)
and the Promotive Research Fund for Excellent Young
and Middle-Aged Scientists of Shandong Province
(BS2010SF025).
References
[1] Diethelm, The Analysis of Fractional Differential Equations: An
Application-Oriented Exposition Using Differential Operators of
Caputo Type, LNM 2004, Springe, 2010.
[2] A. A. Kilbas and J. J. Trujillo, “Differential equations of fractional order: methods, results and problems. I,” Applicable
Analysis, vol. 78, no. 1-2, pp. 153–192, 2001.
[3] A. A. Kilbas and J. J. Trujillo, “Differential equations of fractional order: methods, results and problems. II,” Applicable
Analysis, vol. 81, no. 2, pp. 435–493, 2002.
[4] I. Podlubny, Fractional Differential Equations, Mathematics in
Science and Engineering, Academic Press, New York, NY, USA,
1999.
[5] T. Qiu and Z. Bai, “Existence of positive solutions for singular
fractional diffrential equations,” Electronic Journal of Differential Equations, vol. 146, pp. 1–9, 2008.
[6] S. G. Samko, A. A. Kilbas, and O. I. Marichev, Fractional
Integrals and Derivatives, Theory and Applications, Gordon and
Breach, Yverdon, Switzerland, 1993.
[7] Z. Wei, Q. Li, and J. Che, “Initial value problems for fractional
differential equations involving Riemann-Liouville sequential
fractional derivative,” Journal of Mathematical Analysis and
Applications, vol. 367, no. 1, pp. 260–272, 2010.
[8] C. Tian and Y. Liu, “Multiple positive solutions for a class
of fractional singular boundary value problems,” Memoirs on
Differential Equations and Mathematical Physics, vol. 56, pp.
115–131, 2012.
[9] A. Boucherif and C. C. Tisdell, “Existence of periodic and
non-periodic solutions to systems of boundary value problems
for first-order differential inclusions with super-linear growth,”
Applied Mathematics and Computation, vol. 204, no. 1, pp. 441–
449, 2008.
[10] B. E. Paden and S. S. Sastry, “A calculus for computing Filippov’s
differential inclusion with application to the variable structure
control of robot manipulators,” IEEE Transactions on Circuits
and Systems, vol. 34, no. 1, pp. 73–82, 1987.
[11] L. Erbe, R. Ma, and C. C. Tisdell, “On two point boundary value
problems for second order differential inclusions,” Dynamic
Systems and Applications, vol. 15, no. 1, pp. 79–88, 2006.
[12] A. Granas and J. Dugundji, Fixed Point Theory, Springer, New
York, NY, USA, 2003.
[13] S. Hu and N. S. Papageorgiou, Handbook of Multivalued Analysis. Vol. I, vol. 419 of Theory Mathematics and its Applications,
Kluwer Academic Publishers, Dordrecht, The Netherlands,
1997.
[14] 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.
[15] B. Ahmad and J. J. Nieto, “Sequential fractional differential
equations with three-point boundary conditions,” Computers &
Mathematics with Applications, vol. 64, no. 10, pp. 3046–3052,
2012.
[16] B. Ahmad and S. Ntouyas, “Nonlinear fractional differential
equations and inclusions of arbitrary order and multi-strip
boundary conditions,” Electronic Journal of Differential Equations, vol. 98, pp. 1–22, 2012.
[17] M. Benchohra, J. Henderson, D. Seba et al., “Boundary
value problems for fractional differential inclusions in Banach
spaces,” Fractional Differential Calculus, vol. 2, pp. 99–108, 2012.
[18] A. Cernea, “On a multi point boundary value problem for a
fractional order differential inclusion,” Arab Journal of Mathematical Sciences, vol. 19, no. 1, pp. 73–83, 2013.
[19] N. Nyamoradi and M. Javidi, “Existence of multiple positive
solutions for fractional differential inclusion with m-point
boundary conditions and two fractional orders,” Electronic
Journal of Differential Equations, vol. 187, pp. 1–26, 2012.
8
[20] A. Ouahab, “Fractional semilinear differential inclusions,” Computers & Mathematics with Applications, vol. 64, no. 10, pp.
3235–3252, 2012.
[21] Y. Liu and D. O’Regan, “Bifurcation techniques for Lidstone
boundary value problems,” Nonlinear Analysis. Theory, Methods
& Applications, vol. 68, no. 9, pp. 2801–2812, 2008.
[22] Y. Liu and D. O’Regan, “Multiplicity results using bifurcation
techniques for a class of boundary value problems of impulsive
differential equations,” Communications in Nonlinear Science
and Numerical Simulation, vol. 16, no. 4, pp. 1769–1775, 2011.
[23] R. Ma and J. Xu, “Bifurcation from interval and positive
solutions of a nonlinear fourth-order boundary value problem,”
Nonlinear Analysis. Theory, Methods & Applications, vol. 72, no.
1, pp. 113–122, 2010.
[24] J. Xu and R. Ma, “Bifurcation from interval and positive
solutions for second order periodic boundary value problems,”
Applied Mathematics and Computation, vol. 216, no. 8, pp. 2463–
2471, 2010.
[25] K. Deimling, Multivalued Differential Equations, Walter de
Gruyter, Berlin, Germany, 1992.
[26] K. Schmitt and R. C. Thompson, Nonlinear Analysis and Differential Equations: An Introduction, University of Utah Lecture
Note, Salt Lake City, Utah, 2004.
[27] K. Schmitt, “Positive Solutions of Semilinear Elliptic Boundary
Value Problems,” Kluwer, Dordrecht, The Netherlands, 1995.
[28] D. Guo, “Eigen values and eigen vectors of nonlinear operators,”
Chinese Annals of Mathematics, vol. 2, pp. 65–80, 1981.
Abstract and Applied Analysis
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