Next Article in Journal
Dynamics and Simulations of Impulsive Population Models Involving Integrated Mosquito Control Strategies and Fractional Derivatives for Dengue Control
Next Article in Special Issue
Asymptotic Periodicity of Bounded Mild Solutions for Evolution Equations with Non-Densely Defined and Fractional Derivative
Previous Article in Journal
A Novel Decentralized–Decoupled Fractional-Order Control Strategy for Complete Anesthesia–Hemodynamic Stabilization in Patients Undergoing Surgical Procedures
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Existence and Uniqueness of Solutions to Non-Local Problems of Brézis–Oswald Type and Its Application

Department of Mathematics Education, Sangmyung University, Seoul 03016, Republic of Korea
Fractal Fract. 2024, 8(11), 622; https://doi.org/10.3390/fractalfract8110622
Submission received: 30 September 2024 / Revised: 17 October 2024 / Accepted: 22 October 2024 / Published: 24 October 2024

Abstract

The aim of this paper is to establish the existence and uniqueness of solutions to non-local problems involving a discontinuous Kirchhoff-type function via a global minimum principle of Ricceri. More precisely, we first obtain the uniqueness result of weak solutions to nonlinear fractional Laplacian problems of Brézis–Oswald type. We then demonstrate the existence of a unique positive solution to Kirchhoff-type problems driven by the non-local fractional Laplacian as its application. The main features of the present paper are the lack of the continuity of the Kirchhoff function in [ 0 , ) and the localization of a positive solution.

1. Introduction

In past decades, a great deal of attention was dedicated to the study of fractional Sobolev spaces and the corresponding non-local equations because of the relevance of applied or pure mathematical theories that are used to describe certain specific phenomena, such as fractional quantum mechanics, frame propagation, optimization, anomalous diffusion in plasma, the thin obstacle problem, game theory and Lévy processes, geophysical fluid dynamics, image processing and American options in finances; see [1,2,3,4,5] for comprehensive studies and details on this topic.
The present paper is dedicated to obtaining the existence, uniqueness and localization of solutions to a Kirchhoff-type problem driven by the non-local fractional Laplacian, as follows:
m [ φ ] s , 2 2 L φ ( y ) = h ( y , φ ) in Ω , φ > 0 in Ω , φ = 0 on R N Ω , φ ] s , 2 2 J ,
where s ( 0 , 1 ) ; 2 s < N ; Ω R N is a bounded open set with Lipschitz boundary Ω ; J ( 0 , + ) is an open interval; [ φ ] s , 2 2 : = R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z ; m is a discontinuous Kirchhoff-type function and a and h are non-negative functions that will be specified later. Here, the non-local operator L is defined pointwise as
L φ ( y ) = 2 R N ( φ ( y + z ) + φ ( y z ) 2 φ ( y ) ) K ( y ) d z for all y R N ,
where a kernel function K : R N { 0 } ( 0 , + ) satisfies the following hypotheses:
( L 1 )
K L 1 ( R N ) , where ( y ) = min { 1 , | y | 2 } ;
( L 2 )
There is a real number η 0 > 0 such that K ( y ) η 0 | y | ( N + 2 s ) for almost all y R N { 0 } ;
( L 3 )
K ( y ) = K ( y ) for all y R N { 0 } .
If K ( x ) = | x | ( N + 2 s ) , L is the fractional Laplacian operator ( Δ ) s defined as
( Δ ) s φ ( y ) = R N φ ( y + z ) + φ ( y z ) 2 φ ( y ) | y z | N + 2 s d z , y R N .
In order to investigate an extension of the classical D’Alembert’s wave equation by taking into account changes in the length of the strings during vibrations, Kirchhoff in [6] originally suggested a stationary version of the equation:
ϱ 2 φ η 2 ϱ 0 + E 2 L 0 L φ y d y 2 φ y 2 = 0 ,
where ϱ , ϱ 0 , , E and L are constants. The variational problems of Kirchhoff type have interested and attracted researchers from diverse areas of physics and have consequently been extensively investigated in recent years, for instance, refs. [7,8,9,10,11,12,13,14,15,16] and the references therein. Fiscella and Valdinoci [9] first presented a detailed discussion about the physical meaning underlying the fractional Kirchhoff model. In particular, they establish the existence of nontrivial solutions to a non-local elliptic problem, with nondegenerate Kirchhoff coefficients, that is a c ontinuous and increasing function with the nondegenerate condition inf τ [ 0 , + ) m ( τ ) τ 0 > 0 , where τ 0 is a constant, by taking into account the mountain pass theorem and a truncation argument. See also [13] for critical stationary Kirchhoff equations. As we know, since the increasing condition eliminates the non-monotonic case, the existence of at least two different solutions to Schrödinger–Kirchhoff-type problems with fractional p-Laplacian was reported in [14], where the nondegenerate Kirchhoff function m is continuous and satisfies the following assumption:
(M1)
For 0 < s < 1 , there is ϑ [ 1 , N N s p ) such that ϑ M ( τ ) m ( τ ) τ for any τ 0 , where M ( τ ) : = 0 τ m ( σ ) d σ .
The condition (M1) includes the typical example m ( τ ) = 1 + a τ ϑ ( a 0 , τ 0 ) as well as the non-monotonic case. Under a stronger condition than (M1), Huang and Deng [10] obtained the existence of a positive ground state solution to a Kirchhoff-type problem with critical exponential growth. In this respect, the nonlinear elliptic Kirchhoff problems with (M1) have been intensively studied by many researchers in recent years and have received considerable attention; see [10,14,16,17,18]. In view of these related papers, the functional Φ : W K s , 2 ( Ω ) corresponding to the primitive part in (1) is defined by
Φ ( φ ) = 1 2 M R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z
for any φ W K s , 2 ( Ω ) , where W K s , 2 ( Ω ) is a solution space that will be defined later. Then, it follows from the fact that m C ( [ 0 , + ) ) , Φ C 1 ( W K s , 2 ( Ω ) , ) , and its Fréchet derivative is given by
Φ ( φ ) , ω = m [ φ ] s , 2 2 R N R N ( φ ( y ) φ ( z ) ) ( ω ( y ) ω ( z ) ) K ( y , z ) d y d z
for any φ , ω W K s , 2 ( Ω ) . In particular, conditions m C ( R 0 + ) and (M1) are essential in obtaining some topological properties of functionals Φ , Φ and the Palais–Smale-type compactness condition for an energy functional corresponding to (1), which plays an effective role in employing variational methods such as the mountain pass theorem, fountain theorem and Ekeland variational principle. However, the continuity of the nondegenerate Kirchhoff function m in [ 0 , ) removes many examples; for instance, let us consider the Kirchhoff functions
m ( τ ) = tan τ for 0 < τ < π 2
and
m ( τ ) = ( c τ ) s for τ ( , c ) , where c > 0 , s ( 0 , 1 ) .
These examples cannot be addressed by any of the results known up to now. Very recently, Ricceri [15] provided a new approach that is different from previous related studies [7,8,9,10,13,14,16] in order to obtain the existence and uniqueness of positive solutions to the Laplacian problem with discontinuous Kirchhoff coefficients. Motivated by this study, the author in [11] recently extended the result in [15] to the p-Laplacian problems; see also the paper [12] for double-phase problems. The main tools for obtaining these consequences in [11,12] are the abstract global minimum principle in [15] and the uniqueness result for the Brézis–Oswald-type problem based on [19]. In particular, the inequalities of Dìaz–Saa type in [20,21] are crucial in order to obtain the uniqueness of a positive solution to problems considered in the papers [11,12]. Applications of these inequalities require the consideration of the classical Hopf’s boundary lemma to show the fact that the quotient between solutions belongs to L -space. However, since solutions to fractional-order equations are usually singular at the boundary, the Hopf’s boundary lemma is not maintained, and thus, it is difficult to work with the quotient between solutions. Hence, in contrast to the papers [11,12], the main difficulty of the present paper is to obtain that the Brézis–Oswald-type problem involving the fractional Laplacian operator admits a unique positive weak solution. To obtain this uniqueness result as our first main result, we overcome this difficulty by considering the truncation of the solutions, which is based on the papers [22,23].
As its application, the second aim of the present paper is to demonstrate the existence and uniqueness of positive solutions to non-local problems with a discontinuous Kirchhoff-type function. To the best of our knowledge, the uniqueness result of weak solutions to nonlinear fractional Laplacian problems of Brézis–Oswald type with the Kirchhoff coefficient has not been comprehensively studied, and we only know about the paper [7] as an analogous result for this type of equation. Very recently, Biagi and Vecchi [7] established the uniqueness result to a Brézis–Oswald-type Laplacian problem with degenerate Kirchhoff functions when m : [ 0 , ) [ 0 , ) is a non-decreasing and continuous function, such that m ( τ ) > 0 for every τ > 0 . However, our approach for obtaining the second main result is different from that of paper [7] as well as previous studies [8,9,10,13,14,16] because we consider the lack of the continuity of the Kirchhoff function m in [ 0 , ) and the localization of the solution. This is the novelty of this paper.
The outline of the present paper is structured as follows. In Section 2, we introduce some necessary preliminary knowledge of function spaces to be used this paper. In Section 3, we give the variational framework related to problem (1), and then Section 4 presents a demonstration of the existence and uniqueness of positive solutions under proper conditions.

2. Preliminaries

In this section, we briefly introduce some useful definitions and elementary properties of the fractional Sobolev spaces that will be utilized in this paper. Let s ( 0 , 1 ) and let 2 s * be the fractional critical Sobolev exponent, namely,
2 s * : = 2 N N 2 s if 2 s < N , + if 2 s N .
Let Ω R N be an open and bounded set with Lipschitz boundary. Let us define the fractional Sobolev space H s ( Ω ) as follows:
H s ( Ω ) : = φ L 2 ( Ω ) : R N R N | φ ( y ) φ ( z ) | 2 | y z | N + 2 s d y d z < + ,
which is endowed with the Gagliardo norm
φ H s ( Ω ) : = φ L 2 ( Ω ) 2 + | φ | H s ( R N ) 2 1 2 ,
where
| φ | H s ( R N ) 2 : = R N R N | φ ( y ) φ ( z ) | 2 | y z | N + 2 s d y d z .
Then, H s ( Ω ) is a Hilbert space with the following inner product:
φ , ψ H s ( Ω ) = R N R N ( φ ( y ) φ ( z ) ) ( ψ ( y ) ψ ( z ) ) | y z | N + 2 s d y d z + Ω φ ( y ) ψ ( y ) d y .
Also, the space C 0 ( R N ) is dense in H s ( Ω ) ; for example, see [4,24]. The following consequence can be found in [4].
Lemma 1.
Let s ( 0 , 1 ) . Then, the continuous embedding H s ( Ω ) L q ( Ω ) holds for any q [ 1 , 2 s * ] if 2 s < N . In addition, for any q [ 1 , 2 s * ) , the space H s ( Ω ) is compactly embedded in L q ( Ω ) .
Let us define the fractional Sobolev space W K s , 2 ( Ω ) as follows:
W K s , 2 ( Ω ) : = φ L 2 ( Ω ) : R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z < + ,
where a kernel function K : R N { 0 } ( 0 , + ) satisfies ( L 1)–( L 3). By the assumption ( L 1), the function
( y , z ) ( φ ( y ) φ ( z ) ) K 1 2 ( y z ) L 2 ( R N )
for all φ C 0 ( R N ) . Define the closed linear subspace X of W K s , 2 ( Ω ) defined by
X : = φ W K s , 2 ( Ω ) : φ ( y ) = 0 a . e . in R N Ω
with respect to the norm
φ X 2 : = φ L 2 ( Ω ) 2 + [ φ ] s , 2 2 ,
where
[ φ ] s , 2 2 : = R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z .
In what follows, let s ( 0 , 1 ) with 2 s < N and let the kernel function K : R N { 0 } ( 0 , ) ensure the assumptions ( L 1)–( L 3). The following assertion comes from the papers [5,16].
Lemma 2.
If φ X , then φ H s ( Ω ) . Moreover,
φ H s ( Ω ) max { 1 , η 0 1 p } φ X ,
where η 0 is given in( L 2).
By virtue of Lemmas 1 and 2, we can instantly obtain the following assertion:
Lemma 3.
For any φ X , there is a constant C 0 = C 0 ( N , 2 , s ) > 0 such that for 1 q 2 s * ,
φ L q ( Ω ) 2 C 0 R N R N | φ ( y ) φ ( z ) | 2 | y z | N + 2 s d y d z C 0 η 0 R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z ,
where η 0 is given in( L 2). Accordingly, for any q [ 1 , 2 s * ] , the space X is continuously embedded in L q ( Ω ) . Furthermore, the embedding
X L q ( Ω )
is compact for q ( 1 , 2 s * ) .

