- Research Article
- Open Access

# Solutions to Fractional Differential Equations with Nonlocal Initial Condition in Banach Spaces

- Zhi-Wei Lv
^{1}, - Jin Liang
^{2}Email author and - Ti-Jun Xiao
^{3}

**2010**:340349

https://doi.org/10.1155/2010/340349

© Zhi-Wei Lv et al. 2010

**Received:**4 January 2010**Accepted:**8 February 2010**Published:**14 February 2010

## Abstract

A new existence and uniqueness theorem is given for solutions to differential equations involving the Caputo fractional derivative with nonlocal initial condition in Banach spaces. An application is also given.

## Keywords

- Differential Equation
- Banach Space
- Significant Role
- Partial Differential Equation
- Lower Limit

## 1. Introduction

Fractional differential equations have played a significant role in physics, mechanics, chemistry, engineering, and so forth. In recent years, there are many papers dealing with the existence of solutions to various fractional differential equations; see, for example, [1–6].

In this paper, we discuss the existence of solutions to the nonlocal Cauchy problem for the following fractional differential equations in a Banach space :

where is the standard Caputo's derivative of order , and is a given -valued function.

## 2. Basic Lemmas

Let be a real Banach space, and the zero element of . Denote by the Banach space of all continuous functions with norm . Let be the Banach space of measurable functions which are Lebesgue integrable, equipped with the norm . Let , function is called a solution of (1.1) if it satisfies (1.1).

Recall the following defenition

Definition 2.1.

*Kuratowski measure of noncompactness*of is defined as

Clearly, . For details on properties of the measure, the reader is referred to [2].

where is the gamma function.

Remark.

Caputo's derivative of a constant is equal to .

Lemma (see [7]).

Lemma (see [7]).

Lemma(see [9]).

If is bounded and equicontinuous, then

(a) ;

(b) where

Lemma.

where , .

Proof.

## 3. Main Results

, and there exist such that for and each

Lemma.

Proof.

Conversely, if is a solution of (3.2), then for every , according to Remark 2.4 and Lemma 2.5, we have

It is obvious that This completes the proof.

Theorem.

If (H_{1}) and (H_{2}) hold, then the initial value problem (1.1) has at least one solution.

Proof.

Clearly, the fixed points of the operator are solutions of problem (1.1).

It is obvious that is closed, bounded, and convex.

Step 1.

We prove that is continuous.

Let

Step 2.

We prove that .

Let . Then for each , we have

Step 3.

We prove that is equicontinuous.

Let , and . We deduce that

As , the right-hand side of the above inequality tends to zero.

Step 4.

We prove that is relatively compact.

Let be arbitrarily given. Using the formula

From (3.17), we see that is relatively compact. Hence, is completely continuous. Finally, the Schauder fixed point theorem guarantees that has a fixed point in .

Theorem.

Then, the solution of (1.1) is unique in .

Proof.

By (3.18), we obtain So, the two solutions are identical in .

## 4. Example

Let

with the norm Consider the following nonlocal Cauchy problem for the following fractional differential equation in :

Conclusion 4.

Problem (4.2) has only one solution on

Proof.

So, is satisfied.

In the same way as in Example in [9], we can prove that is relatively compact in .

By a direct computation, we get

Hence, condition is also satisfied.

Moreover, we have

Therefore, . Thus, our conclusion follows from Theorem 3.3.

## Declarations

### Acknowledgments

This work was supported partially by the NSF of China (10771202), the Research Fund for Shanghai Key Laboratory for Contemporary Applied Mathematics (08DZ2271900) and the Specialized Research Fund for the Doctoral Program of Higher Education of China (2007035805).

## Authors’ Affiliations

## References

- Abbas S, Benchohra M:
**Darboux problem for perturbed partial differential equations of fractional order with finite delay.***Nonlinear Analysis: Hybrid Systems*2009,**3**(4):597-604. 10.1016/j.nahs.2009.05.001MathSciNetMATHGoogle Scholar - Henderson J, Ouahab A:
**Fractional functional differential inclusions with finite delay.***Nonlinear Analysis: Theory, Methods & Applications*2009,**70**(5):2091-2105. 10.1016/j.na.2008.02.111MathSciNetView ArticleMATHGoogle Scholar - Lakshmikantham V:
**Theory of fractional functional differential equations.***Nonlinear Analysis: Theory, Methods & Applications*2008,**69**(10):3337-3343. 10.1016/j.na.2007.09.025MathSciNetView ArticleMATHGoogle Scholar - Lakshmikantham V, Leela S:
**Nagumo-type uniqueness result for fractional differential equations.***Nonlinear Analysis: Theory, Methods & Applications*2009,**71**(7-8):2886-2889. 10.1016/j.na.2009.01.169MathSciNetView ArticleMATHGoogle Scholar - Mophou GM, N'Guérékata GM:
**Existence of the mild solution for some fractional differential equations with nonlocal conditions.***Semigroup Forum*2009,**79**(2):315-322. 10.1007/s00233-008-9117-xMathSciNetView ArticleMATHGoogle Scholar - Zhu X-X:
**A Cauchy problem for abstract fractional differential equations with infinite delay.***Communications in Mathematical Analysis*2009,**6**(1):94-100.MathSciNetMATHGoogle Scholar - Kilbas AA, Srivastava HM, Trujjllo JJ:
*Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, vol. 204*. Elsevier, Amsterdam, The Netherlands; 2006.Google Scholar - Podlubny I:
*Fractional Differential Equations*. Academic Press, San Diego, Calif, USA; 1993.Google Scholar - Guo DJ, Lakshmikantham V, Liu XZ:
*Nonlinear Integral Equations in Abstract Spaces*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1996.View ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.