Normalized Solutions of Mass-Subcritical Klein-Gordon-Maxwell Systems ()
1. Introduction
In this paper, we consider the following Klein-Gordon-Maxwell systems
(1.1)
where
is a positive real constant, the parameter
appears as a Lagrange multiplier,
and
,
. The field u and the electric potential
are the unknowns of the systems. Moreover, the field u satisfies the normalization condition
(1.2)
We shall dedicate to search for a solution
of the problem
(1.3)
where we define the Hilbert space
Then,
is continuously embedded in
and endowed with the norm
Let
with the norm
For any
,
is endowed with the norm
Obviously, the embedding
↪
is continuous.
We define a functional
by
(1.4)
where
is a rather general nonlinearity. Then, we can know that the weak solutions of (1.1)
are critical points of the functional J. By standard arguments, the function J is
on
.
We can search for a lot of known results about solutions of Klein-Gordon-Maxwell systems without the normalization condition. For instance, Paulo C. Carrião and Patrícia L. Cunha [1] combining the minimization of the corresponding Euler-Lagrange functional and Nirenberg technique proved the existence of positive ground state solutions for the following Klein-Gordon-Maxwell systems:
Xian Zhang and Chen Huang [2] combining a local linking argument and Morse theory investigated a nontrivial solution of the nonlinear Klein-Gordon-Maxwell systems. Daniele Cassani [3] overcame the lack of compactness using the Brezis-Nirenberg method to obtain the existence of solutions for the nonlinear Klein-Gordon-Maxwell systems. Viert Benct and Donato Fortunato [4] proved the existence of infinitely many pairs solutions for the nonlinear Klein-Gordon-Maxwell equation:
Similar to the above problems of Klein-Gordon-Maxwell systems without the normalization condition have been studied in many papers such as [5] [6] [7] . However, few works have been done on the problems satisfying the normalization condition. Thus, the main purpose of this paper is to study the existence of solutions satisfying the normalization condition for the Klein-Gordon-Maxwell systems.
In recent years, normalized solutions of Schrödinger equations have been widely studied. See, e.g. [8] - [13] . When searching for the existence of normalized solutions of Schrödinger equations in
, appears a new mass-critical exponent
Now, let us review the involved works. In the mass-subcritical case, Zuo Yang and Shijie Qi [14] using weak lower semmicontinuity of norm obtained the existence of a normalized ground state solution for the following Schrödinger equations with potentials and non-autonomous nonlinearities
where
as
. Nicola Soave [15] in the mass-subcritical, mass-critical and mass-supercritical cases studied several existence/non-existence and stability/instability results of normalized ground state solutions of the nonlinear Schrödinger equation with combined power nonlinearities:
Masataka Shibata [16] studied the mass-subcritical case for the minimizing problem of nonlinear Schrödinger equations with a general nonlinear term:
where
They showed that there exists
such that
is attained for
. Moreover, Norihisa Ikoma and Yasuhito Miyamoto [17] also studied the existence of the minimizer of the
-constraint minimization problem
, but
, and
is a general nonlinear term, and
,
. For the existence of normalized solutions, they obtained the same conclusions to [16] . Zhen Chen and Wenming Zou [18] proved the existence of normalized solutions to the following system
with the mass-subcritical condition
. They studied the existence of a solution with prescribed
-norm under various conditions. The results were based on the refined energy estimates. In the mass-supercritical and Sobolev subcritical case, Thomas Bartsch and Riccardo Molle [19] by a new min-max argument studied the existence of normalized solutions of the nonlinear Schrödinger equation:
Thomas Bartsch [20] showed the existence of infinitely many normalized solutions for the problem
where
is a superlinear, subcritical, possibly nonhomogeneous, odd nonlinearity.
Inspired by the above works, we are dedicated to studying the solutions of Klein-Gordon-Maxwell systems satisfying normalization condition. In particular, the situation we consider will involve the presence of electric potential
. In addition,
is a positive function satisfying the following appropriate assumptions, and the nonlinear term
is mass-subcritical. In this case, the functional I is bounded from below and coercive on
, which will be proved in Lemma 2.3.
We assume the following conditions throughout the paper:
(f1)
is continuous.
(f2)
and
with
.
(V1)
, and
.
(V2)
.
Moreover, c and
are positive constants which may change from line to line.
Our main result is the following theorem:
Theorem 1.1. Suppose (f1) and (f2) hold and V(x) satisfies (V1) and (V2). Then, for any
, problem (1.3) has a normalized ground state solution.
2. Proof of Main Results
Since the functional J exhibits a strong indefiniteness. To avoid the difficulty we use the reduction method. Thus, we introduce following the technical lemma that is described in [1] [3] [4] for details.
Lemma 2.1. The Lax-Milgram theorem implies that for any
, there exists a unique solution
of
. Moreover, in the set
, for
, we have
(2.1)
By Lemma 2.1, let any
be an admissible test function of the second equation of (1.1). Then, we have
Using integration by parts, we have
Therefore,
(2.2)
According to Lemma 2.1, we define
and we know that the map
is
.
Combining (1.4) and (2.2), we obtain
(2.3)
Multiplying both members of (2.2) by
and integrating by parts, we obtain
(2.4)
Now let us consider the functional
,
Then I is
, and by (2.3) we have
.
By the definition of J, we have
By (2.4), the functional I can be written as
(2.5)
Then u is a solution to (1.1) if and only if u is the critical point of the functional (2.5). The critical point will be obtained as the minimizer under the constrain of
-sphere
We are going to study the minimization problem with
-constraint
(2.6)
The solution of (2.6)
is called a normalized ground state solution satisfying problem (1.3) if it has minimal energy among all solutions:
In this paper, we will be especially interested in the existence of normalized ground state solutions.
Lemma 2.2. (Gagliardo-Nirenberg inequality). For all
, we have
where
is a positive constant depending on N and
.
Lemma 2.3. Suppose (f1) and (f2) hold. Then, for any
, the functional I is bounded from below and coercive on S(a).
Proof. Assumptions (f1) and (f2) imply that for any
, there exist
such that
Hence, combining Lemma 2.2 and
we obtain
Since we can choose
such that
, and according to (2.1) we have
Therefore, I is bounded from below and coercive on
.¨
The following lemma is Lemma 2.2 in [16] .
Lemma 2.4. Suppose (f1) and (f2) hold and
is a bounded sequence in
. If
holds, then it is true that
Next, we collect a variant of Lemma 2.2 in [21] . The proof is similar, so we omit it.
Lemma 2.5. Suppose (f1) and (f2) hold and
is a bounded sequence in
, then we have
in
, thus
When
satisfies (V1) and (V2), the functional I is weakly lower semi-continuous. Thus, the following compact embedding theorem holds, which follows from Lemma 3.4 in [22] .
Lemma 2.6. Suppose (V1) and (V2) hold. Then the embedding
↪
is compact for any
.
Proof of Theorem 1.1. Let
be a minimizing sequence of I with concerning
. Then, by (2.5) we obtain
According to Lemma 2.3, we know that
is bounded in
. Moreover, letting
be in
, and by Lemma 2.6 we conclude
(2.7)
(2.8)
We also have
Since (2.8) holds, we have
. Then, by Lemma 2.4 we obtain
Moreover, by Lemma 2.5 we have which implies
(2.9)
Hence, combining (2.1), (2.9) and weak lower semicontinuity of the norm
, we have
which implies
. Then,
satisfies
and
. Therefore, problem (1.3) has a normalized ground state solution.¨