Next Article in Journal
Abstract Univariate Neural Network Approximation Using a q-Deformed and λ-Parametrized Hyperbolic Tangent Activation Function
Previous Article in Journal
Instantaneous and Non-Instantaneous Impulsive Boundary Value Problem Involving the Generalized ψ-Caputo Fractional Derivative
Previous Article in Special Issue
On Critical Fractional p&q-Laplacian Equations with Potential Vanishing at Infinity
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional r(·)-Laplacian in RN

Department of Mathematics Education, Sangmyung University, Seoul 110-743, Republic of Korea
Fractal Fract. 2023, 7(3), 207; https://doi.org/10.3390/fractalfract7030207
Submission received: 9 January 2023 / Revised: 3 February 2023 / Accepted: 9 February 2023 / Published: 21 February 2023
(This article belongs to the Special Issue Recent Advances in Fractional Laplacian Problems)

Abstract

:
This paper is concerned with the existence result of a sequence of infinitely many small energy solutions to the fractional r ( · ) -Laplacian equations of Kirchhoff–Schrödinger type with concave–convex nonlinearities when the convex term does not require the Ambrosetti–Rabinowitz condition. The aim of the present paper, under suitable assumptions on a nonlinear term, is to discuss the multiplicity result of non-trivial solutions by using the dual fountain theorem as the main tool.

1. Introduction

The investigation into problems of differential equations and variational problems with nonstandard growth conditions has gained a great deal of attention in recent decades because they can be developed in light of a pure or applied mathematical perspective to illustrate some concrete phenomena arising from elastic mechanics, electro-rheological fluid (“smart fluids”), plasticity theory, plasma physics, and image processing, etc. We refer the readers to [1,2,3,4,5] and references therein for more details.
On the other hand, recently, a great number of works have been devoted to the fractional nonlocal problem, because the appearance of non-local terms in equations is important for many physical applications as well as causing some difficulties and challenges from a mathematical perspective; see [6,7,8,9,10].
Very recently, many authors in [11,12,13,14,15,16,17,18,19,20,21,22,23,24] have studied non-local elliptic problems involving the fractional r ( · ) -Laplacian. Kaufmann et al. [22] has provided some properties on a class of fractional variable exponent Sobolev spaces that is associated with a fractional variable exponent operator. The authors in [14] gave further elementary properties, both on the functional corresponding to a nonlocal operator with variable exponent and its solution space. As applications, they presented that equations involving the fractional r ( · ) -Laplacian admits at least one nontrivial solution. Based on these recent works, Ho–Kim [20] provided further fundamental embedding results for the fractional variable exponent Sobolev space. Using these consequences, they obtained the L -bound of weak solutions to problems driven by the fractional r ( · ) -Laplacian and, in particular, derived the existence of a sequence of infinitely many weak solutions whose L -norms converge to zero. Additionally, they obtained the existence of many solutions for a class of critical non-local problems with variable exponents; see [21]. We refer the interested reader to [25,26] for the existence results of critical nonlocal equations with variable exponents. A remarkable recent work on fractional equations with variable exponents can be found in [15]. More precisely, for subcritical nonlinearity as well as the critical exponent, the existence and multiplicity of solutions and existence of ground-state solutions to the fractional double-phase Robin problem with logarithm-type nonlinearity have been obtained.
The present paper is devoted to a problem of Schrödinger-Kirchhoff type driven by the fractional r ( · ) -Laplacian
K [ ω ] s , r ( · , · ) L ω ( x ) + b ( x ) | ω | r ( x ) 2 ω = λ κ ( x ) | ω | q ( x ) 2 ω + g ( x , ω ) in R N ,
where
[ ω ] s , r ( · , · ) : = R N R N | ω ( x ) ω ( y ) | r ( x , y ) r ( x , y ) | x y | N + s r ( x , y ) d x d y ,
r C ( R N × R N ) satisfying 1 < inf ( x , y ) R N × R N r ( x , y ) sup ( x , y ) R N × R N r ( x , y ) < N s , r ( x , y ) = r ( y , x ) for all x , y R N , r ( x ) = r ( x , x ) for all x R N , q : R N ( 1 , ) is a continuous function with 1 < inf x R N q ( x ) sup x R N r ( x ) , b : R N ( 0 , ) is a continuous potential function, and g : R N × R R is a Carathéodory function with the subcritical and r ( · ) -superlinear nonlinearity, and K C ( ( 0 , ) ) is a function of Kirchhoff type which will be specified. Additionally, the operator L is defined by
L ω ( x ) = 2 lim ε 0 R N \ B ε ( x ) | ω ( x ) ω ( y ) | r ( x , y ) 2 ( ω ( x ) ω ( y ) ) | x y | N + s r ( x , y ) d y , x R N ,
where s ( 0 , 1 ) and B ε ( x ) : = { y R N : | y x | ε } . Let us set
C + ( R N ) = f C ( R N ) : inf x R N f ( x ) > 1 .
For any f C + ( R N ) , we define
f + = sup x R N f ( x ) and f = inf x R N f ( x ) .
Then, we suppose that the Kirchhoff function K : [ 0 , ) ( 0 , ) satisfies the following conditions:
(K1)
K C ( [ 0 , ) , ( 0 , ) ) satisfies inf t R 0 + K ( t ) τ 0 > 0 , where τ 0 is a constant.
(K2)
There exists ϑ [ 1 , N N s r + ) such that ϑ K ( t ) = ϑ 0 t K ( q ) d q K ( t ) t for any t 0 .
The Kirchhoff-type problem was initially introduced in [27] as a generalization of the classical D’Alembert’s wave equation for free vibrations of elastic strings. Elliptic problems of Kirchhoff type have a strong background in several applications in Physics and have been widely studied by many researchers in recent years; see [28,29,30,31,32].
The purpose of this paper is devoted to the existence result of a sequence of infinitely many small energy solutions to the fractional r ( · ) -Laplacian equations of Kirchhoff–Schrödinger type with concave–convex nonlinearities when the convex term g does not require the Ambrosetti–Rabinowitz condition as follows; namely, there exists a constant θ > 0 such that θ > ϑ r + and
0 < θ G ( x , t ) g ( x , t ) t for all ( x , t ) R N × R \ { 0 } , where G ( x , t ) = 0 t g ( x , s ) d s .
As we know, this condition is crucial in guaranteeing the boundedness of Palais–Smale sequences of the Euler–Lagrange functional corresponding to the problem (1). The key tool to obtain this multiplicity result is the dual fountain theorem. This result of multiple solutions to nonlinear elliptic problems is motivated by the contributions in recent works [23,30,33,34,35,36,37,38,39], and the references therein. In particular, Alves–Liu [33] obtained the existence and multiplicity results to the superlinear r ( x ) -Laplacian problems:
div ( | ω | r ( x ) 2 ω ) + b ( x ) | ω | r ( x ) 2 ω = g ( x , ω ) in R N .
Here, the potential function b C ( R N ) satisfies suitable conditions and the Carathéo- dory function g : R N × R R fulfills the following assumptions:
(f1)
G ( x , s ) = o ( | s | r ( x ) ) as s 0 uniformly for all x R N .
(f2)
lim | s | G ( x , s ) | s | r + = uniformly for almost all x R N .
(f3)
There exists a constant θ 1 such that
θ G ( x , s ) G ( x , t s )
for ( x , s ) R N × R and t [ 0 , 1 ] , where G ( x , s ) = g ( x , s ) s r + G ( x , s ) .
The condition (f3) was originally provided by the works of Jeanjean [40]. In the last few decades, there were extensive studies dealing with the r-Laplacian problem by assuming (f2); see [34,35], and see also [3,36] for the case of variable exponents r ( · ) . Recently, Lin–Tang [37] established the various theorems on the existence of solutions of r-Laplacian equations with mild conditions for the superlinear term g, which is deeply different from those investigated in [34,35,37,40]. Additionally, the authors in [38] established the existence results of infinitely many weak solutions to the r ( · ) -Laplacian-like equations under the following condition:
(f4)
There is a positive function C L 1 ( R N ) such that
s g ( x , s ) r + G ( x , s ) ς g ( x , ς ) r + G ( x , ς ) + C ( x )
for any x Ω and 0 < s < ς or ς < s < 0 ,
which was first provided by Miyagaki and Souto [41]. Let us consider the function
g ( x , s ) = σ ( x ) | s | r ( x ) 2 s ln 1 + | s | + | s | r ( x ) 1 s 1 + | s |
with its primitive function
G ( x , s ) = σ ( x ) r ( x ) | s | r ( x ) ln 1 + | s |
for all s R and r C + ( R N ) , where σ C ( R N , R ) with 0 < inf x R N σ ( x ) sup x R N σ ( x ) < . Thus, this example fulfils the conditions (f1)–(f4). However, for instance, if we consider function
g ( x , s ) = σ ( x ) ν ( x ) | s | m ( x ) 2 s + | s | r 2 s + 2 r sin s
with its primitive function
G ( x , s ) = σ ( x ) ν ( x ) m ( x ) | s | m ( x ) + 1 r | s | r 2 r cos s + 2 r ,
where r , τ , m C + ( R N ) , 1 < m m + < r r + , τ ( x ) > 1 with r ( x ) τ ( x ) m ( x ) r ( x ) for all x R N and 0 < ν L τ ( · ) ( R N ) L ( R N ) , then it is clear that this does not satisfy the conditions (f1)–(f4). However, this example holds a condition (B2), which will be introduced in Section 3.
From this perspective, on a new class of superlinear term g, we give the existence result of a sequence of infinitely many small energy solutions by employing a variational method. However, our proof for obtaining this result is slightly different from those of previous related works [17,23,30,38,42,43,44,45,46,47]. Roughly speaking, in view of [23,38,44,48], the conditions (f1) and (f2) play an important role in ensuring assumptions in the dual fountain theorem; however, we verify them when (f1) and (f2) are not assumed. To the best of our belief, although this work is inspired by the papers [17,23,39,42,43,44,45,48], and many authors have an interest in the investigation of elliptic problems with variable exponents, the present paper is the first attempt to obtain the multiplicity result for the Schrödinger–Kirchhoff-type problem driven by the non-local fractional r ( · ) -Laplacian because we deduce our result on a new class of the convex term g.
This paper is organized as follows. In Section 2, we shortly introduce the definition of the Lebesgue spaces with variable exponents and the fractional variable exponent Lebesgue–Sobolev space, and collect some elementary properties. Section 3 provides the existence result of infinitely many small energy solutions to the problem (1) by applying as the primary tool the variational principle.

