Research Article | Open Access

Saowaluk Chasreechai, Chanakarn Kiataramkul, Thanin Sitthiwirattham, "On Nonlinear Fractional Sum-Difference Equations via Fractional Sum Boundary Conditions Involving Different Orders", *Mathematical Problems in Engineering*, vol. 2015, Article ID 519072, 8 pages, 2015. https://doi.org/10.1155/2015/519072

# On Nonlinear Fractional Sum-Difference Equations via Fractional Sum Boundary Conditions Involving Different Orders

**Academic Editor:**Sotiris K. Ntouyas

#### Abstract

We study existence and uniqueness results for Caputo fractional sum-difference equations with fractional sum boundary value conditions, by using the Banach contraction principle and Schaefer’s fixed point theorem. Our problem contains different numbers of order in fractional difference and fractional sums. Finally, we present some examples to show the importance of these results.

#### 1. Introduction

In this paper we consider a Caputo fractional sum-difference equation with nonlocal fractional sum boundary value conditions of the formwhere , , , and is the Caputo fractional difference operator of order . For , and are given functions and is a given functional, and for ,

Mathematicians have employed this fractional calculus in recent years to model and solve various applied problems. In particular, fractional calculus is a powerful tool for the processes which appear in nature, for example, biology, ecology, and other areas, and can be found in [1, 2] and the references therein. The continuous fractional calculus has received increasing attention within the last ten years or so, and the theory of fractional differential equations has been a new important mathematical branch due to its extensive applications in various fields of science, such as physics, mechanics, chemistry, and engineering. Although the discrete fractional calculus has seen slower progress, within the recent several years, a lot of papers have appeared, which has helped to build up some of the basic theory of this area; see [3–17] and references cited therein.

At present, there is a development of boundary value problems for fractional difference equations which shows an operation of the investigative function. The study may also have another function which is related to the one we are interested in. These creations are incorporating with nonlocal conditions which are both extensive and more complex, for instance.

Agarwal et al. [3] investigated the existence of solutions for two fractional boundary value problems:where and is a given function, and where , , and is a given function.

Kang et al. [5] obtained sufficient conditions for the existence of positive solutions for a nonlocal boundary value problemwhere , , are given functions and are given functionals.

Sitthiwirattham [17] examined a Caputo fractional sum boundary value problem with a -Laplacian of the formwhere , , , , , is a constant, is a continuous function, and is the -Laplacian operator.

The plan of this paper is as follows. In Section 2 we recall some definitions and basic lemmas. Also we derive a representation for the solution to (1) by converting the problem to an equivalent summation equation. In Section 3, using this representation, we prove existence and uniqueness of the solutions of boundary value problem (1) by the help of the Banach fixed point theorem and Schaefer’s fixed point theorem. Some illustrative examples are presented in Section 4.

#### 2. Preliminaries

In the following, there are notations, definitions, and lemmas which are used in the main results.

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

Lemma 2 (see [13]). *Assume that the following factorial functions are well defined: *(i)*, where .*(ii)*If , then for any .*(iii)*.*

*Definition 3. *For and defined on , the -order fractional sum of is defined by where and .

*Definition 4. *For and defined on , the -order Caputo fractional difference of is defined by where and is chosen so that . If , then .

Lemma 5 (see [9]). *Assume that and . Then for some , .*

The following lemma deals with linear variant of boundary value problem (1) and gives a representation of the solution.

Lemma 6. *Let , , , and be given. Then the problemhas the unique solutionwhere*

*Proof. *Using Lemma 5, a general solution for (10) can be written in the formfor . Applying the first boundary condition of (10) implies So,The second condition of (10) implies A constant can be obtained by solving the above equation, so Substituting a constant into (15), we getLet . Thenwe simplify (19) becomes (12).

Substituting into (18), we obtain (11).

#### 3. Main Results

Now we are in a position to establish the main results. First, we transform boundary value problem (1) into a fixed point problem.

For , let be a Banach space and let denote the Banach space of all continuous functions from endowed with a topology of uniform convergence with the norm denoted by . For this purpose, we consider the operator bywhere

It is easy to see that problem (1) has solutions if and only if operator has fixed points.

Theorem 7. *Assume that is continuous and maps bounded subsets of into relatively compact subsets of , is continuous with , and is a given functional. In addition, suppose the following:* *There exist constants such that for each and * * There exists a constant such that for each * * For each * * Consider ,**
whereThen problem (1) has a unique solution on *

*Proof. *We will show that is a contraction. For any and for each , we have
Consequently, is a contraction. Therefore, by the Banach fixed point theorem, we get that has a fixed point which is a unique solution of problem (1) on .

The following result is based on Schaefer’s fixed point theorem.

Theorem 8 (Arzelá-Ascoli Theorem (see [18])). *A set of function in with the sup norm is relatively compact if and only if it is uniformly bounded and equicontinuous on .*

Theorem 9 (see [18]). *If a set is closed and relatively compact then it is compact.*

Theorem 10 (Schaefer’s fixed point theorem (see [19])). *Assume that X is a Banach space and that is continuous compact mapping. Moreover assume that the set is bounded. Then has a fixed point.*

