Skip to content

Advertisement

  • Research
  • Open Access

Nonlocal Hadamard fractional integral conditions for nonlinear Riemann-Liouville fractional differential equations

  • Jessada Tariboon1Email author,
  • Sotiris K Ntouyas2 and
  • Weerawat Sudsutad1
Boundary Value Problems20142014:253

https://doi.org/10.1186/s13661-014-0253-9

Received: 3 August 2014

Accepted: 24 November 2014

Published: 9 December 2014

Abstract

In this paper, we introduce a new class of boundary value problems consisting of a fractional differential equation of Riemann-Liouville type, D q R L x ( t ) = f ( t , x ( t ) ) , t [ 0 , T ] , subject to the Hadamard fractional integral conditions x ( 0 ) = 0 , x ( T ) = i = 1 n α i H I p i x ( η i ) . Existence and uniqueness results are obtained by using a variety of fixed point theorems. Examples illustrating the results obtained are also presented.

MSC: 34A08, 34B15.

Keywords

Riemann-Liouville fractional derivativeHadamard fractional integralexistenceuniquenessfixed point theorems

1 Introduction

In this paper, we concentrate on the study of existence and uniqueness of solutions for the nonlinear Riemann-Liouville fractional differential equation with nonlocal Hadamard fractional integral boundary conditions of the form
D q R L x ( t ) = f ( t , x ( t ) ) , t [ 0 , T ] ,
(1.1)
x ( 0 ) = 0 , x ( T ) = i = 1 n α i H I p i x ( η i ) ,
(1.2)

where 1 < q 2 , D q R L is the standard Riemann-Liouville fractional derivative of order q, I p i H is the Hadamard fractional integral of order p i > 0 , η i ( 0 , T ) , f : [ 0 , T ] × R R , and α i R , i = 1 , 2 , , n are real constants such that i = 1 n α i η i q 1 ( q 1 ) p i T q 1 .

Several interesting and important results concerning existence and uniqueness of solutions, stability properties of solutions, analytic and numerical methods of solutions for fractional differential equations can be found in the recent literature on the topic and the search for more and more results is in progress. Fractional-order operators are nonlocal in nature and take care of the hereditary properties of many phenomena and processes. Fractional calculus has also emerged as a powerful modeling tool for many real world problems. For examples and recent development of the topic, see [1]–[14]. However, it has been observed that most of the work on the topic involves either Riemann-Liouville or Caputo type fractional derivatives. Besides these derivatives, the Hadamard fractional derivative is another kind of fractional derivative that was introduced by Hadamard in 1892 [15]. This fractional derivative differs from the other ones in the sense that the kernel of the integral (in the definition of the Hadamard derivative) contains a logarithmic function of an arbitrary exponent. For background material of the Hadamard fractional derivative and integral, we refer to [2], [16]–[22].

In the present paper we initiate the study of boundary value problems like (1.1)-(1.2), in which we combine Riemann-Liouville fractional differential equations subject to the Hadamard fractional integral boundary conditions. The key tool for this combination is Property 2.25 from [2], p.113. To the best of the authors’ knowledge this is the first paper dealing with the Riemann-Liouville fractional differential equation subject to Hadamard type integral boundary conditions.

Several new existence and uniqueness results are obtained by using a variety of fixed point theorems. Thus, in Theorem 3.1 we present an existence and uniqueness result via Banach’s fixed point theorem, while in Theorems 3.2 and 3.3 we give two other existence and uniqueness results via Banach’s fixed point theorem and Hölder inequality and nonlinear contractions, respectively. In the sequel existence results are obtained in Theorem 3.4, via Krasnoselskii’s fixed point theorem, in Theorem 3.5 via Leray-Schauder’s nonlinear alternative and finally in Theorem 3.7 via Leray-Schauder’s degree theory. Examples illustrating the results obtained are also presented.

2 Preliminaries

In this section, we introduce some notations and definitions of fractional calculus and present preliminary results needed in our proofs later.

Definition 2.1

The Riemann-Liouville fractional derivative of order q > 0 of a continuous function f : ( 0 , ) R is defined by
D q R L f ( t ) = 1 Γ ( n q ) ( d d t ) n 0 t ( t s ) n q 1 f ( s ) d s , n 1 < q < n ,

where n = [ q ] + 1 , [ q ] denotes the integer part of a real number q. Here Γ is the Gamma function defined by Γ ( q ) = 0 e s s q 1 d s .

Definition 2.2

The Riemann-Liouville fractional integral of order q > 0 of a continuous function f : ( 0 , ) R is defined by
I q R L f ( t ) = 1 Γ ( q ) 0 t ( t s ) q 1 f ( s ) d s .

Definition 2.3

The Hadamard derivative of fractional order q for a function f : ( 0 , ) R is defined as
D q H f ( t ) = 1 Γ ( n q ) ( t d d t ) n 0 t ( log t s ) n q 1 f ( s ) s d s , n 1 < q < n , n = [ q ] + 1 ,

where log ( ) = log e ( ) , provided the integral exists.

Definition 2.4

The Hadamard fractional integral of order q R + of a function f ( t ) , for all t > 0 , is defined as
I q H f ( t ) = 1 Γ ( q ) 0 t ( log t s ) q 1 f ( s ) d s s ,

provided the integral exists.

Lemma 2.1

