Existence of the Solutions for a Class of Quasilinear Schrödinger Equations with Nonlocal Term

Renqing You¹, Peng Liao^2*

¹School of Mathematics, Yunnan Normal University, Kunming, China.
²School of Mathematics and Statistics, Southwest University, Chongqing, China.

DOI: 10.4236/jamp.2022.1011216                

Abstract

In this paper, we deal with the existence of solution for a class of quasilinear Schrödinger equations with a nonlocal term

Where μ ∈ (0,3), the function K,V ∈ C(R³,R⁺) and V(x) may be vanish at infinity, g is a C¹ even function with g’(t) ≤ 0 for all t ≥ 0, g(0) = 1, , 0 < a < 1, and F is the primitive function of f which is superlinear but subcritical at infinity in the sense of Hardy-littlewood-Sobolev inequality. By the mountain pass theorem, we prove that the above equation has a nontrivial solution.

Keywords

Quasilinear Schrödinger Equation, Nontrivial Solution, Variational Method

1. Introduction

In this paper, we consider investigating the existence of a nontrivial solution for the following generalized quasilinear Schrödinger equation with a nonlocal term

$\begin{array}{l}-\text{div}\left(g^2\left(u\right)\nabla u\right)+g\left(u\right)g^{\prime }\left(u\right){\left|\nabla u\right|}^2+V\left(x\right)u\\ =\left[{\left|x\right|}^{-\mu }\ast \left(KF\left(u\right)\right)\right]Kf\left(u\right)\mathrm{,}x\in {ℝ}^3\mathrm{,}\end{array}$ (1.1)

where $\mu \in \left(\mathrm{0,3}\right)$, the function $V\mathrm{,\; <mtext>\; \hspace{0.17em}\; </mtext>}K\in C\left({ℝ}^3\mathrm{,}{ℝ}^{+}\right)$ may be vanish at infinity, $f\mathrm{<mo>\; :\; </mo>}ℝ\to ℝ$, g is a $C^1$ even function with $g^{\prime }\left(t\right)\le 0$ for all $t\ge 0$, $g\left(0\right)=1$, $li{m}_{t\to +\infty }g\left(t\right)=a$, $0<a<1$, when $g\left(u\right)=1$, (1.1) boils down to the so called nonlinear Choquard or Choquard-Pekar equation

$-\Delta u+V\left(x\right)u=\left[{\left|x\right|}^{-2}\ast \left(K\left(y\right)F\left(u\left(y\right)\right)\right)\right]K\left(x\right)f\left(u\left(x\right)\right)\mathrm{,}$ (1.2)

Such like equation has several physical origins. The problem

$-\Delta u+u=\left[{\left|x\right|}^{-1}\ast {\left|u\right|}^2\right]u\mathrm{,}$ (1.3)

appeared at least as early as 1954, in a work by Pekar describing the quantum mechanics of a polaron at rest [1]. In 1976, Choquard used (1.3) to describe an electron trapped in its own hole and in a certain approximation to Hartree-Fock theory of one component plasma [2]. In 1996, Penrose proposed (1.3) as a model of self-gravitating matter, in a program in which quantum state reduction is understood as a gravitational phenomenon [3]. In this context, equation of type (1.3) is usually called the nonlinear Schrödinger-Newton equation. The first investigations for existence and symmetry of the solutions (1.3) go back to the works of Lieb [2] and Lions [4]. In [2], by using symmetric decreasing rearrangement inequalities, Lieb proved that the ground state solution of equation (3) is radial and unique up to translations. Lions [4] showed the existence of a sequence of radially symmetric solutions [5]. Wei and Winter consider strongly interacting bumps for the Schröding-Newton equation. Ma and Zhao [6] considered the generalized Choquard equation

$-\Delta u+u=\left[{\left|x\right|}^{-\mu }\ast {\left|u\right|}^q\right]{\left|u\right|}^{q-2}u\left(q\ge 2\right)\mathrm{,}$ (1.4)

and proved that every positive solution of it is radially symmetric and monotone decreasing about some fixed point, under the assumption that a certain set of real numbers, defined in terms of N, q, is nonempty. Under the same assumption, Cingolani, Clapp, and Secchi [7] gave some existence and multiplicity results in the electromagnetic case and established the regularity and some decay asymptotically at infinity of the ground states. In [8], Moroz and Van Schaftingen eliminated this restriction and showed the regularity, positivity, and radial symmetry of the ground states for the optimal range of parameters and derived decay asymptotically at infinity for them as well. Moreover, they [9] also obtained a similar conclusion under the assumption of Berestycki-Lions type nonlinearity. We point out that the existence, multiplicity, and concentration of such equations have been established by many authors. We refer the readers to [10] [11] for the existence of sign-changing solutions, [5] [12] for the existence and concentration behavior of the semiclassical solutions and [13] for the critical nonlocal part with respect to the Hardy-Littlewood-Sobolev inequality. For more details associated with the Choquard equation, please refer to [14] [15] [16] and the references therein. Li, Teng, Zhang, and Nie [17] investigate the existence of solutions for the following generalized quasilinear Schrödinger equation with a nonlocal term

$\begin{array}{l}-\text{div}\left(g^2\left(u\right)\nabla u\right)+g\left(u\right)g^{\prime }\left(u\right)+{\left|\nabla u\right|}^2+V\left(x\right)u\\ =\lambda \left[{\left|x\right|}^{-\mu }\ast {\left|u\right|}^p\right]{\left|u\right|}^{p-2}u\mathrm{,}x\in {ℝ}^N\mathrm{,}\end{array}$ (1.5)

and prove that the existence of solution. Li and Wu [18] considered the following generalized quasilinear Schrödinger equations with critical or supercritical growths

$-\text{div}\left(g^2\left(u\right)\nabla u\right)+g\left(u\right)g^{\prime }\left(u\right)+{\left|\nabla u\right|}^2+V\left(x\right)u=f\left(x\mathrm{,}u\right)+\lambda {\left|u\right|}^{p-2}u\mathrm{,}x\in {ℝ}^N\mathrm{.}$ (1.6)

and prove the existence of nontrivial solutions. Recently, Chen, Zhang and Tang [19] considered following Kirchhoff-type equation with convolution term and prove the existence of ground state solutions. Li, Li and Ma [20] proved that (1.7) has a positive ground state solution by using a monotonicity trick introduced by Jeanjean [21] and a version of global compactness Lemma.

Inspired by the above in this paper, we will consider the existence of nontrivial solution for the generalized quasilinear Schrödinger equation when $V\left(x\right)\to 0$ as $\left|x\right|\to \infty$. The energy functional associated with (1.1)

$I\left(u\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}\left(g^2\left(u\right){\left|\nabla u\right|}^2+V\left(x\right)u^2\right)-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(u\left(y\right)\right)F\left(u\left(x\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}$

where $F\left(u\right)={\displaystyle {\int }_0^u}f\left(s\right)$, However, I is not well defined in $H^1\left({ℝ}^3\right)$ since the term ${\displaystyle {\int }_{{ℝ}^3}}{g}^2\left(u\right){\left|\nabla u\right|}^2$. To overcome this difficulty, we make a change of variable constructed by Shen and Wang in [22]: $v:=G\left(u\right):={\displaystyle {\int }_0^u}g\left(t\right)$. Then we obtain

$\begin{array}{c}J\left(v\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v\right|}^2+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v\right)\right|}^2\\ -\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}\end{array}$ (1.7)

We say u is a solution of (1.1) if

$\begin{array}{c}\langle I^{\prime }\left(u\right),\phi \rangle ={\displaystyle {\int }_{{ℝ}^3}}\left[g^2\left(u\right)\nabla u\nabla \phi +g\left(u\right)g^{\prime }\left(u\right){\left|\nabla u\right|}^2\phi +V\left(x\right)u\phi \right]\\ -{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(u\left(y\right)\right)f\left(u\left(x\right)\right)}{x-y}\phi \\ =0,\end{array}$ (1.8)

for all $\phi \in C_0^{\infty }\left({ℝ}^3\right)$. Let $\phi =\frac{1}{g\left(u\right)}\psi$. By [21] we know that (1.8) is equivalent to

$\begin{array}{c}\langle J^{\prime }\left(v\right),\psi \rangle ={\displaystyle {\int }_{{ℝ}^3}}\left[\nabla v\nabla \psi +V\left(x\right)\frac{G^{-1}\left(v\right)}{g\left(G^{-1}\left(v\right)\right)}\psi \right]\\ -{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}\psi \\ =0,\end{array}$ (1.9)

for all $\psi \in C_0^{\infty }\left({ℝ}^3\right)$. Therefore, in order to find the nontrivial solution of (1.1), it suffices to study the existence of the nontrivial of the following equations

$-\Delta v+V\left(x\right)\frac{G^{-1}\left(v\right)}{g\left(G^{-1}\left(v\right)\right)}-{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}=\mathrm{0,}$ (1.10)

To describe our results, we firstly introduce the assumptions on V and K:

(VK₁) $V\mathrm{,}K\in \left({ℝ}^3\mathrm{,}ℝ\right)$, $V\left(x\right),K\left(x\right)>0$, $\forall x\in {ℝ}^3\mathrm{,}K\in L^{\infty }\left({ℝ}^3\right)$ ;

(VK₂) If $\left\{A_n\right\}\subset {ℝ}^3$ is a sequence of borel sets with $\left|A_n\right|\le \delta$ for all n and some $\delta >0$, then

$\underset{r\to \infty }{\lim }{\displaystyle {\int }_{A_n\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}=\mathrm{0,}\text{uniformly}\text{in}n\in N\mathrm{,}\mu \in \left(\mathrm{0,3}\right)\mathrm{<mo>\; ;\; </mo>}$

(VK₃) $\frac{K^{\frac{6}{6-\mu }}}{V}\in L^{\infty }\left({ℝ}^3\right)$ ;

(VK₄) there exists $p\in \left(\mathrm{2,6}\right)$ such that

$\frac{K^{\frac{6}{6-\mu }}\left(x\right)}{V^{\frac{6-p}{4}}\left(x\right)}\to 0\text{as}\left|x\right|\to +\infty \mathrm{,}$

For the nonlinearity f, and g, we have the following assumptions:

(f₁) $f\in C^1\left(ℝ\mathrm{,}ℝ\right)$ and $f\left(t\right)=0,\forall t\le 0$ ;

(f₂) ${\lim }_{t\to 0}\frac{f\left(t\right)}{t^{\frac{3-\mu }{3}}}=0$ if (VK₃) holds; ${\lim }_{t\to 0}\frac{f\left(t\right)}{t^{\frac{p\left(6-\mu \right)}{6}-1}}<+\infty ,p\in \left(2,6\right)$ if (VK₄) holds;

(f₃) ${\lim }_{t\to +\infty }\frac{f\left(t\right)}{{\left|t\right|}^{5-\mu }}=0$ ;

(f₄) ${\lim }_{t\to +\infty }\frac{f\left(t\right)}{t}=+\infty$ ;

(f₅) $\frac{f\left(t\right)}{t}$ is strictly increasing as $t>0$ ;

(f₆) there exist $T>0$ such that $tf\left(t\right)\ge \frac{2}{a}F\left(t\right)>0$, if $t>T$.

Then we have the following results.

Theorem 1.1. Suppose that (VK₁)-(VK₄) (f₁)-(f₅). Then the problem (1.1) exists a nontrivial solution.

Remark 1.1. In this paper, we consider the potential function V is vanishing at infinity and the nonlocal term f is subcritical. By using mountain pass theorem and dominated theorem, we prove the theorem 1.1. At same time, we say lemma 3.4 [23] play a great role in this article. Moreover, if someone are interested in this case, they can consider nonlocal term f is critical and supercritical.

In this paper, we will make use of the following notations:

· The characters $C\mathrm{,}{C}_1\mathrm{,}{C}_2\mathrm{,}\cdots$ means to inexactly positive constants respectively;

· “ $\to$ ” denotes strong convergence and “ $\rightharpoonup$ ” denotes weak convergence;

· $L^p\left({ℝ}^3\right)\mathrm{,1}\le p\le +\infty$, denotes the Lebesgue space with the norm ${\Vert u\Vert }_{L^p}={\left({\displaystyle {\int }_{{ℝ}^3}}{\left|u\right|}^p\right)}^{\frac{1}{p}}$.

2. Preliminary Results

Throughout the paper, we let

$H:=\left\{u\in H^1\left({ℝ}^3\right):{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)u^2<\infty \right\}.$ (2.1)

then H is a Hilbert space equipped with the inner product

$\left(u,v\right)={\displaystyle {\int }_{{ℝ}^3}}\nabla u\nabla v+V\left(x\right)uv,$

and the norm

$\Vert u\Vert ={\left({\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla u\right|}^2+V\left(x\right){\left|u\right|}^2\right)}^{\frac{1}{2}}.$

We also define weighted Lebesgue space

$L_{K^{\frac{6}{6-\mu }}}^{p+1}\left({ℝ}^3\right)=\left\{u\mathrm{<mo>\; :\; </mo>}{ℝ}^3\to ℝ\mathrm{<mo>\; :\; </mo>}u\text{is}\text{measurable}{\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|u\right|}^{p+1}<\infty \right\}\mathrm{,}$

To begin with, we give some lemmas.

Lemma 2.1. [24] (Hardy-Littlewood-Sobolev inequality) Let $t,r>1$, and $0<\mu <N$ with $\frac{1}{t}+\frac{1}{r}+\frac{\mu }{N}=2$, $f\left(t\right)\in L^t\left({ℝ}^3\right)$ and $L^r\left({ℝ}^3\right)$. There exists a sharp comstant $C=C\left(t,r,N,\mu \right)>0$, independent of $f\mathrm{,}h$, such that

${\displaystyle {\int }_{{ℝ}^N}}{\displaystyle {\int }_{{ℝ}^N}}\frac{f\left(x\right)h\left(y\right)}{{\left|x-y\right|}^{\mu }}\le C{\Vert f\Vert }_t{\Vert h\Vert }_r$

Lemma 2.2. [25] The function $g\left(t\right)\mathrm{,}{G}^{-1}\left(t\right)\mathrm{,}G\left(t\right)$ enjoy the following properties.

(g₁) the function $G\left(t\right)$ and $G^{-1}\left(t\right)$ are strictly increasing and odd;

(g₂) $\left|t\right|\le \left|G^{-1}\left(t\right)\right|\le \left|t\right|/a$ for all $t\in ℝ$ ;

(g₃) $G^{-1}\left(t\right)/t$ is nondecreasing for all $t\in ℝ$ and ${\lim }_{t\to 0}{G}^{-1}\left(t\right)/t=1$, ${\lim }_{t\to \infty }{G}^{-1}\left(t\right)/t=1/a$ ;

(g₄) $t^2\le \left(t/g\left(t\right)\right)G\left(t\right)\le t^2/a$ for all $t\in ℝ$.

Lemma 2.3. Assume that (f₁)-(f₅). Then we have the following conditions:

1) For every $\epsilon >0$, there exists $C_{\epsilon }>0$ satisfies that $\left|f\left(t\right)\right|\le \epsilon {\left|t\right|}^{\frac{3-\mu }{3}}+C_{\epsilon }{\left|t\right|}^{5-\mu }$ and $\left|F\left(t\right)\right|\le \epsilon {\left|t\right|}^{\frac{6-\mu }{3}}+C_{\epsilon }{\left|t\right|}^{6-\mu }$ $\forall t\in ℝ$, if (VK₃) holds.