3. Variational Setting and a Brezis–Oswald-Type Result

In this section, we demonstrate the existence and the uniqueness of a positive solution to the Brézis–Oswald-type problem:
L φ ( y ) = λ h ( y , φ ) in Ω , φ > 0 in Ω , φ = 0 on R N Ω .
To perform this, we introduce the variational setting corresponding to the problem (2). Subsequently, we present some basic topological properties for an energy functional.
Definition 1.
We say that φ X is a weak solution of (2) if
R N R N ( φ ( y ) φ ( z ) ) ( ω ( y ) ω ( z ) ) K ( y z ) d y d z = λ Ω h ( y , φ ) ω d y
for any ω X .
Let us define the functional Φ : X R by
Φ ( φ ) : = 1 2 R N R N | φ ( y ) φ ( z ) | 2 K ( y , z ) d y .
Then, it is not difficult to prove that the functional Φ : X R belongs to C 1 ( X , R ) and its Fréchet derivative is
Φ ( φ ) , ω = R N R N ( φ ( y ) φ ( z ) ) ( ω ( y ) ω ( z ) ) K ( y , z ) d y d z
for any φ , ω X , where · , · denotes the pairing of X and its dual X * ; see [14].
Lemma 4.
Let s ( 0 , 1 ) and 2 s < N . Then, the functional Φ is convex and has a weak lower semicontinuity on X.
Proof. 
It is obvious that Φ is convex. Let { u n } be a sequence in X such that u n u in X. Since the functional Φ is convex and C 1 -functional on X, it follows that
Φ ( u n ) Φ ( u n ) , u n u + Φ ( u ) .
Then, the following is immediately determined:
lim inf n Φ ( u n ) Φ ( u ) + lim inf n Φ ( u n ) , u n u Φ ( u ) .
Therefore, the conclusion holds. □
Next, we now fix the standing conditions on the reaction term h:
(H1)
h : Ω × R R is a Carathéodory function;
(H2)
h ( · , ξ ) L ( Ω ) for every ξ 0 , and there exists c 1 > 0 such that
| h ( y , ξ ) | c 1 ( 1 + ξ )
for almost all y Ω and for any ξ 0 ;
(H3)
lim ξ 0 + h ( y , ξ ) ξ = + and lim ξ + h ( y , ξ ) ξ = 0 ;
(H4)
The function ξ h ( y , ξ ) ξ is decreasing in ( 0 , + ) .
Under condition (H1), let us define the functional Ψ : X R by
Ψ ( φ ) : = Ω H ( y , φ ( y ) ) d y
for any φ X , where H ( y , ξ ) = 0 ξ h ( y , t ) d t . Then, it is straightforward to prove that Ψ C 1 ( X , R ) , and its Fréchet derivative is
Ψ ( φ ) , w = Ω h ( y , φ ) w d y
for any φ , w X . Next, we define the functional E : X R by
E ( φ ) = Φ ( φ ) λ Ψ ( φ ) .
Then, it follows that the functional E belongs to C 1 ( X , R ) and its Fréchet derivative is
E ( φ ) , w = Φ ( φ ) , w λ Ψ ( φ ) , w for any φ , w X .
Evidently, the weak solutions of the problem (2) are exactly the critical points of the functional E .
We show a technical Lemma which will be very practical hereinafter. For any φ i X and ε > 0 , define the truncation
φ i , ε : = min { φ i , ε 1 } for i = 1 , 2 .
Lemma 5.
Let φ 1 , φ 2 X with φ 1 , φ 2 0 and set
w : = φ 2 , ε 2 φ 1 + ε φ 1 , ε ,
where φ 1 , ε , φ 2 , ε are as in (4). Then, we have w X .
Proof. 
Let ε > 0 be fixed. Since the function t min { | t | , ε 1 } is 1-Lipschitz, we infer that
| φ i , ε ( y ) φ i , ε ( z ) | | φ i ( y ) φ i ( z ) | for i = 1 , 2 ,
which directly implies that φ i , ε X . Since ε φ 1 , ε + ε and φ 2 , ε 1 ε , taking (5) and the triangle inequality into account, we have
| φ 2 , ε 2 ( y ) φ 1 ( y ) + ε φ 2 , ε 2 ( z ) φ 1 ( z ) + ε | = | φ 2 , ε 2 ( y ) φ 2 , ε 2 ( z ) φ 1 ( y ) + ε + φ 2 , ε 2 ( z ) 1 φ 1 ( y ) + ε 1 φ 1 ( z ) + ε | 2 ε 2 | φ 2 , ε ( y ) φ 2 , ε ( z ) | + 1 ε 2 | φ 1 ( z ) φ 1 ( y ) ( φ 1 ( y ) + ε ) ( φ 1 ( z ) + ε ) | 2 ε 2 | φ 2 ( y ) φ 2 ( z ) | + 1 ε 4 | φ 1 ( y ) φ 1 ( z ) | .
Hence, the Gagliardo seminorm of w is finite. In addition, we know
φ 2 , ε 2 ( φ 1 + ε ) φ 2 ε 2 ,
and so,
Ω | w | 2 d y 2 Ω | φ 2 , ε 2 φ 1 + ε | 2 d y + Ω | φ 1 , ε | 2 d y C ( ε ) ( φ 2 L 2 ( Ω ) + φ 1 L 2 ( Ω ) ) < + ,
where C ( ε ) is a positive constant. Consequently, this implies that w X . □
With the aid of Lemmas 4 and 5, we obtain the existence of at least one positive solution to problem (2).
Lemma 6.
If (H1)–(H3) hold, then problem (2) admits a positive solution for any λ > 0 .
Proof. 
Moreover, due to the subcritical growth of h, the functional Ψ is sequentially weakly continuous. In view of Lemma 4, we infer that the functional Φ λ Ψ is sequentially weakly lower semicontinuous on X. Let us choose
ϵ 0 , C 0 + η 0 4 λ C 0 ,
where η 0 and C 0 are given in Lemma 3. Since lim ξ + H ( y , ξ ) ξ 2 = 0 , there is C ( ϵ ) > 0 such that
H ( y , ξ ) ϵ | ξ | 2 + C ( ϵ )
for any ξ R . Thus, we have
Ψ ( u ) ϵ Ω | φ ( y ) | 2 d y + C ( ϵ ) | Ω | ,
where | · | denotes the Lebesgue measure on R N . From this and Lemma 3, we deduce that for any φ X ,
Φ ( φ ) λ Ψ ( φ ) 1 2 R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z ϵ λ Ω | φ ( x ) | 2 d x λ C ( ϵ ) | Ω | 1 4 + η 0 4 C 0 φ X 2 λ ϵ Ω | φ ( y ) | 2 d y λ C ( ϵ ) | Ω | C 0 + η 0 4 C 0 λ ϵ φ X 2 λ C ( ϵ ) | Ω | .
Hence, according to the choice of ϵ , we have
lim φ + ( Φ ( φ ) λ Ψ ( φ ) ) = + .
Let the modified energy functional E ˜ : X R be defined by
E ˜ ( φ ) : = 1 2 R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z λ R N H + ( y , φ ) d y , φ X ,
where
H + ( y , τ ) : = 0 τ h + ( y , ξ ) d ξ and h + ( y , τ ) : = h ( y , τ ) , τ 0 , 0 , τ < 0
for almost all y R N and all τ R . Then, it is clear from the above argument and Lemma 4 that the functional E ˜ is also coercive and sequentially weakly lower semicontinuous on X. This implies that there exists φ 0 X such that
E ˜ ( φ 0 ) = inf { E ˜ ( φ ) : φ X } .
First, we prove that it is possible to suppose that φ 0 0 . To this purpose, let us suppose that φ 0 is sign-changing. Owing to Lemma 5, one has φ 0 + X , and so, E ˜ ( φ 0 ) E ˜ ( φ 0 + ) , where φ 0 + : = max { φ 0 , 0 } . Since E ˜ ( φ ) = E ( φ ) when φ ( y ) 0 for almost all y Ω , we assert
E ˜ ( φ 0 + ) = E ( φ 0 + ) = 1 2 R N R N | φ 0 + ( y ) φ 0 + ( z ) | 2 K ( y , z ) d y d z λ Ω H ( y , φ 0 + ) d y 1 2 R N R N | φ 0 ( y ) φ 0 ( z ) | 2 K ( y , z ) d y d z λ Ω H ( y , φ 0 + ) d y = E ˜ ( φ 0 ) .
Therefore, φ 0 + is a non-negative solution to problem (2). Now, for simplicity, let us write φ 0 instead of φ 0 + . We claim that φ 0 > 0 . To perform this, it suffices to prove that E ˜ ( φ 0 ) < 0 . Now, in light of Proposition 9 in [25], fix any non-negative function ϕ X , with ϕ = 0 on Ω , such that
γ 1 Ω | ϕ ( y ) | 2 d y = R N R N | ϕ ( y ) ϕ ( z ) | 2 K ( y z ) d y d z ,
where γ 1 is a positive eigenvalue that can be characterized as
γ 1 = min { ϕ X : ϕ | | L 2 ( Ω ) = 1 } R N R N | ϕ ( y ) ϕ ( z ) | 2 K ( y z ) d y d z .
Let α 0 L ( Ω ) with α 0 > 0 and let κ 0 ( 0 , α 0 L ( Ω ) ) be fixed. Then, the set
Ω κ 0 : = { y Ω : α 0 ( y ) κ 0 }
has a positive measure. Furthermore, fix N > 0 so that
N > γ 1 Ω | ϕ ( y ) | 2 d y λ κ 0 Ω κ 0 | ϕ ( y ) | 2 d y .
From the second condition in (H3), there exists ξ 0 > 0 such that
H ( y , ξ ) ξ 2 α 0 ( y ) N 2
for all ξ ( 0 , ξ 0 ] . Then, for sufficiently small ε > 0 , one has
λ Ω H ( y , ε ϕ ) ε 2 d y λ N 2 Ω α 0 ( y ) | ϕ ( y ) | 2 d y λ N κ 0 2 Ω κ 0 | ϕ ( y ) | 2 d y > γ 1 2 Ω | ϕ ( y ) | 2 d y = 1 2 R N R N | ϕ ( y ) ϕ ( z ) | 2 K ( y z ) d y d z = 1 2 [ ϕ ] s , 2 2 .
Therefore, using (8), we conclude that
[ ϕ ] s , 2 2 2 λ R N H ( y , ε ϕ ) ε 2 < 0
for any ε > 0 that is small enough, which is E ( ε ϕ ) < 0 , and thus, the conclusion holds. □
We are ready to demonstrate our first main consequence. The basic idea of the following assertion comes from the papers [22,23].
Theorem 1.
If (H1)–(H4) hold, then problem (2) possesses a unique positive solution for any λ > 0 .
Proof. 
Let φ 1 , φ 2 be two positive weak solutions of (2). For any ε > 0 , we define the truncations φ i , ε as in (4). Let us define the functions
ω 1 , ε : = φ 2 , ε 2 φ 1 + ε φ 1 , ε
and
ω 2 , ε : = φ 1 , ε 2 φ 2 + ε φ 2 , ε .
By utilizing Lemma 5, we arrive to the conclusion that ω i , ε X for i = 1 , 2 . Considering the above weak Formulation (3) of φ i , by choosing ω = ω i , ε for i = 1 , 2 , we infer
R N R N ( φ 1 ( y ) φ 1 ( z ) ) ( ω 1 , ε ( y ) ω 1 , ε ( z ) ) K ( y z ) d y d z = λ Ω h ( y , φ 1 ) ω 1 , ε ( y ) d y
and
R N R N ( φ 2 ( y ) φ 2 ( z ) ) ( ω 2 , ε ( y ) ω 2 , ε ( z ) ) K ( y z ) d y d z = λ Ω h ( y , φ 2 ) ω 2 , ε ( y ) d y .
Adding the above two Equations (9) and (10), and using the fact that
φ i ( y ) φ i ( z ) = ( φ i + ε ) ( y ) ( φ i + ε ) ( z ) for i = 1 , 2 ,
we obtain
R N R N ( φ 1 + ε ) ( y ) ( φ 1 + ε ) ( z ) φ 2 , ε 2 ( y ) φ 1 ( y ) + ε φ 2 , ε 2 ( z ) φ 1 ( z ) + ε K ( y , z ) d y d z R N R N ( φ 1 ( y ) φ 1 ( z ) ) ( φ 1 , ε ( y ) φ 1 , ε ( z ) ) K ( y , z ) d y d z + R N R N ( φ 2 + ε ) ( y ) ( φ 2 + ε ) ( z ) φ 1 , ε 2 ( y ) φ 2 ( y ) + ε φ 1 , ε 2 ( z ) φ 2 ( z ) + ε K ( y , z ) d y d z R N R N ( φ 2 ( y ) φ 2 ( z ) ) ( φ 2 , ε ( y ) φ 2 , ε ( z ) ) K ( y , z ) d y d z = λ Ω h ( y , φ 1 ) φ 2 , ε 2 φ 1 + ε φ 1 , ε + h ( y , φ 2 ) φ 1 , ε 2 φ 2 + ε φ 2 , ε d y .
Now, applying the fact that t min { | t | , ε 1 } is 1-Lipschitz, we determine by (5) that
( φ 1 + ε ) ( y ) ( φ 1 + ε ) ( z ) φ 2 , ε 2 ( y ) φ 1 ( y ) + ε φ 2 , ε 2 ( z ) φ 1 ( z ) + ε | φ 2 ( y ) φ 2 ( z ) | 2
and
( φ 2 + ε ) ( y ) ( φ 2 + ε ) ( z ) φ 1 , ε 2 ( z ) φ 2 ( z ) + ε ( y ) φ 1 , ε 2 ( z ) φ 2 ( z ) + ε | φ 1 ( y ) φ 1 ( z ) | 2 .
Since φ i , ε φ i as ε 0 for i = 1 , 2 , by passing to the limit in (11) and by employing the Fatou Lemma in the first and third terms of (11) and the Dominated Convergence Theorem in all the other terms, we derive that
R N R N ( φ 1 ( y ) φ 1 ( z ) ) φ 2 2 ( y ) φ 1 ( y ) φ 2 2 ( z ) φ 1 ( z ) K ( y , z ) d y d z R N R N | φ 1 ( y ) φ 1 ( z ) | 2 K ( y , z ) d y d z + R N R N ( φ 2 ( y ) φ 2 ( z ) ) φ 1 2 ( y ) φ 2 ( y ) φ 1 2 ( z ) φ 2 ( z ) K ( y , z ) d y d z R N R N | φ 2 ( y ) φ 2 ( z ) | 2 K ( y , z ) d y d z λ Ω h ( y , φ 1 ) φ 2 2 φ 1 φ 1 + h ( y , φ 2 ) φ 1 2 φ 2 φ 2 d y = λ Ω h ( y , φ 1 ) φ 1 h ( y , φ 2 ) φ 2 ( φ 1 2 φ 2 2 ) d y .
From a simple computation, one has
( φ 1 ( y ) φ 1 ( z ) ) φ 2 2 ( y ) φ 1 ( y ) φ 2 2 ( z ) φ 1 ( z ) | φ 2 ( y ) φ 2 ( z ) | 2
and
φ 2 ( y ) φ 2 ( z ) φ 1 , ε 2 ( y ) φ 2 ( y ) φ 1 , ε 2 ( z ) φ 2 ( z ) | φ 1 ( y ) φ 1 ( z ) | 2 .
This, together with relation (12), yields
Ω h ( y , φ 1 ) φ 1 h ( y , φ 2 ) φ 2 ( φ 1 2 φ 2 2 ) d y 0 .
Hence, since the function ξ h ( y , ξ ) ξ is decreasing in ( 0 , + ) , we can conclude that φ 1 = φ 2 . Therefore, we ensure that problem (2) has a unique positive solution. □

4. Application

In this section, as an application of Theorem 1, we demonstrate the existence result of a unique nontrivial positive solution to a Kirchhoff-type problem driven by the non-local fractional Laplacian. To perform this, we present the abstract theorem provided by B. Ricceri [15].
Definition 2.
We say that φ X is a weak solution of problem (1) if
m [ φ ] s , 2 2 R N R N ( φ ( y ) φ ( z ) ) ( w ( y ) w ( z ) ) K ( y z ) d y d z = Ω h ( y , φ ) w d y
for any w X .
Definition 3.
Let E be a topological space. Then, a function g : E R is said to be inf-compact (resp. sup-compact) provided that, for each t R , the set g 1 ( ( , t ] ) (resp. g 1 ( [ t , + ) ) is compact.
The following abstract global minimum principle in [15] is crucial to obtain our main result.
Theorem 2.
Let E be a topological space, and let Φ 0 : E R , with Φ 0 1 ( 0 ) and Ψ : E R be two functions such that the function γ Φ 0 Ψ is a lower semicontinuous inf-compact and has a unique global minimum for each γ > 0 . In addition, suppose that Ψ has no global maxima in E. Moreover, let J ( 0 , + ) be an open interval and m : J R be an increasing function satisfying m ( J ) = ( 0 , + ) . Then, there is a unique v ˜ E such that Φ 0 ( v ˜ ) J and
m ( Φ 0 ( v ˜ ) ) Φ 0 ( v ˜ ) Ψ ( v ˜ ) = inf u E ( m ( Φ 0 ( v ˜ ) ) Φ 0 ( u ) Ψ ( u ) ) .
We are in position to obtain our second main result.
Theorem 3.
Suppose that there is an open interval J ( 0 , + ) such that the restriction of m to J is increasing and m ( J ) = ( 0 , + ) . Let h : Ω × [ 0 , + ) ( 0 , + ) be a function such that conditions (H1)–(H4) are satisfied and h ( y , 0 ) = 0 for almost all y Ω . Then, problem (1) admits a unique weak solution v ˜ , which is the unique global minimum in X of the functional
φ 1 2 m [ v ˜ ] s , 2 2 R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z Ω 0 φ + ( y ) h ( y , ξ ) d ξ d y ,
where φ + : = max { φ , 0 } .
Proof. 
To start with, extend h to R by putting h ( y , ξ ) = 0 for all ξ < 0 and for almost all y Ω . To apply Theorem 2, put E = X , Φ 0 : = 2 Φ and define Ψ by
Ψ ( φ ) : = 2 Ω H ( y , φ + ( y ) ) d y
for any φ X , where H ( y , ξ ) = 0 ξ h ( y , t ) d t . The functional Ψ is C 1 with derivatives, given by
Ψ ( φ ) , ω = 2 Ω h ( y , φ ( y ) ) ω ( y ) d y
for all φ , ω X . Fix γ > 0 . Then, let us choose
ϵ 0 , γ ( C 0 + η 0 ) 2 C 0 .
From (H3), there is C ( ϵ ) > 0 , such that
H ( y , ξ ) ϵ 2 | ξ | 2 + C ( ϵ ) 2
for any ξ R . Thus, we have
Ψ ( u ) ϵ Ω | φ ( y ) | 2 d y + C ( ϵ ) | Ω | .
From this and Lemma 3, one has
γ Φ 0 ( φ ) Ψ ( φ ) γ R N R N | φ ( y ) φ ( z ) | 2 K ( y z ) d y d z ϵ Ω | φ ( x ) | 2 d x C ( ϵ ) | Ω | γ 1 2 + η 0 2 C 0 φ X 2 ϵ Ω | φ ( y ) | 2 d y C ( ϵ ) | Ω | γ ( C 0 + η 0 ) 2 C 0 ϵ φ X 2 C ( ϵ ) | Ω | .
Hence, in accordance with the choice of ϵ , we obtain
lim φ + ( γ Φ 0 ( φ ) Ψ ( φ ) ) = +
for any φ X . This, together with the Eberlein–Smulyan theorem, and the reflexivity of X yield that the sequentially weakly lower semicontinuous functional γ Φ 0 Ψ is weakly inf-compact. Now, we claim that functional γ Φ 0 Ψ admits a unique global minimum in X. In fact, the critical points of γ Φ 0 Ψ are exactly the weak solutions of the problem
L φ ( y ) = 1 γ h ( y , φ ) in   Ω u = 0 on   Ω ,
where we say that φ X is a weak solution of (13) if
R N R N ( φ ( y ) φ ( z ) ) ( ω ( y ) ω ( z ) ) K ( y z ) d y d z = 1 γ Ω h ( y , φ ) ω d y
for any ω X . Let φ 1 , φ 2 X be two positive solutions of problem (13). Then, it follows from the same arguments as in Theorem 1 that φ 1 = φ 2 , and therefore, problem (13) admits a unique positive solution. Now, fix any non-negative function φ X with φ = 0 on Ω , such that
γ 1 Ω | φ ( y ) | p d y = R N R N | φ ( y ) φ ( z ) | p K ( y z ) d y d z ,
where γ 1 is given in (6). Let α 0 L ( Ω ) with α 0 > 0 and let κ 0 ( 0 , α 0 L ( Ω ) ) and N ¯ > 0 be fixed, so that
N ¯ > γ γ 1 Ω | φ ( y ) | 2 d y κ 0 Ω κ 0 | φ ( y ) | 2 d y ,
where Ω κ 0 is given in (7). From the second condition in (H3), there exists ξ 0 > 0 , such that
H ( y , ξ ) α 0 ( y ) N ¯ 2 ξ 2
for all ξ ( 0 , ξ 0 ] . Now, set v = μ φ , where μ = ξ 0 sup Ω ¯ φ ; one thus has
Ψ ( v ) = 2 Ω H ( y , v ) d y N ¯ Ω α 0 ( y ) | v ( y ) | 2 d y N ¯ κ 0 Ω κ 0 | v ( y ) | 2 d y > γ γ 1 Ω | v ( y ) | 2 d y = γ R N R N | v ( y ) v ( z ) | 2 K ( y z ) d y d z = γ Φ 0 ( v ) .
This implies that 0 is not a global minimum for γ Φ 0 Ψ . Accordingly, the global minimum of this functional is consistent with its only non-zero critical point.
Lastly, let us prove that Ψ has no global maxima. Suppose on the contrary that φ ^ X is a global maximum of Ψ . Clearly, Ψ ( φ ^ ) > 0 . As a consequence, the set
Ω + : = { y Ω : h ( y , φ ^ ( y ) ) > 0 }
has a positive measure. Let a closed set Λ Ω + of positive measure be fixed and let ω X be such that ω 0 and ω ( y ) = 1 for all y Λ . Then, we have
Ω h ( y , φ ^ ( y ) ) ω ( y ) d y Λ h ( y , φ ^ ( y ) ) d y > 0 ,
and so, Ψ ( φ ^ ) 0 , which is ridiculous.
Hence, each hypothesis of Theorem 2 is ensured. As a result, there is a unique v ˜ X , with [ v ˜ ] s , 2 2 J , such that
m [ v ˜ ] s , 2 2 R N R N | v ˜ ( y ) v ˜ ( z ) | p K ( y , z ) d y d z 2 Ω H ( y , v ˜ + ( y ) ) d y = inf φ X m [ v ˜ ] s , 2 2 R N R N | φ ( y ) φ ( z ) | 2 K ( y , z ) d y d z 2 Ω H ( y , φ + ( y ) ) d y
Eventually, as seen above, the function v ˜ is the unique positive weak solution for problem (1). □

5. Conclusions

This paper is dedicated to deriving the existence and uniqueness of positive solutions to the nonlinear elliptic equation of Kirchhoff type driven by the non-local fractional Laplacian by employing the abstract global minimum principle in [15] and the uniqueness result for the Brézis–Oswald-type problem based on [19]. From what we know, the uniqueness result of a positive weak solution to nonlinear fractional Laplacian problems of Brézis–Oswald type with a Kirchhoff coefficient has not been much studied, and to our knowledge, only the study of [7] is related to this type of problem. As mentioned in the introduction, our result is different from that of paper [7] because we deal with the lack of the continuity of the Kirchhoff function m in [ 0 , ) and the localization of the solution. However, our condition (H3) can be counted as a special case of that of [7,23] because the nonlinear term h satisfies the following assumptions:
a 0 ( y ) = lim ξ 0 + h ( y , ξ ) ξ and a ( y ) = lim ξ + h ( y , ξ ) ξ .
Let us define λ 1 L a 0 and λ 1 L a as
λ 1 L a 0 = inf φ X [ φ ] s , 2 2 Ω a 0 | φ ( y ) | 2 d y : φ L 2 ( Ω ) = 1
and
λ 1 L a 0 = inf φ X [ φ ] s , 2 2 Ω a | φ ( y ) | 2 d y : φ L 2 ( Ω ) = 1 .
If λ 1 L a 0 < 0 < λ 1 L a 0 instead of (H3) is satisfied, then it follows from analogous arguments as in [23] that problem (2) possesses a unique positive solution for any λ > 0 ; that is, Theorem 1 holds. Consequently, taking Theorem 2 into account, obvious modifications of the proof of Theorem 3 yield the same assertion concerning problem (1) when λ 1 L a 0 < 0 < λ 1 L a 0 instead of (H3) is assumed.
Moreover, a new research direction is to study the non-local fractional p-Laplacian equations with a discontinuous Kirchhoff coefficient, as follows:
m [ φ ] s , p p L p φ ( y ) = h ( y , φ ) in Ω , φ > 0 in Ω , φ = 0 on Ω , [ φ ] s , p p J ,
where p ( 1 , + ) with s p < N , [ φ ] s , p p : = R N R N | φ ( y ) φ ( z ) | p K ( y , z ) d y d z and L p is a non-local operator defined pointwise as
L p φ ( y ) = 2 R N | φ ( y ) φ ( z ) | p 2 ( φ ( y ) φ ( z ) ) K ( y , z ) d z for almost all y R N ,
where a kernel function K : R N × R N ( 0 , + ) has the following conditions:
( L p 1 )
K L 1 ( R N × R N ) , where ( y , z ) = min { 1 , | y z | p } ;
( L p 2 )
There are constants γ 0 > 0 and γ 1 > 0 with 1 < γ 1 , such that γ 1 K ( y , z ) | y z | N + s p γ 0 for almost all ( y , z ) R N × R N with y z .;
( L p 3 )
K ( z , y ) = K ( y , z ) for all ( y , z ) R N × R N .
As far as we know, there are no consequences for the existence, uniqueness and localization of positive solutions to problem (15).

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data are contained within the article.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Caffarelli, L. Non-local equations, drifts and games. Nonlinear Partial Differ. Equ. Abel Symp. 2012, 7, 37–52. [Google Scholar]
  2. Gilboa, G.; Osher, S. Nonlocal operators with applications to image processing. Multiscale Model. Simul. 2008, 7, 1005–1028. [Google Scholar] [CrossRef]
  3. Laskin, N. Fractional quantum mechanics and Levy path integrals. Phys. Lett. A 2000, 268, 298–305. [Google Scholar] [CrossRef]
  4. Nezza, E.D.; Palatucci, G.; Valdinoci, E. Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 2012, 136, 521–573. [Google Scholar] [CrossRef]
  5. Servadei, R.; Valdinoci, E. Mountain Pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 2012, 389, 887–898. [Google Scholar] [CrossRef]
  6. Kirchhoff, G.R. Vorlesungen über Mathematische Physik, Mechanik; B. G. Teubner: Leipzig, Germany, 1876. [Google Scholar]
  7. Biagi, S.; Vecchi, E. On a Brezis-Oswald-type result for degenerate Kirchhoff problems. Discrete Contin. Dyn. Syst. 2024, 44, 702–717. [Google Scholar] [CrossRef]
  8. Fiscella, A. Schrödinger-Kirchhoff-Hardy p-fractional equations without the Ambrosetti-Rabinowitz condition. Discrete Contin. Dyn. Syst. Ser. S 2020, 13, 1993–2007. [Google Scholar]
  9. Fiscella, A.; Valdinoci, E. A critical Kirchhoff type problem involving a nonlocal operator. Nonlinear Anal. 2014, 94, 156–170. [Google Scholar] [CrossRef]
  10. Huang, T.; Deng, S. Existence of ground state solutions for Kirchhoff type problem without the Ambrosetti–Rabinowitz condition. Appl. Math. Lett. 2021, 113, 106866. [Google Scholar] [CrossRef]
  11. Kim, Y.-H. Existence and uniqueness of solution to the p-Laplacian equations involving discontinuous Kirchhoff functions via a global minimum principle of Ricceri. Minimax Theory Appl. in press.
  12. Kim, Y.-H. Existence and uniqueness of a positive solution to double phase problems involving discontinuous Kirchhoff type function. Bull. Korean Math. Soc. submitted.
  13. Pucci, P.; Saldi, S. Critical stationary Kirchhoff equations in RN involving nonlocal operators. Rev. Mat. Iberoam. 2016, 32, 1–22. [Google Scholar] [CrossRef]
  14. Pucci, P.; Xiang, M.Q.; Zhang, B.L. Multiple solutions for nonhomogeneous Schrödinger-Kirchhoff type equations involving the fractional p-Laplacian in RN. Calc. Var. Partial Differ. Equ. 2015, 54, 2785–2806. [Google Scholar] [CrossRef]
  15. Ricceri, B. Existence, uniqueness, localization and minimization property of positive solutions for non-local problems involving discontinuous Kirchhoff functions. Adv. Nonlinear Anal. 2024, 13, 20230104. [Google Scholar] [CrossRef]
  16. Xiang, M.Q.; Zhang, B.L.; Ferrara, M. Existence of solutions for Kirchhoff type problem involving the non-local fractional p-Laplacian. J. Math. Anal. Appl. 2015, 424, 1021–1041. [Google Scholar] [CrossRef]
  17. Kim, I.H.; Kim, Y.-H. Infinitely many small energy solutions to nonlinear Kirchhoff-Schrödinger equations with the p-Laplacian. Bull. Malays. Math. Sci. Soc. 2024, 47, 99. [Google Scholar] [CrossRef]
  18. Kim, I.H.; Kim, Y.-H.; Park, K. Multiple solutions to a non-local problem of Schrödinger-Kirchhoff type in RN. Fractal Fract. 2023, 7, 627. [Google Scholar] [CrossRef]
  19. Brezis, H.; Oswald, L. Remarks on sublinear elliptic equations. Nonlinear Anal. 1986, 10, 55–64. [Google Scholar] [CrossRef]
  20. Díaz, J.I.; Saa, J.E. Existence et unicité de solutions positives pour certaines équations elliptiques quasilinéaires. Comptes Rendus Acad. Sc. Paris. Série I 1987, 305, 521–524. [Google Scholar]
  21. Faria, L.F.O.; Miyagaki, O.H.; Motreanu, D. Comparison and positive solutions for problems with the (p,q)-Laplacian and a convection term. Proc. Edinb. Math. Soc. 2014, 57, 687–698. [Google Scholar] [CrossRef]
  22. Brasco, L.; Squassina, M. Optimal solvability for a nonlocal at critical growth. J. Differ. Equations 2018, 264, 2242–2269. [Google Scholar] [CrossRef]
  23. Mugnai, D.; Pinamonti, A.; Vecchi, E. Towards a Brezis-Oswald-type result for fractional problems with Robin boundary conditions. Calc. Var. Partial Differ. Equations 2020, 59, 1–25. [Google Scholar] [CrossRef]
  24. Adams, R.A.; Fournier, J.J.F. Sobolev Spaces, 2nd ed.; Academic Press: New York, NY, USA; London, UK, 2003. [Google Scholar]
  25. Servadei, R.; Valdinoci, E. Variational methods for non-local operators of elliptic type. Discrete Contin. Dyn. Syst. 2013, 33, 2105–2137. [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

Kim, Y.-H. Existence and Uniqueness of Solutions to Non-Local Problems of Brézis–Oswald Type and Its Application. Fractal Fract. 2024, 8, 622. https://doi.org/10.3390/fractalfract8110622

AMA Style

Kim Y-H. Existence and Uniqueness of Solutions to Non-Local Problems of Brézis–Oswald Type and Its Application. Fractal and Fractional. 2024; 8(11):622. https://doi.org/10.3390/fractalfract8110622

Chicago/Turabian Style

Kim, Yun-Ho. 2024. "Existence and Uniqueness of Solutions to Non-Local Problems of Brézis–Oswald Type and Its Application" Fractal and Fractional 8, no. 11: 622. https://doi.org/10.3390/fractalfract8110622

APA Style

Kim, Y.-H. (2024). Existence and Uniqueness of Solutions to Non-Local Problems of Brézis–Oswald Type and Its Application. Fractal and Fractional, 8(11), 622. https://doi.org/10.3390/fractalfract8110622

Article Metrics

Back to TopTop