Next Article in Journal
Choice Numbers of Chordal, Chordless, and Some Non-Chordal Graphs
Previous Article in Journal
Marking Algorithms in Permutation Tableaux and Transformations on Linked Partitions
Previous Article in Special Issue
Generalized Grönwall Inequality and Ulam–Hyers Stability in p Space for Fractional Stochastic Delay Integro-Differential Equations
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence and Nonexistence of Positive Solutions for Fractional Boundary Value Problems with Lidstone-Inspired Fractional Conditions

by
Jeffrey W. Lyons
1,*,
Jeffrey T. Neugebauer
2 and
Aaron G. Wingo
3
1
Department of Mathematical Sciences, The Citadel, 171 Moultrie Street, Charleston, SC 29409, USA
2
Department of Mathematics and Statistics, Eastern Kentucky University, 521 Lancaster Avenue, Richmond, KY 40475, USA
3
Independent Researcher, Marieta, GA 30060, USA
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(8), 1336; https://doi.org/10.3390/math13081336
Submission received: 20 March 2025 / Revised: 11 April 2025 / Accepted: 17 April 2025 / Published: 19 April 2025

Abstract

:
This paper investigates the existence and nonexistence of positive solutions for a class of nonlinear Riemann–Liouville fractional boundary value problems of order α + 2 n , where α ( m 1 , m ] with m 3 and m , n N . The conjugate fractional boundary conditions are inspired by Lidstone conditions. The nonlinearity depends on a positive parameter on which we identify constraints that determine the existence or nonexistence of positive solutions. Our method involves constructing Green’s function by convolving the Green functions of a lower-order fractional boundary value problem and a conjugate boundary value problem and using properties of this Green function to apply the Guo–Krasnosel’skii fixed-point theorem. Illustrative examples are provided to demonstrate existence and nonexistence intervals.

1. Introduction

Let m , n N , m 3 , with α ( m 1 , m ] and β [ 1 , m 1 ] . Consider a Riemann–Liouville fractional boundary value problem
D 0 + α + 2 n u ( t ) + ( 1 ) n λ g ( t ) f ( u ) = 0 , 0 < t < 1 ,
subject to the Lidstone-inspired boundary conditions
u ( i ) ( 0 ) = 0 , i = 0 , 1 , , m 2 , D 0 + β u ( 1 ) = 0 , D 0 + α + 2 l u ( 0 ) = D 0 + α + 2 l u ( 1 ) = 0 , l = 0 , 1 , , n 1 .
Here, f : [ 0 , ) [ 0 , ) and g : [ 0 , 1 ] [ 0 , ) are continuous functions with g ( t ) satisfying the condition 0 1 g ( t ) d t > 0 , and λ > 0 is a positive parameter. This paper is concerned with the existence and nonexistence of positive solutions to (1) and (2).
To address this, we follow the procedure of Eloe et al. in [1] of constructing the associated Green’s function for the given problem by convolving a lower-order Green’s function, G 0 ( t , s ) , for the equation of a conjugate boundary value problem. We present properties of Green’s function, many of which can be found in [2,3]. Then, we deploy those in an application of the Guo–Krasnosel’skii fixed-point theorem.
Our method involves the analysis of the operator defined by
T u ( t ) = ( 1 ) n λ 0 1 G ( t , s ) g ( s ) f ( u ( s ) ) d s ,
which will be shown to have a fixed point under suitable conditions on parameter λ . This fixed point is a positive solution to (1) and (2). We will also give suitable conditions on λ for the nonexistence of solutions to (1) and (2).
This study extends the existing literature on fractional boundary value problems that leverage Guo–Krasnosel’skii’s fixed-point theorem. The major impetus of this work is two papers [2,3]. In the former, Lyons and Neugebauer used the convolution of two Green functions to prove existence and nonexistence results for two-point fractional boundary value problems. Recently, the latter work by Neugebauer and Wingo investigated a way to move to an even higher-order two-point boundary value problem using convolution and induction. The novelty here is that repeated convolution with induction leads one to creating arbitrary α + 2 n -order two-point boundary value problems.
Previous articles have applied various fixed-point theorems to demonstrate the existence of positive solutions for similar problems. For results obtained by employing the Guo–Krasnosel’skii fixed-point theorem similar to that realized in this paper, we cite [4,5,6,7]. One may find singular nonlinearity results in [8,9]. A quite recent application for the Guo–Krasnosel’skii fixed-point theorem to fractional boundary value problems was studied by Raghavendran et al. in [10]. Other recent applications of fixed-point theory to fractional boundary value problems were carried out by Zhang et al. in [11,12].
Here, we use the Guo–Krasnosel’skii fixed-point theorem to guarantee the existence of positive solutions by establishing two separate sizing conditions on parameter λ based upon the liminfs and limsups of the nonlinearity. Additionally, we provide nonexistence results determined with the parameter. This approach is based on the properties of Green’s function, which plays a critical role in showing the existence of positive solutions.
Section 2 provides definitions for the Riemann–Liousville fractional derivative and suggestions for further study therein and states the Guo–Krasnosel’skii fixed-point theorem. The subsequent sections are devoted to the construction of Green’s function and its properties. Then, in Section 5 and Section 6, we establish intervals for λ that yield the existence or nonexistence of positive solutions. Finally, we present two examples to illustrate the application of our results.

2. Preliminaries and the Fixed-Point Theorem

We begin by defining the Riemann–Liouville fractional integral, which is used to define the Riemann–Liouville fractional derivative used in this work. Both are widely adopted and commonly used. Then, we present Guo–Krasnosel’skii’s fixed-point theorem [13,14].
Definition 1. 
Let ν > 0 . The Riemann–Liouville fractional integral of a function u of order ν, denoted I 0 + ν u , is defined as
I 0 + ν u ( t ) = 1 Γ ( ν ) 0 t ( t s ) ν 1 u ( s ) d s ,
provided the right-hand side exists.
Definition 2. 
Let n denote a positive integer and assume n 1 < α n . The Riemann–Liouville fractional derivative of order α of the function u : [ 0 , 1 ] R , denoted D 0 + α u , is defined as
D 0 + α u ( t ) = 1 Γ ( n α ) d n d t n 0 t ( t s ) n α 1 u ( s ) d s = D n I 0 + n α u ( t ) ,
provided the right-hand side exists.
We refer to [15,16,17,18] for further study of fractional calculus and fractional differential equations.
Theorem 1 
(Guo–Krasnosel’skii fixed-point theorem). Let B be a Banach space, and let P X be a cone in P . Assume that Ω 1 and Ω 2 are open sets with 0 Ω 1 , and Ω ¯ 1 Ω 2 . Let T : P ( Ω ¯ 2 Ω 1 ) P be a completely continuous operator such that either of the following holds:
1. 
T u u , u P Ω 1 , a n d T u u , u P Ω 2 ;
2. 
T u u , u P Ω 1 , a n d T u u , u P Ω 2 .
Then, T has a fixed point in P ( Ω ¯ 2 Ω 1 ) .

3. Green’s Function

Now, we construct Green’s function, used for (1) and (2) utilizing induction with a convolution of a lower-order problem and a conjugate problem. The procedure is similar to that found in [3].
First, the conjugate boundary value problem
u = 0 , 0 < t < 1 , u ( 0 ) = 0 , u ( 1 ) = 0 ,
has a well-known Green’s function
G c o n j ( t , s ) = s ( 1 t ) , 0 s < t 1 , t ( 1 s ) , 0 t < s 1 .
Let G 0 ( t , s ) be Green’s function for
D 0 + α a u = 0 , 0 < t < 1 , u ( i ) ( 0 ) = 0 , i = 0 , 1 , , m 2 , D 0 + β u ( 1 ) = 0 ,
which is given by [19]
G 0 ( t , s ) = 1 Γ ( α ) t α 1 ( 1 s ) α 1 β ( t s ) α 1 , 0 s < t 1 , t α 1 ( 1 s ) α 1 β , 0 t s < 1 .
For k = 1 , , n 1 , recursively define G k ( t , s ) by
G k ( t , s ) = 0 1 G k 1 ( t , r ) G c o n j ( r , s ) d r .
Then,
G n ( t , s ) = 0 1 G n 1 ( t , r ) G c o n j ( r , s ) d r ,
is Green’s function for
D 0 + α + 2 n u ( t ) = 0 , 0 < t < 1 ,
with boundary condition (2), and G n 1 ( t , s ) is Green’s function for
D 0 + α + 2 ( n 1 ) u ( t ) = 0 , 0 < t < 1 ,
with boundary conditions
u ( i ) ( 0 ) = 0 , i = 0 , 1 , , m 2 , D 0 + β u ( 1 ) = 0 ,
D 0 + α + 2 l u ( 0 ) = D 0 + α + 2 l u ( 1 ) = 0 , l = 0 , 1 , , n 2 .
To see this, for the base case k = 1 , consider the linear differential equation
D 0 + α + 2 u ( t ) + h ( t ) = 0 , 0 < t < 1 ,
satisfying the boundary conditions
u ( i ) ( 0 ) = 0 , i = 0 , 1 , , m 2 , D 0 + β u ( 1 ) = 0 ,
D 0 + α u ( 0 ) = 0 , D 0 + α u ( 1 ) = 0 .
Make the change of variable:
v ( t ) = D 0 + α + 2 2 u ( t ) .
Then,
D 2 v ( t ) = D 2 D 0 + α + 2 2 u ( t ) = D 0 + α + 2 u ( t ) = h ( t ) ,
and since v ( t ) = D 0 + α u ( t ) ,
v ( 0 ) = D 0 + α u ( 0 ) = 0 and v ( 1 ) = D 0 + α u ( 1 ) = 0 .
Thus, v satisfies the Dirichlet boundary value problem:
v + h ( t ) = 0 , 0 < t < 1 ,
v ( 0 ) = 0 , v ( 1 ) = 0 .
Also, u now satisfies a lower-order boundary value problem:
D 0 + α u ( t ) = v ( t ) , 0 < t < 1 ,
u ( i ) ( 0 ) = 0 , i = 0 , 1 , , m 2 , D 0 + β u ( 1 ) = 0 .
So,
u ( t ) = 0 1 G 0 ( t , s ) ( v ( s ) ) d s = 0 1 G 0 ( t , s ) 0 1 G c o n j ( s , r ) h ( r ) d s d r = 0 1 0 1 G 0 ( t , s ) G c o n j ( s , r ) d s h ( r ) d r .
Therefore,
u ( t ) = 0 1 G 1 ( t , s ) h ( s ) d s ,
where
G 1 ( t , s ) = 0 1 G 0 ( t , r ) G c o n j ( r , s ) d r .
For the inductive step, the argument is similar. Assume that k = n 1 is true, and consider the linear differential equation
D 0 + α + 2 n u ( t ) + k ( t ) = 0 , 0 < t < 1 ,
satisfying boundary condition (2).
Make the change of variables
v ( t ) = D 0 + α + 2 ( n 1 ) u ( t )
so that
D 2 v ( t ) = D 0 + α + 2 n = k ( t )
and
v ( 0 ) = D 0 + α + 2 ( n 1 ) u ( 0 ) = 0 and v ( 1 ) = D 0 + α + 2 ( n 1 ) v ( 1 ) = 0 .
Similarly to before, v ( t ) satisfies the Dirichlet boundary value problem
v + k ( t ) = 0 , 0 < t < 1 ,
v ( 0 ) = 0 , v ( 1 ) = 0 ,
while u ( t ) satisfies the lower-order problem
D 0 + α + 2 ( n 1 ) u ( t ) = v ( t ) , 0 < t < 1 ,
u ( 0 ) = 0 , D 0 + β u ( 1 ) = 0 ,
D 0 + α + 2 l u ( 0 ) = D 0 + α + 2 l u ( 1 ) = 0 , l = 0 , 1 , , n 2 .
By induction,
u ( t ) = 0 1 G n 1 ( t , s ) ( v ( s ) ) d s = 0 1 0 1 G n 1 ( t , s ) G c o n j ( s , r ) d s k ( r ) d r = 0 1 G n ( t , s ) k ( s ) d s .
Therefore,
u ( t ) = 0 1 G n ( t , s ) k ( s ) d s ,
where
G n ( t , s ) = 0 1 G n 1 ( t , r ) G c o n j ( r , s ) d r .
So, the unique solution to
D 0 + α + 2 n u ( t ) + k ( t ) = 0 , 0 < t < 1 ,
satisfying boundary condition (2) is given by
u ( t ) = 0 1 G n ( t , s ) k ( s ) d s .

4. Green’s Function Properties

We now discuss properties for G n ( t , s ) that are inherited from G 0 ( t , s ) and G c o n j ( t , s ) . The results of the first lemma regarding G c o n j ( t , s ) are well known and easily verifiable.
Lemma 1. 
For ( t , s ) [ 0 , 1 ] × [ 0 , 1 ] , G c o n j ( t , s ) C ( 1 ) and G c o n j ( t , s ) 0 .
The following lemma regarding G 0 ( t , s ) is Lemma 3.1 proved in [2].
Lemma 2. 
The following are true:
(1) 
For ( t , s ) [ 0 , 1 ] × [ 0 , 1 ) , G 0 ( t , s ) C ( 1 ) .
(2) 
For ( t , s ) ( 0 , 1 ) × ( 0 , 1 ) , G 0 ( t , s ) > 0 and t G 0 ( t , s ) > 0 .
(3) 
For ( t , s ) [ 0 , 1 ] × [ 0 , 1 ) , t α 1 G 0 ( 1 , s ) G 0 ( t , s ) G 0 ( 1 , s ) .
Parts (1) and (2) of the following lemma regarding the convoluted Green’s function G n ( t , s ) are proved in Lemma 5.1 [3], and part (3) is proven here inductively.
Lemma 3. 
The following are true:
(1) 
For ( t , s ) [ 0 , 1 ] × [ 0 , 1 ) , G n ( t , s ) C ( 1 ) .
(2) 
For ( t , s ) ( 0 , 1 ) × ( 0 , 1 ) , ( 1 ) n G n ( t , s ) > 0 and ( 1 ) n t G n ( t , s ) > 0 .
(3) 
For ( t , s ) [ 0 , 1 ] × [ 0 , 1 ) ,
( 1 ) n t α 1 G n ( 1 , s ) ( 1 ) n G n ( t , s ) ( 1 ) n G n ( 1 , s ) .
Proof. 
For part (3), we proceed inductively.
For the base case k = 1 , we use Lemma 2 (3) to find
( 1 ) 1 t α 1 G 1 ( 1 , s ) = t α 1 0 1 G 0 ( 1 , r ) G c o n j ( r , s ) d r = 0 1 t α 1 G 0 ( 1 , r ) G c o n j ( r , s ) d r 0 1 G 0 ( t , r ) G c o n j ( r , s ) d r = 0 1 G 0 ( t , r ) G c o n j ( r , s ) d r = ( 1 ) 1 G 1 ( t , s ) ,
and
( 1 ) 1 G 1 ( t , s ) = 0 1 G 0 ( t , r ) G c o n j ( r , s ) d r = 0 1 G 0 ( t , r ) G c o n j ( r , s ) d r 0 1 G 0 ( 1 , r ) G c o n j ( r , s ) d r = 0 1 G 0 ( 1 , r ) G c o n j ( r , s ) d r = ( 1 ) 1 G 1 ( 1 , s ) .
Now, assume that k = n 1 is true. Then,
( 1 ) n t α 1 G n ( 1 , s ) = ( 1 ) n t α 1 0 1 G n 1 ( 1 , r ) G c o n j ( r , s ) d r = ( 1 ) 2 0 1 ( 1 ) n 1 t α 1 G n 1 ( 1 , r ) G c o n j ( r , s ) d r ( 1 ) 2 0 1 ( 1 ) n 1 G n 1 ( t , r ) G c o n j ( r , s ) d r = ( 1 ) n 0 1 G n 1 ( t , r ) G c o n j ( r , s ) d r = ( 1 ) n G n ( t , s ) ,
and
( 1 ) n G n ( t , s ) = ( 1 ) n 0 1 G n 1 ( t , r ) G c o n j ( r , s ) d r = ( 1 ) 2 0 1 ( 1 ) n 1 G n 1 ( t , r ) G c o n j ( r , s ) d r ( 1 ) 2 0 1 ( 1 ) n 1 G n 1 ( 1 , r ) G c o n j ( r , s ) d r = ( 1 ) n 0 1 G n 1 ( 1 , r ) G c o n j ( r , s ) d r = ( 1 ) n G n ( 1 , s ) .

5. Existence of Solutions

We are now in a position to demonstrate the existence of positive solutions to (1) and (2) based upon the parameter λ using the Guo–Krasnosel’skii fixed-point theorem and our constructed Green’s function and its properties.
Define the constants
A G n = 0 1 ( 1 ) n s α 1 G n ( 1 , s ) g ( s ) d s , B G n = 0 1 ( 1 ) n G n ( 1 , s ) g ( s ) d s ,
F 0 = lim sup u 0 + f ( u ) u , f 0 = lim inf u 0 + f ( u ) u ,
F = lim sup u f ( u ) u , f = lim inf u f ( u ) u .
Let B = C [ 0 , 1 ] be a Banach space with norm
u = max t [ 0 , 1 ] | u ( t ) | .
Define the cone:
P = u B : u ( 0 ) = 0 , u ( t ) is   n o n d e c r e a s i n g ,   and = t α 1 u ( 1 ) u ( t ) u ( 1 ) on [ 0 , 1 ] .
Define the operator T : P B by
T u ( t ) = ( 1 ) n λ 0 1 G n ( t , s ) g ( s ) f ( u ( s ) ) d s .
Lemma 4. 
Operator T : P P is completely continuous.
Proof. 
Let u P . Then, by definition,
T u ( 0 ) = ( 1 ) n λ 0 1 G n ( 0 , s ) g ( s ) f ( u ( s ) ) d s = 0 .
Also, for t ( 0 , 1 ) and by Lemma 3 (2),
t [ T u ( t ) ] = ( 1 ) n λ 0 1 t G n ( t , s ) g ( s ) f ( u ( s ) ) d s > 0
which implies that T u ( t ) is nondecreasing.
Next, for t [ 0 , 1 ] and by Lemma 3 (3),
t α 1 T u ( 1 ) = t α 1 ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s ( 1 ) n λ 0 1 G n ( t , s ) g ( s ) f ( u ( s ) ) d s = T u ( t ) ,
and
T u ( t ) = ( 1 ) n λ 0 1 G n ( t , s ) g ( s ) f ( u ( s ) ) d s ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s = T u ( 1 ) .
Therefore, T u P . A standard application of the Arzela–Ascoli Theorem yields the result that T is completely continuous. □
Theorem 2. 
If
1 A G n f < λ < 1 B G n F 0 ,
then (1) and (2) have at least one positive solution.
Proof. 
Since F 0 λ B G n < 1 , there exists an ϵ > 0 such that
( F 0 + ϵ ) λ B G n 1 .
Also, since
F 0 = lim sup u 0 + f ( u ) u ,
there exists an H 1 > 0 such that
f ( u ) ( F 0 + ϵ ) u for u ( 0 , H 1 ] .
Define Ω 1 = { u B : u < H 1 } . If u P Ω 1 , then u = H 1 , and
| ( T u ) ( 1 ) | = ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) ( F 0 + ϵ ) u ( s ) d s ( F 0 + ϵ ) u ( 1 ) λ 0 1 ( 1 ) n G n ( 1 , s ) g ( s ) d s ( F 0 + ϵ ) u λ B G n u .
Since T u P , T u u for u P Ω 1 .
Next, since f λ > 1 A G n , there exists a c ( 0 , 1 ) and an ϵ > 0 such that
( f ϵ ) λ > ( 1 ) n c 1 G n ( 1 , s ) g ( s ) d s 1 .
Since
f = lim inf u f ( u ) u ,
there exists an H 3 > 0 such that
f ( u ) ( f ϵ ) u for u [ H 3 , ) .
Define
H 2 = max H 3 c α 1 , 2 H 1 ,
and define Ω 2 = { u B : u < H 2 } .
Let u P Ω 2 . Then, u = H 2 . Notice that for t [ c , 1 ] ,
u ( t ) t α 1 u ( 1 ) c α 1 H 2 c α 1 H 3 c α 1 = H 3 .
Therefore,
| ( T u ) ( 1 ) | ( 1 ) n λ c 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s ( 1 ) n λ c 1 G n ( 1 , s ) g ( s ) ( f ϵ ) u ( s ) d s λ ( f ϵ ) u ( 1 ) c 1 ( 1 ) n s α 1 G n ( 1 , s ) g ( s ) d s u .
Hence, T u u for u P 2 . Notice that since H 1 < H 2 , we have 12. Thus, by Theorem 1 (1), T has a fixed point u P . By the definition of T, this fixed point is a positive solution of (1) and (2). □
Theorem 3. 
If
1 A G n f 0 < λ < 1 B G n F ,
then (1) and (2) have at least one positive solution.
Proof. 
Since f 0 λ A G n > 1 , there exists an ϵ > 0 such that
( f 0 ϵ ) λ A G n 1 .
Then, since
f 0 = lim inf u 0 + f ( u ) u ,
there exists an H 1 > 0 such that
f ( u ) ( f 0 ϵ ) u , t ( 0 , H 1 ] .
Define Ω 1 = { u B : u < H 1 } . If u P Ω 1 , then u ( t ) H 1 for t [ 0 , 1 ] . So,
| ( T u ) ( 1 ) | = ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) ( f 0 ϵ ) u ( s ) d s λ ( f 0 ϵ ) u ( 1 ) 0 1 ( 1 ) n s α 1 G n ( 1 , s ) g ( s ) d s λ ( f 0 ϵ ) u A G n u .
Thus, T u u for u P Ω 1 .
Next, since F B G n λ < 1 , there exists an ϵ ( 0 , 1 ) such that
( ( F + ϵ ) B G n + ϵ ) λ 1 .
Since
F = lim sup u f ( u ) u ,
there exists an H 3 > 0 such that
f ( u ) ( F + ϵ ) u , u [ H 3 , ) .
Define
M = max u [ 0 , H 3 ] f ( u ) .
Now, there exists a k ( 0 , 1 ) with
( 1 ) n 0 k G n ( 1 , s ) g ( s ) d s ϵ M .
Let
H 2 = max 2 H 1 , H 3 k α 1 , 1 ,
and define Ω 2 = { u B : u < H 2 } . Let u P Ω 2 . Then, u = H 2 , and so
u ( 1 ) = H 2 H 3 k α 1 > H 3 .
Now, u ( 0 ) = 0 . So, by the Intermediate Value Theorem, there exists a γ ( 0 , 1 ) with u ( γ ) = H 3 . But for t [ k , 1 ] , we have
u ( t ) t α 1 u ( 1 ) = t α 1 H 2 k α 1 H 3 k α 1 = H 3 .
So, γ ( 0 , k ] . Moreover, since u ( t ) is nondecreasing, this implies that
0 u ( t ) H 3 , t [ 0 , γ )
and
u ( t ) H 3 , t ( γ , 1 ] .
Therefore,
| ( T u ) ( 1 ) | = ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s = λ ( 1 ) n 0 γ G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s + ( 1 ) n γ 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s λ M 0 γ ( 1 ) n G n ( 1 , s ) g ( s ) d s + ( 1 ) n γ 1 G n ( 1 , s ) g ( s ) ( F + ϵ ) u ( s ) d s λ M ϵ M + ( F + ϵ ) u ( 1 ) γ 1 ( 1 ) n G n ( 1 , s ) g ( s ) d s λ ( ϵ + ( F + ϵ ) u B G n ) λ ( ϵ u + ( F + ϵ ) u B G n ) = λ u ( ϵ + ( F + ϵ ) B G n ) u .
Thus, T u u for u P Ω 2 . Notice that since H 1 < H 2 , we have Ω ¯ 1 Ω 2 . Thus, by Theorem 1 (2), T has a fixed point u P . By the definition of T, this fixed point is a positive solution of (1) and (2). □