2) For every $\delta >0$ and $p\in \left(\mathrm{2,6}\right)$, there is $C_{\delta }>0$ satisfies that $\left|f\left(t\right)\right|\le \delta {\left|t\right|}^{p\frac{6-\mu }{6}-1}+C_{\delta }{\left|t\right|}^{5-\mu }$ and $\left|F\left(t\right)\right|\le \delta {\left|t\right|}^{p\frac{6-\mu }{6}}+C_{\delta }{\left|t\right|}^{6-\mu }$ $\forall t\in R$, if (VK₄) holds.

Proof: By the definition and straightforward calculus.

Lemma 2.4. [26] Assume that there are (VK₁)-(VK₂) hold. Then, H is compactly embedded in $L_{K^{\frac{6}{6-\mu }}}^q\left(R^3\right)$ for all $q\in \left(\mathrm{2,6}\right)$ if (VK₃) holds. If (VK₄) holds, one has H is compactly embedded in $L_{K^{\frac{6}{6-\mu }}}^q\left({ℝ}^3\right)$, for all $q\in \left(\mathrm{2,6}\right)$.

Proof: The proof will be made into two parts, firstly we consider the condition (VK₃), and after (VK₄). By assuming that (VK₃) is true, fixed $q\in \left(\mathrm{2,6}\right)$ and given $\epsilon >0$, there are $0<s_0<s_1$ and $C>0$ such that

$K^{\frac{6}{6-\mu }}{\left|s\right|}^q\le \epsilon C\left(V\left(x\right){\left|s\right|}^2+{\left|s\right|}^6\right)+C{K}^{\frac{6}{6-\mu }}\left(x\right){\chi }_{\left[s_0\mathrm{,}{s}_1\right]}\left(\left|s\right|\right){\left|s\right|}^6,s\in R\mathrm{.}$ (2.2)

Hence,

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}{\left|v\right|}^q\le \epsilon CQ\left(v\right)+C{\displaystyle {\int }_{B\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }},v\in H\mathrm{,}$ (2.3)

where

$Q\left(v\right)={\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|v\right|}^2+{\left|v\right|}^6\mathrm{,}$

and

$B=\left\{x\in {ℝ}^3\mathrm{<mo>\; :\; </mo>}{s}_0\le \left|v\left(x\right)\right|\le s_1\right\}\mathrm{,}$

If $\left(v_n\right)$ is a sequence such that $v_n\rightharpoonup v$ in H, there is $M_1>0$ such that

${\displaystyle {\int }_{{ℝ}^3}}\left({\left|\nabla v_n\right|}^2+V\left(x\right){\left|v_n\right|}^2\right)\le M_1\text{and}{\displaystyle {\int }_{{ℝ}^3}}{\left|v_n\right|}^6\le M_1,\forall n\in \mathbb{N}\mathrm{,}$

which imply that $\left(Q\left(v_n\right)\right)$ is bounded. On the other hand, setting

$B_n=\left\{x\in {ℝ}^3\mathrm{<mo>\; :\; </mo>}{s}_0\le \left|v_n\left(x\right)\right|\le s_1\right\}\mathrm{,}$

the last inequality implies that

$s_0^6\left|B_n\right|\le {\displaystyle {\int }_{B_n}}{\left|v_n\left(x\right)\right|}^6\le M_1$

showing that $\underset{n\in \mathbb{N}}{\sup }\left|A_n\right|<+\infty$. Therefore, from (VK₂), there is an $r>0$ such that

${\displaystyle {\int }_{B_n\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right)<\frac{\epsilon }{s_1^6},\forall n\in \mathbb{N}\mathrm{,}$ (2.4)

Now, (2.3) and (2.4) lead to

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^q\le \epsilon C{M}_1+s_1^6{\displaystyle {\int }_{B_n\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right)<\left(C{M}_1+1\right)\epsilon ,\forall n\in \mathbb{N}\mathrm{,}$ (2.5)

Once that $q\in \left(\mathrm{2,6}\right)$ and K is a continuous function, it follows from Sobolev embedding

$\underset{n\to +\infty }{lim}{\displaystyle {\int }_{B_r\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^q={\displaystyle {\int }_{B_r\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v\right|}^q\mathrm{,}$ (2.6)

Combining (2.5) and (2.6)

$\underset{n\to +\infty }{lim}{\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^q={\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v\right|}^q\mathrm{,}$ (2.7)

which yields

$v_n\to v\text{in}{L}_{K^{\frac{6}{6-\mu }}}^q,\forall q\in \left(\mathrm{2,6}\right)\mathrm{.}$

Now, we will suppose that (VK₄) holds. First of all, it is important to observe that for each $x\in {ℝ}^3$ fixed, the function

$g\left(s\right)=V\left(x\right)s^{2-p}+s^{6-p},\forall s>0.$

has $C_{p}V{\left(x\right)}^{\frac{6-p}{4}}$ as its minimum value, where

$C_p={\left(\frac{6-p}{4}\right)}^{\frac{p-6}{4}}{\left(\frac{p-2}{4}\right)}^{\frac{2-p}{4}}\mathrm{,}$

Hence,

$C_{p}V{\left(x\right)}^{\frac{6-p}{4}}\le V\left(x\right)s^{2-p}+s^{6-p},\forall x\in {ℝ}^3\text{and}s>0.$

Combining the last inequality with (VK₄), given $\epsilon \in \left(\mathrm{0,}{C}_p\right)$, there is $r>0$ large enough, such that

$K^{\frac{6}{6-\mu }}\left(x\right){\left|s\right|}^p\le \epsilon \left(V\left(x\right){\left|s\right|}^2+{\left|s\right|}^6\right),\forall s\in ℝ\text{and}\left|x\right|\ge r,$

leading to

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|u\right|}^p\le \epsilon {\displaystyle {\int }_{B_r^c\left(0\right)}}\left(V\left(x\right){\left|u\right|}^2+{\left|u\right|}^6\right),\forall u\in H\mathrm{.}$

If $\left(v_n\right)$ is a sequence such that $v_n\rightharpoonup v$ in H, there is $M_1>0$ such that

${\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|v_n\right|}^2\le M_1\text{and}{\displaystyle {\int }_{R^3}}{\left|v_n\right|}^6\le M_1,\forall n\in \mathbb{N}\mathrm{,}$

and so

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^p\le 2\epsilon M_1,\forall n\in \mathbb{N}\mathrm{,}$ (2.8)

Once that $p\in \left(\mathrm{2,6}\right)$ and $K^{\frac{6}{6-\mu }}$ is a continuous function, it follows from Sobolev embedding

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{B_r\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^p={\displaystyle {\int }_{B_r\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v\right|}^p,$ (2.9)

From (2.9) and (2.10)

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^p={\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v\right|}^p,$

implying that

$v_n\to v\text{in}{L}_{K^{\frac{6}{6-\mu }}}^p\left({ℝ}^3\right)\mathrm{,}$

finishing the proof of the proposition.

Lemma 2.5. Suppose that f satisfies (f₁)-(f₅). Let $\left(v_n\right)$ be a sequence such that $v_n\rightharpoonup v$ in H. Then

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)F\left(G^{-1}\left(v\right)\right)\right|}^{\frac{6}{6-\mu }},$

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)f\left(G^{-1}\left(v_n\right)\right)v_n\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)F\left(G^{-1}\left(v\right)\right)v\right|}^{\frac{6}{6-\mu }},$

and

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|\frac{K\left(x\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|\frac{K\left(x\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{g\left(G^{-1}\left(v\left(x\right)\right)\right)}\right|}^{\frac{6}{6-\mu }}\mathrm{.}$

Proof: We will begin the proof by assuming that (VK₃) occurs. From Lemma 2.3, fixed $q\in \left(\mathrm{2,6}\right)$ and given $\epsilon >0$, there is $C>0$ such that

${\left|K\left(x\right)F\left(s\right)\right|}^{\frac{6}{6-\mu }}\le \epsilon C\left(V\left(x\right){\left|s\right|}^2+{\left|s\right|}^6\right)+C{K}^{\frac{6}{6-\mu }}\left(x\right){\left|s\right|}^q,\forall s\in ℝ\mathrm{,}$ (2.10)

From Lemma 2.4

${\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^q\to {\displaystyle {\int }_{{ℝ}^3}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v\right|}^q,$

then there is $r>0$ such that

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|v_n\right|}^q<\epsilon ,\forall n\in \mathbb{N}\mathrm{,}$ (2.11)

Since $\left(v_n\right)$ is bounded in H, by lemma 2.2 there is $M_1>0$ such that

${\displaystyle {\int }_{R^3}}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\le \frac{M_1}{a^2}\text{and}{\displaystyle {\int }_{{ℝ}^3}}{\left|G^{-1}\left(v_n\right)\right|}^6\le \frac{M_1}{a^6}.$

Combining the last inequalities with (2.10) and (2.11)

${\displaystyle {\int }_{B_r^c\left(0\right)}}{\left|K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}<\left(\frac{2}{a^6}C+1\right)\epsilon ,\forall n\in \mathbb{N},$ (2.12)

Now, if (VK₄) holds, repeating the same arguments explored in the proof of Lemma 2.4, given $\epsilon >0$ small enough, there is $r>0$ large enough such that

$K^{\frac{6}{6-\mu }}\left(x\right)\le \epsilon \left(V\left(x\right){\left|s\right|}^{2-p}+{\left|s\right|}^{6-p}\right),\forall s\in R\backslash \left\{0\right\}\text{and}\left|x\right|\ge r\mathrm{.}$

Hence

$\begin{array}{l}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|F\left(s\right)\right|}^{\frac{6}{6-\mu }}\\ \le \epsilon \left(V\left(x\right){\left|F\left(s\right)\right|}^{\frac{6}{6-\mu }}{\left|s\right|}^{2-p}+{\left|F\left(s\right)\right|}^{\frac{6}{6-\mu }}{\left|s\right|}^{6-p}\right),\forall s\in ℝ\text{and}\left|x\right|\ge r\mathrm{.}\end{array}$

From (f₂) and (f₃), there are $C,s_0,s_1>0$ verifying

$K^{\frac{6}{6-\mu }}\left(x\right){\left|F\left(s\right)\right|}^{\frac{6}{6-\mu }}\le \epsilon \left(V\left(x\right){\left|s\right|}^2+{\left|s\right|}^6\right),\forall s\in I\text{and}\left|x\right|\ge r\mathrm{.}$

where $I=\left\{s\in R:\left|s\right|<s_0\text{or}\left|s\right|>s_1\right\}$. Thereby, for any $v\in H$, we have the follow estimate

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|F\left(G^{-1}\left(v\right)\right)\right|}^{\frac{6}{6-\mu }}\le \epsilon CQ\left(G^{-1}\left(v\right)\right)+C{\displaystyle {\int }_{A\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right)\mathrm{,}$

with

$Q\left(G^{-1}\left(v\right)\right)={\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v\right)\right|}^2+{\displaystyle {\int }_{{ℝ}^3}}{\left|G^{-1}\left(v\right)\right|}^6\mathrm{,}$

and

$A=\left\{x\in R^3\mathrm{<mo>\; :\; </mo>}{s}_0\le \left|G^{-1}\left(v\right)\right|\le s_1\right\}\mathrm{.}$

Once that $\left(v_n\right)$ is bounded in H, there is $M_1>0$ such that

${\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\le \frac{M_1}{a^2}\text{and}{\displaystyle {\int }_{{ℝ}^3}}{\left|G^{-1}\left(v_n\right)\right|}^6\le \frac{M_1}{a^6},$

Thus

${\displaystyle {\int }_{B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right){\left|F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}\le \frac{2M_1\epsilon }{a^6}+C{\displaystyle {\int }_{A_n\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right)\mathrm{,}$

where

$A_n=\left\{x\in {ℝ}^3\mathrm{<mo>\; :\; </mo>}{s}_0\le \left|G^{-1}\left(v_n\right)\right|\le s_1\right\}\mathrm{,}$

Repeating the same arguments used in the proof of Lemma 2.2, it follows that

${\displaystyle {\int }_{A_n\cap B_r^c\left(0\right)}}{K}^{\frac{6}{6-\mu }}\left(x\right)\to 0\text{as}\left|x\right|\to +\infty \mathrm{,}$

and so, for n large enough

${\displaystyle {\int }_{B_r^c\left(0\right)}}{\left|K^{\frac{6}{6-\mu }}\left(x\right)F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}\le \left(\frac{2M_1}{a^6}+1\right)\epsilon \mathrm{.}$

Using compactness lemma of Strauss [27], Theorem A.I, p. 338, we have

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{B_r\left(0\right)}}{\left|K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{B_r\left(0\right)}}{\left|K\left(x\right)F\left(G^{-1}\left(v\right)\right)\right|}^{\frac{6}{6-\mu }}\mathrm{,}$

so

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)F\left(G^{-1}\left(v\right)\right)\right|}^{\frac{6}{6-\mu }}\mathrm{,}$

Similarly, we can prove

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)f\left(G^{-1}\left(v_n\right)\right)v_n\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)f\left(G^{-1}\left(v\right)\right)v\right|}^{\frac{6}{6-\mu }}\mathrm{,}$