2. Preliminaries

In this section, we briefly recall the definition and some basic properties of the variable exponent Lebesgue–Sobolev space of fractional type, which were systematically studied in [20].
For any r C + ( R N ) , we introduce the variable exponent Lebesgue space
L r ( · ) ( R N ) : = ω : ω is a measurable real - valued function , R N | ω ( x ) | r ( x ) d x < ,
endowed with the Luxemburg norm
| | ω | | L r ( · ) ( R N ) = inf λ > 0 : R N | ω ( x ) λ | r ( x ) d x 1 .
The dual space of L r ( · ) ( R N ) is L r ( · ) ( R N ) , where 1 / r ( x ) + 1 / r ( x ) = 1 .
Let 0 < s < 1 and let r C ( R N × R N , ( 1 , ) ) be such that r is symmetric, i.e., r ( x , y ) = r ( y , x ) for all x , y R N and
1 < r : = inf ( x , y ) R N × R N r ( x , y ) r + : = sup ( x , y ) R N × R N r ( x , y ) < + .
For r C + ( R N ) , define
W s , r ( · ) , r ( · , · ) ( R N ) : = ω L r ( · ) ( R N ) : R N R N | ω ( x ) ω ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y < + ,
and we set
| ω | s , r ( · , · ) : = inf λ > 0 : R N R N | ω ( x ) ω ( y ) | r ( x , y ) λ r ( x , y ) | x y | N + s r ( x , y ) d x d y < 1 .
Then, W s , r ( · ) , r ( · , · ) ( R N ) endowed with the norm
| | ω | | s , r , R N : = | | ω | | L r ( · ) ( R N ) + | ω | s , r ( · , · )
is a reflexive and separable Banach space (see [13,14,22]). It is immediate that
| ω | s , r , R N : = inf λ > 0 : R N ω λ r ( x ) d x + R N R N | ω ( x ) ω ( y ) | r ( x , y ) λ r ( x , y ) | x y | N + s r ( x , y ) d x d y < 1
is an equivalent norm of | | · | | s , r , R N with the relation
1 2 | | ω | | s , r , R N | ω | s , r , R N 2 | | ω | | s , r , R N .
Throughout the present paper, in some cases, we write r ( x ) instead of r ( x , x ) for brevity, and thus, r C + ( R N ) . Further, we write W s , r ( · , · ) ( R N ) instead of W s , r ( · ) , r ( · , · ) ( R N ) .
Lemma 1 
([49,50]). The space L r ( · ) ( R N ) is a uniformly convex and separable Banach space, and its conjugate space is L r ( · ) ( R N ) where 1 / r ( · ) + 1 / r ( · ) = 1 . For any u L r ( · ) ( R N ) and v L r ( · ) ( R N ) , one has
| R N u v d x | 1 r + 1 ( r ) | | u | | L r ( · ) ( R N ) | | v | | L r ( · ) ( R N ) 2 | | u | | L r ( · ) ( R N ) | | v | | L r ( · ) ( R N ) .
Lemma 2 
([49]). If 1 / r ( · ) + 1 / ( · ) + 1 / q ( · ) = 1 , then for any v L r ( · ) ( R N ) , z L ( · ) ( R N ) and w L τ ( · ) ( R N ) ,
| R N v z w d x | 1 r + 1 + 1 q | | v | | L r ( · ) ( R N ) | | z | | L ( · ) ( R N ) | | w | | L q ( · ) ( R N ) 3 | | v | | L r ( · ) ( R N ) | | z | | L ( · ) ( R N ) | | w | | L q ( · ) ( R N ) .
Lemma 3 
([49]). Denote
κ ( ω ) = R N | ω | r ( x ) d x , f o r a l l ω L r ( · ) ( R N ) .
Then
 (1) 
κ ( ω ) > 1 ( = 1 ; < 1 ) if and only if | | ω | | L r ( · ) ( R N ) > 1 ( = 1 ; < 1 ) , respectively;
 (2) 
