 Research
 Open Access
 Published:
Existence of solutions for a class of nonlinear fractional difference equations of the Riemann–Liouville type
Advances in Continuous and Discrete Models volume 2022, Article number: 32 (2022)
Abstract
Nonlinear fractional difference equations are studied deeply and extensively by many scientists by using fixedpoint theorems on different types of function spaces. In this study, we combine fixedpoint theory with a set of falling fractional functions in a Banach space to prove the existence and uniqueness of solutions of a class of fractional difference equations. The most important part of this article is devoted to correcting a significant mistake made in the literature in using the power rule by providing further conditions for its validity. Also, we provide specific conditions under which difference equations have attractive solutions and the solutions are also asymptotically stable. Furthermore, we construct some fractional difference examples in order to illustrate the validity of the observed results.
Introduction
The idea of discrete fractional calculus is to replace the natural numbers in the order of the difference by fractional orders. However, since the emergence of the theory of discrete fractional calculus, different types of discrete fractional operators have been developed to deal with various situations in the applied and natural sciences due to their great importance as an advanced mathematical tool for the interpretation and modeling of many biological and physical phenomena, such as various biological studies, electrical circuits, mechanical fluids, relaxation processes, and dampinglaw models (see [1–6]). There are several possible ways to define discrete fractional operators (differences and sums), leading to a diverse and rich field of study (see [7–11]). Here, we shall focus principally on the most commonly used and classical definition, which is known as the Riemann–Liouville (RL) fractional calculus (see, for details, [12, 13]; see also the recent surveycumexpository review articles [14, 15]).
Fractional difference equations (FDEs) have become a hot research topic in the mathematical and physical sciences. It has been found that the role of FDEs is very important in treating and modeling nonlinear problems with applications in mathematical analysis and various branches of science, including diffusion, plasmas, dynamic systems, nonlinear optics, and many other areas (see [16–21]).
In the last two decades, significant numbers of articles have appeared on this topic, and some of the papers deal with the existence and uniqueness of solutions for difference equation problems (see [22–26]). However, a significant mistake has been made by most of the researchers in using the fractional power rule (see Lemma 2.2).
In some recent articles of Lu et al. [27] and Mohammed [28], some nonlinear RL fractional difference equations were established from the uncertain point of view, and the existence and uniqueness theorems were studied using the scheme of uncertainty theory. In general, the difference equations considered were of the following form:
where \({}^{\mathrm{RL}}_{a}{\Delta }^{\nu }\) is the discrete RL fractional difference operator and ψ is supposed to be a realvalued function: \(f:[0,\infty )\times \mathbb{R}\to \mathbb{R}\).
Next, in [29] and [30], the problem of the power rule was solved by considering a new difference equation as follows:
In the meantime, the existence and uniqueness of the Liouville–Caputo version of the difference equation (1.2) was obtained by Srivastava et al. [31] in the correct way as above.
Moreover, in [32–34] some nonlinear RL and Liouville–Caputo fractional difference equations such as (1.1) and (1.2) were established from the mathematical point of view. Also, the existence and uniqueness theorems were proved there using the scheme of fixedpoint theory. Unfortunately, the same mistake as above was made in those articles.
The aim of this work is to present the existence and uniqueness of the solution of the nonlinear fractional difference equation (1.2) using fixedpoint theorems in the correct way and correcting the above mistakes. The remainder of the study is structured as follows: In Sect. 2, we give related notations and make some preparations. In Sect. 3, we derive and prove the main theorems of the article: first determining a suitable powerrule condition corresponding to the difference equation (1.2), then proving existence and uniqueness, and finally rewriting the difference equation in such a way that the problem will be more useful in applications. In Sect. 4 we will illustrate our results with several examples of different types, providing specific nonlinear difference equations and conditions under which they have attractive solutions and the solutions are asymptotically stable. In Sect. 5, we conclude the article with some ideas and remarks for future directions of work in this area.
Preliminaries
Denote \(\rho (\mathrm{z}):=\mathrm{z}1\), \(\sigma (\mathrm{z}):=\mathrm{z}+1\) and \(\mathrm{N}_{a}:=\{a,a+1,a+2,\ldots \}\). Let ψ be defined on \(\mathrm{N}_{a}\). Then, the forward and backward difference operators are given by \(\Delta \psi (\mathrm{z})=\psi (\sigma (\mathrm{z}))\psi (\mathrm{z})\) and \(\nabla \psi (\mathrm{z})=\psi (\mathrm{z})\psi (\rho (\mathrm{z}))\) for each \(\mathrm{z}\in \mathrm{N}_{a}\), respectively. There are plenty of possible ways to define discrete fractional differences and sums, leading to a diverse and rich field of study [8–10]. Primarily, we shall focus on the discrete RL fractional operators, which is the most commonly used definition. Here, discrete fractional sums of order \(\nu >0\) are defined by
where ψ is defined on \(\mathrm{N}_{a}\) and \(\mathrm{z}^{(\nu )}\) is the falling factorial function, defined by
The discrete RL fractional difference is, as an extension of the discrete fractional sum, defined by
for \(0\leqq \nu <1\).
Lemma 2.1
If \(\nu >0\), \(\mathrm{z}^{(\nu )}\) is nonincreasing on \(\mathrm{N}_{0}\).
Proof
From the forward difference operator and (2.2), we have
Since \(\nu >0\) and \(\mathrm{z}^{(\nu 1)}= \frac{\Gamma (\mathrm{z}+1 )}{\Gamma (\mathrm{z}+2+\nu )} \geq 0\), it follows that
which leads to \((\mathrm{z}+1)^{(\nu )}\leqq \mathrm{z}^{(\nu )}\). Thus, the proof is complete. □
Lemma 2.2
(see [9])
If \(\nu >0\) and \(\mu >1\), then
for \(\mathrm{z}\in \mathrm{N}_{a+\mu +\nu }\).
Lemma 2.3
The falling factorial function satisfies the following conditions:

(i)
\(\mathrm{z}^{(\mu )}\cdot \mathrm{z}^{(\nu )}\leqq \mathrm{z}^{(\mu  \nu )}\) for \(\nu ,\mu \geq 0\) and \(\mathrm{z}>\mu 1\).

(ii)
\(\mathrm{z}^{(\nu +\mu )}=(\mathrm{z}\mu )^{(\nu )}\mathrm{z}^{(\mu )}\).

(iii)
\((\mathrm{z}+\nu )^{(\mu )}<\mathrm{z}^{(\mu )}\) for each positive value of ν, μ and z.

(iv)
\([\mathrm{z}^{(\gamma )} ]^{\beta }\leqq \mathrm{z}^{( \beta \gamma )}\) for \(\gamma <0\) and \(\beta \in (0,1)\).
Each of the above items can be found in [6, 34] and [32], respectively.
Definition 2.1
(see [35])
A set ϒ of finite or infinite sequences in \(\ell _{n}^{\infty }\) is uniformly Cauchy, if, for every \(\epsilon >0\), there exists an integer m such that \(y(i)y(j) <\epsilon \) for \(i, j>m\) and \(y= \{y(n) \}\) in ϒ.
The following theorem is known as a discrete Arzela–Ascoli theorem.
Theorem 2.1
(see [36])
A bounded uniformly Cauchy subset ϒ of \(\ell _{n}^{\infty }\) is relatively compact.
The following theorem is known as the discrete Krasnoselskii fixedpoint theorem.
Theorem 2.2
(see [36])
Let \(\mathtt{S}\neq \emptyset \) be a bounded, closed and convex subset of the Banach space ϒ of \(\ell _{n}^{\infty }\). Let \(\mathtt{A}:\Upsilon \to \Upsilon \) and \(\mathtt{B}:\mathtt{S}\to \Upsilon \) be two operators with the following constraints:

(i)
A is a contraction mapping with constant \(\mathtt{L}<1\);

(ii)
B is continuous and BS resides in a compact subset of ϒ;

