You are currently viewing a new version of our website. To view the old version click .
Mathematics
  • Article
  • Open Access

Published: 7 October 2025

Multiple Positive Solutions of Nabla Fractional Equations with Summation Boundaries

and
1
Department of Mathematics, University of Ruse, 7017 Ruse, Bulgaria
2
Department of Mathematics, Birla Institute of Technology and Science Pilani, Hyderabad 500078, Telangana, India
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
This article belongs to the Special Issue Fractional Calculus: Advances and Applications

Abstract

The current work studies difference problems including two different nabla operators coupled with general summation boundary conditions that depend on a parameter. After we deduce the Green’s function, we obtain an interval of the parameter, where it is strictly positive. Then, we establish a lower and upper bound of the related Green’s function and we impose suitable conditions of the nonlinear part, under which, using the classical Guo–Krasnoselskii fixed point theorem, we deduce the existence of at least one positive solution of the studied equation. After that, we impose more restricted conditions on the right-hand side and we obtain the existence of n positive solutions again using fixed point theory, which is the main novelty of this research. Finally, we give particular examples as an application of our theoretical findings.

1. Introduction

In order to describe more precisely the dynamic of complex systems, more models of fractional order have emerged, and some previously given of integer order have been modified to fractional-order models. They have applications in numerous branches of engineering and science, such as signal processing, control theory, and mathematical modeling of phenomena in economics, biology, and physics, where discrete events or data points are paramount. We recommend to the reader References [,,,] for a detailed introduction to discrete fractional calculus and References [,] for some recent results in this direction.
Lately, interest in discrete fractional problems has surged [,,,]. Consequently, many articles on this topic appeared for both delta problems and nabla problems with Liouville–Caputo [,,,,] or Riemann–Liouville operators [,,] under different boundary conditions. In particular, some of the first works with nabla operators are referred to in [,,,,].
Recently, in Ref. [], the authors managed to ensure the existence results for the problem with two different nabla operators
d 1 1 ν w ( ζ ) = λ f ( ζ ) g w ( ζ ) , ζ N d 1 + 2 d 2 , w d 1 = d 1 1 μ w ( d 2 ) = 0 ,
where f : N d 1 + 2 d 2 ( 0 , ) and g : [ 0 , ) [ 0 , ) are continuous functions, and 0 μ 1 < ν < 2 .
Since many mathematical models in different science areas and engineering areas, like elasticity, railway systems, power networks, telecommunication lines, thermodynamics, and others, may be expressed as multi-point boundary value problems [,,,,] or problems with integral boundary conditions [,,], the interest in studying such discrete fractional problems has increased lately. However, while there are a few results for discrete delta problems [,], for nabla fractional problems, similar results are almost not available. To the best of our knowledge, there are only two results about nabla problems with summation conditions. First, in Ref. [], the following nabla problem
k 1 η w ( ζ ) = f ζ , w ( ζ ) , 1 < η 2 , ζ N k + 2 l , w ( k ) = C , w ( l ) + μ s = k + 1 l 1 w ( s ) = D , μ > 0 ,
was studied and the authors managed to deduce existence, uniqueness, and stability results. This was the first result about a fractional problem with summation conditions in the nabla sense. We point out that no results about the the Green’s function’s sign were obtained, and the authors of the above work only managed to obtain the existence of a sign-changing solution based on the fact that the Green’s function there was also sign-changing.
In Ref. [], it was found that the problem
k 1 η w ( ζ ) = f ζ , w ( ζ ) , 1 < η 2 , ζ N k + 2 l , w ( k ) = 0 , w ( l ) = μ s = k + 1 d w ( s ) , d N k + 1 l 1 , μ > 0 ,
admits a positive solution in a given interval, where f : N k + 2 l × R R is a continuous function.
As we mentioned above, continuous fractional calculus has been well studied, but discrete versions, especially nabla-based, are more recent and still developing. Thus, studying nabla fractional problems is crucial both from a theoretical and applied perspective since it generalizes the concept of discrete difference equations by allowing non-integer order differences, and while delta fractional models are more commonly studied, nabla equations are often more appropriate when modeling is based on past data. The chosen methodology is commonly used along with variational methods, but the results obtained using fixed point theory allow us to prove existence under minimal assumptions, which is the main reason for us to choose such an approach.
For example, in economics, the economic behaviors often depend not just on current values but also on past states (e.g., inflation, investment, consumption). This is one of the main reasons why financial markets are often modeled in discrete time and nabla fractional models allow better modeling of volatility clustering, mean reversion, and memory-dependent risk. Time-series forecasting in stock markets using this methodology to incorporate past market trends is more effective.
The goal in this work is to expand the previously mentioned theoretical findings as we establish multiplicity results of the discrete nabla fractional problem
ρ ( a ) ν u ( t ) = f ( t , u ( t ) ) , t N a + 2 b ,
u a = 0 , ρ ( a ) μ u ( b ) = λ s = a + 1 d u s , d N a + 1 b 1 , λ > 0 ,
by an application of Guo–Krasnoselskii’s theorem as we deduce the existence of at least n positive solutions of the considered problems (1) and (2), with n being an arbitrary positive integer.
Above a and b R with b a N 3 ; f : N a + 2 b × [ 0 , ) [ 0 , ) is a continuous function, 0 < μ < ν 1 < 1 ; ρ ( a ) γ u is the γ th -order difference of u in the Riemann–Liouville sense, where γ { ν , μ } .
We point out that this is the first research on a nabla fractional problem with summation boundary conditions where multiplicity results are deduced, which we might highlight as the main novelty. Usually, the existence results in such articles are based on the bounded Green’s function that might change sign, and as a result, the obtained solutions are also sign-changing. However, we manage to show that the related Green’s function is strictly positive in a given subinterval of the parameter, which allows us to obtain the existence of strictly positive solutions of the considered problem under some suitable conditions. Additionally, the multiplicity results in this direction almost every time show the existence of at least two or three positive solutions, based on some classical fixed point theorems, while we are able to deduce the existence of n positive solutions. Moreover, the boundary conditions include a second nabla operator and they are much more general than the ones in the above-mentioned papers. Apart from this theoretical achievement, our work also has real-world implications since usually positive solutions show outcomes that stay positive, such as population levels, disease counts, etc. In epidemiology, nabla fractional equations can represent memory effects in discrete-time disease models like the well-known SIR-type models that describe how infectious diseases spread through the population. For example, memory represents the lasting effects of immunity or past infection. Summation boundary conditions could represent average infection rates over time, while multiplicity means the same public health measures could lead to different disease spread scenarios depending on initial infection patterns. However, the current manuscript focuses mainly on the theoretical approach of this problem.
The manuscript has the following organization. In Section 2 we recall the preliminaries of this work. After that, in Section 3 we deduce the Green’s function, and obtain an interval of the parameter λ , where it is strictly positive, and deduce a lower and upper bound of it. Then, in Section 4, under some sufficient conditions, we obtain an existence result for (1) and (2) by using Guo–Krasnoselskii’s theorem. In Section 5, we deduce that (1) and (2) admit multiple positive solutions. Finally, we give some applications of our new theoretical results in Section 6, as we provide a few examples there, while in Section 7, we give a brief summary of our novel results in this work as well as offering some possible ideas for future work.
We add the schematic diagram in Figure 1 for a better illustration of the organization of this work mentioned above.
Figure 1. Schematic diagram of the organization of this article.

2. Preliminaries

To complete this work, we are going to use the notations and definitions given in []. Denote N e = { e , e + 1 , e + 2 , } and N e f = { e , e + 1 , e + 2 , , f } for any real e and f such that f e N 1 .
Definition 1
([]). For any a, b R , the generalized rising function is
a b ¯ = Γ ( a + b ) Γ ( a ) .
Definition 2
([]). For β R Z , the β th fractional Taylor monomial in the nabla sense is
H β ( ζ , k ) = ( ζ k ) β ¯ Γ ( β + 1 ) .
Lemma 1
([,]). For s in N k and μ > 1 ,
(a)
H μ ( ζ , s 1 ) 0 for ζ N s 1 and H μ ( ζ , s 1 ) > 0 for ζ N s ;
(b)
H μ ( ζ , s 1 ) is decreasing in s for ζ in N s 1 , μ > 0 . Moreover, it is increasing in ζ for ζ in N s , μ > 0 ;
(c)
H μ ( ζ , k ) H μ 1 ( ζ , k ) = H μ ( ζ , k + 1 ) .
Finally, let us recall the generalized power rule
Lemma 2
([]). For t N a
a ν H μ ( t , a ) = H μ ν ( t , a ) ,
where ν R + , μ R such that ν + μ and μ ν are nonnegative.
Our main tool for all of our results will be the classical Guo–Krasnoselskii’s fixed point theorem in cones [].
Theorem 1.
Let B = B , · be a Banach space, and let K B be a cone. Assume that Ω 1 and Ω 2 are bounded open subsets contained in B such that 0 Ω 1 and Ω 1 Ω 2 . Assume further that T : K Ω 2 ¯     Ω 1 K is a completely continuous operator. Here, either
(i) T y y for y K Ω 1 , and T y y for y K Ω 2 ; or
(ii) T y y for y K Ω 1 , and T y y for y K Ω 2 .
Then, T has at least one fixed point in K Ω 2 ¯     Ω 1 .

3. Green’s Function