if | | ω | | L r ( · ) ( R N ) > 1 , then | | ω | | L r ( · ) ( R N ) r κ ( ω ) | | ω | | L r ( · ) ( R N ) r + ;
 (3) 
if | | ω | | L r ( · ) ( R N ) < 1 , then | | ω | | L r ( · ) ( R N ) r + κ ( ω ) | | ω | | L r ( · ) ( R N ) r .
Lemma 4 
([51]). Let L ( R N ) be such that 1 r ( · ) ( · ) in R N . If ω L r ( · ) ( · ) ( R N ) with ω 0 , then
 (1) 
If | | ω | | L r ( · ) ( · ) ( R N ) > 1 , then | | ω | | L r ( · ) ( · ) ( R N ) | | | ω | ( x ) | | L r ( · ) ( R N ) | | ω | | L r ( · ) ( · ) ( R N ) + ;
 (2) 
If | | ω | | L r ( · ) ( · ) ( R N ) < 1 , then | | ω | | L r ( · ) ( · ) ( R N ) + | | | ω | ( x ) | | L r ( · ) ( R N ) | | ω | | L r ( · ) ( · ) ( R N ) .
Lemma 5 
([49]). Suppose that r : R N R is Lipschitz-continuous with 1 < r r + < N . Let L ( R N ) and r ( · ) ( · ) r s ( · ) : = N r ( · ) N s r ( · ) almost everywhere in R N . Then, there is a continuous embedding W 1 , r ( · ) ( R N ) L ( · ) ( R N ) .
We present the embedding theorem for the fractional variable exponent Sobolev space below:
Lemma 6 
(Subcrtitical imbeddings, [20]). It holds that
 (1) 
W s , r ( · , · ) ( Ω ) L q ( · ) ( Ω ) , if Ω is a bounded Lipschitz domain and q C + ( Ω ¯ ) such that q ( · ) < r s ( · ) in Ω ¯ ;
 (2) 
W s , r ( · , · ) ( R N ) L q ( · ) ( R N ) for any uniformly continuous function q C + ( R N ) with r ( · ) q ( · ) in x R N and inf R N ( r s ( · ) q ( · ) ) > 0 ;
 (3) 
W s , r ( · , · ) ( R N ) L l o c q ( · ) ( R N ) for any r C + ( R N ) satisfying q ( · ) < r s ( · ) in R N .
Next, we assume that the potential function b satisfies
(P)
b L l o c 1 ( R N ) , x R N b ( x ) > 0 , and lim | x | b ( x ) = + .
On the linear subspace
X : = ω W s , r ( · , · ) ( R N ) : R N R N | ω ( x ) ω ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + R N b ( x ) | ω ( x ) | r ( x ) d x < + ,
we equip the norm
| | ω | | X : = inf λ > 0 : R N b ( x ) ω λ r ( x ) d x + R N R N | ω ( x ) ω ( y ) | r ( x , y ) λ r ( x , y ) | x y | N + s r ( x , y ) d x d y < 1 .
Then, ( X , | | · | | X ) is continuously embedded into W s , r ( · , · ) as a closed subspace. Therefore, ( X , | | · | | X ) is also a reflexive and separable Banach space. Let X be a dual space of X. Furthermore, · , · denotes the pairing of X and its dual X .
Remark 1 
([33]). Denote
κ ( ω ) = R N | ω | r ( x ) + b ( x ) | ω | r ( x ) d x , for all ω X .
Then,
 (1) 
κ ( ω ) > 1 ( = 1 ; < 1 ) if and only if | | ω | | X > 1 ( = 1 ; < 1 ) , respectively;
 (2) 
if | | ω | | X > 1 , then | | ω | | X r κ ( ω ) | | ω | | X r + ;
 (3) 
if | | ω | | X < 1 , then | | ω | | X r + κ ( ω ) | | ω | | X r .
With the help of Lemma 6, the proof of the following consequence is absolutely the same as in those of Lemma 2.6 in [33].
Lemma 7. 
If the potential function b satisfies the assumption (P), then
 (1) 
there is a compact embedding X L r ( · ) ( R N ) ;
 (2) 
for any measurable function : R N R with r ( · ) < ( · ) in R N , there is a compact embedding X L ( · ) ( R N ) if inf x R N ( r ( x ) ( x ) ) > 0 .

3. Existence of Solutions

