Skip to content

Advertisement

Open Access

Separated boundary value problem for fractional differential equations depending on lower-order derivative

Advances in Difference Equations20132013:78

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

Received: 17 September 2012

Accepted: 11 March 2013

Published: 27 March 2013

Abstract

We study a new class of boundary value problems of nonlinear fractional differential equations whose nonlinear term depends on a lower-order fractional derivative with fractional separated boundary conditions. Some existence and uniqueness results are obtained by using standard fixed point theorems. Examples are given to illustrate the results.

Keywords

fractional differential equationsfractional separated boundary conditionsfixed point theoremsexistence

1 Introduction

In this paper, we study the existence and uniqueness of solutions for a class of fractional differential equations whose nonlinear term f depends on the lower-order fractional derivative of the unknown function x ( t ) with the fractional separated boundary conditions given by
{ D α c x ( t ) = f ( t , x ( t ) , c D β x ( t ) ) , t [ 0 , T ] , 1 < α 2 , 0 < β 1 , a 1 x ( 0 ) + b 1 ( c D γ x ( 0 ) ) = c 1 , a 2 x ( T ) + b 2 ( c D γ x ( T ) ) = c 2 , 0 < γ < 1 ,
(1)

where D q c denotes the Caputo fractional derivative of order q, f is a continuous function on [ 0 , T ] × R × R and a i , b i , c i , i = 1 , 2 are real constants with a 1 0 and T > 0 .

Ahmad and Ntouyas [1] investigated the existence of solutions for a fractional boundary value problem with fractional separated boundary conditions given by
D q c x ( t ) = f ( t , x ( t ) ) , t [ 0 , 1 ] , 1 < q 2 , α 1 x ( 0 ) + β 1 ( c D p x ( 0 ) ) = γ 1 , α 2 x ( 1 ) + β 2 ( c D p x ( 1 ) ) = γ 2 , 0 < p < 1 ,
(2)

where D q c denotes the Caputo fractional derivative of order q, f is a given continuous function and α i , β i , γ i ( i = 1 , 2 ) are real constants, with α 1 0 .

In [2] the same authors considered the following fractional differential inclusion:
D q c x ( t ) F ( t , x ( t ) ) , t [ 0 , 1 ] , 1 < q 2 ,

with the boundary condition given by (2). Here F : [ 0 , 1 ] × R 2 R is a multivalued map.

Recently, the subject of fractional differential equations has emerged as an important area of investigation. Indeed, we can find numerous applications of fractional order derivatives in engineering and sciences such as physics, mechanics, chemistry, economics and biology, etc. [35]. For some recent developments on the existence results of fractional differential equations, we can refer to, for instance, [622] and the references therein.

Fractional differential equations whose nonlinear term f depends on a fractional derivative of the unknown function x ( t ) have not been studied extensively. In this direction, we can see [23, 24] (fractional anti-periodic boundary value problem) and [25] (anti-periodic boundary value problem) for example.

We remark that when the third variable of the function f in (1) vanishes, the problem (1) reduces to the case considered in [1] by Ahmad and Ntouyas.

2 Preliminaries

Definition 2.1 ([26])

The Riemann-Liouville fractional integral of order q for a function f is defined as
I q f ( t ) = 1 Γ ( q ) 0 t f ( s ) ( t s ) 1 q d s , q > 0 ,

provided the integral exists.

Definition 2.2 ([26])

For a continuous function f, the Caputo derivative of order q is defined as
D q c f ( t ) = 1 Γ ( n q ) 0 t ( t s ) n q 1 f ( n ) ( s ) d s , n 1 < q < n , n = [ q ] + 1 ,

where [ q ] denotes the integer part of the real number q.

The following lemma obtained in [1] is useful in the rest of the paper.

Lemma 2.1 ([1])

For a given y C ( [ 0 , T ] , R ) , the unique solution of the fractional boundary value problem
{ D α c x ( t ) = y ( t ) , t [ 0 , T ] , 1 < α 2 , a 1 x ( 0 ) + b 1 ( c D γ x ( 0 ) ) = c 1 , a 2 x ( T ) + b 2 ( c D γ x ( T ) ) = c 2 , 0 < γ < 1 ,
(3)
is given by
x ( t ) = 0 t ( t s ) α 1 Γ ( α ) y ( s ) d s t v 1 { a 2 0 T ( T s ) α 1 Γ ( α ) y ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) y ( s ) d s } + v 2 t + c 1 a 1 ,
(4)
where
v 1 = a 2 T Γ ( 2 γ ) + b 2 T 1 γ Γ ( 2 γ ) , v 2 = a 1 c 2 a 2 c 1 a 1 v 1 .

We notice that the solution (4) of the problem (3) does not depend on the parameter b 1 , that is to say, the parameter b 1 is of arbitrary nature for this problem. And by (4), we should assume that a 2 T γ Γ ( 2 γ ) b 2 .

Let C ( [ 0 , T ] , R ) be the space of all continuous functions defined on [ 0 , T ] . Define the space X = { x : x  and  c D β x C ( [ 0 , T ] , R ) } ( 0 < β 1 ) endowed with the norm x = max t [ 0 , T ] | x ( t ) | + max t [ 0 , T ] | c D β x ( t ) | . We know that ( X , ) is a Banach space.

Theorem 2.1 (Schauder fixed point theorem)

Let U be a closed, convex and nonempty subset of a Banach space X, let P : U U be a continuous mapping such that P ( U ) is a relatively compact subset of X. Then P has at least one fixed point in U.

Theorem 2.2 (Nonlinear alternative for single-valued maps)

Let X be a Banach space, let C be a closed, convex subset of X, let U be an open subset of C and 0 U . Suppose that P : U ¯ C is a continuous and compact map. Then either (a) P has a fixed point in U ¯ , or (b) there exist an x U (the boundary of U) and λ ( 0 , 1 ) with x = λ P ( x ) .

3 Existence results

In this section, we give some existence results for the problem (1).

In view of Lemma 2.1, we define an operator F : X X as
( F x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) , c D β x ( s ) ) d s t v 1 { a 2 0 T ( T s ) α 1 Γ ( α ) f ( s , x ( s ) , c D β x ( s ) ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) , c D β x ( s ) ) d s } + v 2 t + c 1 a 1 .
(5)
It is clear that the problem (1) has solutions if and only if the operator equation F x = x has fixed points. For any x X , let
( N x ) ( t ) = f ( t , x ( t ) , c D β x ( t ) ) , t [ 0 , T ] .
Since the function f is continuous and
( c D β F x ) ( t ) = ( I α β N x ) ( t ) k t 1 β Γ ( 2 β ) ,
(6)
we know that the operator maps X into X . Here k is a constant given by
k = 1 v 1 { a 2 0 T ( T s ) α 1 Γ ( α ) ( N x ) ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) ( N x ) ( s ) d s } v 2 .
We put F x = F 1 x + F 2 x , where
( F 1 x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) ( N x ) ( s ) d s , ( F 2 x ) ( t ) = k x t + c 1 a 1 .

