Next Article in Journal
Neural Fractional Differential Equations: Optimising the Order of the Fractional Derivative
Next Article in Special Issue
The Existence of a Solution to a Class of Fractional Double Phase Problems
Previous Article in Journal
A Novel Approach for Testing Fractional Cointegration in Panel Data Models with Fixed Effects
Previous Article in Special Issue
Multiplicity of Normalized Solutions to a Fractional Logarithmic Schrödinger Equation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Solutions for a Logarithmic Fractional Schrödinger-Poisson System with Asymptotic Potential

1
School of Mathematics and Statistics, Northeast Petroleum University, Daqing 163318, China
2
College of Mathematics, Changchun Normal University, Changchun 130032, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2024, 8(9), 528; https://doi.org/10.3390/fractalfract8090528
Submission received: 25 July 2024 / Revised: 30 August 2024 / Accepted: 4 September 2024 / Published: 10 September 2024
(This article belongs to the Special Issue Variational Problems and Fractional Differential Equations)

Abstract

:
In this paper, we consider a logarithmic fractional Schrödinger-Poisson system where the potential is a sign-changing function. When the potential is coercive, we get the existence of infinitely many solutions for the system. When the potential is bounded, we get the existence of a ground state solution for the system.

1. Introduction and Main Results

In this article, we investigate the following fractional Schrödinger-Poisson system with logarithmic nonlinearity:
Δ s u + V ( x ) u ϕ ( x ) u = u log u 2 , i n R 3 , Δ t ϕ = u 2 , i n R 3 ,
where t ( 0 , 1 ) , s ( 0 , 1 ) , 4 s + 2 t > 3 , and ( Δ ) ι with ι { s , t } denotes the fractional Laplacian operator defined as
( Δ ) ι u ( x ) = C ι P . V . R 3 u ( x ) u ( y ) | x y | 3 + 2 s d y , x R 3
where P . V . represents the principal value sense, C ι represents an appropriate normalization constant. It is worth pointing out that the application background of fractional equations is rooted in areas such as fractional quantum mechanics, physics, finance, conformal geometry, among others; see [1] for more details. In particular, when s = 1 2 and t = 1 system (1) gains significant interest in physics as it comes from the semi-relativistic theory in the repulsive (plasma Coulomb case).
In recent years, the study of small semiconductor devices has been stimulated increasingly interest, in particular, in the use of quantum-mechanical and numerical methods to explain quantum phenomena like quantum interference, size quantization and tunneling. Since the early 1980s, the Schrödinger-Poisson system, which is the coupling of a Maxwell equations with Schrödinger equation, has been widely adopted as a mathematical framework to explore and evaluate mathematical elements that are crucial for modeling semiconductor heterostructures. For a comprehensive overview of the Schrödinger-Poisson system and related models, for example we refer to [2].
The single particle system, named the Schrödinger-Poisson system, regulates the temporal evolution of the wave function Φ ( x , t ) , which depicts the condition of a non-relativistic quantum particle in space under the influence of a self-consistent potential V generated by its own charge. When related to a single particle system in a vacuum, the Schrödinger equation in R 3 × ( 0 , ) is formulated as
i λ Φ t = λ 2 2 m Δ x Φ + U Φ , lim | x | Φ ( x , t ) = 0 , Φ ( x , 0 ) = ψ ( x ) ,
where λ represents Planck’s constant and m signifies the mass of the particle. To find U, we combine this equation with the Poisson equation:
Δ x U = β | Φ | 2 , lim | x | U = 0 ,
where | Φ ( x , t ) | 2 represents the anticipated particle density for a pure quantum state in the spatial domain R x 3 at time t. The value of β is +1 when the Coulomb force is repulsive and −1 when it is attractive. Our primary focus in this paper is the repulsive case, and the Poisson equation represents the repulsive character of the Coulomb force.
Over the past three decades, the Schrödinger-Poisson system
Δ u + M ( x ) ϕ u + U ( x ) u = h ( x , u ) , i n R 3 , Δ ϕ = M ( x ) u 2 , i n R 3 ,
has been the subject of extensive research because of its wide physical applications. The model like (2) proposed by Benci [3] has been used to describe the relationship between the nonlinear steady-state Schrödinger equation and the electrostatic field, and it is widely used in quantum mechanical models and semiconductor theory. Under the specific hypothesis of U and M, Liu and Guo [4] proved that, by utilizing variational methods, system (2) has a minimum of one positive ground state solution. In [5], Zhang et al. demonstrated the existence of high-energy solutions for system (2) by employing the linking theorem with h ( x , u ) = u 5 . In [6], Zhong and Tang explored system (2) where U 1 , h = μ f ( x ) u + | u | 4 u , and established the problem has at least one ground state sign-changing solution by employing the constraint variational method.
In the framework of fractional Laplacian systems, there are numerous results related to the fractional Schrödinger-Poisson system. Here we list some results related to our paper. Zhang et al. [7] investigated the fractional Schrödinger-Poisson system with subcritical and critical nonlinear terms:
( Δ ) s u + M ( x ) ϕ u + U ( x ) u = h ( x , u ) , i n R 3 , ( Δ ) t ϕ = M ( x ) u 2 , i n R 3 .
Through a perturbation method, they obtained the existence of positive solutions and detailed the asymptotic of solutions. Employing Pohozaev-Nehari manifold, the monotonicity trick and global compactness Lemma, Teng in [8] obtained the existence of ground state solutions for (3) with h ( x , u ) = Q ( x ) | u | 2 s * u + K ( x ) f ( u ) . With the help of the Ljusternik-Schnirelmann theory and penalization techniques, Ambrosio in [9] proved the concentration and multiplicity of positive solutions for system (3) with M 1 , h ( x , u ) = g ( u ) + | u | 2 s * 2 u .
Lately, the logarithmic Schrödinger equation expressed as
i Ψ t = Δ Ψ + V ( x ) Ψ Ψ log Ψ 2 , N 3
with Ψ : [ 0 , + ) × R 3 C , has garnered significant attention because of its profound impact in various fields, including effective quantum, quantum mechanics, and Bose-Einstein condensation. Finding the standing waves of (4), which are represented by Ψ ( x , t ) = exp ( i λ t ) u ( x ) where λ R , is essential. This substitution transforms the equation into
Δ u + V ( x ) u = u log u 2 , i n R N .
The associated energy functional can be expressed as
I ^ ( u ) = 1 2 R 3 ( V ( x ) + 1 ) u 2 + | u | 2 d x 1 2 R 3 u 2 log u 2 d x .
Nonetheless, I ^ might not be well-defined in H 1 ( R 3 ) as there is a u H 1 ( R 3 ) such that R 3 u 2 log u 2 d x = . More precisely, we consider the case where N = 1 and u is a smooth function defined as u ( x ) = ( x log x ) 1 for x 2 and u ( x ) = 0 for x 0 . In this scenario, u belongs to H 1 ( R 3 ) and I ( u ) = + , assuming V grows slowly enough, such as V ( x ) = ( log x ) 1 / 2 when x 2 . To resolve this problem, various techniques have been developed by researchers. Next we review some established results about logarithmic Schrödinger equations. In [10], the authors applied genus theory and the minimax principles for lower semicontinuous functionals as detailed in [11] to find multiple solutions for the problem (5) with periodic potential. Later, inspired by the ideas presented in [10], Ji and Szulkin in [12] proved the existence of multiple solutions for the Equation (5) where V meets
( V 1 )
V C ( R N , R ) and lim | x | V ( x ) = .
( V 2 )
V C ( R N , R ) , lim | x | V ( x ) = sup x R N V ( x ) = : V ( 1 , ) and spectrum σ ( ( Δ ) + V + 1 ) ( 0 , ) .
When the potential meets ( V 1 ) , they acquire the existence of infinitely many solutions for (5) and there exists a ground state solution for (5) when the potential meets ( V 2 ) . By employing variational methods, Alves and Ji in [13] established the existence of multi-bump positive solutions for the equation similar to (5). Another subject that has gained growing attention lately is the logarithmic Schrödinger-Poisson system. Recently, Peng [14] considered existence and concentration of positive solutions for the logarithmic Schrödinger-Poisson system
ϵ 2 Δ u ϕ u + V ( x ) u = u log u 2 , i n R 3 , ϵ 2 Δ ϕ = u 2 , i n R 3 ,
via variational method and penalization scheme under local assumption that potential meets.
Inspired by the above studies, this paper explores the existence of multiple solutions for the logarithmic fractional Schrödinger-Poisson system. To the best of our knowledge, in the fractional scenario, literature on the Schrödinger-Poisson system with logarithmic features is relatively scarce. In the following, we present the main results.
Theorem 1.
Assume that V satisfies ( V 1 ) with N = 3 , problem (1) possesses infinitely many solutions ± u n such that lim n I ( ± u n ) = .
Theorem 2.
Assume that V satisfies ( V 2 ) with N = 3 , problem (1) possesses a ground state solution.
Let us outline the main challenges we faced in this paper: Because of the logarithmic terms, u X may exist such that R 3 u 2 log u 2 = , which can result in the corresponding functional attaining + . Therefore, the functional is not well-defined in H, which makes traditional variational methods inapplicable in this situation. To find solutions for (1), similar to [10], we decompose the functional into the sum of a C 1 functional and a lower semicontinuous convex functional. As far as we know, there are few available results about multiplicity of solutions for fractional Schrödinger-Poisson system, even in the Laplacian setting.
Remark 1.
Our results outline two key differences compared to those of [10]: ( i ) Our equation includes not only logarithmic term but also the nonlocal term ϕ ( x ) u ; ( i i ) We extend the Equation (5) to the fractional Laplacian setting.
This paper is divided into the following sections. The second section provides a review of several lemmas that are utilized throughout the paper. In the third section, we give the proof of Theorem 1. The fourth section is dedicated to demonstrating Theorem 2.
Throughout this article, we note the following:
  • C and C i are different positive constants.
  • The norm u p is defined as R 3 | u | p 1 p .
  • Define B l ( u ) as an open ball with radius l > 0 centered at u, and let B l : = B l ( 0 ) .
  • For a functional I on H, denote by A the critical point set of I, I e : = { u X : I ( u ) e } , I f : = { u X : I ( u ) f } , I e f : = I e I f and A d = A I d d .

