Abstract
In this paper, we introduce a two-point nonlinear boundary value problem for a finite fractional difference equation. An associated Green’s function is constructed as a series of functions and some of its properties are obtained. Some existence results are deduced from fixed point theory and lower and upper solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we consider the following discrete fractional problem coupled to mixed fractional boundary conditions,
where \(\Delta ^{\alpha }\) is the standard Riemman–Liouville type discrete fractional difference operator, \(t \in {{{\mathbb {N}}}}^{T+1}_0\), \(1<\alpha \le 2,\) \(0 \le \beta \le 1\), T is a positive integer and function \(f:{{{\mathbb {N}}}}^{\alpha +T}_{\alpha -1} \times {\mathbb {R}}\longrightarrow {\mathbb {R}} \) is continuous. Here we denote \({{\mathbb N}}^{K+r}_r= \{r,\dots , K+r\}\) for any \(r \in {\mathbb R}\) and K a positive integer. So, we will look for solutions \( y:{\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\longrightarrow {\mathbb {R}}\).
The continuous fractional calculus has a long history, but the discrete fractional calculus has been investigated recently. The development of this theory starts with the paper of Díaz and Osler [5] where is defined a fractional difference as an infinite series and a generalization of the binomial formula for the n-th order difference \(\Delta ^{n}f\) operator. This study continues with the work of Miller and Ross [10] which deals with the linear \(\upsilon \)-th order fractional differential equation as an analogue of the linear n-th order ordinary differential equation. Since them, a great progress has been made in the study of boundary value problems for fractional difference equations (see [1, 2, 6,7,8] and references therein).
We recall some classical definitions from discrete fractional calculus theory and preliminary results.
Definition 1
We define \(t^{(\nu )} = \Gamma (t+1)/\Gamma (t+1-\nu )\), for any t and \(\nu \) for which the right hand side is well defined. We also appeal to the convention that if \(t + 1 -\nu \) is a pole of the Gamma function and \(t+1\) is not a pole, then \(t^{(\nu )} =0\).
Definition 2
The \(\nu \)-th fractional sum of a function f, for \(\nu >0\) and \(t \in {{{\mathbb {N}}}}_{r+\nu }\), is defined as
We define the \(\nu \)-th fractional difference for \( \nu >0,\) by \(\Delta ^{\nu }f(t):=\Delta ^{N}\Delta ^{\nu -N}f(t),\) where \(t \in N_{r+\nu }\) and \(N\in {\mathbb {N}}\) is chosen so that \(0\le N-1 \le \nu \le N\).
Lemma 3
[9] Let \(0\le N-1 \le \nu \le N\). Then \(\Delta ^{-\nu }\Delta ^{\nu }y(t)=y(t)+c_1t^{(\nu -1)}+c_2t^{(\nu -2)}+\dots +c_Nt^{(\nu -N)}\) for some \(c_i \in {\mathbb {R}}\), with \(1\le i \le N.\)
The paper is scheduled as follows: In next section we deduce some properties of the Green’s function related to the linear problem
for the particular case of \(a(t+\alpha -1)=0\) for all \(t \in {{{\mathbb {N}}}}_{0}^{T+1}\).
The case \(0<\alpha -\beta <1\) has been treated in [9], we will continue this study, by improving some of the obtained results in [9] and by considering the case \(1\le \alpha -\beta \le 2\). Section 3 is devoted to deduce the expression of the Green’s function related to the problem (2) for a nontrivial function a(t), with small enough bounded absolute value. Moreover, some a priori bounds of the Green’s function are obtained. The arguments are in the line of the ones given in the paper [3]. In last section we show the applicability of the given results by obtaining some existence and uniqueness results of the nonlinear problem (1).
2 Properties of function \(G_0\)
In this section we will extend previous results related to the Green’s function \(G_0\) of problem (2) with a identically zero. Some of these results have been given in [9] for the case \(0<\alpha -\beta <1\), we improve some of them and study also the case \(1\le \alpha -\beta \le 2\).
Lemma 4
[9] The unique solution of the linear fractional mixed boundary value problem
has the form
where \(G_0: {\mathbb {N}}_{\alpha -2}^{T+\alpha +1} \times {\mathbb {N}}_{0}^{T+1}\longrightarrow {\mathbb {R}}\) is given by the expression
In the following Lemma, we will show the properties of the Green’s function, which extends the one given in [9, Lemma 3.3].
Lemma 5
The Green’s function \(G_0(t, s)\) given by (3) has the following properties:
-
(i)
Suppose that \(0<\alpha -\beta \le 2\), then \(G_0(t,s)>0\) for \(t \in {{{\mathbb {N}}}}_{\alpha -1}^{\alpha +T+1}\) and \(s\in {{{\mathbb {N}}}}_{0}^{T+1}.\)
-
(ii)
Suppose that \(0<\alpha -\beta \le 2\), then
$$\begin{aligned} \max _{t\in {{{\mathbb {N}}}}_{\alpha -1}^{\alpha +T+1}} G_0(t,s)=G_0(s+\alpha -1,s), \; \text{ for } \text{ each } s\in {{{\mathbb {N}}}}_{1}^{T+1}\text{. } \end{aligned}$$
Proof
The case \( 0<\alpha -\beta < 1\) has been proved in [9, Lemma 3.3 (i)], so, we only need to prove the case \(1\le \alpha -\beta \le 2\).
(i) For \( 0 \le t-\alpha +1\le s \le T+1 \), it is clear that
Now, for \( 0 \le s < t-\alpha +1 \le T+1\), we have
Let
Since
where by \(\psi ^{(0)}\) it is denoted the PolyGamma special function [11]. This implies that
where, for every \(i \in \{0, \ldots ,s\}\), we denote
Since
we have that \( P(t,\alpha ,i) >P(t,\alpha ,0)= \frac{t (T+2)}{(-\alpha +t+1) (\alpha +T+1)}\).
Now, using that \( \frac{\partial P}{\partial t}(t,\alpha ,0) =\frac{(1-\alpha ) (T+2)}{(-\alpha +t+1)^2 (\alpha +T+1)}<0, \) we deduce that \( P(t,\alpha ,i)> P(T+1+\alpha ,\alpha ,0)=1, \) for all \(i \in \{1, \ldots ,s\}\) and, from (4), the positiveness of the Green’s function is shown.
(ii) The case \(0<\alpha -\beta <1\) has been proved in [9, Lemma 3.3 (ii)]. Now, let \(1\le \alpha -\beta \le 2\). If \(0 \le t-\alpha +1\le s \le T+1 \). Then
Hence, we deduce that \(\Delta _{t} G_{0}(t,s) >0\) for \(0 \le t-\alpha +1\le s \le T+1 \). And so, \( G_0(t,s)\) is increasing with respect to t for \(0 \le t-\alpha +1\le s \le T+1 \), which implies that
If \(0 \le s < t-\alpha +1 \le T+1 \). Then
Thus, to show that \(\Gamma (\alpha )\Delta _{t} G_{0}(t,s)<0\), we must prove that
Now, since
we have that
So, by using that
since \(-\alpha +2 \beta -\beta s+s+(\beta -1) T \le 0\) for all \(s \in \{0, \ldots ,T\}\) if and only if \(\alpha -\beta \ge \beta \), which is true whenever \(\alpha -\beta \ge 1\), we have that
As a direct consequence, we deduce that
Now, from the fact that
we conclude that
for all \(t \in \{\alpha -1, \ldots , T+1+\alpha \}\), \(0 \le t-\alpha +1\le s \le T+1 \) and \(0<\beta \le \alpha -1<1\), which implies, from (5), that
As a result, we get that \( G_{0}(t,s)\) is increasing with respect to t for \(0 \le t-\alpha +1\le s \le T+1 \) and decreasing with respect to t for \(0 \le s < t-\alpha +1 \le T+1 \). Hence, it follows that
and the proof is concluded. \(\square \)
In the following, we obtain a bound from above of the Green’s function.
Theorem 6
Let \(G_0(t,s)\) be the Green’s function defined by (3). Then, for any \((t,s) \in {{\mathbb {N}}^{\alpha +T+1}_{\alpha -1}} \times {{{\mathbb {N}}}}^{T+1}_0\), the following inequalities are fulfilled:
-
(i)
If \(0<\alpha -\beta \le 1\), then
$$\begin{aligned} G_0(t,s)\le C_1(T,\alpha ,\beta ):=\frac{(T+2) \Gamma (\alpha -\beta ) \Gamma (T+\alpha +1)}{\Gamma (\alpha ) \Gamma (T+\alpha -\beta +2)}. \end{aligned}$$ -
(ii)
If \(\alpha -\beta > 1\), then
$$\begin{aligned} G_0(t,s)\le & {} C_2(T,\alpha ,\beta )\\:= & {} \frac{\Gamma (T+3) \Gamma \left( \alpha +\frac{-\alpha T+T-\beta }{-2 \alpha +\beta +2}\right) \Gamma \left( \alpha -\beta +\frac{-\alpha T+\beta T+T+\beta }{-2 \alpha +\beta +2}+1\right) }{\Gamma (\alpha ) \Gamma (T+\alpha -\beta +2) \Gamma \left( -\frac{(T+2) (\alpha -1)}{-2 \alpha +\beta +2}\right) \Gamma \left( \frac{-\alpha T+\beta T+T+\beta }{-2 \alpha +\beta +2}+2\right) }. \end{aligned}$$
Proof
From previous result we know that
So, the bounds come from the ones of the previous inequality.
Since,
we have that
Moreover, it is clear that (6) vanishes if and only if
It is immediate to verify that \(s_0(\alpha ,\beta ) \in \{0, \ldots , T+1\}\) if and only if \(\alpha -\beta >1\).
-
(i)
Consider the first case: \(0<\alpha -\beta \le 1\). In this situation we have that \(G_0(s+\alpha -1,s)\) is increasing in \(s\in {{{\mathbb {N}}}}_{0}^{T+1}\). Thus
$$\begin{aligned} G_0(s+\alpha -1,s)\le & {} G_0(T+\alpha ,T+1)=C_1(T,\alpha ,\beta ). \end{aligned}$$ -
(ii)
Assume now that \(1<\alpha -\beta \). Now the maximum is attained at \(s_0(\alpha ,\beta )\), in consequence:
$$\begin{aligned} G_0(s+\alpha -1,s)\le & {} G_0(s_0(\alpha ,\beta )+\alpha -1,s_0(\alpha ,\beta ))= C_2(T,\alpha ,\beta ) \end{aligned}$$and the proof is concluded. \(\square \)
3 Green’s function of problem (2)
In this section we deduce the existence of the Green’s function G related to Problem (2). The expression of the function G is given as a functional series and we prove its convergence for suitable values of the function a(t). The arguments are in the line to the ones given in [3].
Let \(G: {\mathbb {N}}_{\alpha -2}^{T+\alpha +1} \times {\mathbb {N}}_{0}^{T+1}\longrightarrow {\mathbb {R}}\) by
where \(G_0(t,s)\) is given by (3) and
is defined as
In order to express the Green’s function associated with the linear problem (2) we shall use the spectral theory in Banach space given by the following Lemma:
Lemma 7
[12, Theorem 1.B] Let X be a Banach space and \( {\mathcal {A}}:X \longrightarrow X\) be a linear operator with the operator norm \(\Vert {\mathcal {A}}\Vert \). Then if \(\Vert {\mathcal {A}}\Vert < 1\), then \(( {\mathcal {I}}- {\mathcal {A}})^{-1}\) exists and \(( {\mathcal {I}}- {\mathcal {A}})^{-1}=\sum _{n=0}^{\infty } {\mathcal {A}}^n\), where \( {\mathcal {I}}\) stands for the identity operator.
Let
be the Banach space with norm
Consider the following assumption:
(H) There exists \({\overline{a}} > 0\) such that
-
(i)
If \(0<\alpha -\beta \le 1\), then
$$\begin{aligned} \vert a(t+\alpha -1) \vert \le {\overline{a}} < \frac{1}{(T+2)\, C_1(T,\alpha ,\beta )} \quad \text{ for } \text{ all } t \in {\mathbb {N}}_{0}^{T+1}. \end{aligned}$$ -
(ii)
If \(\alpha -\beta > 1\), then
$$\begin{aligned} \vert a(t+\alpha -1) \vert \le {\overline{a}} < \frac{1}{(T+2)\, C_2(T,\alpha ,\beta )} \quad \text{ for } \text{ all } t \in {\mathbb {N}}_{0}^{T+1}, \end{aligned}$$where \( C_1(T,\alpha ,\beta )\) and \( C_2(T,\alpha ,\beta )\) are introduced in Theorem 6.
In next result we prove the existence and uniqueness of solution of problem (2) by means of the construction of its related Green’s function.
Theorem 8
If condition (H) is fulfilled, then the function G(t, s) defined in (7) as a series of functions is convergent for all \((t, s) \in {\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1}\). Moreover, G(t, s) is the Green’s function related to problem (2).
Proof
The solution y of (2) satisfies, for all \(t \in {{{\mathbb {N}}}}_{\alpha -2}^{T+\alpha +1}\), the following equality:
where \(G_0\) is defined by (3).
This expression can be reformulated as
Now, denote operators \({\mathcal {A}}\) and \({\mathcal {B}}\) by
Then, Eq. (9) becomes
First, let us show that \(\Vert {\mathcal {B}} \Vert <1\). For any \(y \in X\) with \(\Vert y \Vert =1\) and \(t \in {\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\), by (11), we have
-
(i)
If \(0<\alpha -\beta \le 1\), then, using Theorem 6 (i) and condition (H), we have that for all \(t \in {\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\) the following inequalities are fulfilled:
$$\begin{aligned} | {\mathcal {B}}\, y(t)|\le & {} \sum _{s=0}^{T+1} {\overline{a}} G_0(t,s) \le \sum _{s=0}^{T+1} {\overline{a}} \, C_1(T,\alpha ,\beta ) = (T+2)\,{\overline{a}} \, C_1(T,\alpha ,\beta )<1. \end{aligned}$$ -
(ii)
If \(\alpha -\beta > 1\), then using Theorem 6 (ii) and condition (H), we get
$$\begin{aligned} | {\mathcal {B}}\, y(t)|\le & {} \sum _{s=0}^{T+1} {\overline{a}} G_0(t,s) \le \sum _{s=0}^{T+1} {\overline{a}} \, C_2(T,\alpha ,\beta ) = (T+2)\,{\overline{a}} \, C_2(T,\alpha ,\beta )<1. \end{aligned}$$
Therefore, by Lemma 7, we deduce that
By using analogous arguments to [3], we show that for \(n\in {\mathbb {N}}_{0}=\{ 0,1,2,\ldots \}\) the following identity holds:
In the sequel we obtain the following a priori bounds for function \(G_n\) for all \(n \in {\mathbb {N}}_0\):
-
(i)
If \(0<\alpha -\beta \le 1\), then
$$\begin{aligned} \vert (-1)^n G_n(t,s) \vert \le {\overline{a}}^n \left( (T+2)\, C_1(T,\alpha ,\beta ) \right) ^{n+1}. \end{aligned}$$(14) -
(ii)
If \(\alpha -\beta > 1\), then
$$\begin{aligned} \vert (-1)^n G_n(t,s) \vert \le {\overline{a}}^n \left( (T+2)\, C_2(T,\alpha ,\beta ) \right) ^{n+1}, \end{aligned}$$(15)where \({\overline{a}}\) is defined in (H).
In the first case, for \(n=0\), (14) holds. Assume (14) holds for \(n=m \ge 0\). Then, for any \((t,s) \in {\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1}\), we have
hence (14) holds for \(n=m+1\).
By induction, (14) if fulfilled for any \(n \in {\mathbb {N}}_{0}\).
Arguing as at the first case, we conclude that (15) is true for all \(n \in {\mathbb {N}}_{0}\).
Finally, by (H) and (7), for all \((t,s) \in {\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1}\), we deduce the following inequalities:
-
(i)
If \(0<\alpha -\beta \le 1\), then
$$\begin{aligned} \vert G(t,s) \vert= & {} \left| \sum _{n=0}^{\infty } (-1)^n G_{n}(t,s) \right| \le \sum _{n=0}^{\infty } {\overline{a}}^{n} \left( (T+2)\, C_1(t,\alpha ,\beta )\right) ^{n+1}<\infty . \end{aligned}$$ -
(ii)
If \(\alpha -\beta >1\), then
$$\begin{aligned} \vert G(t,s) \vert= & {} \left| \sum _{n=0}^{\infty } (-1)^n G_{n}(t,s) \right| \le \sum _{n=0}^{\infty } {\overline{a}}^{n} \left( (T+2)\, C_2(t,\alpha ,\beta )\right) ^{n+1}<\infty . \end{aligned}$$
Therefore, G(t, s) is uniformly convergent on \({\mathbb {N}}_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1}\).
Moreover, from (7), (12) and (13), we obtain
On the other hand, let y be defined by (16). Using (7), (10) and (11) together (8) and (13), we conclude that y satisfies (12). Then, y is the unique solution of problem (2) and G is the Green’s function related to problem (2). \(\square \)
As a direct consequence of Theorem 8 and Eqs. (7) and (8), we deduce the following result
Corollary 9
If \(a(t) \in [-\bar{a},0]\) for all \(t \in {{{\mathbb {N}}}}_{\alpha -1}^{\alpha +T+1}\), then \(G(t,s) >0\) for all \(t \in {{{\mathbb {N}}}}_{\alpha -1}^{\alpha +T+1}\) and \(s\in {{{\mathbb {N}}}}_{0}^{T+1}.\)
In next result, we obtain an upper bound for function |G(t, s)| for any s fixed.
Lemma 10
We introduce the following function \({\overline{G}}: {\mathbb {N}}_{0}^{T+1} \rightarrow (0, \infty )\):
-
(i)
For \(0<\alpha -\beta \le 1\) and for all \( (t,s) \in {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\times {\mathbb {N}}_{0}^{T+1} \)
$$\begin{aligned} {\overline{G}}(s):=G_0(s+\alpha -1,s) \, \left( \frac{T+2}{1-{\overline{a}}\, (T+2)\, C_1(t,\alpha ,\beta )}\right) . \end{aligned}$$(17) -
(ii)
For \(\alpha -\beta >1\) and for all \( (t,s) \in {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\times {\mathbb {N}}_{0}^{T+1} \)
$$\begin{aligned} {\overline{G}}(s):=G_0(s+\alpha -1,s) \, \left( \frac{T+2}{1-{\overline{a}}\, (T+2)\, C_2(t,\alpha ,\beta )}\right) . \end{aligned}$$Then \(\vert G(t,s) \vert \le {\overline{G}}(s)\) for all \((t,s) \in {{{\mathbb {N}}}}_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1} \), where G is given by (7) .
Proof
(i) For \(0<\alpha -\beta \le 1\) and for all \( (t,s) \in N_{\alpha -2}^{T+\alpha +1}\times {\mathbb {N}}_{0}^{T+1} \), as a direct combination of expression (8) and inequality (14), we have
Using condition (H), (17) and (18), for all \((t,s)\in {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\times {\mathbb {N}}_{0}^{T+1}\), we have
The case \(\alpha -\beta > 1\) is proved in the same way. \(\square \)
4 Existence and uniqueness of solutions
In this section, we discuss the existence and uniqueness of solutions to problem (1).
Define the operator \(S: X \longrightarrow X\) by
The proof of that S is completely continuous is analogous to the one done in [3]. It follows that the fixed points of the operator S are the solutions of the boundary value problem (1).
Arguing as in [3], one can prove the following result
Theorem 11
Assume that condition (H) holds and f satisfies the following condition:
\((H^{*})\) There exists a constant \(K \in (0, \big ( \sum _{s=0}^{T+1} {\overline{G}}(s)\big )^{-1})\) \(( {\overline{G}}\) given in Lemma 10) such that
Then Problem (1) has a unique solution.
Example 12
Let \({\overline{a}}\) satisfy condition (H) and \( K \in (0,\big ( \sum _{s=0}^{T+1} {\overline{G}}(s)\big )^{-1})\). Consider
with \(g:{{{\mathbb {N}}}}^{\alpha +T}_{\alpha -1} \rightarrow {{\mathbb {R}}}\) an arbitrary nontrivial given function.
It is not difficult to verify that for any \(t \in {{{\mathbb {N}}}}^{\alpha +T}_{\alpha -1}\) and u, \(v \in {{\mathbb {R}}}\), \(u<v\), there exist \(x \in [u,v]\), such that
From Theorem 11 the considered problem has a unique solution.
In the sequel we deduce an existence result for the nonlinear Problem (1).
Theorem 13
Assume that condition (H) holds and f satisfies the following condition:
where \(h: [0,+\infty ) \rightarrow [0,+\infty )\) is a continuous function such that
Then Problem (1) has at least one solution.
Proof
We know that the solutions of problem (1) are given as the fixed points of operator S defined on (19). So, to deduce the existence of a fixed point we consider, for any \(\lambda \in (0,1)\), a function \(y \in X\), such that \(y=\lambda \, S\, y\). As a consequence, for all \(t \in {{{\mathbb {N}}}}_{\alpha }^{\alpha +T} \) we have:
Thus, we have that
So, from (21) we deduce that there is a constant \(K>0\), independent of \(\lambda \), such that
In consequence, we deduce from Schaefer’s fixed point Theorem [12], that operator S has a fixed point and it is a solution of Problem (1) \(\square \)
Example 14
Let \({\overline{a}}\) satisfying condition (H). Let us consider Problem (1) with function
which satisfies inequality (20) and property (21) for functions \(h(s)=\sqrt{s}+1\), \(s \ge 0\), and \(g(t)=t^{2-\alpha }\), \(t \in {{{\mathbb {N}}}}^{\alpha +T}_{\alpha -1}\).
So, from Theorem 13, the considered problem has at least one solution.
Remark 15
Notice that in the two previous theorems we cannot ensure that the obtained solution is not trivial. This property can be deduced when \(f(t,0) \not \equiv 0\) on \({{{\mathbb {N}}}}_{\alpha }^{\alpha +T}\). In particular, the obtained solutions in the two previous examples are non trivial.
Now we will develop the monotone iterative technique for problem (1). To this end we must assume the existence of a pair of well ordered lower and upper solutions, which are defined as follows.
Definition 16
A function \(\gamma \) is said to be a discrete lower solution of problem (1) if
Definition 17
A function \(\delta \) is said to be a discrete upper solution of problem (1) if
Definition 18
We say that y is the minimal (maximal) solution of Problem (1) on the sector \([\gamma ,\delta ]\) if any other solution z such that \(\gamma (t) \le z(t) \le \delta (t)\) on \( {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\) satisfies \(y(t) \le z(t)\) (\(y(t) \ge z(t)\)) on \({{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\).
The existence result is the following
Theorem 19
Assume that \(\gamma \) is a lower solution of (1) and \(\delta \) is an upper solution of (1) satisfying \(\gamma (t) \le \delta (t)\) on \({{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\). Moreover function f(t, y) is monotone nondecreasing with respect to \(y \in {{\mathbb {R}}}\) and \(a(t) \in [-\bar{a},0]\) on \({{{\mathbb {N}}}}_{\alpha }^{\alpha +T}\) (\({\overline{a}}\) defined in condition (H)). Then there exist two monotone sequences \(\{\gamma _n\}\) and \(\{\delta _n\}\), with \(\gamma _0=\gamma \) and \(\delta _0=\delta \), that converge, respectively, to the minimal and maximal solutions on \([\gamma ,\delta ]\) of Problem (1).
Proof
Define \(\gamma _0=\gamma \) and, for any \(n \ge 1\), \(\gamma _n\) as the unique solution of the following linear problem:
From the assumptions, we have that such unique solution is given by the expression
For \(n=1\), from the definition of lower solution given in (22) and the positiveness of the Green’s function G(t, s) stated at Corollary 9, we have, for all \( \quad t \in {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\), that
By recurrence, by assuming that \(\gamma _n \ge \gamma _{n-1}\) on \({{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\), using that f is monotone nondecreasing with respect to the second variable, from the positiveness of the Green’s function G, we deduce that
It is immediate to verify that, by defining \(\delta _0=\delta \) and, for any \(n \ge 1\), \(\delta _n\) as the unique solution of the following linear problem:
the sequence \(\{\delta _n\}\) is monotone nonincreasing and it is satisfied that \(\gamma (t) \le \gamma _n(t) \le \delta _n(t) \le \delta (t)\) for all \(n \ge 1\) and \( t \in {{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\).
The convergence of both sequences to the minimal and maximal solutions of Problem (1) holds immediately from the continuity of function f. \(\square \)
Example 20
Let us consider Problem (1) with \(\alpha = \frac{5}{4}\), \(\beta =\frac{1}{2}\), \(T=10\), and \(a(t)=-10^{-4} t^2\). Define the function:
which is nondecreasing with respect to \(y \in {\mathbb {R}}\).
Moreover
Let \(\gamma _0(t)=0\) and
where \(\lambda =\frac{12459153}{9699328}\).
It is clear that \(\gamma _0 \le \delta _0\) on \({{{\mathbb {N}}}}_{\alpha -2}^{\alpha +T+1}\) and that \(\gamma _0\) is a lower solution of problem (1).
Let us see that \(\delta _0\) is an upper solution of problem (1).
It is obvious that \(\delta _0(\alpha -2)=0\). Moreover, a simple calculation, see Fig. 1, shows that
and, see Fig. 2,
Therefore, from Theorem 19, there exist two monotone sequences \(\{\gamma _n\}\) and \(\{\delta _n\}\), with \(\gamma _0=\gamma \) and \(\delta _0=\delta \), that converge, respectively, to the minimal and maximal solutions on \([\gamma ,\delta ]\) of Problem (1).
References
Atici, F.M., Eloe, P.W.: Two-point boundary value problem for finite fractional difference equations. J. Differ. Equ. Appl. 17, 445–456 (2011)
Atici, F.M., Şengül, S.: Modeling with fractional difference equations. J. Math. Anal. Appl. 369(1), 1–9 (2010)
Cabada, A., Dimitrov, N.: Nontrivial solutions of non-autonomous Dirichlet fractional discrete problems. Fract. Calc. Appl. Anal. 23(4), 980–995 (2020)
Chen, C., Bohner, M., Jia, B.: Method of upper and lower solutions for nonlinear Caputo fractional difference equations and its applications. Fract. Calc. Appl. Anal 22, 1307–1320 (2019)
Diaz, J.B., Osler, T.J.: Differences of fractional order. Math. Comput. 28, 185–202 (1974)
Goodrich, C.S.: On positive solutions to nonlocal fractional and integer-order difference equations. Appl. Anal. Discrete Math. 5, 122–132 (2011)
Goodrich, C.S.: Some new existence results for fractional difference equations. Int. J. Dyn. Syst. Differ. Equ. 3(1–2), 145–162 (2011)
Goodrich, C.S., Peterson, A.C.: Discrete Fractional Calculus. Springer, Cham (2015)
Luo, X., Guo, S.: Existence and uniqueness of solutions for fractional boundary value problem with fractional boundary value conditions. Qual. Theory Dyn. Syst. 13, 1–17 (2014)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Murty, R., Saradha, N.: Special values of the polygamma functions. Int. J. Number Theory 5(2), 257–270 (2009)
Zeidler, E.: Nonlinear Functional Analysis and Its Applications. I. Fixed-Point Theorems, Translated from the German by Peter R. Wadsack. Springer, New York (1986)
Acknowledgements
Alberto Cabada is partially supported by Xunta de Galicia (Spain), project EM2014/032 and AIE, Spain and FEDER, grant PID2020-113275GB-I00.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Bourguiba, R., Cabada, A. & Kalthoum, W.O. Existence of solutions of discrete fractional problem coupled to mixed fractional boundary conditions. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116, 175 (2022). https://doi.org/10.1007/s13398-022-01321-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-022-01321-6