Arbitrary Order Fractional Difference Operators with Discrete Exponential Kernels and Applications

Abdeljawad, Thabet; Al-Mdallal, Qasem M.; Hajji, Mohamed A.

doi:https://doi.org/10.1155/2017/4149320

Discrete Dynamics in Nature and Society

On this page

Abstract Introduction Preliminaries Conclusions Conflicts of Interest Acknowledgments References Copyright Related Articles

Special Issue

Theoretical and Numerical Results for Fractional Difference and Differential Equations

View this Special Issue

Research Article | Open Access

Volume 2017 | Article ID 4149320 | https://doi.org/10.1155/2017/4149320

Arbitrary Order Fractional Difference Operators with Discrete Exponential Kernels and Applications

Thabet Abdeljawad,¹Qasem M. Al-Mdallal,²and Mohamed A. Hajji²

Academic Editor: Garyfalos Papashinopoulos

Received03 Apr 2017

Accepted25 May 2017

Published21 Jun 2017

Abstract

Recently, Abdeljawad and Baleanu have formulated and studied the discrete versions of the fractional operators of order with exponential kernels initiated by Caputo-Fabrizio. In this paper, we extend the order of such fractional difference operators to arbitrary positive order. The extension is given to both left and right fractional differences and sums. Then, existence and uniqueness theorems for the Caputo () and Riemann () type initial difference value problems by using Banach contraction theorem are proved. Finally, a Lyapunov type inequality for the Riemann type fractional difference boundary value problems of order is proved and the ordinary difference Lyapunov inequality then follows as tends to from right. Illustrative examples are discussed and an application about Sturm-Liouville eigenvalue problem in the sense of this new fractional difference calculus is given.

1. Introduction

In the last few decades, the continuous and discrete fractional differential equations have received considerable interest due to their importance in many scientific fields; see, by way of example not exhaustive enumeration, [1–7].

In [8], the authors introduced a fractional derivative with an exponential kernel which tends to the ordinary derivative as tends to . More properties of this fractional derivative have been studied in [9], where the correspondent fractional integral operator was formulated. Then, the authors in [7] defined the left and right fractional derivatives with exponential kernel in the Riemann sense and formulated the right fractional derivatives in the sense of Caputo-Fabrizio with complete investigation to the correspondent fractional integrals and all the discrete versions with integration and summation by parts applied in the fractional and discrete fractional variational calculus. Then, very recently, the same authors proved an interesting monotonicity result in the sense of this new fractional difference calculus in [10].

In the same direction, for the purpose of providing more fractional derivatives with different nonsingular kernels, the authors in [11] defined a fractional operator with Mittag-Leffler kernel and in [12, 13] the complete details and discrete versions have been studied. The exponential kernel fractional derivatives and hence their discrete counterparts are quite different from the Mittag-Leffler kernel fractional operators. For example, the integral operator corresponding to exponential kernel fractional derivatives consists of a multiple of the function added to a multiple of the integration of , whereas the Mittag-Leffler kernel correspondent integral operator consists of a multiple of and a Riemann-Liouville fractional integral of the same order. Also, the monotonicity coefficient of the fractional difference operator of order is as shown in [10], whereas for the discrete Mittag-Leffler operator is as proven in [14].

Motivated, by what we mentioned above, we extend the order of fractional difference type operators with discrete exponential kernels to arbitrary positive order, prove existence and uniqueness theorems for the fractional initial value difference problems, and finally prove a Lyapunov type inequality for the fractional difference operators of order . The ordinary discrete Lyapunov inequality is then confirmed as tends to from the right not as in the case of the classical fractional difference as tends to from the left [15]. For various fractional Lyapunov extensions we refer, for example, to [16–29]. All the authors there were motivated by the following theorem on ordinary Lyapunov inequality.

Theorem 1 (see [30]). If the boundary value problemhas a nontrivial solution, where is a real continuous function; then

Notice that inequality (2) is known as the classical Lyapunov inequality. It is worth mentioning that Cheng [31] had pointed out that Lyapunov neither stated nor proved Theorem 1 but he only stated the following result.

Theorem 2 (see [26]). Let be a nontrivial, continuous, and nonnegative function with period and letThen the roots of the characteristic equation corresponding to Hills equation are purely imaginary with modulus one.