First, we are going to study the linear problem
ρ ( a ) ν u ( t ) = h ( t ) , t N a + 2 b ,
coupled with conditions (2) assuming that 0 < μ < ν 1 < 1 and h : N a + 2 b R . Set
Ω = H ν μ 1 ( b , a ) λ H ν ( d , a ) .
Theorem 2.
Assume Ω 0 . For the linear problem (3)–(2), the expression
u ( t ) = s = a + 2 b G ( t , s ) h ( s ) ,
for t N a b , is the unique solution, as
G ( t , s ) = G 1 ( t , s ) , s min { t , d } , G 2 ( t , s ) , s N t + 1 d , G 3 ( t , s ) , s N d + 1 t , G 4 ( t , s ) , s max { t + 1 , d + 1 } ,
with
G 1 ( t , s ) = H ν 1 ( t , a ) H ν μ 1 ( b , ρ ( s ) ) Ω λ H ν 1 ( t , a ) H ν ( d , ρ ( s ) ) Ω H ν 1 ( t , ρ ( s ) ) ,
G 2 ( t , s ) = H ν 1 ( t , a ) H ν μ 1 ( b , ρ ( s ) ) Ω λ H ν 1 ( t , a ) H ν ( d , ρ ( s ) ) Ω ,
G 3 ( t , s ) = H ν 1 ( t , a ) H ν μ 1 ( b , ρ ( s ) ) Ω H ν 1 ( t , ρ ( s ) )
and
G 4 ( t , s ) = H ν 1 ( t , a ) H ν μ 1 ( b , ρ ( s ) ) Ω .
Proof. 
It is well known that (3) is equivalent to
u ( t ) = C 1 H ν 1 ( t , ρ ( a ) ) + C 2 H ν 2 ( t , ρ ( a ) ) s = a + 2 t H ν 1 ( t , ρ ( s ) ) h ( s ) , t N a b .
Using the first boundary condition u ( a ) = 0 in the above Equation (6), we get
C 1 + C 2 = 0 .
Next, applying ρ ( a ) μ on both sides of (6) and using Lemma 2, we deduce
ρ ( a ) μ u ( t ) = C 1 H ν μ 1 ( t , ρ ( a ) ) + C 2 H ν μ 2 ( t , ρ ( a ) ) s = a + 2 t H ν μ 1 ( t , ρ ( s ) ) h ( s ) , t N a b .
From the second boundary condition ρ ( a ) μ u ( b ) = λ s = a d u s and (6)–(8), we obtain
C 1 H ν μ 1 ( b , ρ ( a ) ) + C 2 H ν μ 2 ( b , ρ ( a ) ) s = a + 2 b H ν μ 1 ( b , ρ ( s ) ) h ( s ) = λ s = a d C 1 H ν 1 ( s , ρ ( a ) ) + C 2 H ν 2 ( s , ρ ( a ) ) r = a + 2 s H ν 1 ( s , ρ ( r ) ) h ( r ) .
Now, after solving the linear system of (7) and (9) and simplifying, we have
C 1 = 1 Ω s = a + 2 b H ν μ 1 ( b , ρ ( s ) ) h ( s ) λ s = a + 2 d H ν ( d , ρ ( s ) ) h ( s )
and
C 2 = 1 Ω s = a + 2 b H ν μ 1 ( b , ρ ( s ) ) h ( s ) λ s = a + 2 d H ν ( d , ρ ( s ) ) h ( s ) .
Substituting the equalities (10) and (11) in (6), we obtain (4). □
Now, in the following interval of the parameter λ , we deduce our first new result.
Theorem 3.
Let
ν μ 1 2 λ < H ν μ 1 b , a H ν d , a ,
then G t , s is positive for all t , s in N a + 1 b × N a + 2 b .
Proof. 
From (5), using the expressions of the related Green’s function in all four possible cases, we have
G 1 t , s < G i t , s , i = 2 , 3 , 4 ,
t , s in N a + 1 b × N a + 2 b . Thus, we only need to check that G 1 t , s is positive in order to have G t , s as positive for all t , s in N a + 1 b × N a + 2 b . Note that the second inequality
λ < H ν μ 1 b , a H ν d , a
ensures us that Ω > 0 . Moreover, let us define the function
ϕ s = λ H ν d , ρ ( s ) + H ν μ 1 b , ρ ( s ) , s N a + 2 d .
One can show that ϕ is an increasing function on N a + 2 d . Indeed, a simple computation gives us
ϕ s = H ν μ 2 b + 1 , s 1 + λ H ν 1 d + 1 , s 1 H ν μ 2 d + 2 , s 1 + λ H ν μ 1 d + 1 , s 1 = Γ d s + ν μ + 1 Γ ν μ 1 Γ d s + 2 1 d s + 2 + λ 1 ν μ 1 Γ d s + ν μ + 1 Γ ν μ 1 Γ d b + 3 1 2 + λ 1 ν μ 1 0 ,
for s N a + 3 d . Note that using Lemma 1, one can verify that
G 1 t , s = H ν 1 t , a ϕ s H ν 1 t , s 1 ϕ a + 1 Ω > H ν 1 t , s 1 Ω ϕ s ϕ a + 1 > 0 ,
which proves our claim since we have already shown that Ω > 0 and ϕ is an increasing function, meaning that ϕ s ϕ a + 1 > 0 . □
Theorem 4.
Assume that condition (12) holds. Then,
G ( t , s ) g 1 ( s ) , g 2 ( s ) , t , s N a + 1 b × N a + 2 b ,
with
g 1 ( s ) = G 1 s , s , s N a + 1 b ,
and
g 2 ( s ) = H ν 1 ( b , a ) Ω × H ν μ 1 ( b , ρ ( s ) ) , s N a + 2 b .
Proof. 
From (5), it is clear that
G 1 t , s < G i t , s < G 4 t , s , i = 2 , 3 , t , s N a + 1 b × N a + 2 b .
Moreover, from (13), we have that
G 1 t , s = H ν 1 t , a ϕ s H ν 1 t , s 1 ϕ a + 1 Ω .
For s in N a + 2 b , we have
t G 1 t , s = H ν 2 t , a ϕ s + H ν 2 t + 1 , s 1 ϕ a + 1 Ω , t N a + 2 b .
From Theorem 3, we have that Ω > 0 and ϕ s > 0 for all s N a + 1 b . Moreover, from Lemma 1, we have that both H ν 2 t + 1 , a > 0 and H ν 2 t + 1 , s 1 > 0 for t , s in N a + 2 b × N a + 2 b with s t , which implies t G 1 t , s > 0 for all t , s in N a + 2 b × N a + 2 b with s t . Consequently, we have
G 1 t , s G 1 s , s = g 1 ( s ) , s N a + 2 b .
Finally, from the expression of G 4 t , s and Lemma 1 it is clear that H ν 1 t , a < H ν 1 b , a , giving us that
G 4 t , s g 2 ( s ) .
Consequently, we obtain (14). □