In this section, the existence of nontrivial weak solutions for (1) is provided by applying the dual fountain theorem under suitable assumptions.
Definition 1. 
We say that ω X is a weak solution of (1) if
K [ ω ] s , r ( · , · ) R N R N | ω ( x ) ω ( y ) | r ( x , y ) 2 ( ω ( x ) ω ( y ) ) ( u ( x ) u ( y ) ) | x y | N + s r ( x , y ) d x d y + R N b ( x ) | ω | r ( x ) 2 ω u d x = λ R N κ ( x ) | ω | q ( x ) 2 ω u d x + R N h ( x , ω ) u d x
for all u X , where
[ ω ] s , r ( · , · ) : = R N R N | ω ( x ) ω ( y ) | r ( x , y ) r ( x , y ) | x y | N + s r ( x , y ) d x d y .
Let us define the functional A : X R by
A ( ω ) = K [ ω ] s , r ( · , · ) + R N b ( x ) r ( x ) | ω | r ( x ) d x .
Then, the following assertion can be found in [3].
Lemma 8. 
Suppose that (K1)–(K2) are fulfilled. Then, A : X R is slightly less semicontinuous and convex on X. In addition, A is a mapping of type ( S + ) , i.e., if y n y in X and lim sup n A ( y n ) A ( y ) , y n y 0 , then y n y in X as n .
Let G ( x , t ) = 0 t g ( x , s ) d s . Suppose that
(A1)
q , r , C + ( R N ) and 1 < q q + < r r + < + < r s ( x ) for all x R N .
(A2)
0 κ L r ( · ) r ( · ) q ( · ) ( R N ) L ( R N ) satisfying that m e a s x R N : κ ( x ) 0 > 0 .
(B1)
g : R N × R R satisfies the Carathéodory condition and there exist a positive constant ρ 2 and a nonnegative function ρ 1 L ( · ) ( R N ) L ( R N ) such that
| g ( x , t ) | ρ 1 ( x ) + ρ 2 | t | ( x ) 1
for all ( x , t ) R N × R .
(B2)
There are μ > ϑ r + , T > 0 such that
μ G ( x , t ) t g ( x , t )
for all x R N and | t | T , where G ( x , t ) = 0 t g ( x , s ) d s , where ϑ is given in (K2).
(B3)
There exist C > 0 , 1 < m m + < r r + , τ ( x ) > 1 with r ( x ) τ ( x ) m ( x ) r ( x ) for all x R N and a positive function ν L τ ( · ) ( R N ) L ( R N ) such that
lim inf | t | 0 g ( x , t ) ν ( x ) | t | m ( x ) 2 t C
uniformly for almost all x R N .
Let the functional B λ : X R be defined by
B λ ( ω ) = λ R N κ ( x ) q ( x ) | ω | q ( x ) d x + R N G ( x , ω ) d x .
Then, it is immediate that B λ C 1 ( X , R ) , and its Fréchet derivative is
B λ ( ω ) , u = λ R N κ ( x ) | ω | q ( x ) 2 ω u d x + R N g ( x , ω ) u d x
for any u , ω X . Subsequently, the functional J λ : X R is defined by
J λ ( ω ) = A ( ω ) B λ ( ω ) .
Then, by virtue of Lemma 3.2 in [3], one has that the functional J λ C 1 ( X , R ) , and its Fréchet derivative is
J λ ( ω ) , u = K [ ω ] s , r ( · , · ) R N R N | ω ( x ) ω ( y ) | r ( x , y ) 2 ( ω ( x ) ω ( y ) ) ( u ( x ) u ( y ) ) | x y | N + s r ( x , y ) d x d y + R N b ( x ) | ω | r ( x ) 2 ω u d x λ R N κ ( x ) | ω | q ( x ) 2 ω u d x R N g ( x , ω ) u d x
for any ω , u X .
Lemma 9. 
Suppose that (P), (A1)–(A2) and (B1)–(B2) hold. Then, B λ and B λ are weakly strongly continuous on E for any λ > 0 .
Definition 2. 
Let E be a Banach space, I C 1 ( X , R ) . We say that I ensures the Cerami condition ( ( C ) -condition for short) in E if any ( C ) -sequence { z n } n E , i.e., { I ( z n ) } is bounded and | | I ( z n ) | | E ( 1 + | | z n | | E ) 0 as n has a convergent subsequence in E.
The basic idea of proofs of this assertion follows similar arguments to those in [39]; see also [52].
Lemma 10. 
Assume that (P), (A1)–(A2), (K1)–(K2) and (B1)–(B2) hold. Then, the functional J λ satisfies the ( C ) -condition for any λ > 0 .
Proof. 
Let { ω n } be a ( C ) -sequence in X, i.e.,
sup n N | J λ ( ω n ) | K 1 and J λ ( ω n ) , ω n = o ( 1 ) 0 , as n ,
where K 1 is a positive constant. Firstly, we will prove that the sequence { ω n } is bounded in X. Denote { a | ω n | c } | : = { x R N : a | ω n ( x ) | c } for any real number a and c. Since b ( x ) + as | x | , we have
1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x C 1 { | ω n | T } | ω n | r ( x ) + ρ 1 ( x ) | ω n | + ρ 2 | ω n | q ( x ) d x 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x K 0
for any positive constant C 1 and for some positive constant K 0 . In fact, by Young’s inequality, we know that
1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x C 1 { | ω n | T } | ω n | r ( x ) + ρ 1 ( x ) | ω n | + ρ 2 | ω n | ( x ) d x 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x C 1 { | ω n | T } | ω n | r ( x ) + ( ρ 1 ( x ) ) ( x ) + | ω n | ( x ) + ρ 2 | ω n | ( x ) d x 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + { | ω n | T } b ( x ) | ω n | r ( x ) d x C 1 { | ω n | 1 } | ω n | r ( x ) + | ω n | ( x ) + ρ 2 | ω n | ( x ) d x C 1 { 1 < | ω n | T } | ω n | r ( x ) + | ω n | ( x ) + ρ 2 | ω n | ( x ) d x C 1 ( 1 + | | ρ 1 | | L ( · ) ( R N ) ( ) + ) 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + { | ω n | T } b ( x ) | ω n | r ( x ) d x C 1 2 + ρ 2 { | ω n | 1 } | ω n | r ( x ) d x C 1 T + r 2 + ρ 2 { 1 < | ω n | T } | ω n | r ( x ) d x C ˜ 1 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + { | ω n | T } b ( x ) | ω n | r ( x ) d x C 1 T + r 2 + ρ 2 { | ω n | T } | ω n | r ( x ) d x C ˜ 1 ,
where C ˜ 1 is a positive constant. Since b ( x ) + as | x | , there is γ 0 > 0 such that | x | γ 0 implies b ( x ) 2 ϑ r + μ C 1 T + r 2 + ρ 2 μ ϑ r + . Then, we know that
b ( x ) | ω n | r ( x ) 2 ϑ r + μ C 1 T + r 2 + ρ 2 μ ϑ r + | ω n | r ( x )
for | x | γ 0 . Set B γ : = { x R N : | x | < γ } . Then, since b L l o c 1 ( R N ) , we infer
{ | ω n | T } B γ 0 b ( x ) | ω n | r ( x ) d x C ˜ 2 and { | ω n | T } B γ 0 | ω n | r ( x ) d x C ˜ 3
for some positive constants C ˜ 2 and C ˜ 3 . This, together with (4) and (5), yields
1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x C 1 { | ω n | T } | ω n | r ( x ) + ρ 1 ( x ) | ω n | + ρ 2 | ω n | ( x ) d x μ ϑ r + 2 ϑ r + μ R N b ( x ) | ω n | r ( x ) d x + { | ω n | T } B γ 0 c b ( x ) | ω n | r ( x ) d x + { | ω n | T } B γ 0 b ( x ) | ω n | r ( x ) d x C ˜ 0 { | ω n | T } B γ 0 c | ω n | r ( x ) d x + { | ω n | T } B γ 0 | ω n | r ( x ) d x C ˜ 1 μ ϑ r + 2 ϑ r + μ R N b ( x ) | ω n | r ( x ) d x + μ ϑ r + 2 ϑ r + μ { | ω n | T } B γ 0 c b ( x ) | ω n | r ( x ) d x C ˜ 0 { | ω n | T } B γ 0 c | ω n | r ( x ) d x K 0 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x K 0 ,
as required. Combining this with (K1)–(K2) and (B3), one has
K 1 + 1 J λ ( ω n ) 1 μ J λ ( ω n ) , ω n = K [ ω n ] s , r ( · , · ) + R N b ( x ) r ( x ) | ω n | r ( x ) d x λ R N κ ( x ) q ( x ) ω n q ( x ) d x R N G ( x , ω n ) d x 1 μ K [ ω n ] s , r ( · , · ) [ ω n ] s , r ( · , · ) 1 μ R N b ( x ) | ω n | r ( x ) d x + λ μ R N κ ( x ) ω n q ( x ) d x + 1 μ R N g ( x , ω n ) ω n d x = 1 ϑ K [ ω n ] s , r ( · , · ) [ ω n ] s , r ( · , · ) + R N b ( x ) r ( x ) | ω n | r ( x ) d x λ R N κ ( x ) q ( x ) ω n q ( x ) d x R N G ( x , ω n ) d x 1 μ K [ ω n ] s , r ( · , · ) [ ω n ] s , r ( · , · ) 1 μ R N b ( x ) | ω n | r ( x ) d x + λ μ R N κ ( x ) ω n q ( x ) d x + 1 μ R N g ( x , ω n ) ω n d x τ 0 1 ϑ r + 1 μ R N R N | ω n ( x ) ω n ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + 1 μ R N g ( x , ω n ) ω n μ G ( x , ω n ) d x + λ 1 μ 1 q R N κ ( x ) ω n q ( x ) d x τ 0 1 ϑ r + 1 μ R N R N | ω n ( x ) ω n ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + 1 μ | ω n | T g ( x , ω n ) ω n μ G ( x , ω n ) d x + 1 μ | ω n | T g ( x , ω n ) ω n μ G ( x , ω n ) d x + λ 1 μ 1 q R N κ ( x ) ω n q ( x ) d x τ 0 1 ϑ r + 1 μ R N R N | ω n ( x ) ω n ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x C 2 μ | ω n | T | ω n | r ( x ) + ρ 1 ( x ) | ω n | + ρ 2 ( x ) | ω n | ( x ) d x + λ 1 μ 1 q R N κ ( x ) ω n q ( x ) d x
τ 0 1 ϑ r + 1 μ R N R N | ω n ( x ) ω n ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + 1 2 1 ϑ r + 1 μ R N b ( x ) | ω n | r ( x ) d x + λ 1 μ 1 q R N κ ( x ) ω n q ( x ) d x K 0 min { τ 0 , 1 } 2 1 ϑ r + 1 μ R N R N | ω n ( x ) ω n ( y ) | r ( x , y ) | x y | N + s r ( x , y ) d x d y + R N b ( x ) | ω n | r ( x ) d x + 2 λ 1 μ 1 q | | κ | | L r ( · ) r ( · ) q ( · ) R N max | | ω n | | L r ( · ) R N q , | | ω n | | L r ( · ) R N q + K 0 min { τ 0 , 1 } 2 1 ϑ r + 1 μ | | ω n | | X r + 2 λ 1 μ 1 q | | κ | | L r ( · ) r ( · ) q ( · ) R N max | | ω n | | L r ( · ) R N q , | | ω n | | L r ( · ) R N q + K 0 min { τ 0 , 1 } 2 1 ϑ r + 1 μ | | ω n | | X r + 2 λ C 3 1 μ 1 q | | κ | | L r ( · ) r ( · ) q ( · ) R N | | ω n | | X q + K 0
for some positive constants C 2 and C 3 . From this, we infer
K 1 + 1 + K 0 + 2 λ C 3 1 μ 1 q | | κ | | L r ( · ) r ( · ) q ( · ) R N | | ω n | | X q + min { τ 0 , 1 } 2 1 ϑ r + 1 μ | | ω n | | X r .
Since r > q + , we determine that { ω n } is a bounded sequence in X, and thus { ω n } has a weakly convergent subsequence in X. Without loss of generality, we suppose that
ω n ω 0 in X as n .
By Lemma 9, we infer that B λ is compact, and so B λ ( ω n ) B λ ( ω 0 ) in X as n . Since J λ ( ω n ) 0 as n , we know that
J λ ( ω n ) , ω n ω 0 0 and J λ ( ω 0 ) , ω n ω 0 0 ,
and thus
J λ ( ω n ) J λ ( ω 0 ) , ω n ω 0 0
as n . From this, we have
A ( ω n ) A ( ω 0 ) , ω n ω 0 = B λ ( ω n ) B λ ( ω 0 ) , ω n ω 0 + J λ ( ω n ) J λ ( ω 0 ) , ω n ω 0 0 ,
namely, A ( ω n ) A ( ω 0 ) , ω n ω 0 0 as n . Since X is reflexive and A is a mapping of type ( S + ) by Lemma 8, we assert that
ω n ω 0 in X as n .
The proof is completed □
Let W be a reflexive and separable Banach space. Then, it is known (see [53,54]) that there are { e n } W and { h n } W , such that
W = span { e n : n = 1 , 2 , } ¯ , W = span { h n : n = 1 , 2 , } ¯ ,
and
h i , e j = 1 if i = j 0 if i j .
Let us denote W n = span { e n } , Y k = n = 1 k W n , and Z k = n = k W n ¯ .
Definition 3. 
Suppose that ( W , | | · | | ) is a real reflexive and separable Banach space, F C 1 ( W , R ) , c R . We say that F fulfills the ( C ) c -condition (with respect to Y n ) if any sequence { v n } n N W for which v n Y n , for any n N ,
F ( v n ) c and | | ( F | Y n ) ( v n ) | | W ( 1 + | | v n | | ) 0 as n ,
has a subsequence converging to a critical point of F .
Proposition 1 
([38]). Supposing that ( W , | | · | | ) is a Banach space, F C 1 ( W , R ) is an even functional. If there is k 0 > 0 so that, for each k k 0 , there exist β k > α k > 0 , such that
 (D1) 