6. Nonexistence Results

Penultimately, we provide two nonexistence results of positive solutions based on the size of parameter λ . First, we need the following lemma.
Lemma 5. 
Suppose D 0 + α + 2 n u C [ 0 , 1 ] . If ( 1 ) n ( D 0 + α + 2 n u ( t ) ) 0 for all t [ 0 , 1 ] and u ( t ) satisfies (2). Then, we have the following:
(1) 
u ( t ) 0 , 0 t 1 ;
(2) 
t α 1 u ( 1 ) u ( t ) u ( 1 ) , 0 t 1 .
Proof. 
Let 0 t 1 .
For (1), by Lemma 3 (2),
u ( t ) = 0 1 t G n ( t , s ) ( D 0 + α + 2 n u ( s ) ) d s = 0 1 ( 1 ) n t G n ( t , s ) ( 1 ) n ( D 0 + α + 2 n u ( s ) ) d s > 0 .
For (2), by Lemma 3 (3),
t α 1 u ( 1 ) = t α 1 0 1 G n ( 1 , s ) ( D 0 + α + 2 n u ( s ) ) d s = 0 1 ( 1 ) n t α 1 G n ( 1 , s ) ( 1 ) n ( D 0 + α + 2 n u ( s ) ) d s 0 1 ( 1 ) n G n ( t , s ) ( 1 ) n ( D 0 + α + 2 n u ( s ) ) d s = 0 1 G n ( t , s ) ( D 0 + α + 2 n u ( s ) ) d s = u ( t ) ,
and
u ( t ) = 0 1 G n ( t , s ) ( D 0 + α + 2 n u ( s ) ) d s = 0 1 ( 1 ) n G n ( t , s ) ( 1 ) n ( D 0 + α + 2 n u ( s ) ) d s 0 1 ( 1 ) n G n ( 1 , s ) ( 1 ) n ( D 0 + α + 2 n u ( s ) ) d s = 0 1 G n ( 1 , s ) ( D 0 + α + 2 n u ( s ) ) d s = u ( 1 ) .
Theorem 4. 
If
λ < u B G n f ( u )
for all u ( 0 , ) , then no positive solution exists for (1) and (2).
Proof. 
For contradiction, suppose that u ( t ) is a positive solution to (1) and (2). Then, ( 1 ) n ( D 0 + α + 2 n u ( t ) ) = λ g ( t ) f ( u ( t ) ) 0 . So, by Lemma 5,
u ( 1 ) = ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s < ( 1 ) n ( B G n ) 1 0 1 G n ( 1 , s ) g ( s ) u ( s ) d s u ( 1 ) ( B G n ) 1 0 1 ( 1 ) n G n ( 1 , s ) g ( s ) d s = u ( 1 ) ,
which is a contradiction. □
Theorem 5. 
If
λ > u A G n f ( u )
for all u ( 0 , ) , then no positive solution exists for (1) and (2).
Proof. 
For contradiction, suppose that u ( t ) is a positive solution to (1) and (2). Then, ( 1 ) n ( D 0 + α + 2 n u ( t ) ) = λ g ( t ) f ( u ( t ) ) 0 . So, by Lemma 5,
u ( 1 ) = ( 1 ) n λ 0 1 G n ( 1 , s ) g ( s ) f ( u ( s ) ) d s > ( 1 ) n ( A G n ) 1 0 1 G n ( 1 , s ) g ( s ) u ( s ) d s u ( 1 ) ( A G n ) 1 0 1 ( 1 ) n s α 1 G n ( 1 , s ) g ( s ) d s = u ( 1 ) ,
which is a contradiction. □

7. An Example