([2], p.113])

Let q > 0 and n > 0 . Then the following formulas:
( H I q s n ) ( t ) = n q t n and ( H D q s n ) ( t ) = n q t n

hold.

Lemma 2.2

Let q > 0 and x C ( 0 , T ) L ( 0 , T ) . Then the fractional differential equation
D q R L x ( t ) = 0
has a unique solution
x ( t ) = c 1 t q 1 + c 2 t q 2 + + c n t q n ,

where c i R , i = 1 , 2 , , n , and n 1 < q < n .

Lemma 2.3

Let q > 0 . Then for x C ( 0 , T ) L ( 0 , T ) we have
R L I q R L D q x ( t ) = x ( t ) + c 1 t q 1 + c 2 t q 2 + + c n t q n ,

where c i R , i = 1 , 2 , , n , and n 1 < q < n .

Lemma 2.4

Let i = 1 n ( ( α i η i q 1 ) / ( ( q 1 ) p i ) ) T q 1 , 1 < q 2 , p i > 0 , α i R , η i ( 0 , T ) , i = 1 , 2 , 3 , , n , and h C ( [ 0 , T ] , R ) . Then the nonlocal Hadamard fractional integral problem for the nonlinear Riemann-Liouville fractional differential equation
D q R L x ( t ) = h ( t ) , 0 < t < T ,
(2.1)
subject to the boundary conditions
x ( 0 ) = 0 , x ( T ) = i = 1 n α i H I p i x ( η i ) ,
(2.2)
has a unique solution given by
x ( t ) = R L I q h ( t ) t q 1 λ ( R L I q h ( T ) i = 1 n α i ( H I p i R L I q h ) ( η i ) ) ,
(2.3)
where
λ : = T q 1 i = 1 n α i η i q 1 ( q 1 ) p i 0 .
(2.4)

Proof

Using Lemmas 2.2-2.3, (2.1) can be expressed as an equivalent integral equation
x ( t ) = R L I q h ( t ) c 1 t q 1 c 2 t q 2 ,
(2.5)
for c 1 , c 2 R . The first condition of (2.2) implies that c 2 = 0 . Taking the Hadamard fractional integral of order p i > 0 for (2.5) and using the property of the Hadamard fractional integral ( H I p i s q 1 ) ( t ) = ( q 1 ) p i t q 1 , we get
I p i H x ( t ) = ( H I p i R L I q h ) ( t ) c 1 ( H I p i s q 1 ) ( t ) = ( H I p i R L I q h ) ( t ) c 1 t q 1 ( q 1 ) p i .
The second condition of (2.2) implies that
I q R L h ( T ) c 1 T q 1 = i = 1 n α i ( H I p i R L I q h ) ( η i ) c 1 i = 1 n α i η i q 1 ( q 1 ) p i .
Thus,
c 1 = 1 λ ( R L I q h ( T ) i = 1 n α i ( H I p i R L I q h ) ( η i ) ) .

Substituting the values of c 1 and c 2 in (2.5), we obtain the solution (2.3). □

3 Main results

Throughout this paper, for convenience, we use the following expressions:
I α R L f ( s , x ( s ) ) ( z ) = 1 Γ ( α ) 0 z ( z s ) α 1 f ( s , x ( s ) ) d s , z { t , T } ,
for t [ 0 , T ] and
I p i R L H I α f ( s , x ( s ) ) ( η i ) = 1 Γ ( p i ) Γ ( α ) 0 η i 0 r ( log η i r ) p i 1 ( r s ) α 1 f ( s , x ( s ) ) r d s d r ,

where η i ( 0 , T ) for i = 1 , 2 , , n .

Let C = C ( [ 0 , T ] , R ) denote the Banach space of all continuous functions from [ 0 , T ] to endowed with the norm defined by x = sup t [ 0 , T ] | x ( t ) | . As in Lemma 2.4, we define an operator A : C C by
( A x ) ( t ) = I q R L f ( s , x ( s ) ) ( t ) t q 1 λ ( R L I q f ( s , x ( s ) ) ( T ) i = 1 n α i ( H I p i R L I q f ( s , x ( s ) ) ) ( η i ) ) .
(3.1)

It should be noticed that problem (1.1)-(1.2) has a solution if and only if the operator A has fixed points.

In the following, for the sake of convenience, we set a constant
Ω : = T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q .
(3.2)

In the following subsections we prove existence, as well as existence and uniqueness results, for the boundary value problem (1.1)-(1.2) by using a variety of fixed point theorems.

3.1 Existence and uniqueness result via Banach’s fixed point theorem

Theorem 3.1

Assume that:

(H1):there exists a constant L > 0 such that | f ( t , x ) f ( t , y ) | L | x y | , for each t [ 0 , T ] and x , y R .

If
L Ω < 1 ,
(3.3)

where Ω is defined by (3.2), then the boundary value problem (1.1)-(1.2) has a unique solution on [ 0 , T ] .

Proof

We transform the BVP (1.1)-(1.2) into a fixed point problem, x = A x , where the operator A is defined as in (3.1). Observe that the fixed points of the operator A are solutions of problem (1.1)-(1.2). Applying the Banach contraction mapping principle, we shall show that A has a unique fixed point.

