Skip to content

Advertisement

  • Research
  • Open Access

Multiple solutions of a p-Laplacian model involving a fractional derivative

Advances in Difference Equations20132013:126

https://doi.org/10.1186/1687-1847-2013-126

Received: 17 February 2013

Accepted: 17 April 2013

Published: 2 May 2013

Abstract

In this paper, we study the p-Laplacian model involving the Caputo fractional derivative with Dirichlet-Neumann boundary conditions. Using a fixed point theorem, we prove the existence of at least three solutions of the model. As an application, an example is included to illustrate the main results.

Keywords

  • Banach Space
  • Fractional Derivative
  • Fixed Point Theorem
  • Fractional Differential Equation
  • Caputo Fractional Derivative

1 Introduction

In this paper, we are concerned with the multiple positive solutions of Dirichlet-Neumann boundary value problems for a type of fractional differential equation involving a p-Laplacian operator as the following form:
{ ( φ p ( C D α x ( t ) ) ) = φ p ( λ ) f ( t , x ( t ) , x ( t ) ) , t ( 0 , 1 ) , k 0 x ( 0 ) k 1 x ( 1 ) = 0 , m 0 x ( 0 ) m 1 x ( 1 ) = 0 , x ( r ) ( 0 ) = 0 , r = 2 , 3 , , n ,
(1)

where φ p is the p-Laplacian operator, i.e., φ p ( s ) = | s | p 2 s , p > 1 , and φ q = φ p 1 , 1 p + 1 q = 1 ; D α C is the standard Caputo derivative; 2 n 1 < α n , and n is an integer; 0 < λ R , k i , m i are constants, i = 0 , 1 ; f is a given function.

It is well known that both the fractional differential equations and the p-Laplacian operator equations are widely used in the fields of different physical and natural phenomena, non-Newtonian mechanics, nonlinear elasticity and glaciology, combustion theory, population biology, complex geometry and patterns. Many researchers have extensively studied either the fractional differential equations or the p-Laplacian operator equations, respectively. For details of the theory and applications of the fractional differential equations or the p-Laplacian operator equations, see [115] and the references therein.

The authors of [13] studied the boundary value problem of fractional order
{ D α C u ( t ) = f ( t , u ( t ) , u ( t ) ) , t ( 0 , 1 ) , 1 < α 2 , u ( 0 ) + u ( 0 ) = 0 , u ( 1 ) + u ( 1 ) = 0 .

By means of the Schauder fixed point theorem and an extension of the Krasnosel’skii fixed point theorem in a cone, the existence of positive solutions is obtained.

In [14], the authors investigated the nonlinear boundary value problem of fractional differential equation
{ D α C x ( t ) = f ( t , x ( t ) , x ( t ) ) , t ( 0 , 1 ) , g 0 ( x ( 0 ) , x ( 0 ) ) = 0 , g 1 ( x ( 1 ) , x ( 1 ) ) = 0 , x ( 0 ) = x ( 0 ) = = x ( n ) = 0 .

By means of the Amann theorem and the method of upper and lower solutions, some results on the multiple solutions are obtained.

Liu [15] was concerned with the mixed type multi-point boundary value problem
{ ( φ p ( x ( t ) ) ) = f ( t , x ( t ) , x ( t ) ) , t ( 0 , 1 ) , x ( 0 ) α x ( 0 ) = λ 1 , x ( 1 ) i = 1 m β i x ( ξ i ) = λ 2 ,

the existence of at least three positive solutions of the above mentioned boundary value problem is established.

Recently, a few researchers were devoted to the study of boundary value problems for the fractional differential equations with the p-Laplacian operator equations (see [16, 17]). In [16], some results on the existence and uniqueness of a solution for the following boundary value problem of a fractional differential equation are obtained:
{ ( φ p ( C D α x ( t ) ) ) = f ( t , x ( t ) ) , t ( 0 , 1 ) , x ( 0 ) = r 0 x ( 1 ) , x ( 0 ) = r 1 x ( 1 ) .

Motivated by the above, the purpose of this paper is to establish the existence of multiple positive solutions to boundary value problems for a fractional differential equation involving a p-Laplacian operator (1). If p is an integer, the equation in (1) reduces to a standard nonlinear fractional differential equation. And it will become a standard p-Laplacian operator equation when α is an integer. Therefore, our results in this paper are the promotion and more general case of these two types of problems. By means of the fixed point theorem due to Avery and Peterson, we prove the results that there exist at least three positive solutions of the boundary value problem (1). As an application, an example is included to illustrate the main results.

2 Preliminaries

In this section, we give the definition of a fractional derivative and some lemmas, which will be used later.

Definition 2.1 [18]

Let α > 0 for a function y : ( 0 , + ) R . The fractional integral of order α of y is defined by
I α y ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 y ( s ) d s ,
provided the integral exists. The Caputo derivative of a function y : ( 0 , + ) R is given by
D α C y ( t ) = 1 Γ ( n α ) 0 t y ( n ) ( s ) ( t s ) α + 1 n d s ,

provided the right-hand side is pointwise defined on ( 0 , + ) , where n is an integer, with n = [ α ] + 1 .

Γ denotes the gamma function, that is,
Γ ( α ) = 0 + e t t α 1 d t .

From Definition 2.1, we can obtain the following lemma.

Lemma 2.1 Let 0 < n 1 < α n . If we assume y C n ( 0 , 1 ) L [ 0 , 1 ] , the fractional differential equation
D α C y ( t ) = 0
has a unique solution
y ( t ) = k = 0 n 1 y ( k ) ( 0 ) k ! t k .

Throughout this paper, we always suppose the following condition holds.

(H0) The parameters in the boundary value problem (1) satisfy the following conditions:
2 n 1 < α n , 0 < k 1 < k 0 , 0 < m 1 < m 0 .
Lemma 2.2 Suppose that (H0) holds and h C [ 0 , 1 ] . Then the boundary value problem
{ ( φ p ( C D α x ( t ) ) ) = φ p ( λ ) h ( t ) , t ( 0 , 1 ) , k 0 x ( 0 ) k 1 x ( 1 ) = 0 , m 0 x ( 0 ) m 1 x ( 1 ) = 0 , x ( r ) ( 0 ) = 0 , r = 2 , 3 , , n
(2)
has a unique solution
x ( t ) = m 1 m 0 m 1 λ Γ ( α 1 ) ( k 1 k 0 k 1 + t ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ h ( s ) d s ) d τ + k 1 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ + λ Γ ( α ) 0 t ( t τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ .
(3)

That is, every solution of (2) is also a solution of (3) and vice versa.

Proof The definition of the Caputo derivative implies that D α C x ( 0 ) = 0 , and from (2) we have
φ p ( C D α x ( t ) ) = φ p ( λ ) 0 t h ( s ) d s , and C D α x ( t ) = λ φ q ( 0 t h ( s ) d s ) .
So,
x ( t ) = x ( 0 ) + x ( 0 ) t + x ( 0 ) 2 ! t 2 + + x ( n 1 ) ( 0 ) ( n 1 ) ! t n 1 + I α λ φ q ( 0 t h ( s ) d s ) = x ( 0 ) + x ( 0 ) t + λ Γ ( α ) 0 t ( t τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ .
(4)
By using the property of the fractional derivatives and integrals, we can get
x ( t ) = x ( 0 ) + λ Γ ( α 1 ) 0 t ( t τ ) α 2 φ q ( 0 τ h ( s ) d s ) d τ .
Then
x ( 1 ) = x ( 0 ) + x ( 0 ) + λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ , x ( 1 ) = x ( 0 ) + λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ h ( s ) d s ) d τ .
From the boundary condition k 0 x ( 0 ) k 1 x ( 1 ) = 0 , and m 0 x ( 0 ) m 1 x ( 1 ) = 0 , we can obtain that
(5)
(6)
Substituting (5) and (6) into (4), we can obtain that
x ( t ) = m 1 m 0 m 1 λ Γ ( α 1 ) ( k 1 k 0 k 1 + t ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ h ( s ) d s ) d τ + k 1 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ + λ Γ ( α ) 0 t ( t τ ) α 1 φ q ( 0 τ h ( s ) d s ) d τ .

The proof is completed. □

Let E = C 1 [ 0 , 1 ] , x = max { max t [ 0 , 1 ] | x ( t ) | , max t [ 0 , 1 ] | x ( t ) | } , then ( E , ) is a Banach space. Set
P = { x E | x ( t ) 0 , max t [ 0 , 1 ] | x ( t ) | min { k 0 k 0 k 1 max t [ 0 , 1 ] | x ( t ) | , k 0 k 1 min t [ 0 , 1 ] | x ( t ) | } , x  is monotone increasing and convex on  [ 0 , 1 ] } ,

then P is a cone on E.

Define the operator T : P E by
(7)

It is clear that x C n [ 0 , 1 ] is the solution of the boundary value problem (1) if and only if x E is the fixed point of the operator T.

Lemma 2.3 Suppose that (H0) holds and the function f C ( [ 0 , 1 ] × [ 0 , + ) × R , [ 0 , + ) ) . Then T : P P is completely continuous.

Proof By the definition of the operator T, it is easy to see ( T x ) ( t ) 0 for any t [ 0 , 1 ] . And using the property of the fractional integrals and derivatives, we can get that
( T x ) ( t ) = m 1 m 0 m 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + λ Γ ( α 1 ) 0 t ( t τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ 0 .
And
( T x ) ( t ) = λ Γ ( α 2 ) 0 t ( t τ ) α 3 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ 0 .
Then Tx is nonnegative, monotone increasing and convex on [ 0 , 1 ] . They imply that
max t [ 0 , 1 ] | ( T x ) ( t ) | = max t [ 0 , 1 ] ( T x ) ( t ) = ( T x ) ( 1 ) , max t [ 0 , 1 ] | ( T x ) ( t ) | = max t [ 0 , 1 ] ( T x ) ( t ) = ( T x ) ( 1 ) ,
and
min t [ 0 , 1 ] ( T x ) ( t ) = ( T x ) ( 0 ) , min t [ 0 , 1 ] ( T x ) ( t ) = ( T x ) ( 0 ) .
Therefore
max t [ 0 , 1 ] | ( T x ) ( t ) | = ( T x ) ( 1 ) = k 0 k 1 ( T x ) ( 0 ) = k 0 k 1 min t [ 0 , 1 ] | ( T x ) ( t ) | .
And
max t [ 0 , 1 ] | ( T x ) ( t ) | = ( T x ) ( 1 ) = m 1 m 0 m 1 k 0 k 0 k 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + k 0 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ m 1 m 0 m 1 k 0 k 0 k 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + k 0 k 0 k 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ = k 0 k 0 k 1 m 0 m 0 m 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ = k 0 k 0 k 1 ( T x ) ( 1 ) = k 0 k 0 k 1 max t [ 0 , 1 ] | ( T x ) ( t ) | .
Then
max t [ 0 , 1 ] | ( T x ) ( t ) | min { k 0 k 0 k 1 max t [ 0 , 1 ] | ( T x ) ( t ) | , k 0 k 1 min t [ 0 , 1 ] | ( T x ) ( t ) | } .

Thus, T x P , so T : P P .

It is easy to prove that T is continuous and compact if the conditions of the lemma hold.

The proof is complete. □

For convenience of the readers, we provide some background material from the theory of cones in Banach spaces and the Avery-Peterson fixed point theorem.

Definition 2.2 Let E be a Banach space and let P E be a cone. A continuous map γ is called a concave (resp. convex) functional on P if and only if γ ( t x + ( 1 t ) y ) t γ ( x ) + ( 1 t ) γ ( y ) (resp. γ ( t x + ( 1 t ) y ) t γ ( x ) + ( 1 t ) γ ( y ) ) for all x , y P and 0 < t < 1 .

Let β and ρ be nonnegative continuous convex functionals on a cone P, let ω be a nonnegative continuous concave functional on a cone P, and let ψ be a nonnegative continuous functional on a cone P. Then, for positive real numbers a, b, c and d, we define the following convex sets:
P ( β ; d ) = { x P | β ( x ) < d } , P ¯ ( β ; d ) = { x P | β ( x ) d } ; P ( β , ω ; b , d ) = { x P | β ( x ) d , ω ( x ) b } ; P ( β , ρ , ω ; b , c , d ) = { x P | β ( x ) d , ρ ( x ) c , ω ( x ) b } ; R ( β , ψ ; a , d ) = { x P | β ( x ) d , ψ ( x ) a } .

Lemma 2.4 (Avery-Peterson fixed point theorem [19])

Let P be a cone in a real Banach space E. Let β and ρ be nonnegative continuous convex functionals on P, let ω be a nonnegative continuous concave functional on P, and let ψ be a nonnegative continuous functional on P satisfying ψ ( k x ) k ψ ( x ) for 0 < k < 1 , such that for some positive numbers M and d, ω ( x ) ψ ( x ) and x M β ( x ) for all x P ¯ ( β , d ) .

Suppose that T : P ¯ ( β ; d ) P ¯ ( β ; d ) is completely continuous and there exist positive numbers a, b and c with a < b such that

(A1) { x P ( β , ρ , ω ; b , c , d ) | ω ( x ) > b } ϕ , and ω ( T x ) > b for all x P ( β , ρ , ω ; b , c , d ) ;

(A2) ω ( T x ) > b for all x P ( β , ω ; b , d ) with ρ ( T x ) > c ;

(A3) 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 ; ω ( x 1 ) > b ; ψ ( x 2 ) > a , with ω ( x 2 ) < b ; and ψ ( x 3 ) < a .

3 Multiple positive solutions of the boundary value problems

In this section, we establish the existence of multiple positive solutions of the boundary value problem (1).

Denote
M = k 0 k 0 k 1 , r 0 = k 1 k 0 k 1 Γ ( α + q 1 ) Γ ( α + q ) ,
and
r 1 = ( m 0 m 1 ) Γ ( α + q 1 ) λ m 0 Γ ( q ) , r 2 = ( k 0 k 1 ) ( m 0 m 1 ) Γ ( α + q ) λ k 1 m 0 Γ ( q ) , r 3 = ( k 0 k 1 ) k 0 r 1 .

Then M > 1 , r 0 > 0 , 0 < r 3 < r 1 , and r 2 > 0 if (H0) holds. And r 2 b < r 1 d , r 3 a < r 1 d if 0 < a < b < r 0 d .

Theorem 3.1 Suppose that (H0) holds, there exist constants a, b, c, d such that 0 < a < b < k 1 k 0 c r 0 d < d , and f C ( [ 0 , 1 ] × [ 0 , + ) × R , [ 0 , + ) ) satisfies the following conditions:

(H1) 0 f ( t , u , v ) φ p ( r 1 d ) for any ( t , u , v ) [ 0 , 1 ] × [ 0 , M d ] × [ 0 , d ] ;

(H2) f ( t , u , v ) > φ p ( r 2 b ) for any ( t , u , v ) [ 0 , 1 ] × [ b , c ] × [ 0 , d ] ;

(H3) 0 f ( t , u , v ) φ p ( r 3 a ) for any ( t , u , v ) [ 0 , 1 ] × [ k 1 k 0 a , a ] × [ 0 , d ] .

Then the boundary value problem (1) has at least three positive solutions x 1 , x 2 , x 3 P ¯ ( β ; d ) , and the solutions are increasing and convex on [ 0 , 1 ] . Moreover, for any t [ 0 , 1 ] ,
0 x i ( t ) < d , i = 1 , 2 , 3 ; x 1 ( t ) > b ; max t [ 0 , 1 ] x 2 ( t ) > a , with min t [ 0 , 1 ] x 2 ( t ) < b ; and x 3 ( t ) < a .
Proof Define the nonnegative continuous convex functionals β, ρ and the nonnegative continuous functional ψ, the nonnegative continuous concave functional ω on the cone P by
β ( x ) = max t [ 0 , 1 ] | x ( t ) | , ρ ( x ) = max t [ 0 , 1 ] | x ( t ) | , ψ ( x ) = max t [ 0 , 1 ] | x ( t ) | , and ω ( x ) = min t [ 0 , 1 ] | x ( t ) | .

Obviously, ψ ( k x ) = k ψ ( x ) for any k ( 0 , 1 ) , x P .

Because
ρ ( x ) = max t [ 0 , 1 ] | x ( t ) | k 0 k 0 k 1 max t [ 0 , 1 ] | x ( t ) | = M max t [ 0 , 1 ] | x ( t ) | = M β ( x ) .
Then
x = max { max t [ 0 , 1 ] | x ( t ) | , max t [ 0 , 1 ] | x ( t ) | } = max { ρ ( x ) , β ( x ) } M β ( x ) for  x P .

Following from the proof of Lemma 2.3, we can get that T x P , ( T x ) ( t ) 0 , Tx is increasing and convex on [ 0 , 1 ] .

For any x P ¯ ( β ; d ) implies that x ( t ) 0 , β ( x ) = max t [ 0 , 1 ] | x ( t ) | d , and
ρ ( x ) = max t [ 0 , 1 ] | x ( t ) | M max t [ 0 , 1 ] | x ( t ) | = β ( x ) M β ( x ) M d .
By the condition (H1), we have 0 f ( t , x ( t ) , x ( t ) ) φ p ( r 1 d ) . Hence,
β ( T x ) = max t [ 0 , 1 ] ( T x ) ( t ) = ( T x ) ( 1 ) = m 0 m 0 m 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ m 0 m 0 m 1 λ Γ ( α 1 ) r 1 d 0 1 ( 1 τ ) α 2 τ q 1 d τ = m 0 m 0 m 1 λ Γ ( q ) Γ ( α + q 1 ) r 1 d = d .

Therefore T x P ¯ ( β ; d ) . By Lemma 2.3, T : P ¯ ( β ; d ) P ¯ ( β ; d ) is a completely continuous operator.

Let x 0 = b + c 2 , then ρ ( x 0 ) = x 0 = b + c 2 c , β ( x 0 ) = 0 d , and ω ( x 0 ) = x 0 = b + c 2 > b , so
x 0 { x P ( β , ρ , ω ; b , c , d ) | ω ( x ) > b } ϕ .
For any x P ( β , ρ , ω ; b , c , d ) , it follows from the condition (H2), f ( t , x ( t ) , x ( t ) ) > φ p ( r 2 b ) . By the proof of Lemma 2.3 and (7), we can get
ω ( T x ) = min t [ 0 , 1 ] | ( T x ) ( t ) | = ( T x ) ( 0 ) = m 1 m 0 m 1 λ Γ ( α 1 ) k 1 k 0 k 1 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + k 1 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ > m 1 m 0 m 1 λ Γ ( α ) k 1 k 0 k 1 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + k 1 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ = m 0 m 0 m 1 k 1 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ m 0 m 0 m 1 k 1 k 0 k 1 λ Γ ( α ) r 2 b 0 1 ( 1 τ ) α 1 τ q 1 d τ = m 0 m 0 m 1 k 1 k 1 k 0 λ Γ ( α ) Γ ( α ) Γ ( q ) Γ ( α + q ) r 2 b = b .

Thus, the condition (A1) in the Avery-Peterson theorem is satisfied.

For any x P ( β , ω ; b , d ) with ρ ( T x ) > c , i.e., ρ ( T x ) = max t [ 0 , 1 ] | ( T x ) ( t ) | > c . Then
ω ( T x ) = min t [ 0 , 1 ] | ( T x ) ( t ) | k 1 k 0 max t [ 0 , 1 ] | ( T x ) ( t ) | > k 1 k 0 c > b .

Consequently, the condition (A2) in the Avery-Peterson theorem is satisfied.

It is clear that θ = 0 R ( β , ψ ; a , d ) .

For any x R ( β , ψ ; a , d ) with ψ ( x ) = a , it implies that
β ( x ) = max t [ 0 , 1 ] | x ( t ) | d
and
0 x ( t ) max t [ 0 , 1 ] x ( t ) = ψ ( x ) = a .
It is easy to get that
x ( t ) min t [ 0 , 1 ] x ( t ) k 1 k 0 max t [ 0 , 1 ] x ( t ) = k 1 k 0 a .
It follows from the condition (H3) that
0 f ( t , x ( t ) , x ( t ) ) φ p ( r 3 a ) ,
then we have
ψ ( T x ) = max t [ 0 , 1 ] | ( T x ) ( t ) | = ( T x ) ( 1 ) = m 1 m 0 m 1 k 0 k 0 k 1 λ Γ ( α 1 ) 0 1 ( 1 τ ) α 2 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ + k 0 k 0 k 1 λ Γ ( α ) 0 1 ( 1 τ ) α 1 φ q ( 0 τ f ( s , x ( s ) , x ( s ) ) d s ) d τ < k 0 k 0 k 1 m 0 m 0 m 1 λ Γ ( α 1 ) r 3 a 0 1 ( 1 τ ) α 2 τ q 1 d τ = k 0 k 0 k 1 m 0 m 0 m 1 λ Γ ( q ) Γ ( α + q 1 ) r 3 a = a .

So, the condition (A3) in the Avery-Peterson theorem holds.

Therefore, the conditions in the Avery-Peterson theorem are satisfied, and we can obtain that there exist three positive fixed points x 1 , x 2 , x 3 P ¯ ( β ; d ) for the operator T corresponding to positive solutions to the discrete second-order boundary value problem (1) such that
β ( x i ) < d , i = 1 , 2 , 3 ; ω ( x 1 ) > b ; ψ ( x 2 ) > a , with  ω ( x 2 ) < b ; and ψ ( x 3 ) < a .
By Lemma 2.3, we can get that the solutions are increasing and convex on [ 0 , 1 ] . Hence
0 x i ( t ) < d , i = 1 , 2 , 3 ; x 1 ( t ) > b ; max t [ 0 , 1 ] x 2 ( t ) > a , with  min t [ 0 , 1 ] x 2 ( t ) < b ; and x 3 ( t ) < a .

 □

4 Example

In this section, we give an example to illustrate Theorem 3.1.

Example 4.1 Consider the following Dirichlet-Neumann boundary value problem:
{ ( | C D 7 3 x ( t ) | C D 7 3 x ( t ) ) = f ( t , x ( t ) , x ( t ) ) , t ( 0 , 1 ) , 2 x ( 0 ) x ( 1 ) = 0 , 3 x ( 0 ) x ( 1 ) = 0 , x ( 0 ) = 0 , x ( 0 ) = 0 ,
(8)
where
f ( t , u , v ) = { e t 10 , 000 + ( 35 + 34 u 36 u 2 + 72 u 3 ) ( Γ ( 17 6 ) ) 2 135 π + v 20 , 000 , u [ 0 , 1 ] , e t 10 , 000 + ( 7 , 730 + 10 , 391 u 2 , 919 u 2 + 278 u 3 ) ( Γ ( 17 6 ) ) 2 60 π + v 20 , 000 , u [ 1 , 5 ] , e t 10 , 000 + ( 300 + 45 u u 2 ) ( Γ ( 17 6 ) ) 2 375 , 375 π + v 20 , 000 , u [ 5 , + ) ,
and
p = 3 , q = 3 2 , α = 7 3 , k 0 = 2 , k 1 = 1 , m 0 = 3 , m 1 = 1 , λ = 1 in the boundary value problem (1) .

We choose a = 1 , b = 2 , c = 5 , d = 10 . We can easily get that M = 2 > 1 , r 0 = Γ ( 17 6 ) Γ ( 23 6 ) , r 1 = 4 Γ ( 17 6 ) 3 π , r 2 = 4 Γ ( 23 6 ) 3 π , r 3 = 2 Γ ( 17 6 ) 3 π .

After some calculation, we can check that f ( t , u , v ) satisfies following conditions:
  1. (1)

    0 f ( t , u , v ) < 160 Γ ( 17 / 6 ) 2 π + 1 1 , 000 < φ p ( r 1 d ) = 1 , 600 Γ ( 17 / 6 ) 2 9 π for any ( t , u , v ) [ 0 , 1 ] × [ 0 , M d ] × [ 0 , d ] ;

     
  2. (2)

    f ( t , u , v ) > 60 Γ ( 17 / 6 ) 2 π + 1 1 , 000 > φ p ( r 2 b ) = 64 Γ ( 23 / 6 ) 2 9 π for any ( t , u , v ) [ 0 , 1 ] × [ b , c ] × [ 0 , d ] ;

     
  3. (3)

    0 f ( t , u , v ) < 4 Γ ( 17 / 6 ) 2 9 π + 1 1 , 000 < φ p ( r 3 a ) = Γ ( 17 / 6 ) 2 π for any ( t , u , v ) [ 0 , 1 ] × [ k 1 k 0 a , a ] × [ 0 , d ] .

     

Then all the conditions of Theorem 3.1 hold.

Hence, by Theorem 3.1, the boundary value problem (8) has at least three positive solutions x 1 , x 2 , x 3 such that
0 x i ( t ) < 10 , i = 1 , 2 , 3 ; x 1 ( t ) > 2 ; max t [ 0 , 1 ] x 2 ( t ) > 1 , with  min t [ 0 , 1 ] x 2 ( t ) < 2 ; and x 3 ( t ) < 1 .

Declarations

Acknowledgements

The authors wish to acknowledge the support by the Innovation Program of Shanghai Municipal Education Commission (No. 10ZZ93), and the National Natural Science Foundation of China (No. 11171220).

Authors’ Affiliations

(1)
College of Science, University of Shanghai for Science and Technology, Shanghai, China
(2)
Department of Mathematics, Beijing Institute of Technology, Beijing, China

References

  1. Wang J, Zhou Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal., Real World Appl. 2011, 12: 262–272. 10.1016/j.nonrwa.2010.06.013MathSciNetView ArticleGoogle Scholar
  2. Zhou Y, Jiao F: Existence of mild solutions for fractional neutral evolution equations. Comput. Math. Appl. 2010, 59: 1063–1077. 10.1016/j.camwa.2009.06.026MathSciNetView ArticleGoogle Scholar
  3. Wang J, Zhou Y, Wei W, Xu H: Nonlocal problems for fractional integrodifferential equations via fractional operators and optimal controls. Comput. Math. Appl. 2011, 62: 1427–1441. 10.1016/j.camwa.2011.02.040MathSciNetView ArticleGoogle Scholar
  4. Bai Z: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72: 916–924. 10.1016/j.na.2009.07.033MathSciNetView ArticleGoogle Scholar
  5. Kaufmann E, Yao KD: Existence of solutions for a nonlinear fractional order differential equation. Electron. J. Qual. Theory Differ. Equ. 2009, 71: 1–9.MathSciNetGoogle Scholar
  6. Jia M, Liu X: Three nonnegative solutions for fractional differential equations with integral boundary conditions. Comput. Math. Appl. 2011, 62: 1405–1412. 10.1016/j.camwa.2011.03.026MathSciNetView ArticleGoogle Scholar
  7. Liu X, Jia M, Wu B: Existence and uniqueness of solution for fractional differential equations with integral boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2009, 69: 1–10.MathSciNetGoogle Scholar
  8. Xu Y, He Z: The short memory principle for solving Abel differential equation of fractional order. Comput. Math. Appl. 2011, 62: 4796–4805. 10.1016/j.camwa.2011.10.071MathSciNetView ArticleGoogle Scholar
  9. Agarwal RP, Filippakis M, O’Regan D, Papageorgiou NS: Twin positive solutions for p -Laplacian nonlinear Neumann problems via variational and degree theoretic methods. J. Nonlinear Convex Anal. 2008, 9: 1–23.MathSciNetGoogle Scholar
  10. Cheng Z, Ren J: Periodic solutions for a fourth-order Rayleigh type p -Laplacian delay equation. Nonlinear Anal. 2009, 70: 516–523. 10.1016/j.na.2007.12.023MathSciNetView ArticleGoogle Scholar
  11. Du Z, Lin X, Tisdell CC: A multiplicity result for p -Laplacian boundary value problems via critical points theorem. Appl. Math. Comput. 2008, 205: 231–237. 10.1016/j.amc.2008.07.011MathSciNetView ArticleGoogle Scholar
  12. He Z, Long Z: Three positive solutions of three-point boundary value problems for p -Laplacian dynamic equations on time scales. Nonlinear Anal. 2008, 69: 569–578. 10.1016/j.na.2007.06.001MathSciNetView ArticleGoogle Scholar
  13. Yang X, Wei Z, Dong W: Existence of positive solutions for the boundary value problem of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 85–92. 10.1016/j.cnsns.2011.05.007MathSciNetView ArticleGoogle Scholar
  14. Liu X, Jia M: Multiple solutions for fractional differential equations with nonlinear boundary conditions. Comput. Math. Appl. 2010, 59: 2880–2886. 10.1016/j.camwa.2010.02.005MathSciNetView ArticleGoogle Scholar
  15. Liu Y: Positive solutions of mixed type multi-point non-homogeneous BVPs for p -Laplacian equations. Appl. Math. Comput. 2008, 206: 796–805. 10.1016/j.amc.2008.09.042MathSciNetView ArticleGoogle Scholar
  16. Liu X, Jia M, Xiang X: On the solvability of a fractional differential equation model involving the p -Laplacian operator. Comput. Math. Appl. 2011, 62: 1405–1412. 10.1016/j.camwa.2011.03.026MathSciNetView ArticleGoogle Scholar
  17. Chen T, Liu W, Hu Z: A boundary value problem for fractional differential equation with p -Laplacian operator at resonance. Nonlinear Anal. 2012, 75: 3210–3217. 10.1016/j.na.2011.12.020MathSciNetView ArticleGoogle Scholar
  18. Podlubny I Mathematics in Science and Engineering 198. In Fractional Differential Equations. Academic Press, New York; 1999.Google Scholar
  19. 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

Copyright

© Liu et al.; licensee Springer 2013

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/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement