Next Article in Journal
A Learner-Refiner Framework for Barrier Certificate Generation
Previous Article in Journal
Enhancing User Experience in Smart Tourism via Fuzzy Logic-Based Personalization
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence, Nonexistence, and Multiplicity of Positive Solutions for Nonlocal Boundary Value Problems

1
Department of mathematics, Pusan National University, Busan 46241, Republic of Korea
2
Department of Mathematics Education, Chinju National University of Education, Jinju 52673, Republic of Korea
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2025, 13(5), 847; https://doi.org/10.3390/math13050847
Submission received: 26 January 2025 / Revised: 27 February 2025 / Accepted: 3 March 2025 / Published: 3 March 2025
(This article belongs to the Section C1: Difference and Differential Equations)

Abstract

:
This study investigates the nonlocal boundary value problem for generalized Laplacian equations involving a singular, possibly non-integrable weight function. By analyzing the asymptotic behaviors of the nonlinearity f = f ( s ) near both s = 0 and s = , we establish the existence, nonexistence, and multiplicity of positive solutions for all positive values of the parameter λ . Our proofs employ the fixed-point theorem of cone expansion and compression of norm type, a powerful tool for demonstrating the existence of solutions in cones, as well as the Leray–Schauder fixed-point theorem, which offers an alternative approach for proving the existence of solutions. Illustrative examples are provided to concretely demonstrate the applicability of our main results.

1. Introduction

We consider the following singular φ -Laplacian problem with integral boundary conditions
( p ( t ) φ ( u ( t ) ) ) + λ h ( t ) f ( u ( t ) ) = 0 , t ( 0 , 1 ) , u ( 0 ) = 0 1 u ( ξ ) d β 1 ( ξ ) , u ( 1 ) = 0 1 u ( ξ ) d β 2 ( ξ ) .
Here, φ : R R is an odd increasing homeomorphism, p : [ 0 , 1 ] ( 0 , ) is a continuous function, λ R + : = [ 0 , ) is a parameter, h : ( 0 , 1 ) R + is a continuous function, f : R + R + is a continuous function satisfying f ( s ) > 0 for s > 0 , and the integrator functions β i ( i = 1 , 2 ) are nondecreasing on [ 0 , 1 ] .
All integrals in (1) are meant in the sense of Riemann–Stieltjes. Throughout this paper, we assume the following hypotheses.
(K1)
There exist increasing homeomorphisms ψ 1 , ψ 2 : [ 0 , ) [ 0 , ) such that
φ ( m ) ψ 1 ( n ) φ ( m n ) φ ( m ) ψ 2 ( n )   for   all   x , y [ 0 , ) .
(K2)
For i = 1 , 2 ,   β ^ i : = β i ( 1 ) β i ( 0 ) [ 0 , 1 ) .
Let Ψ : [ 0 , ) [ 0 , ) be an increasing homeomorphism. Then, we denote by H Ψ the set
J C ( ( 0 , 1 ) , R + ) : 0 1 Ψ 1 s 1 2 J ( τ ) d τ d s < .
As is well known, it follows from ( K 1 ) that
φ 1 ( m ) ψ 2 1 ( n ) φ 1 ( m n ) φ 1 ( m ) ψ 1 1 ( n )   for   all   m , n R +
and
L 1 ( 0 , 1 ) C ( 0 , 1 ) H ψ 1 H φ H ψ 2
(see, e.g., Remark 1 in [1]).
Since Picone’s pioneering work [2] in 1908, the study of nonlocal boundary value problems has attracted numerous researchers, who have been actively involved in this area from then until now. Nonlocal boundary value problems appear in various fields of applied mathematics and physics, modeling numerous phenomena across the applied mathematical sciences. These applications include, but are not limited to, beam deflection [3] and thermostatics [4]. A classic example is the vibration of a guy wire with a uniform cross-section composed of N sections of varying densities, which can be formulated as a multi-point boundary value problem [5]. Furthermore, many elastic stability problems also give rise to multi-point boundary value problems [6]. To gain a comprehensive understanding of the historical development of research in this area, we refer the reader to the survey papers [7,8]. Driven by these applications, the existence of positive solutions for nonlocal boundary value problems has been extensively investigated. For instance, Bachouche, Djebali, and Moussaoui [9] employed fixed-point theorems to establish the existence of multiple positive solutions for φ -Laplacian boundary value problems with linear bounded operator conditions under suitable assumptions on the nonlinearity f = f ( t , v , w ) satisfying the L 1 -Carathéodory condition. Goodrich [10] utilized perturbed Volterra integral operator equations to study the existence of positive solutions for the r-Laplacian differential equation with nonlocal boundary conditions. For the nonlinearity f = f ( t , v ) satisfying f ( t , 0 ) 0 , Kim [11] investigated the existence, nonexistence, and multiplicity of positive solutions to problem (1) by analyzing the unbounded solution continuum. Tariboon, Samadi, and Ntouyas [12] studied the existence and uniqueness of solutions for boundary value problems involving Hilfer generalized proportional fractional differential equations with multi-point boundary conditions, notably pioneering the investigation of such problems with order in (1,2]. For a two-term nonlinear fractional integro-differential equation with nonlocal boundary conditions and variable coefficients, Li [13] established the uniqueness of solutions by utilizing the Mittag–Leffler function, Babenko’s method, and the Banach contraction principle.
The existence of positive solutions for the φ -Laplacian problem (1) in the case when either f 0 = f = or f 0 = f = 0 has been investigated by several authors. Here,
f 0 : = lim s 0 f ( s ) φ ( s ) and f : = lim s f ( s ) φ ( s ) .
For instance, Agarwal, Lü, and O’Regan [14] established the existence of two positive solutions to problem (1) with φ ( s ) = | s | r 2 s for some r ( 1 , ) , q 1 , h H φ , and β ^ 1 = β ^ 2 = 0 . Subsequent studies by Wang [15] and Lee and Xu [16] extended the result to more general cases. Recently, Kim obtained the following result for problem (1).
Theorem 1 
([17], Theorem 1). Assume that ( K 1 ) , ( K 2 ) , and h H ψ 1 { 0 } hold.
(1)
If f = f 0 = 0 , then there exists λ * ( 0 , ) such that (1) has two positive solutions for any λ ( λ * , ) .
(2)
If f = f 0 = , then there exist λ * ( 0 , ) such that problem (1) has two positive solutions for any λ ( 0 , λ * ) .
A limitation of Theorem 1 is its inability to determine whether positive solutions exist for all possible positive values of λ . Specifically, the result does not cover the intervals [ 0 , λ * ] or [ λ * , ] . Recently, Jeong and Kim [18] thoroughly analyzed the existence, nonexistence, and multiplicity of positive solutions under the restrictive condition of zero Dirichlet boundary conditions (i.e., β ^ 1 = β ^ 2 = 0 ). We aim to extend the result as in [18], as well as those presented in [14,15,16,17], by establishing the existence of positive solutions for a wider range of conditions. Specifically, we consider all positive values of the parameter λ and impose less restrictive assumptions on φ , p, h, and/or boundary conditions. Our main theorem is presented below.
Theorem 2. 
Assume that ( K 1 ) , ( K 2 ) , and h H ψ 1 { 0 } hold.
(1) If f = f 0 = 0 , then there exist λ 1 * λ * 1 > 0 such that problem (1) has two positive solutions for λ > λ 1 * , one positive solution for λ [ λ * 1 , λ 1 * ] , and no positive solutions for λ ( 0 , λ * 1 ) .
(2) If f = f 0 = , then there exist λ 2 * λ * 2 > 0 such that problem (1) has two positive solutions for λ ( 0 , λ * 2 ) , one positive solution for λ [ λ * 2 , λ 2 * ] , and no positive solutions for λ > λ 2 * .
In [11], the condition f ( t , v ) > 0 for all ( t , v ) [ 0 , 1 ] × R + was imposed on the nonlinearity f = f ( t , v ) to ensure that all non-negative solutions are positive ones. However, in our study, we relax this restriction by allowing f ( v ) to satisfy f ( 0 ) = 0 , which introduces the possibility of a trivial solution u 0 for every λ R + . To address the challenges posed by this relaxed assumption, we employ a combination of the fixed-point theorem of cone expansion and compression of norm type and the Leray–Schauder fixed-point theorem.
The subsequent sections of this paper are organized as follows. In Section 2, we provide a brief overview of existing results, laying the groundwork for the main theorem. In Section 3, we establish key lemmas and present the proof of Theorem 2, accompanied by illustrative examples. Finally, in Section 4, we conclude by summarizing our principal findings and highlighting potential directions for future research.