inf { F ( v ) : | | v | | W = β k , v Z k } 0 ;
 (D2) 
b k : = max { F ( v ) : | | v | | W = α k , v Y k } < 0 ;
 (D3) 
c k : = inf { F ( v ) : | | v | | W β k , v Z k } 0 as k ;
 (D4) 
F fulfills the ( C ) c -condition for every c [ c k 0 , 0 ) ,
then F admits a sequence of negative critical values c n < 0 satisfying c n 0 as n .
Lemma 11. 
Assuming that (P), (A1)–(A2), (K1)–(K2) and (B1)–(B2) hold, J λ satisfies the ( C ) c condition.
Proof. 
Since X is a reflexive Banach space, and Φ , Ψ are of type ( S + ) , the idea of the proof is absolutely the same as that in ([38], Lemma 3.12). □
Theorem 1. 
Suppose that (P), (A1)–(A2), (K1)–(K2) and (B1)–(B3) hold. If g ( x , s ) = g ( x , s ) holds for all ( x , s ) R N × R , then the problem (1) has a sequence of nontrivial solutions { ω n } in X such that J λ ( ω n ) 0 as n for all λ > 0 .
Proof. 
In accordance with the oddness of g and Lemma 11, one has that the functional J λ is even, and that it satisfies the ( C ) c condition for every c R . Hence, we will prove that conditions (D1), (D2) and (D3) of Proposition 1 hold.
(D1): For convenience, we denote
ν 1 , k = sup | | ω | | X = 1 , ω Z k | | ω | | L r ( · ) ( R N ) , ν 2 , k = sup | | ω | | X = 1 , ω Z k | | ω | | L ( · ) ( R N ) .
Then, it is easy to verify that ν 1 , k 0 and ν 2 , k 0 as k (see [38]). Denote ν k = max { ν 1 , k , ν 2 , k } . Let ν k < 1 for k large enough. It follows from Lemmas 1, 5, and Remark 1 that
J λ ( ω ) = K [ ω ] s , r ( · , · ) + R N b ( x ) r ( x ) | ω | r ( x ) d x λ R N κ ( x ) q ( x ) | ω | q ( x ) R N G ( x , ω ) d x min τ 0 , ϑ ϑ r + | | ω | | X r λ R N κ ( x ) q ( x ) ω q ( x ) d x R N G ( x , ω ) d x min τ 0 , ϑ ϑ r + | | ω | | X r + 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) max | | ω | | L r ( · ) ( R N ) q , | | ω | | L r ( · ) ( R N ) q + 2 | | ρ 1 | | L r ( · ) ( R N ) | | ω | | L r ( · ) ( R N ) ρ 2 max { | | ω | | L ( · ) ( R N ) , | | ω | | L ( · ) ( R N ) + } min τ 0 , ϑ ϑ r + | | ω | | X r + 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) ν k q | | ω | | X q + | | ρ 1 | | L r ( · ) ( R N ) ν k | | ω | | X ρ 2 ν k | | ω | | X + min τ 0 , ϑ ϑ r + | | ω | | X r + 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + ρ 2 ν k q | | ω | | X + | | ρ 1 | | L r ( · ) ( R N ) ν k | | ω | | X
for sufficiently large k and | | ω | | X 1 . Choose
β k = 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 ν k q 1 r 2 + .
Let ω Z k with | | ω | | X = β k > 1 for sufficiently large k. Then, there exists k 0 N such that
J λ ( ω ) min τ 0 , ϑ ϑ r + | | ω | | X r 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + ρ 2 ν k q | | ω | | X 2 + | | ρ 1 | | L r ( · ) ( R N ) ν k | | ω | | X min τ 0 , ϑ ϑ r + β k r ν k q + r 2 + r 2 + | | ρ 1 | | L r ( · ) ( R N ) 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 1 r 2 + 0
for all k N with k k 0 , because lim k β k = . Therefore,
inf { J λ ( ω ) : ω Z k , | | ω | | X = β k } 0 .
(D2): Since Y k is dimensionally finite, all the norms are equivalent. Then, there are positive constants ς 1 , k and ς 2 , k such that
ς 1 , k | | ω | | X | | ω | | L m ( · ) ( ν , R N ) and | | ω | | L ( · ) ( R N ) ς 2 , k | | ω | | X
for any ω Y k . Let ω Y k with | | ω | | X 1 . From (B1) and (B3), there are C 1 , C 2 > 0 such that
G ( x , t ) C 1 ν ( x ) | t | m ( x ) C 2 | t | ( x )
for almost all ( x , t ) R N × R . Observe that
R N R N | ω ( x ) ω ( y ) | r ( x , y ) r ( x , y ) | x y | N + s r ( x , y ) d x d y C 3
for some positive constant C 3 . Then, we have
J λ ( ω ) = K [ ω ] s , r ( · , · ) + R N b ( x ) r ( x ) | ω | r ( x ) d x λ R N κ ( x ) q ( x ) | ω | q ( x ) d x R N G ( x , ω ) d x sup 0 ξ C 3 K ( ξ ) R N R N | ω ( x ) ω ( y ) | r ( x , y ) r ( x , y ) | x y | N + s r ( x , y ) d x d y + R N b ( x ) r ( x ) | ω | r ( x ) d x C 1 R N ν ( x ) | ω | m ( x ) d x + C 2 R N | ω | ( x ) d x C 4 | | ω | | X r C 1 min { | | ω | | L m ( · ) ( ν , R N ) m + , | | ω | | L m ( · ) ( ν , R N ) m } + C 2 max { | | ω | | L ( · ) ( R N ) , | | ω | | L ( · ) ( R N ) + } C 4 | | ω | | X r C 1 min { ς 1 , k m , ς 1 , k m + } | | ω | | X m + + C 2 max { ς 2 , k , ς 2 , k + } | | ω | | X .
Let h ( s ) = C 4 s r C 1 min { ς 1 , k m , ς 1 , k m + } s m + + C 2 max { ς 2 , k , ς 2 , k + } s . Since m + < r < , we infer h ( s ) < 0 for all s ( 0 , s 0 ) for sufficiently small s 0 ( 0 , 1 ) . Hence, J λ ( ω ) < 0 for all ω Y k with | | ω | | X = s 0 . Choosing α k = s 0 for all k N , one has
b k : = max { J λ ( ω ) : ω Y k , | | ω | | X = α k } < 0 .
If necessary, we can change k 0 to a large value, so that β k > α k > 0 for all k k 0 .
(D3): Because Y k Z k ϕ and 0 < α k < β k , we have d k b k < 0 for all k k 0 . For any ω Z k with | | ω | | X = 1 and 0 < s < β k , one has
J λ ( s ω ) = K [ s ω ] s , r ( · , · ) + R N b ( x ) r ( x ) | s ω | r ( x ) d x λ R N κ ( x ) q ( x ) | s ω | q ( x ) d x R N G ( x , s ω ) d x min τ 0 , ϑ ϑ r + | | s ω | | X r + 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) max | | s ω | | L r ( · ) ( R N ) q , | | s ω | | L r ( · ) ( R N ) q + 2 | | ρ 1 | | L r ( · ) ( R N ) | | s ω | | L r ( · ) ( R N ) ρ 2 max { | | s ω | | L ( · ) ( R N ) , | | s ω | | L ( · ) ( R N ) + } 2 λ q | | κ | | L ( · ) ( · ) q ( · ) ( R N ) β k q + ν k q 2 | | ρ 1 | | L r ( · ) ( R N ) β k ν k ρ 2 β k + ν k
for sufficiently large k. Hence, it follows from the definition of β k that
c k 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) β k q + ν k q ρ 2 β k + ν k = 2 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 q + r 2 + ν k q q + + q ( r 2 + ) r 2 + 2 | | ρ 1 | | L r ( · ) 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 1 r 2 + ν k q + r 2 + r 2 + ρ 2 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 + r 2 + ν k q + + ( r 2 + ) r 2 + .
Because r < + , q + + r < 2 + , q + + r < 2 + and ν k 0 as k , we conclude that lim k c k = 0 .
Consequently, all conditions of Proposition 1 are verified, and we assert that problem (1) admits a sequence of nontrivial solutions { ω n } in X such that J λ ( ω n ) 0 as n for all λ > 0 . □
Remark 2. 
From the viewpoint of [23,38,44,48], the conditions (f1) and (f2) are essential in obtaining Theorem 1. Under these two assumptions, the existence of two sufficiently large sequences 0 < α k < β k is established in papers [23,38,44]. Regrettably, by utilizing the analogous argument as in [38], we cannot show the property (D3) in Theorem 1. More precisely, if we change β k in (6) into
β ˜ k = 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 ν k q 1 r +
and t + + r > + , then in relation (7),
β ˜ k t + ν k t = 4 λ q | | κ | | L r ( · ) r ( · ) q ( · ) ( R N ) + 2 ρ 2 t + r + ν k t ( t + + r + ) r + as k ,
and thus we cannot obtain the property (D3) in β ˜ k . However, the authors in [23,44,52] overcome this difficulty with a new setting for β k . In contrast, the existence of two sequences 0 < α k < β k 0 as k is obtained in [30,46,47] when (f1) is satisfied. On the other hand, we obtain Theorem 1 when (f1) and (f2) are not assumed. From this perspective, the proof of Theorem 1 is different from that of recent works [23,30,38,44,46,47,48].

