Discrete Dynamics in Nature and Society

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

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

## Solvability for Discrete Fractional Boundary Value Problems with a -Laplacian Operator

School of Mathematics and Statistics, Longdong University, Qingyang, Gansu 745000, China

Received 5 July 2013; Accepted 3 September 2013

Academic Editor: Jehad Alzabut

Copyright © 2013 Weidong Lv. 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 solvability for a discrete fractional -Laplacian boundary value problem. Some existence and uniqueness results are obtained by means of the Banach contraction mapping principle. Additionally, two representative examples are presented to illustrate the effectiveness of the main results.

#### 1. Introduction

For any number and each interval of , we denote and throughout this paper. It is also worth noting that, in what follows, we appeal to the convention that the empty sum is taken to be .

In this paper, we will consider the existence and uniqueness of solutions for the following discrete fractional boundary value problem involving a -Laplacian operator where , , , , is the forward difference operator with stepsize 1, denotes the discrete Caputo fractional difference of order is a continuous function, and is the -Laplacian operator; that is, , . Obviously, is invertible and its inverse operator is , where is a constant such that .

The theory of fractional differential equations has become a new important branch of mathematics (see, e.g., [1–8]). At the same time, boundary value problems for fractional differential equations have received considerable attention [9–18]. It is well known that discrete analogues of differential equations can be very useful in applications [19, 20], especially for using computer to simulate the behavior of solutions for certain dynamic equations. Compared to continuous case, significantly less is known about the discrete fractional calculus. However, within the recent years, a lot of papers have appeared on discrete fractional calculus and discrete fractional boundary value problems; see [21–37]. For example, in [25], Atıcı and Eloe explored a discrete fractional conjugate boundary value problem with the Riemann-Liouville fractional difference. To the best of our knowledge, this is pioneering work on discussing boundary value problems in discrete fractional calculus. After that, Goodrich studied discrete fractional boundary value problems involving the Riemann-Liouville fractional difference intensively and obtained a series of excellent results; see [26–31]. In [33, 34], Bastos et al. considered the discrete fractional calculus of variations and established several necessary optimality conditions for fractional difference variational problems. Abdeljawad introduced the conception of Caputo fractional difference and developed some useful properties of it in [35]. Ferreira in [37] initially investigated the existence and uniqueness of solutions for some discrete fractional boundary value problems of order less than one by the Banach fixed point theorem.

Very recently, some authors have focused their attention on the existence of solutions for fractional boundary value problems with the -Laplacian operator in continuous case [38–44]. However, as far as we know, few papers can be found in the literature for the discrete fractional boundary value problems with the -Laplacian operator [45].

Inspired by the aforementioned results, we will investigate the discrete fractional -Laplacian boundary value problem (1) and establish some sufficient conditions for the existence and uniqueness of solutions to it by using the Banach contraction mapping principle.

The remainder of this paper is organized as follows. Section 2 preliminarily provides some necessary basic knowledge for the theory of discrete fractional calculus. In Section 3, the existence and uniqueness results for the solution to problem (1) will be established with the help of the contraction mapping principle. Finally, in Section 4, two concrete examples are provided to illustrate the possible applications of the established analytical results.

#### 2. Preliminaries

For the convenience of the reader, we begin by presenting here some necessary basic definitions and lemmas on discrete fractional calculus theory.

*Definition 1 (see [21]). *For any and , the falling factorial function is defined as
provided that the right-hand side is well defined. We appeal to the convention that ifis a pole of the Gamma function and is not a pole, then .

*Definition 2 (see [46]). *The th fractional sum of a function , for , is defined by

*Definition 3 (see [35]). *The th Caputo fractional difference of a function , for , , is defined by
where is the smallest integer greater than or equal to and is the th forward difference operator. If , then .

Lemma 4 (see [45]). *Assume that and is defined on . Then
**
where , , and is the smallest integer greater than or equal to.*

Now, we state and prove the following lemma, which provides a representation for the solution to (1) if the solution exists.

Lemma 5. *Let , and let . Then the following problem
**
has a unique solution
**
where .*

*Proof. *The definition of the discrete Caputo fractional difference, together with condition , implies that . So from (6), we have
and then
Hence, in view of Lemma 4, we can get
where , .

Furthermore, we have
Then by conditions , , we can get
Substituting the values ofandin (11), we get (8). This completes the proof.

Finally, we list below the following basic properties of the-Laplacian operator which will be used in the sequel.(1) If, and, then (2) If,, then

#### 3. Main Results

In this section, we will use the Banach contraction mapping principle to prove the existence and uniqueness for the solution to problem (1).

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

For the sake of convenience to the following discussion, we set where is as given in Lemma 5. Also, for any , we denote for . Obviously, .