2. Preliminaries

Throughout this section, we assume that ( K 1 ) , ( K 2 ) , and h H φ { 0 } hold. The usual maximum norm in a Banach space C [ 0 , 1 ] is denoted by
v : = max { | v ( t ) | : t [ 0 , 1 ] }   for   v C [ 0 , 1 ] .
Let
c h : = inf { t ( 0 , 1 ) : h ( t ) > 0 } , d h : = sup { t ( 0 , 1 ) : h ( t ) > 0 } ,
c ¯ h : = sup { t ( 0 , 1 ) : h ( z ) > 0   for   all   z ( c h , t ) } ,
d ¯ h : = inf { t ( 0 , 1 ) : h ( z ) > 0   for   all   z ( t , d h ) } ,
γ h 1 : = 1 4 ( 3 c h + c ¯ h ) ,   γ h 2 : = 1 4 ( d ¯ h + 3 d h )   and   γ h * : = 1 2 ( γ h 1 + γ h 2 ) .
Then, since h : ( 0 , 1 ) R + is a continuous function with h 0 , we have two cases: either
( i )   0 c h < c ¯ h d ¯ h < d h 1
or
( i i )   0 c h = d ¯ h < d h 1   and   0 c h < c ¯ h = d h 1 .
Hence,
h ( t ) > 0 for t ( c h , c ¯ h ) ( d ¯ h , d h ) , and 0 c h < γ h 1 < γ h 2 < d h 1 .
Let p h : = p 1 min { γ h 1 , 1 γ h 2 } ( 0 , 1 ) . Here,
p 0 : = min { p ( t ) : t [ 0 , 1 ] } > 0   and   p 1 : = ψ 2 1 1 p ψ 1 1 1 p 0 1 ( 0 , 1 ] .
Define P as the set of all non-negative continuous functions u satisfying
u ( t ) p h u for t [ γ h 1 , γ h 2 ] .
Then, P is a cone in C [ 0 , 1 ] . For α > 0 , let
P α : = { u K : u < α } , P α : = { u P : u = α } ,
and P ¯ α : = P α P α .
For g H φ , consider the following problem:
( p ( t ) φ ( u ( t ) ) ) + g ( t ) = 0 , t ( 0 , 1 ) , u ( 0 ) = 0 1 u ( ξ ) d β 1 ( ξ ) , u ( 1 ) = 0 1 u ( ξ ) d β 2 ( ξ ) .
Define a function S : H φ C [ 0 , 1 ] by, for g H φ ,
S ( g ) ( t ) = ( 1 β ^ 1 ) 1 0 1 0 ξ I g ( s , σ ) d s d β 1 ( ξ ) + 0 t I g ( s , σ ) d s , if 0 t σ , ( 1 β ^ 2 ) 1 0 1 ξ 1 I g ( s , σ ) d s d β 2 ( ξ ) t 1 I g ( s , σ ) d s , if σ t 1 ,
where
I g ( s , x ) : = φ 1 1 p ( s ) s x g ( ϱ ) d ϱ   for   s , x ( 0 , 1 )
and σ = σ ( g ) is a constant satisfying
( 1 β ^ 1 ) 1 0 1 0 ξ I g ( s , σ ) d s d β 1 ( ξ ) + 0 σ I g ( s , σ ) d s =   ( 1 β ^ 2 ) 1 0 1 ξ 1 I g ( s , σ ) d s d β 2 ( ξ ) σ 1 I g ( s , σ ) d s .
From the definition of I g , it follows that
I g ( s , x ) 0 for 0 < s x < 1 and I g ( s , x ) 0 for 0 < x s < 1 .
For any g H φ and any σ satisfying (7), S ( g ) is monotone increasing on [ 0 , σ ) and monotone decreasing on ( σ , 1 ] . Note that σ = σ ( g ) is not necessarily unique, but S ( g ) is independent of the choice of σ satisfying (7) (see Remark 2 in [19]).
Lemma 1 
(Lemma 2 in [19]). Assume that ( K 1 ) , ( K 2 ) , and g H φ hold. Then, S ( g ) is a unique solution to problem (5) satisfying the following properties:
(1) S ( g ) ( t ) min { S ( g ) ( 0 ) , S ( g ) ( 1 ) } 0 for t [ 0 , 1 ] ;
(2) for any g 0 , max { S ( g ) ( 0 ) , S ( g ) ( 1 ) }   <   S ( g ) ;
(3) σ is a constant satisfying (7) if and only if S ( g ) ( σ ) = S ( g ) ;
(4) S ( g ) ( t ) p 1 min { t , 1 t } S ( g ) for t [ 0 , 1 ] and S ( g ) P .
Define a function G : R + × P C ( 0 , 1 ) by
G ( λ , u ) ( t ) : = λ h ( t ) f ( u ( t ) )   for   ( λ , u ) R + × P   and   t ( 0 , 1 ) .
Clearly, because h H φ , G ( λ , u ) H φ for any ( λ , u ) R + × P . Let us define an operator T : R + × P P by
T ( λ , u ) : = S ( G ( λ , u ) )   for   ( λ , u ) R + × P .
By Lemma 1 ( 4 ) , T ( R + × P ) P , and consequently, T is well defined.
Remark 1. 
(1) Problem (1) has a solution if and only if T ( λ , u ) = u for some ( λ , u ) R + × P .
(2) From T ( 0 , u ) = 0 for any u P , it follows that 0 is a unique solution to problem (1) with λ = 0 .
(3) For ( λ , u ) R + × P , by Lemma 1 (3),
T ( λ , u ) = T ( λ , u ) ( σ ) .
(4) By Lemma 1 (4), if u is a nonzero solution to problem (1) with λ > 0 , then u is a positive solution, i.e., u ( t ) > 0 for t ( 0 , 1 ) .
Lemma 2 
([19], Lemma 4). Assume that ( K 1 ) , ( K 2 ) , and h H φ { 0 } hold. Then, the operator T : R + × K K is completely continuous.
Finally, we introduce the fixed-point theorem of cone expansion and compression of norm type and the Leray–Schauder fixed-point theorem.
Theorem 3 
([20]). Let ( Z , · ) be a Banach space, and let Q be a cone in Z . Assume that Γ 1 and Γ 2 are open subsets of Z with 0 Γ 1 and Γ ¯ 1 Γ 2 . Let H : Q ( Γ ¯ 2 Γ 1 ) Q be a completely continuous operator such that if either
H u     u for u Q Γ 1 and H u     u for u Q Γ 2 or
H u     u for u Q Γ 1 and H u     u for u Q Γ 2 ,
then H has a fixed point in Q ( Γ ¯ 2 Γ 1 ) .
Theorem 4 
([21]). Let X be a Banach space, and let Q be a closed, convex, and bounded set in X. Assume that V : Q Q is completely continuous. Then, V has a fixed point in Q .