Here k x means that the constant k is related to x.

Now we are in a position to present our main results. The methods used to prove the existence results are standard; however, their exposition in the framework of the problem (1) is new.

Theorem 3.1 Suppose that the continuous function f satisfies the following assumption:
| f ( t , x 1 , y 1 ) f ( t , x 2 , y 2 ) | m ( t ) ( | x 1 x 2 | + | y 1 y 2 | )
for t [ 0 , T ] , x i , y i R , i = 1 , 2 and m L 1 τ ( [ 0 , T ] , R + ) , τ ( 0 , α 1 ) . If
m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ ( 1 + | a 2 | T | v 1 | + | a 2 | T 1 β | v 1 | Γ ( 2 β ) ) + ( 1 + T β Γ ( 2 β ) ) m | b 2 | T α γ τ + 1 | v 1 | Γ ( α γ ) ( 1 τ α γ τ ) 1 τ + m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ < 1 ,
(7)

then the problem (1) has a unique solution.

Proof Denote m = ( 0 T | m ( s ) | 1 τ d s ) τ . For any x , y X and for each t [ 0 , T ] , by the Hölder inequality, we have
| ( F 1 x ) ( t ) ( F 1 y ) ( t ) | = | 0 t ( t s ) α 1 Γ ( α ) ( ( N x ) ( s ) ( N y ) ( s ) ) d s | | 0 t ( t s ) α 1 Γ ( α ) m ( s ) ( | x ( s ) y ( s ) | + | c D β x ( s ) c D β y ( s ) | ) d s | m x y Γ ( α ) ( 1 τ α τ ) 1 τ T α τ , | ( F 2 x ) ( t ) ( F 2 y ) ( t ) | = | t ( k x k y ) | T | a 2 v 1 0 T ( T s ) α 1 Γ ( α ) ( ( N x ) ( s ) ( N y ) ( s ) ) d s + b 2 v 1 0 T ( T s ) α γ 1 Γ ( α γ ) ( ( N x ) ( s ) ( N y ) ( s ) ) d s | m | v 1 | { | a 2 | T α τ + 1 Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ + 1 Γ ( α γ ) ( 1 τ α γ τ ) 1 τ } x y .
Similarly, we have
| ( c D β F x ) ( t ) ( c D β F y ) ( t ) | = | ( I α β N x ) ( t ) k x t 1 β Γ ( 2 β ) ( I α β N y ) ( t ) + k y t 1 β Γ ( 2 β ) | m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ x y + m T 1 β | v 1 | Γ ( 2 β ) × { | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ } x y .
From the above inequalities, we obtain
F x F y { m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ ( 1 + | a 2 | T | v 1 | + | a 2 | T 1 β | v 1 | Γ ( 2 β ) ) + ( 1 + T β Γ ( 2 β ) ) m | b 2 | T α γ τ + 1 | v 1 | Γ ( α γ ) ( 1 τ α γ τ ) 1 τ + m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ } x y .