To conclude this paper, we provide an explicit example and calculate approximate bounds of the parameter λ for the existence and nonexistence of positive solutions. We use Theorems 2, 4 and 5. Examples constructed using Theorems 3–5 are found and proved similarly.
Set n = 2 , m = 3 , α = 2.5 , β = 1.5 , and g ( t ) = t . We note that g ( t ) 0 is continuous for 0 t 1 and 0 1 g ( t ) d t > 0 . Now, we have that
G 0 ( 1 , s ) = 1 Γ ( 2.5 ) 1 1.5 ( 1 s ) 0 ( 1 s ) 1.5 , 0 s < t 1 , 1 1.5 ( 1 s ) 0 , 0 t s < 1 = 1 ( 1 s ) 1.5 Γ ( 2.5 ) ,
and we compute
A G 2 = 0 1 ( 1 ) 2 s 1.5 G 2 ( 1 , s ) ( s ) d s = 0 1 0 1 G 1 ( 1 , r 1 ) G c o n j ( r 1 , s ) d r 1 s 2.5 d s = 0 1 0 1 0 1 G 0 ( 1 , r 2 ) G c o n j ( r 2 , r 1 ) d r 2 G c o n j ( r 1 , s ) d r 1 s 2.5 d s 0.00095454 ,
and
B G 2 = 0 1 ( 1 ) 2 G 2 ( 1 , s ) ( s ) d s = 0 1 0 1 G 1 ( 1 , r 1 ) G c o n j ( r 1 , s ) d r 1 s d s = 0 1 0 1 0 1 G 0 ( 1 , r 2 ) G c o n j ( r 2 , r 1 ) d r 2 G c o n j ( r 1 , s ) d r 1 s d s 0.00197039 .
Now that we have A G 2 and B G 2 , applying these Theorems is much simpler as they are based on the liminfs and limsups of choice of f ( u ) .
Example 1. 
We demonstrate an example for Theorems 2, 4, and 5. Set f ( u ) = u ( 3 u + 1 ) / ( u + 1 ) . We note that f ( u ) 0 is continuous for u 0 . Thus, the fractional boundary value problem is
D 0 + 6.5 u ( t ) + λ t u 3 u + 1 u + 1 = 0 , 0 < t < 1 ,
subject to
u ( 0 ) = u ( 0 ) = 0 , D 0 + 1.5 ( 1 ) = 0 D 0 + 2.5 u ( 0 ) = D 0 + 4.5 ( 0 ) = 0 , D 0 + 2.5 ( 1 ) = D 0 + 4.5 ( 1 ) = 0 .
We compute the liminfs and limsups for f ( u ) / u = ( 3 u + 1 ) / ( u + 1 ) .
f = lim inf u 3 u + 1 u + 1 = 3 , F 0 = lim sup u 0 + 3 u + 1 u + 1 = 1 f 0 = lim inf u 0 + 3 u + 1 u + 1 = 1 , F = lim sup u 3 u + 1 u + 1 = 3
Then, we have
1 A G 2 f 1 0.00095454 · 3 349.28
and
1 B G 2 F 0 1 0.00197039 · 1 507.61 .
Next, for u ( 0 , ) , we investigate
u B G 2 f ( u ) = u + 1 B G 2 ( 3 u + 1 ) .
We calculate
inf u ( 0 , ) u + 1 B G 2 ( 3 u + 1 ) = 1 B G 2 inf u ( 0 , ) u + 1 ( 3 u + 1 ) 1 0.00197039 1 3 169.15 .
Finally, for u ( 0 , ) , we investigate
u A G 2 f ( u ) = u + 1 A G 2 ( 3 u + 1 ) .
We calculate
sup u ( 0 , ) u + 1 A G 2 ( 3 u + 1 ) = 1 A G 2 sup u ( 0 , ) u + 1 ( 3 u + 1 ) 1 0.00095454 ( 1 ) 1047.17 .
Therefore, by Theorems 2, 4, and 5, if 349.28 < λ < 507.61 , then (3) and (4) have at least one positive solution, and if λ < 169.15 or λ > 1047.17 , then (3) and (4) do not have a positive solution.

8. Conclusions

A Riemann–Liouville fractional derivative with fractional boundary conditions including Lidstone-inspired conditions was studied. With the use of Green’s function, convolution, induction, and fixed-point theory, at least one positive solution was proven to exist if parameter λ was within certain bounds. Subsequently, no positive solutions were shown to exist if λ satisfied other bounds. An explicit example was constructed to demonstrate how to utilize the presented theorems.
Future work would aim to investigate the convolution of the fractional boundary value problem with other types of Green functions such as those for right-focal or multipoint problems. Additionally, one could use the convolution with induction approach to find positive solutions for fractional boundary value problems that contain a singularity.

Author Contributions