2. Preliminaries

Let us first define the homogeneous fractional Sobolev space D t , 2 ( R 3 ) as
D t , 2 ( R 3 ) = { u L 2 t * ( R 3 ) | | ζ | t u ^ ( ζ ) L 2 ( R 3 ) }
which represents the closure of C 0 ( R 3 ) in relation to the norm
u D t , 2 = R 3 | ( Δ ) t 2 u | 2 d x 1 2 = R 3 | ζ | 2 t | u ^ ( ζ ) | 2 d ζ 1 2
for t ( 0 , 1 ) ; see [1] for more details.
Through the Fourier transform [1], the fractional Sobolev space H s ( R 3 ) is defined as
H s ( R 3 ) = u L 2 ( R 3 ) : R 3 ( | ζ | 2 s | u ^ ( ζ ) | 2 + | u ^ ( ζ ) | 2 ) d ζ <
equipped with the norm
u H s = R 3 | ζ | 2 s | u ^ ( ζ ) | 2 + | u ^ ( ζ ) | 2 1 2 .
Based on the Plancherel theorem, it follows that | ζ | s u 2 = ( Δ ) s 2 u 2 and u 2 = u ^ 2 .
Therefore,
u H s = R 3 | ( Δ ) s 2 u | 2 + | u ( x ) | 2 1 2 .
Alternatively, the Sobolev space H s ( R 3 ) is described by
H s ( R 3 ) = u L 2 ( R 3 ) : R 6 ( u ( x ) u ( y ) ) 2 | x y | 3 + 2 s d x d y < .
This space is endowed with a norm determined by
u = R 6 ( u ( x ) u ( y ) ) 2 | x y | 3 + 2 s d x d y + R 3 u 2 d x 1 2 .
Based on Propositions 3.4 and 3.6 in [1], it can be established that
( Δ ) s 2 u 2 2 = 1 C ( s ) R 6 ( u ( x ) u ( y ) ) 2 | x y | 3 + 2 s d x d y .
A widely recognized fact is that H s ( R 3 ) is continuously embedded into L r ( R 3 ) for every r [ 2 , 2 s * ] and compactly embedded into L l o c r ( R 3 ) for every r [ 1 , 2 s * ) , where 2 s * = 6 / ( 3 2 s ) ; see [1] for more details.
In Theorem 1, let
H : = u H s ( R 3 ) : R 3 | ( Δ ) s 2 u | 2 + ( V ( x ) + 1 ) + u 2 d x <
with V ± : = max { ± V , 0 } . Evidently, H is a Hilbert space endowed with the inner product:
u , φ : = R 6 ( u ( x ) u ( y ) ) ( φ ( x ) φ ( y ) ) | x y | 3 + 2 s d x d y + R 3 ( V ( x ) + 1 ) + u φ d x .
It is standard to prove that the space H can be continuously embedded into L r ( R 3 ) for all r [ 2 , 2 s * ] , and locally compact embedded into L l o c r ( R 3 ) for any r [ 1 , 2 s * ) , we refer to [15] for more details.
In Theorem 2, our working space will be H s ( R 3 ) . When V meets the conditions stated in Theorem 2, H : = H s ( R 3 ) is endowed with the inner product:
u , φ : = R 6 ( u ( x ) u ( y ) ) ( φ ( x ) φ ( y ) ) | x y | 3 + 2 s d x d y + R 3 ( V ( x ) + 1 ) u φ d x .
Note that we do not assume the global positivity of V + 1 . In fact, we require that σ ( ( Δ ) s + V + 1 ) ( 0 , ) , which implies that the quadratic form
u R 3 | ( ) s 2 u | 2 + ( V ( x ) + 1 ) u 2 d x
is positive definite on H s ( R 3 ) .
It is well known that if 4 s + 2 t 3 , there is a unique ϕ u t D t , 2 ( R 3 ) for every u H s ( R 3 ) , which is guaranteed through the Lax-Milgram theorem, see for example [16]. This unique function satisfies the equation
R 3 ( Δ ) t 2 ϕ u t ( Δ ) t 2 v d x = R 3 u 2 v d x , v D t , 2 ( R 3 )
which indicates that ϕ u t is a weak solution to
( Δ ) t ϕ u t = u 2 , x R 3 .
Additionally, the expression for ϕ u t is given by
ϕ u t ( x ) = c t R 3 u 2 ( y ) | x y | 3 2 s d y , x R 3
with
c t = π 3 2 2 2 t Γ 3 2 t 2 Γ ( t ) .
This function is referred to as the t-Riesz potential.
By substituting ϕ t = ϕ u t into system (1), we see that system (1) can be reformulated as a single equation
( Δ ) s u + V ( x ) u ϕ u t u = u log u 2 , x R 3 .
It is standard to show that the energy functional I related to problem (7) is
I ( u ) = 1 2 R 3 | ( Δ ) s 2 u | 2 d x + 1 2 R 3 ( V ( x ) + 1 ) u 2 d x 1 4 R 3 ϕ u t u 2 d x 1 2 R 3 u log u 2 d x .
Definition 1.
A solution to Equation (7) means a function u H such that u 2 log u 2 L 1 ( R 3 ) ( i . e . , I ( u ) < ) and
R 3 ( Δ ) s 2 u ( Δ ) s 2 v + V ( x ) u v d x R 3 ϕ u t u v d x = R 3 u v log u 2 d x , v C 0 ( R 3 ) .
First of all, we outline several properties of ϕ u t .
Lemma 1.
If u H and 4 s + 2 t 3 , then the following properties hold:
(i)
ϕ u t 0 in R 3 and R 3 ϕ u t u 2 d x C u 12 3 + 2 t 4 C u 4 , ϕ u t D t , 2 C u 12 3 + 2 t 2 C u 2 .
(ii)
If z R 3 with u z ( x ) = u ( x + z ) , it follows that ϕ u z t ( x ) = ϕ u t ( x + z ) and R 3 ϕ u z t u z 2 d x = R 3 ϕ u t u 2 d x .
(iii)
If u n u i n H , it follows that
R 3 ϕ u t u 2 d x lim inf n R 3 ϕ u n t u n 2 d x
and ϕ u n t ϕ u t in D t , 2 ( R 3 ) .
(iv)
If u n , v n are bounded in H with u n v n 12 3 + 2 t 0 , then
R 3 ϕ u n t u n z d x R 3 ϕ v n t v n z d x f o r a n y z H .
(v)
If u n u in H, then it follows that
K ϕ u n t u n v d x k ϕ u t u v d x
for any v C 0 ( R 3 ) and the compact support K of v.
Proof. 
We just need to verify ( i v ) and (v) since the verifications for (i), ( i i ) and ( i i i ) are available in Lemma 2.1 of [14]. Following the ideas from Lemma 2.2 in [16], we can prove ( i v ) and (v).
  • Verification of ( i v ): Applying Hölder’s inequality along with the condition 4 s + 2 t > 3 which implies H L 12 3 + 2 t ( R 3 ) , we obtain
    R 3 ϕ u n t u n v d x R 3 ϕ v n t v n v d x = R 3 ϕ u n t ( u n v n ) v d x + R 3 R 3 ( u n 2 ( x ) v n 2 ( x ) ) v n ( y ) v ( y ) | x y | 3 2 t d x d y R 3 | u n 2 ( x ) v n 2 ( x ) | ( ϕ v n t ) 1 2 ( ϕ v t ) 1 2 d x + u n v n 12 3 + 2 t v 12 3 + 2 t ϕ u n t 2 t * ϕ v n t 2 t * 1 2 ϕ v t 2 t * 1 2 ( u n 12 3 + 2 t + v n 12 3 + 2 t ) u n v n 12 3 + 2 t + ϕ u n t 2 t * u n v n 12 3 + 2 t v 12 3 + 2 t 0
    for any v H .
  • Verification of (v): Using Hölder’s inequality, 4 s + 2 t > 3 and ( i i i ) which implies
    K | ϕ u n t ϕ u t | 2 t * d x 1 2 t * 0 .
