Abstract and Applied Analysis

Volume 2013 (2013), Article ID 410505, 8 pages

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

## A Study of Nonlinear Fractional -Difference Equations with Nonlocal Integral Boundary Conditions

Department of Mathematics, Faculty of Science, King Abdulaziz University, P.O. Box 80203, Jeddah 21589, Saudi Arabia

Received 12 July 2013; Revised 9 September 2013; Accepted 9 September 2013

Academic Editor: Dumitru Baleanu

Copyright © 2013 Ahmed Alsaedi 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

This paper is concerned with the existence and uniqueness of solutions for a boundary value problem of nonlinear fractional -difference equations with nonlocal integral boundary conditions. The existence results are obtained by applying some well-known fixed point theorems and illustrated with examples.

#### 1. Introduction

Several kinds of boundary value problems of fractional-order have recently been investigated by many researchers. Fractional derivatives appear naturally in the mathematical modelling of dynamical systems involving fractals and chaos. In fact, the concept of fractional calculus has played a key role in improving the work based on integer-order (classical) calculus in several diverse disciplines of science and engineering. This might have been due to the fact that fractional-differential operators help to understand the hereditary phenomena in many materials and processes in a better way than the corresponding integer-order differential operators. Examples include physics, chemistry, biology, biophysics, blood flow phenomena, control theory, signal and image processing, and economics [1–4]. For some recent results on the topic, see a series of papers [5–12] and the references therein.

Fractional -difference equations, regarded as fractional analogue of -difference equations, have been studied by several researchers. For some earlier work on the subject, we refer to [13, 14], whereas the recent development on the existence theory of fractional -difference equations can be found in [15–25]. In a recent paper [26], the authors investigated a nonlocal boundary value problem of nonlinear fractional -difference equations: where , is the fractional -derivative of the Caputo type, is -derivative, and .

The purpose of the present paper is to study the following nonlocal boundary value problem of nonlinear fractional -difference equations: where , is the fractional -derivative of the Caputo type, and is a real number.

The paper is organized as follows. Section 2 contains some necessary background material on the topic, while the main results are presented in Section 3. We make use of Banach’s contraction principle, Krasnoselskii’s fixed point theorem, and Leray-Schauder nonlinear alternative to establish the existence results for the problem at hand.

#### 2. Preliminaries on Fractional -Calculus

Here we recall some definitions and fundamental results on fractional -calculus.

*Definition 1 (see [13]). *Let , let , and let be a function defined on . The fractional -integral of the Riemann-Liouville type is and
where

Recall that , with

More generally, if , then

Lemma 2 (see [27]). *For , , the following is valid:
*

In particular, for , using -integration by parts, we have

For , we define the -derivative of a real valued function as For more details, see [28].

*Definition 3 (see [29]). * The fractional -derivative of the Riemann-Liouville type of order is defined by and
where is the smallest integer greater than or equal to .

*Definition 4 (see [29]). *The fractional -derivative of the Caputo type of order is defined by
where is the smallest integer greater than or equal to .

Now we state some known results involving -derivatives and -integrals.

Lemma 5 (see [29]). *Let , and let be a function defined on . Then *

*(i) *,

*(ii) *,

*(iii) *, .

Lemma 6 (see [19]). *Let and . Then, the following equality holds:
*

In the forthcoming analysis, the following lemma plays a pivotal role.

Lemma 7. *Let be a given function. Then the unique solution of the boundary value problem,
**
is given by
**
where
*

*Proof. *Using Lemma 5, we can write the solution of fractional -difference equation in (13) as

Using the boundary conditions of (13) in (16), we get and
where is given by (15). Substituting the values of in (16), we obtain (14).

Let denote the Banach space of all continuous functions from to endowed with the norm defined by .

By virtue of Lemma 7, we define an operator as and note that the given problem (2) has solutions only if the operator equation has fixed points.

#### 3. Main Results

In the sequel, we assume that is a continuous function and that there exists a -integrable function such that .

For computational convenience, we introduce the notations: where

Our first existence result is based on Leray-Schauder nonlinear alternative.

Lemma 8 (nonlinear alternative for single valued maps [30]). *Let be a Banach space, a closed, convex subset of , and an open subset of with . Suppose that is a continuous, compact (i.e., is a relatively compact subset of ) map. Then either *

*(i)** has a fixed point in *,
* or*

*(ii) there is ** (the boundary of ** in **) and ** with *.

Theorem 9. * Suppose that is a continuous function. In addition, it is assumed that ** there exist functions and a nondecreasing function such that , for .** Then the problem (2) has at least one solution on if there exists a positive number such that
**
where
*

*Proof. *As a first step, it will be shown that the operator (defined by (18)) maps bounded sets into bounded sets in . Notice that is continuous. For a positive number , let be a bounded set in . Then, for any , we find that

This establishes our assertion.

Next, we show that the operator maps bounded sets into equicontinuous sets of . Taking with and together with the inequality: for (see [19] p. 4), we obtain
It is obvious that the right hand side of the above inequality tends to zero independently of as . Therefore the operator is completely continuous by the Arzelá-Ascoli theorem.

Thus the operator satisfies the hypothesis of Lemma 8 and hence by its conclusion, either condition (i) or condition (ii) holds. We claim that the conclusion (ii) is not possible.

Let with given by (21). Then we will show that . Indeed, by means of , we get
Assume that there exist and such that . Then for such a choice of and , we get a contradiction:
Thus it follows by Lemma 8 that has a fixed point which is a solution of the problem (2). This completes the proof.

*Remark 10. *In case we take in to be continuous, then , where is given by (20).

Our next result deals with existence and uniqueness of solutions for the problem (2) and is based on Banach’s fixed point theorem.

Theorem 11. * Suppose that the assumption holds and that , where is given by (19). Then the boundary value problem (2) has a unique solution. *

* Proof. * Fix , ( is given by (20)), and define . We will show that , where is defined by (18). For , it follows by the assumption that
Then, for , we have
which, in view of (19), implies that
This shows that .

Now, for , we have
which, by (19), takes the form
As (the given assumption), therefore is a contraction. Hence, by Banach’s contraction mapping principle, the problem (2) has a unique solution.

If we take ( is a positive constant), the condition becomes and Theorem 11 can be phrased as follows.

Corollary 12. *Let there exists a constant with given by (20), and let be a continuous function satisfying the assumption: , , . Then the boundary value problem (2) has a unique solution. *

Our last result relies on Krasnoselskii’s fixed point theorem [31].

Lemma 13 (Krasnoselskii). * Let be a closed, bounded, convex, and nonempty subset of a Banach space . Let be two operators such that (i) whenever ; (ii) is compact and continuous; (iii) is a contraction mapping. Then there exists such that .*

Theorem 14. * Let be a continuous function satisfying . Furthermore, it is assumed that ** there exist a function and a nondecreasing function such that
**If
**
with , then the boundary value problem (2) has at least one solution on .*

* Proof. * Let us consider the set , where is given by
and introduce the operators and on as
In order to show the hypothesis of Krasnoselskii’s fixed point theorem, we proceed as follows. For , we find that
This implies that . From the continuity of , it follows that the operator is continuous. Also, is uniformly bounded on as
Next, for any , and with , we have
which is independent of and tends to zero as . Thus, is equicontinuous. So is relatively compact on . Hence, by the Arzelá-Ascoli theorem, is compact on . (iii) From and (33) it follows that is a contraction mapping.

Thus all the conditions of Lemma 13 are satisfied. Hence, by the conclusion of Lemma 13, the problem (2) has at least one solution on .

As a special case, for , there always exists a positive such that (34) holds true. In consequence, we have the following corollary.

Corollary 15. *Let be a continuous function satisfying . Furthermore, , , and . Then the boundary value problem (2) has at least one solution on provided (33) holds. *

#### 4. Examples

*Example 1. * Consider the problem
where . It is easy to find that , and
Obviously . In consequence, , and condition (21) yields . Thus, the hypothesis of Theorem 9 is satisfied. Hence it follows by the conclusion of Theorem 9 that there exists at least one solution for the problem (39).

*Example 2. * Consider the nonlocal boundary value problem given by
Here and is a constant to be fixed later on. With the given data, it is found that , and
Letting
all the conditions of Corollary 12 are satisfied. Therefore, the conclusion of Corollary 12 applies to the problem (41).

#### Conflict of Interests

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

#### Acknowledgments

The authors thank the referees for their useful suggestions that led to the improvement of the original paper. This work has been partially supported by Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, Saudi Arabia.

#### References

