Open Access

Boundary value problems for fractional differential equations with nonlocal boundary conditions

Advances in Difference Equations20132013:176

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

Received: 26 November 2012

Accepted: 29 May 2013

Published: 18 June 2013

Abstract

In this paper, we establish some sufficient conditions for the existence of solutions to two classes of boundary value problems for fractional differential equations with nonlocal boundary conditions. Our goal is to establish some criteria of existence for the boundary problems with nonlocal boundary condition involving the Caputo fractional derivative, using Banach’s fixed point theorem and Schaefer’s fixed point theorem. Finally, we present four examples to show the importance of these results.

MSC:34A08, 34B10.

Keywords

fractional differential equation boundary value problem fixed-point theorem

1 Introduction

Fractional differential equations have been of increasing importance for the past decades due to their diverse applications in science and engineering such as the memory of a variety of materials, signal identification and image processing, optical systems, thermal system materials and mechanical systems, control system, etc.; see [1, 2]. Many interesting results of the existence of solutions of various classes of fractional differential equations have been obtained; see [317] and the references therein.

Recently, much attention has been focused on the study of the existence and multiplicity of solutions or positive solutions for boundary value problems of fractional differential equations with local boundary value problems by the use of techniques of nonlinear analysis (fixed-point theorems, Leray-Schauder theory, the upper and lower solution method, etc.); see [717].

On the other hand, integer-order differential equations boundary value problems with nonlocal boundary conditions arise in a variety of different areas of applied mathematics and physics. For example, heat conduction, chemical engineering, underground water flow, thermo-elasticity, and plasma physics can be reduced to nonlocal problems with integral boundary conditions. They include two, three, and nonlocal boundary value problems as special cases and have attracted the attention of Gallardo [18], Karakostas and Tsamatos [19] (also see the references therein).

In fact, there have been the same requirements for fractional differential equations. Boundary value problems for fractional-order differential equations with nonlocal boundary conditions constitute a very interesting and important class of problems [2022].

To the best of our knowledge, we can see the fact that, although the fractional differential equation boundary value problems have been studied by some authors, very little is known in the literature on the boundary value problems with integral boundary conditions. In order to enrich the theoretical knowledge of the above, in this paper, we investigate two classes of fractional differential equation boundary value problems with integral boundary conditions.

Benchohra et al. studied the boundary value problem for the fractional differential equations with nonlocal conditions [23]
D 0 + α y ( t ) = f ( t , y ( t ) ) , t J = [ 0 , T ] , 1 < α 2 , y ( 0 ) = g ( y ) , y ( T ) = y T ,

where D 0 + α is the Caputo fractional derivative, f : [ 0 , T ] × R R is a continuous function, g : C ( J , R ) R is a continuous function and y T R .

Motivated by all the works above, in this paper we deal with the existence and uniqueness of solutions for the boundary value problem of fractional differential equations
D 0 + α x ( t ) = f ( t , x ( t ) ) , t [ 0 , T ] , 1 < α 2 ,
(1.1)
subject to one of the following nonlocal boundary conditions:
x ( 0 ) = y ( x ) , 0 T x ( t ) d t = m ,
(1.2)
x ( 0 ) = y ( x ) , x ( T ) = 0 T g ( s ) x ( s ) d s ,
(1.3)

where D 0 + α is the Caputo fractional derivative, f : [ 0 , T ] × R R is a C 2 continuous function, y : C 2 ( [ 0 , T ] , R ) R is a C 2 continuous functional, g : [ 0 , T ] R is a C 2 continuous function and m R . Our goal is to establish some criteria of existence for boundary value problem (1.1) with nonlocal boundary condition (1.2) or (1.3) involving the Caputo fractional derivative, using Banach’s fixed point theorem and Schaefer’s fixed point theorem. Finally we present four examples.

2 Preliminaries

In this section, we introduce notations, definitions of fractional calculus and prove two lemmas before stating our main results. By C 2 ( [ 0 , T ] , R ) we denote the Banach space of all continuous functions from [ 0 , T ] into with the norm
x : = sup { | x | : t [ 0 , T ] } .

Definition 2.1 [2]

For a continuous function y : ( 0 , ) R , the Riemann-Liouville fractional integral of order α is defined as
I 0 + α = 1 Γ ( α ) 0 t ( t s ) α 1 y ( s ) d s , α > 0 ,

where Γ is the gamma function.

Definition 2.2 [2]

The Caputo fractional derivative of order α for a continuous function y ( t ) is defined by
D 0 + α y ( t ) = 1 Γ ( n α ) 0 t ( t s ) n α 1 y ( n ) ( s ) d s , α > 0 ,

where Γ is the gamma function, n = [ α ] + 1 and [ α ] denotes the integer of α.

Lemma 2.1 [2]

Let α > 0 . Then the fractional differential equation D 0 + α h ( t ) = 0 has the solution h ( t ) = c 0 + c 1 t + c 2 t 2 + + c n 1 t n 1 , c i R , i = 0 , 1 , , n 1 .

Lemma 2.2 [2]

Let α > 0 . Then I α D 0 + α h ( t ) = h ( t ) + c 0 + c 1 t + c 2 t 2 + + c n 1 t n 1 for some c i R , i = 0 , 1 , , n 1 , n = [ α ] + 1 .

Lemma 2.3 Let 1 < α 2 and h ( t ) C 2 [ 0 , T ] . A function x is a solution of the following fractional boundary value problem:
D 0 + α x ( t ) = h ( t ) , t [ 0 , T ] ,
(2.1)
x ( 0 ) = y ( x ) , 0 T x ( t ) d t = m
(2.2)
if and only if x is a solution of the fractional integral equation
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + 2 m T 2 t + ( T 2 t T ) y ( x ) 2 t T 2 1 Γ ( α + 1 ) 0 T ( T s ) α h ( s ) d s .
(2.3)
Proof By applying Lemma 2.2, we may reduce (2.1) to an equivalent integral equation
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + c 0 + c 1 t
for some c 0 , c 1 R . From (2.2), it follows
c 0 = y ( x ) , c 1 = 2 m T 2 2 T y ( x ) 2 T 2 1 Γ ( α + 1 ) 0 T ( T s ) α h ( s ) d s .
Thus
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + 2 m T 2 t + ( T 2 t T ) y ( x ) 2 t T 2 1 Γ ( α + 1 ) 0 T ( T s ) α h ( s ) d s .

 □

Lemma 2.4 Let 1 < α 2 and h ( t ) C 2 [ 0 , T ] be continuous. A function x is a solution of the fractional boundary value problem
D 0 + α x ( t ) = h ( t ) , t [ 0 , T ] ,
(2.4)
x ( 0 ) = y ( x ) , x ( T ) = 0 T g ( s ) x ( s ) d s
(2.5)
if and only if x is a solution of the fractional integral equation
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + y ( x ) + t T A ( x ) t T Γ ( α ) 0 T ( T s ) α 1 h ( s ) d s t T y ( x ) ,
(2.6)
where
A ( x ) = 1 Γ ( α ) 0 T ( 0 t ( t s ) α 1 g ( t ) h ( s ) d s ) d t + y ( x ) 0 T g ( t ) d t 1 1 T 0 T t g ( t ) d t 1 T Γ ( α ) 0 T ( 0 T ( T s ) α 1 t g ( t ) h ( s ) d s ) d t + y ( x ) T 0 T t g ( t ) d t 1 1 T 0 T t g ( t ) d t .
Proof By applying Lemma 2.2, we may reduce (2.4) to an equivalent integral equation
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + c 0 + c 1 t
for some c 0 , c 1 R . From (2.5), it follows
c 0 = y ( x ) , c 1 = 1 T 0 T g ( s ) x ( s ) d s 1 T Γ ( α ) 0 T ( T s ) α 1 h ( s ) d s 1 T y ( x ) .
Let A ( x ) = 0 T g ( s ) x ( s ) d s . Then
A ( x ) = 1 Γ ( α ) 0 T ( 0 t ( t s ) α 1 g ( t ) h ( s ) d s ) d t + y ( x ) 0 T g ( t ) d t 1 1 T 0 T t g ( t ) d t 1 T Γ ( α ) 0 T ( 0 T ( T s ) α 1 t g ( t ) h ( s ) d s ) d t + y ( x ) T 0 T t g ( t ) d t 1 1 T 0 T t g ( t ) d t ,
and so
x ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 h ( s ) d s + y ( x ) + t T A ( x ) t T Γ ( α ) 0 T ( T s ) α 1 h ( s ) d s t T y ( x ) .

 □

3 Main results

Now we are in a position to establish the main results. First, we are going to deal with problems (1.1) and (1.2).

Theorem 3.1 Assume that:

(H1) There exists a constant k > 0 such that | f ( t , u ) f ( t , u 1 ) | k | u u 1 | for each t [ 0 , T ] and all u , u 1 R .

(H2) There exists a constant k 1 > 0 such that | y ( u ) y ( u 1 ) | k 1 | u u 1 | for each u , u 1 C 2 ( [ 0 , T ] , R ) .

(H3) ( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) k + k 1 < 1 .

Then boundary value problem (1.1)-(1.2) has a unique solution.

Proof Transform boundary value problem (1.1)-(1.2) into a fixed point problem. For this purpose, we consider the operator
F : C 2 ( [ 0 , T ] , R ) C 2 ( [ 0 , T ] , R )
defined by
F ( x ) ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 f ( s , x ( s ) ) d s + 2 m T 2 t + ( T 2 t T ) y ( x ) 2 t T 2 1 Γ ( α + 1 ) 0 T ( T s ) α f ( s , x ( s ) ) d s .
Clearly, the fixed points of the operator F are solutions of problem (1.1)-(1.2). Let x , x 1 C 2 ( [ 0 , T ] , R ) . For each t [ 0 , T ] , we have
| F ( x ) ( t ) F ( x 1 ) ( t ) | 1 Γ ( α ) 0 t ( t s ) α 1 | f ( s , x ( s ) ) f ( s , x 1 ( s ) ) | d s + | T 2 t T | | y ( x ) y ( x 1 ) | + 2 t T 2 Γ ( α + 1 ) 0 T ( T s ) α | f ( s , x ( s ) ) f ( s , x 1 ( s ) ) | d s k x x 1 Γ ( α ) t α α + k 1 x x 1 + 2 T Γ ( α + 1 ) k x x 1 T α + 1 α + 1 [ ( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) k + k 1 ] x x 1 .
Thus
F ( x ) ( t ) F ( x 1 ) ( t ) [ ( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) k + k 1 ] x x 1 .

Consequently, F is a contraction. As a consequence of Banach’s fixed point theorem, we deduce that F has a fixed point which is the solution of problem (1.1)-(1.2). □

Theorem 3.2 Assume that:

(H3) The function f : [ 0 , T ] × R R is C 2 continuous.

(H4) There exists a constant M > 0 such that | f ( t , u ) | M for each t [ 0 , T ] and u R .

(H5) There exists a constant M 1 > 0 such that | y ( x ) | M 1 for each x C 2 ( [ 0 , T ] , R ) .

Then boundary value problem (1.1)-(1.2) has at least one solution.

Proof We will use Schaefer’s fixed point theorem to prove this result. We divide the proof into four steps.
  1. (a)
    First we show that F is continuous. Let x n be a sequence such that x n x in C 2 ( [ 0 , T ] , R ) . Then, for each t [ 0 , T ] ,
    | F ( x n ) ( t ) F ( x ) ( t ) | 1 Γ ( α ) 0 t ( t s ) α 1 | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s + | y ( x n ) y ( x ) | + 2 T Γ ( α + 1 ) 0 T ( T s ) α | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s .
     
Since f and y are continuous functions, we have
F ( x n ) ( t ) F ( x ) ( t ) 0 as  n .
This means that F is continuous.
  1. (b)
    Next we prove that F maps bounded sets into bounded sets in C 2 ( [ 0 , T ] , R ) . Indeed, for each t [ 0 , T ] , we have
    | F ( x ) ( t ) | ( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) M + M 1 + 2 T | m | .
    (3.1)
     
Thus F is uniformly bounded.
  1. (c)

    Now we verify that F maps bounded sets into equicontinuous sets of C 2 ( [ 0 , T ] , R ) .

     
For each t 1 , t 2 [ 0 , T ] , t 1 < t 2 , we have
| F ( x ) ( t 2 ) F ( x ) ( t 1 ) | | 1 Γ ( α ) 0 t 1 [ ( t 2 s ) α 1 ( t 1 s ) α 1 ] f ( s , x ( s ) ) d s + 1 Γ ( α ) t 1 t 2 ( t 2 s ) α 1 f ( s , x ( s ) ) d s | + 2 | m | T 2 ( t 2 t 1 ) + 2 ( t 2 t 1 ) T | y ( x ) | + | 2 t 2 T 2 Γ ( α + 1 ) 2 t 1 T 2 Γ ( α + 1 ) | | 0 T ( T s ) α f ( s , x ( s ) ) d s | M Γ ( α ) 0 t 1 [ ( t 2 s ) α 1 ( t 1 s ) α 1 ] d s + M Γ ( α ) t 1 t 2 ( t 2 s ) α 1 d s + 2 | m | T 2 ( t 2 t 1 ) + 2 M 1 T ( t 2 t 1 ) + 2 ( t 2 t 1 ) T 2 Γ ( α + 1 ) T α + 1 M α + 1 = M Γ ( α + 1 ) ( t 2 α t 1 α ) + 2 | m | T 2 ( t 2 t 1 ) + 2 M 1 T ( t 2 t 1 ) + 2 M T α 1 Γ ( α + 2 ) ( t 2 t 1 ) ,

which implies that if t 1 t 2 , the right-hand side of the above inequality tends to zero.

As a consequence of the first three steps above, together with the Arzela-Ascoli theorem, we get that F is completely continuous.
  1. (d)
    Now it remains to show that the set E = { x C 2 ( [ 0 , T ] , R ) : X = λ F ( x ) , 0 < λ < 1 } is bounded. Let x E , then x = λ F ( x ) , 0 < λ < 1 . Thus, for each t [ 0 , T ] , we have
    x = λ F ( x ) ( t ) = λ Γ ( α ) 0 t ( t s ) α 1 f ( s , x ( s ) ) d s + 2 λ m T 2 t + λ ( T 2 t T ) y ( x ) 2 t T 2 λ Γ ( α + 1 ) 0 T ( T s ) α f ( s , x ( s ) ) d s .
     
This implies by (3.1) that for each t [ 0 , T ] , we have
x ( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) M + M 1 + 2 T | m | .

This shows that the set E is bounded. As a consequence of Schaefer’s fixed point theorem, we deduce that F has a fixed point which is a solution of boundary value problem (1.1)-(1.2). The proof is completed. □

In the following, we give the existence and uniqueness of a solution for problems (1.1) and (1.3).

Theorem 3.3 Assume that:

(H6) There exists a constant k > 0 such that | f ( t , u ) f ( t , u 1 ) | k | u u 1 | for each t [ 0 , T ] and all u , u 1 R .

(H7) There exists a constant k 1 > 0 such that | y ( u ) y ( u 1 ) | k 1 | u u 1 | for each u , u 1 C 2 ( [ 0 , T ] , R ) .

(H8) 0 < g ( t ) < M and 1 1 2 M T > 0 for each t [ 0 , T ] .

(H9) ( 2 T α Γ ( α + 1 ) + T α + 1 M Γ ( α + 1 ) ( 2 M T ) + 2 T α + 1 M Γ ( α + 2 ) ( 2 M T ) ) k + 2 + 2 M T 2 M T k 1 < 1 .

Then boundary value problem (1.1)-(1.3) has a unique solution.

Proof Consider the operator
F : C 2 ( [ 0 , T ] , R ) C 2 ( [ 0 , T ] , R )
defined by
F ( x ) ( t ) = 1 Γ ( α ) 0 t ( t s ) α 1 f ( s , x ( s ) ) d s + y ( x ) + t T A ( x ) t T Γ ( α ) 0 T ( T s ) α 1 f ( s , x ( s ) ) d s t T y ( x ) ,
where
A ( x ) = 1 Γ ( α ) 0 T ( 0 t ( t s ) α 1 g ( t ) f ( s , x ( s ) ) d s ) d t + y ( x ) 0 T g ( t ) d t 1 1 T 0 T t g ( t ) d t 1 T Γ ( α ) 0 T ( 0 T ( T s ) α 1 t g ( t ) f ( s , x ( s ) ) d s ) d t + y ( x ) T 0 T t g ( t ) d t 1 1 T 0 T t g ( t ) d t .
Let x , x 1 C 2 ( [ 0 , T ] , R ) for each t [ 0 , T ] . Then we have
| F ( x ) ( t ) F ( x 1 ) ( t ) | 1 Γ ( α ) 0 t ( t s ) α 1 | f ( s , x ( s ) ) f ( s , x 1 ( s ) ) | d s + | T t T | | y ( x ) y ( x 1 ) | + t T | A ( x ) A ( x 1 ) | + t T Γ ( α ) 0 T ( T s ) α 1 | f ( s , x ( s ) ) f ( s , x 1 ( s ) ) | d s 2 T α k x x 1 Γ ( α + 1 ) + 2 Γ ( α + 2 ) + 1 Γ ( α + 1 ) 2 M T T α + 1 M k x x 1 + 2 k 1 + 2 M T k 1 2 M T x x 1 ,

where A ( x 1 ) means that we use x 1 to replace x in A ( x ) .

Thus
F ( x ) ( t ) F ( x 1 ) ( t ) [ ( 2 T α Γ ( α + 1 ) + T α + 1 M Γ ( α + 1 ) ( 2 M T ) + 2 T α + 1 M Γ ( α + 2 ) ( 2 M T ) ) k + 2 + 2 M T 2 M T k 1 ] x x 1 .

Consequently, F is a contraction. Therefore, the fixed point theorem implies that boundary value problem (1.1)-(1.3) has a unique solution in C 2 ( [ 0 , T ] , R ) . And the proof is completed. □

Theorem 3.4 Assume that:

(H10) The function f : [ 0 , T ] × R R is C 2 continuous.

(H11) There exists a constant M 1 > 0 such that | f ( t , u ) | M 1 for each t [ 0 , T ] and u R .

(H12) There exists a constant M 2 > 0 such that | y ( x ) | M 2 for each x C 2 ( [ 0 , T ] , R ) .

(H13) 0 < g ( t ) < M and 1 1 2 M T > 0 for each t [ 0 , T ] .

Then boundary value problem (1.1)-(1.3) has at least one solution.

Proof Similar to the proof of Theorem 3.2, we will prove the theorem by showing the following four steps.
  1. (a)
    Show that F is continuous. Let x n be a sequence such that x n x in C 2 ( [ 0 , T ] , R ) . Then for each t [ 0 , T ] ,
    | F ( x n ) ( t ) F ( x ) ( t ) | 1 Γ ( α ) 0 t ( t s ) α 1 | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s + | y ( x n ) y ( x ) | + 1 Γ ( α ) 0 T ( T s ) α 1 | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s + 1.5 M T | y ( x n ) y ( x ) | 1 0.5 M T + M Γ ( α ) 0 T ( 0 t ( t s ) α 1 | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s ) d t 1 0.5 M T + M Γ ( α ) 0 T ( 0 T ( T s ) α 1 | f ( s , x n ( s ) ) f ( s , x ( s ) ) | d s ) d t 1 0.5 M T .
     
Since f and y are continuous functions, then we have
F ( x n ) ( t ) F ( x ) ( t ) 0 as  n .
This means that F is continuous.
  1. (b)
    Verify F maps bounded sets into bounded sets in C 2 ( [ 0 , T ] , R ) . Indeed, for each t [ 0 , T ] , we have
    | F ( x ) ( t ) | 2 M 1 T α Γ ( α + 1 ) + M 2 + M M 1 T α + 1 Γ ( α + 2 ) + 1.5 M M 2 T + M M 1 T α + 1 2 Γ ( α + 1 ) 1 0.5 M T .
    (3.2)
     
Thus F is uniform bounded.
  1. (c)
    Examine F maps bounded sets into equicontinuous sets of C 2 ( [ 0 , T ] , R ) . For each t 1 , t 2 [ 0 , T ] , t 1 < t 2 , we have
    | F ( x ) ( t 2 ) F ( x ) ( t 1 ) | | 1 Γ ( α ) 0 t 1 [ ( t 2 s ) α 1 ( t 1 s ) α 1 ] f ( s , x ( s ) ) d s + 1 Γ ( α ) t 1 t 2 ( t 2 s ) α 1 f ( s , x ( s ) ) d s | + ( t 2 t 1 ) T | y ( x ) | + ( t 2 t 1 ) T Γ ( α ) | 0 T ( T s ) α 1 f ( s , x ( s ) ) d s | + ( t 2 T t 1 T ) | A ( x ) | M 1 Γ ( α + 1 ) ( t 2 α t 1 α ) + M 2 T ( t 2 t 1 ) + M 1 T α T Γ ( α + 1 ) ( t 2 t 1 ) + M M 1 T α + 1 Γ ( α + 2 ) + 1.5 M M 2 T + M M 1 T α + 1 2 Γ ( α + 1 ) 1 0.5 M T ( t 2 t 1 ) T .
     