It follows from (7) that is a contraction mapping. Hence the Banach fixed point theorem implies that has a unique fixed point which is the unique solution of the problem (1). This is the end of the proof. □

Corollary 3.1 Suppose that the continuous function f satisfies
| f ( t , x 1 , y 1 ) f ( t , x 2 , y 2 ) | H ( | x 1 x 2 | + | y 1 y 2 | )
for t [ 0 , T ] , x i , y i R , i = 1 , 2 , and H > 0 is a constant. If
H T α Γ ( α + 1 ) ( 1 + | a 2 | T | v 1 | + | a 2 | T 1 β | v 1 | Γ ( 2 β ) ) + H T α β Γ ( α β + 1 ) + ( 1 + T β Γ ( 2 β ) ) H | b 2 | T α γ + 1 | v 1 | Γ ( α γ + 1 ) < 1 ,

then the problem (1) has a unique solution.

Theorem 3.2 Suppose that there exist a constant τ ( 0 , α 1 ) and a function m L 1 τ ( [ 0 , T ] , R + ) such that
| f ( t , x , y ) | m ( t ) + d 1 | x | ρ 1 + d 2 | y | ρ 2 ,

where d i 0 , 0 ρ i < 1 for i = 1 , 2 . Then the problem (1) has at least one solution.

Proof Denote m = ( 0 T | m ( s ) | 1 τ d s ) τ . Let B r = { x X : x r } , and r > 0 is a positive number which will be given below (see (9)). It is clear that B r is a closed, bounded and convex subset of the Banach space X .

