- Research Article
- Open access
- Published:

# Existence Results for Nonlinear Fractional Difference Equation

*Advances in Difference Equations*
**volumeÂ 2011**, ArticleÂ number:Â 713201 (2011)

## Abstract

This paper is concerned with the initial value problem to a nonlinear fractional difference equation with the Caputo like difference operator. By means of some fixed point theorems, global and local existence results of solutions are obtained. An example is also provided to illustrate our main result.

## 1. Introduction

This paper deals with the existence of solutions for nonlinear fractional difference equations

where is a Caputo like discrete fractional difference, is continuous in and . is a real Banach space with the norm , .

Fractional differential equation has received increasing attention during recent years since fractional derivatives provide an excellent instrument for the description of memory and hereditary properties of various materials and processes [1]. However, there are few literature to develop the theory of the analogues fractional finite difference equation [2â€“6]. Atici and Eloe [2] developed the commutativity properties of the fractional sum and the fractional difference operators, and discussed the uniqueness of a solution for a nonlinear fractional difference equation with the Riemann-Liouville like discrete fractional difference operator. To the best of our knowledge, this is a pioneering work on discussing initial value problems (IVP for short) in discrete fractional calculus. Anastassiou [4] defined a Caputo like discrete fractional difference and compared it to the Riemann-Liouville fractional discrete analog.

For convenience of numerical calculations, the fractional differential equation is generally discretized to corresponding difference one which makes that the research about fractional difference equations becomes important. Following the definition of Caputo like difference operator defined in [4], here we investigate the existence and uniqueness of solutions for the IVP (1.1). A merit of this IVP with Caputo like difference operator is that its initial condition is the same form as one of the integer-order difference equation.

## 2. Preliminaries and Lemmas

We start with some necessary definitions from discrete fractional calculus theory and preliminary results so that this paper is self-contained.

Let . The th fractional sum is defined by

Here is defined for mod (1) and is defined for mod (1); in particular, maps functions defined on to functions defined on , where . In addition, . Atici and Eloe [2] pointed out that this definition of the th fractional sum is the development of the theory of the fractional calculus on time scales [7].

Definition 2.2 (see [4]).

Let and , where denotes a positive integer, , ceiling of number. Set . The th fractional Caputo like difference is defined as

Here is the th order forward difference operator

Theorem 2.3 (see [4]).

For , noninteger, , , it holds

where is defined on with .

In particular, when and , we have

Lemma 2.4.

A solution is a solution of the IVP (1.1) if and only if is a solution of the the following fractional Taylor's difference formula:

Proof.

Suppose that for is a solution of (1.1), that is for , then we can obtain (2.6) according to Theorem 2.3.

Conversely, we assume that is a solution of (2.6), then

On the other hand, Theorem 2.3 yields that

Comparing with the above two equations, it is obtained that

Let , respectively, we have that for , which implies that is a solution of (1.1).

Lemma 2.5.

One has

Proof.

For , , , , we have

that is,

Then

Lemma 2.6 (see [2]).

Let and assume is not a nonpositive integer. Then

In particular, , where is a constant.

The following fixed point theorems will be used in the text.

Theorem 2.7 (Leray-Schauder alternative theorem [8]).

Let be a Banach space with closed and convex. Assume is a relatively open subset of with and is a continuous, compact map. Then either

(1) has a fixed point in ; or

(2)there exist and with .

Theorem 2.8 (Schauder fixed point theorem [9]).

If is a closed, bounded convex subset of a Banach space and is completely continuous, then has a fixed point in .

Theorem 2.9 (Ascoli-Arzela theorem [10]).

Let be a Banach space, and is a function family of continuous mappings . If is uniformly bounded and equicontinuous, and for any , the set is relatively compact, then there exists a uniformly convergent function sequence in .

Lemma 2.10 (Mazur Lemma [11]).

If is a compact subset of Banach space , then its convex closure is compact.

## 3. Local Existence and Uniqueness

Set , where .

Theorem 3.1.

Assume is locally Lipschitz continuous (with constant ) on , then the IVP (1.1) has a unique solution on provided that

Proof.

Define a mapping by

for . Now we show that is contraction. For any it follows that

By applying Banach contraction principle, has a fixed point which is a unique solution of the IVP (1.1).

Theorem 3.2.

Assume that there exist such that for , and the set is relatively compact for every , then there exists at least one solution of the IVP (1.1) on provided that

Proof.

Let be the operator defined by (3.2), we define the set as follows:

where

Assume that there exist and such that . We claim that . In fact,

then

We have

that is,

which implies that .

The operator is continuous because that is continuous. In the following, we prove that the operator is also completely continuous in . For any , there exist such that

then we have

which means that the set is an equicontinuous set.

In view of Lemma 2.10 and the condition that is relatively compact, we know that is compact. For any ,

where

Since is convex and compact, we know that . Hence, for any , the set â€‰â€‰() is relatively compact. From Theorem 2.9, every contains a uniformly convergent subsequence () on which means that the set is relatively compact. Since is a bounded, equicontinuous and relatively compact set, we have that is completely continuous.

Therefore, the Leray-Schauder fixed point theorem guarantees that has a fixed point, which means that there exists at least one solution of the IVP (1.1) on .