All authors contributed substantially and in equal proportion to this research. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Eloe, P.W.; Neugebauer, J.T. Convolutions and Green’s functions for two families of boundary value problems for fractional differential equations. Electron. J. Differ. Equ. 2016, 2016, 1–13. [Google Scholar]
  2. Lyons, J.W.; Neugebauer, J.T. Two point fractional boundary value problems with a fractional boundary condition. Fract. Calc. Appl. Anal. 2018, 21, 442–461. [Google Scholar] [CrossRef]
  3. Neugebauer, J.T.; Wingo, A.G. Positive solutions for a fractional boundary value problem with Lidstone-like boundary conditions. Kragujev. J. Math. 2024, 48, 309–322. [Google Scholar] [CrossRef]
  4. Bai, Z.; Lü, H. Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 2005, 311, 495–505. [Google Scholar] [CrossRef]
  5. Graef, J.R.; Yang, B. Positive solutions to a three point fourth order focal boundary value problem. Rocky Mt. J. Math. 2014, 4, 937–951. [Google Scholar] [CrossRef]
  6. Kaufmann, E.R.; Mboumi, E. Positive solutions of a boundary value problem for a nonlinear fractional differential equation. Electron. J. Qual. Theory Differ. Equ. 2008, 2008, 1–11. [Google Scholar] [CrossRef]
  7. Rehman, M.U.; Khan, R.A.; Eloe, P.W. Positive solutions of nonlocal boundary value problem for higher order fractional differential system. Dynam. Systems Appl. 2011, 20, 169–182. [Google Scholar]
  8. Agarwal, R.P.; O’Regan, D.; Staněk, S. Positive solutions for Dirichlet problems of singular nonlinear fractional differential equations. J. Math. Anal. Appl. 2010, 371, 57–68. [Google Scholar] [CrossRef]
  9. Henderson, J.; Luca, R. Existence of positive solutions for a singular fraction boundary value problem. Nonlinear Anal. Model. Control 2017, 22, 99–114. [Google Scholar] [CrossRef]
  10. Raghavendran, P.; Gunasekar, T.; Santra, S.S.; Baleanu, D.; Majumder, D. Analytical study of existence, uniqueness, and stability in impulsive neutral fractional Volterra-Fredholm equations. J. Math. Computer. Sci. 2025, 38, 313–329. [Google Scholar] [CrossRef]
  11. Zhang, W.; Fu, X.; Ni, J. Existence of positive solutions for Hadamard-type fractional boundary value problems at resonance on an infinite interval. J. Nonlinear Math. Phys. 2024, 31, 1–22. [Google Scholar] [CrossRef]
  12. Zhang, Z.; Ni, J. New multiple positive solutions for Hadamard-type fractional differential equations with nonlocal conditions on an infinite interval. Appl. Math. Lett. 2021, 118, 1–10. [Google Scholar] [CrossRef]
  13. Guo, D.; Lakshmikantham, V. Problems in Abstract Cones; Academic Press: New York, NY, USA, 1988. [Google Scholar]
  14. Krasnosel’skii, M.A. Topological Methods in the Theory of Nonlinear Integral Equations; The Macmillan Co.: New York, NY, USA, 1964. [Google Scholar]
  15. Diethelm, K. The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type; Springer: Berlin/Heidelberg, Germany, 2010. [Google Scholar]
  16. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland Mathematics Studies 204; Elsevier Science B.V.: Amsterdam, The Netherlands, 2006. [Google Scholar]
  17. Miller, K.S.; Ross, B. An Introduction to the Fractional Calculus and Fractional Differential Equations; A Wiley-Interscience Publication; John Wiley & Sons, Inc.: New York, NY, USA, 1993. [Google Scholar]
  18. Podlubny, I. Fractional Differential Equations; Academic Press, Inc.: San Diego, CA, USA, 1999. [Google Scholar]
  19. Eloe, P.; Lyons, J.W.; Neugebauer, J.T. An ordering on Green’s functions for a family of two-point boundary value problems for fractional differential equations. Commun. Appl. Anal. 2015, 19, 453–462. [Google Scholar]
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.

Share and Cite

MDPI and ACS Style

Lyons, J.W.; Neugebauer, J.T.; Wingo, A.G. Existence and Nonexistence of Positive Solutions for Fractional Boundary Value Problems with Lidstone-Inspired Fractional Conditions. Mathematics 2025, 13, 1336. https://doi.org/10.3390/math13081336

AMA Style

Lyons JW, Neugebauer JT, Wingo AG. Existence and Nonexistence of Positive Solutions for Fractional Boundary Value Problems with Lidstone-Inspired Fractional Conditions. Mathematics. 2025; 13(8):1336. https://doi.org/10.3390/math13081336

Chicago/Turabian Style

Lyons, Jeffrey W., Jeffrey T. Neugebauer, and Aaron G. Wingo. 2025. "Existence and Nonexistence of Positive Solutions for Fractional Boundary Value Problems with Lidstone-Inspired Fractional Conditions" Mathematics 13, no. 8: 1336. https://doi.org/10.3390/math13081336

APA Style

Lyons, J. W., Neugebauer, J. T., & Wingo, A. G. (2025). Existence and Nonexistence of Positive Solutions for Fractional Boundary Value Problems with Lidstone-Inspired Fractional Conditions. Mathematics, 13(8), 1336. https://doi.org/10.3390/math13081336

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop