Skip to main content

Advertisement

Existence results for fractional differential equations with three-point boundary conditions

Article metrics

Abstract

In this paper, we study three-point boundary value problems of nonlinear fractional differential equations. Existence and uniqueness results are obtained by using standard fixed point theorems. Some examples are given to illustrate the results.

MSC:34A60, 26A33, 34B15.

1 Introduction

Fractional differential equations have gained much importance and attention due to the fact that they have been proved to be valuable tools in the modeling of many phenomena in engineering and sciences such as physics, mechanics, economics and biology, etc. [13]. For some developments on the existence results of fractional differential equations, we can refer to [425] and the references therein.

In recent years, there has been a great deal of research on the questions of existence and uniqueness of solutions to boundary value problems for differential equations of fractional order. For example, Ahmad and Nieto [8] investigated the existence and uniqueness of solutions for an anti-periodic fractional boundary value problem

{ D α c x ( t ) = f ( t , x ( t ) ) , t [ 0 , T ] , 1 < α 2 , T > 0 , x ( 0 ) = x ( T ) , c D γ x ( 0 ) = c D γ x ( T ) , 0 < γ < 1 ,
(1)

where D α c denotes the Caputo fractional derivative of order α, f is a given continuous function.

In [16], the author discussed the existence of solutions for the following nonlinear fractional differential equations with anti-periodic-type fractional boundary conditions

{ D α c x ( t ) = f ( t , x ( t ) , c D β x ( t ) ) , t [ 0 , T ] , 1 < α 2 , 0 < β 1 , x ( 0 ) + μ 1 x ( T ) = σ 1 , c D γ x ( 0 ) + μ 2 c D γ x ( T ) = σ 2 , 0 < γ < 1 ,
(2)

where D q c denotes the Caputo fractional derivative of order q, μ 1 1, μ 1 0, σ 1 , σ 2 are real constants, and f is a given continuous function.

Fractional differential equations with three-point integral boundary conditions of the following form were considered in [15] by Ahmad et al.

{ D α c x ( t ) = f ( t , x ( t ) ) , t [ 0 , 1 ] , 1 < α 2 , x ( 0 ) = 0 , x ( 1 ) = a 0 η x ( s ) d s , 0 < η < 1 ,
(3)

where D α c denotes the Caputo fractional derivative of order α, f is a given continuous function, and aR with a η 2 2.

By a simple computation, we observed that D γ c x(0)=0 in equations (1) and (2). This implies that the boundary conditions D γ c x(0)= c D γ x(T) in (1) and D γ c x(0)+ μ 2 c D γ x(T)= σ 2 in (2) actually are equivalent to the boundary conditions D γ c x(T)=0 and μ 2 c D γ x(T)= σ 2 , respectively.

Motivated by the papers above, in this article, firstly, we study fractional differential equations with the three-point boundary conditions in the following form

{ D α c x ( t ) = f ( t , x ( t ) ) , t [ 0 , T ] , 1 < α 2 , T > 0 , a 1 x ( 0 ) + b 1 x ( T ) = c 1 , a 2 ( c D γ x ( η ) ) + b 2 ( c D γ x ( T ) ) = c 2 , 0 < η < T , 0 < γ < 1 ,
(4)

where D q c denotes the Caputo fractional derivative of order q, a i , b i , c i , i=1,2 are real constants such that a 1 + b 1 0, a 2 η 1 γ + b 2 T 1 γ 0, and f is a given continuous function.

Then we consider the fractional differential equations with three-point integral boundary conditions

{ D α c x ( t ) = f ( t , x ( t ) , c D β x ( t ) ) , t [ 0 , 1 ] , 1 < α 2 , 0 < β < 1 , x ( 0 ) = 0 , a I γ x ( η ) + b x ( 1 ) = c , 0 < η < 1 ,
(5)

where D q c denotes the Caputo fractional derivative of order q, I γ the Riemann-Liouville fractional integral of order γ, f is a given continuous function, and a, b, c are real constants with a η 1 + γ bΓ(β+2).

We remark that when a i = b i =1, c i =0 and η0, problem (3) reduces to the anti-periodic fractional boundary value problem (1) (cf. [8]).

The paper is organized as follows: in Section 2 we present the notations, definitions and give some preliminary results that we need in the sequel, Sections 3 and 4 are dedicated to the existence results of problems (4) and (5), respectively, in the final Section 5, two examples are given to illustrate the results.

2 Preliminaries

Definition 2.1 [17]

The Riemann-Liouville fractional integral of order q for a continuous function f:[0,)R is defined as

I q f(t)= 1 Γ ( q ) 0 t f ( s ) ( t s ) 1 q ds,q>0,

provided the integral exists.

Definition 2.2 [17]

For (n1) times absolutely continuous function f:[0,)R, the Caputo derivative of fractional order q is defined as

D q c f(t)= 1 Γ ( n q ) 0 t ( t s ) n q 1 f ( n ) (s)ds,n1<q<n,n=[q]+1,

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

Lemma 2.1 [12]

Let α>0, then the differential equation

D α c h(t)=0

has solutions h(t)= c 0 + c 1 t+ c 2 t 2 ++ c n 1 t n 1 and

I α c D α h(t)=h(t)+ c 0 + c 1 t+ c 2 t 2 ++ c n 1 t n 1 ,

here c i R, i=0,1,2,,n1, n=[α]+1.

The following are two standard fixed point theorems, which will be used in Sections 3 and 4 (see [26]).

Theorem 2.1 Let X be a Banach space, let B be a nonempty closed convex subset of X. Suppose that F:BB is a continuous compact map. Then F has a fixed point in B.

Theorem 2.2 (Nonlinear alternative for single-valued maps)

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

3 Existence results for problem (4)

Lemma 3.1 For any yC([0,T],R), the unique solution of the three-point boundary value problem

{ D α c x ( t ) = y ( t ) , t [ 0 , T ] , 1 < α 2 , a 1 x ( 0 ) + b 1 x ( T ) = c 1 , a 2 ( c D γ x ( η ) ) + b 2 ( c D γ x ( T ) ) = c 2 , 0 < η < T , 0 < γ < 1 ,
(6)

is given by

x ( t ) = 0 t ( t s ) α 1 Γ ( α ) y ( s ) d s b 1 a 1 + b 1 0 T ( T s ) α 1 Γ ( α ) y ( s ) d s + c 1 a 1 + b 1 + b 1 T Γ ( 2 γ ) ( a 1 + b 1 ) Γ ( 2 γ ) t ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) × ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) y ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) y ( s ) d s c 2 ) .

Proof For 1<α2, by Lemma 2.1, we know that the general solution of the equation D α c x(t)=y(t) can be written as

x(t)= I α y(t) k 0 k 1 t= 0 t ( t s ) α 1 Γ ( α ) y(s)ds k 0 k 1 t,
(7)

where k 0 , k 1 R are arbitrary constants. Since D γ c k 0 =0, D γ c t= t 1 γ Γ ( 2 γ ) , D γ c I α y(t)= I α γ y(t), we have

D γ c x(t)= I α γ y(t) k 1 t 1 γ Γ ( 2 γ ) = 0 t ( t s ) α γ 1 Γ ( α γ ) y(s)ds k 1 t 1 γ Γ ( 2 γ ) .

Using the boundary conditions, we obtain

a 1 ( k 0 ) + b 1 ( 0 T ( T s ) α 1 Γ ( α ) y ( s ) d s k 0 k 1 T ) = c 1 , a 2 0 η ( η s ) α γ 1 Γ ( α γ ) y ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) y ( s ) d s k 1 ( a 2 η 1 γ + b 2 T 1 γ ) Γ ( 2 γ ) = c 2 .

Therefore, we have

k 0 = b 1 a 1 + b 1 0 T ( T s ) α 1 Γ ( α ) y ( s ) d s c 1 a 1 + b 1 b 1 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) k 0 = × ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) y ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) y ( s ) d s c 2 ) , k 1 = Γ ( 2 γ ) ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) y ( s ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) y ( s ) d s c 2 ) a 2 η 1 γ + b 2 T 1 γ .

