- Research Article
- Open Access
- Published:

# New Existence Results for Nonlinear Fractional Differential Equations with Three-Point Integral Boundary Conditions

*Advances in Difference Equations*
**volume 2011**, Article number: 107384 (2010)

## Abstract

This paper studies a boundary value problem of nonlinear fractional differential equations of order with three-point integral boundary conditions. Some new existence and uniqueness results are obtained by using standard fixed point theorems and Leray-Schauder degree theory. Our results are new in the sense that the nonlocal parameter in three-point integral boundary conditions appears in the integral part of the conditions in contrast to the available literature on three-point boundary value problems which deals with the three-point boundary conditions restrictions on the solution or gradient of the solution of the problem. Some illustrative examples are also discussed.

## 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, [1–4]. For some recent development on the topic, see [5–21] 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

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

where denotes the integer part of the real number .

Definition 2.2.

The Riemann-Liouville fractional integral of order is defined as

provided the integral exists.

Definition 2.3.

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

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

where , ().

In view of Lemma 2.4, it follows that

for some , ().

Lemma 2.5.

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

Proof.

For some constants , we have

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

which imply that

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

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

, for all , , ;

, for all , and .

For convenience, let us set

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

Now, for and for each , we obtain

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

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

Proof.

Letting , we fix

and consider . We define the operators and on as

For , we find that

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

Now we prove the compactness of the operator .

In view of , we define , and consequently we have

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

where

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

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

Let us set

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

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

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

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

## 5. Examples

Example 5.1.

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

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

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:

Here, , , , and

Clearly and

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

## References

- 1.
Podlubny I:

*Fractional Differential Equations, Mathematics in Science and Engineering*.*Volume 198*. Academic Press, San Diego, Calif, USA; 1999:xxiv+340. - 2.
Kilbas AA, Srivastava HM, Trujillo JJ:

*Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies*.*Volume 204*. Elsevier, Amsterdam, The Netherlands; 2006:xvi+523. - 3.
Sabatier J, Agrawal OP, Machado JAT (Eds):

*Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering*. Springer, Dordrecht, The Netherlands; 2007:xiv+552. - 4.
Samko SG, Kilbas AA, Marichev OI:

*Fractional Integrals and Derivatives, Theory and Applications*. Gordon and Breach Science, Yverdon, Switzerland; 1993:xxxvi+976. - 5.
Agarwal RP, de Andrade B, Cuevas C:

**Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations.***Nonlinear Analysis: Real World Applications*2010,**11**(5):3532-3554. 10.1016/j.nonrwa.2010.01.002 - 6.
Agarwal RP, Lakshmikantham V, Nieto JJ:

**On the concept of solution for fractional differential equations with uncertainty.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(6):2859-2862. 10.1016/j.na.2009.11.029 - 7.
Agarwal RP, Zhou Y, He Y:

**Existence of fractional neutral functional differential equations.***Computers & Mathematics with Applications*2010,**59**(3):1095-1100. - 8.
Ahmad B, Sivasundaram S:

**On four-point nonlocal boundary value problems of nonlinear integro-differential equations of fractional order.***Applied Mathematics and Computation*2010,**217**(2):480-487. 10.1016/j.amc.2010.05.080 - 9.
Ahmad B:

**Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations.***Applied Mathematics Letters*2010,**23**(4):390-394. 10.1016/j.aml.2009.11.004 - 10.
Ahmad B:

**Existence of solutions for fractional differential equations of order****with anti-periodic boundary conditions.***Journal of Applied Mathematics and Computing*2010,**34**(1-2):385-391. 10.1007/s12190-009-0328-4 - 11.
Ahmad B, Nieto JJ:

**Existence of solutions for nonlocal boundary value problems of higher-order nonlinear fractional differential equations.***Abstract and Applied Analysis*2009,**2009:**-9. - 12.
Ahmad B, Alsaedi A:

**Existence and uniqueness of solutions for coupled systems of higher-order nonlinear fractional differential equations.***Fixed Point Theory and Applications*2010,**2010:**-17. - 13.
Ahmad B, Nieto JJ:

**Existence results for nonlinear boundary value problems of fractional integrodifferential equations with integral boundary conditions.***Boundary Value Problems*2009,**2009:**-11. - 14.
Ahmad B, Nieto JJ:

**Existence results for a coupled system of nonlinear fractional differential equations with three-point boundary conditions.***Computers & Mathematics with Applications*2009,**58**(9):1838-1843. 10.1016/j.camwa.2009.07.091 - 15.
Bai Z:

**On positive solutions of a nonlocal fractional boundary value problem.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(2):916-924. 10.1016/j.na.2009.07.033 - 16.
Balachandran K, Trujillo JJ:

**The nonlocal Cauchy problem for nonlinear fractional integrodifferential equations in Banach spaces.***Nonlinear Analysis: Theory, Methods & Applications*2010,**72**(12):4587-4593. 10.1016/j.na.2010.02.035 - 17.
Benchohra M, Hamani S, Ntouyas SK:

**Boundary value problems for differential equations with fractional order and nonlocal conditions.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(7-8):2391-2396. 10.1016/j.na.2009.01.073 - 18.
Lazarević MP, Spasić AM:

**Finite-time stability analysis of fractional order time-delay systems: Gronwall's approach.***Mathematical and Computer Modelling*2009,**49**(3-4):475-481. 10.1016/j.mcm.2008.09.011 - 19.
Nieto JJ:

**Maximum principles for fractional differential equations derived from Mittag-Leffler functions.***Applied Mathematics Letters*2010,**23**(10):1248-1251. 10.1016/j.aml.2010.06.007 - 20.
Wei Z, Li Q, Che J:

**Initial value problems for fractional differential equations involving Riemann-Liouville sequential fractional derivative.***Journal of Mathematical Analysis and Applications*2010,**367**(1):260-272. 10.1016/j.jmaa.2010.01.023 - 21.
Zhang S:

**Positive solutions to singular boundary value problem for nonlinear fractional differential equation.***Computers & Mathematics with Applications*2010,**59**(3):1300-1309. - 22.
Krasnoselskii MA:

**Two remarks on the method of successive approximations.***Uspekhi Matematicheskikh Nauk*1955,**10:**123-127.

## Author information

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

## About this article

#### Received

#### Revised

#### Accepted

#### Published

#### DOI

### Keywords

- Fractional Order
- Fractional Derivative
- Fractional Calculus
- Fractional Differential Equation
- Topological Degree