For the classical fractional calculus which is behind many extensions, we refer the reader to [32–35] and for the sake of comparison with the classical discrete fractional case we refer to [36] and the references therein. In addition, for the discrete fractional operators and their duality we refer to [37–39].

The article will be organised as follows: In the remaining part of this section we shall give some basics about the discrete and fractional differences and their correspondent sums as used in [7, 10]. In Section 2, we extend the order of and fractional differences and their correspondent sums to arbitrary positive order and give some illustrative examples. In Section 3, we prove some existence and uniqueness theorems by means of Banach fixed point theorem and give some illustrative examples. In Section 4, we prove a Lyapunov type inequality for a fractional difference boundary value problem of order and give an application to the fractional difference Sturm-Liouville Eigenvalue problem (SLEP) to enrich the applicability of our proven Lyapunov inequality in the frame of fractional difference operators with discrete exponential kernels.

2. Preliminaries

Definition 3 (see [36]). For , , , and a real-valued function defined on , the left Riemann-Liouville fractional sum of order is defined by This is fractionalising of the -iterated nabla sum The right fractional integral ending at , where usually we assume that , is defined by where and is the well-known gamma special function of .

Definition 4 (see [7, 10]). For and defined on , or in right case, we have the following definitions:
(i) The left (nabla) fractional difference is given by(ii) The right (nabla) fractional difference has the following form:(iii) The left (nabla) fractional difference is written as(iv) The right (nabla) fractional difference is given bywhere is a normalization positive constant depending on satisfying , , and .

In [7, 8], it was verified that and . Also, in the right case and . From [7, 8] we recall the relation between the and fractional differences asand for the right case byNotice that we extend Definition 4 to arbitrary in the next section.

Lemma 5 (see [7]). For , we have

Notation. For a positive integer , we have(i).(ii).(iii).

3. Higher Order Fractional Differences and Sums

Definition 6. Let and be defined on . Set and defineThe associated fractional sum is given by

Note that if we use the convention that , then for the case we have and hence we obtain Definition 4. Also, the convention leads to and as in Definition 4 for .

Remark 7. In Definition 6, if we let then and hence . Also, by noting that , we see that for we have . Also, for we reobtain the concepts defined in Definition 4. Therefore, our generalization to higher order case is confirmed.

Analogously, in the right case we have the following extension.

Definition 8. Let and be defined on . Set . Then and we defineThe associated fractional integral is given by

An immediate extension of (12) and (13) by using Definition 6 is the following.

Proposition 9. For defined on and , we haveand for the right case

Next proposition explains the action of the arbitrary order sum operator on the arbitrary order and differences (and vice versa) and the action of the difference on the correspondent sum operator.

Proposition 10. For defined on and for some with , we have (i).(ii)(iii)

Proof. (i) By Definition 6 and the statement after Definition 4, we have(ii) By Definition 6 and the statement after Definition 4, we havewhere
(iii) By Lemma 5 applied to , we have

Using the facts that , and making use of Lemma 5 and the statement after Definition 4, we can state, for the right case, the following.

Proposition 11. For defined on and , for some , we have (i).(ii)(iii)

Example 12. Consider the initial value problem:where is defined on . Let us consider two cases depending on the order : (i)Assume , , and . By applying and making use of Proposition 10, we get the solution Notice that the condition verifies the initial condition . In addition, when we obtain the solution of the ordinary difference initial value problem , (ii)Assume , , , and . By applying and making use of Proposition 10 and Definition 6 with , we obtain the solution Notice that the solution verifies without the use of . However, it verifies under the assumption . Also, note that when we recover the solution of the second-order ordinary difference initial value problem , , and .

In the next section, we prove existence and uniqueness theorems for some types of and initial value difference problems.

Example 13. Consider the difference boundary value problemThen and by Proposition 10 if we apply the operator , we obtain the solution But Hence, the solution has the form The boundary conditions imply that and Hence,

4. Existence and Uniqueness Theorems for the Initial Value Problem Types

In this section we prove existence and uniqueness theorems for and type initial value problems.

Theorem 14. Consider the systemsuch that , , and , , where and . Then, system (34) has a unique solution of the form

Proof. First, by the help of Proposition 10, (12), and taking into account the fact that , it is straight forward to prove that satisfies system (34) if and only if it satisfies (35).
Let be the Banach space endowed with the norm . On define the linear operator Then, for arbitrary and , we have by assumption thatand hence is a contraction. By Banach fixed point theorem, there exists a unique such that and hence the proof is complete.