(iii)
\(y=\mathtt{A}y+\mathtt{B}z\), \(z\in \mathtt{S}\) implies that \(y\in \mathtt{S}\).
Then, we can say that the operator equation \(\mathtt{A}y+\mathtt{B}z=y\) has a solution in S.
Let us now consider the difference equation (1.2) in a more explicit fractional Taylor difference equation form.
Lemma 2.4
(see [29])
Suppose that ψ is a given realvalued function. The difference equation (1.2) has one solution if and only if y is a solution of the following fractional Taylor difference equation:
for \(\mathrm{z}\in \mathrm{N}_{\nu }\).
To proceed, we should define a functional operator P as follows:
Furthermore, we will try to show that the operator P has a unique fixed point in a possible function space. Let us separate P into two distinct operators as follows:
It is evident that \(\mathtt{P}y=\mathtt{A}y+\mathtt{B}y\) and the operator A is a contraction mapping with the constant 0, which verifies condition (i) of Theorem 2.2. Moreover, it is clear from (2.5) and (2.6) that y is a fixed point of P iff y is a solution of (1.2).
Establishment of the existence and uniqueness results
Here, we consider the space \(\Upsilon :=\ell _{\nu +1}^{\infty }\) of functions x that consist of the set of all real sequences \(\{x(\mathrm{z}) \}_{\mathrm{z}=\nu +1}^{\infty }\). Note that ϒ is a Banach space under the norm \(\Vert x \Vert :=\sup_{\mathrm{z}\in \mathrm{N}_{ \nu +1}} x(\mathrm{z}) \). Also, we define
It is clear that the set S is a nonempty bounded and closed subset of ϒ.
Theorem 3.1
Let the following condition on the function ψ hold true:

(C1)
Suppose that there exist positive constants C and β, with \(\nu +\beta =1\) and \(\beta >\nu \), such that
$$ \bigl\vert \psi (\mathrm{z},y) \bigr\vert \leqq \mathtt{C} \mathrm{z}^{(\beta )}\quad (\forall \mathrm{z}\in \mathrm{N}_{\nu +1} ). $$(3.2)
Then, the operator B is continuous and \(\mathtt{B}\mathtt{S}_{1}\) is a relatively compact subset of \(\mathtt{S}_{1}\) for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\), where
\(\gamma =\frac{\beta \nu }{2}\) and n satisfies the following condition:
Proof
From the definition (2.8) of the operator B, Lemma 2.2 and assumption (C1), we have, for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\),
Considering ν, \(\beta \nu \) and \(\mathrm{z}1\) are all positive for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\), \(n=1,2,\ldots \) , by Lemmas 2.1 and 2.2, and assumption (3.3), we have
This means that \(y\in \mathtt{S}_{1}\) and thus \(\mathtt{B}\mathtt{S}_{1}\subseteq \mathtt{S}_{1}\).
For the continuity of B on \(\mathtt{S}_{1}\), we let \(\epsilon >0\) be given. Then, by using Lemmas 2.1 and 2.2, there exists \(m\geq n\) in \(\mathbb{N}_{1}\) such that
Let \(\{y_{j} \}_{j=\nu +n}^{\infty }\) be a sequence defined on \(\mathtt{S}_{1}\) that converges to y. For \(\mathrm{z}\in \mathrm{N}_{\nu +m}\), it follows from assumption (C1) and (3.5) that
For the rest of the interval \(\mathrm{z}\in \{\nu +n,\nu +n+1,\ldots ,\nu +m1 \}\), we use the continuity of ψ and Lemma 2.1 to obtain
which approaches zero when \(j\to \infty \). Therefore, we have proved for each \(\mathrm{z}\in \mathrm{N}_{\nu +n}\),
and thus the operator B is continuous. In the following, we prove that the operator B is also relatively compact in \(\mathtt{S}_{1}\). Let \(\mathrm{z}_{1}, \mathrm{z}_{2}\in \mathrm{N}_{\nu +n}\) with \(\mathrm{z}_{2}>\mathrm{z}_{1}\), yielding
Therefore, \(\{\mathtt{B}y: y\in \mathtt{S}_{1} \}\) is a bounded and uniformly Cauchy subset by Definition 2.1. Moreover, \(\mathtt{B}\mathtt{S}_{1}\) is relatively compact in view of Theorem 2.1. Thus, the conclusion follows. □
Theorem 3.2
Assume that a function ψ of two variables satisfies the assumption (C1) stated in Theorem 3.1. Then, there exists at least one solution \(y(\mathrm{z})\) of the difference equation (1.2) for \(\mathrm{z}\in \mathrm{N}_{\nu +1}\) in \(\mathtt{S}_{1}\).
Proof
It is enough to show that \(y(\mathrm{z})\) is a fixed point of P in \(\mathtt{S}_{1}\). Let \(z\in \mathtt{S}_{1}\) be fixed. If \(y:=\mathtt{A}y+\mathtt{B}z\), then we shall show that y is in \(\mathtt{S}_{1}\). By means of (C1), Lemmas 2.1, 2.2 and 2.3(iii) one has for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\):
By considering the condition (3.3), and Lemmas 2.1 and 2.3(ii), it follows that
which means that \(y(\mathrm{z})\in \mathtt{S}_{1}\) for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\). By Theorem 3.1 and 2.2, therefore, P has a fixed point in \(\mathtt{S}_{1}\), which means that there exists at least one solution of the difference equation (1.2) on \(\mathrm{z}\in \mathrm{N}_{\nu +n}\). The proof is now completed. □
Theorem 3.3
Assume that a function ψ of two variables ψ satisfies the assumption (C1) stated in Theorem 3.1. Then, the solutions \(y(\mathrm{z})\) of the difference equation (1.2) are attractive in \(\mathtt{S}_{1}\).
Proof
By means of Theorem 3.2, the solutions of the difference equation (1.2) exist in \(\mathtt{S}_{1}\). Moreover, each of the functions \(y(\mathrm{z})\) tend to 0 as \({{\mathrm{z}\to \infty }}\). Therefore, the solutions of the difference equation (1.2) tend to 0 as \({{\mathrm{z}\to \infty }}\). The proof is complete. □
Theorem 3.4
Let the following condition on the function ψ hold true:

(C2)
There exist positive constants K and β, with \(\nu +\beta =1\) and \(\beta >\nu \), such that
$$ {{ \bigl\vert \psi \bigl(\mathrm{z},y_{1}( \mathrm{z}) \bigr) \psi \bigl(\mathrm{z},y_{2}(\mathrm{z}) \bigr) \bigr\vert \leqq \mathtt{K} \mathrm{z}^{(\beta )} \Vert yz \Vert \quad ( \forall \mathrm{z}\in \mathrm{N}_{\nu +1} ).}} $$(3.7)
Then, the solutions of the difference equation (1.2) are stable if
Proof
Let ω, ϖ be two solutions of the difference equation (1.2) and let \(\epsilon >0\). From the assumption (C2) and Lemmas 2.1, 2.2 and 2.3, one has the following for \(\mathrm{z}\in \mathrm{N}_{\nu +1}\):
By using (3.8), it follows that
Now, chose \(\delta =\frac{2(1\ell )\epsilon }{\nu (\nu +1)}\). Therefore,
Thus, it is proven that the solutions of the difference equation (1.2) are stable. □
Corollary 3.1
Assume that a function ψ of two variables satisfies the assumptions (C1) and (C2) stated in Theorems 3.1and 3.4, respectively. Then, the solutions of the difference equation (1.2) are asymptotically stable.
Proof
Corollary 3.1 follows from Theorems 3.3 and 3.4. □
Remark 3.1
It is important to state explicitly that the power rule (2.4) is used mistakenly in [27, 28, 32–34] as follows:
In fact, according to Lemma 2.2, it is valid only when \(\nu =\beta \), which contradicts the positivity of ν and β. That is why we have chosen to study such a difference equation of the type (1.2). In this case, we have obtained
for which we need \(\nu +\beta =1\) according to Lemma 2.2, as we have established in Theorems 3.1 to 3.4.
We now prove a new attractiveness of the solutions of the difference equation (1.2) with a new condition in the following theorem.
Theorem 3.5
Let the following condition on the function ψ hold true:

(C3)
There exist positive constants \(\mathtt{C}_{2}\), β and γ, with \(\nu +\beta +\gamma =1\) and \(\beta >\nu \), such that
$$ {{ \bigl\vert \psi \bigl(\mathrm{z},y(\mathrm{z})\bigr) \bigr\vert \leqq \mathtt{C}_{2} (\mathrm{z}+\gamma )^{(\beta )} \bigl\vert y(\mathrm{z}+1) \bigr\vert \quad (\forall \mathrm{z}\in \mathrm{N}_{\nu +1} ).}} $$(3.9)
Then, the solutions of the difference equation (1.2) are attractive.
Proof
To prove this theorem, we will verify the conditions of Theorem 2.2. The first condition is clear because A is a contraction as we discussed before. Also, the second condition is very similar to the one we proved in Theorem 3.1, so we omit it. Here, we prove the last condition so that \(y(\mathrm{z})\) will be a fixed point of P in \(\mathtt{S}_{2}\), where
where \(n\in \mathbb{N}_{1}\) satisfies the condition that
Let \(w\in \mathtt{S}_{2}\) be fixed. Now, if \(y:=\mathtt{A}y+\mathtt{B}w\), then we shall show that y is in \(\mathtt{S}_{2}\). By using assumption (C3), Lemmas 2.1, 2.2 and 2.3, we have for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\):
By considering condition (3.10), and Lemmas 2.1 and 2.3(ii), it follows that
This completes the required result. Therefore, by Theorem 3.1 and 2.2, P has a fixed point in \(\mathtt{S}_{2}\), which means that there exists at least one solution of the difference equation (1.2) on \(\mathrm{z}\in \mathrm{N}_{\nu +n}\). Moreover, by means of Theorem 3.2, each of the functions \(y(\mathrm{z})\) in \(\mathtt{S}_{2}\) tend to zero as \(\mathrm{z}\to \infty \). Therefore, the solutions of the difference equation (1.2) tend to zero as \(\mathrm{z}\to \infty \). This completes the proof. □
Corollary 3.2
Assume that a function ψ of two variables satisfies the assumptions (C2) and (C3) stated in Theorems 3.4and 3.5, respectively. Then, the solutions of the difference equation (1.2) are asymptotically stable such that (3.8) holds true.
Proof
This follows from Theorems 3.4 and 3.5. □
Theorem 3.6
Let the following condition on ψ hold true:

(C4)
There exist \(\eta \in (0,1)\) and the positive constants \(\mathtt{C}_{3}\) and β such that
$$ {{ \bigl\vert \psi \bigl(\mathrm{z},y(\mathrm{z})\bigr) \bigr\vert \leqq \mathtt{C}_{3} (\mathrm{z}+1)^{(\beta )} \bigl\vert y(\mathrm{z}+1) \bigr\vert ^{\eta } \quad (\forall \mathrm{z}\in \mathrm{N}_{\nu +1} ).}} $$(3.11)
Then, the solutions of the difference equation (1.2) are attractive.
Proof
We proceed with the same method as that used in Theorem 3.5. We only prove the last condition in 2.2 so that \(y(\mathrm{z})\) will be a fixed point of P in \(\mathtt{S}_{3}\), where
where \(\nu +\beta +\gamma \eta =1\), \(\beta >\nu \), \(\nu +\gamma \in (0,1)\), \(\gamma =\frac{\beta \nu }{2}\) and \(n\in \mathbb{N}_{1}\) satisfies the condition that
Let \(w\in \mathtt{S}_{3}\) be fixed. Now, if \(y:=\mathtt{A}y+\mathtt{B}w\), then we shall show that y is in \(\mathtt{S}_{3}\). By using assumption (C4), \(\nu <\beta +\gamma \eta <1\), Lemmas 2.1, 2.2 and 2.3(ii)–(iv), we have for \(\mathrm{z}\in \mathrm{N}_{\nu +n}\):
Considering condition (3.12), \(\nu +\gamma \in (0,1)\), \(\beta \nu =2\gamma \), and Lemmas 2.1 and 2.3(ii), it follows that
This proves the required condition (iii) in Theorem 2.2 and thus the proof is completed. □
Remark 3.2
The same mistakes of the power rule, as we discussed in Remark 3.1, are made in Theorems 3.6 and 3.8 in [32]. In those theorems, the used power rule would have been true when \(\nu +\beta _{3}+\gamma _{2}=0\) and \(\nu +\beta _{3}+\gamma _{2}\eta =0\), respectively. However, these contradict the positivity of ν, β, γ and η. The chosen parameters here are such that \(\nu +\beta +\gamma =1\) in Theorem 3.5 and \(\nu +\beta +\gamma \eta =1\) in Theorem 3.6 have appropriately corrected the above mistakes.
Applications
In this section, we present three nonlinear difference examples that illustrate the results established in general above. In each case, Conditions (C1) to (C4) are verified to be true.
Example 4.1
Consider the nonlinear difference equation
Here, \(\nu +\beta =0.25+0.75=1\) and \(\psi (\mathrm{z},y(\mathrm{z}) )=0.2 \mathrm{z}^{(0.75)} \sin (y(\mathrm{z}))\). Thus, for \(\mathrm{z}\in \mathrm{N}_{1.5}\), we have
so (C1) is satisfied. Also, we have
so (C2) is satisfied as well. Moreover, in view of Theorem 3.4 with \(\mathtt{K}=0.2\), \(\nu =0.25\) and \(\beta =0.75\), we find that
which verifies (3.8). Therefore, the solutions of the difference equation (4.1) are asymptotically stable according to Corollary 3.1.
Example 4.2
Consider the nonlinear difference equation
From the difference equation, we see that \(\nu +\beta +\gamma =0.2+0.5+0.3=1\) and \(\psi (\mathrm{z},y(\mathrm{z}) )=0.4 (\mathrm{z}+1)^{(0.5)}y( \mathrm{z})\). Since \(\mathrm{z}^{(0.5)}\) is nonincreasing. Then, for \(\mathrm{z}\in \mathrm{N}_{1.5}\), we have
and so (C3) is satisfied. Also, we see that
so (C2) is satisfied. Moreover, in view of Theorem 3.4 with \(\mathtt{K}=0.2\), \(\nu =0.25\) and \(\beta =0.75\), we find that
which verifies the condition (3.8). Therefore, the solutions of the difference equation (4.2) are asymptotically stable according to Corollary 3.2.
Example 4.3
Finally, we consider the following nonlinear difference equation
From the given difference equation, we have \(\nu =0.39\), \(\beta =0.59\), \(\gamma =\frac{0.590.39}{2}=0.1\), \(\eta =0.2\) and \(\psi (\mathrm{z},y(\mathrm{z}) )=0.4 (\mathrm{z}+1)^{(0.59)}y^{ \frac{1}{5}}(\mathrm{z}+1)\) for \(\mathrm{z}\in \mathrm{N}_{1.5}\). Since \(\mathrm{z}^{(0.5)}\) is nonincreasing, for \(\mathrm{z}\in \mathrm{N}_{1.5}\), we have
so (C4) is satisfied. Therefore, the solutions of the difference equation (4.3) are attractive according to Theorem 3.6.
Conclusions and directions for further work
In this work, we dealt with a class of nonlinear fractional difference equations in the sense of Riemann–Liouville. The powerrule mistakes made by some authors in [2, 3] are corrected by providing some further conditions. Having established a set of falling fractional functions that is bounded and closed subsets in a Banach space, and having set some conditions on the nonlinear part and falling fractional functions, we proceeded to prove the existence and uniqueness of the class of nonlinear fractional difference equations.
An important future research direction is to extend the existence and uniqueness of solutions of nonlinear fractional difference equations for other types of discrete fractional calculus. The present work is set within the discrete fractional difference operators of Riemann–Liouville type, but it may be possible to extend it, applying the same method in other classes of discrete fractional operators such as Liouville–Caputo [8], Caputo–Fabrizio [9] and Atangana–Baleanu [10].
Availability of data and materials
Not applicable.
References
Suwan, I., Owies, S., Abdeljawad, T.: Monotonicity results for hdiscrete fractional operators and application. Adv. Differ. Equ. 2018, 207 (2018)
Mohammed, P.O., Hamasalh, F.K., Abdeljawad, T.: Difference monotonicity analysis on discrete fractional operators with discrete generalized MittagLeffler kernels. Adv. Differ. Equ. 2021, 213 (2021)
Mohammed, P.O., Abdeljawad, T., Hamasalh, F.K.: On Riemann–Liouville and Caputo fractional forward difference monotonicity analysis. Mathematics 9, 1303 (2021)
Atici, F.M., Nguyen, N., Dadashova, K., Pedersen, S.E., Koch, G.: Pharmacokinetics and pharmacodynamics models of tumor growth and anticancer effects in discrete time. Comput. Math. Biophys. 8, 114–125 (2020)
Xu, J., Goodrich, C.S., Cui, Y.: Positive solutions for a system of firstorder discrete fractional boundary value problems with semipositone nonlinearities. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 113, 1343–1358 (2021)
Atici, F., Eloe, P.: A transform method in discrete fractional calculus. Int. J. Differ. Equ. 2, 165–176 (2007)
Sahin, R., Yagci, O.: Fractional calculus of the extended hypergeometric function. Appl. Math. Nonlinear Sci. 5, 369–384 (2020)
Abdeljawad, T.: On delta and nabla Caputo fractional differences and dual identities. Discrete Dyn. Nat. Soc. 2013, Article ID 406910 (2013)
Abdeljawad, T.: Different type kernel hfractional differences and their fractional hsums. Chaos Solitons Fractals 116, 146–156 (2018)
Abdeljawad, T., Atici, F.: On the definitions of nabla fractional operators. Abstr. Appl. Anal. 2012, Article ID 406757 (2012)
Sahin, R., Yagci, O.: Fractional calculus involving \((p,q)\)Mathieu type series. Appl. Math. Nonlinear Sci. 5, 15–34 (2020)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematical Studies, vol. 204. Elsevier, Amsterdam (2006)
Srivastava, H.M.: Fractionalorder derivatives and integrals: introductory overview and recent developments. Kyungpook Math. J. 60, 73–116 (2020)
Srivastava, H.M.: An introductory overview of fractionalcalculus operators based upon the Fox–Wright and related higher transcendental functions. J. Adv. Eng. Comput. 5, 135–166 (2021)
Srivastava, H.M.: Some parametric and argument variations of the operators of fractional calculus and related special functions and integral transformations. J. Nonlinear Convex Anal. 22, 1501–1520 (2021)
Goodrich, C.S., Peterson, A.C.: Discrete Fractional Calculus. Springer, Berlin (2015)
Goodrich, C.S.: Discrete Kirchhoff equations with signchanging coefficients. J. Differ. Equ. Appl. 27, 664–685 (2021)
Atici, F.M., Eloe, P.: Initial value problems in discrete fractional calculus. Proc. Am. Math. Soc. 137, 981–989 (2009)
Meganathan, M., Abdeljawad, T., Motawi Khashan, M., et al.: Analytic and numerical solutions of discrete Bagley–Torvik equation. Adv. Differ. Equ. 2021, 222 (2021)
Mohammed, P.O., Abdeljawad, T.: Discrete generalized fractional operators defined using hdiscrete MittagLeffler kernels and applications to AB fractional difference systems. Math. Methods Appl. Sci., 1–26 (2020). https://doi.org/10.1002/mma.7083
Khan, A., et al.: Stability analysis of fractional nabla difference COVID19 model. Results Phys. 22, 103888 (2021)
Atici, F.M., Wu, F.: Existence of solutions for nonlinear fractional difference equations with initial conditions. Dyn. Syst. Appl. 23, 265–276 (2014)
ElBorhamy, M., Mosalam, N.: On the existence of periodic solution and the transition to chaos of Rayleigh–Duffing equation with application of gyro dynamic. Appl. Math. Nonlinear Sci. 5, 93–108 (2020)
Goodrich, C.S.: Existence of a positive solution to a system of discrete fractional boundary value problems. Appl. Math. Comput. 217, 4740–4753 (2011)
Saouli, M.A.: Existence of solution for meanfield reflected discontinuous backward doubly stochastic differential equation. Appl. Math. Nonlinear Sci. 5, 205–216 (2020)
Jonnalagadda, J.: Existence results for solutions of nabla fractional boundary value problems with general boundary conditions. Adv. Theory Nonlinear Anal. Appl. 4, 29–42 (2020)
Lu, Q., Zhu, Y., Lu, Z.: Uncertain fractional forward difference equations for Riemann–Liouville type. Adv. Differ. Equ. 2019, 147 (2019)
Mohammed, P.O.: A generalized uncertain fractional forward difference equations of Riemann–Liouville type. J. Math. Res. 11, 43–50 (2019)
Lu, Q., Zhu, Y.: Comparison theorems and distributions of solutions to uncertain fractional difference equations. J. Comput. Appl. Math. 376, 112884 (2020)
Srivastava, H.M., Mohammed, P.O.: A correlation between solutions of uncertain fractional forward difference equations and their paths. Front. Phys. 8, 280 (2020)
Srivastava, H.M., Mohammed, P.O., Ryoo, C.S., Hamed, Y.S.: Existence and uniqueness of a class of uncertain Liouville–Caputo fractional difference equations. J. King Saud Univ., Sci. 33, 101497 (2021)
Chen, F., Liu, Z.: Asymptotic stability results for nonlinear fractional difference equations. J. Appl. Math. 2012, Article ID 879657 (2012)
Chen, F., Luo, X., Zhou, Y.: Existence results for nonlinear fractional difference equation. Adv. Differ. Equ. 2011, Article ID 713201 (2011)
He, J.W., Zhang, L., Zhou, Y., Ahmad, B.: Existence of solutions for fractional difference equations via topological degree methods. Adv. Differ. Equ. 2018, 153 (2018)
Cheng, S.S., Patula, W.T.: An existence theorem for a nonlinear difference equation. Nonlinear Anal., Theory Methods Appl. 20, 193–203 (1993)
Burton, T.A., Furumochi, T.: Krasnoselskii’s fixed point theorem and stability. Nonlinear Anal., Theory Methods Appl. 49, 445–454 (2002)
Acknowledgements
This work was supported by the Taif University Researchers Supporting Project (No. TURSP2020/155), Taif University, Taif, Saudi Arabia, and it is partially supported by the Ministerio de Ciencia, Innovación y Universidades grant number PGC2018097198BI00 and Fundación Séneca de la Región de Murcia grant number 20783/PI/18.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
Conceptualization, POM, HMS and JLGG; methodology, POM, HMS; software, YSH, HMS, JLGG, KMA; validation, POM, HMS, JLGG; formal analysis, KMA; investigation, YSH, POM, HMS, KMA; resources, JLGG and YSH; writing, original draft preparation, YSH, POM, HMS, JLGG, KMA; writing, reviewing and editing, HMS, JLGG; funding acquisition, JLGG. All authors read and approved the final manuscript.
Corresponding authors
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mohammed, P.O., Srivastava, H.M., Guirao, J.L.G. et al. Existence of solutions for a class of nonlinear fractional difference equations of the Riemann–Liouville type. Adv Cont Discr Mod 2022, 32 (2022). https://doi.org/10.1186/s13662022037059
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662022037059
MSC
 26A33
 39A12
 49K05
Keywords
 Discrete fractional calculus
 Riemann–Liouville fractional calculus
 Existence and uniquenes
 Fixedpoint theorems
 Fractional difference equations
 Falling fractional functions