The operator maps B r into B r . For any x B r , we have
| ( F 1 x ) ( t ) | 1 Γ ( α ) 0 t ( t s ) α 1 m ( s ) d s + d 1 r ρ 1 + d 2 r ρ 2 Γ ( α ) 0 t ( t s ) α 1 d s m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + ( d 1 r ρ 1 + d 2 r ρ 2 ) T α Γ ( α + 1 ) , | ( F 2 x ) ( t ) | | k x | T + | c 1 | | a 1 | , | k x | | v 2 | + 1 | v 1 | { | a 2 | m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | a 2 | ( d 1 r ρ 1 + d 2 r ρ 2 ) T α Γ ( α + 1 ) + | b 2 | m T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ + | b 2 | ( d 1 r ρ 1 + d 2 r ρ 2 ) T α γ Γ ( α γ + 1 ) } .
So, we have
| ( F x ) ( t ) | | c 1 | | a 1 | + | v 2 | T + m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ ( 1 + | a 2 | T | v 1 | ) + | b 2 | m T α γ τ + 1 | v 1 | Γ ( α γ ) ( 1 τ α γ τ ) 1 τ + ( d 1 r ρ 1 + d 2 r ρ 2 ) × ( T α Γ ( α + 1 ) + | a 2 | T α + 1 | v 1 | Γ ( α + 1 ) + | b 2 | T α γ + 1 | v 1 | Γ ( α γ + 1 ) ) .
Since
| ( I α β N x ) ( t ) | 1 Γ ( α β ) 0 t ( t s ) α β 1 m ( s ) d s + d 1 r ρ 1 + d 2 r ρ 2 Γ ( α β ) 0 t ( t s ) α β 1 d s m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + ( d 1 r ρ 1 + d 2 r ρ 2 ) T α β Γ ( α β + 1 ) ,
then from (6) and the estimation of k x , we have
| ( c D β F x ) ( t ) | m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + T 1 β | v 2 | Γ ( 2 β ) + m T 1 β | v 1 | Γ ( 2 β ) ( | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ ) + ( d 1 r ρ 1 + d 2 r ρ 2 ) { T α β Γ ( α β + 1 ) + T 1 β | v 1 | Γ ( 2 β ) ( | a 2 | T α Γ ( α + 1 ) + | b 2 | T α γ Γ ( α γ + 1 ) ) } .
Denote
L = | c 1 | | a 1 | + | v 2 | T + m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ ( 1 + | a 2 | T | v 1 | ) + T 1 β | v 2 | Γ ( 2 β ) + | b 2 | m T α γ τ + 1 | v 1 | Γ ( α γ ) ( 1 τ α γ τ ) 1 τ + m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + m T 1 β | v 1 | Γ ( 2 β ) ( | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ ) , M = T α Γ ( α + 1 ) + | a 2 | T α + 1 | v 1 | Γ ( α + 1 ) + | b 2 | T α γ + 1 | v 1 | Γ ( α γ + 1 ) + T α β Γ ( α β + 1 ) + T 1 β | v 1 | Γ ( 2 β ) ( | a 2 | T α Γ ( α + 1 ) + | b 2 | T α γ Γ ( α γ + 1 ) ) .
(8)
Now let r be a positive number such that
r max { 3 L , ( 3 M d 1 ) 1 1 ρ 1 , ( 3 M d 2 ) 1 1 ρ 2 } .
(9)
Then it is obvious that for any x B r ,
F x L + M ( d 1 r ρ 1 + d 2 r ρ 2 ) r 3 + r 3 + r 3 = r .

It is easy to verify that the operator is continuous since f is continuous. Next, we show that is equicontinuous on bounded subsets of X . Let B ¯ be any bounded subset of X . Since f is continuous, we can assume, without any loss of generality, that | f ( t , x ( t ) , c D β x ( t ) ) | N for any x B ¯ and t [ 0 , T ] .

Now let 0 t 1 < t 2 T . We have the following facts:
| ( F 1 x ) ( t 2 ) ( F 1 x ) ( t 1 ) | = | t 1 t 2 ( t 2 s ) α 1 Γ ( α ) ( N x ) ( s ) d s + 0 t 1 ( t 2 s ) α 1 ( t 1 s ) α 1 Γ ( α ) ( N x ) ( s ) d s | N ( t 2 t 1 ) α Γ ( α + 1 ) + N | t 2 α ( t 2 t 1 ) α t 1 α | Γ ( α + 1 ) 2 N ( t 2 t 1 ) α Γ ( α + 1 ) + N | t 2 α t 1 α | Γ ( α + 1 ) , | ( F 2 x ) ( t 2 ) ( F 2 x ) ( t 1 ) | = | k x t 2 + c 1 a 1 + k x t 1 c 1 a 1 | ( N | v 1 | ( | a 2 | T α Γ ( α + 1 ) + | b 2 | T α γ Γ ( α γ + 1 ) ) + | v 2 | ) ( t 2 t 1 ) , | ( c D β F x ) ( t 2 ) ( c D β F x ) ( t 1 ) | = | ( I α β N x ) ( t 2 ) k x t 2 1 β Γ ( 2 β ) ( I α β N x ) ( t 1 ) + k x t 1 1 β Γ ( 2 β ) | 1 Γ ( 2 β ) ( N | v 1 | ( | a 2 | T α Γ ( α + 1 ) + | b 2 | T α γ Γ ( α γ + 1 ) ) + | v 2 | ) | t 2 1 β t 1 1 β | + N | t 2 α β t 1 α β | Γ ( α β + 1 ) + 2 N ( t 2 t 1 ) α β Γ ( α β + 1 ) .
Hence we have (since α > 1 , α β > 0 and 1 β 0 )
( F x ) ( t 2 ) ( F x ) ( t 1 ) 0 as  t 2 t 1

and the limit is independent of x B ¯ . Therefore the operator F : B r B r is equicontinuous and uniformly bounded. The Arzela-Ascoli theorem implies that F ( B r ) is relatively compact in X .