We let sup t [ 0 , T ] | f ( t , 0 ) | = M < , and choose
r M Ω 1 L Ω .
(3.4)
Now, we show that A B r B r , where B r = { x C : x r } . For any x B r , we have
| ( A x ) ( t ) | sup t [ 0 , T ] { R L I q | f ( s , x ( s ) ) | ( t ) + t q 1 | λ | R L I q | f ( s , x ( s ) ) | ( T ) + t q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) | ( η i ) } I q R L ( | f ( s , x ( s ) ) f ( s , 0 ) | + | f ( s , 0 ) | ) ( T ) + T q 1 | λ | R L I q ( | f ( s , x ( s ) ) f ( s , 0 ) | + | f ( s , 0 ) | ) ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q ( | f ( s , x ( s ) ) f ( s , 0 ) | + | f ( s , 0 ) | ) ( η i ) ( L x + M ) R L I q ( 1 ) ( T ) + ( L x + M ) T q 1 | λ | R L I q ( 1 ) ( T ) + ( L x + M ) T q 1 | λ | i = 1 n | α i | H I p i R L I q ( 1 ) ( η i ) = ( L r + M ) ( T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) = ( L r + M ) Ω r ,

which implies that A B r B r .

Next, we let x , y C . Then for t [ 0 , T ] , we have
| ( A x ) ( t ) ( A y ) ( t ) | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( t ) + T q 1 | λ | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( η i ) L ( T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) x y = L Ω x y ,

which implies that A x A y L Ω x y . As L Ω < 1 , A is a contraction. Therefore, we deduce, by the Banach contraction mapping principle, that A has a fixed point which is the unique solution of the boundary value problem (1.1)-(1.2). The proof is completed. □

3.2 Existence and uniqueness result via Banach’s fixed point theorem and Hölder inequality

Theorem 3.2

Suppose that: f : [ 0 , T ] × R R is a continuous function satisfying the following assumption:

(H2): | f ( t , x ) f ( t , y ) | δ ( t ) | x y | , for t [ 0 , T ] , x , y R and δ L 1 σ ( [ 0 , T ] , R + ) , σ ( 0 , 1 ) .

Denote δ = ( 0 T | δ ( s ) | 1 σ d s ) σ . If
δ { T q σ Γ ( q ) ( 1 σ q σ ) 1 σ + T 2 q σ 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ + T q 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ i = 1 n | α i | ( q σ ) p i η i q σ } < 1 ,

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

Proof

For x , y C ( [ 0 , T ] , R ) and for each t [ 0 , T ] , by Hölder’s inequality, we have
| ( A x ) ( t ) ( A y ) ( t ) | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( t ) + T q 1 | λ | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( η i ) = 1 Γ ( q ) 0 t ( t s ) q 1 δ ( s ) | x ( s ) y ( s ) | d s + T q 1 | λ | Γ ( q ) 0 T ( T s ) q 1 δ ( s ) | x ( s ) y ( s ) | d s + T q 1 | λ | i = 1 n | α i | Γ ( p i ) Γ ( q ) 0 + η i 0 + s ( log η i s ) p i 1 ( s r ) q 1 δ ( r ) | x ( r ) y ( r ) | d r d s s 1 Γ ( q ) ( 0 t ( ( t s ) q 1 ) 1 1 σ d s ) 1 σ ( 0 t ( δ ( s ) ) 1 σ d s ) σ x y + T q 1 | λ | Γ ( q ) ( 0 T ( ( T s ) q 1 ) 1 1 σ d s ) 1 σ ( 0 T ( δ ( s ) ) 1 σ d s ) σ x y + T q 1 | λ | i = 1 n | α i | Γ ( q ) Γ ( p i ) 0 η i ( log η i s ) p i 1 ( 0 s ( ( s r ) q 1 ) 1 1 σ d r ) 1 σ × ( 0 s ( δ ( r ) ) 1 σ d r ) σ d s s x y δ T q σ Γ ( q ) ( 1 σ q σ ) 1 σ x y + δ T 2 q σ 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ x y + δ T q 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ i = 1 n | α i | Γ ( p i ) 0 η i ( log η i s ) p i 1 s q σ d s s x y δ [ T q σ Γ ( q ) ( 1 σ q σ ) 1 σ + T 2 q σ 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ + T q 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ × i = 1 n | α i | ( q σ ) p i η i q σ ] x y .

It follows that A is contraction mapping. Hence Banach’s fixed point theorem implies that A has a unique fixed point, which is the unique solution of the boundary value problem (1.1)-(1.2). The proof is completed. □

3.3 Existence and uniqueness result via nonlinear contractions

Definition 3.1

Let E be a Banach space and let A : E E be a mapping. A is said to be a nonlinear contraction if there exists a continuous nondecreasing function Ψ : R + R + such that Ψ ( 0 ) = 0 and Ψ ( ε ) < ε for all ε > 0 with the property:
A x A y Ψ ( x y ) , x , y E .

Lemma 3.1

(Boyd and Wong) [23]

Let E be a Banach space and let A : E E be a nonlinear contraction. Then A has a unique fixed point in E.

Theorem 3.3

Let f : [ 0 , T ] × R R be a continuous function satisfying the assumption:

(H3): | f ( t , x ) f ( t , y ) | h ( t ) | x y | H + | x y | , for t [ 0 , T ] , x , y 0 , where h : [ 0 , T ] R + is continuous and H the constant defined by