Remark 15. Similar existence and uniqueness theorems can be proved for system (34) with higher order by making use of Proposition 10. The condition always can not be avoided as we have seen in Example 12 with . As a result of Theorem 14, we conclude that the fractional difference linear initial value problem can have only the trivial solution unless . Indeed, the solution satisfies . This solution is only verified at if .

Theorem 16. Consider the systemsuch that , and , , where and . Then, system (34) has a unique solution of the form

Proof. If we apply to system (39) and make use of Proposition 10 with then we reach at the representation (40). Conversely, if we apply , make use of Proposition 10 and by noting that we obtain system (39). Hence, satisfies system (39) if and only if it satisfies (40).
Let be the Banach space endowed with the norm . On define the linear operator Then, for arbitrary and , we have by assumption thatand hence is a contraction. By Banach Contraction Principle, there exists a unique such that and hence the proof is complete.

5. The Lyapunov Inequality for the CFR Difference Boundary Value Problem

In this section, we prove a Lyapunov inequality for a boundary value difference problem of order .

Consider the boundary value problemwhere,

Lemma 17. is a solution of the boundary value problem (44) if and only if it satisfies the equationwhere

Proof. Apply the integral to (44) and make use of Definition 6 and Proposition 10 with and to reachThe condition implies that and the condition implies that , and hence Then, the result follows by splitting the summation

Lemma 18. Given that , the Green function defined in Lemma 17 has the following properties: for all (2) for . has a unique maximum, given by Hence, in either cases .

Proof. () It is clear that . Regarding the part we see that and that if and only if if and only if . Hence, we conclude that as well.
() Clearly, is an increasing function in . Applying to with respect to for every fixed we see that and hence is a decreasing function in .
() Let . Then, if and hence for , attains its maximum at if (or ) is odd and at if (or ) is even. More generally, if and are such that , we see that if is odd and if is even. Finally, and .

In next lemma, we estimate for a function , the Banach space of all Banach-valued finite sequences on with , where is the norm in the Banach space.

Lemma 19. For and , , we have, for any , where

Theorem 20 (the fractional difference Lyapunov inequality). If the boundary value problem (44) has a nontrivial solution, where is a real-valued bounded function on , then

Proof. Assume is a nontrivial solution of the boundary value problem (44). By Lemma 17, must satisfyThen, by using the properties of the Green function proved in Lemmas 18 and 19, we come to the conclusion that from which (54) follows.

Remark 21. Note that if , then tends to and hence we obtain the classical nabla discrete version of the Lyapunov inequality (2). For the sake of more comparisons of Lyapunov inequalities on time scales we refer to [40].

Example 22. Consider the following Sturm-Liouville difference eigenvalue problem (SLDEP) of order If is an eigenvalue of (57), then by Theorem 20 with , we haveHence, we must haveNotice that the limiting case implies that which is the lower bound for the eigenvalues of the ordinary difference eigenvalue problem:

6. Conclusions

Fractional differences and their correspondent fractional sum operators are of importance in discrete modeling of various problems in science. We extended the fractional difference calculus whose difference operators depend on a discrete exponential function kernel to arbitrary positive order. The correspondent arbitrary order fractional sum operators have been defined as well and applied to solve fractional initial and boundary value difference problems. The extension for right fractional differences and sums is also achieved. To set up the basic concepts, we proved existence and uniqueness theorems by means of Banach fixed point theorem for initial value problems in the frame of and fractional differences. We have come to the conclusion that the condition is necessary to guarantee the existence of solution and hence fractional linear difference initial value problem with constant coefficients results in the trivial solution unless the order is positive integer. We used our extension to arbitrary order to prove a Lyapunov type inequality for a boundary value problem of order and then obtain the classical ordinary case when tends to 2 from right. This proves different behavior from the classical fractional difference case, where the Lyapunov inequality was proved for a fractional difference boundary problem of order and the classical ordinary case was then recovered when tends to 2 from left.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The first author would like to thank the Research and Translation Center in Prince Sultan University for continuous encouragement and support.

References