and

$\underset{n\to +\infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\left|\frac{K\left(x\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\right|}^{\frac{6}{6-\mu }}={\displaystyle {\int }_{{ℝ}^3}}{\left|\frac{K\left(x\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{g\left(G^{-1}\left(v\left(x\right)\right)\right)}\right|}^{\frac{6}{6-\mu }}\mathrm{.}$

Lemma 2.6. Assume the assumptions (VK₁)-(VK₄) and (f₁)-(f₅) hold. Then J satisfies the following conditions:

i) There exist $\alpha ,\rho >0$ $J\left(v\right)\ge \alpha$ if $\Vert v\Vert =\rho$.

ii) There exist an $e\in H$ with $\Vert e\Vert \ge \rho$ such that $J\left(e\right)<0$.

Proof: (i) If (VK₃) hold, by Lemma 2.3 and (f₃) and (f₄), we have

$\begin{array}{c}J\left(v\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v\right|}^2+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v\right)\right|}^2\\ -\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(x\right)K\left(y\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\\ \ge \frac{1}{2}{\Vert v\Vert }^2-\frac{\epsilon }{a^{\frac{12-2\mu }{3}}}{\Vert v\Vert }^{\frac{12-2\mu }{3}}-\frac{C_{\epsilon }}{a^{12-2\mu }}{\Vert v\Vert }^{12-2\mu }\mathrm{,}\end{array}$ (2.13)

Since $\mu \in \left(\mathrm{0,3}\right)$, we can choose some $\rho >0,\alpha >0$ such that

$J\left(v\right)\ge \alpha >0\text{with}\Vert v\Vert =\rho .$

If (VK₄) holds, by the same way, we also have the same result.

(ii) First we note that $J\left(0\right)=0$. Furthermore, by Lemma 2.2, for fixed $v\in H\backslash \left\{0\right\}$ and $t>0$, we have

$\begin{array}{c}J\left(tv\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla tv\right|}^2+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(tv\right)\right|}^2\\ -\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(x\right)K\left(y\right)F\left(G^{-1}\left(tv\left(y\right)\right)\right)F\left(G^{-1}\left(tv\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\\ \le \frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(x\right)K\left(y\right)F\left(G^{-1}\left(tv\left(y\right)\right)\right)F\left(G^{-1}\left(tv\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}\end{array}$ (2.14)

From Lemma 2.3 and (f₆), there exist $C_1,C_2>0$ such that

$C_1{\left|t\right|}^{\frac{2}{a}}-C_2\le F\left(t\right)\mathrm{.}$

By (f₁) and (f₅), we have $F\left(t\right)>0$, then

$\begin{array}{l}J\left(tv\right)=\frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(x\right)K\left(y\right)F\left(G^{-1}\left(tv\left(y\right)\right)\right)F\left(G^{-1}\left(tv\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\\ \le \frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{R^3}}\frac{K\left(x\right)K\left(y\right)\left(C_1{\left|G^{-1}\left(tv\left(y\right)\right)\right|}^{\frac{2}{\alpha }}-C_2\right)\left(C_1{\left|G^{-1}\left(tv\left(x\right)\right)\right|}^{\frac{2}{\alpha }}-C_2\right)}{{\left|x-y\right|}^{\mu }}\\ \le \frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}K\left(x\right)K\left(y\right)\left(C_1{\left|tv\left(y\right)\right|}^{\frac{2}{\alpha }}-C_2\right)\left(C_1{\left|tv\left(x\right)\right|}^{\frac{2}{\alpha }}-C_2\right)\\ =\frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}K\left(x\right)K\left(y\right)\left(C_1^2{\left|t\right|}^{\frac{4}{a}}{\left|v\left(x\right)\right|}^{\frac{2}{a}}{\left|v\left(y\right)\right|}^{\frac{2}{a}}-C_1{C}_2{t}^{\frac{2}{a}}\left({\left|v\left(x\right)\right|}^{\frac{2}{a}}+{\left|v\left(y\right)\right|}^{\frac{2}{a}}\right)+C_2^2\right)\\ =\frac{t^2}{2a^2}{\Vert v\Vert }^2-\frac{{\left|t\right|}^{\frac{3}{a}}}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}K\left(x\right)K\left(y\right)(C_1^{2}t{\left|t\right|}^{\frac{1}{a}}{\left|v\left(x\right)\right|}^{\frac{2}{a}}{\left|v\left(y\right)\right|}^{\frac{2}{a}}\\ -C_1{C}_2{\left|t\right|}^{-\frac{1}{a}}\left({\left|v\left(x\right)\right|}^{\frac{2}{a}}+{\left|v\left(y\right)\right|}^{\frac{2}{a}}\right)+{\left|t\right|}^{-\frac{3}{a}}{C}_2^2)\to -\infty ,t\to +\infty .\end{array}$ (2.15)

Thus, we take $e=t_{0}v$ for some $t_0>0$, and (ii) holds.

By Lemma 2.6 and Ambrosetti-Rabinowitz mountain pass theorem [28], there exists a ${\left(PS\right)}_c$ sequence $v_n\subset H$

$J\left(v_n\right)\to c\text{and}{J}^{\prime }\left(v_n\right)\to \mathrm{0,}$ (2.16)

at the minimax level

$c=\underset{\gamma \in \Gamma }{\inf }\underset{t\in \left[\mathrm{0,1}\right]}{\max }J\left(\gamma \left(t\right)\right)\mathrm{,}$

where $\Gamma =\gamma \in \left\{C\left(\left[0,1\right],H\right):\gamma \left(0\right)=0,J\left(\gamma \left(1\right)\right)<0\right\}$.

Lemma 2.7. The sequence $\left(v_n\right)$ given in (2.16) is bounded.

Proof: By (2.16) and Lemma 2.3, we have

$\begin{array}{l}c+1+o_n\left(1\right)\Vert v_n\Vert \ge J\left(v_n\right)-\frac{a}{4}\langle J^{\prime }\left(v_n\right)\mathrm{,}{v}_n\rangle \\ \ge \left(\frac{1}{2}-\frac{a}{4}\right){\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v\right|}^2+{\displaystyle {\int }_{{ℝ}^3}}\frac{1}{4}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\\ +\frac{a}{4}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(x\right)K\left(y\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)\left(f\left(G^{-1}\left(v_n\left(x\right)\right)\right)G^{-1}\left(v_n\left(x\right)\right)-\frac{2}{a}F\left(G^{-1}\left(v_n\left(x\right)\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\\ \ge \frac{1}{4}{\Vert v_n\Vert }^2\mathrm{,}\end{array}$ (2.17)

which implies that $\left\{v_n\right\}$ is bounded in H.

Proof of Theorem 1.1: By Lemma 2.7, $\left\{v_n\right\}$ is bounded in H. Then, passing to a subsequence, $v_n\rightharpoonup v$ in H, $v_n\to v$ in $L_{loc}^q\left({ℝ}^3\right)$ for $q\in \left[\mathrm{2,6}\right)$, $v_n\left(x\right)\to v\left(x\right)$ a.e in ${ℝ}^3$.

By (1.9) and Fatou’s Lemma, we obtain that

$\begin{array}{c}{o}_n\left(1\right)=\langle J^{\prime }\left(v_n\right)\mathrm{,}v\rangle \\ ={\displaystyle {\int }_{{ℝ}^3}}\nabla v_n\nabla v+{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)\frac{G^{-1}\left(v_n\right)v}{g\left(G^{-1}\left(v_n\right)\right)}\\ -{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\right)\right)}v\\ \ge {\Vert v\Vert }^2-{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\right)\right)}v\mathrm{.}\end{array}$ (2.18)

and

$\begin{array}{c}{o}_n\left(1\right)=\langle J^{\prime }\left(v_n\right)\mathrm{,}{v}_n\rangle \\ ={\displaystyle {\int }_{{ℝ}^3}}\nabla v_n\nabla v_n+{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)\frac{G^{-1}\left(v_n\right)v_n}{g\left(G^{-1}\left(v_n\right)\right)}\\ -{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\mathrm{.}\end{array}$ (2.19)

Next, we prove that

$\begin{array}{l}\underset{n\to \infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\\ =\underset{n\to \infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\end{array}$

$={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}.$ (2.20)

First we prove the first equality in (2.19),

$\begin{array}{l}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\\ -\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}\\ ={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)\left(f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)-f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\\ +{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)\left(F\left(G^{-1}\left(v_n\left(y\right)\right)\right)-F\left(G^{-1}\left(v\left(y\right)\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\\ +{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }}\left(\frac{1}{g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}-\frac{1}{g\left(G^{-1}\left(v\left(x\right)\right)\right)}\right)\\ =A_n+B_n+C_n.\end{array}$ (2.21)

where

$A_n={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)\left(f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)-f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)},$

$B_n={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)\left(F\left(G^{-1}\left(v_n\left(y\right)\right)\right)-F\left(G^{-1}\left(v\left(y\right)\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)},$

and

$C_n={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }}\left(\frac{1}{g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}-\frac{1}{g\left(G^{-1}\left(v\left(x\right)\right)\right)}\right).$

Next, we prove $B_n\to 0$ as $n\to \infty$, since

$\begin{array}{c}\left|B_n\right|=\left|{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)\left(F\left(G^{-1}\left(v_n\left(y\right)\right)\right)-F\left(G^{-1}\left(v\left(y\right)\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\right|\\ \le C_1{\left({\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(y\right)\left(F\left(G^{-1}\left(v_n\left(y\right)\right)\right)-F\left(G^{-1}\left(v\left(y\right)\right)\right)\right)\right|}^{\frac{6}{6-\mu }}\right)}^{\frac{6-\mu }{6}}\\ \times {\left({\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(x\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)\right|}^{\frac{6}{6-\mu }}\right)}^{\frac{6-\mu }{6}}\end{array}$ (2.22)

It follows from Lemma 2.5 that

$\underset{n\to \infty }{\lim }{\left({\displaystyle {\int }_{{ℝ}^3}}{\left|K\left(y\right)\left(F\left(G^{-1}\left(v_n\left(y\right)\right)\right)-F\left(G^{-1}\left(v\left(y\right)\right)\right)\right)\right|}^{\frac{6}{6-\mu }}\right)}^{\frac{6-\mu }{6}}=\mathrm{0,}$

Thus

$B_n\to \mathrm{0,}\text{as}n\to \infty \mathrm{,}$

Similarly

$A_n\to \mathrm{0,}{C}_n\to \mathrm{0,}\text{as}n\to \infty \mathrm{,}$

Therefore, we have that

$\begin{array}{l}\underset{n\to \infty }{\lim }{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(x\right)\right)\right)f\left(G^{-1}\left(v_n\left(x\right)\right)\right)v_n\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v_n\left(x\right)\right)\right)}\\ ={\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}\mathrm{.}\end{array}$ (2.23)

Next, we say $v=0$ is impossible. We know $J\left(v_n\right)\to c>0$, then we have

$\begin{array}{l}J\left(v_n\right)=\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v_n\right|}^2+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\\ -\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v_n\left(y\right)\right)\right)F\left(G^{-1}\left(v_n\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\\ \to c~\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v_n\right|}^2+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\\ \to c+\frac{1}{2}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}\end{array}$

Let n large enough, we have

$\begin{array}{l}{\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v_n\right|}^2+{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right){\left|G^{-1}\left(v_n\right)\right|}^2\\ >\frac{c}{2}+\frac{1}{4}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}\end{array}$

By (2.19) and Lemma 2.2

$\begin{array}{l}{o}_n\left(1\right)+{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\right)\right)f\left(G^{-1}\left(v\left(x\right)\right)\right)v\left(x\right)}{{\left|x-y\right|}^{\mu }g\left(G^{-1}\left(v\left(x\right)\right)\right)}\\ ={\displaystyle {\int }_{{ℝ}^3}}\nabla v_n\nabla v_n+{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)\frac{G^{-1}\left(v_n\right)v_n}{g\left(G^{-1}\left(v_n\right)\right)}\\ \ge {\displaystyle {\int }_{{ℝ}^3}}{\left|\nabla v_n\right|}^2+{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)G^{-1}{\left(v_n\right)}^2\\ >\frac{c}{2}+\frac{1}{4}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)F\left(G^{-1}\left(v\left(y\right)\right)\right)F\left(G^{-1}\left(v\left(x\right)\right)\right)}{{\left|x-y\right|}^{\mu }}\mathrm{,}\end{array}$

which contradict with $v=0$. Next, we prove $\langle J^{\prime }\left(v\right)\mathrm{,}\phi \rangle =0$, $\forall \phi \in C_0^{\infty }\left({ℝ}^3\right)$. since

$\begin{array}{l}\left|\langle J^{\prime }\left(v_n\right)-J^{\prime }\left(v\right)\mathrm{,}\phi \rangle \right|\\ \le \left|{\displaystyle {\int }_{{ℝ}^3}}\nabla \left(v_n-v\right)\nabla \phi \right|+\left|{\displaystyle {\int }_{{ℝ}^3}}V\left(x\right)\left(\frac{G^{-1}\left(v_n\right)}{g\left(G^{-1}\left(v_n\right)\right)}-\frac{G^{-1}\left(v\right)}{g\left(G^{-1}\left(v\right)\right)}\right)\phi \right|\end{array}$

$+\left|{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)\left(\frac{F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)}{g\left(G^{-1}\left(v_n\right)\right)}-\frac{F\left(G^{-1}\left(v\right)\right)f\left(G^{-1}\left(v\right)\right)}{g\left(G^{-1}\left(v\right)\right)}\right)\right|\mathrm{.}$

We prove it by two parts

$\begin{array}{l}V\left(x\right)\left(\frac{G^{-1}\left(v_n\right)}{g\left(G^{-1}\left(v_n\right)\right)}-\frac{G^{-1}\left(v\right)}{g\left(G^{-1}\left(v\right)\right)}\right)\phi \\ \le \left|V\left(x\right)G^{-1}\left(v_n\right)\right|\left|\phi \right|+\left|V\left(x\right)G^{-1}\left(v\right)\right|\left|\phi \right|\\ \le \left|V\left(x\right)\left(G^{-1}{\left(v_n\right)}^2+1\right)\right|\left|\phi \right|+\left|V\left(x\right)\left(G^{-1}{\left(v\right)}^2+1\right)\right|\left|\phi \right|\\ \le \left|V\left(x\right)\left(v_n^2+1\right)\right|\left|\phi \right|+\left|V\left(x\right)\left(v^2+1\right)\right|\left|\phi \right|\mathrm{<mo>\; ;\; </mo>}\end{array}$ (2.24)

and

$\begin{array}{l}\left|{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)\left(\frac{F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)}{g\left(G^{-1}\left(v_n\right)\right)}-\frac{F\left(G^{-1}\left(v\right)\right)f\left(G^{-1}\left(v\right)\right)}{g\left(G^{-1}\left(v\right)\right)}\right)\right|\\ \le {\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\left|\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)\right|\\ +{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\left|\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)F\left(G^{-1}\left(v\right)\right)f\left(G^{-1}\left(v\right)\right)\right|\mathrm{.}\end{array}$ (2.25)

By Lemma 2.5 and Lemma 3.4 [23], we have

$\begin{array}{l}{\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\left|\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)F\left(G^{-1}\left(v_n\right)\right)f\left(G^{-1}\left(v_n\right)\right)\right|\\ \to {\displaystyle {\int }_{{ℝ}^3}}{\displaystyle {\int }_{{ℝ}^3}}\left|\frac{K\left(y\right)K\left(x\right)}{{\left|x-y\right|}^{\mu }}\phi \left(x\right)F\left(G^{-1}\left(v\right)\right)f\left(G^{-1}\left(v\right)\right)\right|\mathrm{.}\end{array}$ (2.26)

By the (2.24)-(2.26), Lemma 2.5, and the Lemma 3.4 [28], we have

$\left|\langle J^{\prime }\left(v_n\right)-J^{\prime }\left(v\right)\mathrm{,}\phi \rangle \right|\to \mathrm{0,}\forall \phi \in C_0^{\infty }\left({ℝ}^3\right)\mathrm{<mo>\; ;\; </mo>}$

Then

$J^{\prime }\left(v\right)=0.$ (2.27)

Hence, v is a nontrivial solution of Equation (1.1).

Acknowledgments

We should like to thank the anonymous referee for his/her careful readings of our manuscript and the useful comments made for its improvement.

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Pekar, S. (1945) Untersuchungen über die Elektronentheorie der Kristale. Akademie Verlag, Berlin.
[2]	Lieb, E.H. (1977) Existence and Uniqueness of the Minizing Solution of Choquard’s Nonlinear Equation. Studies in Applied Mathematics, 57, 93-105. https://doi.org/10.1002/sapm197757293
[3]	Penrose, R. (1996) On Gravity’s Role in Quantum State Reductions. General Relativity and Gravitation, 28, 581-600. https://doi.org/10.1007/BF02105068
[4]	Lions, P.L. (1980) The Choquard Equation and Related Questions. Nonlinear Analysis, 4, 1063-1072. https://doi.org/10.1016/0362-546X(80)90016-4
[5]	Wei, J. and Winter, M. (2009) Strongly Interacting Bumps for the Schröding-Newton Equation. Journal of Mathematical Physics, 50, Article ID: 012905. https://doi.org/10.1063/1.3060169
[6]	Ma, L. and Zhao, L. (2010) Classification of Positive Solitary Solutions of the Nonlinear Choquard Equation. Archive for Rational Mechanics and Analysis, 195, 455-467. https://doi.org/10.1007/s00205-008-0208-3
[7]	Cingolani, S., Clapp, M. and Secchi, S. (2012) Multiple Solutions to a Magnetic Nonlinear Choquard Equation. Zeitschrift für Angewandte Mathematik und Physik, 63, 233-248. https://doi.org/10.1007/s00033-011-0166-8
[8]	Moroz, V. and Van Schaftingen, J. (2013) Groundstates of Nonlinear Choquard Equations: Existence, Qualitative Properties and Decay Asymptotics. Journal of Functional Analysis, 265, 153-184. https://doi.org/10.1016/j.jfa.2013.04.007
[9]	Moroz, V. and Van Schaftingen, J. (2015) Existence of Groundstates for a Class of Nonlinear Choquard Equations. Transactions of the American Mathematical Society, 367, 6557-6579. https://doi.org/10.1090/S0002-9947-2014-06289-2
[10]	Clapp, M. and Salazar, D. (2013) Positive and Sign Changing Solutions to a Nonlinear Choquard Equation. Journal of Mathematical Analysis and Applications, 407, 1-15. https://doi.org/10.1016/j.jmaa.2013.04.081
[11]	Ghimenti, M. and Van Schaftingen, J. (2016) Nodal Solutions for the Choquard Equation. Journal of Functional Analysis, 271, 107-135. https://doi.org/10.1016/j.jfa.2016.04.019
[12]	Moroz, V. and Van Schaftingen, J. (2015) Semi-Classical States for the Choquard Equation. Calculus of Variations and Partial Differential Equations, 52, 199-235. https://doi.org/10.1007/s00526-014-0709-x
[13]	Moroz, V. and Van Schaftingen, J. (2015) Groundstates of Nonlinear Choquard Equations: Herdy-Littlewood-Sobolev Critical Exponent. Communications in Contemporary Mathematics, 17, Article ID: 1550005. https://doi.org/10.1142/S0219199715500054
[14]	Cassani, D. and Zhang, J. (2018) Choquard-Type Equations with Herdy-Littlewood-Sobolev Upper-Critical Growth. Advances in Nonlinear Analysis, 8, 1184-1212. https://doi.org/10.1515/anona-2018-0019
[15]	Li, Q., Teng, K. and Zhang, J. (2020) Groundstate Solutions for Fractional Choquard Equations Involving Upper Critical Exponent. Nonlinear Analysis, 197, Article ID: 111846. https://doi.org/10.1016/j.na.2020.111846
[16]	Seok, J. (2018) Limit Profiles and Uniqueness of Groundstates to the Nonlinear Choquard Equations. Advances in Nonlinear Analysis, 8, 1083-1098. https://doi.org/10.1515/anona-2017-0182
[17]	Li, Q.Q. and Teng, K.M. (2020) An Existence Result for a Generalized Quasilinear Schrödinger Equation with Nonlocal Term. Journal of Functional Spaces, 2020, Article ID: 6430104. https://doi.org/10.1155/2020/6430104
[18]	Li, Q. and Wu, X. (2017) Existence of Nontrivial Solutions for Generalized Quasilinear Schrödinger Equations with Critical or Supercritical Growths. Acta Mathematic Scientia, 37, 1870-1880. https://doi.org/10.1016/S0252-9602(17)30113-3
[19]	Chen, S., Zhang, B. and Tang, X. (2020) Existence and Non-Existence Results for Kirchhoff-Type Problems with Convolution Nonlinearity. Advances in Nonlinear Analysis, 9, 148-167. https://doi.org/10.1515/anona-2018-0147
[20]	Li, Y., Li, X. and Ma, S. (2019) Groundstate for Kirchhoff-Type Equations with Hartree-Type Nonlinearities. Results in Mathematics, 74, Article No. 42. https://doi.org/10.1007/s00025-018-0943-1
[21]	Jeanjean, L. (1999) On the Existence of Bounded Palais-Smale Sequences and Application to a Landesman-Lazer-Type Problem Set on RN. Proceedings of the Royal Society of Edinburgh Section A, 129, 787-209. https://doi.org/10.1017/S0308210500013147
[22]	Shen, Y. and Wang, Y. (2013) Soliton Solutions for Generalized Quasilinear Schrödinger Equatons. Nonlinear Analysis, 80, 194-201. https://doi.org/10.1016/j.na.2012.10.005
[23]	Chen, S.X., Wu, X. (2019) Existence of Positive Solutions for a Class of Quasilinear Schrödinger Equations of Choquard. Journal of Mathematical Analysis and Applications, 475, 1754-1777. https://doi.org/10.1016/j.jmaa.2019.03.051
[24]	Lieb, E.H. and Loss, M. (2001) Analysis. 2nd Edition, Graduate Studies in Mathematics, American Mathematical Society, Providence.
[25]	Li, G.F., Huang, Y.S. and Liu, Z. (2019) Positive Solutions for Quasilinear Schrödinger Equations with Superlinear Term. Complex Variables and Elliptic Equations, 65, 936-955.
[26]	Alves, C.O. and Souto, M.A. (2013) Existence of Solutions for a Class of Nonlinear Schrödinger Equations with Potential Vanishing at Infinity. Journal of Differential Equations, 254, 1977-1991. https://doi.org/10.1016/j.jde.2012.11.013
[27]	Berestycki, H. and Lions, P.L. (1983) Nonlinear Scalar Field Equations. I. Existence of Ground State. Archive for Rational Mechanics and Analysis, 82, 313-346. https://doi.org/10.1007/BF00250555
[28]	Schechter, M. (1999) Linking Methods in Critical Point Theory. Birkhäuser, Boston. https://doi.org/10.1007/978-1-4612-1596-7