3. Proof of Main Results

Lemma 3. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f = f 0 = 0 hold. Let J = [ a , b ] be a compact interval with 0 < a < b . Then there exist positive constants c J and C J such that c J u C J for any positive solution u to problem (1) with λ J .
Proof. 
Let A : = ( 2 b + 1 ) 1 ψ 1 ( C * 1 ) > 0 . Here, β * : = max { ( 1 β ^ 1 ) 1 , ( 1 β ^ 2 ) 1 } and
C * : = β * max 0 1 2 ψ 1 1 p 0 1 s 1 2 h ( ϱ ) d ϱ d s , 1 2 1 ψ 1 1 p 0 1 1 2 s h ( ϱ ) d ϱ d s > 0 .
First, we show the existence of c I satisfying u c I > 0 for any positive solution u to problem (1) with λ J . In contrast, we assume that there exists a sequence { ( λ n , u n ) } such that u n is a positive solution to problem (1) with λ = λ n J and u n 0 as n . Since f 0 = 0 , there exists δ > 0 such that f ( s ) A φ ( s ) for s [ 0 , δ ] . Since u n 0 as n , there exists N > 0 such that u N < δ and
f ( u N ( t ) ) A φ ( u N ( t ) ) A φ ( u N ) for all t [ 0 , 1 ] .
We restrict our attention to the case where σ N > 1 2 , because the case where σ N 1 2 can be treated analogously. From the definition of T and (8), it follows that
T ( λ N , u N ) ( σ N ) = ( 1 β ^ 2 ) 1 0 1 ξ 1 I G ( λ N , u N ) ( s , σ N ) d s d β 2 ( ξ ) σ N 1 I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 2 ) 1 0 1 ξ 1 I G ( λ N , u N ) ( s , σ N ) d s d β 2 ( ξ ) + 1 0 1 d β 2 ( r ) σ N 1 I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 2 ) 1 0 1 ξ σ N I G ( λ N , u N ) ( s , σ N ) d s d β 2 ( ξ ) + σ N 1 I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 2 ) 1 [ 0 σ N ξ σ N I G ( λ N , u N ) ( s , σ N ) d s d β 2 ( ξ ) + σ N 1 σ N ξ I G ( λ N , u N ) ( s , σ N ) d s d β 2 ( ξ ) σ N 1 I G ( λ N , u N ) ( s , σ N ) d s ] ( 1 β ^ 2 ) 1 σ N 1 I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 2 ) 1 σ N 1 φ 1 1 p ( s ) σ N s λ N h ( ϱ ) f ( u N ( ϱ ) ) d ϱ d s .
Then, by (3) and (9) and the definition of A,
u N = T ( λ N , u N ) ( σ N ) β * σ N 1 φ 1 1 p ( s ) σ N s λ N h ( ϱ ) f ( u N ( ϱ ) ) d ϱ d s β * 1 2 1 φ 1 p 0 1 s 1 2 h ( ϱ ) d ϱ A φ ( u N ) d s β * 1 2 1 ψ 1 1 p 0 1 s 1 2 h ( ϱ ) d ϱ d s φ 1 ( A φ ( u N ) ) C * ψ 1 1 ( A ) u N < u N .
This is a contradiction, and thus there exists c J > 0 such that u c J > 0 for any positive solution u to problem (1) with λ J .
Next, we show the existence of C J satisfying u C J for any positive solution u to problem (1) with λ J . It follows from f = 0 that there exists s A > 0 such that f ( s ) A φ ( s ) for s [ s A , ) . Let C A = max { f ( s ) : s [ 0 , s A ] } > 0 . Then,
f ( s ) C A + A φ ( s ) for s R + .
In contrast, we assume that there exists a sequence { ( λ n , u n ) } such that u n is a positive solution to problem (1) with λ = λ n J and u n as n . Then, for sufficiently large N > 0 ,   C A A φ ( u N ) , and by (11),
f ( u N ( t ) ) 2 A φ ( u N ) for t [ 0 , 1 ] .
Let σ N denote a positive real number such that u N = u N ( σ N ) . We restrict our attention to the case where σ N 1 2 , because the case where σ N > 1 2 can be treated analogously. From (8), it follows that
T ( λ N , u N ) ( σ N ) = ( 1 β ^ 1 ) 1 0 1 0 ξ I G ( λ N , u N ) ( s , σ N ) d s d β 1 ( ξ ) + 0 σ N I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 1 ) 1 0 1 0 ξ I G ( λ N , u N ) ( s , σ N ) d s d β 1 ( ξ ) + 1 0 1 d β 1 ( r ) 0 σ N I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 1 ) 1 0 1 σ N ξ I G ( λ N , u N ) ( s , σ N ) d s d β 1 ( ξ ) + 0 σ N I G ( λ N , u N ) ( s , σ N ) d s = ( 1 β ^ 1 ) 1 [ 0 σ N ξ σ N I G ( λ N , u N ) ( s , σ N ) d s d β 1 ( ξ ) + σ N 1 σ N ξ I G ( λ N , u N ) ( s , σ N ) d s d β 1 ( ξ ) + 0 σ N I G ( λ N , u N ) ( s , σ N ) d s ] β * 0 σ N I G ( λ N , u N ) ( s , σ N ) d s .
Then, by (3) and (12) and the definition of A,
u N = T ( λ N , u N ) ( σ N ) β * 0 σ N φ 1 1 p ( s ) s σ N λ N h ( ϱ ) f ( u N ( ϱ ) ) d ϱ d s β * 0 1 2 φ 1 p 0 1 s 1 2 h ( ϱ ) d ϱ 2 b A φ ( u N ) d s β * 0 1 2 ψ 1 1 p 0 1 s 1 2 h ( ϱ ) d ϱ d s φ 1 ( 2 b A φ ( u N ) ) C * ψ 1 1 ( 2 b A ) u N < u N .
This is a contradiction, and thus there exists C J > 0 such that u C J for any positive solution u to problem (1) with λ J .
Lemma 4. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f = f 0 = 0 hold. Then, there exists λ ̲ > 0 such that problem (1) has no positive solutions for λ [ 0 , λ ̲ ) .
Proof. 
Let λ be a positive constant satisfying that problem (1) has a positive solution u λ , and let σ be a constant satisfying u λ ( σ ) = u λ . Since f 0 = f = 0 , there exists C 0 > 0 such that f ( s ) C 0 φ ( s ) for s R + , and
f ( u λ ( ϱ ) ) C 0 φ ( u λ ( ϱ ) ) C 0 φ ( u λ ) for all ϱ [ 0 , 1 ] .
Let
h γ : = max 0 γ h ψ 1 1 s γ h h ( ϱ ) d ϱ d s , γ h 1 ψ 1 1 γ h s h ( ϱ ) d ϱ d s > 0 .
We only consider the case σ γ h , since the case σ > γ h can be proved similarly. By the similar argument as in (3), (13), and (14),
u λ = u λ ( σ ) β * 0 σ φ 1 1 p ( s ) s σ λ h ( ϱ ) f ( u λ ( ϱ ) ) d ϱ d s β * 0 γ h φ 1 s γ h ( ϱ ) d ϱ p 0 1 λ C 0 φ ( u λ ) d s β * h γ φ 1 ( p 0 1 λ C 0 φ ( u λ ) ) β * h γ ψ 1 1 ( p 0 1 λ C 0 ) u λ .
Consequently,
λ p 0 C 0 1 ψ 1 ( β * 1 h γ 1 ) = : λ ̲ ,
and problem (1) has no positive solutions for λ ( 0 , λ ̲ ) .
Lemma 5. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f = 0 hold. If (1) has a positive solution at λ = λ 1 , then (1) has at least one positive solution for all λ [ λ 1 , ) .
Proof. 
Let u1 be a positive solution to problem (1) with λ = λ 1 and let λ ( λ 1 , ) be fixed. Consider the following modified problem
( p ( t ) φ ( u ( t ) ) ) + λ h ( t ) f ( γ 1 ( t , u ( t ) ) ) = 0 , t ( 0 , 1 ) , u ( 0 ) = 0 1 u ( ξ ) d β 1 ( ξ ) , u ( 1 ) = 0 1 u ( ξ ) d β 2 ( ξ ) ,
where γ 1 : [ 0 , 1 ] × R + R + is a continuous function defined by, for ( t , s ) [ 0 , 1 ] × R + ,
γ 1 ( t , s ) = s , if s u 1 ( t ) , u 1 ( t ) , if 0 s < u 1 ( t ) .
Define H 1 : P P by H 1 ( u ) = S ( G 1 ( u ) ) for u P , where G 1 ( u ) ( t ) = λ h ( t ) f ( γ 1 ( t , u ( t ) ) ) for u P and t ( 0 , 1 ) . Since G 1 ( u ) H ψ 1 for any u P , by Lemma 1, H 1 is well defined. It is easy to see that H 1 is completely continuous on K , and u is a solution to problem (15) if and only if u = H 1 u .
First, we show the existence of a solution to problem (15).
(i)
Assume that f is bounded on R + . From the definition of γ 1 and the continuity of f, it follows that there exists r > 0 such that | | H 1 ( u ) | | < r for all u P , and H 1 ( P r ) P r . Then, by Theorem 4, there exists u P r such that H 1 ( u ) = u , and consequently, problem (15) has a non-negative solution u.
(ii)
Assume that f is unbounded on R + . Let δ ( 0 , λ 1 ψ 1 ( C * 1 ) ) be given. Here, C * is the constant in the proof of Lemma 3. Since f = 0 , there exists s 1 > 0 such that
f ( s ) δ φ ( s ) for all ( t , s ) [ 0 , 1 ] × [ s 1 , ) .
Since f is unbounded on R + and γ 1 ( t , s ) = s for ( t , s ) [ 0 , 1 ] × [ u 1 , ) , there exists s 2 > 0 such that s 2 > s 1 and
f ( γ 1 ( t , s ) ) f ( s 2 )   for   all   ( t , s ) [ 0 , 1 ] × [ 0 , s 2 ] .
Let u K s 2 be given. Then, by (16) and (17),
f ( γ 1 ( t , u ( ϱ ) ) ) f ( s 2 ) δ φ ( s 2 ) for all ϱ [ 0 , 1 ] .
Let σ denote a positive constant satisfying H 1 ( u ) = H 1 ( u ) ( σ ) . We restrict our attention to the case where σ > 1 2 , since the case where σ 1 2 can be treated analogously. Then, by the similar argument as in (10),
H 1 ( u ) ( 1 β ^ 2 ) 1 σ 1 φ 1 1 p ( s ) σ s λ h ( ϱ ) f ( γ 1 ( ϱ , u ( ϱ ) ) ) d ϱ d s .
From (3) and (18) and the choice of δ , it follows that
H 1 ( u ) β * 1 2 1 φ 1 p 0 1 1 2 s h ( ϱ ) d ϱ [ δ λ φ ( s 2 ) ] d s C * φ 1 ( ϵ λ φ ( s 2 ) ) C * ψ 1 1 ( δ λ ) s 2 < s 2 .
By Theorem 4, there exists u P s 2 such that H 1 ( u ) = u , and consequently, problem (15) has a non-negative solution u.
Finally, we prove that if u is a non-egative solution to problem (15), then u ( t ) u 1 ( t ) for t [ 0 , 1 ] . If it is true, by the definition of γ 1 , we can conclude that problem (1) has a positive solution u for all λ [ λ 1 , ) , and thus, the proof is complete.
Assume, on the contrary, that there exists a solution u to problem (15) such that u ( t ) u 1 ( t ) for t [ 0 , 1 ] . Let x ( t ) = u 1 ( t ) u ( t ) for t [ 0 , 1 ] . We claim that x ( 0 ) 0 . If not, x ( 0 ) > 0 and there exists t * [ 0 , 1 ) such that x ( t * ) = max { x ( t ) : t [ 0 , 1 ] } > 0 . Then,
0 < x ( 0 ) = 0 1 x ( ξ ) d β 1 ( ξ ) x ( t * ) β ^ 1 < x ( t * )   and   x ( 1 ) = 0 1 x ( ξ ) d β 2 ( ξ ) < x ( t * ) ,
which imply that t * ( 0 , 1 ) and there exists t * [ 0 , t * ) such that
0 < x ( t * ) < x ( t ) x ( t * )   for   t ( t * , t * ]   and   x ( t * ) = 0 .
Since γ 1 ( t , u ( t ) ) = u 1 ( t ) for t [ t * , t * ] ,
( p ( t ) φ ( u ( t ) ) ) = λ h ( t ) f ( u 1 ( t ) ) λ 1 h ( t ) f ( u 1 ( t ) ) = ( p ( t ) φ ( u 1 ( t ) ) )   for   t [ t * , t * ] .
For t ( t * , t * ) , integrating (19) from t to t * , p ( t ) φ ( u ( t ) ) p ( t ) φ ( u 1 ( t ) ) . Since p ( t ) > 0 for all t [ 0 , 1 ] and φ is increasing on R ,
u ( t ) u 1 ( t ) for t ( t * , t * ) .
Integrating (20) from t * to t * , x ( t * ) = u 1 ( t * ) u ( t * ) u 1 ( t * ) u ( t * ) = x ( t * ) , which contradicts the choice of t * and t * . Consequently, x ( 0 ) 0 . Similarly, we can show that x ( 1 ) 0 .
Since x ( 0 ) = u 1 ( 0 ) u ( 0 ) 0 , x ( 1 ) = u 1 ( 1 ) u ( 0 ) 0 and x ( t ) = u 1 ( t ) u ( t ) 0 for t [ 0 , 1 ] , there exists a subinterval ( t 1 , t 2 ) ( 0 , 1 ) such that x ( t ) = u 1 ( t ) u ( t ) > 0 for t ( t 1 , t 2 ) and u 1 ( t 1 ) u ( t 1 ) = u 1 ( t 2 ) u ( t 2 ) = 0 . From the fact u 1 u C [ 0 , 1 ] , it follows that there exists t ¯ ( t 1 , t 2 ) such that u 1 ( t ¯ ) u ( t ¯ ) = max { u 1 ( t ) u ( t ) : t [ t 1 , t 2 ] } > 0 and u 1 ( t ¯ ) = u ( t ¯ ) . For t ( t 1 , t 2 ) ,
( p ( t ) φ ( u ( t ) ) ) = λ h ( t ) f ( γ 1 ( t , u ( t ) ) ) = λ h ( t ) f ( u 1 ( t ) ) λ 1 h ( t ) f ( u 1 ( t ) ) = ( p ( t ) φ ( u 1 ( t ) ) ) ,
i.e.,
( p ( t ) φ ( u ( t ) ) ) ( p ( t ) φ ( u 1 ( t ) ) )   for   t ( t 1 , t 2 ) .
For t ( t 1 , t ¯ ) , integrating (21) from t to t ¯ , p ( t ) φ ( u ( t ) ) p ( t ) φ ( u 1 ( t ) ) . Since p ( t ) > 0 for all t [ 0 , 1 ] and φ is increasing on R ,
u ( t ) u 1 ( t )   for   t ( t 1 , t ¯ ) .
Integrating (22) from t 1 to t ¯ , u 1 ( t ¯ ) u ( t ¯ ) 0 , which contradicts the choice of t ¯ . Thus, the proof is complete. □
Lemma 6. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f 0 = f = hold. Let J = [ a , b ] be a compact interval with 0 < a < b . Then, there exist positive constants c J and C J such that c J u C J for any positive solution u to problem (1) with λ J .
Proof. 
Let C * ( ψ 2 ( B 1 ) , ) be given. Here,
B = min γ h 1 ψ 2 1 a p 1 γ h 1 γ h * h ( ϱ ) d ϱ , ( 1 γ h 2 ) ψ 2 1 a p 1 γ h * γ h 2 h ( ϱ ) d ϱ .
Recall γ h * = 2 1 ( γ h 1 + γ h 2 ) > 0 and note that B > 0 by (4).
First, we show the existence of c J satisfying u c J > 0 for any positive solution u to problem (1) with λ J . By contradiction, we assume that there exists a sequence { ( λ n , u n ) } such that u n is a positive solution to problem (1) with λ = λ n J and u n 0 as n . Since f 0 = , there exists s 0 > 0 such that f ( s ) C * φ ( s ) for s [ 0 , s 0 ] . Since u n 0 as n , there exists n > 0 such that u n < s 0 and
f ( u n ( t ) ) C * φ ( u n ( t ) ) for all t [ 0 , 1 ] .
We restrict our attention to the case where σ n < γ h * because the case where σ n γ h * can be treated analogously. Since u n ( t ) u n ( γ h 2 ) for t [ σ n , γ h 2 ] , by (23),
λ n h ( ϱ ) f ( u n ( ϱ ) ) a C * h ( ϱ ) φ ( u n ( γ h 2 ) )   for   all   ϱ [ σ n , γ h 2 ] .
By Lemma 1 (1), u n ( 1 ) = T ( λ n , u n ) ( 1 ) 0 , and thus, by (3) and (24) and the definition of C * ,
u n ( γ h 2 ) = u n ( 1 ) γ h 2 1 φ 1 1 p ( s ) s σ N λ n h ( ϱ ) f ( u n ( ϱ ) ) d ϱ d s γ h 2 1 φ 1 1 p ( s ) σ n s λ n h ( ϱ ) f ( u n ( ϱ ) ) d ϱ d s γ h 2 1 φ 1 a p 1 γ h * γ h 2 h ( ϱ ) d ϱ C * φ ( u n ( γ h 2 ) ) d s ( 1 γ h 2 ) ψ 2 1 a p 1 γ h * γ h 2 h ( ϱ ) d ϱ φ 1 C * φ ( u n ( γ h 2 ) ) B ψ 2 1 C * u n ( γ h 2 ) > u n ( γ h 2 ) ,
which is a contradiction. Thus, there exists c J > 0 such that u c J > 0 for any positive solution u to problem (1) with λ J .
Next, we show the existence of C J satisfying u C J for any positive solution u to problem (1) with λ J . By contradiction, we assume that there exists a sequence { ( λ n , u n ) } such that u n is a positive solution to problem (1) with λ = λ n J and | | u n | | as n .
By f = , there exists L > 0 such that f ( s ) C * φ ( s ) for s > L . For all n , u n P , and u n ( t ) p h u n   for   t [ γ h 1 , γ h 2 ] . For sufficiently large n > 0 , u n > p h 1 L and u n ( t ) L for t [ γ h 1 , γ h 2 ] . Thus,
f ( u n ( t ) ) C * φ ( u n ( t ) )   for   all   t [ γ h 1 , γ h 2 ] .
By the same reasoning as above, we can easily see that the choice of C * leads a contradiction. Thus, there exists C J > 0 such that u C J for any positive solution u to problem (1) with λ J .
Lemma 7. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f = f 0 = hold. Then, there exists λ ¯ > 0 such that problem (1) has no positive solutions for λ ( λ ¯ , ) .
Proof. 
Let λ be a positive constant satisfying that problem (1) has a positive solution u λ , and let σ be a constant satisfying u λ ( σ ) = u λ . Since f 0 = f = , there exists C > 0 such that f ( s ) > C φ ( s ) for s R + . We only consider the case σ γ h , since the case σ < γ h can be proved similarly. Since u λ ( t ) u λ ( γ h 1 ) for t [ γ h 1 , σ ] ,
f ( u λ ( ϱ ) ) > C φ ( u λ ( γ h 1 ) )   for   ϱ [ γ h 1 , γ ] .
Then, by (3),
u λ ( γ h 1 ) u λ ( 0 ) + 0 γ h 1 φ 1 1 p ( s ) s σ λ h ( ϱ ) f ( u λ ( ϱ ) ) d ϱ d s 0 γ h 1 φ 1 γ h 1 γ h h ( ϱ ) d ϱ p 1 λ C φ ( u λ ( γ h 1 ) ) d s γ 0 φ 1 ( h 0 p 1 λ C φ ( u λ ( γ h 1 ) ) ) γ 0 ψ 2 1 ( h 0 p 1 λ C ) u λ ( γ h 1 ) .
Here,
γ 0 : = min { γ h 1 , 1 γ h 2 } > 0   and   h 0 : = min γ h 1 γ h h ( ϱ ) d ϱ , γ h γ h 2 h ( ϱ ) d ϱ > 0 .
Consequently,
λ p ( h 0 C ) 1 ψ 2 ( γ 0 1 ) = : λ ¯ ,
and we can conclude that problem (1) has no positive solutions for λ ( λ ¯ , ) .
Lemma 8. 
Assume that ( K 1 ) , ( K 2 ) , h H ψ 1 { 0 } , and f 0 = hold. If (1) has a positive solution at λ = λ 2 , then (1) has at least one positive solution for all λ ( 0 , λ 2 ] .
Proof. 
Let u 2 be a positive solution to problem (1) with λ = λ 2 and let λ ( 0 , λ 2 ) be fixed. Consider the following modified problem
( p ( t ) φ ( u ( t ) ) ) + λ h ( t ) f ( γ 2 ( t , u ( t ) ) ) = 0 , t ( 0 , 1 ) , u ( 0 ) = 0 1 u ( ξ ) d β 1 ( ξ ) , u ( 1 ) = 0 1 u ( ξ ) d β 2 ( ξ ) ,
where γ 2 : [ 0 , 1 ] × R + R +  is a continuous function defined by, for ( t , s ) [ 0 , 1 ] × R + ,
γ 2 ( t , s ) = u 2 ( t ) , if   s > u 2 ( t ) , s , if   0 s u 2 ( t ) .
Define H 2 : P P by H 2 ( u ) = S ( G 2 ( u ) ) for u P , where G 2 ( u ) ( t ) = λ h ( t ) f ( γ 2 ( t , u ( t ) ) ) for u P and t ( 0 , 1 ) . Since G 2 ( u ) H ψ 1 for any u P , by Lemma 1, H 2 is well defined. It is easy to see that H 2 is completely continuous on P , and u is a solution to problem (25) if and only if u = H 2 u . By the definition of γ 2 , f ( γ 2 ( t , s ) ) max { f ( s ) : 0     s     u 2 } ( 0 , ) for all ( t , s ) [ 0 , 1 ] × R + and there exists s 1 > 0 such that | | H 2 ( v ) | | < s 1 for all v P , which implies
H 2 ( v ) v for v P s 1 .
Let u 2 * = min { u 2 ( t ) : t [ γ h 1 , γ h 2 ] } > 0 . For ( t , s ) [ γ h 1 , γ h 2 ] × [ 0 , u 2 * ] , γ 2 ( t , s ) = s , and
lim s 0 + min { f ( γ 2 ( t , s ) ) : t [ γ h 1 , γ h 2 ] } φ ( s ) = lim s 0 + f ( s ) φ ( s ) = f 0 = .
Let
Λ = p λ max ψ 2 p h γ h 1 γ h * ψ 2 1 s γ h * h ( ϱ ) d ϱ d s 1 , ψ 2 p h γ h * γ h 2 ψ 2 1 γ h * s h ( ϱ ) d ϱ d s 1
be fixed. Then, there exists s * ( 0 , u 2 * ) such that
f ( γ 2 ( t , s ) ) Λ φ ( s )   for   all   ( t , s ) [ γ h 1 , γ h 2 ] × ( 0 , s * ) .
Take s 2 ( 0 , min { s 1 , s * } ) , and let v P s 2 be given. Then 0 v ( t ) s 2 < s * and
f ( γ 2 ( t , v ( t ) ) ) Λ φ ( v ( t ) ) Λ φ ( p h v ) for all t [ γ h 1 , γ h 2 ] .
Let σ denote a positive real number such that H 2 ( v ) ( σ ) = H 2 ( v ) . We have two cases: either σ γ h * or σ < γ h * . We restrict our attention to the case where σ γ h * , since the case where σ < γ h * can be treated similarly. By (3) and (27), it follows from ( H 2 ( v ) ) ( 0 ) 0 that
H 2 ( v ) 0 σ φ 1 1 p ( s ) s σ λ h ( ϱ ) f ( γ 2 ( ϱ , v ( ϱ ) ) ) d ϱ d s γ h 1 γ h * φ 1 p 1 λ Λ φ ( p h v ) s γ h * h ( ϱ ) d ϱ d s γ h 1 γ h * ψ 2 1 s γ h h ( ϱ ) d ϱ d s φ 1 ( p 1 λ Λ φ ( p h v ) ) γ h 1 γ h * ψ 2 1 s γ h h ( ϱ ) d ϱ d s ψ 2 1 ( p 1 λ Λ ) p h v ,
which implies, by the choice of Λ ,
H 2 ( v ) v for v P s 2 .
By (26) and (28), in view of Theorem 3, problem (25) has a non-negative solution u P with s 2 u s 1 . By Lemma 1 ( 4 ) , u is a positive solution to problem (25).
By similar reasoning as that in the proof of Lemma 5, we can show that if u is a positive solution to problem (25), then u ( t ) u 2 ( t ) for t [ 0 , 1 ] . Thus, by the definition of γ 2 , we can conclude that problem (1) has a positive solution u for all λ ( 0 , λ 2 ] . □
For the sake of completeness, we provide a proof of Theorem 2, which follows similar arguments to those given for Theorem 2 in [18].
Proof of Theorem 2. 
(1) Let λ 1 * : = inf { ν : problem ( 1 ) has at least two positive solutions for λ > ν } and λ * 1 : = inf { λ : problem ( 1 ) has at least one positive solution }. By Theorem 1 ( 1 ) and Lemma 4, λ 1 * and λ * 1 are well defined and λ 1 * λ * 1 λ ̲ > 0 . From Lemma 5, it follows that problem (1) has two positive solutions for λ > λ 1 * , one positive solution for λ > λ * 1 , and no positive solutions for λ ( 0 , λ * 1 ) . To complete the proof, it is enough to show that problem (1) has a positive solution for λ = λ * 1 . By the definition of λ * 1 , there exists a sequence { ( λ n , u n ) } such that λ ̲ λ * 1 < λ n λ * 1 + n 1 and u n is a positive solution to problem (1) with λ = λ n . Then, λ n λ * 1 as n , and by Lemma 3, there exist positive constants c and C such that c     u n     C for all n . Since { u n } is bounded and T = T ( λ , u ) is compact, there exist a subsequence { T ( λ n k , u n k ) } of { T ( λ n , u n ) } and u * P such that T ( λ n k , u n k ) u * as n k . Since T ( λ n , u n ) = u n for all n, u n k u * as n k . In view of the continuity of T,
u * = lim n k u n k = lim n k T ( λ n k , u n k ) = T ( λ * , u * ) .
Because u n     c > 0 , for all n , u * 0 . Thus, by Lemma 1 ( 4 ) , (1) has a positive solution u * for λ = λ * 1 .
(2) Let λ * 2 : = sup { ν : problem   ( 1 ) has at least two positive solutions for λ ( 0 , ν ) } and λ 2 * : = sup { λ : problem   ( 1 ) has at least one positive solution }. By Theorem 1 ( 2 ) and Lemma 7, λ 2 * and λ * 2 are well defined and λ * λ * λ ¯ > 0 . From Lemma 8, it follows that problem (1) has two positive solutions for λ ( 0 , λ * 2 ) , one positive solution for λ ( 0 , λ 2 * ) , and no positive solutions for λ > λ 2 * . To complete the proof, it is enough to show that problem (1) has a positive solution for λ = λ 2 * . By the same reasoning as that in the proof of Theorem 2 (1), we can prove it, and thus, the proof is complete. □
We conclude this section by presenting examples to illustrate Theorem 2.
Example 1. 
Consider the following problem
1 1 + t 4 φ ( u ( t ) ) + λ h ( t ) f ( u ( t ) ) = 0 ,   t ( 0 , 1 ) , u ( 0 ) = 0 1 u ( ξ ) d β 1 ( ξ ) , u ( 1 ) = 0 1 u ( ξ ) d β 2 ( ξ ) ,
where  φ : R R  is an odd increasing homeomorphism defined by
φ ( s ) = s + s 2   for   s R + ,
h : ( 0 , 1 ) R +  is a continuous function defined by
h ( t ) = 0   for   t [ 0 , 1 8 ]   and   h ( t ) = ( t 1 8 ) ( 1 t ) α   for   t ( 1 8 , 1 ) ,
and
β 1 ( r ) = β 2 ( r ) = 1 3 r 2   for   r [ 0 , 1 ] .
It is evident that  β ^ 1  and  β ^ 2  are both equal to  1 3 , which lies within the interval  [ 0 , 1 ) , and thus, the assumption  ( K 2 )  holds. Moreover, by defining functions
ψ 1 ( y ) = min { y , y 2 } and ψ 2 ( y ) = max { y , y 2 }   for   y R + ,
we can verify that the assumption ( K 1 ) is also met (see, e.g., [1]). Since the inverse function ψ 1 , denoted by ψ 1 1 , is given by ψ 1 1 ( s ) = max { s , s }  for  s R + , it follows that h H ψ 1 L 1 ( 0 , 1 ) for any α [ 1 , 2 ) .
Let f 1 and f 2 be continuous functions on R + defined by
f 1 ( s ) = s c 1 for s R +   and   f 2 ( s ) = s c 2 , for s [ 0 , 1 ] , s c 3 , for   s ( 1 , ) .
Here,  c 1 ( 1 , 2 ) , c 2 ( 0 , 1 ) and  c 3 ( 2 , )  are fixed constants. Then,
( f 1 ) 0 = ( f 1 ) = 0   and   ( f 2 ) 0 = ( f 2 ) = .
As a consequence of Theorem 2, we can conclude that there exist positive constants λ 1 * λ * 1 > 0 and λ 2 * λ * 2 > 0 such that problem (29) with f = f 1 has two positive solutions for λ > λ 1 * , one positive solution for λ [ λ * 1 , λ 1 * ] , and no positive solutions for λ ( 0 , λ * 1 ) , and problem (29) with f = f 2 has two positive solutions for λ ( 0 , λ * 2 ) , one positive solution for λ [ λ * 2 , λ 2 * ] , and no positive solutions for λ > λ 2 * .