4. Conclusions

In this paper, on a new class of nonlinear term g, we give the existence results of a sequence of infinitely many energy solutions by employing the dual fountain theorem. When we verify assumptions in the dual fountain theorem, the conditions on the nonlinear term g near zero and at infinity are essential, however, we obtain our main result without assuming them. This is a novelty of the present paper. Additionally, we address to the readers several comments and perspectives.
I. We point out that with a similar analysis, our main consequences continue to hold when L ω in (1) is changed into any non-local integro-differential operator L L , defined pointwise as
L L ω ( x ) = 2 R N | ω ( x ) ω ( y ) | r ( x , y ) 2 ( ω ( x ) ω ( y ) ) L ( x , y ) d y for all x R N ,
where L : R N   ×   R N ( 0 , + ) is a kernel function satisfying the properties
(L1)
m L L 1 ( R N   ×   R N ) , where m ( x , y ) = min { | x y | r ( x , y ) , 1 } ;
(L2)
there exists a positive constant θ 0 such that L ( x , y ) | x y | N + s r ( x , y ) θ 0 for almost all ( x , y ) R N   ×   R N and x y , where 0 < s < 1 ;
(L3)
L ( x , y ) = L ( y , x ) for all ( x , y ) R N   ×   R N .
II. A new research direction that has a strong relationship with several related applications is the study of critical double-phase-type equations
( Δ ) r ( · ) s ω + ( Δ ) p ( · ) s ω + b ( x ) ( | ω | r ( x ) 2 ω + | ω | p ( x ) 2 ω ) = λ κ ( x ) | ω | q ( x ) 2 ω + g ( x , ω ) in R N ,
where r ( x ) < p ( x ) for all x R N and { x R N : q ( x ) = r s ( x ) } .

