Discrete Dynamics in Nature and Society

Volume 2013, Article ID 104276, 9 pages

http://dx.doi.org/10.1155/2013/104276

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

^{1}Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology, North Bangkok, Bangkok, Thailand^{2}Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

Received 3 June 2013; Accepted 7 August 2013

Academic Editor: Eric R. Kaufmann

Copyright © 2013 Thanin Sitthiwirattham et al. 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.

#### 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 · View at 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 · View at MathSciNet - I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at 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 · View at 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 · View at Zentralblatt MATH · View at 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Bai, “On positive solutions of a nonlocal fractional boundary value problem,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 72, no. 2, pp. 916–924, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Sudsutad and J. Tariboon, “Boundary value problems for fractional differential equations with three-point fractional integral boundary conditions,”
*Advances in Difference Equations*, vol. 2012, article 93, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - S. K. Ntouyas, “Boundary value problems for nonlinear fractional differential equations and inclusions with nonlocal and fractional integral boundary conditions,”
*Opuscula Mathematica*, vol. 33, no. 1, pp. 117–138, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - A. Guezane-Lakoud and R. Khaldi, “Solvability of a fractional boundary value problem with fractional integral condition,”
*Nonlinear Analysis: Theory, Methods & Applications*, vol. 75, no. 4, pp. 2692–2700, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad, S. K. Ntouyas, and A. Assolami, “Caputo type fractional differential equations with nonlocal Riemann-Liouville integral boundary conditions,”
*Journal of Applied Mathematics and Computing*, vol. 41, no. 1-2, pp. 339–350, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - F. M. Atici and P. W. Eloe, “Two-point boundary value problems for finite fractional difference equations,”
*Journal of Difference Equations and Applications*, vol. 17, no. 4, pp. 445–456, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 191–202, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. S. Goodrich, “Continuity of solutions to discrete fractional initial value problems,”
*Computers & Mathematics with Applications*, vol. 59, no. 11, pp. 3489–3499, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. S. Goodrich, “Solutions to a discrete right-focal fractional boundary value problem,”
*International Journal of Difference Equations*, vol. 5, no. 2, pp. 195–216, 2010. View at Google Scholar · View at MathSciNet - C. S. Goodrich, “Existence of a positive solution to a system of discrete fractional boundary value problems,”
*Applied Mathematics and Computation*, vol. 217, no. 9, pp. 4740–4753, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. S. Goodrich, “On a discrete fractional three-point boundary value problem,”
*Journal of Difference Equations and Applications*, vol. 18, no. 3, pp. 397–415, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Chen, X. Luo, and Y. Zhou, “Existence results for nonlinear fractional difference equation,”
*Advances in Difference Equations*, vol. 2011, Article ID 713201, 12 pages, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Pan, Z. Han, S. Sun, and Z. Huang, “The existence and uniqueness of solutions to boundary value problems of fractional difference equations,”
*Mathematical Sciences*, vol. 6, article 7, 7 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Abdeljawad, “On Riemann and Caputo fractional differences,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1602–1611, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - T. Sitthiwirattham, J. Tariboon, and S. K. Ntouyas, “Boundary value problems for fractional difference equations with three-point fractional sum boundary conditions,”
*Advances in Difference Equations*. In press. - V. Lakshmikantham and S. Leela,
*Nonlinear Differential Equations in Abstract Spaces*, vol. 2 of*International Series in Nonlinear Mathematics: Theory, Methods and Applications*, Pergamon Press, Oxford, UK, 1981. View at MathSciNet - W. Rudin,
*Functional Analysis*, McGraw-Hill, New York, NY, USA, 1973. View at MathSciNet - M. A. Krasnoselskii, “Two remarks on the method of successive approximations,”
*Uspekhi Matematicheskikh Nauk*, vol. 10, pp. 123–127, 1955. View at Google Scholar · View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer, New York, NY, USA, 2003. View at MathSciNet