H : = R L I q h ( T ) + T q 1 | λ | R L I q h ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q h ( η i ) .

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

Proof

We define the operator A : C C as in (3.1) and the continuous nondecreasing function Ψ : R + R + by
Ψ ( ε ) = H ε H + ε , ε 0 .

Note that the function Ψ satisfies Ψ ( 0 ) = 0 and Ψ ( ε ) < ε for all ε > 0 .

For any x , y C and for each t [ 0 , T ] , we have
| ( A x ) ( t ) ( A y ) ( t ) | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( t ) + T q 1 | λ | R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) f ( s , y ( s ) ) | ( η i ) R L I q ( h ( s ) | x y | H + | x y | ) ( T ) + T q 1 | λ | R L I q ( h ( s ) | x y | H + | x y | ) ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q ( h ( s ) | x y | H + | x y | ) ( η i ) Ψ ( x y ) H ( R L I q h ( T ) + T q 1 | λ | R L I q h ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q h ( η i ) ) = Ψ ( x y ) .

This implies that A x A y Ψ ( x y ) . Therefore A is a nonlinear contraction. Hence, by Lemma 3.1 the operator A has a unique fixed point which is the unique solution of the boundary value problem (1.1)-(1.2). This completes the proof. □

3.4 Existence result via Krasnoselskii’s fixed point theorem

Lemma 3.2

(Krasnoselskii’s fixed point theorem) [24]

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (a) A x + B x M whenever x , y M ; (b) A is compact and continuous; (c) B is a contraction mapping. Then there exists z M such that z = A z + B z .

Theorem 3.4

Let f : [ 0 , T ] × R R be a continuous function satisfying (H1). In addition we assume that:

(H4): | f ( t , x ) | φ ( t ) , ( t , x ) [ 0 , T ] × R , and φ C ( [ 0 , T ] , R + ) .

Then the boundary value problem (1.1)-(1.2) has at least one solution on [ 0 , T ] provided
L ( T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) < 1 .
(3.5)

Proof

Setting sup t [ 0 , T ] φ ( t ) = φ and choosing
ρ φ Ω
(3.6)
(where Ω is defined by (3.2)), we consider B ρ = { x C ( [ 0 , T ] , R ) : x ρ } . We define the operators A 1 and A 2 on B ρ by
A 1 x ( t ) = R L I q f ( s , x ( s ) ) ( t ) , t [ 0 , T ] , A 2 x ( t ) = t q 1 λ ( R L I q f ( s , x ( s ) ) ( T ) i = 1 n α i ( H I p i R L I q f ( s , x ( s ) ) ) ( η i ) ) , t [ 0 , T ] .
For any x , y B ρ , we have
| ( A 1 x ) ( t ) + ( A 2 y ) ( t ) | sup t [ 0 , T ] { R L I q | f ( s , x ( s ) ) | ( t ) + t q 1 | λ | R L I q | f ( s , y ( s ) ) | ( T ) + t q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , y ( s ) ) | ( η i ) } φ ( T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) = φ Ω ρ .

This shows that A 1 x + A 2 y B ρ . It is easy to see using (3.5) that A 2 is a contraction mapping.

Continuity of f implies that the operator A 1 is continuous. Also, A 1 is uniformly bounded on B ρ as
A 1 x T q Γ ( q + 1 ) φ .

Now we prove the compactness of the operator A 1 .

We define sup ( t , x ) [ 0 , T ] × B ρ | f ( t , x ) | = f ¯ < , and consequently we have
| ( A 1 x ) ( t 2 ) ( A 1 x ) ( t 1 ) | = 1 Γ ( q ) | 0 t 1 [ ( t 2 s ) q 1 ( t 1 s ) q 1 ] f ( s , x ( s ) ) d s + t 1 t 2 ( t 2 s ) q 1 f ( s , x ( s ) ) d s | f ¯ Γ ( q + 1 ) | t 1 q t 2 q | ,

which is independent of x and tend to zero as t 2 t 1 0 . Thus, A 1 is equicontinuous. So A 1 is relatively compact on B ρ . Hence, by Arzelá-Ascoli’s theorem, A 1 is compact on B ρ . Thus all the assumptions of Lemma 3.2 are satisfied. So the conclusion of Lemma 3.2 implies that the boundary value problem (1.1)-(1.2) has at least one solution on [ 0 , T ] . □

3.5 Existence result via Leray-Schauder’s nonlinear alternative

Theorem 3.5

(Nonlinear alternative for single valued maps) [25]

Let E be a Banach space, C a closed, convex subset of E, U an open subset of C and 0 U . Suppose that A : U ¯ C is a continuous, compact (that is, A ( U ¯ ) is a relatively compact subset of C) map. Then:
  1. (i)

    either A has a fixed point in U ¯ , or

     
  2. (ii)

    there is a x U (the boundary of U in C) and λ ( 0 , 1 ) with x = λ A ( x ) .

     

Theorem 3.6

Assume that:

(H5):there exist a continuous nondecreasing function ψ : [ 0 , ) ( 0 , ) and a function p C ( [ 0 , T ] , R + ) such that
| f ( t , u ) | p ( t ) ψ ( x ) for each  ( t , x ) [ 0 , T ] × R ;
(H6):there exists a constant M > 0 such that
M ψ ( M ) p Ω > 1 ,