4. Positive Solutions

With regard to this article, we assume that condition (12) holds. Set
f 0 = lim ξ 0 + f ( t , ξ ) ξ , f = lim ξ + f ( t , ξ ) ξ ,
for all t N a + 2 b .
Theorem 2 implies the equivalence between the solutions of (1) and (2) and
u ( t ) = s = a + 2 b G ( t , s ) f ( s , u ( s ) ) , t N a b .
Consider ( b a + 1 ) -dimensional Banach space
B = u : N a b R | u a = 0 , ρ ( a ) μ u ( b ) = λ s = a + 1 d u s , d N a + 1 b 1 , λ > 0 ,
coupled with
u = max t N a b u ( t ) ,
and cone
P = u B : u ( t ) 0 , t N a b ; u ( t ) L 1 L 2 u , t N a + 1 b ,
where
L 1 = min s N a + 2 b g 1 ( s ) > 0 , L 2 = max s N a + 2 b g 2 ( s ) > 0 .
Let S : B B be defined as
( S u ) ( t ) = s = a + 2 b G ( t , s ) f ( s , u ( s ) ) , t N a b .
Clearly, u is a fixed point of S if and only if u is a solution of (1) and (2).
Lemma 3.
S : P P is completely continuous.
Proof. 
Let u P . Clearly, using Theorem 3 and from (15), ( S u ) ( t ) 0 for t N a b . Further,
( S u ) ( t ) L 1 L 2 s = a + 2 b max s N a + 2 b g 2 ( s ) f ( s , u ( s ) ) = L 1 L 2 s = a + 2 b max t N a + 1 b G ( t , s ) f ( s , u ( s ) ) L 1 L 2 max t N a + 1 b s = a + 2 b G ( t , s ) f ( s , u ( s ) ) = L 1 L 2 S u .
Thus, S u P . Furthermore, the continuity of f implies that S is completely continuous. □
Our first main result is as follows.
Theorem 5.
If there exist constants 0 < r 1 < r 2 < such that
(A1)
f ( x , ξ ) r 1 ( b a 1 ) L 2 for 0 ξ r 1 and x N a + 2 b ;
(A2)
f ( x , ξ ) r 2 ( b a 1 ) L 1 for L 1 L 2 r 2 ξ r 2 and x N a + 2 b ,
then the boundary value problem (1) and (2) has at least one positive solution u with
r 1 u r 2 .
Proof. 
Let u P and u = r 1 . Then, from (15) and (A1),
( S u ) ( t ) r 1 ( b a 1 ) L 2 s = a + 2 b g 2 ( s ) r 1 = u ,
for all t N a b . Now, if we choose Ω 1 = u B : u < r 1 , then S u u for u P Ω 1 , giving us that condition (i) of Theorem 1 is satisfied. On the other hand, let Ω 2 = u B : u < r 2 . For u P with u = r 2 ,
min t N a + 1 b u ( t ) L 1 L 2 u = L 1 L 2 r 2 .
Thus, if s N a + 1 b , then L 1 L 2 r 2 u ( s ) r 2 ; using (15) and (A2), we obtain
( S u ) ( t ) r 2 ( b a 1 ) L 1 s = a + 2 b g 1 ( s ) r 2 = u ,
for all t N a b , implying that S u u for u P Ω 2 . Therefore, condition (ii) of the classical Guo–Krasnoselskii’s fixed point theorem holds, implying that S has a fixed point in P Ω ¯ 2 Ω 1 , and as a consequence, the studied problem (1) and (2) admits a positive solution. □
Our second existence result is the following
Theorem 6.
If there exist constants 0 < r 1 < r 2 < such that
(B1)
f ( x , ξ ) r 1 ( b a 1 ) L 2 for 0 ξ r 1 and x N a + 2 b ;
(B2)
f ( x , ξ ) r 2 ( b a 1 ) L 1 for L 1 L 2 r 2 ξ r 2 and x N a + 2 b ,
then the boundary value problem (1) and (2) has at least one positive solution u with
r 1 u r 2 .
Proof. 
Let u P and u = r 1 . Then, by (15) and (B1),
( S u ) ( t ) r 1 ( b a 1 ) L 2 s = a + 2 b g 2 ( s ) r 1 = u ,
for all t N a b . Now, if we choose Ω 1 = u B : u < r 1 , then S u u for u P Ω 1 , giving us that condition (ii) of Theorem 1 holds. On the other hand, let Ω 2 = u B : u < r 2 . For u P with u = r 2 ,
min t N a + 1 b u ( t ) L 1 L 2 u = L 1 L 2 r 2 .
Thus, if s N a + 1 b , then L 1 L 2 r 2 u ( s ) r 2 , and using (15) and (B2), we obtain
( S u ) ( t ) r 2 ( b a 1 ) L 1 s = a + 2 b g 1 ( s ) r 2 = u ,
for all t N a b , implying that S u u for u P Ω 2 . Thus, condition (i) of Theorem 1 is also met. As a consequence, it follows that S has a fixed point in P Ω ¯ 2 Ω 1 ; hence, it is a positive solution of problem (1) and (2). □

