Normalized Solutions of Mass-Subcritical Klein-Gordon-Maxwell Systems

Ziyi Wang

School of Mathematics, Liaoning Normal University, Dalian, China.

DOI: 10.4236/oalib.1110464                

Abstract

In this paper, we study the existence of normalized solutions to the Klein-Gordon-Maxwell systems. In the mass-subcritical case, we prove that the systems satisfying normalization conditions have a normalized ground state solution.

Keywords

Normalized Solutions, Klein-Gordon-Maxwell Systems

1. Introduction

In this paper, we consider the following Klein-Gordon-Maxwell systems

$(\begin{array}{l}-\Delta u+V\left(x\right)u-\left(2\omega +\varphi \right)\varphi u+\lambda u=f\left(u\right)\text{in}{ℝ}^N\mathrm{,}\\ \Delta \varphi =\left(\omega +\varphi \right)u^2\text{in}{ℝ}^N\mathrm{,}\end{array}$ (1.1)

where $\omega$ is a positive real constant, the parameter $\lambda \in ℝ$ appears as a Lagrange multiplier, $\varphi \mathrm{<mo>\; :\; </mo>}{ℝ}^N\to ℝ$ and $N\ge 3$ , $V\in C\left({ℝ}^N\mathrm{,}ℝ\right)$ . The field u and the electric potential $\varphi$ are the unknowns of the systems. Moreover, the field u satisfies the normalization condition

${\displaystyle {\int }_{{ℝ}^N}}{\left|u\left(x\right)\right|}^2\text{d}x=a\mathrm{.}$ (1.2)

We shall dedicate to search for a solution $u\in \mathcal{H}$ of the problem

$(\begin{array}{l}-\Delta u+V\left(x\right)u-\left(2\omega +\varphi \right)\varphi u+\lambda u=f\left(u\right)\text{in}{ℝ}^N\mathrm{,}\\ \Delta \varphi =\left(\omega +\varphi \right)u^2\text{in}{ℝ}^N\mathrm{,}\\ {\displaystyle {\int }_{{ℝ}^N}}{\left|u\left(x\right)\right|}^2\text{d}x=a,u\ge \mathrm{0,}\end{array}$ (1.3)

where we define the Hilbert space

$\mathcal{H}=\left\{u\in H^1\left({ℝ}^N\right)\mathrm{<mo>\; :\; </mo>}{\displaystyle {\int }_{{ℝ}^N}}{\left|\nabla u\right|}^2+V\left(x\right)u^2\text{d}x<\infty \right\}\mathrm{.}$

Then, $\mathcal{H}$ is continuously embedded in $H^1\left({ℝ}^N\right)$ and endowed with the norm

${\Vert u\Vert }_{\mathcal{H}}^2={\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u\right|}^2+V\left(x\right)u^2\right)\text{d}x\mathrm{.}$

Let $D^{\mathrm{1,2}}\equiv D^{\mathrm{1,2}}\left({ℝ}^N\right)=\left\{u\in L^{2^{\mathrm{<mo>\; *\; </mo>}}}\left({ℝ}^N\right)\mathrm{<mo>\; :\; </mo>}\nabla u\in L^2\left({ℝ}^N\right)\right\}$ with the norm

${\Vert u\Vert }_{D^{\mathrm{1,2}}}^2={\displaystyle {\int }_{{ℝ}^N}}{\left|\nabla u\right|}^2\text{d}x\mathrm{.}$

For any $2\le p<2^{*}$ , $L^p\left({ℝ}^N\right)$ is endowed with the norm

${\left|u\right|}_p^p={\displaystyle {\int }_{{ℝ}^N}}{\left|u\right|}^p\text{d}x\mathrm{.}$

Obviously, the embedding $\mathcal{H}$ ↪ $L^p\left({ℝ}^N\right)$ is continuous.

We define a functional $J\mathrm{<mo>\; :\; </mo>}\mathcal{H}\times D^{\mathrm{1,2}}\to ℝ$ by

$J\left(u\mathrm{,}\varphi \right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u\right|}^2-{\left|\nabla \varphi \right|}^2+\left[V\left(x\right)-\left(2\omega +\varphi \right)\varphi \right]u^2\right)\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\mathrm{,}$ (1.4)

where $F\left(t\right)={\displaystyle {\int }_0^t}f\left(s\right)\text{d}s$ is a rather general nonlinearity. Then, we can know that the weak solutions of (1.1) $\left(u\mathrm{,}\varphi \right)\in \mathcal{H}\times D^{\mathrm{1,2}}$ are critical points of the functional J. By standard arguments, the function J is $C^1$ on $\mathcal{H}\times D^{\mathrm{1,2}}$ .

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:

$(\begin{array}{l}-\Delta u+V\left(x\right)u-\left(2\omega +\varphi \right)\varphi u=\mu {\left|u\right|}^{p-2}u+{\left|u\right|}^{2^{\mathrm{<mo>\; *\; </mo>}}-2}u\text{in}{ℝ}^3\mathrm{,}\\ \Delta \varphi =\left(\omega +\varphi \right)u^2\text{in}{ℝ}^3\mathrm{.}\end{array}$

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:

$(\begin{array}{l}-\Delta u+\left[m^2-{\left(\omega +\varphi \right)}^2\right]u-{\left|u\right|}^{p-2}u=0\text{in}{ℝ}^3\mathrm{,}\\ -\Delta \varphi +e^2{u}^2\varphi =-e\omega u^2\text{in}{ℝ}^3\mathrm{.}\end{array}$

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 ${ℝ}^N$ , appears a new mass-critical exponent

$l=2+\frac{4}{N}\mathrm{.}$

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 $(\begin{array}{l}-\Delta u+V\left(x\right)u+\lambda u=f\left(x\mathrm{,}u\right)\text{in}{ℝ}^N\mathrm{,}\\ {\displaystyle {\int }_{{ℝ}^N}}{\left|u\left(x\right)\right|}^2\text{d}x=a\mathrm{,}u\in H^1\left({ℝ}^N\right)\mathrm{,}\end{array}$ where $V\left(x\right)\to \infty$ as $\left|x\right|\to \infty$ . 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:

$(\begin{array}{l}-\Delta u=\lambda u+\mu {\left|u\right|}^{p-2}u+{\left|u\right|}^{2^{\mathrm{<mo>\; *\; </mo>}}-2}u\text{in}{ℝ}^N,N\ge \mathrm{3,}\\ {\displaystyle {\int }_{{ℝ}^N}}{\left|u\left(x\right)\right|}^2\text{d}x=a\mathrm{,}u\in H^1\left({ℝ}^N\right)\mathrm{.}\end{array}$

Masataka Shibata [16] studied the mass-subcritical case for the minimizing problem of nonlinear Schrödinger equations with a general nonlinear term:

$E\left(a\right)=\inf \left\{I\left(u\right)\mathrm{<mo>\; |\; </mo>}u\in H^1\left({ℝ}^N\right),{\displaystyle {\int }_{{ℝ}^N}}{\left|u\left(x\right)\right|}^2\text{d}x=a\right\}\mathrm{,}$

where

$I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}{\left|\nabla u\right|}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(\left|u\right|\right)\text{d}x\mathrm{.}$

They showed that there exists $a_0\in \left[\mathrm{0,}\infty \right)$ such that $E\left(a\right)$ is attained for $a>a_0$ . Moreover, Norihisa Ikoma and Yasuhito Miyamoto [17] also studied the existence of the minimizer of the $L^2$ -constraint minimization problem $E\left(a\right)$ , but $I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}{\left|\nabla u\right|}^2+V\left(x\right){\left|u\right|}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(\left|u\right|\right)\text{d}x$ , and $F\left(t\right)={\displaystyle {\int }_0^t}f\left(s\right)\text{d}s$ is a general nonlinear term, and $0\cancel{\equiv }V\left(x\right)\le 0$ , $V\left(x\right)\to 0\left(\left|x\right|\to \infty \right)$ . 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 $(\begin{array}{l}-\Delta u+\left(V_1\left(x\right)+{\lambda }_1\right)u={\mu }_1{\left|u\right|}^{p-2}u+\beta v\text{in}{ℝ}^N\mathrm{,}\\ -\Delta v+\left(V_2\left(x\right)+{\lambda }_2\right)v={\mu }_2{\left|v\right|}^{p-2}v+\beta u\text{in}{ℝ}^N\mathrm{,}\end{array}$ with the mass-subcritical condition $2<p,q<2+\frac{4}{N}$ . They studied the existence of a solution with prescribed $L^2$ -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:

$-\Delta u+V\left(x\right)u+\lambda u={\left|u\right|}^{p-2}u\text{in}{ℝ}^N\mathrm{.}$

Thomas Bartsch [20] showed the existence of infinitely many normalized solutions for the problem $-\Delta u-g\left(u\right)=\lambda u,u\in H^1\left({ℝ}^N\right)\mathrm{,}$ where $g\left(u\right)$ 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 $\varphi$ . In addition, $V\left(x\right)$ is a positive function satisfying the following appropriate assumptions, and the nonlinear term $f\left(u\right)$ is mass-subcritical. In this case, the functional I is bounded from below and coercive on $S\left(a\right)$ , which will be proved in Lemma 2.3.

We assume the following conditions throughout the paper:

(f1) $f\mathrm{<mo>\; :\; </mo>}{ℝ}^N\to ℝ$ is continuous.

(f2) $\underset{s\to 0}{lim}\frac{f\left(s\right)}{s}=0$ and $\underset{\left|s\right|\to +\infty }{lim}\frac{f\left(s\right)}{{\left|s\right|}^{l-1}}=0$ with $l=2+\frac{4}{N}$ .

(V1) $V\in C\left({ℝ}^N\mathrm{,}ℝ\right)$ , and $\underset{x\in {ℝ}^N}{\inf }V\left(x\right)\ge c>0$ .

(V2) $\underset{\left|x\right|\to +\infty }{lim}V\left(x\right)=+\infty$ .

Moreover, c and $c_i$ 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 $a>0$ , 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 $u\in \mathcal{H}$ , there exists a unique solution $\varphi ={\varphi }_u\in D^{\mathrm{1,2}}$ of $\Delta \varphi =\left(\omega +\varphi \right)u^2$ . Moreover, in the set $\left\{x\mathrm{<mo>\; :\; </mo>}u\left(x\right)\ne 0\right\}$ , for $\omega >0$ , we have

$-\omega \le {\varphi }_u\le 0.$ (2.1)

By Lemma 2.1, let any $v\in D^{\mathrm{1,2}}$ be an admissible test function of the second equation of (1.1). Then, we have

${\displaystyle {\int }_{{ℝ}^N}}\nabla {\varphi }_u\nabla v\text{d}x=-{\displaystyle {\int }_{{ℝ}^N}}\left(\omega +{\varphi }_u\right)u^{2}v\text{d}x\mathrm{.}$

Using integration by parts, we have

${\displaystyle {\int }_{{ℝ}^N}}\nabla {\varphi }_u\nabla v\text{d}x=-{\displaystyle {\int }_{{ℝ}^N}}\Delta {\varphi }_{u}v\text{d}x\mathrm{.}$

Therefore,

$\Delta {\varphi }_u=\left(\omega +{\varphi }_u\right)u^2\mathrm{.}$ (2.2)

According to Lemma 2.1, we define

$\Phi \mathrm{<mo>\; :\; </mo>}\mathcal{H}\to D^{\mathrm{1,2}}\mathrm{,}$

and we know that the map $\Phi$ is $C^1$ .

Combining (1.4) and (2.2), we obtain

${J^{\prime }}_{\varphi }\left(u\mathrm{,}{\varphi }_u\right)=0\text{,}\forall u\in \mathcal{H}\mathrm{.}$ (2.3)

Multiplying both members of (2.2) by ${\varphi }_u$ and integrating by parts, we obtain

${\displaystyle {\int }_{{ℝ}^N}}{\left|\nabla {\varphi }_u\right|}^2\text{d}x=-{\displaystyle {\int }_{{ℝ}^N}}\omega {\varphi }_u{u}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}{\varphi }_u^2{u}^2\text{d}x\mathrm{.}$ (2.4)

Now let us consider the functional $I\mathrm{<mo>\; :\; </mo>}\mathcal{H}\to {ℝ}^N$ , $I\left(u\right)\mathrm{<mo>\; :\; </mo>}=J\left(u\mathrm{,}{\varphi }_u\right)\mathrm{.}$

Then I is $C^1$ , and by (2.3) we have $I^{\prime }\left(u\right)={J^{\prime }}_u\left(u\mathrm{,}{\varphi }_u\right)$ .

By the definition of J, we have

$I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u\right|}^2-{\left|\nabla {\varphi }_u\right|}^2+\left[V\left(x\right)-\left(2\omega +{\varphi }_u\right){\varphi }_u\right]u^2\right)\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\mathrm{.}$