- 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 MathSciNet - I. Podlubny,
*Fractional Differential Equations*, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - J. Sabatier, O. P. Agrawal, and J. A. T. Machado, Eds.,
*Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering*, Springer, Dordrecht, The Netherlands, 2007. - S. G. Samko, A. A. Kilbas, and O. I. Marichev,
*Fractional Integrals and Derivatives, Theory and Applications*, Gordon and Breach Science, Yverdon, Switzerland, 1993. View at MathSciNet - D. Băleanu and O. G. Mustafa, “On the global existence of solutions to a class of fractional differential equations,”
*Computers & Mathematics with Applications*, vol. 59, no. 5, pp. 1835–1841, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. Băleanu, O. G. Mustafa, and R. P. Agarwal, “On ${L}^{p}$-solutions for a class of sequential fractional differential equations,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 2074–2081, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - R. P. Agarwal and B. Ahmad, “Existence theory for anti-periodic boundary value problems of fractional differential equations and inclusions,”
*Computers & Mathematics with Applications*, vol. 62, no. 3, pp. 1200–1214, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad and J. J. Nieto, “Riemann-Liouville fractional integro-differential equations with fractional nonlocal integral boundary conditions,”
*Boundary Value Problems*, vol. 2011, article 36, 2011. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Bhalekar, V. Daftardar-Gejji, D. Baleanu, and R. Magin, “Fractional Bloch equation with delay,”
*Computers & Mathematics with Applications*, vol. 61, no. 5, pp. 1355–1365, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. T. Akyildiz, H. Bellout, K. Vajravelu, and R. A. Van Gorder, “Existence results for third order nonlinear boundary value problems arising in nano boundary layer fluid flows over stretching surfaces,”
*Nonlinear Analysis. Real World Applications*, vol. 12, no. 6, pp. 2919–2930, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad and J. J. Nieto, “Sequential fractional differential equations with three-point boundary conditions,”
*Computers & Mathematics with Applications*, vol. 64, no. 10, pp. 3046–3052, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. R. Graef, L. Kong, and Q. Kong, “Application of the mixed monotone operator method to fractional boundary value problems,”
*Fractional Differential Calculus*, vol. 2, pp. 554–567, 2011. View at Google Scholar - R. P. Agarwal, “Certain fractional $q$-integrals and $q$-derivatives,”
*Proceedings of the Cambridge Philosophical Society*, vol. 66, pp. 365–370, 1969. View at Google Scholar · View at MathSciNet - W. A. Al-Salam, “Some fractional $q$-integrals and $q$-derivatives,”
*Proceedings of the Edinburgh Mathematical Society*, vol. 15, pp. 135–140, 1966. View at Publisher · View at Google Scholar · View at MathSciNet - F. M. Atici and P. W. Eloe, “Fractional $q$-calculus on a time scale,”
*Journal of Nonlinear Mathematical Physics*, vol. 14, no. 3, pp. 333–344, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - F. M. Atici and P. W. Eloe, “Linear systems of fractional nabla difference equations,”
*The Rocky Mountain Journal of Mathematics*, vol. 41, no. 2, pp. 353–370, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. M. Atıcı 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 - M. El-Shahed and F. M. Al-Askar, “Positive solutions for boundary value problem of nonlinear fractional $q$-difference equation,”
*ISRN Mathematical Analysis*, vol. 2011, Article ID 385459, 12 pages, 2011. View at Google Scholar · View at MathSciNet - R. A. C. Ferreira, “Positive solutions for a class of boundary value problems with fractional $q$-differences,”
*Computers & Mathematics with Applications*, vol. 61, no. 2, pp. 367–373, 2011. View at Publisher · View at Google Scholar · View at MathSciNet - R. A. C. Ferreira, “Nontrivial solutions for fractional $q$-difference boundary value problems,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 70, pp. 1–10, 2010. View at Google Scholar · 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 - J. R. Graef and L. Kong, “Positive solutions for a class of higher order boundary value problems with fractional $q$-derivatives,”
*Applied Mathematics and Computation*, vol. 218, no. 19, pp. 9682–9689, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - J. Ma and J. Yang, “Existence of solutions for multi-point boundary value problem of fractional $q$-difference equation,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 92, pp. 1–10, 2011. View at Google Scholar · View at MathSciNet - G. C. Wu and D. Baleanu, “New applications of the variational iteration methodfrom differential equations to
*q*-fractional difference equations,”*Advances in Difference Equations*, vol. 2013, article 21, 2013. View at Google Scholar - F. Jarad, T. Abdeljawad, and D. Baleanu, “Stability of $q$-fractional non-autonomous systems,”
*Nonlinear Analysis. Real World Applications*, vol. 14, no. 1, pp. 780–784, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - B. Ahmad, S. K. Ntouyas, and I. K. Purnaras, “Existence results for nonlocal boundary value problems of nonlinear fractional q-difference equations,”
*Advances in Difference Equations*, vol. 2012, article 140, 2012. View at Google Scholar - P. M. Rajković, S. D. Marinković, and M. S. Stanković, “Fractional integrals and derivatives in $q$-calculus,”
*Applicable Analysis and Discrete Mathematics*, vol. 1, no. 1, pp. 311–323, 2007. View at Publisher · View at Google Scholar · View at MathSciNet - M. H. Annaby and Z. S. Mansour,
*q-Fractional Calculus and Equations*, vol. 2056 of*Lecture Notes in Mathematics*, Springer, Heidelberg, Germany, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - P. M. Rajković, S. D. Marinković, and M. S. Stanković, “On $q$-analogues of Caputo derivative and Mittag-Leffler function,”
*Fractional Calculus & Applied Analysis*, vol. 10, no. 4, pp. 359–373, 2007. View at Google Scholar · View at MathSciNet - A. Granas and J. Dugundji,
*Fixed Point Theory*, Springer Monographs in Mathematics, Springer, New York, NY, USA, 2005. View at MathSciNet - D. R. Smart,
*Fixed Point Theorems*, Cambridge University Press, 1980. View at MathSciNet