From Theorem 2.1, the problem (1) has at least one solution. The proof is completed. □

Corollary 3.2 Assume that | f ( t , x , y ) | ν ( t ) for t [ 0 , T ] , x , y R with ν C ( [ 0 , T ] , R + ) . Then the problem (1) has at least one solution.

In this situation, since for any τ ( 0 , α 1 ) , ν L 1 τ ( [ 0 , T ] , R + ) , then let d 1 = d 2 = 0 in Theorem 3.2, we get the result.

Corollary 3.3 Assume that there exist a constant τ ( 0 , α 1 ) and a function m L 1 τ ( [ 0 , T ] , R + ) such that
| f ( t , x , y ) | m ( t ) + d 1 | x | + d 2 | y | , d i 0 , i = 1 , 2 .

If ( d 1 + d 2 ) M < 1 (M is defined by (3)), then the problem (1) has at least one solution.

The proof of this corollary is similar to Theorem 3.2.

Theorem 3.3 Assume that: (1) there exist two nondecreasing functions ρ 1 , ρ 2 : [ 0 , ) [ 0 , ) and a function m L 1 τ ( [ 0 , T ] , R + ) with τ ( 0 , α 1 ) such that
| f ( t , x , y ) | m ( t ) ( ρ 1 ( | x | ) + ρ 2 ( | y | ) )
for t [ 0 , T ] and x , y R .
  1. (2)
    There exists a constant Z > 0 such that
    Z T | v 2 | + | c 1 | | a 1 | + T 1 β Γ ( 2 β ) | v 2 | + ( ρ 1 ( Z ) + ρ 2 ( Z ) ) m Δ > 1 ,
    (10)
     
here m = ( 0 T | m ( s ) | 1 τ d s ) τ and Δ denotes the following number:
{ T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + ( T | v 1 | + T 1 β | v 1 | Γ ( 2 β ) ) × ( | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ ) } .

Then the problem (1) has at least one solution.

Proof Firstly, we show that the operator defined by (5) maps bounded sets into bounded sets in the space X . Let B r = { x : x X  and  x r } , r > 0 . For any x B r , we have
| ( F 1 x ) ( t ) | = | 1 Γ ( α ) 0 t ( t s ) α 1 ( N x ) ( s ) d s | ρ 1 ( r ) + ρ 2 ( r ) Γ ( α ) 0 t ( t s ) α 1 m ( s ) d s ( ρ 1 ( r ) + ρ 2 ( r ) ) m T α τ Γ ( α ) ( 1 τ α τ ) 1 τ , | ( F 2 x ) ( t ) | T | v 2 | + T m ( ρ 1 ( r ) + ρ 2 ( r ) ) | v 1 | { | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ } + | c 1 | | a 1 | , | ( c D β F x ) ( t ) | | ( I α β N x ) ( t ) | + T 1 β Γ ( 2 β ) | k x | ( ρ 1 ( r ) + ρ 2 ( r ) ) m T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + T 1 β Γ ( 2 β ) { | v 2 | + m ( ρ 1 ( r ) + ρ 2 ( r ) ) | v 1 | × ( | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ ) } .
Therefore we have
F x T | v 2 | + | c 1 | | a 1 | + T 1 β Γ ( 2 β ) | v 2 | + ( ρ 1 ( r ) + ρ 2 ( r ) ) m × { T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + T α β τ Γ ( α β ) ( 1 τ α β τ ) 1 τ + ( T | v 1 | + T 1 β | v 1 | Γ ( 2 β ) ) × ( | a 2 | T α τ Γ ( α ) ( 1 τ α τ ) 1 τ + | b 2 | T α γ τ Γ ( α γ ) ( 1 τ α γ τ ) 1 τ ) } .
That is to say, we have
F x T | v 2 | + | c 1 | | a 1 | + T 1 β Γ ( 2 β ) | v 2 | + ( ρ 1 ( r ) + ρ 2 ( r ) ) m Δ .
(11)

Secondly, we claim that is equicontinuous on bounded sets of X . To prove it, we only need to repeat verbatim the corresponding part in the proof of Theorem 3.2.

Finally, for λ ( 0 , 1 ) , let x = λ F x . Due to (11), we have
x = λ F x T | v 2 | + | c 1 | | a 1 | + T 1 β Γ ( 2 β ) | v 2 | + ( ρ 1 ( x ) + ρ 2 ( x ) ) m Δ .
On the other hand, we have
x T | v 2 | + | c 1 | | a 1 | + T 1 β Γ ( 2 β ) | v 2 | + ( ρ 1 ( x ) + ρ 2 ( x ) ) m Δ 1 .
From (10), there exists Z > 0 such that x Z . Define a set
U = { x X : x < Z } .