In view of Lemma 5, we transform problem (1) as where is defined by for . It is clear to see thatis a solution of the problem (1) if and only ifis a fixed point of .

Now, we state the main results as follows.

Theorem 6. *Suppose ,,, and the following condition holds:** there exist positive numbers and with
**such that
**
Then the problem (1) has a unique solution.*

*Proof. *For any, by (21), we can get that
Due to and , we know that. By (14) and (22), for any,, we have

Next, for any and for each , together with the fact that , we obtain
where. From (20), we get that, which implies that is a contraction mapping. By means of the Banach contraction mapping principle, we get that has a unique fixed point in ; that is. the problem (1) has a unique solution. This completes the proof.

With a similar proof to that of Theorem 6, we can get the following theorem.

Theorem 7. *Suppose , , , and the following condition holds:** there exist constantsandwith
**such that
**
Then the problem (1) has a unique solution.*

Theorem 8. *Suppose,,, and the following condition holds:** there exists a nonnegative function and such that
**and there exists a positive constantsuch that
**
Then the problem (1) has a unique solution provided that
*

*Proof. *By (28), we can get that, for,
In view of and , we can get . From (15) and (29), for any , we have
Hence, for any , by , we have
where . In view of (30), is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof.

#### 4. Examples

In this section, we will illustrate the possible application of the above established analytical results with the following two concrete examples.

*Example 1. *Consider the discrete fractional boundary value problem
hereis a real number.

*Conclusion*. Problem (34) has a unique nonnegative solution.

*Proof. *Corresponding to problem (1), , , , , , , and ,.

Choosing and , by direct calculation, we can verify that
It is easy to verify that
for , . Therefore, by Theorem 6, the boundary value problem (34) has a unique solution. Furthermore, from the nonnegativeness of and the expression of , we also get that the unique solution of (34) is nonnegative.

*Example 2. *Consider the nonlinear discrete fractional boundary value problem
where is a real number.

*Conclusion*. Problem (37) has a unique solution.

*Proof. *The problem (37) can be regarded as problem (1), where , , , , ,, and , . Taking , , then . Let ; we have
Moreover, we can verify that
for , .

Therefore, by Theorem 8, problem (37) has a unique solution.

#### Acknowledgment

This work was supported by the Longdong University Grant XYZK-1010 and XYZK-1007.

#### References