By (2.4), the functional I can be written as

$I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u\right|}^2+V\left(x\right)u^2-\omega {\varphi }_u{u}^2\right)\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\mathrm{.}$ (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 $L^2$ -sphere

$S\left(a\right)=\left\{u\in \mathcal{H}\mathrm{<mo>\; :\; </mo>}{\displaystyle {\int }_{{ℝ}^n}}{u}^2\text{d}x=a\right\}\mathrm{.}$

We are going to study the minimization problem with $L^2$ -constraint

$E\left(a\right)=\underset{u\in S\left(a\right)}{\inf }I\left(u\right)\mathrm{.}$ (2.6)

The solution of (2.6) $u=\tilde{u}$ is called a normalized ground state solution satisfying problem (1.3) if it has minimal energy among all solutions:

${dI|}_{S\left(a\right)}\left(\tilde{u}\right)=0\text{and}I\left(\tilde{u}\right)=\inf \left\{I\left(u\right)\mathrm{<mo>\; :\; </mo>}{dI|}_{S\left(a\right)}\left(\tilde{u}\right)=0,\tilde{u}\in S\left(a\right)\right\}\mathrm{.}$

In this paper, we will be especially interested in the existence of normalized ground state solutions.

Lemma 2.2. (Gagliardo-Nirenberg inequality). For all $u\in H^1\left({ℝ}^N\right)$ , we have ${\Vert u\Vert }_p^p\le C\left(N\right){\Vert \nabla u\Vert }_{p^{\prime }}^2{\Vert u\Vert }_2^{p-p^{\prime }},2\le p<2^{*},$ where $C\left(N\right)$ is a positive constant depending on N and $p^{\prime }=\frac{N\left(p-2\right)}{2p}$ .

Lemma 2.3. Suppose (f1) and (f2) hold. Then, for any $a>0$ , the functional I is bounded from below and coercive on S(a).

Proof. Assumptions (f1) and (f2) imply that for any $\xi >0$ , there exist $c\left(\xi \right)>0$ such that

$F\left(s\right)\le c\left(\xi \right){\left|s\right|}^2+\xi {\left|s\right|}^l\text{,}\forall s\in ℝ\mathrm{.}$

Hence, combining Lemma 2.2 and $p=l=2+\frac{4}{N}$ we obtain

$\begin{array}{c}\left|{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\right|\le c\left(\xi \right){\left|u\right|}_2^2+\xi {\left|u\right|}_l^l\\ \le c\left(\xi \right){\left|u\right|}_2^2+\xi C\left(N\right){\left|\nabla u\right|}_2^2{\left|u\right|}_2^{\frac{4}{N}}\mathrm{.}\end{array}$

Since we can choose $\xi$ such that $\xi C\left(N\right)a^{\frac{2}{N}}=\frac{1}{4}$ , and according to (2.1) we have

$\begin{array}{c}I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^n}}{\left|\nabla u\right|}^2+V\left(x\right)u^2-\omega {\varphi }_u{u}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^n}}F\left(u\right)\text{d}x\\ \ge \frac{1}{2}{\Vert \nabla u\Vert }_2^2+\frac{1}{2}V\left(x\right){\displaystyle {\int }_{{ℝ}^N}}{u}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\\ \ge \frac{1}{2}{\Vert \nabla u\Vert }_2^2+\frac{1}{2}\underset{x\in {ℝ}^N}{\inf }V\left(x\right){\displaystyle {\int }_{{ℝ}^N}}{u}^2\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u\right)\text{d}x\\ \ge \frac{1}{4}{\Vert \nabla u\Vert }_2^2-ca>-\infty \mathrm{.}\end{array}$

Therefore, I is bounded from below and coercive on $S\left(a\right)$ .¨

The following lemma is Lemma 2.2 in [16] .

Lemma 2.4. Suppose (f1) and (f2) hold and ${\left\{u_n\right\}}_{n\in N}$ is a bounded sequence in $\mathcal{H}$ . If $\underset{n\to \infty }{lim}{\left|u_n\right|}_2^2=0$ holds, then it is true that

$\underset{n\to \infty }{lim}{\displaystyle {\int }_{{ℝ}^N}}F\left(u_n\right)\text{d}x=0.$

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 ${\left\{u_n\right\}}_{\in N}$ is a bounded sequence in $\mathcal{H}$ , then we have $u_n\rightharpoonup u$ in $\mathcal{H}$ , thus

$\underset{n\to \infty }{lim}{\displaystyle {\int }_{{ℝ}^N}}\left[F\left(u_n\right)-F\left(u\right)-F\left(u_n-u\right)\right]\text{d}x=0.$

When $V\left(x\right)$ 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 $\mathcal{H}$ ↪ $L^p\left({ℝ}^N\right)$ is compact for any $p\in \left[{\mathrm{2,2}}^{\mathrm{<mo>\; *\; </mo>}}\right)$ .

Proof of Theorem 1.1. Let $\left\{u_n\right\}\subset S\left(a\right)$ be a minimizing sequence of I with concerning $E\left(a\right)$ . Then, by (2.5) we obtain

$I\left(u_n\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u_n\right|}^2+V\left(x\right)u_n^2-\omega {\varphi }_{u_n}{u}_n^2\right)\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u_n\right)\text{d}x\mathrm{.}$

According to Lemma 2.3, we know that $\left\{u_n\right\}$ is bounded in $\mathcal{H}$ . Moreover, letting $u_0$ be in $\mathcal{H}$ , and by Lemma 2.6 we conclude

$u_n\rightharpoonup u_0\text{in}\mathcal{H}\mathrm{,}$ (2.7)

$u_n\to u_0\text{in}{L}^q\left({ℝ}^N\right),2\le q<2^{\mathrm{<mo>\; *\; </mo>}}\mathrm{,}$ (2.8)

$u_n\to u_0\text{a}\text{.e}\text{.}\text{in}{ℝ}^N\mathrm{.}$

We also have

$I\left(u_0\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^N}}\left({\left|\nabla u_0\right|}^2+V\left(x\right)u_0^2-\omega {\varphi }_{u_0}{u}_0^2\right)\text{d}x-{\displaystyle {\int }_{{ℝ}^N}}F\left(u_0\right)\text{d}x\mathrm{.}$

Since (2.8) holds, we have $\underset{n\to \infty }{lim}{\left|u_n-u_0\right|}_2^2=0$ . Then, by Lemma 2.4 we obtain

$\underset{n\to \infty }{lim}{\displaystyle {\int }_{{ℝ}^N}}F\left(u_n-u_0\right)\text{d}x=0.$

Moreover, by Lemma 2.5 we have which implies

${\displaystyle {\int }_{{ℝ}^N}}F\left(u_n\right)\text{d}x\to {\displaystyle {\int }_{{ℝ}^N}}F\left(u_0\right)\text{d}x\text{as}n\to \infty \mathrm{.}$ (2.9)

Hence, combining (2.1), (2.9) and weak lower semicontinuity of the norm ${\Vert \cdot \Vert }_{\mathcal{H}}$ , we have $E\left(a\right)\le I\left(u_0\right)\le \underset{n\to \infty }{\lim \inf }I\left(u_n\right)=E\left(a\right)\mathrm{,}$ which implies $I\left(u_0\right)=E\left(a\right)$ . Then, $u_0$ satisfies $(\begin{array}{l}-\Delta u_0+V\left(x\right)u_0-\left(2\omega +\varphi \right)\varphi u_0=f\left(u_0\right)\text{in}{ℝ}^N\mathrm{,}\\ \Delta \varphi =\left(\omega +\varphi \right)u_0^2\text{in}{ℝ}^N\mathrm{,}\end{array}$ and ${\displaystyle {\int }_{{ℝ}^N}}{\left|u_0\left(x\right)\right|}^2\text{d}x=a$ . Therefore, problem (1.3) has a normalized ground state solution.¨

Conflicts of Interest

The author declares no conflicts of interest.

References

[1]	Carrião, P.C., Cunha, P.L. and Miyagaki, O.H. (2012) Positive Ground State Solutions for the Critical Klein-Gordon-Maxwell System with Potentials. Nonlinear Analysis: Theory, Methods & Applications, 75, 4068-4078. https://doi.org/10.1016/j.na.2012.02.023
[2]	Zhang, X. and Huang, C. (2022) Nontrivial Solutions for Klein-Gordon-Maxwell Systems with Sign-Changing Potentials. Boundary Value Problems, 10, Article No. 83. https://doi.org/10.1186/s13661-022-01664-4
[3]	Cassani, D. (2004) Existence and Non-Existence of Solitary Waves for the Critical Klein-Gordon Equation Coupled with Maxwell’s Equations. Nonlinear Analysis: Theory, Methods & Applications, 58, 733-747. https://doi.org/10.1016/j.na.2003.05.001
[4]	Benci, V. and Fortunato, D. (2002) Solitary Waves of the Nonlinear Klein-Gordon Equation Coupled with the Maxwell Equations. Reviews in Mathematical Physics, 14, 409-420. https://doi.org/10.1142/S0129055X02001168
[5]	He, C.-M., Li, L., Chen, S.-J. and O’Regan, D. (2022) Ground State Solution for the Nonlinear Klein-Gordon Equation Coupled with Born-Infeld Theory with Critical Exponents. Analysis and Mathematical Physics, 12, Article No. 48. https://doi.org/10.1007/s13324-022-00661-1
[6]	Wang, F. (2011) Ground-State Solutions for the Electrostatic Nonlinear Klein-Gordon-Maxwell System. Nonlinear Analysis: Theory, Methods & Applications, 74, 4796-4803. https://doi.org/10.1016/j.na.2011.04.050
[7]	Wang, F. (2011) Solitary Waves for the Klein-Gordon-Maxwell System with Critical Exponent. Nonlinear Analysis: Theory, Methods & Applications, 74, 827-835. https://doi.org/10.1016/j.na.2010.09.033
[8]	Bartsch, T. and Jeanjean, L. (2018) Normalized Solutions for Nonlinear Schrödinger Systems. Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 148, 225-242. https://doi.org/10.1017/S0308210517000087
[9]	Bartsch, T., Jeanjean, L. and Soave, N. (2016) Normalized Solutions for a System of Coupled Cubic Schrödinger Equations on . Journal de Mathématiques Pures et Appliquées, 106, 583-614. https://doi.org/10.1016/j.matpur.2016.03.004
[10]	Bartsch, T. and Soave, N. (2017) A Natural Constraint Approach to Normalized Solutions of Nonlinear Schrödinger Equations and Systems. Journal of Functional Analysis, 272, 4998-5037. https://doi.org/10.1016/j.jfa.2017.01.025
[11]	Bartsch, T. and Soave, N. (2019) Multiple Normalized Solutions for a Competing System of Schrödinger Equations. Calculus of Variations and Partial Differential Equations, 58, Article No. 22. https://doi.org/10.1007/s00526-018-1476-x
[12]	Gou, T. and Jeanjean, L. (2018) Multiple Positive Normalized Solutions for Nonlinear Schrödinger Systems. Nonlinearity, 31, 2319-2345. https://doi.org/10.1088/1361-6544/aab0bf
[13]	Ikoma, N. and Tanaka, K. (2019) A Note on Deformation Argument for Normalized Solutions of Nonlinear Schrödinger Equations and Systems. Advances in Differential Equations, 24, 609-646. https://doi.org/10.57262/ade/1571731543
[14]	Yang, Z., Qi, S. and Zou, W. (2022) Normalized Solutions of Nonlinear Schrödinger Equations with Potentials and Non-Autonomous Nonlinearities. Journal of Geometric Analysis, 32, Article No. 159. https://doi.org/10.1007/s12220-022-00897-0
[15]	Soave, N. (2020) Normalized Ground States for the NLS Equation with Combined Nonlinearities: The Sobolev Critical Case. Journal of Functional Analysis, 279, Article ID: 108610. https://doi.org/10.1016/j.jfa.2020.108610
[16]	Shibata, M. (2014) Stable Standing Waves of Nonlinear Schrödinger Equations with a General Nonlinear Term. Manuscripta Mathematica, 143, 221-237. https://doi.org/10.1007/s00229-013-0627-9
[17]	Ikoma, N. and Miyamoto, Y. (2020) Stable Standing Waves of Nonlinear Schrödinger Equations with Potentials and General Nonlinearities. Calculus of Variations and Partial Differential Equations, 59, Article No. 48. https://doi.org/10.1007/s00526-020-1703-0
[18]	Chen, Z. and Zou, W. (2021) Normalized Solutions for Nonlinear Schrödinger Systems with Linear Couples. Journal of Mathematical Analysis and Applications, 499, Article ID: 125013. https://doi.org/10.1016/j.jmaa.2021.125013
[19]	Bartsch, T., Molle, R., Rizzi, M. and Verzini, G. (2021) Normalized Solutions of Mass Supercritical Schrödinger Equations with Potential. Communications in Partial Differential Equations, 46, 1729-1756. https://doi.org/10.1080/03605302.2021.1893747
[20]	Bartsch, T. and de Valeriola, S. (2013) Normalized Solutions of Nonlinear Schrödinger Equations. Archiv der Mathematik, 100, 75-83. https://doi.org/10.1007/s00013-012-0468-x
[21]	Zhu, X. and Cao, D. (1989) The Concentration-Compactness Principle in Nonlinear Elliptic Equations. Acta Mathematica Scientia, 9, 307-328. https://doi.org/10.1016/S0252-9602(18)30356-4
[22]	Zou, W. and Schechter, M. (2006) Critical Point Theory and Its Applications. Springer, New York.