Hence the right-hand side of the above inequality tends to zero as t 1 t 2 .

As a consequence of (a) to (c) together with the Arzela-Ascoli theorem, we get that F : C 2 ( [ 0 , T ] , R ) C 2 ( [ 0 , T ] , R ) is completely continuous.
  1. (d)
    In what follows, we will show that the set E = { x C 2 ( [ 0 , T ] , R ) : x = λ F ( x ) , 0 < λ < 1 } is bounded. Let x E . Then x = λ F ( x ) , 0 < λ < 1 , and for each t [ 0 , T ] , we have
    x = λ F ( x ) ( t ) = λ Γ ( α ) 0 t ( t s ) α 1 f ( s , x ( s ) ) d s + λ y ( x ) + λ t T A ( x ) λ t T Γ ( α ) 0 T ( T s ) α 1 f ( s , x ( s ) ) d s λ t T y ( x ) ,
     
which implies by (3.2) that for each t [ 0 , T ] , we have
x 2 M 1 T α Γ ( α + 1 ) + M 2 + M M 1 T α + 1 Γ ( α + 2 ) + 1.5 M M 2 T + M M 1 T α + 1 2 Γ ( α + 1 ) 1 0.5 M T .

This shows that the set E is bounded. As a consequence of Schaefer’s fixed point theorem, we deduce that F has a fixed point which is a solution of boundary value problem (1.1)-(1.3). □

4 Examples

In this section, we give some examples to illustrate our main results.

Example 4.1 Consider
D 0 + 1.5 x ( t ) = e t 9 + e t | x | 1 + | x | ,
(4.1)
x ( 0 ) = i = 1 n c i x ( t i ) , 0 1 x ( t ) d t = 1 ,
(4.2)

where 0 < t 1 < t 2 < < t n < 1 , c i , i = 1 , 2 , , n , are given positive constants with i = 1 n c i < 1 2 . Consider boundary value problem (1.1)-(1.2) with α = 1.5 , f ( t , x ( t ) ) = e t 9 + e t | x | 1 + | x | , y ( x ) = i = 1 n c i x ( t i ) , m = 1 , T = 1 .

Let t [ 0.1 ] and u , u 1 R . Then
| f ( t , u ) f ( t , u 1 ) | = | e t 9 + e t | | | x | 1 + | x | | e t 9 + e t | | u | | u 1 | | 1 10 | u u 1 | .
Hence the condition (H1) holds with k = 1 10 . Also, we have
| y ( u ) y ( u 1 ) | = | i = 1 n c i u ( t i ) i = 1 n c i u 1 ( t i ) | i = 1 n | u u 1 | .

So, (H2) is satisfied with k 1 = i = 1 n c i < 1 2 .

Therefore, we can rest easy knowing that
( T α Γ ( α + 1 ) + 2 T α Γ ( α + 2 ) ) k + k 1 = ( 1 Γ ( 2.5 ) + 2 Γ ( 3.5 ) ) 1 10 + i = 1 n c i < 1 .

Thus, by Theorem 3.1, boundary value problem (4.1)-(4.2) has a unique solution.

Example 4.2 Consider
D 0 + 1.5 x ( t ) = t 1 3 e 2 t 1 + t x 2 ,
(4.3)
x ( 0 ) = i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | , 0 1 x ( t ) d t = 1 ,
(4.4)

where 0 < t 1 < t 2 < < t n < 1 , c i , i = 1 , 2 , , n , are given positive constants with  i = 1 n c i < 1 2 . Consider boundary value problem (1.1)-(1.2) with α = 1.5 , f ( t , x ( t ) ) = t 1 3 e 2 t 1 + t x 2 , y ( x ) = i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | , m = 1 , T = 1 .

Clearly,
| f ( t , x ) | | t 1 3 e 2 t 1 + t x 2 | 1 = M , | y ( x ) | i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | 1 2 = M 1 .

Hence, all the conditions of Theorem 3.2 are satisfied and consequently boundary value problem (4.3)-(4.4) has at least one solution.

