1 Introduction

Nonlocal boundary value problems of fractional differential equations have been extensively studied in the recent years. In fact, the subject of fractional calculus has been quite attractive and exciting due to its applications in the modeling of many physical and engineering problems. For theoretical and practical development of the subject, we refer to the books [15]. Some recent results on fractional boundary value problems can be found in [614] and references therein. In [11], the authors studied a boundary value problem of fractional differential equations with fractional separated boundary conditions.

In this article, motivated by [11], we consider a fractional boundary value problem with fractional integro-differential boundary conditions given by

{ D α c x ( t ) = f ( t , x ( t ) ) , 1 < α 2 , t [ 0 , 1 ] , α 1 x ( 0 ) + β 1 ( c D p x ( 0 ) ) = γ 1 0 η ( η s ) α 2 Γ ( α 1 ) x ( s ) d s , 0 < p < 1 , α 2 x ( 1 ) + β 2 ( c D p x ( 1 ) ) = γ 2 0 σ ( σ s ) α 2 Γ ( α 1 ) x ( s ) d s , 0 < η , σ < 1 ,
(1.1)

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

The main aim of the present study is to obtain some existence results for the problem (1.1). As a first step, we transform the given problem to a fixed point problem and show the existence of fixed points for the transformed problem which in turn correspond to the solutions of the actual problem. The methods used to prove the existence results are standard; however, their exposition in the framework of the problem (1.1) is new.

2 Preliminaries

Let us recall some basic definitions of fractional calculus [1, 2].

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

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

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

Definition 2.2 The Riemann-Liouville fractional integral of order q is defined as

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

provided the integral exists.

To define the solution of the boundary value problem (1.1), we need the following lemma, which deals with a linear variant of the problem (1.1).

Lemma 2.3 For a given yC([0,1],R), the unique solution of the linear fractional boundary value problem

{ D α c x ( t ) = y ( t ) , 1 < α 2 , α 1 x ( 0 ) + β 1 ( c D p x ( 0 ) ) = γ 1 0 η ( η s ) α 2 Γ ( α 1 ) x ( s ) d s , 0 < p < 1 , α 2 x ( 1 ) + β 2 ( c D p x ( 1 ) ) = γ 2 0 σ ( σ s ) α 2 Γ ( α 1 ) x ( s ) d s , 0 < η , σ < 1
(2.1)

is given by

x ( t ) = 0 t ( t s ) α 1 Γ ( α ) y ( s ) d s + μ 1 ( t ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s + μ 2 ( t ) { γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) y ( s ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s } ,
(2.2)

where

μ 1 ( t ) = γ 1 ( Δ 1 Δ 2 t ) , μ 2 ( t ) = γ 1 Δ 3 + Δ 4 t , Δ 1 = 1 Δ ( α 2 γ 2 σ α Γ ( α + 1 ) + β 2 Γ ( 2 p ) ) , Δ 2 = 1 Δ ( α 2 γ 2 σ α 1 Γ ( α ) ) , Δ 3 = η α Δ Γ ( α + 1 ) , Δ 4 = 1 Δ ( α 1 γ 1 η α 1 Γ ( α ) ) , Δ = ( α 1 γ 1 η α 1 Γ ( α ) ) ( α 2 γ 2 σ α Γ ( α + 1 ) + β 2 Γ ( 2 p ) ) + γ 1 η α Γ ( α + 1 ) ( α 2 γ 2 σ α 1 Γ ( α ) ) 0 .
(2.3)

Proof It is well known [2] that the solution of the fractional differential equation in (2.1) can be written as

x(t)= 0 t ( t s ) α 1 Γ ( α ) y(s)ds+ c 0 + c 1 t.
(2.4)

Using D p c b=0 (b is a constant), D p c t= t 1 p Γ ( 2 p ) , D p c I q y(t)= I q p y(t), (2.4) gives

D p c x(t)= 0 t ( t s ) α p 1 Γ ( α p ) y(s)ds c 1 t 1 p Γ ( 2 p ) .
(2.5)

Using the integral boundary conditions of the problem (2.1) together with (2.3), (2.4), and (2.5) yields

c 0 = 1 Δ { γ 1 ( α 2 γ 2 σ α Γ ( α + 1 ) + β 2 Γ ( 2 p ) ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s + γ 1 η α Γ ( α + 1 ) ( γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) y ( s ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s ) } , c 1 = 1 Δ { γ 1 ( α 2 γ 2 σ α 1 Γ ( α ) ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s + ( α 1 γ 1 η α 1 Γ ( α ) ) ( γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) y ( s ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) y ( s ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) y ( s ) d s ) } .

Substituting the values of c 0 , c 1 in (2.4), we get (2.2). This completes the proof. □

Remark 2.4 Notice that the solution (2.2) is independent of the parameter β 1 , which distinguishes the present work from the one containing the fractional differential equation of (2.1) with the boundary conditions of the form:

α 1 x ( 0 ) + β 1 x ( 0 ) = γ 1 0 η ( η s ) α 2 Γ ( α 1 ) x ( s ) d s , α 2 x ( 1 ) + β 2 x ( 1 ) = γ 2 0 σ ( σ s ) α 2 Γ ( α 1 ) x ( s ) d s .
(2.6)

In case β 1 =0= β 2 , the boundary conditions in (2.1) coincide with (2.6) and consequently the corresponding solutions become identical.

3 Main results

Let C=C([0,1],R) denote the Banach space of all continuous functions from [0,1] into ℝ endowed with the usual supremum norm.

In view of Lemma 2.3, we define an operator F:CC by

( F x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s + μ 1 ( t ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s + μ 2 ( t ) { γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) f ( s , x ( s ) ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s } .
(3.1)

Observe that the problem (1.1) has solutions if and only if the operator equation Fx=x has fixed points.

In the sequel, we use the following notation:

ω = max t [ 0 , 1 ] { t α Γ ( α + 1 ) + | μ 1 ( t ) | η 2 α 1 Γ ( 2 α ) + | μ 2 ( t ) | ( | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | Γ ( α p + 1 ) + | α 2 | Γ ( α + 1 ) ) } = 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) ,
(3.2)

where μ ˜ 1 =| γ 1 |(| Δ 1 |+| Δ 2 |), μ ˜ 2 =| γ 1 Δ 3 |+| Δ 4 | with Δ i (i=1,2,3,4) given by (2.3).

Our first result is based on the Leray-Schauder nonlinear alternative [15].

Lemma 3.1 (Nonlinear alternative for single valued maps)

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

  1. (i)

    F has a fixed point in U ¯ , or

  2. (ii)

    there is a uU (the boundary of U in C) and λ(0,1) with u=λF(u).

Theorem 3.2 Let f:[0,1]×RR be a jointly continuous function. Assume that:

( A 1 ) there exist a function pC([0,1], R + ) and a nondecreasing function ψ: R + R + such that |f(t,x)|p(t)ψ(x), (t,x)[0,1]×R;

( A 2 ) there exists a constant M>0 such that

M ψ ( M ) { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } p >1.

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

Proof Consider the operator F:CC defined by (3.1). We show that F maps bounded sets into bounded sets in C([0,1],R). For a positive number r, let B r ={xC([0,1],R):xr} be a bounded set in C([0,1],R). Then

F x sup t [ 0 , 1 ] { 0 t ( t s ) α 1 Γ ( α ) | f ( s , x ( s ) ) | d s + | μ 1 ( t ) | 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) | d s + | μ 2 ( t ) | ( | γ 2 | 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) | d s + | β 2 | 0 1 ( 1 s ) α p 1 Γ ( α p ) | f ( s , x ( s ) ) | d s + | α 2 | 0 1 ( 1 s ) α 1 Γ ( α ) | f ( s , x ( s ) ) | d s ) } ψ ( r ) { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } p .

Next, we show that F maps bounded sets into equicontinuous sets of C([0,1],R). Let t , t [0,1] with t < t and x B r , where B r is a bounded set of C([0,1],R). Then we obtain

| ( F x ) ( t ) ( F x ) ( t ) | = | 1 Γ ( q ) 0 t ( t s ) q 1 f ( s , x ( s ) ) d s 1 Γ ( q ) 0 t ( t s ) q 1 f ( s , x ( s ) ) d s γ 1 Δ 2 ( t t ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s + Δ 4 ( t t ) { γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) f ( s , x ( s ) ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s } | 1 Γ ( q ) 0 t | ( t s ) q 1 ( t s ) q 1 | ψ ( r ) p ( s ) d s + 1 Γ ( q ) t t | t s | q 1 ψ ( r ) p ( s ) d s + | γ 1 Δ 2 ( t t ) | 0 η | η s | 2 α 2 Γ ( 2 α 1 ) ψ ( r ) p ( s ) d s + | Δ 4 ( t t ) | { | γ 2 | 0 σ | σ s | 2 α 2 Γ ( 2 α 1 ) ψ ( r ) p ( s ) d s | β 2 | 0 1 | 1 s | α p 1 Γ ( α p ) ψ ( r ) p ( s ) d s | α 2 | 0 1 | 1 s | α 1 Γ ( α ) ψ ( r ) p ( s ) d s } .

Obviously, the right-hand side of the above inequality tends to zero independently of x B r as t t 0. As ℱ satisfies the above assumptions, therefore, it follows by the Arzelá-Ascoli theorem that F:C([0,1],R)C([0,1],R) is completely continuous.

Let x be a solution. Then for t[0,1], using the computations in proving that ℱ is bounded, we have

| x ( t ) | = | λ ( F x ) ( t ) | ψ ( x ) { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } p .

Consequently, we have

x ψ ( x ) { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } p 1.

In view of ( A 2 ), there exists M such that xM. Let us set

U= { x C ( [ 0 , 1 ] , R ) : x < M + 1 } .

Note that the operator F: U ¯ C([0,1],R) is continuous and completely continuous. From the choice of U, there is no xU such that x=λF(x) for some λ(0,1). Consequently, by the nonlinear alternative of Leray-Schauder type (Lemma 3.1), we deduce that ℱ has a fixed point x U ¯ which is a solution of the problem (1.1). This completes the proof. □

In the special case when p(t)=1 and ψ(|x|)=κ|x|+N (κ and N are suitable constants) in the statement of Theorem 3.2, we have the following corollary.

Corollary 3.3 Let f:[0,1]×RR be a continuous function. Assume that there exist constants 0κ<1/ω, where ω is given by (3.2) and N>0 such that |f(t,x)|κ|x|+N for all t[0,1], xC[0,1]. Then the boundary value problem (1.1) has at least one solution.

Next, we prove an existence and uniqueness result by means of Banach’s contraction mapping principle.

Theorem 3.4 Suppose that f:[0,1]×RR is a continuous function and satisfies the following assumption:

( A 3 ) |f(t,x)f(t,y)|L|xy|, t[0,1], L>0, x,yR.

Then the boundary value problem (1.1) has a unique solution provided

ω<1/L,
(3.3)

where ω is given by (3.2).

Proof With rMω/(1Lω), we define B r ={xF:xr}, where M= sup t [ 0 , 1 ] |f(t,0)|< and ω is given by (3.2). Then we show that F B r B r . For x B r , we have

F x = sup t [ 0 , 1 ] | ( F x ) ( t ) | sup t [ 0 , 1 ] { 0 t ( t s ) α 1 Γ ( α ) | f ( s , x ( s ) ) | d s + | μ 1 ( t ) | 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) | d s + | μ 2 ( t ) | ( | γ 2 | 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) | d s + | β 2 | 0 1 ( 1 s ) α p 1 Γ ( α p ) | f ( s , x ( s ) ) | d s + | α 2 | 0 1 ( 1 s ) α 1 Γ ( α ) | f ( s , x ( s ) ) | d s ) } .

Using |f(s,x(s))||f(s,x(s))f(s,0)|+|f(s,0)|Lx+MLr+M, the above expression yields

F x ( L r + M ) sup t [ 0 , 1 ] { 0 t ( t s ) α 1 Γ ( α ) d s + | μ 1 ( t ) | 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) d s + | μ 2 ( t ) | ( | γ 2 | 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) d s + | β 2 | 0 1 ( 1 s ) α p 1 Γ ( α p ) d s + | α 2 | 0 1 ( 1 s ) α 1 Γ ( α ) d s ) } ( L r + M ) { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } = ( L r + M ) ω r ,

where we used (3.2). Now, for x,yC and for each t[0,1], we obtain

( F x ) ( t ) ( F y ) ( t ) sup t [ 0 , 1 ] { 0 t ( t s ) α 1 Γ ( α ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s + | μ 1 ( t ) | 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s + | μ 2 ( t ) | ( | γ 2 | 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s + | β 2 | 0 1 ( 1 s ) α p 1 Γ ( α p ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s + | α 2 | 0 1 ( 1 s ) α 1 Γ ( α ) | f ( s , x ( s ) ) f ( s , y ( s ) ) | d s ) } L { 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) } x y = L ω x y .

Note that ω depends only on the parameters involved in the problem. As Lω<1, therefore, ℱ is a contraction. Hence, by Banach’s contraction mapping principle, the problem (1.1) has a unique solution on [0,1]. □

Now, we prove the existence of solutions of (1.1) by applying Krasnoselskii’s fixed point theorem [16].

Theorem 3.5 (Krasnoselskii’s fixed point theorem)

Let M be a closed, bounded, convex, and nonempty subset of a Banach space X. Let A, B be the operators such that (i) Ax+ByM whenever x,yM; (ii) A is compact and continuous; (iii) B is a contraction mapping. Then there exists zM such that z=Az+Bz.

Theorem 3.6 Let f:[0,1]×RR be a jointly continuous function satisfying the assumption ( A 3 ). In addition we assume that:

( A 4 ) |f(t,x)|μ(t), (t,x)[0,1]×R, and μC([0,1], R + ).

Then the problem (1.1) has at least one solution on [0,1] if

| α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) <1.
(3.4)

Proof Letting sup t [ 0 , 1 ] |μ(t)|=μ, we choose a real number r ¯ satisfying the inequality

r ¯ μ [ 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) ] ,

and consider B r ¯ ={xC:x r ¯ }. We define the operators P and Q on B r ¯ as

( P x ) ( t ) = 0 t ( t s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s , ( Q x ) ( t ) = μ 1 ( t ) 0 η ( η s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s + μ 2 ( t ) ( γ 2 0 σ ( σ s ) 2 α 2 Γ ( 2 α 1 ) f ( s , x ( s ) ) d s β 2 0 1 ( 1 s ) α p 1 Γ ( α p ) f ( s , x ( s ) ) d s α 2 0 1 ( 1 s ) α 1 Γ ( α ) f ( s , x ( s ) ) d s ) .

For x,y B r ¯ , we find that

P x + Q y μ [ 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) ] r ¯ .

Thus, Px+Qy B r ¯ . It follows from the assumption ( A 3 ) together with (3.4) that Q is a contraction mapping. Continuity of f implies that the operator P is continuous. Also, P is uniformly bounded on B r ¯ as

Px μ Γ ( q + 1 ) .

Now, we prove the compactness of the operator P.

In view of ( A 1 ), we define sup ( t , x ) [ 0 , 1 ] × B r ¯ |f(t,x)|= f ¯ , and consequently, for t 1 , t 2 [0,1], we have

| ( P x ) ( t 1 ) ( P x ) ( t 2 ) | = | 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 ) [ 2 ( | t 2 t 1 | ) q + | t 1 q t 2 q | ] ,

which is independent of x. Thus, P is equicontinuous. Hence, by the Arzelá-Ascoli theorem, P is compact on B r ¯ . Thus, all the assumptions of Theorem 3.5 are satisfied. So, the conclusion of Theorem 3.5 implies that the boundary value problem (1.1) has at least one solution on [0,1]. □

4 Examples

Example 4.1 Consider the following boundary value problem:

{ D 3 / 2 c x ( t ) = 1 ( 12 π ) sin ( 2 π x ) + | x | 1 + | x | + 1 30 | x | + t 2 + 2 , t [ 0 , 1 ] , x ( 0 ) + 3 ( c D 1 / 3 x ( 0 ) ) = 0 1 / 4 ( 1 / 4 s ) 1 / 2 Γ ( 1 / 2 ) x ( s ) d s , x ( 1 ) + 2 ( c D 1 / 3 x ( 1 ) ) = 3 0 3 / 4 ( 3 / 4 s ) 1 / 2 Γ ( 1 / 2 ) x ( s ) d s .
(4.1)

Here, α=3/2, p=1/3, α 1 =1, β 1 =3, γ 1 =1, η=1/4, α 2 =1, β 2 =2, γ 2 =3, σ=3/4, and

ω= 1 + | α 2 | μ ˜ 2 Γ ( α + 1 ) + μ ˜ 1 η 2 α 1 + μ ˜ 2 | γ 2 | σ 2 α 1 Γ ( 2 α ) + | β 2 | μ ˜ 2 Γ ( α p + 1 ) 3.578386.

Clearly,

| f ( t , x ) | =| 1 ( 12 π ) sin(2πx)+ | x | 1 + | x | + 1 30 |x|+ t 2 +2| 1 5 |x|+4.

Clearly, N=4 and

κ= 1 5 < 1 ω = 1 3.578386 .

Thus, all the conditions of Corollary 3.3 are satisfied and consequently the problem (4.1) has at least one solution.

Example 4.2 Consider the following fractional boundary value problem:

{ D 3 / 2 c x ( t ) = L 2 ( x + tan 1 x ) + t ( t + 3 ) t 4 + 2 , t [ 0 , 1 ] , x ( 0 ) + 3 ( c D 1 / 3 x ( 0 ) ) = 0 1 / 4 ( 1 / 4 s ) 1 / 2 Γ ( 1 / 2 ) x ( s ) d s , x ( 1 ) + 2 ( c D 1 / 3 x ( 1 ) ) = 3 0 3 / 4 ( 3 / 4 s ) 1 / 2 Γ ( 1 / 2 ) x ( s ) d s ,
(4.2)

where α, p, α i , β i , γ i , (i=1,2) η, σ are the same as given in (4.1) and f(t,x)= L 2 (x+ tan 1 x)+ t ( t + 3 ) t 4 + 2 . Clearly, |f(t,x)f(t,y)|L|xy| and thus, for L<1/ω=1/3.578386, all the conditions of Theorem 3.4 are satisfied. Hence, the boundary value problem (4.2) has a unique solution on [0,1].