M. A. Hajji, Q. M. Al-Mdallal, and F. M. Allan, “An efficient algorithm for solving higher-order fractional Sturm-Liouville eigenvalue problems,” Journal of Computational Physics, vol. 272, pp. 550–558, 2014.
View at: Publisher Site | Google Scholar | MathSciNet
Q. M. Al-Mdallal and M. A. Hajji, “A convergent algorithm for solving higher-order nonlinear fractional boundary value problems,” Fractional Calculus and Applied Analysis, vol. 18, no. 6, pp. 1423–1440, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
Q. M. Al-Mdallal, “On the numerical solution of fractional Sturm-Liouville problems,” International Journal of Computer Mathematics, vol. 87, no. 12, pp. 2837–2845, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
A. H. Bhrawy, T. M. Taha, and J. A. Machado, “A review of operational matrices and spectral techniques for fractional calculus,” Nonlinear Dynamics. An International Journal of Nonlinear Dynamics and Chaos in Engineering Systems, vol. 81, no. 3, pp. 1023–1052, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
F. Wu and J. Liu, “Discrete fractional creep model of salt rock,” J. Comput. Complex. Appl, vol. 2, pp. 1–6, 2016.
View at: Google Scholar
R. Abu-Saris and Q. Al-Mdallal, “On the asymptotic stability of linear system of fractional-order difference equations,” Fractional Calculus and Applied Analysis. An International Journal for Theory and Applications, vol. 16, no. 3, pp. 613–629, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
T. Abdeljawad and D. Baleanu, “On fractional derivatives with exponential kernel and their discrete versions,” Journal of Reports in Mathematical Physics, https://arxiv.org/abs/1606.07958.
View at: Google Scholar
M. Caputo and M. Fabrizio, “A new definition of fractional derivative without singular kernal,” Progress in Fractional Differentiation and Applications, vol. 1, no. 2, pp. 73–85, 2015.
View at: Google Scholar
J. Losada and J. J. Nieto, “Properties of a new fractional derivative without singular kernal,” Progress in Fractional Differentiation and Applications, vol. 1, no. 2, pp. 87–92, 2015.
View at: Google Scholar
T. Abdeljawad and D. Baleanu, “Monotonicity results for fractional difference operators with discrete exponential kernels,” Advances in Difference Equations, vol. 2017, Article ID 78, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
A. Atangana and D. Baleanu, “New fractional derivatives with non-local and non-singular kernel: Theory and application to heat transfer model,” Thermal Science, vol. 20, no. 2, pp. 763–769, 2016.
View at: Publisher Site | Google Scholar
T. Abdeljawad and D. Baleanu, “Integration by parts and its applications of a new nonlocal fractional derivative with Mittag-Leffler nonsingular kernel,” The Journal of Nonlinear Sciences and Applications, vol. 10, no. 03, pp. 1098–1107, 2017.
View at: Publisher Site | Google Scholar
T. Abdeljawad and D. Baleanu, “Discrete fractional differences with nonsingular discrete Mittag-Leffler kernels,” Advances in Difference Equations, vol. 2016, Article ID 232, 2016.
View at: Publisher Site | Google Scholar | MathSciNet
T. Abdeljawad and D. Baleanu, “Monotonicity analysis of a nabla discrete fractional operator with discrete Mittag-Leffler kernel,” Chaos, Solitons & Fractals, 2017.
View at: Publisher Site | Google Scholar
R. A. Ferreira, “Some discrete fractional Lyapunov-type inequalities,” Fractional Differential Calculus, vol. 5, no. 1, pp. 87–92, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
R. A. Ferreira, “A Lyapunov-type inequality for a fractional boundary value problem,” Fractional Calculus and Applied Analysis. An International Journal for Theory and Applications, vol. 16, no. 4, pp. 978–984, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
A. Chidouh and D. F. Torres, “A generalized Lyapunov's inequality for a fractional boundary value problem,” Journal of Computational and Applied Mathematics, vol. 312, pp. 192–197, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
M. Jleli and B. Samet, “Lyapunov-type inequalities for fractional boundary-value problems,” Electronic Journal of Differential Equations, vol. 2015, no. 88, 11 pages, 2015.
View at: Google Scholar | MathSciNet
D. O'Regan and B. Samet, “Lyapunov-type inequalities for a class of fractional differential equations,” Journal of Inequalities and Applications, vol. 2015, no. 247, 10 pages, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
J. Rong and C. Bai, “Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions,” Advances in Difference Equations, vol. 2015, no. 82, 10 pages, 2015.
View at: Publisher Site | Google Scholar | MathSciNet
M. Jleli and B. Samet, “A Lyapunov-type inequality for a fractional $q$ -difference boundary value problem,” Journal of Nonlinear Science and its Applications. JNSA, vol. 9, no. 5, pp. 1965–1976, 2016.
View at: Google Scholar | MathSciNet
H. Esser, “Stability inequalities for discrete nonlinear two-point boundary value problems,” Applicable Analysis. An International Journal, vol. 10, no. 2, pp. 137–162, 1980.
View at: Publisher Site | Google Scholar | MathSciNet
N. G. Abuj and D. B. Pachpatte, “Lyapunov type inequality for fractional differential equation with k-Prabhakar derivative,” https://arxiv.org/abs/1702.01562.
View at: Google Scholar
D. B. Pachpatte, N. G. Abuj, and A. D. Khandagale, “Lyapunov type inequality for hybrid fractional differential equation with Prabhakar Derivative,” https://arxiv.org/abs/1609.03027.
View at: Google Scholar
X. Yang, “On Liapunov-type inequality for certain higher-order differential equations,” Applied Mathematics and Computation, vol. 134, no. 2-3, pp. 307–317, 2003.
View at: Publisher Site | Google Scholar | MathSciNet
A. n. Tiryaki, “Recent developments of Lyapunov-type inequalities,” Advances in Dynamical Systems and Applications, vol. 5, no. 2, pp. 231–248, 2010.
View at: Google Scholar | MathSciNet
N. Parhi and S. Panigrahi, “Liapunov-type inequality for higher order differential equations,” Mathematica Slovaca, vol. 52, no. 1, pp. 31–46, 2002.
View at: Google Scholar | MathSciNet
J. X. Cui, X. Huang, and M. C. Hou, “Lyapunov-type inequality for fractional order difference equations,” Global Journal of Science Frontier Research, vol. 16, no. 1, 2016.
View at: Google Scholar
T. Abdeljawad, “A Lyapunov type inequality for fractional operators with nonsingular Mittag-Leffler kernel,” Journal of Inequalities and Applications, 2017:130 pages, 2017.
View at: Publisher Site | Google Scholar | MathSciNet
A. M. Lyapunov, “Probleme général de la stabilité du mouvment,” Annales de la Faculté des Sciences de Toulouse, vol. 2, pp. 227–247, 1907, Reprinted in: Ann. Math. Studies, no. 17, Princeton, 1947.
View at: Google Scholar
S. S. Cheng, “A discrete analogue of the inequality of Lyapunov,” Hokkaido Mathematical Journal, vol. 12, no. 1, pp. 105–112, 1983.
View at: Publisher Site | Google Scholar | 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: MathSciNet
I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.
View at: MathSciNet
A. Kilbas, M. H. Srivastava, and J. J. Trujillo, Theory and Application of Fractional Differential Equations, vol. 204 of North Holland Mathematics Studies, 2006.
F. Bozkurt, T. Abdeljawad, and M. A. Hajji, “Stability analysis of a fractional order differential equatin model of a brain tumor growth depending on the density,” Applied and Computational Mathematics. An International Journal, vol. 14, no. 1, pp. 50–62, 2015.
View at: Google Scholar | MathSciNet
C. Goodrich and A. C. Peterson, Discrete Fractional Calculus, Springer International, New York, NY, USA, 2015.
View at: Publisher Site
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
T. Abdeljawad, “Dual identities in fractional difference calculus within Riemann,” Advances in Difference Equations, vol. 2013, no. 36, 2013.
View at: Publisher Site | Google Scholar | MathSciNet
T. Abdeljawad and D. F. M. Torres, “Symmetric duality for left and right Riemann-Liouville and Caputo fractional differences,” Arab Journal of Mathematical Sciences, vol. 23, no. 2, pp. 157–172, 2017.
View at: Publisher Site | Google Scholar
M. Bohner and A. Peterson, Dynamic equations on time scales, Springer, Berlin, Germany, 2001.
View at: Publisher Site | MathSciNet

Copyright

Copyright © 2017 Thabet Abdeljawad 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.

PDF Download Citation

Download other formats

Order printed copies

Views

1349

Downloads

935

Citations