4. Conclusions

This study delved into the existence, nonexistence, and multiplicity of positive solutions to problem (1) across all positive values of the parameter λ . Our analysis hinges on the application of two pivotal fixed-point theorems: the cone expansion and compression of the norm type theorem, and the Leray–Schauder fixed-point theorem.
Despite our progress in understanding problem (1), there are still open questions that warrant further exploration. Specifically, it is still unknown whether λ 1 * = λ * 1 or λ * 2 = λ 2 * in Theorem 2. Exploring the behavior of solutions near the bifurcation points may provide deeper insights into the qualitative properties of the problem. While this work has established the foundation, a more comprehensive analysis of the bifurcation points is necessary to fully understand the existence of positive solutions and will be the focus of future studies.

Author Contributions

Formal analysis, J.J. and C.-G.K.; Writing—original draft, J.J. and C.-G.K.; Writing—review and editing, C.-G.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Jeong, J.; Kim, C.G. Existence of Positive Solutions to Singular Boundary Value Problems Involving φ-Laplacian. Mathematics 2019, 7, 654. [Google Scholar] [CrossRef]
  2. Picone, M. Su un problema al contorno nelle equazioni differenziali lineari ordinarie del secondo ordine. Ann. Della Sc. Norm. Super.-Pisa-Sci. Fis. Mat. 1908, 10, 1–95. [Google Scholar]
  3. Infante, G.; Pietramala, P. A cantilever equation with nonlinear boundary conditions. Electron. J. Qual. Theory Differ. Equ. 2009, 1–14. [Google Scholar] [CrossRef]
  4. Cabada, A.; Infante, G.; Tojo, F.A.F. Nonzero solutions of perturbed Hammerstein integral equations with deviated arguments and applications. Topol. Methods Nonlinear Anal. 2016, 47, 265–287. [Google Scholar] [CrossRef]
  5. Moshinsky, M. Sobre los problemas de condiciones a la frontiera en una dimension de caracteristicas discontinuas. Bol. Soc. Mat. Mex. 1950, 7, 10–25. [Google Scholar]
  6. Timoshenko, S. Theory of Elastic Stability; McGraw-Hill: New York, NY, USA, 1961. [Google Scholar]
  7. Ntouyas, S. Nonlocal initial and boundary value problems: A survey. In Handbook of Differential Equations: Ordinary Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 2, pp. 461–557. [Google Scholar]
  8. Ma, R. A survey on nonlocal boundary value problems. Appl. Math. E-Notes 2007, 7, 257–279. [Google Scholar]
  9. Bachouche, K.; Djebali, S.; Moussaoui, T. ϕ-Laplacian BVPS with linear bounded operator conditions. Arch. Math. 2012, 48, 121–137. [Google Scholar] [CrossRef]
  10. Goodrich, C.S. Perturbed integral operator equations of Volterra type with applications to p-Laplacian equations. Mediterr. J. Math. 2018, 15, 47. [Google Scholar] [CrossRef]
  11. Kim, C.G. Existence and Multiplicity Results for Nonlocal Boundary Value Problems with Strong Singularity. Mathematics 2020, 8, 680. [Google Scholar] [CrossRef]
  12. Tariboon, J.; Samadi, A.; Ntouyas, S.K. Nonlocal Boundary Value Problems for Hilfer Generalized Proportional Fractional Differential Equations. Fractal Fract. 2022, 6, 154. [Google Scholar] [CrossRef]
  13. Li, C. Uniqueness of a nonlinear integro-differential equation with nonlocal boundary condition and variable coefficients. Bound. Value Probl. 2023, 2023, 26. [Google Scholar] [CrossRef] [PubMed]
  14. Agarwal, R.P.; Lü, H.; O’Regan, D. Eigenvalues and the one-dimensional p-Laplacian. J. Math. Anal. Appl. 2002, 266, 383–400. [Google Scholar] [CrossRef]
  15. Wang, H. On the structure of positive radial solutions for quasilinear equations in annular domains. Adv. Differ. Equ. 2003, 8, 111–128. [Google Scholar] [CrossRef]
  16. Lee, Y.H.; Xu, X. Existence and multiplicity results for generalized Laplacian problems with a parameter. Bull. Malays. Math. Sci. Soc. 2020, 43, 403–424. [Google Scholar] [CrossRef]
  17. Kim, C.G. Multiplicity of Positive Solutions to Nonlocal Boundary Value Problems with Strong Singularity. Axioms 2021, 11, 7. [Google Scholar] [CrossRef]
  18. Jeong, J.; Kim, C.G. Existence, Nonexistence and Multiplicity of Positive Solutions for Generalized Laplacian Problems with a Parameter. Mathematics 2024, 12, 3668. [Google Scholar] [CrossRef]
  19. Jeong, J.; Kim, C.G. Existence of Positive Solutions to Singular φ-Laplacian Nonlocal Boundary Value Problems when φ is a Sup-multiplicative-like Function. Mathematics 2020, 8, 420. [Google Scholar] [CrossRef]
  20. Guo, D.J.; Lakshmikantham, V. Nonlinear Problems in Abstract Cones; Academic Press, Inc.: Boston, MA, USA, 1988. [Google Scholar]
  21. Deimling, K. Nonlinear Functional Analysis; Springer: Berlin/Heidelberg, Germany, 1985. [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.

Share and Cite

MDPI and ACS Style

Jeong, J.; Kim, C.-G. Existence, Nonexistence, and Multiplicity of Positive Solutions for Nonlocal Boundary Value Problems. Mathematics 2025, 13, 847. https://doi.org/10.3390/math13050847

AMA Style

Jeong J, Kim C-G. Existence, Nonexistence, and Multiplicity of Positive Solutions for Nonlocal Boundary Value Problems. Mathematics. 2025; 13(5):847. https://doi.org/10.3390/math13050847

Chicago/Turabian Style

Jeong, Jeongmi, and Chan-Gyun Kim. 2025. "Existence, Nonexistence, and Multiplicity of Positive Solutions for Nonlocal Boundary Value Problems" Mathematics 13, no. 5: 847. https://doi.org/10.3390/math13050847

APA Style

Jeong, J., & Kim, C.-G. (2025). Existence, Nonexistence, and Multiplicity of Positive Solutions for Nonlocal Boundary Value Problems. Mathematics, 13(5), 847. https://doi.org/10.3390/math13050847

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