where Ω is defined by (3.2).

Then the boundary value problem (1.1)-(1.2) has at least one solution on [ 0 , T ] .

Proof

Let the operator A be defined by (3.1). Firstly, we shall show that A maps bounded sets (balls) into bounded sets in C ( [ 0 , T ] , R ) . For a number r > 0 , let B r = { x C ( [ 0 , T ] , R ) : x r } be a bounded ball in C ( [ 0 , T ] , R ) . Then for t [ 0 , T ] we have
| ( A x ) ( t ) | sup t [ 0 , T ] { R L I q | f ( s , x ( s ) ) | ( t ) + t q 1 | λ | R L I q | f ( s , x ( s ) ) | ( T ) + t q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) | ( η i ) } ψ ( x ) R L I q p ( s ) ( T ) + ψ ( x ) T q 1 | λ | R L I q p ( s ) ( T ) + ψ ( x ) T q 1 | λ | i = 1 n | α i | H I p i R L I q p ( s ) ( η i ) ψ ( x ) p ( T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) ,
and consequently,
A x ψ ( r ) p Ω .
Next we will show that A maps bounded sets into equicontinuous sets of C ( [ 0 , T ] , R ) . Let τ 1 , τ 2 [ 0 , T ] with τ 1 < τ 2 and x B r . Then we have
| ( A x ) ( τ 2 ) ( A x ) ( τ 1 ) | 1 Γ ( q ) | 0 τ 1 [ ( τ 2 s ) q 1 ( τ 1 s ) q 1 ] f ( s , x ( s ) ) d s + τ 1 τ 2 ( τ 2 s ) q 1 f ( s , x ( s ) ) d s | + ( τ 2 q 1 τ 1 q 1 ) | λ | R L I q | f ( s , x ( s ) ) | ( T ) + ( τ 2 q 1 τ 1 q 1 ) | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) | ( η i ) ψ ( r ) Γ ( q ) | 0 τ 1 [ ( τ 2 s ) q 1 ( τ 1 s ) q 1 ] p ( s ) d s + τ 1 τ 2 ( τ 2 s ) q 1 p ( s ) d s | + ( τ 2 q 1 τ 1 q 1 ) ψ ( r ) | λ | R L I q p ( s ) ( T ) + ( τ 2 q 1 τ 1 q 1 ) ψ ( r ) | λ | i = 1 n | α i | H I p i R L I q p ( s ) ( η i ) .

As τ 2 τ 1 0 , the right-hand side of the above inequality tends to zero independently of x B r . Therefore by Arzelá-Ascoli’s theorem the operator A : C ( [ 0 , T ] , R ) C ( [ 0 , T ] , R ) is completely continuous.

Let x be a solution. Then, for t [ 0 , T ] , and following similar computations to the first step, we have
| x ( t ) | ψ ( x ) p Ω ,
which leads to
x ψ ( x ) p Ω 1 .
In view of (H6), there exists M such that x M . Let us set
U = { x C ( [ 0 , T ] , R ) : x < M } .

We see that the operator A : U ¯ C ( [ 0 , T ] , R ) is continuous and completely continuous. From the choice of U, there is no x U such that x = ν A x for some ν ( 0 , 1 ) . Consequently, by the nonlinear alternative of Leray-Schauder type, we deduce that A has a fixed point x U ¯ which is a solution of the boundary value problem (1.1)-(1.2). This completes the proof. □

3.6 Existence result via Leray-Schauder’s degree theory

Theorem 3.7

Let f : [ 0 , T ] × R R be a continuous function. Suppose that

(H5):there exist constants 0 κ < Ω 1 and M > 0 such that
| f ( t , x ) | κ | x | + M for all  ( t , x ) [ 0 , T ] × R ,

where Ω is defined by (3.2).

Then the boundary value problem (1.1)-(1.2) has at least one solution on [ 0 , T ] .

Proof

We define an operator A : C C as in (3.1). In view of the fixed point problem
x = A x .
(3.7)
We shall prove the existence of at least one solution x C [ 0 , T ] satisfying (3.7). Set a ball B R C [ 0 , T ] , as
B R = { x C : max t C [ 0 , T ] | x ( t ) | < R } ,
where a constant radius R > 0 . Hence, we shall show that A : B ¯ R C [ 0 , T ] satisfies the condition
x θ A x , x B R , θ [ 0 , 1 ] .
(3.8)
We set
H ( θ , x ) = θ A x , x C , θ [ 0 , 1 ] .
As shown in Theorem 3.6 we see that the operator A is continuous, uniformly bounded, and equicontinuous. Then, by Arzelá-Ascoli’s theorem, a continuous map h θ defined by h θ ( x ) = x H ( θ , x ) = x θ A x is completely continuous. If (3.8) holds, then the following Leray-Schauder degrees are well defined, and by the homotopy invariance of topological degree it follows that
deg ( h θ , B R , 0 ) = deg ( I θ A , B R , 0 ) = deg ( h 1 , B R , 0 ) = deg ( h 0 , B R , 0 ) = deg ( I , B R , 0 ) = 1 0 , 0 B R ,
where I denotes the unit operator. By the nonzero property of the Leray-Schauder degree, h 1 ( x ) = x A x = 0 for at least one x B R . Let us assume that x = θ A x for some θ [ 0 , 1 ] and for all t [ 0 , T ] so that
| x ( t ) | = | θ ( A x ) ( t ) | I q R L | f ( s , x ( s ) ) | ( t ) + t q 1 | λ | R L I q | f ( s , x ( s ) ) | ( T ) + t q 1 | λ | i = 1 n | α i | H I p i R L I q | f ( s , x ( s ) ) | ( η i ) ( κ | x | + M ) R L I q ( 1 ) ( T ) + ( κ | x | + M ) T q 1 | λ | R L I q ( 1 ) ( T ) + ( κ | x | + M ) T q 1 | λ | i = 1 n | α i | H I p i R L I q p ( s ) ( η i ) ( κ | x | + M ) ( T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) = ( κ | x | + M ) Ω ,
which, on taking the norm sup t [ 0 , T ] | x ( t ) | = x and solving for x , yields
x M Ω 1 κ Ω .