It is obvious that the operator F : U ¯ X is continuous and completely continuous. By the definition of the set U , there is no x U such that x = λ F x for some 0 < λ < 1 . Consequently, by Theorem 2.2, we obtain that has a fixed point x U ¯ which is a solution of the problem (1). This is the end of the proof. □

4 Examples

Example 1 Let T = 1 , α = 7 4 , β = 3 4 and γ = 1 4 . We consider the boundary value problem
{ D 7 4 c x ( t ) = 3 ln ( t + 1 ) 2 sin ( t 2 ) + 5 + 1 ( t + 3 ) 2 ( sin x ( t ) + | c D 3 4 x ( t ) | 1 + | c D 3 4 x ( t ) | ) , t [ 0 , 1 ] , x ( 0 ) + b 1 ( c D 1 4 x ( 0 ) ) = 1 2 , 1 2 x ( 1 ) + 1 3 ( c D 1 4 x ( 1 ) ) = 2 .
(12)
From (12), we know that
f ( t , x , y ) = 3 ln ( t + 1 ) 2 sin ( t 2 ) + 5 + 1 ( t + 3 ) 2 ( sin x + | y | 1 + | y | )
and a 1 = 1 , c 1 = 1 2 , a 2 = 1 2 , b 2 = 1 3 and c 2 = 2 . It is clear that
| f ( t , x 1 , y 1 ) f ( t , x 2 , y 2 ) | 1 9 ( | x 1 x 2 | + | y 1 y 2 | )
and
H T α Γ ( α + 1 ) ( 1 + | a 2 | T | v 1 | + | a 2 | T 1 β | v 1 | Γ ( 2 β ) ) + H T α β Γ ( α β + 1 ) + ( 1 + T β Γ ( 2 β ) ) H | b 2 | T α γ + 1 | v 1 | Γ ( α γ + 1 ) 1 9 ( 1.2333 + 1 + 0.4933 ) < 1 .

Hence all the assumptions of Corollary 3.1 are satisfied. Therefore the problem (12) has a unique solution.

Example 2

Consider the following fractional differential equation:
{ D 5 3 c x ( t ) = ( 5 t 2 3 t ) e x 2 ( t ) + 1 2 π | x ( t ) | 1 3 + ( | c D 3 4 x ( t ) | 1 + sin 2 x ( t ) ) 1 2 , t [ 0 , 1 ] , x ( 0 ) + b 1 ( c D 1 2 x ( 0 ) ) = 2.5 , 2 x ( 1 ) + 1 5 ( c D 1 2 x ( 1 ) ) = π .
(13)
In this case, we have
f ( t , x , y ) = ( 5 t 2 3 t ) e x 2 + 1 2 π | x | 1 3 + ( | y | 1 + sin 2 x ) 1 2
and α = 5 3 , β = 3 4 , γ = 1 2 , T = 1 , a 1 = 1 , c 1 = 2.5 , a 2 = 2 , b 2 = 1 5 , c 2 = π . Since
| f ( t , x , y ) | | 5 t 2 3 t | + 1 2 π | x | 1 3 + | y | 1 2 ,

let d 1 = 1 2 π , d 2 = 1 , ρ 1 = 1 3 , ρ 2 = 1 2 and m ( t ) = | 5 t 2 3 t | L ( 0 , 1 ) . Thus it follows from Theorem 3.2 that the problem (13) has at least one solution on [ 0 , 1 ] .

Declarations

Acknowledgements

Project is supported by NNSF of China (Grants No. 11271087, No. 61263006) and Guangxi Scientific Experimental (China-ASEAN Research) Centre No. 20120116.

Authors’ Affiliations

(1)
School of Science, Guangxi University for Nationalities, Nanning, P.R. China
(2)
School of Mathematical Science and Computing Technology, Central South University, Changsha, P.R. China

References

  1. Ahmad B, Ntouyas SK: A note on fractional differential equations with fractional separated boundary conditions. Abstr. Appl. Anal. 2012., 2012: Article ID 818703Google Scholar
  2. Ahmad B, Ntouyas SK: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 2012, 15(3):362–382.MathSciNetGoogle Scholar
  3. Băleanu D, Machado JAT, Luo ACJ: Fractional Dynamics and Control. Springer, Berlin; 2012.View ArticleGoogle Scholar
  4. Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.Google Scholar
  5. Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.Google Scholar
  6. Ahmad B, Nieto JJ: 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
  7. Ahmad B, Ntouyas SK: Fractional differential inclusions with fractional separated boundary conditions. Fract. Calc. Appl. Anal. 2012, 15(3):362–382.MathSciNetGoogle Scholar
  8. Agarwal RP, Belmekki M, Benchohra M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009., 2009: Article ID 981728Google Scholar
  9. Agarwal RP, Benchohra M, Hamani S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 2010, 109: 973–1033. 10.1007/s10440-008-9356-6MathSciNetView ArticleGoogle Scholar
  10. Bai Z: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72(2):916–924. 10.1016/j.na.2009.07.033MathSciNetView ArticleGoogle Scholar
  11. Băleanu D, Mustafa OG, Agarwal RP: An existence result for a superlinear fractional differential equation. Appl. Math. Lett. 2010, 23: 1129–1132. 10.1016/j.aml.2010.04.049MathSciNetView ArticleGoogle Scholar
  12. Cernea A: A note on the existence of solutions for some boundary value problems of fractional differential inclusions. Fract. Calc. Appl. Anal. 2012, 15(2):183–194.MathSciNetView ArticleGoogle Scholar
  13. Chang Y-K, Nieto JJ: Some new existence results for fractional differential inclusions with boundary conditions. Math. Comput. Model. 2009, 49: 605–609. 10.1016/j.mcm.2008.03.014MathSciNetView ArticleGoogle Scholar
  14. Chen A, Tian Y: Existence of three positive solutions to three-point boundary value problem of nonlinear fractional differential equation. Differ. Equ. Dyn. Syst. 2010, 18(3):327–339. 10.1007/s12591-010-0063-1MathSciNetView ArticleGoogle Scholar
  15. Lakshmikantham V: Theory of fractional functional differential equations. Nonlinear Anal. 2008, 69: 3337–3343. 10.1016/j.na.2007.09.025MathSciNetView ArticleGoogle Scholar
  16. Liu Z, Sun J: Nonlinear boundary value problems of fractional differential systems. Comput. Math. Appl. 2012, 64(4):463–475. 10.1016/j.camwa.2011.12.020MathSciNetView ArticleGoogle Scholar
  17. Li CF, Luo XN, 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
  18. Lv LL, Wang JR, Wei W: Existence and uniqueness results for fractional differential equations with boundary value conditions. Opusc. Math. 2011, 31(4):629–643.MathSciNetView ArticleGoogle Scholar
  19. Wang G, Ahmad B, Zhang L: Impulsive anti-periodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 2011, 74(3):792–804. 10.1016/j.na.2010.09.030MathSciNetView ArticleGoogle Scholar
  20. Wang JR, Zhou Y: Existence and controllability results for fractional semilinear differential inclusions. Nonlinear Anal., Real World Appl. 2011, 12(6):3642–3653. 10.1016/j.nonrwa.2011.06.021MathSciNetView ArticleGoogle Scholar
  21. Wang JR, Lv LL, Zhou Y: Boundary value problems for fractional differential equations involving Caputo derivative in Banach spaces. J. Appl. Math. Comput. 2012, 38: 209–224. 10.1007/s12190-011-0474-3MathSciNetView ArticleGoogle Scholar
  22. Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal. 2010, 11: 4465–4475. 10.1016/j.nonrwa.2010.05.029MathSciNetView ArticleGoogle Scholar
  23. Ahmad B, Nieto JJ: Anti-periodic fractional boundary value problems with nonlinear term depending on lower order derivative. Fract. Calc. Appl. Anal. 2012, 15(3):451–462.MathSciNetGoogle Scholar
  24. Wang F: Anti-periodic fractional boundary value problems for nonlinear differential equations of fractional order. Adv. Differ. Equ. 2012., 2012: Article ID 116Google Scholar
  25. Chen A, Chen Y: Existence of solutions to anti-periodic boundary value problem for nonlinear fractional differential equations. Differ. Equ. Dyn. Syst. 2011, 19(3):237–252. 10.1007/s12591-011-0086-2MathSciNetView ArticleGoogle Scholar
  26. Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar

Copyright

© Liu and Liu; 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