 Research
 Open Access
 Published:
Nonexistence and existence of nontrivial solutions for Klein–Gordon–Maxwell systems with competing nonlinearities
Boundary Value Problems volume 2019, Article number: 31 (2019)
Abstract
In this paper, we study the following nonlinear Klein–Gordon–Maxwell system:
where ω is a positive constant, \(q>2\), \(r\in (2,\min \{6,q\})\), \(a\in L^{\frac{6}{6r}}(\mathbb{R}^{3})\) is a positive potential, \(b\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{3})\) is also a positive potential. Under some integrability assumption on \(\frac{a^{q2}}{b^{r2}}\), nonexistence and existence results are obtained depending on λ via variational methods.
Introduction and main results
In this paper, we deal with a class of Klein–Gordon–Maxwell systems with a type of concave–convex nonlinearities via variational methods. More precisely, the problem that we study is as follows:
where ω is a positive constant, \(q>2\), \(r\in (2,\min \{6,q\})\), the potential functions a and b satisfy the following assumptions.

(a)
\(a\in L^{\frac{6}{6r}}(\mathbb{R}^{3})\) is a positive potential function.

(b)
\(b\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{3})\) is a positive potential function.

(c)
\(a(\frac{a}{b})^{\frac{r2}{qr}}\in L^{\frac{3}{2}}( \mathbb{R}^{3})\).
As a model describing solitary waves for the nonlinear stationary Klein–Gordon equation in the threedimensional space interacting with the electrostatic field, the following Klein–Gordon–Maxwell system was first introduced in [1]:
where \(m_{0}\) and e are the mass and the charge of the particle, respectively, while ω denotes the phase. The unknowns of the system are the field u associated with the particle and the electric potential ϕ. The presence of the nonlinear term simulates the interaction between many particles or external nonlinear perturbations. By variational methods, infinitely many solitary wave solutions were got for the above system when \(\vert m_{0}\vert >\vert \omega \vert \), \(p\in (4,6)\) in [1]. Furthermore, in [2], infinitely many finite energy radial solutions were got if one of the following conditions holds:

(i)
\(m_{0}>\omega >0\) and \(p\in (4,6)\);

