Research Article | Open Access

Thanin Sitthiwirattham, Jessada Tariboon, Sotiris K. Ntouyas, "Existence Results for Fractional Difference Equations with Three-Point Fractional Sum Boundary Conditions", *Discrete Dynamics in Nature and Society*, vol. 2013, Article ID 104276, 9 pages, 2013. https://doi.org/10.1155/2013/104276

# Existence Results for Fractional Difference Equations with Three-Point Fractional Sum Boundary Conditions

**Academic Editor:**Eric R. Kaufmann

#### Abstract

We consider a discrete fractional boundary value problem of the form where , , , and is a continuous function. The existence of at least one solution is proved by using Krasnoselskii's fixed point theorem and Leray-Schauder's nonlinear alternative. Some illustrative examples are also presented.

#### 1. Introduction

Fractional differential and difference equations have 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. For a reader interested in the systematic development of the topic, a good account of papers dealing with fractional or discrete fractional boundary value problems can be found in [1–25] and references cited therein.

In this paper we consider a nonlinear discrete fractional boundary value problem of the form where,,, andis a continuous function. Letbe the nonnegative integers. Denote.

Problem (1) was studied recently by authors in [26] where existence and uniqueness results are obtained by using Banach’s contraction mapping principle, the nonlinear contraction, and Schaefer’s fixed point theorem. Here we continue this study by proving some new existence results by using Krasnoselskii’s fixed point theorem and Leray-Schauder’s nonlinear alternative. Thus the results of this paper complement the results of [26].

The plan of this paper is as follows. In Section 2 we recall some definitions and basic lemmas. Also we give a representation for the solution to (1) by converting the problem to an equivalent summation equation. In Section 3, using this representation, we prove our main results. Some illustrative examples are presented in Section 4.

#### 2. Preliminaries

In this section, we introduce notations, definitions, and lemmas needed in the following.

*Definition 1. *One defines the generalized falling function by, for anyandfor which the right-hand side is defined. Ifis a pole of the Gamma function andis not a pole, then.

*Definition 2 (see [17]). *Theth fractional sum of a function, for, is defined by
forand. One also defines theth fractional difference forby, whereandare chosen so that.

Lemma 3. *Letandbe any numbers for whichandare defined. Then. *

Lemma 4 (see [17]). *LetThen
**
for some, with*

Theorem 5 (Arzelá-Ascoli theorem, see [27]). *Letbe a Banach space anda function family of continuous mappings. If S is uniformly bounded and equicontinuous, and, for any, the setis relatively compact, then there exists a uniformly convergent function sequenceforin. *

Lemma 6 (Mazur Lemma, see [28]). *Ifis a compact subset of Banach space, then its convex closure is compact. *

To define the solution of the boundary value problem (1) we need the following lemma, proved in [26] which deals with linear variant of the boundary value problem (1) and gives a representation of the solution.

Lemma 7. *Let
**
and let be given. Then the problem
**
has a unique solution
*

#### 3. Main Results

Letbe the Banach space of all continuous functionswith the normDefine an operatorby for, whereis defined by (4). It is easy to see that the problem (1) has solutions if and only if the operatorhas fixed points.

In the following, for the sake of convenience, we set a constant

Our first result is based on the Krasnoselskii’s fixed point theorem [29].

Theorem 8. *Letbe a bounded closed convex and nonempty subset of a Banach space. Letbe operators such that: *(i)*whenever*(ii)*is compact and continuous*(iii)*is a contraction mapping. **Then there existssuch that. *

Theorem 9. *Assume that*(*H*_{1})* there exists a constantsuch thatfor eachand*(*H*_{2})*, for all, with;*(*H*_{3})* the set,is relatively compact for any.**If
**
whereis given by (8), then the boundary value problem (1) has at least one solution on.*

*Proof. *By settingand choosing a constant
we now consider a suitable ball.

In view of Lemma 7, we define the operatorsandon the ballas

For, we have

This implies that. Therefore,. Now, we will prove thatis a contraction mapping. For any, we have
By (9), we get thatis a contraction mapping.

Next, we will show thatis compact and continuous. Continuity ofcoupled with the assumptionimplies that the operatoris continuous and uniformly bounded onas

From, there exists a constantsuch that. For any, there exists a neighborhoodof,, such that, for,

Then, we have
This means that the set is an equicontinuous set.

In view of Lemma 6 and the condition thatis relatively compact, we have thatis compact. For any,
where

Since is convex and compact, we have that. Therefore, for any, the set, for, is relatively compact. From Theorem 5, everycontains a uniformly convergent subsequence, for, onwhich means that the set is relatively compact. Sinceis a bounded, equicontinuous, and relatively compact set, we have thatis compact on. Therefore, all the assumptions of Theorem 8 are satisfied, and the conclusion of Theorem 8 implies that boundary value problem (1) has at least one solution on. This completes the proof.

Corollary 10. *Assume that there exists a constantsuch thatfor anyand , and the set , and is relatively compact for every; then there exists at least one solution of boundary value problem (1) on .*