Funding

This research was funded by a 2021 research Grant from Sangmyung University.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data sharing is not applicable to this article as obviously no data sets were generated or analyzed during the current study.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Boureanu, M.-M.; Preda, F. Infinitely many solutions for elliptic problems with variable exponent and nonlinear boundary conditions. Nonlinear Differ. Equ. Appl. 2012, 19, 235–251. [Google Scholar] [CrossRef] [Green Version]
  2. Diening, L.; Harjulehto, P.; Hästö, P.; Růžička, M. Lebesgue and Sobolev Spaces with Variable Exponents. In Lecture Notes in Mathematics; Springer: Berlin, Germany, 2011; Volume 2017. [Google Scholar]
  3. Kim, I.H.; Kim, Y.-H.; Park, K. Existence and multiplicity of solutions for Schrödinger-Kirchhoff type problems involving the fractional p(·)-Laplacian in R N . Bound. Value Probl. 2020, 2020, 1–24. [Google Scholar] [CrossRef]
  4. Mihăilescu, M.; Rxaxdulescu, V. A multiplicity result for a nonlinear degenerate problem arising in the theory of electrorheological fluids. Proc. R. Soc. Ser. A 2006, 462, 2625–2641. [Google Scholar] [CrossRef] [Green Version]
  5. Růžička, M. Electrorheological Fluids: Modeling and Mathematical Theory. In Lecture Notes in Mathematics; Springer: Berlin, Germany, 2000; Volume 1748. [Google Scholar]
  6. Caffarelli, L. Non-local equations, drifts and games. Nonlinear Partial Differ. Equ. Abel Symp. 2012, 7, 37–52. [Google Scholar]
  7. Gilboa, G.; Osher, S. Nonlocal operators with applications to image processing. Multiscale Model. Simul. 2008, 7, 1005–1028. [Google Scholar] [CrossRef] [Green Version]
  8. Laskin, N. Fractional quantum mechanics and Levy path integrals. Phys. Lett. A 2000, 268, 298–305. [Google Scholar] [CrossRef] [Green Version]
  9. Di Nezza, E.; Palatucci, G.; Valdinoci, E. Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 2012, 136, 521–573. [Google Scholar] [CrossRef]
  10. Servadei, R.; Valdinoci, E. Mountain Pass solutions for non-local elliptic operators. J. Math. Anal. Appl. 2012, 389, 887–898. [Google Scholar] [CrossRef] [Green Version]
  11. Azroul, E.; Benkirane, A.; Boumazourh, A.; Shimi, M. Existence results for fractional p(x,·)-Laplacian problem via the Nehari manifold approach. Appl. Math. Optim. 2021, 84, 1527–1547. [Google Scholar] [CrossRef]
  12. Azroul, E.; Benkirane, A.; Shimi, M. Existence and multiplicity of solutions for fractional p(x,·)-Kirchhoff-type problems in R N . Appl. Anal. 2021, 100, 2029–2048. [Google Scholar] [CrossRef]
  13. Bahrouni, A. Comparison and sub-supersolution principles for the fractional p(x)-Laplacian. J. Math. Anal. Appl. 2018, 458, 1363–1372. [Google Scholar] [CrossRef]
  14. Bahrouni, A.; Rădulescu, V. On a new fractional Sobolev space and applications to nonlocal variational problems with variable exponent. Discret. Contin. Dyn. Syst. Ser. S 2018, 11, 379–389. [Google Scholar] [CrossRef] [Green Version]
  15. Biswas, R.; Bahrouni, A.; Fiscella, A. Fractional double phase Robin problem involving variable-order exponents and logarithm-type nonlinearity. Math. Methods Appl. Sci. 2022, 45, 11272–11296. [Google Scholar] [CrossRef]
  16. Biswas, R.; Tiwari, S. Variable order nonlocal Choquard problem with variable exponents. Complex Var. Elliptic Equ. 2021, 66, 853–875. [Google Scholar] [CrossRef]
  17. Bonaldo, L.M.M.; Hurtado, E.J.; Miyagaki, O.H. Multiplicity results for elliptic problems involving nonlocal integrodifferential operators without Ambrosetti-Rabinowitz condition. Discret. Contin. Dyn. Syst. 2022, 42, 3329–3353. [Google Scholar] [CrossRef]
  18. Cheng, Y.; Ge, B.; Agarwal, R.P. Variable-order fractional Sobolev spaces and nonlinear elliptic equations with variable exponents. J. Math. Phys. 2020, 61, 071507. [Google Scholar] [CrossRef]
  19. Chung, N.T. Eigenvalue problems for fractional p(x,y)-Laplacian equations with indefinite weight. Taiwan. J. Math. 2019, 23, 1153–1173. [Google Scholar] [CrossRef]
  20. Ho, K.; Kim, Y.-H. A-priori bounds and multiplicity of solutions for nonlinear elliptic problems involving the fractional p(·)-Laplacian. Nonlinear Anal. 2019, 188, 179–201. [Google Scholar] [CrossRef]
  21. Ho, K.; Kim, Y.-H. The concentration-compactness principles for Ws,p(·,·)( R N ) and application. Adv. Nonlinear Anal. 2021, 10, 816–848. [Google Scholar] [CrossRef]
  22. Kaufmann, U.; Rossi, J.D.; Vidal, R. Fractional Sobolev spaces with variable exponents and fractional p(x)-Laplacians. Electron. J. Qual. Theory Differ. Equ. 2017, 76, 1–10. [Google Scholar] [CrossRef]
  23. Lee, J.; Kim, J.-M.; Kim, Y.-H.; Scapellato, A. On multiple solutions to a non-local Fractional p(·)-Laplacian problem with concave-convex nonlinearities. Adv. Cont. Discr. Mod. 2022, 2022, 1–25. [Google Scholar] [CrossRef]
  24. Zuo, J.; Yang, L.; Liang, S. A variable-order fractional p(·)-Kirchhoff type problem in R N . Math. Methods Appl. Sci. 2020, 44, 3872–3889. [Google Scholar]
  25. Liang, S.; Pucci, P.; Zhang, B. Existence and multiplicity of solutions for critical nonlocal equations with variable exponents. Appl. Anal. 2022. [Google Scholar] [CrossRef]
  26. Zuo, J.; An, T.; Fiscella, A. A critical Kirchhoff-type problem driven by a p(·)-fractional Laplace operator with variable s(·)-order. Math. Methods Appl. Sci. 2020, 44, 1071–1085. [Google Scholar] [CrossRef]
  27. Kirchhoff, G. Vorlesungen über Mechanik; Teubner: Leipzig, Germany, 1883. [Google Scholar]
  28. Colasuonno, F.; Pucci, P. Multiplicity of solutions for p(x)-polyharmonic elliptic Kirchhoff equations. Nonlinear Anal. 2011, 74, 5962–5974. [Google Scholar] [CrossRef]
  29. Dai, G.W.; Hao, R.F. Existence of solutions of a p(x)-Kirchhoff-type equation. J. Math. Anal. Appl. 2009, 359, 275–284. [Google Scholar] [CrossRef] [Green Version]
  30. Liu, D.C. On a p(x)-Kirchhoff-type equation via fountain theorem and dual fountain theorem. Nonlinear Anal. 2010, 72, 302–308. [Google Scholar] [CrossRef]
  31. Pucci, P.; Xiang, M.; Zhang, B. Multiple solutions for nonhomogeneous Schrödinger–Kirchhoff type equations involving the fractional p-Laplacian in R N . Calc. Var. Partial Differ. Equ. 2015, 54, 2785–2806. [Google Scholar] [CrossRef]
  32. Xiang, M.; Zhang, B.; 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]
  33. Alves, C.O.; Liu, S.B. On superlinear p(x)-Laplacian equations in R N . Nonlinear Anal. 2010, 73, 2566–2579. [Google Scholar] [CrossRef]
  34. Liu, S.B. On ground states of superlinear p-Laplacian equations in R N . J. Math. Anal. Appl. 2010, 61, 48–58. [Google Scholar] [CrossRef] [Green Version]
  35. Liu, S.B.; Li, S.J. Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sin. (Chin. Ser.) 2003, 46, 625–630. (In Chinese) [Google Scholar]
  36. Tan, Z.; Fang, F. On superlinear p(x)-Laplacian problems without Ambrosetti and Rabinowitz condition. Nonlinear Anal. 2012, 75, 3902–3915. [Google Scholar] [CrossRef]
  37. Lin, X.; Tang, X.H. Existence of infinitely many solutions for p-Laplacian equations in R N . Nonlinear Anal. 2013, 92, 72–81. [Google Scholar] [CrossRef]
  38. Hurtado, E.J.; Miyagaki, O.H.; Rodrigues, R.S. Existence and multiplicity of solutions for a class of elliptic equations without Ambrosetti-Rabinowitz type conditions. J. Dyn. Diff. Equ. 2018, 30, 405–432. [Google Scholar] [CrossRef]
  39. Kim, Y.-H. Multiple solutions to Kirchhoff-Schrödinger equations involving the p(·)-Laplace type operator. AIMS Math. 2023, in press. [Google Scholar] [CrossRef]
  40. Jeanjean, L. On the existence of bounded Palais-Smale sequences and application to a Landsman-Lazer type problem set on R N . Proc. R. Soc. Edinb. Sect. A Math. 1999, 129, 787–809. [Google Scholar] [CrossRef] [Green Version]
  41. Miyagaki, O.H.; Souto, M.A.S. Superlinear problems without Ambrosetti and Rabinowitz growth condition. J. Differ. Equ. 2008, 245, 3628–3638. [Google Scholar] [CrossRef] [Green Version]
  42. Biswas, R.; Bahrouni, S.; Carvalho, M.L. Fractional double phase Robin problem involving variable order-exponents without Ambrosetti–Rabinowitz condition. Z. Angew. Math. Phys. 2022, 73, 1–25. [Google Scholar] [CrossRef]
  43. Biswas, R.; Tiwari, S. On a class of Kirchhoff-Choquard equations involving variable-order fractional p(·)-Laplacian and without Ambrosetti-Rabinowitz type condition. Topol. Methods Nonlinear Anal. 2021, 58, 403–439. [Google Scholar] [CrossRef]
  44. Cen, J.; Kim, S.J.; Kim, Y.-H.; Zeng, S. Multiplicity results of solutions to the double phase anisotropic variational problems involving variable exponent. Adv. Differ. Equ. 2023, in press. [Google Scholar]
  45. Stegliński, R. Notes on aplications of the dual fountain theorem to local and nonlocal elliptic equations with variable exponent. Opusc. Math. 2022, 42, 751–761. [Google Scholar] [CrossRef]
  46. Teng, K. Multiple solutions for a class of fractional Schrödinger equations in R N . Nonlinear Anal. Real World Appl. 2015, 21, 76–86. [Google Scholar] [CrossRef]
  47. Willem, M. Minimax Theorems; Birkhauser: Basel, Switzerland, 1996. [Google Scholar]
  48. Lee, J.I.; Kim, J.-M.; Kim, Y.-H.; Lee, J. Multiplicity of weak solutions to non-local elliptic equations involving the fractional p(x)-Laplacian. J. Math. Phys. 2020, 61, 011505. [Google Scholar] [CrossRef]
  49. Fan, X.; Zhao, D. On the spaces Lp(x)(Ω) and Wm,p(x)(Ω). J. Math. Anal. Appl. 2001, 263, 424–446. [Google Scholar] [CrossRef] [Green Version]
  50. Kováčik, O.; Rxaxkosník, J. On spaces Lp(x) and Wk,p(x). Czechoslovak Math. J. 1991, 41, 592–618. [Google Scholar] [CrossRef]
  51. Edmunds, D.E.; Rákosník, J. Sobolev embedding with variable exponent. Stud. Math. 2000, 143, 267–293. [Google Scholar] [CrossRef]
  52. Kim, J.-M.; Kim, Y.-H. Multiple solutions to the double phase problems involving concave–convex nonlinearities. AIMS Math. 2023, 8, 5060–5079. [Google Scholar] [CrossRef]
  53. Fabian, M.; Habala, P.; Hajék, P.; Montesinos, V.; Zizler, V. Banach Space Theory: The Basis for Linear and Nonlinear Analysis; Springer: New York, NY, USA, 2011. [Google Scholar]
  54. Zhou, Y.; Wang, J.; Zhang, L. Basic Theory of Fractional Differential Equations, 2nd ed.; World Scientific Publishing Co. Pte. Ltd.: Singapore, 2017. [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

Kim, Y.-H. Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional r(·)-Laplacian in RN. Fractal Fract. 2023, 7, 207. https://doi.org/10.3390/fractalfract7030207

AMA Style

Kim Y-H. Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional r(·)-Laplacian in RN. Fractal and Fractional. 2023; 7(3):207. https://doi.org/10.3390/fractalfract7030207

Chicago/Turabian Style

Kim, Yun-Ho. 2023. "Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional r(·)-Laplacian in RN" Fractal and Fractional 7, no. 3: 207. https://doi.org/10.3390/fractalfract7030207

APA Style

Kim, Y. -H. (2023). Infinitely Many Small Energy Solutions to Schrödinger-Kirchhoff Type Problems Involving the Fractional r(·)-Laplacian in RN. Fractal and Fractional, 7(3), 207. https://doi.org/10.3390/fractalfract7030207

Article Metrics

Back to TopTop