Then we can conclude that
K ϕ u n t u n v d x K ϕ u t u v d x = K ϕ u n t ( u n u ) v d x + K ( ϕ u n t ϕ u t ) u v d x K | u n u | 12 3 + 2 t d x 3 + 2 t 12 v 12 3 + 2 t ϕ u n t 2 t * + K | ϕ u n t ϕ u t | 2 t * d x 1 2 t * u 12 3 + 2 t v 12 3 + 2 t C 1 u n 2 K | u n u | 12 3 + 2 t d x 3 + 2 t 12 v 12 3 + 2 t + K | ϕ u n t ϕ u t | 2 t * d x 1 2 t * u 12 3 + 2 t v 12 3 + 2 t 0 .
As desired.
As in [10], we define
A 1 : = 0 m = 0 , 1 2 m 2 log m 2 0 < | m | ϑ , 1 2 m 2 ( log ϑ 2 + 3 ) + 2 ϑ | m | 1 2 ϑ 2 | m | ϑ ,
and
A 2 ( m ) : = 1 2 m 2 log m 2 + A 1 ( m ) .
Consequently,
A 2 ( m ) A 1 ( m ) = 1 2 m 2 log m 2 .
By choosing a sufficiently small ϑ > 0 , we know that A 1 is convex, A 1 , A 2 C 1 ( R , R ) and | A 2 | C p | m | p 1 , where p ( 2 , 2 s * ) .
Denote
Ψ ( u ) : = 1 2 R 3 | ( Δ ) s 2 u | 2 d x + 1 2 R 3 ( V ( x ) + 1 ) u 2 d x 1 4 R 3 ϕ u t u 2 d x R 3 A 2 ( u ) d x ,
G ( u ) : = R 3 A 1 ( u ) d x .
Hence, I ( u ) = Ψ ( u ) + G ( u ) , Ψ C 1 ( H , R ) , G 0 . Obviously, G is a convex function. Besides, by Fatou’s lemma, we may conclude that G is lower semicontinuous (see [17], Lemma 2.9). Therefore, the critical point theory described in [13] is applicable to the functional I.
Definition 2
(see [11]). Let H be a Banach space and I = Ψ + G , where Ψ C 1 ( H , R ) and G : H ( , ] . Moreover, G is lower semicontinuous, convex and G + .
(i)
D ( I ) : = { u H : I ( u ) < + } is named the effective domain of I.
(ii)
For any u D ( I ) . We define
I ( u ) : = { ξ H * : G ( z ) G ( u ) + Ψ ( u ) , z u ξ , z u }
as the subdifferential of I at u, with z H .
(iii)
For all z H , supposing that u D ( I ) and 0 I ( u ) , i.e.
G ( z ) G ( u ) + Ψ ( u ) , z u 0 ,
then u H is a critical point of I.
(iv)
Assume I ( u n ) is bounded and there exists ε n 0 + such that
G ( z ) G ( u n ) + Ψ ( u n ) , z u n ε n z u n f o r a l l z H ,
then ( u n ) is a Palais-Smale sequence for I.
(v)
I fulfills the Palais-Smale condition if Palais-Smale sequence has a convergent subsequence.
Lemma 2
(see Proposition 2.3 of [12]). If u D ( I ) , then there is a unique ξ H * such that I ( u ) = { ξ } , i.e.,
G ( z ) G ( u ) + Ψ ( u ) , z u ξ , z u f o r t h i s ξ a n d a l l z H .
Furthermore,
R N A 1 ( u ) v d x + Ψ ( u ) , v = ξ , v f o r a n y v H s u c h t h a t A 1 ( u ) v L 1 ( R 3 ) .
This unique ξ is defined as I ( u ) .
Lemma 3.
(i)
If u D ( I ) , then I ( u ) = 0 if and only if ( u , ϕ u t ) is a solution of (1).
(ii)
If I ( u n ) is bounded, then ( u n ) is a Palais-Smale sequence if and only if I ( u n ) = 0 .
(iii)
If I ( u n ) is bounded above, u n u and I ( u n ) 0 , it follows that u is a critical point.
Proof. 
The proof of (i) and ( i i ) is similar to Lemma 2.4 of [12]. Now we prove ( i i i ). In fact, we can deduce that G is weakly lower semicontinuous due to the lower semicontinuity and convexity of G. Therefore, G ( u ) < and u D ( I ) . By ( v ) of Lemma 1 and u n u in L l o c r ( R 3 ) for each r [ 1 , 2 s * ) ,
0 = lim n I ( u n ) , v = lim n R 3 ( ( Δ ) s 2 u n ( Δ ) s 2 v + V ( x ) u n v ) d x R 3 u n v log u n 2 d x R 3 ϕ u n t u n v d x = R 3 ( ( Δ ) s 2 u ( Δ ) s 2 v + V ( x ) u v ) d x R 3 u v log u 2 d x R 3 ϕ u t u v d x = I ( u ) , v
for all v C 0 ( R 3 ) . □
For all u H , we define by A the critical point set of I, for which A = { u D ( I ) : I ( u ) = 0 } . The subsequent pseudo-gradient vector field will be significant in the upcoming sections:
Proposition 1
(see Lemma 2.7 of [10]). If there is a set of points ( u i ) D ( I ) A , a locally finite countable covering ( M i ) of D ( I ) A and a locally Lipschitz continuous vector field F : D ( I ) A H , then the following conclusions hold:
(i)
F ( u ) 1 and I ( u ) , F ( u ) > g ( u ) , where g ( u ) : = min 1 2 I ( u i ) for all i such that u M i .
(ii)
F is odd in u.
(iii)
F possesses locally compact support. That is, for each u 0 D ( I ) A there is a neighbourhood U 0 of u 0 in D ( I ) A and K > 0 such that supp F ( u ) B K ( 0 ) for any u U 0 .
Corollary 1.
For any b R , we can construct ( M i ) , ( u i ) , and F on { u H : b < I ( u ) < } A , where ( M i ) , ( u i ) , and F satisfy all properties in Proposition 1. (i.e., D ( I ) A can be substituted with { u H : b < I ( u ) < } A all the time).
In addition, we will require a logarithmic Sobolev inequality in [18] applicable to all u H s ( R 3 ) , stated as follows:
R 3 u 2 log u 2 d x u 2 2 log u 2 2 + α 2 π s ( Δ ) s 2 u 2 2 3 + 3 s log α + log s Γ ( 3 2 ) Γ ( 3 2 s ) u 2 2
for any α > 0 .