5. Multiplicity Results

We point out that under condition (12), from Theorem 4, one has that the Green’s function satisfies condition ( P g 1 ) from [] and using similar arguments to the ones established there, one can obtain the existence of at least two or three positive solutions. However, we will focus on a more general result.
The two lemmas presented below are sufficient in this section.
Lemma 4.
Assume that there exists r > 0 and 0 < A < 1 such that f ( x , ξ ) A r ( b a 1 ) L 2 for 0 ξ r and x N a + 2 b . If u P with u = ρ , where A r ρ r , then S u ρ .
Proof. 
If u P with u = ρ , using (15)
( S u ) ( t ) A r ( b a 1 ) L 2 s = a + 2 b g 2 ( s ) A r ρ ,
for all t N a b . That is, S u ρ . □
Lemma 5.
Suppose that there exists r > 0 and 0 < A < 1 such that f ( x , ξ ) r ( b a 1 ) L 1 for A L 1 L 2 r ξ r and x N a + 2 b . If u P with u = ρ , where A r ρ r , then S u ρ .
Proof. 
If u P with u = ρ , where A r ρ r , then
min t N a + 1 b u ( t ) L 1 L 2 u = L 1 L 2 ρ .
Thus, if s N a + 1 b , then
L 1 L 2 ρ u ( s ) ρ , or A L 1 L 2 r u ( s ) r .
Therefore, from (15),
( S u ) ( t ) r ( b a 1 ) L 1 s = a + 2 b g 2 ( s ) r ρ ,
for all t N a b . That is, S u ρ . □
Now, we combine our two previous technical results in order to deduce our main multiplicity result.
Theorem 7.
Suppose that there exist constants 0 < r 1 < r 2 < < r n ( n 3 ) and 0 < A < 1 . Moreover, if
(F1)
f ( x , ξ ) A r 2 i 1 ( b a 1 ) L 2 for 0 ξ r 2 i 1 , x N a + 2 b and 1 i n 2 ;
(F2)
f ( x , ξ ) r 2 j ( b a 1 ) L 1 for A L 1 L 2 r 2 j ξ r 2 j , x N a + 2 b and 1 j n 2 ;
then (1) and (2) has at least n 1 positive solutions u k with
r k u k r k + 1 , 1 k n 1 .
Proof. 
Let l m A r m , r m and l m > r m 1 with 2 m n . Define
Ω m l m = u B : u < l m , 2 m n ,
and
Ω q r q = u B : u < r q , 1 q n .
Then, from conditions (F1) and (F2) and from Lemmas (4) and (5), we have
S u u for u P Ω 2 p 1 l 2 p 1 , 2 p n 2 ,
S u u for u P Ω 2 i 1 l 2 i 1 , 1 i n 2 ,
S u u for u P Ω 2 j l 2 j , 1 j n 2 ,
and
S u u for u P Ω 2 i l 2 i , 1 i n 2 .
From Theorem 5, we deduce that S has a fixed point in each of the sets
P Ω ¯ m l m Ω m 1 r m 1 , 2 m n .
Hence, the considered problem (1) and (2) has at least n 1 positive solutions. □

6. Examples

Here, we will highlight the applications of our theoretical findings using two examples.
Example 1.
Consider (1) and (2) with a = 0 , b = 5 , ν = 1.5 , μ = 0.25 , d = 3 , λ = 0.25 , and f t , ξ = t 100 + sin 2 ξ 10 . Then, Ω = H 0.25 ( 5 , 0 ) λ H 1.5 ( 3 , 0 ) = 0.5250 . The corresponding Green’s function is given by
G ( t , s ) = G 1 ( t , s ) , s min { t , 3 } , G 2 ( t , s ) , t + 1 s 3 , G 3 ( t , s ) , 4 s t , G 4 ( t , s ) , s max { t + 1 , 4 } ,
with
G 1 ( t , s ) = H 0.5 ( t , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 ( 0.25 ) H 0.5 ( t , 0 ) H 1.5 ( 3 , ρ ( s ) ) 0.5250 H 0.5 ( t , ρ ( s ) ) ,
G 2 ( t , s ) = H 0.5 ( t , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 ( 0.25 ) H 0.5 ( t , 0 ) H 1.5 ( 3 , ρ ( s ) ) 0.5250 ,
G 3 ( t , s ) = H 0.5 ( t , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 H 0.5 ( t , ρ ( s ) ) ,
G 4 ( t , s ) = H 0.5 ( t , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 .
Clearly, inequality (12) holds. Consequently, from Lemma 3, G t , s is positive for all t , s N 1 5 × N 2 5 as it might be seen in Figure 2. Moreover, by computation
L 1 = min s N 2 5 g 1 ( s ) = min s N 2 5 G 1 ( s , s ) = min s N 2 5 H 0.5 ( s , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 ( 0.25 ) H 0.5 ( s , 0 ) H 1.5 ( 3 , ρ ( s ) ) 0.5250 H 0.5 ( s , ρ ( s ) ) = 1.5670
and
L 2 = max s N 2 5 g 2 ( s ) = max s N 2 5 H 0.5 ( 5 , 0 ) H 0.25 ( 5 , ρ ( s ) ) 0.5250 = 7.1411 .
If we choose r 1 = 0.5 and r 2 = 1 such that
Figure 2. Three-dimensional plot of G ( t , s ) .
(B1)
f ( x , ξ ) ( 0.0350 ) r 1 for 0 ξ r 1 and x N 2 5 ;
(B2)
f ( x , ξ ) ( 0.1595 ) r 2 for ( 0.2194 ) r 2 ξ r 2 and x N 2 5 ,
implying that all conditions of Theorem 6 hold, then (1) and (2) admits at least one positive solution u with
r 1 u r 2 .
Example 2.
Consider (1) and (2) with a = 0 , b = 5 , ν = 1.5 , μ = 0.25 , d = 3 , λ = 0.25 , and
f t , ξ = 1 300 ( ζ + 1 ) 1 120 + sin ξ , t N 2 5 , 0 ξ 1 35 , 1 120 + 150 ξ 1 35 + sin ξ ,     t N 2 5 , 1 35 ξ 1 27 , 1 120 + 80 63 + sin ξ , t N 2 5 , 1 27 ξ 360 .
As in Example 1, one can verify that Ω = 0.5250 , inequality (12) holds, and by Lemma 3, G t , s > 0 for all t , s N 1 5 × N 2 5 . Again, L 1 = 1.5670 and L 2 = 7.1411 . Now, if we choose A = 0.5 , r 1 = 1 35 , r 2 = 85 216 , and r 3 = 360 such that
(F11)
f ( x , ξ ) ( 0.0175 ) r 1 for 0 ξ r 1 and x N 2 5 ;
(F12)
f ( x , ξ ) ( 0.0175 ) r 3 for 0 ξ r 3 and x N 2 5 ;
(F2)
f ( x , ξ ) ( 0.0798 ) r 2 for ( 0.1097 ) r 2 ξ r 2 and x N 2 5 ,
implying that the conditions of Theorem 7 hold, then (1) and (2) admits at least two positive solutions u 1 and u 2 with
r 1 u 1 r 2 u 2 r 3 .

7. Conclusions

In this manuscript, we studied a class of nabla fractional difference problems with summation multi-point boundary conditions with two different nabla operators depending on a real parameter. We obtained the exact expression of the related Green’s function, we deduced specific bounds of the parameter in which the Green’s function is strictly positive, and we showed the existence of multiple positive solutions of the studied problem, which we consider to be the main novelty of this work. This has never been completed in the literature for such kinds of problem, and this new idea can be very helpful for other researchers in their attempts to deduce the existence and multiplicity of positive solutions of fractional problems with parameter dependence. Moreover, it can be extended in order to obtain nonexistence results or in the study of similar fractional problems of higher order. Another possible future approach would be applying this method to singular fractional order systems or to fractional difference multi-agent systems, since such systems are very common.

Author Contributions

Conceptualization, N.D.D. and J.M.J.; methodology, N.D.D. and J.M.J.; software, N.D.D. and J.M.J.; validation, N.D.D. and J.M.J.; formal analysis, N.D.D. and J.M.J.; investigation, N.D.D. and J.M.J.; resources, N.D.D. and J.M.J.; data curation, N.D.D. and J.M.J.; writing—original draft preparation, N.D.D. and J.M.J.; writing—review and editing, N.D.D. and J.M.J.; visualization, N.D.D. and J.M.J.; supervision, N.D.D. and J.M.J.; project administration, N.D.D. and J.M.J.; funding acquisition, N.D.D. All authors have read and agreed to the published version of the manuscript.

Funding

This work is financed by the European Union-NextGenerationEU, through the National Recovery and Resilience Plan of the Republic of Bulgaria, project BG-RRP-2.013-0001-C01.

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author(s).

Acknowledgments

The authors thank the anonymous referees for their useful comments that contributed to improving this article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Goodrich, C.; Peterson, A.C. Discrete Fractional Calculus; Springer: Cham, Switzerland, 2015. [Google Scholar]
  2. Ferreira, R.A.C. Discrete Fractional Calculus and Fractional Difference Equations; Springer Briefs in Mathematics; Springer: Cham, Switzerland, 2022. [Google Scholar]
  3. Podlubny, I. Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications; Mathematics in Science and Engineering; Academic Press, Inc.: San Diego, CA, USA, 1999. [Google Scholar]
  4. Bohner, M.; Peterson, A. Dynamic Equations on Time Scales: An Introduction with Applications, 1st ed.; Springer Science & Business Media: Boston, MA, USA, 2001. [Google Scholar]
  5. Hossein, H.; Zakieh, A.; Praveen, A.; Samrad, M.; Ebadi, M.J.; Shafi, D.M.; Eskandar, N. A study on fractional tumor-immune interaction model related to lung cancer via generalized Laguerre polynomials. BMC Med. Res. Methodol. 2023, 23, 189. [Google Scholar] [CrossRef]
  6. Ebadi, M. A Novel Approach to Nonlinear 2D Fractional Optimal Control Problems Via Generalized Lerch Polynomials. Math. Methods Appl. Sci. 2025, 48, 12738–12748. [Google Scholar] [CrossRef]
  7. Abdeljawad, T. On delta and nabla Caputo fractional differences and dual identities. Discret. Dyn. Nat. Soc. 2013, 2013, 406910. [Google Scholar] [CrossRef]
  8. Jia, B.; Erbe, L.; Peterson, A.C. Two monotonicity results for nabla and delta fractional differences. Arch. Math. 2015, 104, 589–597. [Google Scholar] [CrossRef]
  9. Jia, B.; Erbe, L.; Peterson, A. Convexity for nabla and delta fractional differences. J. Differ. Equ. Appl. 2015, 21, 360–373. [Google Scholar]
  10. Anastassiou, G.A. Nabla discrete fractional calculus and nabla inequalities. Math. Comput. Model. 2010, 51, 562–571. [Google Scholar] [CrossRef]
  11. Chen, C.; Bohner, M.; Jia, B. Existence and uniqueness of solutions for nonlinear Caputo fractional difference equations. Turkish J. Math. 2020, 44, 857–869. [Google Scholar] [CrossRef]
  12. Ahrendt, K.; Kissler, C. Green’s function for higher-order boundary value problems involving a nabla Caputo fractional operator. J. Differ. Equ. Appl. 2019, 25, 788–800. [Google Scholar] [CrossRef]
  13. Ikram, A. Lyapunov inequalities for nabla Caputo boundary value problems. J. Differ. Equ. Appl. 2019, 25, 757–775. [Google Scholar] [CrossRef]
  14. Almusawa, M.Y.; Mohammed, P.O. Approximation of sequential fractional systems of Liouville-Caputo type by discrete delta difference operators. Chaos Solitons Fractals 2023, 176, 114098. [Google Scholar] [CrossRef]
  15. Peterson, A.; Hu, W. Caputo Nabla Fractional Boundary Value Problems. In Progress on Difference Equations and Discrete Dynamical Systems; Baigent, S., Bohner, M., Elaydi, S., Eds.; ICDEA 2019; Springer Proceedings in Mathematics & Statistics; Springer: Cham, Switzerland, 2020; Volume 341. [Google Scholar]
  16. Ardjouni, A.; Boulares, H.; Djoudi, A. Stability of nonlinear neutral nabla fractional difference equations. Commun. Optim. Theory 2018, 2018, 8. [Google Scholar]
  17. Atici, F.; Eloe, P.W. Discrete fractional calculus with the nabla operator. Electron. J. Qual. Theory Differ. Equ. 2009, 2009, 1–12. [Google Scholar] [CrossRef]
  18. Atici, F.; Eloe, P.W. Linear systems of fractional nabla difference equations. Rocky Mt. J. Math. 2011, 41, 353–370. [Google Scholar] [CrossRef]
  19. Ahrendt, K.; Castle, L.; Holm, M.; Yochman, K. Laplace transforms for the nabla-difference operator and a fractional variation of parameters formula. Commun. Appl. Anal. 2012, 16, 317–348. [Google Scholar]
  20. Bastos, N.; Torres, D. Combined delta-nabla sum operator in discrete fractional calculus. arXiv 2010, arXiv:1009.3883. [Google Scholar] [CrossRef]
  21. Abdeljawad, T.; Atici, F.M. On the definitions of nabla fractional operators. Abstr. Appl. Anal. 2012, 2012, 406757. [Google Scholar] [CrossRef]
  22. Anastassiou, G.A. Foundations of nabla fractional calculus on time scales and inequalities. Comput. Math. Appl. 2010, 59, 3750–3762. [Google Scholar] [CrossRef]
  23. Dassios, I.K.; Baleanu, D.I. On a singular system of fractional nabla difference equations with boundary conditions. Bound. Value Probl. 2013, 2013, 148. [Google Scholar] [CrossRef]
  24. Dimitrov, N.D.; Jonnalagadda, J.M. Existence of positive solutions for a class of nabla fractional boundary value problems. Fractal Fract. 2025, 9, 131. [Google Scholar] [CrossRef]
  25. Costabile, F.A.; Napoli, A. A multipoint Birkhoff type boundary value problem. J. Numer. Math. 2015, 23, 1–11. [Google Scholar] [CrossRef]
  26. Miller, K.S.; Ross, B. Fractional difference calculus. In Univalent Functions, Fractional Calculus and Their Applications; Ellis Horwood: Chichester, UK, 1989; pp. 139–152. [Google Scholar]
  27. Shah, K.; Abdalla, B.; Abdeljawad, T.; Gul, R. Analysis of multipoint impulsive problem of fractional-order differential equations. Bound Value Probl. 2023, 2023, 1. [Google Scholar] [CrossRef]
  28. Pu, R.; Zhang, X.Q.; Cui, Y.J.; Li, P.L.; Wang, W.W. Positive solutions for singular semipositone fractional differential equation subject to multipoint boundary conditions. J. Funct. Spaces 2017, 2017, 5892616. [Google Scholar] [CrossRef]
  29. Tian, Y.; Zhou, Y. Positive solutions for multipoint boundary value problem of fractional differential equations. J. Appl. Math. Comput. 2012, 38, 417–427. [Google Scholar] [CrossRef]
  30. Sevinik-Adıgüzel, R.; Aksoy, Ü.; Karapınar, E.; Erhan, İ.M. Uniqueness of solution for higher-order nonlinear fractional differential equations with multi-point and integral boundary conditions. RACSAM 2021, 115, 155. [Google Scholar] [CrossRef]
  31. Li, G.; Zhang, Y.; Guan, Y.; Li, W. Stability analysis of multi-point boundary conditions for fractional differential equation with non-instantaneous integral impulse. Math. Biosci. Eng. 2023, 20, 7020–7041. [Google Scholar] [CrossRef]
  32. Al-khateeb, A.; Zureigat, H.; Ala’yed, O.; Bawaneh, S. Ulam–Hyers Stability and Uniqueness for Nonlinear Sequential Fractional Differential Equations Involving Integral Boundary Conditions. Fractal Fract. 2021, 5, 235. [Google Scholar] [CrossRef]
  33. Agarwal, R.P.; Baleanu, D.; Rezapour, S.; Salehi, S. The existence of solutions for some fractional finite difference equations via sum boundary conditions. Adv. Differ. Equ. 2014, 2014, 282. [Google Scholar] [CrossRef]
  34. Haider, S.S.; Rehman, M.U. Ulam–Hyers–Rassias Stability and Existence of Solutions to Nonlinear Fractional Difference Equations with Multipoint Summation Boundary Condition. Acta Math. Sci. 2020, 40, 589–602. [Google Scholar] [CrossRef]
  35. Dimitrov, N.D.; Jonnalagadda, J.M. Existence, uniqueness and stability of solutions of a nabla fractional difference equations. Fractal Fract. 2024, 8, 591. [Google Scholar] [CrossRef]
  36. Dimitrov, N.D.; Jonnalagadda, J.M. Existence of Solutions for a Class of Nabla Fractional Difference Equations with Parameter Dependent Summation Boundary Conditions. Fractal Fract. 2025, 9, 513. [Google Scholar] [CrossRef]
  37. Agarwal, R.; Meehan, M.; O’Regan, D. Fixed Point Theory and Applications; Cambridge Univ. Press: Cambridge, UK, 2001. [Google Scholar]
  38. Cabada, A.; Dimitrov, N. Existence of solutions of nth-order nonlinear difference equations with general boundary conditions. Acta Math. Sci. 2020, 40, 226–236. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Article Metrics

Citations

Article Access Statistics

Article metric data becomes available approximately 24 hours after publication online.