Open Access

Multiple positive solutions for nonlinear boundary value problem of fractional order differential equation with the Riemann-Liouville derivative

Advances in Difference Equations20142014:284

https://doi.org/10.1186/1687-1847-2014-284

Received: 8 August 2014

Accepted: 24 September 2014

Published: 3 November 2014

Abstract

In this paper, by means of the Avery-Peterson fixed point theorem, we establish the existence result of a multiple positive solution of the boundary value problem for a nonlinear differential equation with Riemann-Liouville fractional order derivative. An example illustrating our main result is given. Our results complement previous work in the area of boundary value problems of nonlinear fractional differential equations (Goodrich in Appl. Math. Lett. 23:1050-1055, 2010).

MSC:26A33, 34B15.

Keywords

fractional differential equation positive solution fixed point cone

1 Introduction

In this paper, we consider the positive solution for the following boundary value problem of the differential equation involving the Riemann-Liouville fractional order derivative:
D 0 + α u ( t ) + f ( t , u ( t ) , D 0 + β u ( t ) ) = 0 , t ( 0 , 1 ) ,
(1.1)
u ( i ) ( 0 ) = 0 , 0 i n 2 ,
(1.2)
[ D 0 + δ u ( t ) ] t = 1 = 0 , 1 δ n 2 ,
(1.3)

where n 1 < α n , n > 3 , n N + , 0 < β 1 and f C ( [ 0 , 1 ] × R + × R , R + ) .

Due to the development of the theory of fractional calculus and its applications, such as in the fields of physics, Bode’s analysis of feedback amplifiers, aerodynamics and polymer rheology, etc., many works on the basic theory of fractional calculus and fractional order differential equations have been published [17]. Recently, there have been many papers dealing with the solutions or positive solutions of boundary value problems for nonlinear fractional differential equations (FBVPs); see [827] and references along this line.

For example, Bai and Lü [12] considered the following Dirichlet boundary value problem of fractional differential equation:
D 0 + α u ( t ) + f ( t , u ( t ) ) = 0 , t ( 0 , 1 ) , u ( 0 ) = 0 = u ( 1 ) , 1 < α 2 .
(1.4)

By means of some fixed point theorems on cone, existence and multiplicity results of positive solutions were obtained. Furthermore, Bai and Lü proved that the Green’s function of problem (1.4) did not satisfy a Harnack-like inequality, which is a crucial property when seeking the existence of positive solutions by means of cone theory. Jiang and Yuan [18] discussed some new positive properties of the Green’s function for problem (1.4) and established the existence results of positive solution. The results were established by using the fixed point theorem on a cone due to Krasnoselskii. Recently, Caballero et al. [19] obtained the existence and uniqueness of positive solution for problem (1.4) where the nonlinear term f may be singular at t = 0 . There are also a few papers dealing with the solutions and positive solutions for nonlocal FBVPs; see [2228].

In a very recent paper, Goodrich [27] considered a class of fractional boundary value problem of the form
D 0 + α u ( t ) + f ( t , u ( t ) ) = 0 , t ( 0 , 1 ) ,
(1.5)
u ( i ) ( 0 ) = 0 , 0 i n 2 ,
(1.6)
[ D 0 + δ u ( t ) ] t = 1 = 0 , 1 δ n 2 ,
(1.7)

where n 1 < α n , n N + and f C ( [ 0 , 1 ] × R + , R + ) and D 0 + α is the standard Riemann-Liouville fractional derivative of order α. The author obtained the Green’s function of this problem and proved that the Green’s function satisfied a Harnack-like inequality. By using a fixed point theorem due to Krasnoselskii, the author established the existence of at least one positive solution of problem (1.5)-(1.7).

Problem (1.1)-(1.3) is of interest because it generalizes many problems in real model and have received much attention in recent years. For example, for α = 4 , problem (1.1)-(1.3) may be applied to the description of the deformation of beam and has been studied with a variety of boundary conditions and nonlinearities; see, for example, [28, 29] and references therein.

However, in these works, the existence results of positive solutions for FBVPs were all established under the assumption that the derivative of the unknown function u ( t ) was not involved in the nonlinear term explicitly. To the best of our knowledge, few papers can be found in the literature for a positive solution of FBVPs where the derivative of the unknown function u ( t ) is involved in the nonlinear term. The main purpose of this paper is to fill this gap.

