1. Introduction

In recent years, boundary value problems for nonlinear fractional differential equations have been addressed by several researchers. Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes; see [1]. These characteristics of the fractional derivatives make the fractional-order models more realistic and practical than the classical integer-order models. As a matter of fact, fractional differential equations arise in many engineering and scientific disciplines such as physics, chemistry, biology, economics, control theory, signal and image processing, biophysics, blood flow phenomena, aerodynamics, and fitting of experimental data, [14]. For some recent development on the topic, see [521] and the references therein.

We discuss the existence and uniqueness of solutions for a boundary value problem of nonlinear fractional differential equations of order with three-point integral boundary conditions given by

(1.1)

where denotes the Caputo fractional derivative of order , is continuous, and is such that . Here, is a Banach space and denotes the Banach space of all continuous functions from endowed with a topology of uniform convergence with the norm denoted by .

Note that the three-point boundary condition in (1.1) corresponds to the area under the curve of solutions from to .

2. Preliminaries

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

Definition 2.1.

For a continuous function , the Caputo derivative of fractional order is defined as

(2.1)

where denotes the integer part of the real number .

Definition 2.2.

The Riemann-Liouville fractional integral of order is defined as

(2.2)

provided the integral exists.

Definition 2.3.

The Riemann-Liouville fractional derivative of order for a continuous function is defined by

(2.3)

provided the right-hand side is pointwise defined on .

Lemma 2.4 (see [2]).

For , the general solution of the fractional differential equation is given by

(2.4)

where , ().

In view of Lemma 2.4, it follows that

(2.5)

for some , ().

Lemma 2.5.

A unique solution of the boundary value problem (1.1) is given by

(2.6)

Proof.

For some constants , we have

(2.7)

From , we have . Applying the second boundary condition for (1.1), we find that

(2.8)

which imply that

(2.9)

Substituting the values of and in (2.7), we obtain the solution (2.6).

In view of Lemma 2.5, we define an operator by

(2.10)

To prove the main results, we need the following assumptions:

, for all , , ;

, for all , and .

For convenience, let us set

(2.11)

3. Existence Results in a Banach Space

Theorem 3.1.

Assume that is a jointly continuous function and satisfies the assumption with , where is given by (2.11). Then the boundary value problem (1.1) has a unique solution.

Proof.

Setting and choosing , we show that , where . For , we have

(3.1)

Now, for and for each , we obtain

(3.2)

where is given by (2.11). Observe that depends only on the parameters involved in the problem. As , therefore is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle (Banach fixed point theorem).

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

Theorem 3.2 (Krasnoselskii's fixed point theorem).

Let be a closed convex and nonempty subset of a Banach space . Let be the operators such that (i) whenever ; (ii) is compact and continuous; (iii) is a contraction mapping. Then there exists such that .

Theorem 3.3.

Let be a jointly continuous function mapping bounded subsets of into relatively compact subsets of , and the assumptions and hold with

(3.3)

Then the boundary value problem (1.1) has at least one solution on .

Proof.

Letting , we fix

(3.4)

and consider . We define the operators and on as

(3.5)

For , we find that

(3.6)

Thus, . It follows from the assumption together with (3.3) that is a contraction mapping. Continuity of implies that the operator is continuous. Also, is uniformly bounded on as

(3.7)

Now we prove the compactness of the operator .

In view of , we define , and consequently we have

(3.8)

which is independent of . Thus, is equicontinuous. Using the fact that maps bounded subsets into relatively compact subsets, we have that is relatively compact in for every , where is a bounded subset of . So is relatively compact on . Hence, by the Arzelá-Ascoli Theorem, is compact on . Thus all the assumptions of Theorem 3.2 are satisfied. So the conclusion of Theorem 3.2 implies that the boundary value problem (1.1) has at least one solution on .

4. Existence of Solution via Leray-Schauder Degree Theory

Theorem 4.1.

Let . Assume that there exist constants , where is given by (2.11) and such that for all . Then the boundary value problem (1.1) has at least one solution.

Proof.

Let us define an operator as

(4.1)

where

(4.2)

In view of the fixed point problem (4.1), we just need to prove the existence of at least one solution satisfying (4.1). Define a suitable ball with radius as

(4.3)

where will be fixed later. Then, it is sufficient to show that satisfies

(4.4)

Let us set

(4.5)

Then, by the Arzelá-Ascoli Theorem, is completely continuous. If (4.4) is true, then the following Leray-Schauder degrees are well defined and by the homotopy invariance of topological degree, it follows that

(4.6)

where denotes the unit operator. By the nonzero property of Leray-Schauder degree, for at least one . In order to prove (4.4), we assume that for some and for all so that

(4.7)

which, on taking norm () and solving for , yields

(4.8)

Letting , (4.4) holds. This completes the proof.

5. Examples

Example 5.1.

Consider the following three-point integral fractional boundary value problem:

(5.1)

Here, , , , and . As , therefore, is satisfied with . Further,

(5.2)

Thus, by the conclusion of Theorem 3.1, the boundary value problem (5.1) has a unique solution on .

Example 5.2.

Consider the following boundary value problem:

(5.3)

Here, , , , and

(5.4)

Clearly and

(5.5)

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