If R = M Ω 1 κ Ω + 1 , inequality (3.8) holds. This completes the proof. □

4 Examples

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

Example 4.1

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 3 2 R L x ( t ) = sin 2 ( π t ) ( e t + 3 ) 2 | x ( t ) | | x ( t ) | + 1 + 3 2 , t [ 0 , 3 ] , x ( 0 ) = 0 , x ( 3 ) + 5 H I 1 / 2 x ( 9 4 ) = 4 5 H I 2 x ( 3 4 ) + 3 2 H I π x ( 3 2 ) .
(4.1)
Here q = 3 / 2 , n = 3 , T = 3 , α 1 = 4 / 5 , α 2 = 3 / 2 , α 3 = 5 , p 1 = 2 , p 2 = π , p 3 = 1 / 2 , η 1 = 3 / 4 , η 2 = 3 / 2 , η 3 = 9 / 4 , and f ( t , x ) = ( sin 2 ( π t ) / ( e t + 3 ) 2 ) ( | x | / ( 1 + | x | ) ) + ( 3 / 2 ) . Since | f ( t , x ) f ( t , y ) | ( 1 / 16 ) | x y | , (H1) is satisfied with L = 1 / 16 . By using a Maple program, we can find that
Ω : = T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q 7.239901027 .

Thus L Ω 0.4524938142 < 1 . Hence, by Theorem 3.1, the boundary value problem (4.1) has a unique solution on [ 0 , 3 ] .

Example 4.2

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 4 3 R L x ( t ) = e t e t + 8 | x ( t ) | | x ( t ) | + 2 + 1 , t [ 0 , 3 2 ] , x ( 0 ) = 0 , x ( 3 2 ) + 2 3 H I 2 / 2 x ( 3 5 ) + π H I 3 x ( 6 5 ) = 1 5 H I 1 / 4 x ( 3 10 ) + 1 3 H I 6 / 5 x ( 9 10 ) .
(4.2)
Here q = 4 / 3 , n = 4 , T = 3 / 2 , α 1 = 1 / 5 , α 2 = 2 / 3 , α 3 = 1 / 3 , α 4 = π / 2 , p 1 = 1 / 4 , p 2 = 2 / 2 , p 3 = 6 / 5 , p 4 = 3 , η 1 = 3 / 10 , η 2 = 3 / 5 , η 3 = 9 / 10 , and η 4 = 6 / 5 . Since | f ( t , x ) f ( t , y ) | ( 2 e t / ( e t + 8 ) ) | x y | , then (H2) is satisfied with δ ( t ) = 2 e t / ( e t + 8 ) and σ = 1 / 2 . By using a Maple program, we can show that
δ { T q σ Γ ( q ) ( 1 σ q σ ) 1 σ + T 2 q σ 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ + T q 1 | λ | Γ ( q ) ( 1 σ q σ ) 1 σ i = 1 n | α i | ( q σ ) p i η i q σ } 0.9380422264 < 1 .

Hence, by Theorem 3.2, the boundary value problem (4.2) has a unique solution on [ 0 , 3 / 2 ] .

Example 4.3

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 7 6 R L x ( t ) = t 2 ( t + 2 ) 2 | x ( t ) | | x ( t ) | + 1 + 3 t + 4 5 , t [ 0 , 2 ] , x ( 0 ) = 0 , x ( 2 ) = 2 H I π x ( 2 5 ) + 2 3 H I 5 / 4 x ( 4 3 ) + 3 H I 3 / 7 x ( 3 2 ) .
(4.3)
Here q = 7 / 6 , n = 3 , T = 2 , α 1 = 2 , α 2 = 2 / 3 , α 3 = 3 , p 1 = π , p 2 = 5 / 4 , p 3 = 3 / 7 , η 1 = 2 / 5 , η 2 = 4 / 3 , η 3 = 3 / 2 , and f ( t , x ) = ( t 2 | x | / ( ( t + 2 ) 2 ) ( | x | + 1 ) ) + 3 t + ( 4 / 5 ) . We choose h ( t ) = t 2 / 4 and
H : = I q R L h ( T ) + T q 1 | λ | R L I q h ( T ) + T q 1 | λ | i = 1 n | α i | H I p i R L I q h ( η i ) 0.6432886158 .
Clearly,
| f ( t , x ) f ( t , y ) | = t 2 ( t + 2 ) 2 | | x | | y | 1 + | x | + | y | + | x | | y | | t 2 4 ( | x y | 0.6432886158 + | x y | ) .