In [30], Avery and Peterson gave a new triple fixed point theorem, which can be regarded as an extension of the Leggett-Williams fixed point theorem. By using this method, many results concerning the existence of at least three positive solutions of boundary value problems of differential equation with integer order were established; see [3136]. For example, by using the Avery-Peterson fixed point theorem, Yang et al. [31] established the existence of at least three positive solutions of the second-order multi-point boundary value problem
u + f ( t , u ( t ) , u ( t ) ) = 0 , t [ 0 , 1 ] , u ( 0 ) = i = 1 m 2 β i u ( ξ i ) , u ( 1 ) = i = 1 m 2 α i u ( ξ i ) ,
(1.8)
where
0 < α i < 1 , 0 < β i < 1 , 0 < ξ i < 1 , i = 1 , 2 , , m 2 , i = 1 m 2 α i < 1 , i = 1 m 2 β i < 1 .

Though the Avery-Peterson fixed point theorem is a classical tool in seeking the multiple positive solutions of BVPs of nonlinear differential equations of integer order, it cannot be used directly to investigate the existence of positive solutions of BVPs of nonlinear differential equations of fractional order. The main reason is that we cannot derive the concavity or convexity of the function u ( t ) by the sign of its fractional order derivative. In this paper, by obtaining some new inequalities of the unknown function and defining a special cone, we overcome the difficulties brought about by the lack of the concavity or convexity of the unknown function. By an application of the Avery-Peterson fixed point theorem, the existence of at least three positive solutions of problem (1.1)-(1.3) is established. An example is given to illustrate the main results of this paper.

2 Preliminaries

Definition 2.1 The Riemann-Liouville fractional integral of order α > 0 of a function u ( t ) is given by
I 0 + α u ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 u ( s ) d s

provided the right side is point-wise defined on ( 0 , ) .

Definition 2.2 The Riemann-Liouville fractional derivative of order α > 0 of a continuous function u ( t ) is given by
D 0 + α u ( t ) = 1 Γ ( n α ) ( d d t ) n 0 t u ( s ) ( t s ) α n + 1 d s ,

where n = [ α ] + 1 , provided that the right side is point-wise defined on ( 0 , ) .

For example, for λ > 1 , we have
D 0 + α t λ = Γ ( 1 + λ ) Γ ( 1 + λ α ) t λ α .
Lemma 2.1 Let α > 0 . The fractional differential equation D 0 + α u ( t ) = 0 has the solution
u ( t ) = C 1 t α 1 + C 2 t α 2 + + C n t α n

for some C i R , i = 1 , 2 , , n , where n is the smallest integer greater than or equal to α.

Lemma 2.2 Assume that u ( t ) with a fractional derivative of order α > 0 . Then
I 0 + α D 0 + α u ( t ) = u ( t ) + C 1 t α 1 + C 2 t α 2 + + C n t α n

for some C i R , i = 1 , 2 , , n .

Lemma 2.3 Let α > 0 , β > 0 and f L p ( 0 , 1 ) ( 1 p ), then the following equation:
I α I β f ( t ) = I α + β f ( t )

holds almost everywhere on [ 0 , 1 ] .

Definition 2.3 Let E be a real Banach space over . A nonempty convex closed set P E is said to be a cone provided that:
  1. (1)

    a u P , for all u P , a 0 ;

     
  2. (2)

    u , u P implies u = 0 .

     
Definition 2.4 The map φ is said to be a nonnegative continuous convex functional on cone a P of a real Banach space E provided that φ : P [ 0 , + ) is continuous and
φ ( t x + ( 1 t ) y ) t φ ( x ) + ( 1 t ) φ ( y ) , x , y P , t [ 0 , 1 ] .
Definition 2.5 The map ϕ is said to be a nonnegative continuous concave functional on cone P of a real Banach space E provided that ϕ : P [ 0 , + ) is continuous and
ϕ ( t x + ( 1 t ) y ) t ϕ ( x ) + ( 1 t ) ϕ ( y ) , x , y P , t [ 0 , 1 ] .
Let γ, θ be nonnegative continuous convex functionals on P, φ be a nonnegative continuous concave functional on P and ψ be a nonnegative continuous functional on P. Then for positive numbers a, b, c, and d, we define the following convex sets:
P ( γ , d ) = { x P γ ( x ) < d } , P ( γ , φ , b , d ) = { x P b α ( x ) , γ ( x ) d } , P ( γ , θ , φ , b , c , d ) = { x P b φ ( x ) , θ ( x ) c , γ ( x ) d } ,
and a closed set
R ( γ , ψ , a , d ) = { x P a ψ ( x ) , γ ( x ) d } .