Substituting the values of k 0 , k 1 in (7), we obtain the result. This completes the proof. □

From the proof of Lemma 3.1, we note that when 0<γ<1, D γ c x(η)= 0 η ( η s ) α γ 1 Γ ( α γ ) y(s)ds k 1 η 1 γ Γ ( 2 γ ) , that is to say, the non-separateness feature in (4) is more expressed than those in (1).

Let J=[0,T] and C=C(J,R) be the Banach space of all continuous real functions from J into equipped with the norm x= sup t J |x(t)|. In view of Lemma 3.1, we define an operator F:CC as follows

( F x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s b 1 a 1 + b 1 0 T ( T s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s + b 1 T Γ ( 2 γ ) ( a 1 + b 1 ) Γ ( 2 γ ) t ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) × ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s c 2 ) + c 1 a 1 + b 1 .

Note that problem (4) has solutions if and only if the operator Fx has fixed points. We denote by Fx= F 1 x+ F 2 x, where

( F 1 x)(t)= 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) ) ds,( F 2 x)(t)= k 1 x t k 0 x .

Here the constants k 0 x and k 1 x are given by

k 0 x = b 1 a 1 + b 1 0 T ( T s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s c 1 a 1 + b 1 b 1 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) k 0 = × ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s c 2 ) , k 1 x = Γ ( 2 γ ) ( a 2 0 η ( η s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s + b 2 0 T ( T s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s c 2 ) a 2 η 1 γ + b 2 T 1 γ .

Now, we are in a position to present our main results.

Theorem 3.1 Suppose that f:J×RR is continuous and satisfies

| f ( t , x ) f ( t , y ) | m(t)|xy|

for tJ, x,yR, and m L (J, R + ). If

(U+V) ( 1 + | b 1 | | a 1 + b 1 | ) <1,
(8)

then problem (4) has a unique solution, where

m= sup t J | m ( t ) | ,U= T α m Γ ( α + 1 ) ,V= m Γ ( 2 γ ) ( T η α γ | a 2 | + T α γ + 1 | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | .

Proof Denote N(x,y)=f(s,x(s))f(s,y(s)). For any x,yC and each tJ, we have

| ( F 1 x ) ( t ) ( F 1 y ) ( t ) | 0 t ( t s ) α 1 Γ ( α ) | N ( x , y ) | d s | ( F 1 x ) ( t ) ( F 1 y ) ( t ) | m x y 0 t ( t s ) α 1 Γ ( α ) d s | ( F 1 x ) ( t ) ( F 1 y ) ( t ) | U x y , | ( F 2 x ) ( t ) ( F 2 y ) ( t ) | T | k 1 x k 1 y | + | k 0 x k 0 y | , T | k 1 x k 1 y | T Γ ( 2 γ ) | a 2 | | a 2 η 1 γ + b 2 T 1 γ | | 0 η ( η s ) α γ 1 Γ ( α γ ) N ( x , y ) d s | T | k 1 x k 1 y | + T Γ ( 2 γ ) | b 2 | | a 2 η 1 γ + b 2 T 1 γ | | 0 T ( T s ) α γ 1 Γ ( α γ ) N ( x , y ) d s | T | k 1 x k 1 y | m T Γ ( 2 γ ) | a 2 | | a 2 η 1 γ + b 2 T 1 γ | x y + m T Γ ( 2 γ ) | b 2 | | a 2 η 1 γ + b 2 T 1 γ | x y T | k 1 x k 1 y | = V x y , | k 0 x k 0 y | | b 1 a 1 + b 1 | | 0 T ( T s ) α 1 Γ ( α ) N ( x , y ) d s | | k 0 x k 0 y | + | b 1 a 2 | T Γ ( 2 γ ) | a 1 + b 1 | | a 2 η 1 γ + b 2 T 1 γ | | 0 η ( η s ) α γ 1 Γ ( α γ ) N ( x , y ) d s | | k 0 x k 0 y | + | b 1 b 2 | T Γ ( 2 γ ) | a 1 + b 1 | | a 2 η 1 γ + b 2 T 1 γ | | 0 T ( T s ) α γ 1 Γ ( α γ ) N ( x , y ) d s | | k 0 x k 0 y | ( U | b 1 | | a 1 + b 1 | + V | b 1 | | a 1 + b 1 | ) x y .

Therefore, we have

( F x ) ( t ) ( F y ) ( t ) (U+V) ( 1 + | b 1 | | a 1 + b 1 | ) xy.

This together with (8) implies that is a contraction mapping. The contraction mapping principle yields that has a unique fixed point, which is the unique solution of problem (4). This completes the proof. □

Corollary 3.1 Suppose that f:J×RR is continuous and satisfies

| f ( t , x ) f ( t , y ) | L|xy|

for tJ, x,yR, and L>0. Then problem (4) has a unique solution, provided

( T α L Γ ( α + 1 ) + L Γ ( 2 γ ) ( T η α γ | a 2 | + T α γ + 1 | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | ) ( 1 + | b 1 | | a 1 + b 1 | ) <1.

Theorem 3.2 Let f:J×RR be a continuous function. Assume that

| f ( t , x ) | m(t)+d | x | ρ

for each tJ, xR, m L (J, R + ), d0 and 0ρ<1. Then problem (4) has at least one solution.

Proof Let B r ={xC:x(t)r and tJ}, M=m+d r ρ , where

r max { 2 K , ( 2 L d ) 1 1 ρ } , K = ( 1 + | b 1 | | a 1 + b 1 | ) ( T α m Γ ( α + 1 ) + T m Γ ( 2 γ ) ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | ) K = + T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | + | b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) c 1 a 1 + b 1 | , L = ( 1 + | b 1 | | a 1 + b 1 | ) ( T α Γ ( α + 1 ) + T Γ ( 2 γ ) ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | ) .

Observe that B r is a closed, bounded convex subset of the Banach space .

Firstly, we prove that F: B r B r . For any x B r , we have

| ( F 1 x ) ( t ) | 0 t ( t s ) α 1 Γ ( α ) ( m ( s ) + d | x ( s ) | ρ ) d s T α M Γ ( α + 1 ) , T | k 1 x | T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | + T Γ ( 2 γ ) | a 2 0 η ( η s ) α γ 1 f ( s , x ( s ) ) d s | Γ ( α γ ) | a 2 η 1 γ + b 2 T 1 γ | T | k 1 x | + T Γ ( 2 γ ) | b 2 0 T ( T s ) α γ 1 f ( s , x ( s ) ) d s | Γ ( α γ ) | a 2 η 1 γ + b 2 T 1 γ | T | k 1 x | T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | + T M Γ ( 2 γ ) ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | , | k 0 x | | b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) c 1 a 1 + b 1 | | k 0 x | + | b 1 a 1 + b 1 0 T ( T s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s | + T Γ ( 2 γ ) | b 1 | | ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) | | k 0 x | × ( | a 2 0 η ( η s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s | + | b 2 0 T ( T s ) α γ 1 Γ ( α γ ) f ( s , x ( s ) ) d s | ) | k 0 x | | b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) c 1 a 1 + b 1 | + T α M | b 1 | Γ ( α + 1 ) | a 1 + b 1 | | k 0 x | + T M Γ ( 2 γ ) | b 1 | ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) | .

Hence, we have

F x ( 1 + | b 1 | | a 1 + b 1 | ) ( T α m Γ ( α + 1 ) + T m Γ ( 2 γ ) ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | ) + T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | + | b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) c 1 a 1 + b 1 | + d r ρ ( 1 + | b 1 | | a 1 + b 1 | ) ( T α Γ ( α + 1 ) + T Γ ( 2 γ ) ( η α γ | a 2 | + T α γ | b 2 | ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | ) K + d r ρ L r 2 + r 2 = r .

This implies that F: B r B r .

Secondly, we prove that maps bounded sets into equicontinuous sets. Let B be any bounded set of . Notice that f is continuous on J, therefore, without loss of generality, we can assume that there is an N such that

| f ( t , x ( t ) ) | N

for any tJ and xB. Now, we let 0 t 1 t 2 T. Then for each xB, we have

| ( F 1 x ) ( t 2 ) ( F 1 x ) ( t 1 ) | | 0 t 1 ( t 2 s ) α 1 ( t 1 s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s | + | t 1 t 2 ( t 2 s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s | N ( t 2 t 1 ) α Γ ( α + 1 ) + N ( t 1 α + ( t 2 t 1 ) α t 2 α ) Γ ( α + 1 ) 2 N ( t 2 t 1 ) α Γ ( α + 1 )

and

| ( F 2 x ) ( t 2 ) ( F 2 x ) ( t 1 ) | | k 1 x | ( t 2 t 1 ) Γ ( 2 γ ) ( N η α γ | a 2 | + N T α γ | b 2 | + Γ ( α γ + 1 ) | c 2 | ) ( t 2 t 1 ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | .

Hence, we have

( F x ) ( t 2 ) ( F x ) ( t 1 ) 0as  t 2 t 1 ,

and the limit is independent of xB. 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 . By Theorem 2.1, we know that problem (4) has at least one solution. The proof is completed. □

Corollary 3.2 Assume that |f(t,x)|ν(t) for tJ, xR with νC(J, R + ). Then problem (4) has at least one solution.

Theorem 3.3 Let f:J×RR be a continuous function. Assume that

  1. (1)

    there exists a function m L (J, R + ) and a non-decreasing function φ:[0,)[0,) such that

    | f ( t , x ) | m(t)φ ( x ) ,

where tJ, xR;

  1. (2)

    there exists a constant K>0 such that

    K R + φ ( K ) Q >1,

where

R = T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | + | c 1 a 1 + b 1 b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) | , Q = T α m Γ ( α + 1 ) + T Γ ( 2 γ ) m ( | a 2 | η 1 γ + | b 2 | T 1 γ ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | Q = + m | b 1 | | a 1 + b 1 | ( T Γ ( 2 γ ) ( | a 2 | η 1 γ + | b 2 | T 1 γ ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | + T α Γ ( α + 1 ) ) .

Then problem (4) has at least one solution.

Proof Firstly, we prove that maps bounded sets into bounded sets in . Let B be a bounded subset of and xr for any xB. As in the proof of Theorem 3.2, we have

| ( F 1 x ) ( t ) | | 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) ) | d s T α m φ ( r ) Γ ( α + 1 ) , | ( F 2 x ) ( t ) | T | k 1 x | + | k 0 x | , T | k 1 x | T Γ ( 2 γ ) m φ ( r ) ( | a 2 | η 1 γ + | b 2 | T 1 γ ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | + T Γ ( 2 γ ) | c 2 | | a 2 η 1 γ + b 2 T 1 γ | , | k 0 x | m φ ( r ) | b 1 | | a 1 + b 1 | ( T Γ ( 2 γ ) ( | a 2 | η 1 γ + | b 2 | T 1 γ ) Γ ( α γ + 1 ) | a 2 η 1 γ + b 2 T 1 γ | + T α Γ ( α + 1 ) ) | k 0 x | + | c 1 a 1 + b 1 b 1 c 2 T Γ ( 2 γ ) ( a 1 + b 1 ) ( a 2 η 1 γ + b 2 T 1 γ ) | .

Hence,

FxR+φ(r)Q.

Secondly, we claim that is equicontinuous. The proof of this claim is the same as the one in the proof of Theorem 3.2.

Finally, we let x=λFx for some λ(0,1). Then for each tJ, we have

|x|=|λFx|R+φ ( x ) Q.

This implies that

x R + φ ( x ) Q 1.

According to the assumptions, we know that there exists K such that Kx. Let

O= { y C : y < K } .

The operator F: O ¯ C is continuous and completely continuous. Combining the choice of O and Theorem 2.2, we can deduce that has a fixed point in O ¯ , which is a solution of problem (4). □

4 Existence results for problem (5)

Lemma 4.1 For any yC([0,1],R), the unique solution of the three-point boundary value problem

{ D α c x ( t ) = y ( t ) , t [ 0 , 1 ] , 1 < α 2 , x ( 0 ) = 0 , a I γ x ( η ) + b x ( 1 ) = c , 0 < η < 1 ,
(9)

is given by

x ( t ) = 0 t ( t s ) α 1 Γ ( α ) y ( s ) d s + t ( c b 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s ) a η 1 + γ Γ ( γ + 2 ) + b t a 0 η ( η s ) α + γ 1 Γ ( α + γ ) y ( s ) d s a η 1 + γ Γ ( γ + 2 ) + b .

Proof For 1<α2 and some constants c 0 , c 1 R, the general solution of the equation D α c x(t)=y(t) can be written as

x(t)= I α y(t)+ c 0 + c 1 t.
(10)

From x(0)=0, it follows that c 0 =0. Using the integral boundary conditions of (9), we obtain

( a η 1 + γ Γ ( γ + 2 ) + b ) c 1 +a I α + γ y(η)+b 0 1 ( 1 s ) α 1 Γ ( α ) y(s)ds=c.

Therefore, we have

c 1 = c b 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s a 0 η ( η s ) α + γ 1 Γ ( α + γ ) y ( s ) d s a η 1 + γ Γ ( γ + 2 ) + b .

Substituting the values of c 0 , c 1 , we obtain the result. This completes the proof. □

Define the space X={x:x  and  c D β xC([0,1],R),0<β<1} endowed with the norm x = max t [ 0 , 1 ] |x(t) | + max t [ 0 , 1 ] | c D β x(t)|. Obviously, (X, ) is a Banach space. In order to obtain the existence results of problem (5), by Lemma 4.1, we define an operator S:XX as follows

( S x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) ( N x ) ( s ) d s + t ( c b 0 1 ( 1 s ) α 1 Γ ( α ) ( N x ) ( s ) d s ) a η 1 + γ Γ ( γ + 2 ) + b t a 0 η ( η s ) α + γ 1 Γ ( α + γ ) ( N x ) ( s ) d s a η 1 + γ Γ ( γ + 2 ) + b ,

where

(Nx)(t)=f ( t , x ( t ) , c D β x ( t ) ) .

Since f is continuous, it is easy to see that

( c D β Sx)(t)= ( I α β N x ) (t) k t 1 β Γ ( 2 β ) ,

here k is a constant given by

k= b 0 1 ( 1 s ) α 1 Γ ( α ) ( N x ) ( s ) d s + a 0 η ( η s ) α + γ 1 Γ ( α + γ ) ( N x ) ( s ) d s c a η 1 + γ Γ ( γ + 2 ) + b .

Theorem 4.1 Let f:[0,1]×R×RR be a continuous function satisfying that

| 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,1], x i , y i R, i=1,2 and m(t) L 1 τ ([0,1], R + ), τ(0,α1). Then problem (5) has a unique solution provided that Δ+Λ<1, where Δ, Λ are given by

Δ = m ( 1 τ α τ ) 1 τ Γ ( α ) ( 1 + | b | | a η 1 + γ Γ ( γ + 2 ) + b | ) + m | a | η α + γ τ ( 1 τ α + γ τ ) 1 τ Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | , Λ = m Γ ( 2 β ) ( | b | Γ ( α ) ( 1 τ α τ ) 1 τ + | a | η α + γ τ Γ ( α + γ ) ( 1 τ α + γ τ ) 1 τ ) Λ = + m ( 1 τ α β τ ) 1 τ Γ ( α β ) .

Proof Let x,yX and m= ( 0 1 | m ( s ) | 1 τ d s ) τ . Then for each t[0,1], we have

| ( S x ) ( t ) ( S y ) ( t ) | 0 t ( t s ) α 1 Γ ( α ) | ( N x ) ( s ) N ( y ) ( s ) | d s + | b | 0 1 ( 1 s ) α 1 | ( N x ) ( s ) N ( y ) ( s ) | d s Γ ( α ) | a η 1 + γ Γ ( γ + 2 ) + b | + | a | 0 η ( η s ) α + γ 1 | ( N x ) ( s ) N ( y ) ( s ) | d s Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | 0 t ( t s ) α 1 Γ ( α ) m ( s ) x y d s + | b | 0 1 ( 1 s ) α 1 m ( s ) x y d s Γ ( α ) | a η 1 + γ Γ ( γ + 2 ) + b | + | a | 0 η ( η s ) α + γ 1 m ( s ) x y d s Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | .

By the Hölder inequality, we have

| ( S x ) ( t ) ( S y ) ( t ) | { m ( 1 τ α τ ) 1 τ Γ ( α ) ( 1 + | b | | a η 1 + γ Γ ( γ + 2 ) + b | ) + m | a | η α + γ τ ( 1 τ α + γ τ ) 1 τ Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | } x y = Δ x y .

Similarly, we have

| ( c D β S x ) ( t ) ( c D β S y ) ( t ) | m Γ ( 2 β ) ( | b | Γ ( α ) ( 1 τ α τ ) 1 τ + | a | η α + γ τ Γ ( α + γ ) ( 1 τ α + γ τ ) 1 τ ) x y + m ( 1 τ α β τ ) 1 τ x y Γ ( α β ) = Λ x y .

From the inequalities above, we can deduce that

( S x ) ( t ) ( S y ) ( t ) (Δ+Λ) x y .

By the contraction principle, we know that problem (5) has a unique solution. □

Theorem 4.2 Assume that

  1. (1)

    there exist two non-decreasing functions ρ 1 , ρ 2 :[0,)[0,) and a function m L 1 τ ([0,1], R + ) with τ(0,α1) such that

    | f ( t , x , y ) | m(t) ( ρ 1 ( | x | ) + ρ 2 ( | y | ) )

for t[0,1] and x,yR;

  1. (2)

    there exists a constant Z>0 such that

    Z | c | ( 1 + Γ ( 2 β ) ) Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | + m W ( ρ 1 ( Z ) + ρ 2 ( Z ) ) >1,

where m= ( 0 1 | m ( s ) | 1 τ d s ) τ and

W = 1 Γ ( α ) ( 1 + | b | | a η 1 + γ Γ ( γ + 2 ) + b | + | b | Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | ) ( 1 τ α τ ) 1 τ + | a | η α + γ τ Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 + 1 Γ ( 2 β ) ) ( 1 τ α + γ τ ) 1 τ + 1 Γ ( α β ) ( 1 τ α β τ ) 1 τ .

Then problem (5) has at least one solution on [0,1].

Proof The proof consists of the following steps.

Firstly, we show that the operator S:XX maps bounded sets into bounded sets. Let B r ={xX: x r} be a bounded set in X. Then for each x B r , we have

| S x | 0 t ( t s ) α 1 Γ ( α ) | ( N x ) ( s ) | d s + ( | c | + | b | 0 1 ( 1 s ) α 1 Γ ( α ) | ( N x ) ( s ) | d s ) | a η 1 + γ Γ ( γ + 2 ) + b | + | a | 0 η ( η s ) α + γ 1 Γ ( α + γ ) | ( N x ) ( s ) | d s | a η 1 + γ Γ ( γ + 2 ) + b | ρ 1 ( r ) + ρ 2 ( r ) Γ ( α ) 0 t ( t s ) α 1 m ( s ) d s + | c | | a η 1 + γ Γ ( γ + 2 ) + b | + ( ρ 1 ( r ) + ρ 2 ( r ) ) ( | a | 0 η ( η s ) α + γ 1 Γ ( α + γ ) m ( s ) d s + | b | 0 1 ( 1 s ) α 1 Γ ( α ) m ( s ) d s ) | a η 1 + γ Γ ( γ + 2 ) + b | .

By using the Hölder inequality, we have

| S x | m ( ρ 1 ( r ) + ρ 2 ( r ) ) ( 1 τ α τ ) 1 τ Γ ( α ) ( 1 + | b | | a η 1 + γ Γ ( γ + 2 ) + b | ) + | c | | a η 1 + γ Γ ( γ + 2 ) + b | + | a | m η α + γ τ ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 τ α + γ τ ) 1 τ .

Similarly, we can obtain that

| ( c D β S x ) ( t ) | | ( I α β N x ) ( t ) | + | k | Γ ( 2 β ) m ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( α β ) ( 1 τ α β τ ) 1 τ + | b | m ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( 2 β ) Γ ( α ) | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 τ α τ ) 1 τ + | a | m η α + γ τ ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( 2 β ) Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 τ α + γ τ ) 1 τ + | c | Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | .

Therefore, we have

( S x ) ( t ) m ( ρ 1 ( r ) + ρ 2 ( r ) ) ( 1 τ α τ ) 1 τ Γ ( α ) ( 1 + | b | | a η 1 + γ Γ ( γ + 2 ) + b | + | b | Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | ) + m ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( α β ) ( 1 τ α β τ ) 1 τ + | c | | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 + 1 Γ ( 2 β ) ) + | a | m η α + γ τ ( ρ 1 ( r ) + ρ 2 ( r ) ) Γ ( α + γ ) | a η 1 + γ Γ ( γ + 2 ) + b | ( 1 + 1 Γ ( 2 β ) ) ( 1 τ α + γ τ ) 1 τ .

That is to say, we have

( S x ) ( t ) | c | ( 1 + Γ ( 2 β ) ) Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | +mW ( ρ 1 ( r ) + ρ 2 ( r ) ) .

Secondly, by a discussion similar to that of Theorem 3.2, we can get

| ( S x ) ( t 2 ) ( S x ) ( t 1 ) | 0 , | ( c D β S x ) ( t 2 ) ( c D β S x ) ( t ) ( t 1 ) | 0

as t 2 t 1 . This implies that

( S x ) ( t 2 ) ( S x ) ( t 1 ) 0as  t 2 t 1 .