Theorem 11. *Assume that is continuous and maps bounded subsets of into relatively compact subsets of and is a given functional. In addition, suppose that holds, and suppose the following: * * There exists a constant such that for each and * * There exists a constant such that for each ** Then problem (1) has at least one solution on .*

*Proof. *We will use Schaefer’s fixed point theorem to prove this result. Let be the operator defined in (20). It is clear that is completely continuous. So, it remains to show that the set is bounded.

Let ; then for some . Thus, for each , we have which implies that, for each , we have where and are defined on (25). This shows that set is bounded. As a consequence of Schaefer’s fixed point theorem, we conclude that has a fixed point which is a solution of problem (1).

#### 4. Some Examples

In this section, in order to illustrate our results, we consider some examples.

*Example 1. *Consider the following fractional sum boundary value problem:Here , , , , , , , and Let ; we haveso holds with , , and we have , andso holds with .

Since , we have then is satisfied.

Also, we have We can show that Hence, by Theorem 7, boundary value problem (33) has a unique solution.

*Example 2. *Consider the following fractional sum boundary value problem:Here , , , , and , , and Clearly for , we have Hence, conditions , , and of Theorem 11 are satisfied, and consequently boundary value problem (40) has at least one solution.

#### Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

#### Acknowledgments

The authors would like to thank the editor and the referees for their useful comments. This research was funded by King Mongkut’s University of Technology North Bangkok (Contract no. KMUTNB-GOV-58-50).

#### References

- G.-C. Wu and D. Baleanu, “Discrete fractional logistic map and its chaos,”
*Nonlinear Dynamics*, vol. 75, no. 1-2, pp. 283–287, 2014. View at: Publisher Site | Google Scholar - G.-C. Wu and D. Baleanu, “Chaos synchronization of the discrete fractional logistic map,”
*Signal Processing*, vol. 102, pp. 96–99, 2014. View at: Publisher Site | Google Scholar - R. P. Agarwal, D. Baleanu, S. Rezapour, and S. Salehi, “The existence of solutions for some fractional finite difference equations via sum boundary conditions,”
*Advances in Difference Equations*, vol. 2014, article 282, 2014. View at: Publisher Site | Google Scholar - W. Lv, “Existence of solutions for discrete fractional boundary value problems with a
*p*-Laplacian operator,”*Advances in Difference Equations*, vol. 2012, article 163, 10 pages, 2012. View at: Publisher Site | Google Scholar - S. Kang, Y. Li, and H. Chen, “Positive solutions to boundary value problems of fractional difference equation with nonlocal conditions,”
*Advances in Difference Equations*, vol. 2014, article 7, 2014. View at: Publisher Site | Google Scholar - 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 Site | Google Scholar | Zentralblatt MATH - C. S. Goodrich, “Existence and uniqueness of solutions to a fractional difference equation with nonlocal conditions,”
*Computers and Mathematics with Applications*, vol. 61, no. 2, pp. 191–202, 2011. View at: Publisher Site | Google Scholar - R. A. C. Ferreira, “Existence and uniqueness of solution to some discrete fractional boundary value problems of order less than one,”
*Journal of Difference Equations and Applications*, vol. 19, no. 5, pp. 712–718, 2013. View at: Publisher Site | Google Scholar | Zentralblatt MATH - T. Abdeljawad, “On Riemann and Caputo fractional differences,”
*Computers and Mathematics with Applications*, vol. 62, no. 3, pp. 1602–1611, 2011. View at: Publisher Site | Google Scholar - T. Abdeljawad, “Dual identities in fractional difference calculus within Riemann,”
*Advances in Difference Equations*, vol. 2013, article 36, 2013. View at: Publisher Site | Google Scholar - T. Abdeljawad, “On delta and nabla Caputo fractional differences and dual identities,”
*Discrete Dynamics in Nature and Society*, vol. 2013, Article ID 406910, 12 pages, 2013. View at: Publisher Site | Google Scholar - 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 Site | Google Scholar - F. M. Atici and P. W. Eloe, “A transform method in discrete fractional calculus,”
*International Journal of Difference Equations*, vol. 2, no. 2, pp. 165–176, 2007. View at: Google Scholar | MathSciNet - T. Sitthiwirattham, J. Tariboon, and S. 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. View at: Publisher Site | Google Scholar - 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*, vol. 2013, article 296, 2013. View at: Publisher Site | Google Scholar - T. Sitthiwirattham, “Existence and uniqueness of solutions of sequential nonlinear fractional difference equations with three-point fractional sum boundary conditions,”
*Mathematical Methods in the Applied Sciences*, vol. 38, pp. 2809–2815, 2015. View at: Publisher Site | Google Scholar - T. Sitthiwirattham, “Boundary value problem for
*p*-Laplacian Caputo fractional difference equations with fractional sum boundary conditions,”*Mathematical Methods in the Applied Sciences*, 2015. View at: Publisher Site | Google Scholar - D. H. Griffel,
*Applied Functional Analysis*, Ellis Horwood, Chichester, UK, 1981. View at: MathSciNet - H. Schaefer, “Über die Methode der a priori-Schranken,”
*Mathematische Annalen*, vol. 129, no. 1, pp. 415–416, 1955. View at: Publisher Site | Google Scholar

#### Copyright

Copyright © 2015 Saowaluk Chasreechai 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.