Lemma 2.4 ([30])

Let P be a cone in Banach space E. Let γ, θ be nonnegative continuous convex functionals on P, φ be a nonnegative continuous concave functional on P, and ψ be a nonnegative continuous functional on P satisfying
ψ ( λ x ) λ ψ ( x ) for  0 λ 1 ,
(2.1)
such that for some positive numbers l and d,
φ ( x ) ψ ( x ) , x l γ ( x )
(2.2)

for all x P ( γ , d ) ¯ . Suppose T : P ( γ , d ) ¯ P ( γ , d ) ¯ is completely continuous and there exist positive numbers a, b, c with a < b such that

(S1) { x P ( γ , θ , φ , b , c , d ) φ ( x ) > b } and α ( T x ) > b for x P ( γ , θ , φ , b , c , d ) ;

(S2) φ ( T x ) > b for x P ( γ , φ , b , d ) with θ ( T x ) > c ;

(S3) 0 R ( γ , ψ , a , d ) and ψ ( T x ) < a for x R ( γ , ψ , a , d ) with ψ ( x ) = a .

Then T has at least three fixed points x 1 , x 2 , x 3 P ( γ , d ) ¯ such that
γ ( x i ) d , i = 1 , 2 , 3 ; b < φ ( x 1 ) ; a < ψ ( x 2 ) , α ( x 2 ) < b ; ψ ( x 3 ) < a .
(2.3)

3 Main results

Lemma 3.1 ([27])