Hence, by Theorem 3.3, the boundary value problem (4.3) has a unique solution on [ 0 , 2 ] .

Example 4.4

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 5 4 R L x ( t ) = e t 2 sin 2 ( 2 t ) ( t + 3 ) 2 | x ( t ) | | x ( t ) | + 1 + t 1 t + 1 , t [ 0 , 2 π ] , x ( 0 ) = 0 , x ( 2 π ) + 3 H I 1 / 2 x ( π 3 ) + 3 4 H I 3 / 4 x ( 2 π 3 ) = H I 4 / 5 x ( π ) + 1 9 H I 4 / 3 x ( 4 π 3 ) + 2 H I 2 / 3 x ( 5 π 3 ) .
(4.4)
Here q = 5 / 4 , n = 5 , T = 2 π , α 1 = 3 , α 2 = 3 / 4 , α 3 = 1 , α 4 = 1 / 9 , α 5 = 2 , p 1 = 1 / 2 , p 2 = 3 / 4 , p 3 = 4 / 5 , p 4 = 4 / 3 , p 5 = 2 / 3 , η 1 = π / 3 , η 2 = 2 π / 3 , η 3 = π , η 4 = 4 π / 3 , η 5 = 5 π / 3 , and f ( t , x ) = ( e t 2 sin 2 ( 2 t ) | x | ) / ( ( ( t + 3 ) 2 ) ( | x | + 1 ) ) + ( t 1 ) / ( t + 1 ) . Since | f ( t , x ) f ( t , y ) | ( 1 / 9 ) | x y | , (H1) is satisfied with L = 1 / 36 . By a Maple program, we show that
L ( T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q ) 0.9518560542 < 1 .
Clearly,
| f ( t , x ) | = | e t 2 sin 2 ( 2 t ) ( t + 3 ) 2 | x ( t ) | | x ( t ) | + 1 + t 1 t + 1 | e t 2 9 + t 1 t + 1 .

Hence, by Theorem 3.4, the boundary value problem (4.4) has at least one solution on [ 0 , 2 π ] .

Example 4.5

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 6 5 R L x ( t ) = 1 64 ( 1 + t 2 ) ( x 2 | x | + 1 + | x | 2 ( 1 + | x | ) + 1 2 ) , t [ 0 , e ] , x ( 0 ) = 0 , x ( e ) = 1 2 H I 2 x ( 1 2 ) 5 H I 3 x ( 2 3 ) + 3 H I 5 x ( 1 ) .
(4.5)
Here q = 6 / 5 , n = 3 , T = e , α 1 = 1 / 2 , α 2 = 5 , α 3 = 3 , p 1 = 2 , p 2 = 3 , p 3 = 5 , η 1 = 1 / 2 , η 2 = 2 / 3 , η 3 = 1 , and f ( t , x ) = ( 1 / 64 ) ( 1 + t 2 ) ( ( x 2 / ( | x | + 1 ) ) + ( x ) / ( 2 ( 1 + x ) ) + ( 1 / 2 ) ) . It is easy to verify that
Ω : = T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q 3.905177250 .
Clearly,
| f ( t , x ) | = | 1 64 ( 1 + t 2 ) ( x 2 | x | + 1 + | x | 2 ( 1 + | x | ) + 1 2 ) | 1 64 ( 1 + t 2 ) ( | x | + 1 ) .
Choosing p ( t ) = ( 1 / 64 ) ( 1 + t 2 ) and ψ ( | x | ) = | x | + 1 , we can show that
M ψ ( M ) p Ω > 1 ,

which implies that M > 1.048704821 . Hence, by Theorem 3.6, the boundary value problem (4.5) has at least one solution on [ 0 , e ] .

Example 4.6

Consider the following nonlocal Hadamard fractional integral conditions for a nonlinear Riemann-Liouville fractional differential equation:
{ D 7 4 R L x ( t ) = 1 2 π sin ( π 2 x ) | x | | x | + 1 + 1 , t [ 0 , 1 ] , x ( 0 ) = 0 , x ( 1 ) = 3 H I 1 / 2 x ( 1 2 ) 2 H I 3 / 2 x ( 3 4 ) .
(4.6)
Here q = 7 / 4 , n = 2 , T = 1 , α 1 = 3 , α 2 = 2 , p 1 = 1 / 2 , p 2 = 3 / 2 , η 1 = 1 / 2 , η 2 = 3 / 4 , and f ( t , x ) = ( 1 / 2 π ) ( sin ( π x / 2 ) ) ( | x | / ( | x | + 1 ) ) + 1 . We can show that
Ω : = T q Γ ( q + 1 ) + T 2 q 1 | λ | Γ ( q + 1 ) + T q 1 | λ | Γ ( q + 1 ) i = 1 n | α i | q p i η i q 1.582207843 .
Since
| f ( t , x ) | = | 1 2 π sin ( π 2 x ) | x | | x | + 1 + 1 | 1 4 | x | + 1 ,
(H5) is satisfied with κ = 1 / 4 and M = 1 such that
κ = 1 4 < 1 Ω 0.6320282158 .

Hence, by Theorem 3.7, the boundary value problem (4.6) has at least one solution on [ 0 , 1 ] .

Authors’ information

Sotiris K Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM)-Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.