*Proof. *Letting for, we get the result by using Theorem 9.

The second result is based on Leray-Schauder nonlinear alternative [30].

Theorem 11. *Letbe a Banach space,a closed, convex subset of,an open subset of , and. Suppose thatis a continuous, compact (i.e.,is a relatively compact subset of) map. Then either*(i)*has a fixed point in or *(ii)*there are(the boundary ofin) andwith. *

Theorem 12. *Letbe a continuous function. Assume that*(*H*_{4})* there exist a function and a continuous nondecreasing functionsuch that, for all*(*H*_{5})* the setis relatively compact for any, whereis defined as inand,;*(*H*_{6})* there exists a constantsuch that
**where
**Then the boundary value problem (1) has at least one solution on. *

*Proof. *We consider the operator equation, wheredefined by (7).

Now, we will show thatmaps bounded sets into bounded sets in. For a positive number, letbe a bounded set in. Then

Consequently,

Next we show thatmaps bounded sets into equicontinuous sets of. Let, whereis a bounded set of. For any, there exists a neighborhoodof,, such that, for,

Then, we have

This means that the setis an equicontinuous set. By, Lemma 6, and Theorem 5, it follows thatis completely continuous.

Let. Then, for and using the computations as in the first step, we get

Consequently,
In view of, there existssuch that. Let us set

Note that the operatoris continuous and completely continuous. From the choice of, there is nosuch thatfor some. Consequently, by the nonlinear alternative of Leray-Schauder type (Theorem 11), we deduce thathas a fixed pointwhich is a solution of the problem (1). This completes the proof.

#### 4. Some Examples

In this section, in order to illustrate our result, we consider two examples.

*Example *1. Consider the following three-point fractional sum boundary value problem:

Here,,,, and Also we find

Sinceis satisfied with, we can show that

Hence, by Theorem 9, the boundary value problem (28) has at least one solution on.

*Example *2. Consider the following three-point fractional sum boundary value problem:

Here ,,,,,, and . It is clear that .

We choose,and find that which implies. Hence, by Theorem 12, the boundary value problem (31) has at least one solution on .

#### Acknowledgments

The authors would like to thank the reviewers for their valuable comments and suggestions on the paper. This research of T. Sitthiwirattham and J. Tariboon is supported by King Mongkut’s University of Technology North Bangkok, Thailand. Sotiris K. Ntouyas is Member of Nonlinear Analysis and Applied Mathematics (NAAM) Research Group, King Abdulaziz University, Jeddah, Saudi Arabia.

#### References

- K. S. Miller and B. Ross,
*An Introduction to the Fractional Calculus and Fractional Differential Equations*, John Wiley & Sons, New York, NY, USA, 1993. View at: Zentralblatt MATH | MathSciNet - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives, Theory and Applications*, Gordon and Breach, Yverdon, Switzerland, 1993. View at: Zentralblatt MATH | MathSciNet - I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at: Zentralblatt MATH | MathSciNet - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematics Studies*, Elsevier Science B.V., Amsterdam, The Netherlands, 2006. View at: Publisher Site | Zentralblatt MATH | MathSciNet - V. Lakshmikantham, S. Leela, and J. Vasundhara Devi,
*Theory of Fractional Dynamic Systems*, Cambridge Academic Publishers, Cambridge, UK, 2009. - D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo,
*Fractional Calculus Models and Numerical Methods*, vol. 3 of*Series on Complexity, Nonlinearity and Chaos*, World Scientific, Boston, Mass, USA, 2012. View at: Publisher Site | Zentralblatt MATH | MathSciNet - K. Diethelm,
*The Analysis of Fractional Differential Equations. An Application-oriented Exposition Using Differential Operators of Caputo Type*, vol. 2004 of*Lecture Notes in Mathematics*, Springer, 2010. View at: Publisher Site | Zentralblatt MATH | MathSciNet - A. Guezane-Lakoud and R. Khaldi, “Solvability of a three-point fractional nonlinear boundary value problem,”
*Differential Equations and Dynamical Systems*, vol. 20, no. 4, pp. 395–403, 2012. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Guezane-Lakoud and R. Khaldi, “Positive solution to a higher order fractional boundary value problem with fractional integral condition,”
*Romanian Journal of Mathematics and Computer Science*, vol. 2, no. 1, pp. 41–54, 2012. View at: Google Scholar | MathSciNet - E. R. Kaufmann, “Existence and nonexistence of positive solutions for a nonlinear fractional boundary value problem,”
*Discrete and Continuous Dynamical Systems A*, vol. 2009, pp. 416–423, 2009. View at: Google Scholar | Zentralblatt MATH | MathSciNet - J. Wang, H. Xiang, and Z. Liu, “Positive solution to nonzero boundary values problem for a coupled system of nonlinear fractional differential equations,”
*International Journal of Differential Equations*, vol. 2010, Article ID 186928, 12 pages, 2010. View at: Publisher Site