Given y ( t ) C [ 0 , 1 ] . Then the following FBVPs:
D 0 + α u ( t ) + y ( t ) = 0 , t ( 0 , 1 ) ,
(3.1)
u ( i ) ( 0 ) = 0 , 0 i n 2 ,
(3.2)
[ D 0 + δ u ( t ) ] t = 1 = 0 , 1 δ n 2 ,
(3.3)
are equivalent to the operator equation
u ( t ) = 0 1 G ( t , s ) y ( s ) d s ,
where
G ( t , s ) = { t α 1 ( 1 s ) α δ 1 ( t s ) α 1 Γ ( α ) , 0 s t 1 , t α 1 ( 1 s ) α δ 1 Γ ( α ) , 0 t s 1 .

Lemma 3.2 ([27])

Let G ( t , s ) be given as in the statement of Lemma  3.1. Then we find that:
  1. (1)

    G ( t , s ) is a continuous function on the unit square [ 0 , 1 ] × [ 0 , 1 ] .

     
  2. (2)

    G ( t , s ) 0 for each ( t , s ) [ 0 , 1 ] × [ 0 , 1 ] .

     
  3. (3)

    max t [ 0 , 1 ] G ( t , s ) = G ( 1 , s ) for each s [ 0 , 1 ] .

     
  4. (4)
    There is a positive constant γ 0 ( 0 , 1 ) such that
    min t [ 1 2 , 1 ] G ( t , s ) γ 0 G ( 1 , s ) , 0 < s < 1 ,
     
where
γ 0 : = min { 1 ( 2 δ 1 ) 2 α δ 1 , 1 2 α 1 } > 0 .
Lemma 3.3 Given y ( t ) C [ 0 , 1 ] . Assume that u ( t ) is a solution of problem (3.1)-(3.3), then
( D 0 + β u ) ( t ) = 1 Γ ( α β ) 0 t ( t s ) α β 1 y ( s ) d s + t α β 1 Γ ( α β ) 0 1 ( 1 s ) α δ 1 y ( s ) d s .
Lemma 3.4 Assume that y ( t ) > 0 and u ( t ) is a solution of problem (3.1)-(3.3). Then there exists a positive constant γ 1 such that
max 0 t 1 | u ( t ) | γ 1 max 0 t 1 D β | u ( t ) | ,

where γ 1 = δ Γ ( α β ) ( δ β ) Γ ( α ) > 0 .

Proof From Lemmas 3.1-3.3, we have
max 0 t 1 | u ( t ) | = 0 1 G ( 1 , s ) y ( s ) d s = 0 1 ( 1 s ) α δ 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s , max 0 t 1 | D 0 + β u ( t ) | | D 0 + β u ( 1 ) | = 0 1 ( 1 s ) α δ 1 ( 1 s ) α β 1 Γ ( α β ) y ( s ) d s .
Let
h ( s ) = Γ ( α β ) Γ ( α ) ( 1 s ) α δ 1 ( 1 s ) α 1 ( 1 s ) α δ 1 ( 1 s ) α β 1 , 0 < s < 1 .
We can check that h ( s ) is positive and strictly decreasing on ( 0 , 1 ) . Furthermore,
lim s 0 + h ( s ) = δ Γ ( α β ) ( δ β ) Γ ( α ) = γ 1 .
Then
h ( s ) γ 1 , s ( 0 , 1 ) .
Thus,
max 0 t 1 | u ( t ) | = 0 1 ( 1 s ) α δ 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s 0 1 γ 1 ( 1 s ) α δ 1 ( 1 s ) α β 1 Γ ( α β ) y ( s ) d s γ 1 max 0 t 1 | D 0 + β u ( t ) | .

 □

Let the space X = { u C [ 0 , 1 ] , D 0 + β u ( t ) C [ 0 , 1 ] } be endowed with the norm
u : = max { max 0 t 1 | u ( t ) | , max 0 t 1 | D 0 + β u ( t ) | } .
It is well known that X is a Banach space [37]. Define the cone K X by
K = { u X : u ( t ) 0 , min t [ 1 2 , 1 ] u ( t ) γ 0 max 0 t 1 u ( t ) , max 0 t 1 | u ( t ) | γ 1 max 0 t 1 D 0 + β | u ( t ) | } .
Lemma 3.5 Let T : K X be the operator defined by
T u ( t ) : = 0 1 G ( t , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s .

Then T : K K is completely continuous.

Proof The operator T : K X is continuous in view of the nonnegativity and continuity of the functions G ( t , s ) and f ( t , u ( t ) , D 0 + β u ( t ) ) . Let Ω K be bounded. Then there exists a positive constant R 1 > 0 such that u R 1 , u Ω . Denote
R = sup 0 t 1 , u Ω | f ( t , u ( t ) , D 0 + β u ( t ) ) | + 1 .
Then for u Ω , we have
| T u | 0 1 G ( t , s ) | f ( s , u ( s ) , D 0 + β u ( s ) ) | d s | T u | R 0 1 G ( 1 , s ) d s = δ R Γ ( α + 1 ) ( α δ ) , | D 0 + β ( T u ) ( t ) | = | 1 Γ ( α β ) 0 t ( t s ) α β 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s | D 0 + β ( T u ) ( t ) | = + t α β 1 Γ ( α β ) 0 1 ( 1 s ) α δ 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s | | D 0 + β ( T u ) ( t ) | R Γ ( α β ) ( 1 α β + 1 α δ ) .
Hence T ( Ω ) is bounded. For u Ω , t 1 , t 2 [ 0 , 1 ] , one has
| T u ( t 2 ) T u ( t 1 ) | | t 2 α 1 t 1 α 1 | Γ ( α ) 0 1 ( 1 s ) α δ 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s + | 1 Γ ( α ) ( 0 t 2 ( t 2 s ) α 1 f ( s , u , D 0 + β u ) d s 0 t 1 ( t 1 s ) α 1 f ( s , u , D 0 + β u ) d s ) | [ | t 2 α 1 t 1 α 1 | Γ ( α ) ( α δ ) + | t 2 α t 1 α | Γ ( α + 1 ) ] × R , | D 0 + β ( T u ( t 2 ) ) D 0 + β ( T u ( t 1 ) ) | | 1 Γ ( α β ) ( 0 t 1 ( t 1 s ) α β 1 f ( s , u , D 0 + β u ) d s 0 t 2 ( t 2 s ) α β 1 f 1 ( s , u , D 0 + β u ) d s ) | + | t 2 α β 1 t 1 α β 1 Γ ( α β ) 0 1 ( 1 s ) α δ 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s | R Γ ( α β ) | t 2 α β t 1 α β | α β + R Γ ( α β ) | t 2 α β 1 t 1 α β 1 | α δ .
Thus,
T u ( t 2 ) T u ( t 1 ) 0 for  t 1 t 2 , u Ω .
By means of the Arzela-Ascoli theorem, we claim that T is completely continuous. Finally, we see that
min 1 / 2 t 1 | T u ( t ) | γ 0 0 1 G ( 1 , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s min 1 / 2 t 1 | T u ( t ) | = γ 0 max 0 t 1 0 1 G ( t , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s min 1 / 2 t 1 | T u ( t ) | = γ 0 max 0 t 1 ( T u ) ( t ) , max 0 t 1 | T u ( t ) | = 0 1 ( 1 s ) α δ 1 ( 1 s ) α 1 Γ ( α ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s max 0 t 1 | T u ( t ) | 0 1 γ 1 ( 1 s ) α δ 1 ( 1 s ) α β 1 Γ ( α β ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s max 0 t 1 | T u ( t ) | γ 1 max 0 t 1 | D 0 + β ( T u ) ( t ) | .

Thus, we show that T : K K is a completely continuous operator. □

Let the nonnegative continuous concave functional φ, the nonnegative continuous convex functionals γ, θ and the nonnegative continuous functional ψ be defined on the cone by
γ ( u ) = max 0 t 1 | D 0 + β u ( t ) | , θ ( u ) = ψ ( u ) = max 0 t 1 | u ( t ) | , φ ( u ) = min 1 2 t 1 | u ( t ) | .
By Lemmas 3.3 and 3.4, the functionals defined above satisfy
γ 0 θ ( u ) φ ( u ) θ ( u ) = ψ ( u ) , u γ 2 γ ( u ) , u P ,

where γ 2 = max { γ 1 , 1 } . Therefore condition (2.2) of Lemma 2.4 is satisfied.

Assume that there exist constants 0 < a , b , d with a < b < d , c = b γ 0 and
Γ ( α + 1 ) ( 2 α δ β ) b < γ 0 δ Γ ( α β ) ( α β ) d
such that
( A 1 ) f ( t , u , v ) Γ ( α β ) ( α β ) ( α δ ) 2 α δ β d , ( t , u , v ) [ 0 , 1 ] × [ 0 , γ 2 d ] × [ d , d ] ; ( A 2 ) f ( t , u , v ) > Γ ( α + 1 ) ( α δ ) γ 0 δ b , ( t , u , v ) [ 0 , 1 ] × [ b , b γ 0 ] × [ d , d ] ; ( A 3 ) f ( t , u , v ) < Γ ( α + 1 ) ( α δ ) δ a , ( t , u , v ) [ 0 , 1 ] × [ 0 , a ] × [ d , d ] .
Theorem 3.1 Under assumptions (A1)-(A3), problem (1.1)-(1.3) has at least three positive solutions u 1 , u 2 , u 3 satisfying
max 0 t 1 | D 0 + β u ( t ) | d , i = 1 , 2 , 3 ; b < min 1 / 2 t 1 | u 1 ( t ) | , a < max 0 t 1 | u 2 ( t ) | ; min 1 / 2 t 1 | u 2 ( t ) | < b , max 0 t 1 | u 3 ( t ) | a .
Proof Problem (1.1)-(1.3) has a solution u = u ( t ) if and only if u solves the operator equation
u ( t ) = 0 1 G ( t , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s = ( T u ) ( t ) .
For u P ( γ , d ) ¯ , we have γ ( u ) = max 0 t 1 | D 0 + β u ( t ) | < d . From assumption (A1), we obtain
f ( t , u ( t ) , D 0 + β u ( t ) ) Γ ( α β ) ( α β ) ( α δ ) 2 α δ β d .
Thus,
γ ( T u ) = max 0 t 1 | 1 Γ ( α β ) 0 t ( t s ) α β 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s + t α β 1 Γ ( α β ) 0 1 ( 1 s ) α δ 1 f ( s , u ( s ) , D 0 + β u ( s ) ) d s | [ 1 Γ ( α β ) 1 α β + 1 Γ ( α β ) 1 α δ ] × Γ ( α β ) ( α β ) ( α δ ) 2 α δ β d = d .

Hence, T : P ( γ , d ) ¯ P ( γ , d ) ¯ .

The facts that the constant function u ( t ) = b γ 0 P ( γ , θ , φ , b , c , d ) and φ ( b γ 0 ) > b imply that { u P ( γ , θ , φ , b , c , d φ ( u ) > b ) } . For u P ( γ , θ , φ , b , c , d ) , we have b u ( t ) b γ 0 and | D 0 + β u ( t ) | < d for 1 2 t 1 . From assumption (A2), we see
f ( t , u , v ) > Γ ( α + 1 ) ( α δ ) γ 0 δ b .
Thus,
φ ( T u ) γ 0 max 0 t 1 | 0 1 G ( t , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s | 0 1 γ 0 G ( 1 , s ) d s × Γ ( α + 1 ) ( α δ ) γ 0 δ b = b ,
which means φ ( T u ) > b , u P ( γ , θ , φ , b , b γ 0 , d ) . These ensure that condition (S1) of Lemma 2.4 is satisfied. Secondly, for all u P ( γ , φ , b , d ) with θ ( T u ) > b γ 0 ,
φ ( T u ) γ 0 θ ( T u ) > γ 0 × c = γ 0 × b γ 0 = b .
Thus, condition (S2) of Lemma 2.4 holds. Finally we show that (S3) also holds. We see that ψ ( 0 ) = 0 < a and 0 R ( γ , ψ , a , d ) . Suppose that u R ( γ , ψ , a , d ) with ψ ( x ) = a . Then by assumption (A3),
ψ ( T u ) = max 0 t 1 | 0 1 G ( t , s ) f ( s , u ( s ) , D 0 + β u ( s ) ) d s | 0 1 G ( 1 , s ) d s × Γ ( α + 1 ) ( α δ ) δ a = a .
Thus, all conditions of Lemma 2.4 are satisfied. Hence problem (1.1)-(1.2) has at least three positive solutions u 1 , u 2 , u 3 satisfying
max 0 t 1 | D 0 + β u ( t ) | d , i = 1 , 2 , 3 ; b < min 1 / 2 t 1 | u 1 ( t ) | , a < max 0 t 1 | u 2 ( t ) | ; min 1 / 2 t 1 | u 2 ( t ) | < b , max 0 t 1 | u 3 ( t ) | a .

 □

4 Example

Consider the nonlinear FBVPs
D 0 + α u ( t ) + f ( t , u ( t ) , D 0 + β u ( t ) ) = 0 , t ( 0 , 1 ) ,
(4.1)
u ( 0 ) = u ( 0 ) = u ( 0 ) = 0 , [ D 0 + δ u ( t ) ] t = 1 = 0 ,
(4.2)
where α = 3.6 , δ = 1.5 , β = 0.7 , n = 4 , and
f ( t , u , v ) = { 1 π 4 e t + 5 u 4 + 1 100 sin ( v 10 , 000 ) , 0 u 7 , 1 π 4 e t + 12 , 005 + 1 100 sin ( v 10 , 000 ) , u > 7 .
Choose a = 1 , b = 3 , d = 10 , 000 . By a simple computation, we obtain
γ 0 = ( 1 2 ) 2.6 , γ 1 = 1.5 Γ ( 2.9 ) 0.8 Γ ( 3.6 ) 0.9218 , γ 2 = 1 , Γ ( α + 1 ) ( α δ ) δ a 18.7338 , Γ ( α + 1 ) ( α δ ) γ 0 δ b 340.7416 , Γ ( α β ) ( α β ) ( α δ ) 2 α δ β d 22 , 257 .
We can check that the nonlinear term f ( t , u , v ) satisfies
( 1 ) f ( t , u , v ) < Γ ( α β ) ( α β ) ( α δ ) 2 α δ β d , ( t , u , v ) [ 0 , 1 ] × [ 0 , 10 , 000 ] × [ 10 , 000 , 10 , 000 ] ; ( 2 ) f ( t , u , v ) > Γ ( α + 1 ) ( α δ ) γ 0 δ b , ( t , u , v ) [ 1 2 , 1 ] × [ 3 , 3 × 2 2.6 ] × [ 10 , 000 , 10 , 000 ] ; ( 3 ) f ( t , u , v ) < Γ ( α + 1 ) ( α δ ) δ a , ( t , u , v ) [ 0 , 1 ] × [ 0 , 1 ] × [ 10 , 000 , 10 , 000 ] .
Then all assumptions of Theorem 3.1 are satisfied. Thus problem (4.1)-(4.2) has at least three positive solutions u 1 ( t ) , u 2 ( t ) , u 3 ( t ) satisfying
max 0 t 1 | D 0 + β u ( t ) | 10 , 000 , i = 1 , 2 , 3 ; 3 < min 1 / 2 t 1 | u 1 ( t ) | , 1 < max 0 t 1 | u 2 ( t ) | ; min 1 / 2 t 1 | u 2 ( t ) | < 3 , max 0 t 1 | u 3 ( t ) | 1 .

Remark We see that the fractional derivative of function u ( t ) of order β is involved in the nonlinear term of problem (4.1)-(4.2) explicitly. The early results for positive solutions of FBVPs, to the best of our knowledge, are not applicable to this problem. Our results complement some previous works in the area of FBVPs, such as those due to Goodrich [27].

Declarations

Acknowledgements

The work is sponsored by the NSFC (11201109), Anhui Provincial Natural Science Foundation (1408085QA07) and the Higher School Natural Science Project of Anhui Province (KJ2012B144, KJ2012Z335).

Authors’ Affiliations

(1)
Department of Mathematics, Hefei Normal University

References

  1. Delbosco D: Fractional calculus and function spaces. J. Fract. Calc. 1994, 6: 45-53.MathSciNetGoogle Scholar
  2. Miller KS, Ross B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.Google Scholar
  3. Lakshmikantham V, Leela S: Theory of fractional differential inequalities and applications. Commun. Appl. Anal. 2007, 11: 395-402.MathSciNetGoogle Scholar
  4. Lakshmikantham V, Devi J: Theory of fractional differential equations in a Banach space. Eur. J. Pure Appl. Math. 2008, 1: 38-45.MathSciNetGoogle Scholar
  5. Lakshmikantham V, Leela S: Nagumo-type uniqueness result for fractional differential equations. Nonlinear Anal. TMA 2009, 71: 2886-2889. 10.1016/j.na.2009.01.169MathSciNetView ArticleGoogle Scholar
  6. Lakshmikantham V, Leela S: A Krasnoselskii-Krein-type uniqueness result for fractional differential equations. Nonlinear Anal. TMA 2009, 71: 3421-3424. 10.1016/j.na.2009.02.008MathSciNetView ArticleGoogle Scholar
  7. Lakshmikantham V: Theory of fractional differential equations. Nonlinear Anal. TMA 2008, 69: 3337-3343. 10.1016/j.na.2007.09.025MathSciNetView ArticleGoogle Scholar
  8. Yu C, Gao G: Existence of fractional differential equations. J. Math. Anal. Appl. 2005, 310: 26-29. 10.1016/j.jmaa.2004.12.015MathSciNetView ArticleGoogle Scholar
  9. Zhang S: The existence of a positive solution for a nonlinear fractional differential equation. J. Math. Anal. Appl. 2000, 252: 804-812. 10.1006/jmaa.2000.7123MathSciNetView ArticleGoogle Scholar
  10. Zhang S: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput. Math. Appl. 2010, 59: 1300-1309. 10.1016/j.camwa.2009.06.034MathSciNetView ArticleGoogle Scholar
  11. Babakhani A, Gejji VD: Existence and positive solutions of nonlinear fractional differential equations. J. Math. Anal. Appl. 2003, 278: 434-442. 10.1016/S0022-247X(02)00716-3MathSciNetView ArticleGoogle Scholar
  12. Bai Z, Lü H: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311: 495-505. 10.1016/j.jmaa.2005.02.052MathSciNetView ArticleGoogle Scholar
  13. Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006., 2006: Article ID 36Google Scholar
  14. Xu XJ, Jiang DQ, Yuan CJ: Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equations. Nonlinear Anal. TMA 2009, 71: 4676-4688. 10.1016/j.na.2009.03.030MathSciNetView ArticleGoogle Scholar
  15. Su X: Boundary value problem for a coupled system of nonlinear fractional differential equations. Appl. Math. Lett. 2009, 22: 64-69. 10.1016/j.aml.2008.03.001MathSciNetView ArticleGoogle Scholar
  16. Liang S, Zhang J: Positive solutions for boundary value problems of nonlinear fractional differential equation. Nonlinear Anal. TMA 2009, 71: 5545-5550. 10.1016/j.na.2009.04.045MathSciNetView ArticleGoogle Scholar
  17. Agarwal RP, O’Regan D, Staněk S: Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 2010, 371: 57-68. 10.1016/j.jmaa.2010.04.034MathSciNetView ArticleGoogle Scholar
  18. Jiang D, Yuan C: The positive properties of the Green function for Dirichlet-type boundary value problems of nonlinear fractional differential equations and its application. Nonlinear Anal. 2010, 15: 710-719.MathSciNetView ArticleGoogle Scholar
  19. Caballero J, Harjani J, Sadarangani K: Positive solutions for a class of singular fractional boundary value problems. Comput. Math. Appl. 2011, 62: 1325-1332. 10.1016/j.camwa.2011.04.013MathSciNetView ArticleGoogle Scholar
  20. Ahmad B, Nieto J: Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions. Comput. Math. Appl. 2009, 58: 1838-1843. 10.1016/j.camwa.2009.07.091MathSciNetView ArticleGoogle Scholar
  21. Bai Z: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. TMA 2010, 72: 916-924. 10.1016/j.na.2009.07.033View ArticleGoogle Scholar
  22. Ahmad B, Sivasundaram S: On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order. Appl. Math. Comput. 2010, 217: 480-487. 10.1016/j.amc.2010.05.080MathSciNetView ArticleGoogle Scholar
  23. Li C, Luo X, Zhou Y: Existence of positive solutions of the boundary value problem for nonlinear fractional differential equations. Comput. Math. Appl. 2010, 59: 1363-1375. 10.1016/j.camwa.2009.06.029MathSciNetView ArticleGoogle Scholar
  24. Wang Y, Liu L, Wu Y: Positive solutions for a nonlocal fractional differential equation. Nonlinear Anal. TMA 2011, 74: 3599-3605. 10.1016/j.na.2011.02.043MathSciNetView ArticleGoogle Scholar
  25. Salem H: On the fractional calculus in abstract spaces and their applications to the Dirichlet-type problem of fractional order. Comput. Math. Appl. 2010, 59: 1278-1293. 10.1016/j.camwa.2009.06.025MathSciNetView ArticleGoogle Scholar
  26. Rehman M, Khan R: Existence and uniqueness of solutions for multi-point boundary value problems for fractional differential equations. Appl. Math. Lett. 2010, 23: 1038-1044. 10.1016/j.aml.2010.04.033MathSciNetView ArticleGoogle Scholar
  27. Goodrich C: Existence of a positive solution to a class of fractional differential equations. Appl. Math. Lett. 2010, 23: 1050-1055. 10.1016/j.aml.2010.04.035MathSciNetView ArticleGoogle Scholar
  28. Graef J, Yang B: Positive solutions of a nonlinear fourth order boundary value problem. Commun. Appl. Nonlinear Anal. 2007, 14: 61-73.MathSciNetGoogle Scholar
  29. Ma R, Xu L: Existence of positive solutions of a nonlinear fourth order boundary value problem. Appl. Math. Lett. 2010, 23: 537-543. 10.1016/j.aml.2010.01.007MathSciNetView ArticleGoogle Scholar
  30. Avery RI, Peterson AC: Three positive fixed points of nonlinear operators on ordered Banach spaces. Comput. Math. Appl. 2001, 42: 313-322. 10.1016/S0898-1221(01)00156-0MathSciNetView ArticleGoogle Scholar
  31. Yang L, Liu X, Jia M: Multiplicity results for second-order m -point boundary value problem. J. Math. Anal. Appl. 2006, 324: 532-542. 10.1016/j.jmaa.2005.07.084MathSciNetView ArticleGoogle Scholar
  32. Lian H, Pang H, Ge W: Triple positive solutions for boundary value problems on infinite intervals. Nonlinear Anal. TMA 2007, 67: 2199-2207. 10.1016/j.na.2006.09.016MathSciNetView ArticleGoogle Scholar
  33. Kosmatov N: Symmetric solutions of a multi-point boundary value problem. J. Math. Anal. Appl. 2005, 309: 25-36. 10.1016/j.jmaa.2004.11.008MathSciNetView ArticleGoogle Scholar
  34. Pang H, Lian H, Ge W: Multiple positive solutions for second-order four-point boundary value problem. Comput. Math. Appl. 2007, 54: 1267-1275. 10.1016/j.camwa.2007.03.014MathSciNetView ArticleGoogle Scholar
  35. Shu X, Xu Y: Triple positive solutions for a class of boundary value problem of second-order functional differential equations. Nonlinear Anal. TMA 2005, 61: 1401-1411. 10.1016/j.na.2005.02.031MathSciNetView ArticleGoogle Scholar
  36. Feng H, Ge W: Existence of three positive solutions for m -point boundary-value problems with one-dimensional p -Laplacian. Nonlinear Anal. TMA 2008, 68: 2017-2026. 10.1016/j.na.2007.01.029MathSciNetView ArticleGoogle Scholar
  37. Su X, Liu L: Existence of solution for boundary value problem of nonlinear fractional differential equation. Appl. Math. J. Chin. Univ. Ser. B 2007, 22: 291-298. 10.1007/s11766-007-0306-2MathSciNetView ArticleGoogle Scholar

Copyright

© Yang et al.; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.