Example 4.3 Consider
D 0 + 1.5 x ( t ) = e t 9 + e t | x | 1 + | x | ,
(4.5)
x ( 0 ) = i = 1 n c i x ( t i ) , x ( 1 ) = 0 1 x ( t ) sin t d t ,
(4.6)

where 0 < t 1 < t 2 < < t n < 1 , c i , i = 1 , 2 , , n , are given positive constants with i = 1 n c i < 1 8 . Consider boundary value problem (1.1)-(1.3) with α = 1.5 , f ( t , x ( t ) ) = e t 9 + e t | x | 1 + | x | , y ( x ) = i = 1 n c i x ( t i ) , g ( t ) = sin t , T = 1 .

Let t [ 0 , 1 ] and u , u 1 R . Then
| f ( t , u ) f ( t , u 1 ) | = | e t 9 + e t | | | x | 1 + | x | | e t 9 + e t | | u | | u 1 | | 1 10 | u u 1 | .
Hence the condition (H6) holds with k = 1 10 . Also, we have
| y ( u ) y ( u 1 ) | = | i = 1 n c i u ( t i ) i = 1 n c i u 1 ( t i ) | i = 1 n c i | u u 1 | .

Hence (H7) is satisfied with k 1 = i = 1 n c i < 1 8 . Set M = 1 . Then (H8) is satisfied.

We can show that
( 2 T α Γ ( α + 1 ) + T α + 1 M Γ ( α + 1 ) ( 2 M T ) + 2 T α + 1 M Γ ( α + 2 ) ( 2 M T ) ) k + 2 + 2 M T 2 M T k 1 0.618 < 1 .

Then, by Theorem 3.3, boundary value problem (4.5)-(4.6) has a unique solution.

Example 4.4 Consider
D 0 + 1.5 x ( t ) = t 1 3 e 2 t 1 + t x 2 ,
(4.7)
x ( 0 ) = i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | , x ( 1 ) = 0 1 x ( t ) sin t d t ,
(4.8)

where 0 < t 1 < t 2 < < t n < 1 , c i , i = 1 , 2 , , n , are given positive constants with  i = 1 n c i < 1 2 . Consider boundary value problem (1.1)-(1.3) with α = 1.5 , f ( t , x ( t ) ) = t 1 3 e 2 t 1 + t x 2 , y ( x ) = i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | , g ( t ) = sin t , T = 1 .

Clearly,
| f ( t , x ) | | t 1 3 e 2 t 1 + t x 2 | 1 = M 1 , | y ( x ) | i = 1 n c i | x ( t i ) | 1 + | x ( t i ) | 1 2 = M 2 , 0 < g ( t ) < 1 = M .

Hence, all the conditions of Theorem 3.4 are satisfied, and consequently boundary value problem (4.7)-(4.8) has at least one solution.

5 Conclusion

This paper studies the existence and uniqueness of solutions for the fractional differential equations with one nonlocal and one integral boundary conditions, and some results are given by using Banach’s fixed point theorem and Schaefer’s fixed point theorem. At the foundation of this paper, one can consider boundary value problems of fractional differential equations with parameters, and also can make further research on eigenvalue problems of fractional differential equations.

Declarations

Acknowledgements

The authors sincerely thank the reviewers for their valuable suggestions and useful comments that have led to the present improved version of the original manuscript. This research is supported by the Natural Science Foundation of China (11071143), Natural Science Outstanding Youth Foundation of Shandong Province (JQ201119) and supported by Shandong Provincial Natural Science Foundation (ZR2012AM009, ZR2011AL007), also supported by Natural Science Foundation of Educational Department of Shandong Province (J11LA01).

Authors’ Affiliations

(1)
School of Mathematical Sciences, University of Jinan

References

  1. Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.Google Scholar
  2. Kilbas AA, Srivastava HH, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
  3. Zhang S: The existence of a positive solution for nonlinear fractional differential equation. J. Math. Anal. Appl. 2000, 252: 804-812. 10.1006/jmaa.2000.7123MathSciNetView ArticleGoogle Scholar
  4. Zhang S: Existence of positive solutions for some class of nonlinear fractional equation. J. Math. Anal. Appl. 2003, 278: 136-148. 10.1016/S0022-247X(02)00583-8MathSciNetView ArticleGoogle Scholar
  5. Zhou Y, Jiao F, Li J: Existence and uniqueness for p -type fractional neutral differential equations. Nonlinear Anal. 2009, 71: 2724-2733. 10.1016/j.na.2009.01.105MathSciNetView ArticleGoogle Scholar
  6. Sun S, Li Q, Li Y: Existence and uniqueness of solutions for a coupled system of multi-term nonlinear fractional differential equations. Comput. Math. Appl. 2012, 64: 3310-3320. 10.1016/j.camwa.2012.01.065MathSciNetView ArticleGoogle Scholar
  7. Zhao Y, Sun S, Han Z, Zhang M: Positive solutions for boundary value problems of nonlinear fractional differential equations. Appl. Math. Comput. 2011, 217: 6950-6958. 10.1016/j.amc.2011.01.103MathSciNetView ArticleGoogle Scholar
  8. Zhao Y, Sun S, Han Z, Li Q: Positive solutions to boundary value problems of nonlinear fractional differential equations. Abstr. Appl. Anal. 2011., 2011: Article ID 390543. doi:10.1155/2011/390543Google Scholar
  9. Zhao Y, Sun S, Han Z, Li Q: The existence of multiple positive solutions for boundary value problems of nonlinear fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 2086-2097. 10.1016/j.cnsns.2010.08.017MathSciNetView ArticleGoogle Scholar
  10. Zhao Y, Sun S, Han Z, Li Q: Theory of fractional hybrid differential equations. Comput. Math. Appl. 2011, 62: 1312-1324. 10.1016/j.camwa.2011.03.041MathSciNetView ArticleGoogle Scholar
  11. Feng W, Sun S, Han Z, Zhao Y: Existence of solutions for a singular system of nonlinear fractional differential equations. Comput. Math. Appl. 2011, 62: 1370-1378. 10.1016/j.camwa.2011.03.076MathSciNetView 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. Sun S, Zhao Y, Han Z, Li Y: The existence of solutions for boundary value problem of fractional hybrid differential equations. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 4961-4967. 10.1016/j.cnsns.2012.06.001MathSciNetView ArticleGoogle Scholar
  15. Sun S, Zhao Y, Han Z, Xu M: Uniqueness of positive solutions for boundary value problems of singular fractional differential equations. Inverse Probl. Sci. Eng. 2012, 20: 299-309. 10.1080/17415977.2011.603726MathSciNetView ArticleGoogle Scholar
  16. El-Shahed M, Nieto JJ: Nontrivial solutions for a nonlinear multi-point boundary value problem of fractional order. Comput. Math. Appl. 2010, 59: 3438-3443. 10.1016/j.camwa.2010.03.031MathSciNetView ArticleGoogle Scholar
  17. Rehman M, Khan RA: 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
  18. Gallardo JM: Second order differential operators with integral boundary conditions and generation of semigroups. Rocky Mt. J. Math. 2000, 30: 1265-1291. 10.1216/rmjm/1021477351MathSciNetView ArticleGoogle Scholar
  19. Karakostas GL, Tsamatos P: Multiple positive solutions of some Fredholm integral equations arisen from nonlocal boundary-value problems. Electron. J. Differ. Equ. 2002., 2002: Article ID 30Google Scholar
  20. Zhao J, Wang P, Ge W: Existence and nonexistence of positive solutions for a class of third order BVP with integral boundary conditions in Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 2011, 16: 402-413. 10.1016/j.cnsns.2009.10.011MathSciNetView ArticleGoogle Scholar
  21. Wei Z, Pang C, Ding Y: Positive solutions of singular Caputo fractional differential equations with integral boundary conditions. Commun. Nonlinear Sci. Numer. Simul. 2012, 17: 3148-3160. 10.1016/j.cnsns.2011.12.010MathSciNetView ArticleGoogle Scholar
  22. Cabada A, Wang G: Positive solutions of nonlinear fractional differential equations with integral boundary value conditions. J. Math. Anal. Appl. 2012, 389: 403-411. 10.1016/j.jmaa.2011.11.065MathSciNetView ArticleGoogle Scholar
  23. Benchohra M, Hamani S, Ntouyas SK: Boundary value problems for differential equations with fractional order and nonlocal conditions. Nonlinear Anal. 2009, 71: 2391-2396. 10.1016/j.na.2009.01.073MathSciNetView ArticleGoogle Scholar

Copyright

© Yan 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.