Declarations

Acknowledgements

This research was funded by King Mongkut’s University of Technology North Bangkok, Thailand. Contract no. KMUTNB-GEN-58-09.

Authors’ Affiliations

(1)
Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok, Thailand
(2)
Department of Mathematics, University of Ioannina, Ioannina, Greece

References

  1. Podlubny I: Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
  2. Kilbas AA, Srivastava HM, Trujillo JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
  3. Baleanu D, Diethelm K, Scalas E, Trujillo JJ: Fractional Calculus Models and Numerical Methods. World Scientific, Boston; 2012.Google Scholar
  4. Agarwal RP, Zhou Y, He Y: Existence of fractional neutral functional differential equations. Comput. Math. Appl. 2010, 59: 1095-1100. 10.1016/j.camwa.2009.05.010MathSciNetView ArticleGoogle Scholar
  5. Baleanu D, Mustafa OG, Agarwal RP:On L p -solutions for a class of sequential fractional differential equations. Appl. Math. Comput. 2011, 218: 2074-2081. 10.1016/j.amc.2011.07.024MathSciNetView ArticleGoogle Scholar
  6. Ahmad B, Nieto JJ: Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions. Bound. Value Probl. 2011., 2011: 10.1186/1687-2770-2011-36Google Scholar
  7. Ahmad B, Ntouyas SK, Alsaedi A: New existence results for nonlinear fractional differential equations with three-point integral boundary conditions. Adv. Differ. Equ. 2011., 2011: 10.1155/2011/107384Google Scholar
  8. O’Regan D, Stanek S: Fractional boundary value problems with singularities in space variables. Nonlinear Dyn. 2013, 71: 641-652. 10.1007/s11071-012-0443-xMathSciNetView ArticleGoogle Scholar
  9. Ahmad B, Ntouyas SK, Alsaedi A: A study of nonlinear fractional differential equations of arbitrary order with Riemann-Liouville type multistrip boundary conditions. Math. Probl. Eng. 2013., 2013:Google Scholar
  10. Ahmad B, Nieto JJ: Boundary value problems for a class of sequential integrodifferential equations of fractional order. J. Funct. Spaces Appl. 2013., 2013: 10.1155/2013/149659Google Scholar
  11. Zhang L, Ahmad B, Wang G, Agarwal RP: Nonlinear fractional integro-differential equations on unbounded domains in a Banach space. J. Comput. Appl. Math. 2013, 249: 51-56. 10.1016/j.cam.2013.02.010MathSciNetView ArticleGoogle Scholar
  12. Liu X, Jia M, Ge W: Multiple solutions of a p -Laplacian model involving a fractional derivative. Adv. Differ. Equ. 2013., 2013: 10.1186/1687-1847-2013-126Google Scholar
  13. Sudsutad W, Tariboon J: Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions. Adv. Differ. Equ. 2012., 2012: 10.1186/1687-1847-2012-93Google Scholar
  14. Sudsutad W, Tariboon J: Existence results of fractional integro-differential equations with m -point multi-term fractional order integral boundary conditions. Bound. Value Probl. 2012., 2012: 10.1186/1687-2770-2012-94Google Scholar
  15. Hadamard J: Essai sur l’étude des fonctions données par leur développement de Taylor. J. Math. Pures Appl. 1892, 8: 101-186.Google Scholar
  16. Butzer PL, Kilbas AA, Trujillo JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 2002, 269: 387-400. 10.1016/S0022-247X(02)00049-5MathSciNetView ArticleGoogle Scholar
  17. Butzer PL, Kilbas AA, Trujillo JJ: Fractional calculus in the Mellin setting and Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 269: 1-27. 10.1016/S0022-247X(02)00001-XMathSciNetView ArticleGoogle Scholar
  18. Butzer PL, Kilbas AA, Trujillo JJ: Mellin transform analysis and integration by parts for Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 270: 1-15. 10.1016/S0022-247X(02)00066-5MathSciNetView ArticleGoogle Scholar
  19. Kilbas AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 2001, 38: 1191-1204.MathSciNetGoogle Scholar
  20. Kilbas AA, Trujillo JJ: Hadamard-type integrals as G -transforms. Integral Transforms Spec. Funct. 2003, 14: 413-427. 10.1080/1065246031000074443MathSciNetView ArticleGoogle Scholar
  21. Jarad F, Abdeljawad T, Baleanu D: Caputo-type modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2012., 2012: 10.1186/1687-1847-2012-142Google Scholar
  22. Gambo YY, Jarad F, Baleanu D, Abdeljawad T: On Caputo modification of the Hadamard fractional derivatives. Adv. Differ. Equ. 2014., 2014: 10.1186/1687-1847-2014-10Google Scholar
  23. Boyd DW, Wong JSW: On nonlinear contractions. Proc. Am. Math. Soc. 1969, 20: 458-464. 10.1090/S0002-9939-1969-0239559-9MathSciNetView ArticleGoogle Scholar
  24. Krasnoselskii MA: Two remarks on the method of successive approximations. Usp. Mat. Nauk 1955, 10: 123-127.MathSciNetGoogle Scholar
  25. Granas A, Dugundji J: Fixed Point Theory. Springer, New York; 2003.View ArticleGoogle Scholar

Copyright

© Tariboon et al.; licensee Springer. 2014

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

Advertisement