(ii)
\(m_{0}\sqrt{\frac{p2}{2}}>\omega >0\) and \(p\in (2,4)\).
For \(p\in (2, 4)\), the existence range of \((m_{0},\omega )\) was improved and a limit case \(m_{0}=\omega \) was also dealt with by Azzollini, Pisani, and Pomponio in [3]. Mugnai in [4] studied the existence of radially symmetric solitary waves for a system of a nonlinear Klein–Gordon equation coupled with Maxwell’s equation in presence of a positive mass. Ground state solutions [5, 6], semiclassical states [7], nonradial solutions [8], and the critical exponent case [9,10,11,12] have also been considered. When \(p\geq 6\) and \(m_{0}\geq \omega >0\) or \(p \leq 2\), noexistence result of \((\mathrm{KGM})\) was proved by D’Aprile and Mugnai in [13]. In [14], via Ekeland’s variational principle and mountain pass theorem, two nontrivial solutions for a nonhomogeneous Klein–Gordon–Maxwell system were got by Chen and Tang. In [15], Jeong and Seok established an abstract critical point theorem about a functional of the mountainpass type with a small perturbation for the nonlocal term and studied a type of Klein–Gordon–Maxwell system with a very general nonlinear term. Klein–Gordon–Maxwell system with a coercive potential was firstly considered by He [16]. In [16], infinitely many solutions were got via a variant fountain theorem and symmetric mountain pass theorem. In [17], Li and Tang improved and complemented the results in [16]. In [18], under a variant 4superlinear condition, infinitely many solutions for a nonlinear Klein–Gordon–Maxwell system with signchanging potential were got by Ding and Li via symmetric mountain pass theorem. In [19], the authors studied the existence of cylindrically symmetric electromagnetostatic solitary waves for a system of a nonlinear Klein–Gordon equation coupled with Maxwell’s equations in presence of a positive mass and a nonnegative nonlinear potential. Nonexistence results were got as well.
As to the concave–convex nonlinearities, there is a huge amount of results involving different operators, for example, [20,21,22,23,24,25,26,27,28,29,30,31,32,33,34] and the references therein. Please forgive us for not being able to list all the literature. The first paper is the seminal one by Ambrosetti, Brezis, and Cerami [20], where they considered a concave–convex Dirichlet problem
where \(1< q<2<\frac{2N}{N2}\), \(\lambda >0\), and \(\varOmega \subset \mathbb{R}^{N}\) is a smooth bounded domain. They proved that there exists \(\lambda _{0} > 0\) such that problem \((\mathrm{P}_{\lambda })\) has at least two solutions for all \(\lambda \in (0,\lambda _{0})\), one solution for \(\lambda = \lambda _{0}\), and no solution for \(\lambda > \lambda _{0}\). In [30], a nonlocal version of problem \((\mathrm{P}_{\lambda })\) was considered
with \(0<\alpha <2\), \(0< q<1<p<\frac{N+\alpha }{N\alpha }\), \(N>\alpha \), \(\lambda >0\), and \(\varOmega \subset \mathbb{R}^{N}\) is a smooth bounded domain. The authors also characterized completely the range of parameters for which solutions of the problem exist and proved a multiplicity result. In [22], Alama and Tarantello studied the following Dirichlet problem:
where \(1< q< p\), \(\lambda \in \mathbb{R}\), \(N\geq 3\), \(\varOmega \subset \mathbb{R}^{N}\) is a bounded open set with smooth boundary and \(h, k \in L^{\infty }(\varOmega ) \) are nonnegative functions. Existence, nonexistence, and multiplicity results were obtained depending on λ and according to the integrability properties of the ratio \(\frac{k^{p1}}{h^{q1}}\). In [25], Pucci and Rădulescu considered the following quasilinear problem:
where h is a positive continuous function with \(\int _{\mathbb{R}^{N}}h(x)^{\frac{q}{qp}}\,dx<\infty \), \(\lambda >0\), \(2\leq m< q< m^{*}\) with \(m^{*}=\frac{Nm}{Nm}\) if \(N>m\) and \(m^{*}= \infty \) if \(N\leq m\). The nonexistence of nontrivial solutions was got for λ small enough; the existence of at least two nontrivial solutions was obtained for λ large enough. The above results were extended by Autuori and Pucci in [26]. They studied the following quasilinear elliptic equation:
which involves a general elliptic operator in divergence form A and two competing nonlinearities. \(\max \{2,p\}< q<\min \{r,\frac{Np}{Np}\}\), the coefficients w and h are related by the integrability condition
Moreover, they proposed two open questions: the relaxation of \(\max \{2, p\} < q\) and the replacement of the above integrability condition by the assumption that
The latter request is weaker than (1.1) which already appeared in [22]. In [28], Autuori and Pucci studied the following elliptic equation involving fractional Laplacian:
where \(\lambda \in \mathbb{R}\), \(0< s<1\), \(2s< N\), \(2< q<\min \{r,2^{*}_{s} \}\) with \(2^{*}_{s}=\frac{2N}{N2s}\). Positive weights w and h are related by condition (1.1) and
In [28], the existence and multiplicity of entire solutions were obtained via variational methods. Recently, in [31] Pucci and Zhang solved the above open problems mentioned in [26] for a class of quasilinear elliptic equations in the setting of variable exponents. More recently, Pucci, Xiang, and Zhang in [32] also gave a positive answer to these open problems in the context of Kirchhoff problems involving the fractional pLaplacian. In [33], Xiang, Zhang, and Rădulescu studied a perturbed nonlinear elliptic equation driven by the fractional pLaplacian operator
where λ is a real parameter, \((\Delta )_{p}^{s}\) is the fractional pLaplacian operator with \(0 < s<1 <p<\infty \), \(p< r<\min \{q, p^{*}_{s}\}\), \(p^{*}_{s}=\frac{pN}{Nps}\), and V is a positive weight with positive infimum, a is a positive weight satisfying
\(b\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{N})\) is also a positive weight, a and b are related by
Nonexistence and multiplicity results for the abovementioned equation were obtained by variational methods depending on λ and according to the integrability properties of the ratio \(\frac{a^{qp}}{b ^{rp}}\). Those results extended the previous work of Autuori and Pucci [28] to the fractional pLaplacian setting and also solved the above open problems mentioned in [26].
As far as we know, there are few results about Klein–Gordon–Maxwell systems with similar competing nonlinearities to our system \((\mathrm{P})\). Generally, system \((\mathrm{P})\) can be transformed into a single equation with a nonlocal term by dual methods (see Sect. 2). But in contrast to the problems with a purely single equation (similar to [25, 26, 33]), the nonlocal term brings about some difficulties to us. Firstly, the functional associated with system \((\mathrm{P})\) is no longer weakly lower semicontinuous, which is very important to get the global minimizer in [26, 28, 33]. Secondly, since we lack the compact embedding \(H^{1}(\mathbb{R}^{3})\hookrightarrow \hookrightarrow L^{p}(\mathbb{R}^{3})\), \(p\in (2,6)\), it increases difficulty in verifying that the functional associated with system \((\mathrm{P})\) satisfies the Palais–Smale condition.
The main result of our paper reads as follows.
Theorem 1.1
Let (a)–(c) hold, then there exist \(\lambda _{0}\) and \(\lambda ^{*}\) with \(0<\lambda _{0}\leq \lambda ^{*}\) such that

(i)
system \((\mathrm{P})\) has only the trivial solution for \(\lambda < \lambda _{0}\);

(ii)
system \((\mathrm{P})\) has at least two weak nontrivial solutions for \(\lambda >\lambda ^{*}\).
Remark 1.1
Our assumption (b) is the same condition as in [28, 33]. Our assumption (c) is (1.5) for \(N=3\), \(P=2\), \(s=1\). Different from (1.3) or (1.4), the local integrability hypothesis of a is not necessary in our paper.
Remark 1.2
If \(r<2\), for every \(\lambda >0\), \(q>1\), it is easy to prove that the functional associated with system \((\mathrm{P})\) is coercive. Similar to our Lemma 3.2, the functional associated with system \((\mathrm{P})\) also satisfies the Palais–Smale condition. Then the functional has a global minimizer via Ekeland’s variational principle and a sequence of solutions with negative energy decreasing to zero via Clark’s theorem.
Throughout the paper, we denote by C various positive constants, whose value may be different from line to line and is not essential to the problem.
Preliminary
In this section, we give some preliminary results which will be used to prove our main results.
First of all, we establish the variational framework for system \((\mathrm{P})\).
\(H^{1}(\mathbb{R}^{3})=\{u\in L^{2}(\mathbb{R}^{3})\vert \vert \nabla u\vert \in L^{2}(\mathbb{R}^{3})\}\) is the normal Sobolev space with the norm
equipped with the norm
Define
equipped with the norm
Similarly,
equipped with the norm
The spaces \(L^{r}(\mathbb{R}^{3}, a)\) and \(L^{q}(\mathbb{R}^{3}, b)\) are uniformly convex Banach spaces by Proposition A.6 of [26].
The working space of our paper E is the completion of \(C^{\infty } _{0}(\mathbb{R}^{3})\) with respect to the norm
E is a reflexive Banach space (see Lemma 2.2 in [33]). Furthermore, \(E\hookrightarrow H^{1}(\mathbb{R}^{3})\hookrightarrow L ^{p}(\mathbb{R}^{3})\), \(p\in [2,6]\).
Since \(2<\frac{12}{5}<6\), thus for \(u\in E\) fixed, the linear operator \(T_{u}:D^{1,2}(\mathbb{R}^{3})\rightarrow \mathbb{R}\) defined by
is continuous in \(D^{1,2}(\mathbb{R}^{3})\). By Lax–Milgram theorem, there exists \(\phi _{u}\in D^{1,2}(\mathbb{R}^{3})\) such that, for any \(v\in D^{1,2}(\mathbb{R}^{3})\),
Therefore, problem \((\mathrm{P})\) can be transformed into a nonlinear Schrödinger equation with a nonlocal term
The functional associated with \((\mathrm{P}')\) is given by
Under our assumptions, it is easy to get that \(I\in C^{1}(E, \mathbb{R})\) and
for \(v\in E\).
Moreover, the function \(\phi _{u}\) has the following properties.
Lemma 2.1

(i)
\(\omega \leq \phi _{u}\leq 0\) on the set \(\{x\vert u(x) \neq 0\}\);

(ii)
There exist positive constants \(C_{1}\), \(C_{2}\) such that
$$ \Vert \phi _{u} \Vert _{D^{1,2}}\leq C_{1} \Vert u \Vert ^{2} \quad \textit{and} \quad \int _{\mathbb{R}^{3}} \vert \phi _{u} \vert u^{2} \,dx\leq C_{2} \Vert u \Vert ^{4}. $$
Definition 2.1
Let X be a Banach space, we say that functional \(I\in C^{1}(X, \mathbb{R})\) satisfies the Palais–Smale condition at the level \(c\in \mathbb{R}\) ((PS)_{c} in short) if any sequence \(\{u_{n}\} \subset X \) satisfying \(I(u_{n}) \to c\), \(I'(u_{n}) \to 0\) as \(n\to \infty \), has a convergent subsequence. I satisfies the (PS) condition if I satisfies the (PS)_{c} condition at any \(c\in \mathbb{R}\).
In order to get the global minimizer, we need the famous Ekeland variational principle.
Lemma 2.2
(Ekeland’s variational principle, [35])
Let \((X,d)\) be a complete space, and let \(F:X\rightarrow \mathbb{R}\cup \{+\infty \}\) be a lower semicontinuous functional on X that is bounded below and not identically equal to +∞. Fix \(\varepsilon >0\) and a point \(u\in X\) such that
Then there exists a point \(v\in X\) such that
In order to get the second nontrivial solution, we need a modification of mountain pass theorem.
Lemma 2.3
(Theorem A.3 in [26])
Let \((X, \Vert \cdot \Vert )\) and \((Y, \Vert \cdot \Vert )\) be two Banach spaces such that X can be continuously embedded into Y. Let \(\varPhi : X\rightarrow \mathbb{R}\) be a \(C^{1}\) functional with \({\varPhi (0)=0}\). Suppose that there exist \(\rho , \alpha >0\) and \(e\in X\) such that \(\Vert e\Vert _{Y}>\rho \), \(\varPhi (e)< \alpha \) and \(\varPhi (u)\geq \alpha \) for all \(u\in X\) with \(\Vert u\Vert _{Y}= \rho \). Then there exists a sequence \(\{u_{n}\}\subset X\) such that, for all n,
where \(c= \inf_{\gamma \in \varGamma }\max_{t\in [0,1]}\varPhi (\gamma (t))\) and \(\varGamma =\{\gamma \in C([0,1]; X)\vert \gamma (0)=0, \gamma (1)=e\}\).
Proof of the main results
In this section we will prove our main results. Firstly, in the same spirit of the proof of Lemma 3.1 in [33], we can also get the functional I is coercive. And since \(a\in L^{\frac{6}{6r}}( \mathbb{R}^{3})\) implies \(a^{\frac{6}{6r}}\in L^{1}_{\mathrm{loc}}(\mathbb{R} ^{3})\), the assumption \(a\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{3})\) is not necessary in this proof.
Lemma 3.1
(Lemma 3.1 in [33])
Assume that (a)–(c) hold, the functional I is coercive and bounded from below in E.
In contrast to [33], problem \((\mathrm{P}')\) contains a nonlocal term \(\phi _{u}\). It brings about some difficulties to us. Since we lack the compact embedding \(H^{1}(\mathbb{R}^{3})\hookrightarrow \hookrightarrow L^{p}(\mathbb{R}^{3})\), \(p\in (2,6)\), it increases difficulty in verifying that the functional satisfies the Palais–Smale condition. Here we prove that the functional satisfies the Palais–Smale condition under the integrability assumptions on a and b.
Lemma 3.2
Assume that (a)–(c) hold, the functional I satisfies the Palais–Smale condition.
Proof
Let \(\{u_{n}\}\) be a (PS) sequence of I, that is, for some \(M>0\),
Since I is coercive in E, all the (PS) sequences of I are bounded. Then there exists \(u\in E\), and up to a subsequence if necessary, we still denote it by \(\{u_{n}\}\) satisfying

\(u_{n}\rightharpoonup u\) in \(H^{1}(\mathbb{R}^{3})\), \(u_{n}\rightharpoonup u\) in E;

\(u_{n}\rightarrow u\) in \(L_{\mathrm{loc}}^{s}(\mathbb{R}^{3})\), where \(s\in [2,6)\); \(u_{n}(x)\rightarrow u(x)\) a.e. in \(\mathbb{R}^{3}\);

and \(\vert u_{n}\vert ^{r}\rightharpoonup \vert u\vert ^{r}\), \(\vert u_{n}\vert ^{r2}u_{n}u \rightharpoonup \vert u\vert ^{r}\), \(\vert u\vert ^{r2}uu_{n}\rightharpoonup \vert u\vert ^{r}\) in \(L^{\frac{6}{r}}(\mathbb{R}^{3})\).
For every fixed \(R\geq 1\), let \(\xi _{R}\in C^{\infty }(\mathbb{R}^{3}, [0,1])\) such that
and \(\vert \nabla \xi _{R}\vert \leq \frac{1}{R}\). Then there exists a positive constant C independent of R such that \(\Vert \xi _{R}u\Vert _{E}\leq C\Vert u \Vert _{E}\). Therefore, \(\lim_{n\rightarrow \infty }\langle I'(u_{n}),\xi _{R}u_{n}\rangle =0\), uniformly for \(R\geq 1\), that is,
Since
and
by (i) of Lemma 2.1, we can get that
Then, for every \(\varepsilon >0\), there exist \(N>0\) and \(R>0\) such that, for every \(n\geq N\),
Since \(\{u_{n}\}\) is bounded in E, by (3.1) and the compact embedding \(E\hookrightarrow L^{p}_{\mathrm{loc}}(\mathbb{R}^{3})\) for \(p\in [2,6)\), we can get that \(u_{n}\rightarrow u\) in \(L^{2}(\mathbb{R}^{3})\). Furthermore, by the interpolation inequality, we have
The rest of proof is standard. In fact,
It follows from \(I'(u_{n})\rightarrow 0\) and \(u_{n}\rightharpoonup u\) in E that the first two parts on the righthand side of (3.2) converge to zero as \(n\rightarrow \infty \). By Hölder’s inequality, we have
Since the sequence \(\{\phi _{u_{n}}^{2}u_{n}\}\) is bounded in \(L^{\frac{3}{2}}(\mathbb{R}^{3})\),
Then (3.3) and (3.4) imply that the third part and the fourth part on the righthand side of (3.2) also converge to zero as \(n\rightarrow \infty \). For the last part, since \(\vert u_{n}\vert ^{r}\rightharpoonup \vert u\vert ^{r}\), \(\vert u_{n}\vert ^{r2}u_{n}u\rightharpoonup \vert u\vert ^{r}\), \(\vert u\vert ^{r2}uu_{n}\rightharpoonup \vert u\vert ^{r}\) in \(L^{\frac{6}{r}}(\mathbb{R}^{3})\) and \(a\in L^{ \frac{6}{6r}}(\mathbb{R}^{3})\), we have
Thus all the parts of on the righthand side of (3.2) converge to zero as \(n\rightarrow \infty \). By the wellknown inequality \((\vert s\vert ^{p2}s\vert t\vert ^{p2}t)(st) \geq C_{p}\vert st\vert ^{p}\), for \(s,t\in \mathbb{R}\) and \(p \geq 2\), we can get that
Therefore, I satisfies the Palais–Smale condition. □
Though the functional I is no longer weakly lower semicontinuous, which is very important to get the global minimizer in [26, 28, 33], we can still prove that I still has a global minimizer in E via Ekeland’s variational principle.
Lemma 3.3
There exists \(\lambda ^{*}>0\) such that I enjoys a global minimizer \(u_{\lambda }^{1}\in E\) with \(I(u_{\lambda }^{1})<0\) for every \(\lambda >\lambda ^{*}\).
Proof
From Lemma 3.1, I is coercive and bounded from below. Set
for every \(\{u_{n}\}\subset E\) such that \(I(u_{n})\rightarrow m_{ \lambda }\) as \(n\rightarrow \infty \), we can get I has a (PS)\(_{m _{\lambda }}\) sequence for every fixed \(\lambda >0\) by Lemma 2.2 (Ekeland’s variational principle). Thus, Lemma 3.2 implies that I has a global minimizer in E. That is to say, there exists \(u_{\lambda } ^{1}\in E\) such that
Next, we will prove that there exists \(\lambda ^{*}>0\) such that \(u_{\lambda }^{1}\neq 0\) for \(\lambda >\lambda ^{*}\). Set
where \(\mathcal{M}=\{u\in E\vert \int _{\mathbb{R}^{3}}a(x)\vert u(x)\vert ^{r}\,dx=1 \}\). Since J is weakly lower semicontinuous, by Lemma 3.4 in [33], we can get that there exists \(u_{0}\in \mathcal{M}\) such that \(\lambda ^{*}=rJ(u_{0})>0\). Then, for every \(\lambda >\lambda ^{*}\), we have
Furthermore,
Therefore, \(I(u_{\lambda }^{1})=\inf_{u\in E}I(u)\leq I(u_{0})<0\). □
At last, similar to [33], we will prove that, for every \(\lambda >\lambda ^{*}\), system \((\mathrm{P})\) has a second weak solution \(u_{\lambda }^{2}\) via a modification of the mountain pass theorem of Ambrosetti and Rabinowitz. By choosing \(X=E\), \(Y=H^{1}(\mathbb{R}^{3})\), we have the following.
Lemma 3.4
Assume that (a)–(c) are satisfied. Then, for every fixed \(e\in E \setminus \{0\}\) and \(\lambda \in (0,+\infty )\), there exist \(\rho _{\lambda }\in (0,\Vert e\Vert _{H^{1}(\mathbb{R}^{3})})\) and \(\alpha _{\lambda }>0\) such that
Proof
Since \(a\in L^{\frac{6}{6r}}(\mathbb{R}^{3})\), by Hölder’s inequality,
Then, for each \(e\in E\setminus \{0\}\), by choosing \(\rho _{\lambda }= \min \{\frac{1}{2}\Vert e\Vert _{H^{1}(\mathbb{R}^{3})},(\frac{r}{4C\lambda \vert a\vert _{ \frac{6}{6r}}})^{\frac{1}{r2}}\}\), we can get
□
Lemma 3.5
If (a)–(c) hold, then system \((\mathrm{P})\) enjoys a nontrivial solution \(u_{\lambda }^{2}\in E\) with \(I(u_{\lambda }^{2})=c_{\lambda }>0\) for every \(\lambda >\lambda ^{*}\).
Proof
Lemma 3.3 implies that there exists a global nontrivial minimizer \(u_{\lambda }^{1}\in E\) of I with \(I(u_{\lambda }^{1})<0\) for every \(\lambda >\lambda ^{*}\). By choosing \(e=u_{\lambda }^{1}\) in Lemma 3.4, I satisfies the geometrical structure of Lemma 2.3. Thus I has a (PS)\(_{c_{\lambda }}\) sequence for every \(\lambda >\lambda ^{*}\). From Lemma 3.2, we can get that I enjoys a nontrivial solution \(u_{\lambda }^{2}\) with \(I(u_{\lambda }^{2})=c_{\lambda }>0>I(u_{ \lambda }^{1})\) for every fixed \(\lambda \in (\lambda ^{*},+\infty )\) (for more details, see the proof of Theorem A.3 in [26]). □
Proof of Theorem 1.1
In order to complete the proof of (i) in Theorem 1.1, similar to [33], we only need to prove the fact that if system \((\mathrm{P})\) has a nontrivial solution \(u\in E\), then there exists \(\lambda _{0}>0\) such that \(\lambda \geq \lambda _{0}\). By \(\langle I'(u),u\rangle =0\) and \(\omega \leq \phi _{u}\leq 0\), we can get that
It implies that \(\lambda >0\). Since for any fixed \(k_{1}, k_{2}>0\) and \(0<\alpha <\beta \), one can get
By taking \(k_{1}=\lambda a(x)\), \(k_{2}=b(x)\), \(\alpha =r2\), \(\beta =q2\), and \(t=\vert u(x)\vert \), it is easy to claim that
By (3.5), (3.6), (c), and Hölder’s inequality,
where \(S:= \inf_{u\in D^{1,2}(\mathbb{R}^{3}), \vert u\vert _{6}=1}\vert \nabla u\vert _{2}^{2}\) is the optimal constant in the Sobolev inequality. Since \(u\neq 0\), we have
Therefore, if system \((\mathrm{P})\) has a nontrivial solution, then λ has a positive lower bound \(\lambda _{0}\). That is to say, 0 is the only solution of system \((\mathrm{P})\) for every \(\lambda <\lambda _{0}\).
(ii) Combine Lemma 3.3 with Lemma 3.5, system \((\mathrm{P})\) enjoys at least two nontrivial solutions for every \(\lambda >\lambda ^{*}\). □
References
 1.
Benci, V., Fortunato, D.: Solitary waves of the nonlinear Klein–Gordon equation coupled with the Maxwell equations. Rev. Math. Phys. 14, 409–420 (2002)
 2.
D’Aprile, T., Mugnai, D.: Solitary waves for nonlinear Klein–Gordon–Maxwell and Schrödinger–Maxwell equations. Proc. R. Soc. Edinb., Sect. A 134, 893–906 (2004)
 3.
Azzollini, A., Pisani, L., Pomponio, A.: Improved estimates and a limit case for the electrostatic Klein–Gordon–Maxwell system. Proc. R. Soc. Edinb., Sect. A 141, 449–463 (2011)
 4.
Mugnai, D.: Solitary waves in Abelian gauge theories with strongly nonlinear potentials. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 27, 1055–1071 (2010)
 5.
Azzollini, A., Pomponio, A.: Ground state solutions for the nonlinear Klein–Gordon–Maxwell equations. Topol. Methods Nonlinear Anal. 35, 33–42 (2010)
 6.
Wang, F.: Groundstate solutions for the electrostatic nonlinear Klein–Gordon–Maxwell system. Nonlinear Anal. 74, 4796–4803 (2011)
 7.
Vaira, G.: Semiclassical states for the nonlinear Klein–Gordon–Maxwell system. J. Pure Appl. Math. Adv. Appl. 4, 59–95 (2010)
 8.
Makita, P.D.: Nonradial solutions for the Klein–Gordon–Maxwell equations. Discrete Contin. Dyn. Syst. 32, 2271–2283 (2012)
 9.
Cassani, D.: Existence and nonexistence of solitary waves for the critical Klein–Gordon equation coupled with Maxwell’s equations. Nonlinear Anal. 58, 733–747 (2004)
 10.
Carrião, P.C., Cunha, P.L., Miyagaki, O.H.: Existence results for the Klein–Gordon–Maxwell equations in higher dimensions with critical exponents. Commun. Pure Appl. Anal. 10, 709–718 (2011)
 11.
Carrião, P.C., Cunha, P.L., Miyagaki, O.H.: Positive ground state solutions for the critical Klein–Gordon–Maxwell system with potentials. Nonlinear Anal. 75, 4068–4078 (2012)
 12.
Wang, F.: Solitary waves for the Klein–Gordon–Maxwell system with critical exponent. Nonlinear Anal. 74, 827–835 (2011)
 13.
D’Aprile, T., Mugnai, D.: Nonexistence results for the coupled Klein–Gordon–Maxwell equations. Adv. Nonlinear Stud. 4, 307–322 (2004)
 14.
Chen, S.J., Tang, C.L.: Multiple solutions for nonhomogeneous Schrödinger–Maxwell and Klein–Gordon–Maxwell equations on \(\mathbb{R}^{3}\). Nonlinear Differ. Equ. Appl. 17, 559–574 (2010)
 15.
Jeong, W., Seok, J.: On perturbation of a functional with the mountain pass geometry. Calc. Var. 49, 649–668 (2014)
 16.
He, X.: Multiplicity of solutions for a nonlinear Klein–Gordon–Maxwell system. Acta Appl. Math. 130, 237–250 (2014)
 17.
Li, L., Tang, C.L.: Infinitely many solutions for a nonlinear Klein–Gordon–Maxwell system. Nonlinear Anal. 110, 157–169 (2014)
 18.
Ding, L., Li, L.: Infinitely many standing wave solutions for the nonlinear Klein–Gordon–Maxwell system with signchanging potential. Comput. Math. Appl. 68, 589–595 (2014)
 19.
Mugnai, D., Rinaldi, M.: Spinning Qballs in Abelian gauge theories with positive potentials: existence and non existence. Calc. Var. 53, 1–27 (2015)
 20.
Ambrosetti, A., Brezis, H., Cerami, G.: Combined effects of concave and convex nonlinearities in some elliptic problems. J. Funct. Anal. 122, 519–543 (1994)
 21.
Bartsch, T., Willem, M.: On an elliptic equation with concave and convex nonlinearities. Proc. Am. Math. Soc. 123, 3555–3561 (1995)
 22.
Alama, S., Tarantello, G.: Elliptic problems with nonlinearities indefinite in sign. J. Funct. Anal. 141, 159–215 (1996)
 23.
Wang, X., Zeng, B.: On concentration of positive bound states of nonlinear Schrödinger equations with competing potential functions. SIAM J. Math. Anal. 28, 633–655 (1997)
 24.
De Figueiredo, D.G., Gossez, J.P., Ubilla, P.: Local superlinearity and sublinearity for indefinite semilinear elliptic problems. J. Funct. Anal. 199, 452–467 (2003)
 25.
Pucci, P., Rădulescu, V.: Combined effects in quasilinear elliptic problems with lack of compactness. Rend. Lincei Mat. Appl. 22, 189–205 (2011)
 26.
Autuori, G., Pucci, P.: Existence of entire solutions for a class of quasilinear elliptic equations. NoDEA Nonlinear Differ. Equ. Appl. 20, 977–1009 (2013)
 27.
Kandilakis, D.A., Sidiropoulos, N.: Elliptic problems involving the \(p(x)\)Laplacian with competing nonlinearities. J. Math. Anal. Appl. 379, 378–387 (2011)
 28.
Autuori, G., Pucci, P.: Elliptic problems involving the fractional Laplacian in \(\mathbb{R}^{N}\). J. Differ. Equ. 225, 2340–2362 (2013)
 29.
Barrios, B., Colorado, E., de Pabloc, A., Sánchez, U.: On some critical problems for the fractional Laplacian operator. J. Differ. Equ. 252, 6133–6162 (2012)
 30.
Brändle, C., Colorado, E., de Pablo, A., Sánchez, U.: A concave–convex elliptic problem involving the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 143, 39–71 (2013)
 31.
Pucci, P., Zhang, Q.: Existence of entire solutions for a class of variable exponent elliptic equations. J. Differ. Equ. 257, 1529–1566 (2014)
 32.
Pucci, P., Xiang, M.Q., Zhang, B.L.: Existence and multiplicity of entire solutions for fractional pKirchhoff equations. Adv. Nonlinear Anal. 5, 27–55 (2016)
 33.
Xiang, M., Zhang, B., Rădulescu, V.D.: Existence of solutions for perturbed fractional pLaplacian equations. J. Differ. Equ. 260, 1392–1413 (2016)
 34.
Carboni, G., Mugnai, D.: On some fractional equations with convexconcave and logistic type nonlinearities. J. Differ. Equ. 262, 2393–2413 (2017)
 35.
Ekeland, I.: On the variational principle. J. Math. Anal. Appl. 47, 324–353 (1974)
Acknowledgements
Not applicable.
Availability of data and materials
Not applicable.
Funding
This work is supported by the National Natural Science Foundation of China (Grant No. 11701346, 11571209, 11671239).
Author information
Affiliations
Contributions
All authors contributed equally to the manuscript and typed, read, and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Wei, C., Li, A. Nonexistence and existence of nontrivial solutions for Klein–Gordon–Maxwell systems with competing nonlinearities. Bound Value Probl 2019, 31 (2019). https://doi.org/10.1186/s1366101911468
Received:
Accepted:
Published:
MSC
 35J50
 35B38
 35D30
Keywords
 Klein–Gordon–Maxwell system
 Competing nonlinearities
 Ekeland’s variational principle
 Mountain pass theorem
 Variational methods