3. Proof of Theorem 1

This section introduces several lemmas that will be utilized later. Firstly, we will demonstrate that the functional I fulfills the Palais-Smale condition.
Lemma 4.
The functional I fulfills the Palais-Smale condition.
Proof. 
First, let us demonstrate the boundedness of the sequence ( u n ) . Select h R such as I ( u n ) h for all n. As n , we have
2 h + o ( 1 ) u n 2 I ( u n ) I ( u n ) , u n = u n 2 2 + 1 2 R 3 ϕ u n t u n 2 d x u n 2 2 .
Using (9), we conclude that
R 3 u 2 log u 2 d x 1 2 ( Δ ) s 2 u 2 2 + C 1 ( log u 2 2 + 1 ) u 2 2 ,
by choosing a sufficiently small α > 0 . Consequently, by employing (10) and (11), we have
4 h + o ( 1 ) u n 4 I ( u n ) I ( u n ) , u n = u n 2 + u n 2 2 R 3 ( V ( x ) + 1 ) u n 2 d x R 3 u n 2 log u n 2 d x 1 2 u n 2 C 2 ( u n + 1 ) 1 + θ ,
where we take 0 < θ < 1 . Therefore, the sequence ( u n ) is bounded and for some u, u n u in H, after passing to a subsequence. Due to the compactness of the embedding H L r ( R 3 ) for r [ 2 , 2 s * ) , as shown in [19], u n u in L r ( R 3 ) . Substituting v = u into (8), we deduce that
u n , u u n R 3 ϕ u n t ( u u n ) u n d x R 3 V ( x ) u n ( u u n ) d x
+ G ( u ) G ( u n ) R 3 A 2 ( u n ) ( u u n ) d x ε n u u n ,
where
R 3 ϕ u n t ( u u n ) u n d x u n 12 3 + 2 t ϕ u n t 2 t * u n u 12 3 + 2 t C u n 3 u n u 12 3 + 2 t 0
as n . Thus,
G ( u ) G ( u n ) + u 2 u n 2 + o ( 1 ) o ( 1 ) .
Since lim inf n G ( u n ) G ( u ) and lim inf n u n 2 u 2 , the above inequalities lead to u n u . Consequently, u n u in H. □
Lemma 5
(see Lemma 3.3 of [12]). Suppose A d = , there is ε 0 > 0 such that no Palais-Smale sequences exists in I d 2 ε 0 d + 2 ε 0 .
Assume A d = and consider ε 0 as defined in Lemma 5. Define κ : H [ 0 , 1 ] as an even function is locally Lipschitz continuous, with κ = 0 on I d ε 0 and κ > 0 elsewhere. Let the flow η be denoted by
d d t η ( t , u ) = κ ( η ( t , u ) ) F ( η ( t , u ) ) , η ( 0 , u ) = u , u I d + ε 0 .
The vector field F which is defined on { u F : d 2 ε 0 < I ( u ) < } A H is described according to Corollary 1. It should be noted that κ ( u ) F ( u ) = 0 if I ( u ) < d ε 0 . In [10], it has been proved t I ( η ( t , u ) ) is differentiable and
I ( η ( t , u ) ) t = I ( η ( t , u ) , t η ( t , u ) .
Therefore, according to (i) of Propositon 1, we see that
I ( η ( t , u ) ) t 0 , t I ( η ( t , u ) )
is non-increasing. Taking into account F ( u ) 1 and A I d ε 0 d + ε 0 = for any t 0 , there exists η ( t , u ) .
Lemma 6
(see Proposition 3.4 of [12]). Assume A d = and let ε 0 be as defined in Lemma 5. If ε ( 0 , ε 0 ) , then for each compact set W I d + ε C 0 ( R 3 ) , there is T > 0 such that η ( T , W ) I d ε .
Given that H is separable and C 0 ( R 3 ) is dense in H, it is possible to find a sequence of subspaces, denoted as ( H k ) , each within C 0 ( R 3 ) and of dimension k, such that H = k = 1 H k ¯ . Define Z k as the orthogonal complement of H k in H, denoted by Z k : = H k . Let
P k : = u H k : u τ k , Q k : = u Z k 1 : u = σ k ,
where τ k > σ k > 0 .
Lemma 7
(see Lemma 3.4 of [20]). If α C ( P k , H ) is odd and α | P k = i d , then α ( P k ) Q k .
Lemma 8.
There exists τ k > σ k > 0 such that
g k : = max u H k , u = τ k I ( u ) 0 f o r a l l k a n d f k : = inf u Q k I ( u ) a s k .
Proof. 
Set u = s ν with u H k and ν 2 = 1 . Subsequently,
I ( s ν ) 1 2 s 2 ν 2 R 3 ( V ( x ) + 1 ) ν 2 d x R 3 ν 2 log ν 2 d x log s 2 .
Considering that all norms in H k are equivalent, coupled with H k C 0 ( R 3 ) , we can conclude that both integrals above are uniformly bounded. Therefore, as s , I ( s ν ) uniformly for all ν . This implies that there exists τ k such that g k 0 . Additionally, τ k can be selected to be arbitrarily large as needed.
Set
ω k : = max u Z k 1 , u = 1 u 12 3 + 2 t .
In order to prove ω k 0 , we refer to Lemma 3.8 in [20]. Specifically, we give the following proof. The sequence ω k is both positive and decreasing, leading to the conclusion that ω k ω 0 . Additionally, there exists a sequence u k Z k 1 with u k = 1 such that u k 12 3 + 2 t ω k / 2 . Considering that u k 0 in H, it follows u k 0 in L 12 3 + 2 t ( R 3 ) . Consequently, we can conclude that ω = 0 .
Employing (11) as demonstrated in Lemma 4, one has
I ( u ) 1 4 u 2 C 1 u 2 2 C 2 ( 1 + u 2 2 θ ) C 3 u 12 3 + 2 t 4 1 4 u 2 C 4 u 12 3 + 2 t 2 C 5 u 12 3 + 2 t 2 θ C 4 u 12 3 + 2 t 4 C 2 ,
where θ ( 1 , 2 ) . Set σ k = 1 ω k and u = σ k . Thus, as k , it can be concluded that
I ( u ) 1 4 σ k 2 C 5 C 4 C 2 ,
which implies that f k . Given that τ k can be selected such that τ k > σ k , this proof is thus completed. □
Proof of Theorem 1. Set
Γ k : = α C ( P k , H ) : α | P k = i d , α ( P k ) h a s c o m p a c t s u p p o r t a n d α i s o d d
and
d k = inf α Γ k max u P k I ( α ( u ) ) .
According to Lemma 7, we find that α ( P k ) Q k , which leads to the conclusion that d k f k . What remains to be shown is that A d k for sufficiently large k. Assuming the opposite, select ε 0 , ε and T according to Lemma 6. Consider α Γ k such that α ( P k ) I d k + ε . Set γ ( u ) : = η ( T , α ( u ) ) , with η representing the flow given in (12). By ( i i ) of Proposition 1, α is odd. Given that η ( T , u ) = u for any u I d k ε 0 , it follows γ | P k = i d , and therefore γ Γ k . According to Lemma 6, we have γ ( P k ) I d k ε , which contradicts the definition of d k .

4. Proof of Theorem 2

In this section, our work is conducted in the space H = H s ( R 3 ) where the functional is defined as
I ( u ) = 1 2 u 2 1 4 R 3 ϕ u t u 2 d x 1 2 R 3 u 2 log u 2 d x .
Lemma 9.
If I ( u n ) is bounded above and I ( u n ) 0 , then ( u n ) is bounded.
Proof. 
Selecting h R such as I ( u n ) h for any n, we derive as n
4 h + o ( 1 ) u n 4 I ( u n ) I ( u n ) , u n 1 2 u n 2 C 2 ( u n + 1 ) 1 + θ ,
where 0 < θ < 1 . Here, we have used (10) once more, by choosing α in (9) to be sufficiently small. Consequently, 1 / 2 in (11) is replaced by a constant a, ensuring that a ( Δ ) s 2 u 2 2 1 2 u 2 . □
We next consider a limiting problem
( Δ ) s u + V u ϕ u t u = u log u 2 i n R 3 .
The associated energy functional is given by
I ( u ) = 1 2 R 3 | ( Δ ) s 2 u | 2 + ( V + 1 ) u 2 d x 1 4 R 3 ϕ u t u 2 d x 1 2 R 3 u 2 log u 2 d x .
Consider the Nehari manifold for I, denoted as
X : = { u D ( I ) { 0 } : I ( u ) , u = 0 } .
In a similar way, the Nehari manifold for I is denoted by X . Following the ideas from [10], we can prove problem (14) exists a nontrivial solution u * and inf u X I = I ( u * ) > 0 . It is obvious that u * is a ground state solution to (14). We first elaborate on the differences from the Section 2.1 of [10]. It is worth noting that Lemma 10, Lemma 12, and Lemma 13 in this paper correspond to Lemma 2.10, Lemma 2.13, and Lemma 2.14 in [10], respectively. For the reader’s convenience, we restate these lemmas below.
Lemma 10
(see Lemma 2.10 of [10]). ρ : = inf { j k : j , k A , j k } > 0 .
Lemma 11
(see Lemma 2.11 of [10]). If ( u n ) , ( v n ) H are two Palais-Smale sequence, then one of the following holds: lim sup n u n v n ρ or u n v n 0 as n .
Proof. 
Choose q = 12 / ( 3 + 2 t ) , where q is in ( 2 , 2 s * ) . Hence there exists a constant C > 0 to ensure | A 2 ( s ) | < C | s | q 1 . Let us first assume u n v n q 0 as n . By Lemma 9, it follows that ( u n ) , ( v n ) are bounded in H. By (8) and ( i v ) of Lemma 1, we conclude that
o ( 1 ) + u n v n 2 = u n v n 2 R 3 ( u n v n ) ( ϕ u n t u n ϕ v n t v n ) d x R 3 ( u n v n ) ( u n log u n 2 v n log v n 2 ) d x + o ( 1 ) = I ( u n ) , u n v n I ( v n ) , u n v n = R 3 ( u n v n ) ( A 2 ( u n ) A 2 ( v n ) ) d x + Ψ ( u n ) , u n v n Ψ ( v n ) , u n v n C R 3 | u n v n | ( | v n | q 1 + | u n | q 1 ) d x + 2 ε n u n v n C 1 u n v n q + 2 ε n u n v n .
So u n v n 0 as n .
Suppose now that u n v n q 0 . Using Lions’ lemma (see Lemma 1.21 of [20] or Lemma I.1 of [21]), it is easy to find a sequence ( a n ) R 3 and ϑ > 0 such that, for sufficiently large n,
B 1 ( a n ) ( u n v n ) 2 d x ϑ .
By ( i i ) of Lemma 1, I is invariant under translations by elements of R 3 , the subsequence ( a n ) can be assumed to be bounded. Thus, after taking a subsequence, u n u , v n v and u v . By ( i i i ) of Lemma 3, we have u , v A . Hence
lim sup n u n v n u v ρ .
This finishes the proof. □
Remark 2.
As in Remark 2.12 of [10], the conclusions of Lemmas 10–13 remain valid on I h , we just need to show that u , v I h within the argument for Lemma 11. By the lower semicontinuity of u 2 2 and ( i i i ) of Lemma 1,
h I ( u n ) 1 2 I ( u n ) , u n + o ( 1 ) = 1 2 u n 2 2 + 1 4 R 3 ϕ u n t u n 2 d x + o ( 1 ) 1 2 u 2 2 + 1 4 R 3 ϕ u t u 2 d x + o ( 1 ) = I ( u ) 1 2 I ( u ) , u + o ( 1 ) = I ( u ) + o ( 1 ) .
Therefore, u I h and similarly, v I h .
Now, we turn our focus to the flow η ˜ as defined by
d d t η ˜ ( t , u ) = F ( η ˜ ( t , u ) ) , η ˜ ( 0 , u ) = u , u D ( I ) A .
Denote the maximal existence time for the trajectory t η ˜ ( t , u ) as ( Y ( u ) , Y + ( u ) ) .
Lemma 12
(see Lemma 2.13 of [10]). Let u D ( I ) A . Then there are two possible outcomes: either Y + ( u ) = + , lim t Y + ( u ) I ( η ˜ ) = or lim t Y + ( u ) η ˜ ( t , u ) exists and is a critical point of I.
Let h > 0 , select ε 1 > 0 such that I h 2 ε 1 h + 2 ε 1 A = A h .
Lemma 13
(see Lemma 2.14 of [10]). For every μ > 0 there is ε ( 0 , ε 1 ) such that
lim t Y + ( u ) I ( η ˜ ( t , u ) ) < d ε , w h e n e v e r u I d + ε U μ ( A h ) .
Furthermore, for all t [ 0 , Y + ( u ) ) , we have η ˜ ( t , u ) U μ 2 ( A h ) I h ε .
Lemma 14.
There is a , b > 0 such that I ( u ) 0 holds for any u B a ( 0 ) and I ( u ) b for any u S b ( 0 ) .
Proof. 
For the proof we mimic that of Lemma 2.15 in [10]. In view of (i) of Lemma 1, | A 2 ( s ) | < C | s | p 1 and G 0 , we find that I ( u ) Ψ ( u ) = 1 2 u 2 + o ( u 2 ) . Therefore, the desired result follows. □
Inspired by the idea of [10], we can prove that problem (7) possesses a ground state solution. In fact, for any u D ( I ) { 0 } , we define φ u : = I ( l u ) , l > 0 ; then, we obtain
φ u ( l ) = l 1 2 u 2 l 2 R 3 ϕ u t u 2 d x R 3 u 2 log u 2 d x 2 u 2 2 log l u 2 2 .
Rewrite φ u ( l ) = l g u ( l ) , where
g u ( l ) = 1 2 u 2 l 2 R 3 ϕ u t u 2 d x R 3 u 2 log u 2 d x 2 u 2 2 log l u 2 2 .
It can be easily infered from (18) that lim l 0 + g u ( l ) > 0 and lim l + g u ( l ) < 0 . Obviously, for all l > 0 , g u ( l ) < 0 , so there exists a unique l 0 such that g u ( l 0 ) = 0 . Note that l 0 > 0 , we confirm that φ u ( l 0 ) = 0 from (17) and l 0 is the only intersection of the φ u ( l ) with X . Furthermore, φ u ( l ) as l . When u = 1 , the mapping l Ψ ( l u ) increases for all 0 < l < l 0 (where l 0 is independent of u) and l G ( l u ) increases for all l > 0 thanks to its convexity. Therefore, X is bounded away from the origin. Set
Γ : = { γ C ( [ 0 , 1 ] , H ) : γ ( 0 ) = 0 , I ( γ ( 1 ) ) < 0 }
and
c : = inf γ Γ sup s 0 , 1 I ( γ ( s ) ) , c X : = inf u X I ( u ) .
Based on Lemma 14, we have that c b > 0 . Obviously, c c X . Suppose that for some ε 1 > 0 , there are no nontrivial solution with energy levels below c + ε 1 . By Remark 2, we can apply Lemma 13 with U μ ( A c ) = and a sufficiently small ε < ε 1 . We explore the flow denoted by
d d t η * ( t , u ) = κ * ( η * ( t , u ) ) F ( η * ( t , u ) ) , η * ( 0 , u ) = u , u I c + ε ,
where κ * : H [ 0 , 1 ] is locally Lipschitz continuous such that κ * = 0 on I c / 2 , κ * > 0 elsewhere. By Lemma 13, we obtain a contradiction and a sequence of nontrivial solutions u n . Hence we deduce that c = c X and thus I ( u n ) c . Furthermore, we assume u n u in H as n . According to ( i i i ) of Lemma 3, u is a solution of (14). If u n 12 3 + 2 t 0 , then
o ( 1 ) = I ( u n ) , u n u n 2 C 1 { u n 2 1 e } | u n | 12 3 + 2 t d x C 2 u n 12 3 + 2 t 4
which implies that u n 0 as n . This contradicts the assumption that ( u n ) X . Therefore, u n 12 3 + 2 t 0 and then we can find a sequence ( a n ) R 3 and ϑ > 0 such that for large n,
B 1 ( a n ) u n 2 d x ϑ ,
thanks to Lions’ lemma (see Lemma 1.21 of [20] or Lemma I.1 of [21]). Using the method applied in Lemma 11, we can assume that the sequence ( a n ) remains bounded after necessary translations. Hence, for the (translated) sequence ( u n ) , it follows u n u 0 as n . Based on ( i i i ) of Lemma 3, u A , so I ( u ) c . Following the reasoning in Remark 2, we also conclude that I ( u ) c . Thus, I ( u ) = inf u X I , indicating that u is a ground state solution.
Remark 3.
It is worth mentioning that if V ( x ) = V > 1 , then the above results remains valid. In this case, there is a nontrivial solution u * 0 for (14) and satisfying inf u X I = I ( u * ) .
Lemma 15.
(i)
If V V , then c X < c * , where c * : = inf u X I ( u ) .
(ii)
If I ( u n ) d ( 0 , c * ) and I ( u n ) 0 then u n u 0 ; after takeing a subsequence, u is a critical point of I and I ( u ) d .
Proof. (i) Choose l 0 > 0 such that l 0 u * X , where u * 0 is a ground state solution of (14). Considering V < V in some open set and u * 0 , l I ( l u * ) for all l > 0 has a unique maximum at l = 1 ,
c X I ( l 0 u * ) < I ( l 0 u * ) I ( u * ) = c * .
(ii) According to Lemma 9, we have u n u in H after passing to a subsequence. Furthermore, as stated in ( i i i ) of Lemma 3, u is a critical point of I. Following the same argument as in Remark 2, we get I ( u ) d . Now there is only the task of demonstrating that u 0 . Indirectly, let us assume u 0 . Given that V ( x ) V as | x | and u n 0 in L l o c 2 ( R 3 ) , we find
I ( u n ) I ( u n ) = 1 2 R 3 ( V V ( x ) ) u n 2 d x 0 .
Thus, I ( u n ) d . By applying the Sobolev inequality and the Hölder inequality, and choosing v such that v = 1 , we derive
| I ( u n ) I ( u n ) , v | R 3 | u n | | v | ( V V ( x ) ) d x C R 3 ( V V ( x ) ) 2 u n 2 d x 1 2 .
The expression on the right converges to 0 uniformly when v = 1 , I ( u n ) I ( u n ) 0 . Therefore, I ( u n ) 0 . If u n 12 3 + 2 t 0 , according to (20), we have u n 0 in H. By setting v = 0 in (8), we obtain
Ψ ( u n ) , u n G ( u ) ε n u n .
This implies that G ( u n ) 0 . Thus, I ( u n ) 0 , which contradicts the assumption that I ( u n ) d > 0 . Consequently, u n 12 3 + 2 t 0 . By means of Lions’ lemma, we deduce that there exist sequences ( b n ) R 3 and ϑ > 0 such that for large n,
B 1 ( b n ) u n 2 d x ϑ .
Set w n ( x ) : = u n ( x + b n ) . By ( i i ) of Lemma 1, I is invariant under translations by elements of R 3 , thus I ( w n ) d and I ( w n ) 0 . Furthermore,
B 1 ( 0 ) w n 2 d x = B 1 ( b n ) u n 2 d x ϑ .
and hence w n w 0 after taking a subsequence. Thus w is a nontrivial critical point of I satisfying I ( w ) d < I ( u * ) . Consequently, this leads to a contradiction. □
Proof of Theorem 2. According to Remark 3, if V V , then u * is the exact solution we seek for. Therefore, suppose V ( x ) < V for some x. Let us assume that there is ε 0 ( 0 , c / 2 ) such that there are no Palais-Smale sequences in I c 2 ε 0 c + 2 ε 0 . Let ε ( 0 , ε 0 ) . Select γ Γ so that γ ( [ 0 , 1 ] ) I c + 2 / ε . It can be assumed I ( γ ( 1 ) ) < ε / 2 . Let τ K C 1 ( R 3 , [ 0 , 1 ] ) be such that τ K = 1 if | x | K , τ K = 0 if | x | 2 K and ( Δ ) s 2 τ K 2 1 . Let u K ( x ) : = τ K u ( x ) . We observe that u K u 0 uniformly in u γ ( [ 0 , 1 ] ) as K + . Given that Ψ C 1 ( H , R ) , there is K > 0 such that for any u γ ( [ 0 , 1 ] ) , we have Ψ ( u K ) Ψ ( u ) + ε / 2 . Additionally, since A 1 is convex and | u K | | u | , we conclude that G ( u K ) G ( u ) . Therefore, γ K ( [ 0 , 1 ] ) I c + ε and I ( γ K ( 1 ) ) < 0 , where γ K ( s ) : = τ K γ ( s ) . By the definition of compact support, we can conclude that γ K has compact support and since γ K ( 0 ) = 0 , we obatin γ K Γ . According to Lemma 6, let α K ( s ) = η ( T , γ K ( s ) ) and we derive α K Γ , leading to α K ( [ 0 , 1 ] ) I c ε , thereby conflicting with the definition of c. Due to the fact that ε 0 may be taken arbitrarily small, there is a sequence u n such that I ( u n ) c and I ( u n ) 0 . Through Lemma 15, we acquire a nontrivial critical point u of I, fulfilling I ( u ) c . Therefore, u X . Consequently, c = c X and u is a ground state solution. Thus, the proof is complete.

5. Conclusions

In the article, we investigate the existence of solutions for a logarithmic fractional Schrödinger-Poisson system with a potential which may change sign. Due to the lack of smoothness of the functional I, we employed the approach explored in [10,12] to establish our results. Some main results are as follows:
(i)
When the potential was coercive, we applied some arguments of the Fountain theorem to show d k . Subsequently, by using the deformation lemma (Lemma 6), we demonstrated that A d k for sufficiently large k. Consequently, we established the existence of infinitely many solutions for the system (1).
(ii)
When the potential was bounded, following the ideas from [10], we proved the existence of a ground state solution for problem (14). Additionally, by utilizing the deformation lemma (Lemma 6) and the Nehari method, we confirmed the existence of a ground state solution for the system (1).

Author Contributions

Formal analysis, S.L.; Writing—original draft, L.G. and Y.L.; Writing—review & editing, L.G., Y.L. and S.L.; Funding acquisition, L.G. and S.L. All authors have read and agreed to the published version of the manuscript.

Funding

This work is supported by the Heilongjiang Province Universities Excellent Young Teachers Basic Research Support Program (No. YQJH2023074), the Science and Technology Development Plan Project of Jilin Province, China (Grant No. YDZJ202201ZYTS582), the Young outstanding talents project of Scientific Innovation and entrepreneurship in Jilin (No. 34220240601048RC), the National Natural Science Foundation of China (Grant No. 12371455), Natural Science Foundation of Changchun Normal University (No. CSJJ2023004GZR) and the Innovation and Entrepreneurship Talent Funding Project of Jilin Province (Grant No. 2023QN21).

Data Availability Statement

The manuscript has no associated data.

Acknowledgments

Lifeng Guo would like to thank the Heilongjiang Province Universities Excellent Young Teachers Basic Research Support Program (No. YQJH2023074) for the supporting. Sihua Liang would like to thank the Science and Technology Development Plan Project of Jilin Province, China (Grant No. YDZJ202201ZYTS582), the Young outstanding talents project of Scientific Innovation and entrepreneurship in Jilin (No. 34220240601048RC), the National Natural Science Foundation of China (Grant No. 12371455), Natural Science Foundation of Changchun Normal University (No. CSJJ2023004GZR) and the Innovation and Entrepreneurship Talent Funding Project of Jilin Province (Grant No. 2023QN21) for the supporting.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. 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]
  2. Markowich, P.A.; Ringhofer, C.A.; Schmeiser, C. Semiconductor Equations; Springer: Vienna, Austria, 1990. [Google Scholar]
  3. Benci, V.; Fortunato, D. An eigenvalue problem for the Schrödinger-Maxwelle equations, Topol. Methods Nonlinear Anal. 1998, 11, 283–293. [Google Scholar]
  4. Liu, Z.; Guo, S. On ground state solutions for the Schrödinger-Poisson equations with critical growth. J. Math. Anal. Appl. 2014, 14, 435–448. [Google Scholar] [CrossRef]
  5. Zhang, X.; Ma, S.; Xie, Q. Bound state solutions of Schrödinger-Poisson system with critical exponent Discrete Contin. Dyn. Syst. 2017, 37, 605–625. [Google Scholar]
  6. Zhong, X.; Tang, C. Ground state sign-changing solutions for a Schrödinger-Poisson system with a critical nonlinearity in R3. Nonlinear Anal. Real World Appl. 2018, 39, 166–184. [Google Scholar] [CrossRef]
  7. Zhang, J.; do Ó, J.M.; Squassina, M. Fractional Schrödinger-Poisson systems with a general subcritical or critical nonlinearity. Adv. Nonlinear Stud. 2016, 16, 15–30. [Google Scholar] [CrossRef]
  8. Teng, K. Existence of ground state solutions for the nonlinear fractional Schrödinger-Poisson system with critical Sobolev exponent. J. Differ. Equ. 2016, 261, 3061–3106. [Google Scholar] [CrossRef]
  9. Ambrosio, V. Multiplicity and concentration results for a class of critical fractional Schrödinger-Poisson systems via penalization method. Commun. Contemp. Math. 2020, 22, 1850078. [Google Scholar] [CrossRef]
  10. Squassina, M.; Szulkin, A. Multiple solutions to logarithmic Schrödinger equations with periodic potential. Calc. Var. Partial Differ. Equ. 2015, 54, 585–597. [Google Scholar] [CrossRef]
  11. Szulkin, A. Minimax principles for lower semicontinuous functions and applications to nonlinear boundary value problems. Ann. Inst. H. Poincaré Anal. Non Linéaire 1986, 3, 77–109. [Google Scholar] [CrossRef]
  12. Ji, C.; Szulkin, A. A logarithmic Schrödinger equation with asymptotic conditions on the potential. J. Math. Anal. Appl. 2016, 437, 241–254. [Google Scholar] [CrossRef]
  13. Alves, C.O.; Ji, C. Multi-bump positive solutions for a logarithmic Schrödinger equation with deepening potential well. Sci. China Math. 2022, 65, 1577–1598. [Google Scholar] [CrossRef]
  14. Peng, X. Existence and concentration behavior of solutions for the logarithmic Schrödinger-Poisson system via penalization method. J. Math. Anal. Appl. 2022, 513, 126249. [Google Scholar] [CrossRef]
  15. Pucci, P.; Xiang, M.; Zhang, B. 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]
  16. Teng, K.; Agarwal, R. Existence and concentration of positive ground state solutions for nonlinear fractional Schrödinger–Poisson system with critical growth. Math. Meth. Appl. Sci. 2018, 41, 8258–8293. [Google Scholar] [CrossRef]
  17. D’Avenia, P.; Montefusco, E.; Squassina, M. On the logarithmic Schrödinger equation. Commun. Contemp. Math. 2014, 16, 1–15. [Google Scholar] [CrossRef]
  18. Cotsiolis, A.; Tavoularis, N.K. On logarithmic Sobolev inequalities for higher order fractional derivatives. Comptes Rendus Math. 2005, 340, 205–208. [Google Scholar] [CrossRef]
  19. Bartsch, T.; Pankov, A.; Wang, Z. Nonlinear Schrödinger equations with steep potential well. Commun. Contemp. Math. 2001, 3, 549–569. [Google Scholar] [CrossRef]
  20. Willem, M. Minimax Theorems; Birkhäuser: Boston, MA, USA, 1996. [Google Scholar]
  21. Lions, P.L. The concentration-compactness principle in the calculus of variations. The locally compact case. II. Ann. Inst. H. Poincaré Anal. Non Linéaire 1984, 1, 223–283. [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

Guo, L.; Li, Y.; Liang, S. Solutions for a Logarithmic Fractional Schrödinger-Poisson System with Asymptotic Potential. Fractal Fract. 2024, 8, 528. https://doi.org/10.3390/fractalfract8090528

AMA Style

Guo L, Li Y, Liang S. Solutions for a Logarithmic Fractional Schrödinger-Poisson System with Asymptotic Potential. Fractal and Fractional. 2024; 8(9):528. https://doi.org/10.3390/fractalfract8090528

Chicago/Turabian Style

Guo, Lifeng, Yuan Li, and Sihua Liang. 2024. "Solutions for a Logarithmic Fractional Schrödinger-Poisson System with Asymptotic Potential" Fractal and Fractional 8, no. 9: 528. https://doi.org/10.3390/fractalfract8090528

APA Style

Guo, L., Li, Y., & Liang, S. (2024). Solutions for a Logarithmic Fractional Schrödinger-Poisson System with Asymptotic Potential. Fractal and Fractional, 8(9), 528. https://doi.org/10.3390/fractalfract8090528

Article Metrics

Back to TopTop