Corollary 3.3.

Assume that there exist such that for any and , and the set is relatively compact for every , then there exists at least one solution of the IVP (1.1) on .

Proof.

Let , , we directly obtain the result by applying Theorem 3.2.

Corollary 3.4.

Assume that the function satisfies , and the set is relatively compact for every , then there exists at least one solution of the IVP (1.1) on .

Proof.

According to , for any , there exists such that for any . Let , then Corollary 3.4 holds by Corollary 3.3.

Corollary 3.5.

Assume the function is nondecreasing continuous and there exist such that

and the set is relatively compact for every , then there exists at least one solution of the IVP (1.1) on .

Proof.

By inequity (3.16), there exist positive constants , such that , for all . Let . Then we have , for all . Let , then Corollary 3.5 holds by Corollary 3.3.

## 4. Global Uniqueness

Theorem 4.1.

Assume is globally Lipschitz continuous (with constant ) on , then the IVP (1.1) has a unique solution provided that .

Proof.

For , let be the operator defined by (3.2). For any it follows that

Since , by applying Banach contraction principle, has a fixed point which is a unique solution of the IVP (1.1) on .

Since exists, for , we may define the following mapping :

For any , , we have

Since , by applying Banach contraction principle, has a fixed point which is a unique solution of the IVP (1.1) on .

In general, since exists, we may define the operator as follows

for . Similar to the deduction of (4.3), we may obtain that the IVP (1.1) has a unique solution on , then exists.

Define as follows

then is the unique solution of (1.1) on .

## 5. Example

Example 5.1.

Consider the fractional difference equation

According to Theorem 4.1, the IVP (5.1) has a unique solution provided that . In fact, we can employ the method of successive approximations to obtain the solution of (5.1).

Set

Applying Lemma 2.6, we have

By induction, it follows that

Taking the limit , we obtain

which is the unique solution of (5.1). In particular, when , the IVP (5.1) becomes the following integer-order IVP

which has the unique solution . At the same time, (5.5) becomes that

Equation (5.7) implies that, when , the result of the IVP (5.5) is the same as one of the corresponding integer-order IVP (5.6).

Remark 5.2.

Example 5.1 is similar to Example 3.1 in [2] in which the difference operator is in the Riemann-Liouville like discrete sense. Compared with the solution of Example 3.1 in [2] defined on , where , the solution of Example 5.1 in this paper is defined on . This difference makes that fractional difference equation with the Caputo like difference operator is more similar to classical integer-order difference equation.

## References

Podlubny I:

*Fractional Differential Equations, Mathematics in Science and Engineering*.*Volume 198*. Academic Press, San Diego, Calif, USA; 1999:xxiv+340.Atici FM, Eloe PW:

**Initial value problems in discrete fractional calculus.***Proceedings of the American Mathematical Society*2009,**137**(3):981-989.Atici FM, Eloe PW:

**A transform method in discrete fractional calculus.***International Journal of Difference Equations*2007,**2**(2):165-176.Anastassiou GA:

**Discrete fractional calculus and inequalities.**http://arxiv.org/abs/0911.3370AtÄ±cÄ± FM, Eloe PW:

**Discrete fractional calculus with the nabla operator.***Electronic Journal of Qualitative Theory of Differential Equations*2009,**2009**(3):1-12.AtÄ±cÄ± FM, ÅžengÃ¼l S:

**Modeling with fractional difference equations.***Journal of Mathematical Analysis and Applications*2010,**369**(1):1-9. 10.1016/j.jmaa.2010.02.009Bohner M, Peterson A:

*Dynamic Equations on Time Scales*. BirkhÃ¤user, Boston, Mass, USA; 2001:x+358.Granas A, Guenther RB, Lee JW:

**Some general existence principles in the CarathÃ©odory theory of nonlinear differential systems.***Journal de MathÃ©matiques Pures et AppliquÃ©es*1991,**70**(2):153-196.Hale J:

*Theory of Functional Differential Equations, Applied Mathematical Sciences*.*Volume 3*. 2nd edition. Springer, New York, NY, USA; 1977:x+365.Lakshmikantham V, Leela S:

*Nonlinear Differential Equations in Abstract Spaces, International Series in Nonlinear Mathematics: Theory, Methods and Applications*.*Volume 2*. Pergamon Press, Oxford, UK; 1981:x+258.Rudin W:

*Functional Analysis, McGraw-Hill Series in Higher Mathematics*. McGraw-Hill, New York, NY, USA; 1973:xiii+397.

## Acknowledgments

This work was supported by the Natural Science Foundation of China (10971173), the Scientific Research Foundation of Hunan Provincial Education Department (09B096), the Aid Program for Science and Technology Innovative Research Team in Higher Educational Institutions of Hunan Province, and the Construct Program of the Key Discipline in Hunan Province.

## Author information

### Authors and Affiliations

### Corresponding author

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

### Cite this article

Chen, F., Luo, X. & Zhou, Y. Existence Results for Nonlinear Fractional Difference Equation.
*Adv Differ Equ* **2011**, 713201 (2011). https://doi.org/10.1155/2011/713201

Received:

Accepted:

Published:

DOI: https://doi.org/10.1155/2011/713201