Existence of Nontrivial Solution for Klein-Gordon-Maxwell System with Logarithmic Nonlinearity ()
1. Introduction and Main Results
Our main purpose in this paper is to study the existence of nontrivial solution for the following system:
(1.1)
where
is a smooth bounded domain,
is parameters. We assume:
(V)
and
.
In recent years, the following Klein-Gordon-Maxwell system:
(1.2)
has been object of interest for many researchers,
is a parameter,
,
and
. Such a system was first introduced by Benci and Fortunato [1] as a model describing solitary waves for the nonlinear Klein-Gordon equation interacting with an electromagnetic field. The unknowns of the system are the field u associated to the particle and the electric potential
. The presence of the nonlinear term f simulates the interaction between many particles or external nonlinear perturbations. By applying a well known equivariant version of mountain pass theorem, Benci and Fortunato [1] [2] first studied the following special Klein-Gordon-Maxwell system with constant potential
,
(1.3)
They considered
and
,
, and proved that system (1.3) has infinitely many radially symmetric solutions. In [3], D’Aprile and Mugnai extended the interval of definition of the power in the nonlinearity for the case
. A nonexistence result has been established by the same authors in [4]. In [5] [6] the existence of ground state solutions of (1.3) was established.
Furthermore, if system (1.3) is added by a lower order perturbation, in the year 2004, Cassani [7] studied this kind of Klein-Gordon-Maxwell system:
(1.4)
he obtained the existence of a radially symmetric solution. Later, Wang [8] improved the result of [7]. Without need of symmetry, other related results about the autonomous Klein-Gordon-Maxwell system with a more general function
can be found in [9] [10] [11] and references therein. Very recently, the existence result for the (1.2) with a nonconstant potential
can be found in [12] [13] [14] [15] [16] [17] and so on. Furthermore, on bounded domains about Klein-Gordon-Maxwell system we refer to research in [18] [19].
Moreover, logarithmic nonlinearity is widely used in partial differential equations which describe the mathematical and physical phenomena. For elliptic equations with logarithmic nonlinearity, we can refer to [20] [21] [22] [23] [24] and the references therein. Compared with polynomial nonlinearity, logarithmic nonlinearity has both advantages and disadvantages. However, because logarithmic nonlinearity didn’t satisfy the monotonicity condition and Ambroseti-Rabinowitz condition which is quite different from these in the polynomial case.
Remark 1.1. In this paper, we have:
(1.5)
it is obviously different from the usual conditions,
(1.6)
In other words,
cannot be a special case of
in general.
Now we state our main results as following.
Theorem 1.1. Assume (V) hold. Then when
problem (1.1) has a nontrivial solution
.
The plan of the paper is as follows. In Section 2, we give the variational framework for problem (1.1) and some preliminary results. In Section 3, we prove the some basic lemmas. In Section 4, we complete the proof of Theorem 1.1.
Throughout the paper, we give the following natations:
・ C and
for psositive constants;
・
denote the norm of
;
・
denote the norm of
;
・
denotes the norm of
;
・ S denotes the Sobolev constant.
2. Variational Setting and Preliminaries
Let
E is a Hilbert space with the inner product,
and the norm,
which is equivalent to the standard norm in
. Obviously, the embedding
↪
is continuous, for any
, where
. Consequently, for each
, there exists a constant
such that,
(2.1)
The solutions
of the (1.1) system are critical points of the functional
defined as:
(2.2)
By standard argument we can see that
and that weak solutions of (1.1) turn out to be critical points for the energy functional J.
To obtain our main result, we have to overcome several difficulties. The first difficulty is that J is strongly indefinite, that is, is unbounded both from below and from above on infinite-dimensional subspaces. In order to avoid this indefiniteness, which rules out many of the usual tools of critical point theory, a reduction method is performed in [2] which we now recall.
Similar to [ [4], Lemma 2.1], which deal with in the case of entire domain
, for u and
defined above, we have the following lemmas.
Lemma 2.1. For every
, there exists a unique
which solves the equation:
(2.3)
Moreover, the map
is continuously differentiable, and
(2.4)
Proof. Its proof is similar to [19] [25]. □
Multiplying (2.3) by
and integrating by parts, one has
(2.5)
Using (2.2) and (2.5), the functional
reduces to the following form
(2.6)
and we have for any
(2.7)
Then,
is a weak solution of (1.1) if, and only if,
and
is a critical point of I, that is, a weak solution of
(2.8)
for any
.
The second, to deal with logarithmic nonlinearity
. We shall also need a logarithmic Sobolev inequality [26] which holds for all
and
, we have
(2.9)
For
, we can define
for
. Then it holds, for any positive number b,
(2.10)
Lemma 2.2. (Sobolev imbedding theorem) [ [27], Theorem 1.8] The following imbeddings are continuous:
In particular, the Sobolev inequality holds:
Lemma 2.3. [ [27], Lemma 2.13] Set
,
, then functional
,
(2.11)
is weakly continuous.
Lemma 2.4 (Hölder inequality) [28] Assume
,
. Then
if
, we have
(2.12)
3. Some Basic Lemmas
In this section, we prove that the functional I satisfy the Palais-Smale condition in the cases
and
. First, we recall that a
functional I satisfies the Palais-Smale condition at level c ((PS)c in short) if every sequence
satisfying
and
has a convergent subsequence.
We first begin giving the following general mountain pass theorem (see [29]).
Theorem 3.1. Let X is a real Banach space and
, with
. Assume that
1) there exist
such that
for all
, with
;
2) there exist
satisfying
such that
.
Define
,
(3.1)
and there exists a (PS)c sequence
.
Next, we begin proving that I satisfies the assumptions of the mountain pass theorem.
Lemma 3.1. Suppose that
and
are satisfied. Then the functional I satisfies the mountain pass geometry, that is,
1) there exist
such that
for any
such that
;
2) there exists
with
such that
.
Proof. By (V), (2.4) and (2.10), one has
(3.2)
When
and
, we get
.
Then, by Sobolev imbedding theorem, one has
When
, we can choose
such that
for
.
On the other hand, let
and
, using (2.4), we get
(3.3)
Thus, there exists
such that
. This completes the proof of Lemma 3.1.
Lemma 3.2. Assume (V) and
hold. Then I satisfies the (PS)c condition, that is, for any (PS)c sequence
, there admits a subsequence strongly convergent in E.
Proof. First we show that
is bounded. We assume that
satisifies
(3.4)
and
(3.5)
One has
(3.6)
where
are positive constants. Since
, then
is bounded in E. Going if necessary to a subsequence (still denoted by
), we can assume that
According to (2.7), one obtains
(3.7)
Similarly, one gets
(3.8)
We easily get that
(3.9)
It is clear that
(3.10)
In fact, by (2.5), we get
(3.11)
So
is bounded in
. By the Hölder inequality and the Sobolev inequality, one has
(3.12)
Because
in
for any
, we have
(3.13)
and
(3.14)
Thus, we get
(3.15)
Observe that the sequence
is bounded in
, since
(3.16)
so
(3.17)
Because
, by Lemma 2.3, we get
(3.18)
By
, and Hölder inequality, one has
(3.19)
Moreover, by the Hölder inequality, we have that
(3.20)
Therefore, according to (3.10)-(3.20), we obtain that
(3.21)
Thus
has a strongly convergent subsequence in E.
4. Proof of Theorem 1.1
Next, we only need to prove that
. Suppose by contradiction that
, and hence
. Since as
,
,
in
. Thus we get
We may assume
Obviously,
in E. As a consequence we obtain that
According to
, we get
which implies that
is impossible, this is, which contradicts with
. Therefore, u is a nontrivial solution of system (1.1). We have completed the proof of Theorem 1.1.