Finally, we let x=λSx for λ(0,1). Then for each t[0,1], we have

x = λ S x | c | ( 1 + Γ ( 2 β ) ) Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | +mW ( ρ 1 ( x ) + ρ 2 ( x ) ) .

That is to say,

x | c | ( 1 + Γ ( 2 β ) ) Γ ( 2 β ) | a η 1 + γ Γ ( γ + 2 ) + b | + m W ( ρ 1 ( x ) + ρ 2 ( x ) ) 1.

By the assumptions and a discussion similar to the one in the proof of Theorem 3.3, we can deduce that has a fixed point in X. So the proof of this theorem is completed. □

5 Examples

In this section, we give two examples to illustrate the main results.

Example 1 Consider the boundary value problem

{ D 5 3 c x ( t ) = ( 5 t 2 3 t ) e x 2 ( t ) + 1 3 π | x ( t ) | 1 4 , t [ 0 , 1 ] , 3 x ( 0 ) + 1 2 x ( 1 ) = 2 , c D 1 2 x ( 1 4 ) + 1 3 ( c D 1 2 x ( 1 ) ) = 1 3 .
(11)

Here α= 5 3 , γ= 1 2 , a 1 =3, b 1 = 1 2 , c 1 =2, a 2 =1, b 2 = 1 3 , c 2 = 1 3 , T=1 and

f(t,x)= ( 5 t 2 3 t ) e x 2 ( t ) + 1 3 π | x ( t ) | 1 4 .

Since

| f ( t , x ) | | 5 t 2 3 t | + 1 3 π | x | 1 4 ,

let d= 1 3 π , ρ= 1 4 and m(t)=|5 t 2 3t|. Thus, by Theorem 3.2, problem (11) has at least one solution on [0,1].

Example 2 Consider the following fractional differential equation

{ D 3 2 c x ( t ) = e x 2 ( t ) ( 5 + t ) 2 | x ( t ) | 1 + | x ( t ) | + | c D 3 4 x ( t ) | ( 4 + sin 2 x ( t ) ) 2 , t [ 0 , 1 ] , x ( 0 ) = 0 , 2 [ I 5 2 x ] ( 1 3 ) + x ( 1 ) = 2 .
(12)

In this case α= 3 2 , β= 3 4 , γ= 5 2 , a= 2 , b=1, c=2, η= 1 3 and

f ( t , x , c D 3 4 x ) = e x 2 ( 5 + t ) 2 | x | 1 + | x | + D 3 4 c x ( 4 + sin 2 x ) 2 .

Since

| f ( t , x , c D 3 4 x ) f ( t , y , c D 3 4 y ) | 1 16 ( | x y | + | c D 3 4 x c D 3 4 y | ) ,

let τ= 1 3 , we have

Δ+Λ0.1831<1.

By Theorem 4.1, we know that problem (12) has at least one solution.

References

  1. 1.

    Băleanu D, Machado JAT, Luo ACJ: Fractional Dynamics and Control. Springer, Berlin; 2012.

  2. 2.

    Sabatier J, Agrawal OP, Machado JAT (Eds): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht; 2007.

  3. 3.

    Lakshmikantham V, Leela S, Vasundhara Devi J: Theory of Fractional Dynamic Systems. Cambridge Scientific Publishers, Cambridge; 2009.

  4. 4.

    Bai ZB: On positive solutions of a nonlocal fractional boundary value problem. Nonlinear Anal. 2010, 72(2):916–924. 10.1016/j.na.2009.07.033

  5. 5.

    Chen AP, Tian YS: 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-1

  6. 6.

    Chen Y, Tang XH: Positive solutions of fractional differential equations at resonance on the half-line. Bound. Value Probl. 2012., 2012: Article ID 64

  7. 7.

    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.029

  8. 8.

    Ahmad B, Nieto JJ: Anti-periodic fractional boundary value problems. Comput. Math. Appl. 2011, 62: 1150–1156. 10.1016/j.camwa.2011.02.034

  9. 9.

    Wang GT, Ahmad B, Zhang LH: 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.030

  10. 10.

    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-3

  11. 11.

    Zhou Y, Jiao F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal. 2010, 11: 4465–4475. 10.1016/j.nonrwa.2010.05.029

  12. 12.

    Zhang S: Positive solutions for boundary-value problems of nonlinear fractional differential equations. Electron. J. Differ. Equ. 2006., 2006: Article ID 36

  13. 13.

    Wang JR, Zhou Y, Feckan M: On recent developments in the theory of boundary value problems for impulsive fractional differential equations. Comput. Math. Appl. 2012, 64: 3008–3020. 10.1016/j.camwa.2011.12.064

  14. 14.

    Wang JR, Feckan M, Zhou Y: On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. Partial Differ. Equ. 2011, 8: 345–361. 10.4310/DPDE.2011.v8.n4.a3

  15. 15.

    Ahmad B, Ntouyas B, Alsaedi S: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011., 2011: Article ID 107384

  16. 16.

    Ahmad B: Nonlinear fractional differential equations with anti-periodic type fractional boundary conditions. Differ. Equ. Dyn. Syst. 2013. 10.1007/s12591-012-0154-2

  17. 17.

    Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.

  18. 18.

    Ahmad B, Nieto JJ, Alsaedi A, Mohamad N: On a new class of anti-periodic fractional boundary value problems. Abstr. Appl. Anal. 2013., 2013: Article ID 606454

  19. 19.

    Hamani S, Benchohra M, Graef JR: Existence results for boundary-value problems with nonlinear fractional differential inclusions and integral conditions. Electron. J. Differ. Equ. 2010., 2010: Article ID 20

  20. 20.

    Cernea A: Some remarks on a fractional differential inclusion with non-separated boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2011., 2011: Article ID 45

  21. 21.

    Chen AP, Chen Y: Existence of solutions to anti-periodic boundary value problem for nonlinear fractional differential equations. Differ. Equ. Dyn. Syst. 2011., 2011: Article ID 915689

  22. 22.

    Wang JR, Feckan M, Zhou Y: Ulam’s type stability of impulsive ordinary differential equations. J. Math. Anal. Appl. 2012, 395: 258–264. 10.1016/j.jmaa.2012.05.040

  23. 23.

    Wang JR, Zhou Y, Medved M: Picard and weakly Picard operators technique for nonlinear differential equations in Banach spaces. J. Math. Anal. Appl. 2012, 389: 261–274. 10.1016/j.jmaa.2011.11.059

  24. 24.

    Ahmad B, Nieto JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011., 2011: Article ID 36

  25. 25.

    Sudsutad W, Tariboon J: Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions. Adv. Differ. Equ. 2012., 2012: Article ID 93

  26. 26.

    Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.

Download references

Acknowledgements

The author would like to express his thanks to the referees for their helpful suggestions. This work is partially supported by Shaoxing University (No. 20125009).

Author information

Correspondence to Xi Fu.

Additional information

Competing interests

The author declares that he has no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and Permissions

About this article

Keywords

  • fractional differential equations
  • boundary value problems
  • existence results