- 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 - W. G. Glockle and T. F. Nonnenmacher, “A fractional calculus approach to self-similar protein dynamics,”
*Biophysical Journal*, vol. 68, no. 1, pp. 46–53, 1995. View at Google Scholar · View at Scopus - R. Metzler, W. Schick, H. Kilian, and T. F. Nonnenmacher, “Relaxation in filled polymers: a fractional calculus approach,”
*The Journal of Chemical Physics*, vol. 103, no. 16, pp. 7180–7186, 1995. View at Google Scholar · View at Scopus - I. Podlubny,
*Fractional Differential Equations*, vol. 198 of*Mathematics in Science and Engineering*, Academic Press, San Diego, Calif, USA, 1999. View at MathSciNet - R. Hilfer,
*Applications of Fractional Calculus in Physics*, World Scientific, Singapore, 2000. - A. A. Kilbas and J. J. Trujillo, “Differential equations of fractional order: methods, results and problems. I,”
*Applicable Analysis*, vol. 78, no. 1-2, pp. 153–192, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. A. Kilbas and J. J. Trujillo, “Differential equations of fractional order: methods, results and problems. II,”
*Applicable Analysis*, vol. 81, no. 2, pp. 435–493, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Sabatier, O. P. Agrawal, and J. A. T. Machado,
*Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering*, Springer, Heidelberg, Germany, 2007. - Z. Bai and H. Lü, “Positive solutions for boundary value problem of nonlinear fractional differential equation,”
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 2, pp. 495–505, 2005. 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 A*, vol. 72, no. 2, pp. 916–924, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Bai and Y. Zhang, “Solvability of fractional three-point boundary value problems with nonlinear growth,”
*Applied Mathematics and Computation*, vol. 218, no. 5, pp. 1719–1725, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Bai, “Triple positive solutions for a boundary value problem of nonlinear fractional differential equation,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 2008, article 24, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Xu, D. Jiang, and C. Yuan, “Multiple positive solutions for the boundary value problem of a nonlinear fractional differential equation,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 71, no. 10, pp. 4676–4688, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Ahmad, “Existence of solutions for irregular boundary value problems of nonlinear fractional differential equations,”
*Applied Mathematics Letters of Rapid Publication*, vol. 23, no. 4, pp. 390–394, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Zhang, “Positive solutions to singular boundary value problem for nonlinear fractional differential equation,”
*Computers & Mathematics with Applications*, vol. 59, no. 3, pp. 1300–1309, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Jiang, “The existence of solutions to boundary value problems of fractional differential equations at resonance,”
*Nonlinear Analysis: Theory, Methods & Applications A*, vol. 74, no. 5, pp. 1987–1994, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Y. Chen and X. Tang, “Solvability of sequential fractional order multi-point boundary value problems at resonance,”
*Applied Mathematics and Computation*, vol. 218, no. 14, pp. 7638–7648, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · 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 A*, vol. 75, no. 4, pp. 2692–2700, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. Hilscher and V. Zeidan, “Nonnegativity and positivity of quadratic functionals in discrete calculus of variations: survey,”
*Journal of Difference Equations and Applications*, vol. 11, no. 9, pp. 857–875, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. G. Kelley and A. C. Peterson,
*Difference Equations: An Introduction with Applications*, Academic Press, New York, NY, USA, 1991. View at MathSciNet - 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 · View at MathSciNet - F. M. Atici and P. W. Eloe, “Initial value problems in discrete fractional calculus,”
*Proceedings of the American Mathematical Society*, vol. 137, no. 3, pp. 981–989, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. M. Atıcı and P. W. Eloe, “Discrete fractional calculus with the nabla operator,”
*Electronic Journal of Qualitative Theory of Differential Equations*, vol. 2009, article 3, 12 pages, 2009. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. M. Atıcı and S. Şengül, “Modeling with fractional difference equations,”
*Journal of Mathematical Analysis and Applications*, vol. 369, no. 1, pp. 1–9, 2010. 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 - 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, “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, “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, “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 - C. S. Goodrich, “On discrete sequential fractional boundary value problems,”
*Journal of Mathematical Analysis and Applications*, vol. 385, no. 1, pp. 111–124, 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 Google Scholar · View at Zentralblatt MATH · View at MathSciNet - N. R. O. Bastos, R. A. C. Ferreira, and D. F. M. Torres, “Discrete-time fractional variational problems,”
*Signal Process*, vol. 91, no. 3, pp. 513–524, 2011. View at Google Scholar - N. R. O. Bastos, R. A. C. Ferreira, and D. F. M. Torres, “Necessary optimality conditions for fractional difference problems of the calculus of variations,”
*Discrete and Continuous Dynamical Systems*, vol. 29, no. 2, pp. 417–437, 2011. 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 - M. Holm, “Sum and difference compositions in discrete fractional calculus,”
*Cubo*, vol. 13, no. 3, pp. 153–184, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - 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 · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Wang, H. Xiang, and Z. Liu, “Existence of concave positive solutions for boundary value problem of nonlinear fractional differential equation with
*p*-Laplacian operator,”*International Journal of Mathematics and Mathematical Sciences*, vol. 2010, Article ID 495138, 17 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - J. Wang and H. Xiang, “Upper and lower solutions method for a class of singular fractional boundary value problems with
*p*-Laplacian operator,”*Abstract and Applied Analysis*, vol. 2010, Article ID 971824, 12 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - Z. Han, H. Lu, S. Sun, and D. Yang, “Positive solutions to boundary-value problems of
*p*-Laplacian fractional differential equations with a parameter in the boundary,”*Electronic Journal of Differential Equations*, vol. 2012, article 213, 14 pages, 2012. View at Google Scholar · View at MathSciNet - G. Chai, “Positive solutions for boundary value problem of fractional differential equation with
*p*-Laplacian operator,”*Boundary Value Problems*, vol. 2012, article 18, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - T. Chen and W. Liu, “An anti-periodic boundary value problem for the fractional differential equation with a
*p*-Laplacian operator,”*Applied Mathematics Letters of Rapid Publication*, vol. 25, no. 11, pp. 1671–1675, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - X. Liu and M. Jia, “On the solvability of a fractional differential equation model involving the
*p*-Laplacian operator,”*Computers & Mathematics with Applications*, vol. 64, no. 10, pp. 3267–3275, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - H. Lu, Z. Han, S. Sun, and J. Liu, “Existence on positive solutions for boundary value problems of nonlinear fractional differential equations with
*p*-Laplacian,”*Advances in Difference Equations*, vol. 2013, article 30, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - W. Lv, “Existence of solutions for discrete fractional boundary value problems with a
*p*-Laplacian operator,”*Advances in Difference Equations*, vol. 2012, article 163, 2012. View at Publisher · View at Google Scholar · View at MathSciNet - K. S. Miller and B. Ross, “Fractional difference calculus,” in
*Proceedings of the International Symposium on Univalent Functions, Fractional Calculus and Their Applications*, Ellis Horwood Series in Mathematics & Its Applications, pp. 139–152, Nihon University, Koriyama, Japan, May 1988, Horwood, Chichester, UK, 1989.