# Existence of ground state solutions for a class of Choquard equations with local nonlinear perturbation and variable potential

## Abstract

In this paper, we focus on the existence of solutions for the Choquard equation

\begin{aligned} \textstyle\begin{cases} {-}\Delta {u}+V(x)u=(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1}) \vert u \vert ^{ \frac{\alpha }{N}-1}u+\lambda \vert u \vert ^{p-2}u,\quad x\in \mathbb{R}^{N}; \\ u\in H^{1}(\mathbb{R}^{N}), \end{cases}\displaystyle \end{aligned}

where $$\lambda >0$$ is a parameter, $$\alpha \in (0,N)$$, $$N\ge 3$$, $$I_{\alpha }: \mathbb{R}^{N}\to \mathbb{R}$$ is the Riesz potential. As usual, $$\alpha /N+1$$ is the lower critical exponent in the Hardy–Littlewood–Sobolev inequality. Under some weak assumptions, by using minimax methods and Pohožaev identity, we prove that this problem admits a ground state solution if $$\lambda >\lambda _{*}$$ for some given number $$\lambda _{*}$$ in three cases: (i) $$2< p<\frac{4}{N}+2$$, (ii) $$p=\frac{4}{N}+2$$, and (iii) $$\frac{4}{N}+2< p<2^{*}$$. Our result improves the previous related ones in the literature.

## 1 Introduction

In this paper, we mainly study the Choquard equation with a variable potential and a local nonlinearity:

\begin{aligned} \textstyle\begin{cases} -\Delta {u}+V(x)u=(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1}) \vert u \vert ^{ \frac{\alpha }{N}-1}u+\lambda \vert u \vert ^{p-2}u, \quad x\in \mathbb{R}^{N}; \\ u\in H^{1}(\mathbb{R}^{N}), \end{cases}\displaystyle \end{aligned}
(1.1)

where $$\lambda >0$$, $$\alpha \in (0,N)$$, $$N\ge 3$$, $$2< p<2^{*}$$, and $$I_{\alpha }: \mathbb{R}^{N}\to \mathbb{R}$$ is the Riesz potential defined by

\begin{aligned} I_{\alpha }(x)= \frac{\Gamma (\frac{N-\alpha }{2})}{\Gamma (\frac{\alpha }{2})2^{\alpha }\pi ^{N/2} \vert x \vert ^{N-\alpha }},\quad x\in \mathbb{R}^{N}\setminus \{ 0 \}. \end{aligned}

$$V:\mathbb{R}^{N}\to \mathbb{R}$$ satisfies the following assumptions:

(V1) $$V\in \mathcal{C}(\mathbb{R}^{N},[0,\infty ))$$;

(V2) $$V(x)\le V_{\infty }:= \lim_{|y|\to \infty }V(y)<\infty$$ for all $$x\in \mathbb{R}^{N}$$.

By the Hardy–Littlewood–Sobolev inequality (see Lemma 2.1), one has

\begin{aligned} \biggl[ \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert u \vert ^{ \frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx \biggr]^{\frac{N}{N+\alpha }} \le S^{-1} \int _{\mathbb{R}^{N}}u^{2}\,dx. \end{aligned}
(1.2)

In the work of Lieb and Loss (see [1]), the sharp constant S is achieved by a function $$u\in H^{1}(\mathbb{R}^{N})$$ if and only if, for every $$x\in \mathbb{R}^{N}$$,

\begin{aligned} u(x)=A\bigl(z^{2}+ \vert x-a \vert ^{2} \bigr)^{-\frac{N}{2}} \end{aligned}
(1.3)

for $$a\in \mathbb{R}^{N}$$, $$A>0$$, and $$z>0$$. In Lemma 2.9, we choose $$A=A_{0}>0$$, and $$A_{0}$$ is determined by

\begin{aligned} A_{0}^{\frac{2\alpha }{N}+2} \int _{\mathbb{R}^{N}} \int _{\mathbb{R}^{N}} \frac{dxdz}{(1+ \vert x \vert ^{2})^{\frac{N+\alpha }{2}} \vert x-z \vert ^{N-\alpha }(1+ \vert z \vert ^{2})^{\frac{N+2}{2}}}= \frac{2^{\alpha }\pi ^{\frac{N}{2}}\Gamma (\frac{\alpha }{2})}{\Gamma (\frac{N-\alpha }{2})}. \end{aligned}
(1.4)

Under (V1), (V2), (1.2), and the Sobolev embedding theorem, the weak solutions of (1.1) correspond to the critical points of the energy functional $$\mathcal{I}:H^{1}(\mathbb{R}^{N})\to \mathbb{R}$$ defined by

\begin{aligned} \mathcal{I}(u)={}&\frac{1}{2} \int _{\mathbb{R}^{N}} \bigl[ \vert \nabla u \vert ^{2}+V(x)u^{2} \bigr]\,dx -\frac{N}{2(N+\alpha )} \int _{\mathbb{R}^{N}}\bigl(I_{\alpha }* \vert u \vert ^{ \frac{\alpha }{N}+1}\bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx \\ &{}-\frac{\lambda }{p} \int _{ \mathbb{R}^{N}} \vert u \vert ^{p}\,dx, \end{aligned}
(1.5)

which is continuously differentiable and

\begin{aligned} \bigl\langle \mathcal{I}'(u),v \bigr\rangle ={}& \int _{\mathbb{R}^{N}} \bigl( \nabla u\cdot \nabla v+V(x)uv \bigr)\,dx- \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{ \frac{\alpha }{N}-1}uv\,dx \\ &{}-\lambda \int _{\mathbb{R}^{N}} \vert u \vert ^{p-2}uv\,dx,\quad \forall v\in H^{1}\bigl( \mathbb{R}^{N}\bigr). \end{aligned}
(1.6)

If the potential $$V(x) \equiv V_{\infty }$$, then (1.1) reduces to the autonomous equation

\begin{aligned} \textstyle\begin{cases} -\Delta {u}+V_{\infty }u=(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1}) \vert u \vert ^{ \frac{\alpha }{N}-1}u+\lambda \vert u \vert ^{p-2}u, \quad x\in \mathbb{R}^{N}; \\ u\in H^{1}(\mathbb{R}^{N}). \end{cases}\displaystyle \end{aligned}
(1.7)

Similar to (1.5), the energy functional of (1.7) is defined by

\begin{aligned} \mathcal{I}^{\infty }(u)={}&\frac{1}{2} \int _{\mathbb{R}^{N}} \bigl[ \vert \nabla u \vert ^{2}+V_{\infty }u^{2} \bigr]\,dx -\frac{N}{2(N+\alpha )} \int _{ \mathbb{R}^{N}}\bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1}\bigr) \vert u \vert ^{ \frac{\alpha }{N}+1}\,dx \\ &{}-\frac{\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx. \end{aligned}
(1.8)

Equation (1.1) is a special form of the following Choquard equation with a local nonlinear perturbation and a variable potential:

\begin{aligned} \textstyle\begin{cases} -\Delta {u}+V(x)u=(I_{\alpha }* \vert u \vert ^{q}) \vert u \vert ^{q-{2}}u+f(u),\quad x\in \mathbb{R}^{N}; \\ u\in H^{1}(\mathbb{R}^{N}), \end{cases}\displaystyle \end{aligned}
(1.9)

where $$1+\frac{\alpha }{N}< q<\frac{N+\alpha }{N-2}$$.

If $$f=0$$ and $$V(x)\equiv 1$$, (1.9) appears under the background of various physical models. For example, as early as in 1954, Pekar [2] introduced (1.9) into the physical model to study the free electrons in a ionic lattice interact with phonons associated with deformations of the lattice. Choquard equation is also known as the Schrödinger–Newton equation after the addition of non-relativistic Newtonian gravity to some Schrödinger equations [36]. Lieb [7] first verified the positive solution of (1.9) in $$\mathbb{R}^{3}$$ when $$f=0$$, $$\alpha =2$$, $$V(x)\equiv 1$$, and $$q=2$$. Later, Lions [8, 9] further improved the results of (1.9) and obtained the existence and multiplicity of normalized solution for (1.9). The existence of a ground state solution and the qualitative properties of the solution in the range of exponents q which satisfies

\begin{aligned} 1+\frac{\alpha }{N}< q< \frac{N+\alpha }{N-2} \end{aligned}

were established in [10].

The endpoints $$\frac{N+\alpha }{N-2}$$ and $$\frac{N+\alpha }{N}$$ are critical exponents. It is known to all that $$\frac{N+\alpha }{N-2}$$ is an upper critical exponent which plays a similar role as the Sobolev critical exponent in the local semilinear equations [1117]. The lower critical exponent $$\frac{N+\alpha }{N}$$ is strictly greater than 1 which comes from inequality (1.2). So far, many authors have investigated the existence of nontrivial solutions of many forms of (1.9) (see [1821]). In addition, for some applications of the variational method in elliptic systems, we refer to [2224]. If the potential $$V(x) \equiv 1$$, then (1.1) reduces to the following equation:

\begin{aligned} \textstyle\begin{cases} -\Delta {u}+ u=(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1}) \vert u \vert ^{ \frac{\alpha }{N}-1}u+\lambda \vert u \vert ^{p-2}u, \quad x\in \mathbb{R}^{N}; \\ u\in H^{1}(\mathbb{R}^{N}). \end{cases}\displaystyle \end{aligned}
(1.10)

Tang, Wei, and Chen [25] proved that (1.10) has ground state solutions in the following assumptions:

(i) $$2< p<\frac{4}{N}+2$$ and $$\lambda >0$$;

(ii) $$p=\frac{4}{N}+2$$ and $$\lambda >\frac{N^{2}}{A_{0}^{\frac{4}{N}}S^{\frac{2}{\alpha }}}$$;

(iii) $$\frac{4}{N}+2< p<2^{*}$$ and $$\lambda > \frac{pN^{4}\Gamma \frac{pN}{2}\Gamma \frac{N}{2}}{8(N+1)!(A_{0}t_{0})^{p-2}\Gamma \frac{(p-1)N}{2}}$$.

By using the mountain pass lemma, they obtained a Palais–Smale sequence and the corresponding energy level m. Then, from these three assumptions, an estimate of the energy level m was given, which is very important to ensure the Sobolev compactness. We further improve these three hypotheses to be applicable to the research in this paper. This has certain enlightenment to our work.

Motivated by the work of [26, 27], we use a weaker decay assumption on V to solve the trouble caused by variable potential.

(V3) $$V\in \mathcal{C}^{1}(\mathbb{R}^{N},\mathbb{R})$$, and there is $$\theta \in [0,1)$$ such that

\begin{aligned} \nabla V(x)\cdot x\le \frac{(N-2)^{2}\theta }{2 \vert x \vert ^{2}},\quad \forall x\in \mathbb{R}^{N} \setminus \{ 0 \}. \end{aligned}

Van Schaftingen and Xia [11], Chen and Tang [26] did a pretty good job, which gives us some inspiration. To our knowledge, there seems to be no results of (1.1). Motivated by the above works, especially [25, 26], in this paper, we establish the existence result of ground state solutions for (1.1). To state our result, inspired by [28], we define the following Pohožaev identity functional on $$H^{1}(\mathbb{R}^{N})$$:

\begin{aligned} \mathcal{P}(u):={}&\frac{N-2}{2} \Vert \nabla u \Vert _{2}^{2}+\frac{1}{2} \int _{ \mathbb{R}^{N}}\bigl[NV(x)+\nabla V(x)\cdot x\bigr]u^{2} \,dx \\ &{}-\frac{N}{2} \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert u \vert ^{ \frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx - \frac{N\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx, \end{aligned}
(1.11)

and

\begin{aligned} \mathcal{P}^{\infty }(u):={}&\frac{N-2}{2} \Vert \nabla u \Vert _{2}^{2}+ \frac{NV_{\infty }}{2} \Vert u \Vert _{2}^{2} -\frac{N}{2} \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{ \frac{\alpha }{N}+1}\,dx \\ &{} -\frac{N\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx. \end{aligned}
(1.12)

In view of [29, Prorosition 3.1], if ū is a solution of (1.1), then it satisfies the Pohožaev identity $$\mathcal{P}(u)=0$$. Let

\begin{aligned} \mathcal{M}:= \bigl\{ u\in H^{1}\bigl( \mathbb{R}^{N}\bigr)\setminus \{ 0 \}:\mathcal{P}(u)=0 \bigr\} . \end{aligned}
(1.13)

Our main result is as follows.

### Theorem 1.1

Assume that V satisfies (V1)(V3) and one of the following conditions:

(i) $$2< p<\frac{4}{N}+2$$ and $$\lambda >0$$;

(ii) $$p=\frac{4}{N}+2$$ and $$\lambda > \frac{(N+2)N^{2}}{2(N+1)A_{0}^{\frac{4}{N}}(SV_{\infty })^{\frac{2}{\alpha }}}$$;

(iii) $$\frac{4}{N}+2< p<2^{*}$$ and $$\lambda > \frac{25pN^{4}\Gamma (\frac{N}{2})\Gamma (\frac{pN}{2})}{256(N+1)!A_{0}^{p-2}\varepsilon ^{2^{*}-2}(V_{\infty }S)^{\frac{2}{\alpha }}\Gamma (\frac{(p-1)N}{2})}$$ holds. Then problem (1.1) has a solution $$\bar{u}\in H^{1}(\mathbb{R}^{N})$$ such that

\begin{aligned} \mathcal{I}(\bar{u})=\inf_{\mathcal{M}}\mathcal{I} =\inf _{u\in H^{1}( \mathbb{R}^{N})\setminus \{ 0 \} }\max_{t>0}\mathcal{I}(u_{t})>0, \end{aligned}

where $$u_{t}(x):=u(x/t)$$.

In this paper, we use the following notations:

• $$H^{1}(\mathbb{R}^{N})$$ denotes the usual Sobolev space equipped with the inner product and the norm

\begin{aligned} (u,v)= \int _{\mathbb{R}^{N}}(\nabla u\cdot \nabla v+uv)\,dx, \qquad \Vert u \Vert =(u,u)^{1/2}, \quad\forall u,v\in H^{1}\bigl(\mathbb{R}^{N} \bigr). \end{aligned}
• $$L^{s}(\mathbb{R}^{N})\ (1< s<\infty )$$ denotes the Lebesgue space with the norm $$\|u\|_{s}= ( \int _{\mathbb{R}^{N}}|u|^{s}\,dx ) ^{1/s}$$.

• For any $$u\in H^{1}(\mathbb{R}^{N})$$ and $$r>0, B_{r}(x):= \{ y\in \mathbb{R}:|y-x|< r \}$$.

• For any $$u\in H^{1}(\mathbb{R}^{N})\setminus \{ 0 \}$$, $$u_{t}(x):=u(x/t)$$ for $$t>0$$.

• $$C,C_{1},C_{2},\ldots$$ denote positive constants possibly different in different places.

## 2 Proof of the main result

Before proving the main result, we first give some key inequalities and lemmas. The following famous Hardy–Littlewood–Sobolev inequality [1, Theorem 4.3] is an origin of the variational approach to (1.1).

### Lemma 2.1

Let $$\alpha \in (0,N)$$ and $$s\in (1,\frac{N}{\alpha })$$. If $$u \in L^{s}(\mathbb{R}^{N})$$, then $$I_{\alpha }*u \in L^{\frac{Ns}{N-\alpha s}}(\mathbb{R}^{N})$$, and

\begin{aligned} \int _{\mathbb{R}^{N}} \vert I_{\alpha }*u \vert ^{\frac{Ns}{N-\alpha s}} \,dx\leq C \biggl( \int _{\mathbb{R}^{N}} \vert u \vert ^{s}\,dx \biggr) ^{\frac{N}{N-\alpha s}}, \end{aligned}
(2.1)

where the constant $$C>0$$ depends only on α, N, and s.

By a simple calculation, we have the following lemma.

### Lemma 2.2

The following two inequalities hold:

\begin{aligned} & g(t):=2-Nt^{N-2}+(N-2)t^{N}\ge 0, \quad\forall t \in [0,+\infty ), \end{aligned}
(2.2)
\begin{aligned} &\beta (t):=\alpha -(N+\alpha )t^{N}+Nt^{N+\alpha } \ge \beta (1)=0, \quad\forall t \in [0,+\infty ). \end{aligned}
(2.3)

Moreover, (V3) implies that the following inequality holds:

\begin{aligned} &Nt^{N}\bigl[V(x)-V(tx)\bigr]+ \bigl(t^{N}-1 \bigr)\nabla V(x)\cdot x \\ &\quad\ge-\frac{(N-2)^{2}\theta [2-Nt^{N-2}+(N-2)t^{N}]}{4 \vert x \vert ^{2}},\quad \forall t>0, x\in \mathbb{R}^{N}\setminus \{ 0 \}. \end{aligned}
(2.4)

### Lemma 2.3

Assume that (V1) and (V3) hold. Then

\begin{aligned} \mathcal{I}(u) \ge {}& \mathcal{I}(u_{t})+ \frac{1-t^{N}}{N}\mathcal{P}(u)+ \frac{(1-\theta )g(t)}{2N} \Vert \nabla u \Vert _{2}^{2} \\ &{}+\frac{\beta (t)}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx, \quad\forall u\in H^{1}\bigl(\mathbb{R}^{N}\bigr), t>0. \end{aligned}
(2.5)

### Proof

According to Hardy’s inequality, we obtain

\begin{aligned} \Vert \nabla u \Vert _{2}^{2}\ge \frac{(N-2)^{2}}{4} \int _{\mathbb{R}^{N}} \frac{u^{2}}{ \vert x \vert ^{2}}\,dx, \quad\forall u\in H^{1} \bigl(\mathbb{R}^{N}\bigr). \end{aligned}
(2.6)

Note that

\begin{aligned} \mathcal{I}(u_{t})={}&\frac{t^{N-2}}{2} \Vert \nabla u \Vert ^{2}_{2}+ \frac{t^{N}}{2} \int _{\mathbb{R}^{N}}V(tx)u^{2}\,dx- \frac{t^{N}\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx \\ &{}-\frac{Nt^{N+\alpha }}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx. \end{aligned}
(2.7)

Thus, by (1.5), (1.11), (2.2), (2.3), (2.4), (2.6), and (V3), one has

\begin{aligned} \mathcal{I}(u)-\mathcal{I}(u_{t})={} &\frac{1-t^{N-2}}{2} \Vert \nabla u \Vert ^{2}_{2}+ \frac{1}{2} \int _{\mathbb{R}^{N}}\bigl[V(x)-t^{N}V(tx)\bigr]u^{2} \,dx \\ &{}+\frac{Nt^{N+\alpha }-N}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx+ \frac{(t^{N}-1)\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx \\ = {}&\frac{1-t^{N}}{N} \biggl\{ \frac{N-2}{2} \Vert \nabla u \Vert _{2}^{2}+ \frac{1}{2} \int _{\mathbb{R}^{N}}\bigl[NV(x)+\nabla V(x)\cdot x\bigr]u^{2} \,dx \\ &{}-\frac{N}{2} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{ \frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx- \frac{N\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx \biggr\} +\frac{g(t)}{2N} \Vert \nabla u \Vert _{2}^{2} \\ &{}+\frac{1}{2} \int _{\mathbb{R}^{N}} \biggl\{ t^{N}\bigl[V(x)-V(tx)\bigr]- \frac{1-t^{N}}{N}\nabla V(x)\cdot x \biggr\} u^{2}\,dx \\ &{}+\frac{\beta (t)}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx \\ \ge {}& \frac{1-t^{N}}{N}\mathcal{P}(u)+\frac{(1-\theta )g(t)}{2N} \Vert \nabla u \Vert _{2}^{2} \\ &{} +\frac{\beta (t)}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{ \frac{\alpha }{N}+1}\,dx . \end{aligned}

□

From Lemma 2.3, we have the following corollary.

### Corollary 2.4

Assume that (V1) and (V3) hold. Then, for $$u \in \mathcal{M}$$,

\begin{aligned} \mathcal{I}(u)=\max_{t> 0} \mathcal{I}(u_{t}). \end{aligned}
(2.8)

Based on the above results, we establish the following important property for $$\mathcal{M}$$.

### Lemma 2.5

For any u $$\in H^{1}(\mathbb{R}^{N}) \setminus \{ 0 \}$$, there is unique $$t_{u}>0$$ such that $$u_{t_{u}}\in \mathcal{M}$$.

### Proof

Let $$u\in H^{1}(\mathbb{R}^{N})\setminus \{ 0 \}$$ be fixed and define a function $$\xi (t):=\mathcal{I}(u_{t})$$ on $$(0,\infty )$$. Clearly, by (1.11) and (2.7), we have

\begin{aligned} \xi '(t)=0\quad \Leftrightarrow {}&\quad\frac{N-2}{2}t^{N-2} \Vert \nabla u \Vert _{2}^{2}+ \frac{t^{N}}{2} \int _{\mathbb{R}^{N}}\bigl[NV(tx)+\nabla V(tx)\cdot (tx) \bigr]u^{2}\,dx \\ &{}-\frac{Nt^{N+\alpha }}{2} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }*u^{ \frac{\alpha }{N}+1} \bigr)u^{\frac{\alpha }{N}+1}\,dx- \frac{N\lambda t^{N}}{p} \Vert u \Vert _{p}^{p}=0 \\ \Leftrightarrow {}&\quad \mathcal{P}(u_{t})=0\quad\Leftrightarrow\quad u_{t}\in \mathcal{M}. \end{aligned}
(2.9)

It is not hard to verify, using (V1), (V2), (1.2), and (2.7), that $$\lim_{t\to 0}\xi (t)=0$$, $$\xi (t)>0$$ for $$t>0$$ small and $$\xi (t)<0$$ for t large. Therefore $$\max_{t\in (0,\infty )}\xi (t)$$ is achieved at some $$t_{u}>0$$ so that $$\xi '(t_{u}) = 0$$ and $$u_{t_{u}}$$ $$\mathcal{M}$$.

Not unnaturally, we claim that $$t_{u}$$ is unique for any $$u\in H^{1}(\mathbb{R}^{N}) \setminus \{ 0 \}$$. As a matter of fact, for any given $$u\in H^{1}(\mathbb{R}^{N}) \setminus \{ 0 \}$$, if there are two positive constants $$t_{1}\ne t_{2}$$ such that $$u_{t_{1}},u_{t_{2}}\in \mathcal{M}$$, then $$\mathcal{P}(u_{t_{1}})=\mathcal{P}(u_{t_{2}})=0$$. Together with (2.3), (2.4), and (2.5), we have

\begin{aligned} \mathcal{I}(u_{t_{1}})\ge {}&\mathcal{I}(u_{t_{2}})+ \frac{t_{1}^{N}-t_{2}^{N}}{Nt_{1}^{N}}\mathcal{P}(u_{t_{1}})+ \frac{(1-\theta )g(t_{2}/t_{1})}{2N} \Vert \nabla u_{t_{1}} \Vert _{2}^{2} \\ &{}+ \frac{\beta (t_{2}/t_{1})}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }*u_{t_{1}}^{\frac{\alpha }{N}+1} \bigr)u_{t_{1}}^{ \frac{\alpha }{N}+1}\,dx \\ \ge {}&\mathcal{I}(u_{t_{2}})+ \frac{(1-\theta )[2t_{1}^{N}-Nt_{1}^{2}t_{2}^{N-2}+(N-2)t_{2}^{N}]}{2Nt_{1}^{2}} \Vert \nabla u \Vert _{2}^{2}. \end{aligned}
(2.10)

The same procedure may be easily adapted to obtain the following equation:

\begin{aligned} \mathcal{I}(u_{t_{2}})\ge \mathcal{I}(u_{t_{1}})+ \frac{(1-\theta )[2t_{2}^{N}-Nt_{2}^{2}t_{1}^{N-2}+(N-2)t_{1}^{N}]}{2Nt_{2}^{2}} \Vert \nabla u \Vert _{2}^{2}. \end{aligned}
(2.11)

From (2.10) and (2.11), we have $$u_{t_{1}}=u_{t_{2}}$$, which shows that $$t_{u}>0$$ is unique for any

$$u\in H^{1}(\mathbb{R}^{N})\setminus \{ 0 \}$$. □

### Lemma 2.6

([19, Lemma 2.5])

Assume that (V1)(V3) hold. Then there are two constants $$\gamma _{1},\gamma _{2}>0$$ such that

\begin{aligned} \gamma _{1} \Vert u \Vert ^{2}\le (N-2) \Vert \nabla u \Vert _{2}^{2}+ \int _{\mathbb{R}^{N}}\bigl[NV(x)+ \nabla V(x)\cdot x\bigr]u^{2} \,dx\le \gamma _{2} \Vert u \Vert ^{2}. \end{aligned}
(2.12)

### Proof

The proof of Lemma 2.6 is routine, and we omit it. □

From Corollary 2.4 and Lemma 2.5, we have $$\mathcal{M}\ne \emptyset$$. Next, we apply the method introduced in [26] to prove the following lemma, which is key to verifying the minimax characterization.

### Lemma 2.7

Assume that (V1) and (V2) hold. Then

\begin{aligned} \inf_{u\in \mathcal{M}}\mathcal{I}(u):=m=\inf_{u\in H^{1}( \mathbb{R})\setminus \{ 0 \} }\max _{t>0}\mathcal{I}(u_{t}). \end{aligned}

### Lemma 2.8

Assume that (V1) and (V2) hold. Then

(i) there exists $$\rho >0$$ such that $$\|u\|>\rho$$.

(ii) $$m = \inf_{u\in \mathcal{M}}\mathcal{I}(u)>0$$.

### Proof

(i). Since $$\mathcal{P}(u)=0$$ for all $$u \in \mathcal{M}$$, by (2.1), (1.11), Lemma 2.6, and Sobolev embedding inequality, one has

\begin{aligned} \frac{\gamma _{1}}{2} \Vert u \Vert ^{2}\le {}& \frac{N-2}{2} \Vert \nabla u \Vert _{2}^{2}+ \frac{1}{2} \int _{\mathbb{R}^{N}}\bigl[NV(x)+\nabla V(x)\cdot x\bigr]u^{2} \,dx \\ ={}&\frac{N}{2} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{ \frac{\alpha }{N}+1} \bigr) \vert u \vert ^{\frac{\alpha }{N}+1}\,dx+ \frac{N\lambda }{p} \int _{\mathbb{R}^{N}} \vert u \vert ^{p}\,dx \\ \le{} &C_{1} \Vert u \Vert ^{\frac{2(N+\alpha )}{N}}+C_{2} \Vert u \Vert ^{p}. \end{aligned}
(2.13)

There are two cases to consider.

Case (1). When $$\frac{2(N+\alpha )}{N}\geq p$$, from (2.13), one has

\begin{aligned} \frac{\gamma _{1}}{2} \Vert u \Vert ^{2}\le C_{1} \Vert u \Vert ^{\frac{2(N+\alpha )}{N}}+C_{2} \Vert u \Vert ^{\frac{2(N+\alpha )}{N}}, \end{aligned}
(2.14)

which implies

\begin{aligned} \Vert u \Vert \ge \rho _{0}:=\min \biggl\{ 1, \biggl[ \frac{\gamma _{1}}{2(C_{1}+C_{2})} \biggr]^{\frac{N}{2\alpha }} \biggr\} . \end{aligned}
(2.15)

Case (2). When $$p> \frac{2(N+\alpha )}{N}$$ and $$\lambda >0$$, one has

\begin{aligned} \frac{\gamma _{1}}{2} \Vert u \Vert ^{2}\le C_{1} \Vert u \Vert ^{p}+C_{2} \Vert u \Vert ^{p}, \end{aligned}
(2.16)

which implies

\begin{aligned} \Vert u \Vert \ge \rho _{1}:=\min \biggl\{ 1, \biggl[ \frac{\gamma _{1}}{2(C_{1}+C_{2})} \biggr]^{\frac{1}{p-2}} \biggr\} . \end{aligned}
(2.17)

From (2.15) and (2.17), we know that (i) holds.

(ii). Let $$\{ u_{n} \} \subset \mathcal{M}$$ be such that $$\mathcal{I}(u_{n})\to m$$. There are two possible cases:

Case (i). $${\inf_{n\in \mathbb{N}}}\|\nabla u_{n}\|_{2}:=\sigma >0$$. From (1.5) and (1.11), one has

\begin{aligned} \mathcal{I}(u_{n})-\frac{1}{N} \mathcal{P}(u_{n}) =&\frac{1}{N} \Vert \nabla u_{n} \Vert _{2}^{2}-\frac{1}{2N} \int _{\mathbb{R}^{N}}\nabla V(x) \cdot xu_{n}^{2} \,dx \\ &+\frac{\alpha }{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u_{n} \vert ^{ \frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \,dx,\quad \forall u\in H^{1}\bigl(\mathbb{R}^{N}\bigr). \end{aligned}
(2.18)

From (V3), we have

\begin{aligned} \int _{\mathbb{R}^{N}}\nabla V(x)\cdot xu^{2}\,dx\le \frac{\theta (N-2)^{2}}{2} \int _{\mathbb{R}^{N}} \frac{u^{2}}{ \vert x \vert ^{2}}\,dx\le 2\theta \Vert \nabla u \Vert _{2}^{2},\quad \forall u\in H^{1}\bigl( \mathbb{R}^{N}\bigr). \end{aligned}
(2.19)

From (2.18) and (2.19), we obtain

\begin{aligned} m+o(1)={}&\mathcal{I}(u_{n})=\mathcal{I}(u_{n})- \frac{1}{N}\mathcal{P}(u_{n}) \\ \ge {}&\frac{1}{N} \Vert \nabla u_{n} \Vert _{2}^{2}-\frac{\theta }{N} \Vert \nabla u_{n} \Vert _{2}^{2}+\frac{\alpha }{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{\frac{\alpha }{N}+1}\,dx \\ \ge{} &\frac{1-\theta }{N} \Vert \nabla u_{n} \Vert _{2}^{2} =\frac{1-\theta }{N} \sigma ^{2}. \end{aligned}
(2.20)

Case (ii). $${\inf_{n\in \mathbb{N}}}\|\nabla u_{n}\|_{2}=0$$. In this case, by (2.15) and (2.17), passing to a subsequence, one has

\begin{aligned} \Vert \nabla u_{n} \Vert _{2}\to 0,\qquad \Vert u_{n} \Vert _{2}\ge \frac{1}{2}\max \{ \rho _{0}, \rho _{1} \}. \end{aligned}
(2.21)

By Lemma 2.1 and the Sobolev inequality, one has

\begin{aligned} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{\frac{\alpha }{N}+1}\,dx \le C_{3} \Vert u_{n} \Vert _{2}^{ \frac{2(N+\alpha )}{N}}. \end{aligned}
(2.22)

By (V1), there exists $$0< r_{0}< [ \frac{S}{C_{3}t_{n}^{\alpha }\omega _{N}^{2/N}\|u_{n}\|_{2}^{2\alpha /N}+\frac{4\lambda \omega _{N}^{2/N}}{p}\|u_{n}\|_{2}^{p-2}} ]^{1/2}$$ such that

\begin{aligned} V(x)\ge \frac{V_{\infty }}{2}>C_{3}t_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{2\alpha /N}+ \frac{2\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \end{aligned}
(2.23)

for $$|x|\ge r_{0}$$. Then

\begin{aligned} \int _{|tx|\ge r_{0}}V(tx)u_{n}^{2}\,dx\ge \frac{V_{\infty }}{2} \int _{|tx| \ge r_{0}}u_{n}^{2}\,dx, \quad\forall t>0, u_{n}\in H^{1}\bigl(\mathbb{R}^{N}\bigr). \end{aligned}
(2.24)

By the Sobolev inequality and Hölder’s inequality, we have

\begin{aligned} \int _{ \vert tx \vert < r_{0}}u^{2}\,dx\le {}& \biggl( \frac{\omega _{N}r^{N}_{0}}{t^{N}} \biggr)^{(2^{*}-2)/2^{*}} \biggl( \int _{ \vert tx \vert < r_{0}}u^{2^{*}}\,dx \biggr)^{2/2^{*}} \\ \le {}&\omega _{N}^{2/N}r_{0}^{2}t^{-2}S^{-1} \Vert \nabla u \Vert _{2}^{2}, \quad\forall t>0, u\in H^{1}\bigl(\mathbb{R}^{N}\bigr). \end{aligned}
(2.25)

Let

\begin{aligned} \sigma =\min \bigl\{ V_{\infty }, S r_{0}^{-2} \omega _{N}^{- \frac{2}{N}} \bigr\} \end{aligned}
(2.26)

and

\begin{aligned} t_{n}= \biggl( \frac{\sigma -\frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2}}{4C_{3}} \biggr)^{ \frac{1}{\alpha }} \Vert u_{n} \Vert _{2}^{-\frac{2}{N}}. \end{aligned}
(2.27)

Since (2.21) implies that $$\{ t_{n} \}$$ is bounded, then it follows from (2.7), (2.8), (2.21)–(2.27), Corollary 2.4, and the Sobolev embedding inequality that

\begin{aligned} m=&\mathcal{I}(u_{n}) \\ \ge{}& \mathcal{I} \bigl((u_{n})_{t_{n}}\bigr) \\ ={}&\frac{t_{n}^{N-2}}{2} \Vert \nabla u_{n} \Vert _{2}^{2}+\frac{t_{n}^{N}}{2} \int _{\mathbb{R}^{N}}V(t_{n}x)u_{n}^{2} \,dx- \frac{Nt_{n}^{N+\alpha }}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{\frac{\alpha }{N}+1}\,dx \\ &{}-\frac{t^{N}_{n}\lambda }{p} \int _{\mathbb{R}^{N}} \vert u_{n} \vert ^{p}\,dx \\ \ge{} &\frac{S t_{n}^{N}}{2r_{0}^{2}\omega _{N}^{2/N}} \int _{ \vert t_{n}x \vert < r_{0}}u_{n}^{2}\,dx+ \frac{t_{n}^{N}V_{\infty }}{4} \int _{ \vert t_{n}x \vert \ge r_{0}}u_{n}^{2}\,dx- \frac{C_{3}t_{n}^{N+\alpha }}{2} \Vert u_{n} \Vert _{2}^{\frac{2(N+\alpha )}{N}}- \frac{\lambda t_{n}^{N}}{p} \Vert u_{n} \Vert _{2}^{p} \\ \ge{} &\frac{\sigma }{4} \Vert u_{n} \Vert _{2}^{2}- \frac{C_{3}t_{n}^{N+\alpha }}{2} \Vert u_{n} \Vert _{2}^{\frac{2(N+\alpha )}{N}}- \frac{\lambda t_{n}^{N}}{p} \Vert u_{n} \Vert _{2}^{p} \\ ={}&\frac{t_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3}t_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}}-\frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \biggr)>0. \end{aligned}
(2.28)

The two cases show that $$m=\inf_{u\in \mathcal{M}}\mathcal{I}(u)>0$$. □

Inspired by Tang and Chen [25], we give an estimate on the energy level m, which is essential in ensuring compactness.

### Lemma 2.9

$$m< m_{*}:=\frac{\alpha }{2(N+\alpha )}(V_{\infty }S)^{\frac{N}{\alpha }+1}$$

### Proof

We set $$U(x)=A_{0}(1+|x|^{2})^{-\frac{N}{2}}$$, where $$A_{0}$$ is defined by (1.4). By the calculation of integral, we get

\begin{aligned} \Vert U \Vert _{p}^{p}= \int _{\mathbb{R}^{N}} \vert U \vert ^{P}\,dx =\omega _{N}A_{0}^{p} \int _{0}^{+\infty }r^{N-1}\bigl(1+r^{2} \bigr)^{-pN/2}\,dr = \frac{\omega _{N}A_{0}^{p}\Gamma ( \frac{(p-1)N}{2} )\Gamma ( \frac{N}{2} )}{\Gamma ( \frac{pN}{2} )} \end{aligned}

and

\begin{aligned} \Vert \nabla U \Vert _{2}^{2}= \int _{\mathbb{R}^{N}} \vert \nabla U \vert ^{2}\,dx =\omega _{N}(NA_{0})^{2} \int _{0}^{+\infty }r^{N+1}\bigl(1+r^{2} \bigr)^{-(N+2)}\,dr = \frac{\omega _{N}(N^{2}A_{0})^{2} [\Gamma ( \frac{N}{2} ) ]^{2}}{8(N+1)!}. \end{aligned}

Let $$t_{*}=(V_{\infty }S)^{\frac{1}{\alpha }}$$. For any $$\varepsilon >0$$, we define two functions $$f(t)$$ and $$h_{\varepsilon }(t)$$ as follows:

\begin{aligned} f(t)=\frac{V_{\infty }S}{2}t^{N}-\frac{N}{2(N+\alpha )}t^{N+\alpha } \end{aligned}
(2.29)

and

\begin{aligned} h_{\varepsilon }(t)=\frac{\varepsilon ^{2} \Vert \nabla U \Vert _{2}^{2}}{2}t^{N-2}- \frac{\lambda \varepsilon ^{\frac{Np}{2}-N}}{p} \Vert U \Vert _{p}^{p}t^{N}. \end{aligned}
(2.30)

It is easy to know that $$f(t)< f(t_{*})=\frac{\alpha }{2(N+\alpha )}(V_{\infty }S)^{ \frac{N}{\alpha }+1}:=m_{*}$$ for $$t\in [ 0,t_{*} ) \cup (t_{*},\infty )$$. We set $$U_{\varepsilon }(x)=\varepsilon ^{N/2}U(\varepsilon x)$$. Then it follows from the definition of $$\mathcal{S}$$ that

\begin{aligned} \Vert U_{\varepsilon } \Vert _{2}^{2}=S \quad{\text{and}}\quad \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u \vert ^{ \frac{\alpha }{N}+1}\,dx=1, \end{aligned}
(2.31)

and

\begin{aligned} \Vert \nabla U_{\varepsilon } \Vert _{2}^{2}= \varepsilon ^{2} \Vert \nabla U \Vert _{2}^{2} \quad{\text{and}}\quad \Vert U_{\varepsilon } \Vert _{p}^{p}= \varepsilon ^{ \frac{pN}{2}-N} \Vert U \Vert _{p}^{p}. \end{aligned}
(2.32)

From (2.7), (2.29), (2.30), (2.31), and (2.32), we obtain

\begin{aligned} \mathcal{I}\bigl((U_{\varepsilon })_{t}\bigr)={}& \frac{t^{N-2}}{2} \Vert \nabla U_{\varepsilon } \Vert _{2}^{2}+ \frac{t^{N}}{2} \int _{\mathbb{R}^{N}}V(tx)U^{2}_{\varepsilon }\,dx \\ &{}- \frac{Nt^{N+\alpha }}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert U_{\varepsilon } \vert ^{\frac{\alpha }{N}+1} \bigr) \vert U_{\varepsilon } \vert ^{\frac{\alpha }{N}+1}\,dx \\ &{}-\frac{t^{N}\lambda }{p} \int _{\mathbb{R}^{N}} \vert U_{\varepsilon } \vert ^{p} \,dx \\ \le {}&\frac{V_{\infty }t^{N}}{2} \Vert U_{\varepsilon } \Vert _{2}^{2}+ \frac{t^{N-2}}{2} \Vert \nabla U_{\varepsilon } \Vert _{2}^{2}- \frac{Nt^{N+\alpha }}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl( I_{\alpha }* \vert U_{\varepsilon } \vert ^{\frac{\alpha }{N}+1} \bigr) \vert U_{\varepsilon } \vert ^{ \frac{\alpha }{N}+1} \,dx \\ &{}-\frac{t^{N}\lambda }{p} \int _{\mathbb{R}^{N}} \vert U_{\varepsilon } \vert ^{p} \,dx \\ ={}&\frac{V_{\infty }S}{2}t^{N}-\frac{N}{2(N+\alpha )}t^{N+\alpha }+ \frac{\varepsilon ^{2} \Vert \nabla U \Vert _{2}^{2}}{2}t^{N-2}- \frac{\lambda \varepsilon ^{\frac{Np}{2}-N}}{p} \Vert U \Vert _{p}^{p}t^{N} \\ ={}&f(x)+ h_{\varepsilon }(t). \end{aligned}
(2.33)

There are three possible cases to distinguish.

Case 1. $$2< p<2+\frac{4}{N}$$ and $$\lambda >0$$. In this case, we choose $$\varepsilon \in (0,1)$$, then

\begin{aligned} h_{\varepsilon }(t)\le \frac{1}{2p}\varepsilon ^{2}t^{N-2}\bigl(p \Vert \nabla U \Vert _{2}^{2}-2\lambda \Vert U \Vert _{p}^{p}t^{2} \bigr). \end{aligned}
(2.34)

Let

\begin{aligned} T_{0}=\max \biggl\{ \frac{6t_{*}}{5}, \biggl( \frac{p \Vert \nabla U \Vert _{2}^{2}}{2\lambda \Vert U \Vert _{p}^{p}} \biggr)^{ \frac{1}{2}} \biggr\} . \end{aligned}
(2.35)

We can choose $$\varepsilon \in (0,1)$$ such that

\begin{aligned} \lambda t_{*}^{2}\ge \frac{25p \Vert \nabla U \Vert _{2}^{2}}{32 \Vert U \Vert ^{p}_{p}}, \end{aligned}
(2.36)

and

\begin{aligned} \frac{1}{2}\varepsilon ^{2}T_{0}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f \biggl( \frac{6t_{*}}{5} \biggr),\qquad \frac{1}{2}\varepsilon ^{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f \biggl( \frac{4t_{*}}{5} \biggr). \end{aligned}
(2.37)

There are four possible subcases.

Subcase (i) $$t \ge T_{0}$$. Then it follows from (2.29), (2.33), (2.34), and (2.35) that

\begin{aligned} \max_{t\ge T_{0}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{t\ge T_{0}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{6t_{*}}{5} \biggr)\le f(t_{*})=m_{*}. \end{aligned}
(2.38)

Subcase (ii) $$\frac{6t_{*}}{5}\le t\le T_{0}$$. Then it follows from (2.29), (2.33), (2.34), and (2.37) that

\begin{aligned} \max_{\frac{6t_{*}}{5}\le t\le T_{0}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr) \le {}& \max_{\frac{6t_{*}}{5}\le t\le T_{0}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{6t_{*}}{5} \biggr)+\frac{1}{2}\varepsilon _{2}T_{0}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}{.} \end{aligned}
(2.39)

Subcase (iii) $$\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}$$. Then it follows from (2.29), (2.33), and (2.35) that

\begin{aligned} \max_{\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f(t_{*})+h_{\varepsilon } \biggl(\frac{4t_{*}}{5} \biggr)\le m_{*}. \end{aligned}
(2.40)

Subcase (iv) $$0\le t\le \frac{4t_{*}}{5}$$. Then it follows from (2.29), (2.33), (2.34), and (2.37) that

\begin{aligned} \max_{0\le t\le \frac{4t_{*}}{5}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr) \le {}&\max_{0\le t\le \frac{4t_{*}}{5}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{4t_{*}}{5} \biggr)+\frac{1}{2}\varepsilon _{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}. \end{aligned}
(2.41)

Case 2. $$p=2+\frac{4}{N}$$ and $$\lambda > \frac{(N+2)N^{2}}{2(N+1)A_{0}^{\frac{4}{N}}(SV_{\infty })^{\frac{2}{\alpha }}}$$. In this case we choose $$\varepsilon \in (0,1)$$, then

\begin{aligned} h_{\varepsilon }(t)=\frac{1}{2}\varepsilon ^{2}t^{N-2} \biggl( \Vert \nabla U \Vert _{2}^{2}-\frac{N}{N+2}\lambda \Vert U \Vert _{2+4/N}^{2+4/N}t^{2} \biggr). \end{aligned}
(2.42)

Let

\begin{aligned} T_{1}=\max \biggl\{ t_{*}+\epsilon, \biggl( \frac{(N+2) \Vert \nabla U \Vert _{2}^{2}}{N\lambda \Vert U \Vert _{2+4/N}^{2+4/N}} \biggr)^{\frac{1}{2}} \biggr\} . \end{aligned}
(2.43)

By assumption (ii) in Theorem 1.1, we can choose $$\epsilon >0$$ such that

\begin{aligned} \lambda (t_{*}-\epsilon )^{2}\ge \frac{(N+2) \Vert \nabla U \Vert _{2}^{2}}{N \Vert U \Vert _{2+4/N }^{2+4/N}}. \end{aligned}
(2.44)

We choose $$\varepsilon >0$$ such that

\begin{aligned} \frac{1}{2}\varepsilon ^{2}T_{1}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f(t_{*}+ \epsilon ), \qquad\frac{1}{2}\varepsilon ^{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f(t_{*}- \epsilon ). \end{aligned}
(2.45)

There are also four possible subcases.

Subcase (i) $$t\ge T_{1}$$. Then it follows from (2.29), (2.33), (2.42), and (2.43) that

\begin{aligned} \max_{t\ge T_{1}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{t\ge T_{1}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f(t_{*}+\epsilon )\le f(t_{*})=m_{*}. \end{aligned}
(2.46)

Subcase (ii) $$t_{*}+\epsilon \le t\le T_{1}$$. Then it follows from (2.29), (2.33), (2.42), and (2.45) that

\begin{aligned} \max_{t_{*}+\epsilon \le t\le T_{1}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr) \le {}& \max_{t_{*}+\epsilon \le t\le T_{1}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le{} &f(t_{*}+\epsilon )+\frac{1}{2}\varepsilon _{2}T_{1}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}. \end{aligned}
(2.47)

Subcase (iii) $$t_{*}-\epsilon \le t\le t_{*}+\epsilon$$. Then it follows from (2.29), (2.33), (2.42), and (2.44) that

\begin{aligned} \max_{t_{*}-\epsilon \le t\le t_{*}+\epsilon }\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{t_{*}-\epsilon \le t\le t_{*}+\epsilon }\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f(t_{*})+h_{\varepsilon }(t_{*}-\epsilon )\le m_{*}. \end{aligned}
(2.48)

Subcase (iv) $$0\le t\le t_{*}-\epsilon$$. Then it follows from (2.29), (2.33), (2.42), and (2.45) that

\begin{aligned} \max_{0\le t\le t_{*}-\epsilon }\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{0\le t\le t_{*}-\epsilon }\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f(t_{*}-\epsilon )+\frac{1}{2}\varepsilon ^{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}. \end{aligned}
(2.49)

Case 3. $$2+\frac{4}{N}< p<2^{*}$$ and $$\lambda > \frac{25pN^{4}\Gamma (\frac{N}{2})\Gamma (\frac{pN}{2})}{256(N+1)!A_{0}^{p-2}\varepsilon ^{2^{*}-2}(V_{\infty }S)^{\frac{2}{\alpha }}\Gamma (\frac{(p-1)N}{2})}$$. In this case, we also choose $$\varepsilon \in (0,1]$$, then

\begin{aligned} h_{\varepsilon }(t)\le \frac{\varepsilon ^{2} \Vert \nabla U \Vert ^{2}_{2}}{2}t^{N-2}- \frac{\lambda \varepsilon ^{2^{*}}}{p} \Vert U \Vert _{p}^{p}t^{N}, \end{aligned}
(2.50)
\begin{aligned} T_{2}=\max \biggl\{ \frac{6t_{*}}{5}, \biggl( \frac{p \Vert \nabla U \Vert _{2}^{2}}{2\lambda \varepsilon ^{2^{*}-2} \Vert U \Vert ^{p}_{p}} \biggr)^{1/2} \biggr\} , \end{aligned}
(2.51)

and

\begin{aligned} \lambda > \frac{p \Vert \nabla U \Vert _{2}^{2}}{2\varepsilon ^{\frac{(p-2)N}{2}-2}t_{0}^{2}}. \end{aligned}
(2.52)

Now we can choose $$\varepsilon \in (0,1]$$ and $$\lambda >0$$ such that

\begin{aligned} \lambda t_{*}^{2}\ge \frac{25p \Vert \nabla U \Vert _{2}^{2}}{32\varepsilon ^{2^{*}-2} \Vert U \Vert ^{p}_{p}} \end{aligned}
(2.53)

and

\begin{aligned} \frac{1}{2}\varepsilon ^{2}T_{2}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f \biggl( \frac{6t_{*}}{5} \biggr), \qquad\frac{1}{2}\varepsilon ^{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}-f \biggl( \frac{4t_{*}}{5} \biggr). \end{aligned}
(2.54)

There are four possible subcases.

Subcase (i) $$t \ge T_{2}$$. Then it follows from (2.29), (2.33), (2.51), and (2.50) that

\begin{aligned} \max_{t\ge T_{2}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{t\ge T_{2}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{6t_{*}}{5} \biggr)\le f(t_{*})=m_{*}. \end{aligned}
(2.55)

Subcase (ii) $$\frac{6t_{*}}{5}\le t\le T_{2}$$. Then it follows from $$\text{(2.29)}, \text{(2.33)}$$, (2.52), (2.50), and (2.54) that

\begin{aligned} \max_{\frac{6t_{*}}{5}\le t\le T_{2}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr) \le{} & \max_{\frac{6t_{*}}{5}\le t\le T_{2}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{6t_{*}}{5} \biggr)+\frac{1}{2}\varepsilon ^{2}T_{2}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}. \end{aligned}
(2.56)

Subcase (iii) $$\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}$$. Then it follows from (2.29), (2.50), and (2.53) that

\begin{aligned} \max_{\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)\le {}& \max_{\frac{4t_{*}}{5}\le t\le \frac{6t_{*}}{5}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le{} &f(t_{*})+h_{\varepsilon } \biggl(\frac{4t_{*}}{5} \biggr)\le m_{*}. \end{aligned}
(2.57)

Subcase (iv) $$0\le t\le \frac{4t_{*}}{5}$$. Then it follows from (2.29), (2.33), (2.50), and (2.54) that

\begin{aligned} \max_{0\le t\le \frac{4t_{*}}{5}}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr) \le{} &\max_{0\le t\le \frac{4t_{*}}{5}}\bigl[f(t)+h_{\varepsilon }(t)\bigr] \\ \le {}&f \biggl(\frac{4t_{*}}{5} \biggr)+\frac{1}{2}\varepsilon ^{2}t_{*}^{N-2} \Vert \nabla U \Vert _{2}^{2}< m_{*}. \end{aligned}
(2.58)

The above three cases show that

\begin{aligned} m\le \max_{t> 0}\mathcal{I}\bigl((U_{\varepsilon })_{t} \bigr)< m_{*}. \end{aligned}
(2.59)

□

### Lemma 2.10

Assume that (V1)(V3) hold. Then m is achieved.

### Proof

In view of Lemmas 2.5 and 2.8, we have $$\mathcal{M}\ne {\emptyset }$$ and $$m>0$$. Let $$\{ u_{n} \} \subset \mathcal{M}$$ be such that $$\mathcal{I}(u_{n})\to m$$. Since $$\mathcal{P}(u_{n})=0$$, then it follows from (2.5), (2.18), and (2.20) that

\begin{aligned} m+o(1)&=\mathcal{I}(u_{n})\ge \mathcal{I}(u_{n})- \frac{1}{N} \mathcal{P}(u_{n}) \\ &\ge\frac{1-\theta }{N} \Vert \nabla u_{n} \Vert _{2}^{2}. \end{aligned}
(2.60)

This is to show that $$\{ \|\nabla u_{n}\|_{2} \}$$ is bounded. Next, we prove that $$\{ \|u_{n}\|_{2} \}$$ is also bounded. Arguing indirectly, assume that $$\|u_{n}\|_{2}$$ →∞, without loss of generality, we can assume that $$\|u_{n}\|_{2}\ge 1$$. From (2.28), we have

\begin{aligned} m={}&\mathcal{I}(u_{n})\ge \mathcal{I} \bigl((u_{n})_{\bar{t}_{n}}\bigr) \\ ={}&\frac{\bar{t}_{n}^{N-2}}{2} \Vert \nabla u_{n} \Vert ^{2}_{2}+ \frac{\bar{t}_{n}^{N}}{2} \int _{\mathbb{R}^{N}}V(\bar{t}_{n}x)u_{n}^{2} \,dx- \frac{\bar{t}_{n}^{N}\lambda }{p} \int _{\mathbb{R}^{N}} \vert u_{n} \vert ^{p}\,dx \\ &{}-\frac{N\bar{t}_{n}^{N+\alpha }}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl( \mathcal{I}_{\alpha }* \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{ \frac{\alpha }{N}+1}\,dx \\ \ge {}&\frac{S\bar{t}_{n}^{N}}{2r_{0}\omega _{N}^{2/N}} \int _{ \vert \bar{t}_{n}x \vert < r_{0}} u_{n}^{2}\,dx+ \frac{V_{\infty }\bar{t}_{n}^{N}}{4} \int _{ \vert \bar{t}_{n}x \vert \ge r_{0}}u_{n}^{2}\,dx- \frac{C_{3}\bar{t}_{n}^{N+\alpha }}{2} \Vert u_{n} \Vert _{2}^{ \frac{2(N+\alpha )}{N}}- \frac{\lambda \bar{t}_{n}^{N}}{p} \Vert u_{n} \Vert ^{p}_{2} \\ \ge{} & \frac{\sigma \bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2}- \frac{C_{3}\bar{t}^{N+\alpha }}{2} \Vert u_{n} \Vert _{2}^{ \frac{2(N+\alpha )}{N}}- \frac{\lambda \bar{t}_{n}^{N}}{p} \Vert u_{n} \Vert _{2}^{p} \\ ={}&\frac{\bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3} \bar{t}_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}}- \frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \biggr), \quad\forall \bar{t}_{n} \ge 0. \end{aligned}
(2.61)

If $$\frac{2\alpha }{N}\geq p-2$$, we choose

\begin{aligned} \lambda =\frac{pC_{3}\bar{t}_{n}^{\alpha }}{4}>0 \quad{\text{and}}\quad C_{3}= \frac{\sigma }{4} \biggl( \frac{\sigma }{24m} \biggr)^{\frac{\alpha }{N}}. \end{aligned}
(2.62)

Let

\begin{aligned} \bar{t}_{n}= \biggl( \frac{24m}{\sigma } \biggr)^{\frac{1}{N}} \Vert u_{n} \Vert _{2}^{-\frac{2}{N}}. \end{aligned}
(2.63)

From (2.61), (2.62), and (2.63), we have

\begin{aligned} m\ge {}& \frac{\bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3} \bar{t}_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}}- \frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \biggr) \\ \ge {}&\frac{\bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3} \bar{t}_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}}- \frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}} \biggr) \\ ={}&\frac{3}{2}m. \end{aligned}
(2.64)

This is a contradiction.

When $$\frac{2\alpha }{N}< p-2$$, we choose

\begin{aligned} \lambda =\frac{pC_{3}\bar{t}_{n}^{\alpha }}{4}>0 \quad{\text{and}}\quad C_{3}= \frac{\sigma }{4} \biggl( \frac{\sigma }{24m \Vert u_{n} \Vert _{2}^{[N(p-2)-2\alpha ]/\alpha } } \biggr)^{ \alpha /N}{.} \end{aligned}
(2.65)

Let

\begin{aligned} \bar{t}_{n}= \biggl( \frac{24m \Vert u_{n} \Vert _{2}^{[N(p-2)-2\alpha ]/\alpha }}{\sigma } \biggr)^{1/N} \Vert u_{n} \Vert ^{-(p-2)/\alpha }{.} \end{aligned}
(2.66)

Then from (2.61), (2.65), and (2.66), we get

\begin{aligned} m\ge{} & \frac{\bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3} \bar{t}_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{\frac{2\alpha }{N}}- \frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \biggr) \\ \ge {}&\frac{\bar{t}_{n}^{N}}{4} \Vert u_{n} \Vert _{2}^{2} \biggl( \sigma -2C_{3} \bar{t}_{n}^{\alpha } \Vert u_{n} \Vert _{2}^{p-2 }-\frac{4\lambda }{p} \Vert u_{n} \Vert _{2}^{p-2} \biggr) \\ ={}&\frac{3}{2}m, \end{aligned}
(2.67)

a contradiction. Hence, $$\{ \|u_{n}\|_{2} \}$$ is also bounded. Therefore, $$\{ u_{n} \}$$ is bounded in $$H^{1}(\mathbb{R}^{N})$$. Passing to a subsequence, we have $$u_{n}\rightharpoonup \bar{u}$$ in $$H^{1}(\mathbb{R}^{N})$$. Then $$u_{n}\to \bar{u}$$ in $$L^{s}_{\mathrm{loc}}(\mathbb{R}^{N})$$ for $$2\le s\le 2^{*}$$ and $$u_{n}\to \bar{u}$$ a.e. in $$\mathbb{R}^{N}$$. We obtain two possible cases.

Case (i) $$\bar{u}=0$$, i.e., $$u_{n}\rightharpoonup 0$$ in $$H^{1}(\mathbb{R}^{N})$$. Then $$u_{n}\to 0$$ in $$L^{s}_{\mathrm{loc}}(\mathbb{R}^{N})$$ for $$2\le s\le 2^{*}$$ and $$u_{n}\to 0$$ a.e. in $$\mathbb{R}^{N}$$. Let $$t=0$$ in (2.4), one has

\begin{aligned} NV(x)+\nabla V(x)\cdot x\le NV_{\infty }+ \frac{(N-2)^{2}\theta }{2 \vert x \vert ^{2}}. \end{aligned}
(2.68)

Let $$t\to \infty$$ in (2.4), one has

\begin{aligned} -\frac{(N-2)^{3}\theta }{4 \vert x \vert ^{2}}+NV_{\infty }\le NV(x)+\nabla V(x) \cdot x. \end{aligned}
(2.69)

By (V2), (2.68), and (2.69), it is easy to show that

\begin{aligned} \lim_{n\to \infty } \int _{\mathbb{R}^{N}}\bigl[V_{\infty }-V(x)\bigr]u_{n}^{2} \,dx= \lim_{n\to \infty } \int _{\mathbb{R}^{N}}\nabla V(x)\cdot x u_{n}^{2} \,dx=0. \end{aligned}
(2.70)

From (1.5), (1.8), (1.11), and (2.70), one can get

\begin{aligned} \mathcal{I}(u_{n})\to m, \qquad\mathcal{P}^{\infty }(u_{n}) \to 0. \end{aligned}
(2.71)

From Lemma 2.8(i), (1.12), and (2.71), one has

\begin{aligned} \min \{ N-2,NV_{\infty } \} \rho ^{2}\le {}& \min \{ N-2,NV_{\infty } \} \Vert u_{n} \Vert ^{2} \\ \le {}&(N-2) \Vert \nabla u_{n} \Vert _{2}^{2}+NV_{\infty } \Vert u_{n} \Vert _{2}^{2} \\ ={}&N \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert u_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert u_{n} \vert ^{\frac{\alpha }{N}+1}\,dx+ \frac{2N\lambda }{p} \Vert u_{n} \Vert ^{p}_{p}. \end{aligned}
(2.72)

Using (2.72) and the Lions concentration compactness principle [14, Lemma 1.21], we can prove that there exist $$\sigma >0$$ and a sequence $$\{ y_{n} \} \subset \mathbb{R}^{N}$$ such that $$\int _{B_{1}(y_{n})}|u_{n}|^{2}\,dx>\sigma$$. Let $$\hat{u}_{n}(x)=u_{n}(x+y_{n})$$. Then we have $$\|\hat{u}_{n}\|=\|u_{n}\|$$ and

\begin{aligned} \mathcal{P}^{\infty }(\hat{u}_{n})=o(1),\qquad \mathcal{I}(\hat{u}_{n}) \to m,\qquad \int _{B_{1}(0)} \vert \hat{u}_{n} \vert ^{2}\,dx>\sigma. \end{aligned}
(2.73)

Therefore, there exists $$\hat{u}\in H^{1}(\mathbb{R}^{N}) \setminus \{ 0 \}$$ such that, passing to a subsequence,

\begin{aligned} \textstyle\begin{cases} \hat{u}_{n} \rightharpoonup \hat{u} & {\text{in }} H^{1}(\mathbb{R}^{N}); \\ \hat{u}_{n} \to \hat{u} & {\text{in }} L^{s}_{\mathrm{loc}}(\mathbb{R}^{N}), \forall s \in [1,2^{*}); \\ \hat{u}_{n}\to \hat{u}& {\text{a.e. on }} \mathbb{R}^{N}. \end{cases}\displaystyle \end{aligned}
(2.74)

Let $$w_{n}=\hat{u}_{n}-\hat{u}$$. Then (2.74) and the Brezis–Lieb type lemma (see [11, Lemmas 2.4]), [30, Lemmas 2.10] lead to

\begin{aligned} \mathcal{I}^{\infty }(\hat{u}_{n})= \mathcal{I}^{\infty }(\hat{u})+ \mathcal{I}^{\infty }(w_{n})+o(1) \end{aligned}
(2.75)

and

\begin{aligned} \mathcal{P}^{\infty }(\hat{u}_{n})= \mathcal{P}^{\infty }(\hat{u})+ \mathcal{P}^{\infty }(w_{n})+o(1). \end{aligned}
(2.76)

From (1.12), (1.8), and Lemma 2.3, one has

\begin{aligned} \mathcal{I}^{\infty }(u)\ge \mathcal{I}^{\infty }(u_{t}). \end{aligned}
(2.77)

Moreover,

\begin{aligned} &\frac{1}{N} \Vert \nabla w_{n} \Vert _{2}^{2}=m-\frac{1}{N} \Vert \nabla \hat{u} \Vert _{2}^{2}+ \frac{\alpha }{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert \hat{u} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert \hat{u} \vert ^{\frac{\alpha }{N}+1}\,dx+o(1), \end{aligned}
(2.78)
\begin{aligned} &\mathcal{P}^{\infty }(w_{n})=-\mathcal{P}^{\infty }( \hat{u})+o(1). \end{aligned}
(2.79)

If there exists a subsequence $$\{ w_{n_{i}} \}$$ of $$\{ w_{n} \}$$ such that $$w_{n_{i}}=0$$, then going to this subsequence, we have

\begin{aligned} \mathcal{I}^{\infty }(\hat{u})=m,\qquad \mathcal{P^{\infty }}( \hat{u})=0. \end{aligned}
(2.80)

Next we assume that $$w_{n}\ne 0$$. We claim that $$\mathcal{P}^{\infty }(\hat{u})\le 0$$. Otherwise, $$\mathcal{P}^{\infty }(\hat{u})>0$$ for large n. In view of Corollary 2.4 and Lemma 2.5, there exists $$t_{n}>0$$ such that $$(w_{n})_{t_{n}}\in \mathcal{M}^{\infty }$$. From (1.5), (1.12), (2.77), (2.78), and (2.80), we obtain

\begin{aligned} m-\frac{1}{N} \Vert \nabla \omega _{n} \Vert _{2}^{2}+o(1)={}&\frac{1}{N} \Vert \nabla \hat{u} \Vert _{2}^{2}+\frac{\alpha }{2(N+\alpha )} \int _{ \mathbb{R}^{N}} \bigl(I_{\alpha }* \vert \hat{u} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert \hat{u} \vert ^{\frac{\alpha }{N}+1}\,dx \\ ={}&\mathcal{I}^{\infty }(w_{n})-\frac{1}{N} \mathcal{P}^{\infty }(w_{n}) \\ \ge {}&\mathcal{I}^{\infty }\bigl((w_{n})_{t_{n}}\bigr)- \frac{t_{n}^{N}}{N} \mathcal{P}^{\infty }(w_{n}) \\ \ge {}&m^{\infty }-\frac{t_{n}^{N}}{N}\mathcal{P}^{\infty }(w_{n}) \ge m^{\infty }, \end{aligned}
(2.81)

which implies $$\mathcal{P}^{\infty }(\hat{u})\le 0$$ due to $$\|\nabla \hat{u}\|_{2}>0$$. Since $$\hat{u}\ne 0$$ and $$\mathcal{P}^{\infty }(\hat{u})\le 0$$, in view of Lemma 2.5, there exists $$\hat{t}>0$$ such that $$\hat{u}_{\hat{t}}\in \mathcal{M}^{\infty }$$. From (1.8), (1.12), (2.77), (2.78), (2.80) and the weak semicontinuity of norm, one has

\begin{aligned} m={}&\lim_{n\to \infty } \biggl[\mathcal{I}^{\infty }( \hat{u}_{n})- \frac{1}{N}\mathcal{P}^{\infty }( \hat{u}_{n}) \biggr] \\ ={}&\frac{1}{N}\lim_{n\to \infty } \Vert \nabla \hat{u}_{n} \Vert _{2}^{2}+ \frac{\alpha }{2(N+\alpha )} \lim_{n\to \infty } \int _{ \mathbb{R}^{N}} \bigl(I_{\alpha }* \vert \hat{u}_{n} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert \hat{u}_{n} \vert ^{\frac{\alpha }{N}+1}\,dx \\ \ge {}&\mathcal{I}^{\infty }(\hat{u})-\frac{1}{N}\mathcal{P}^{\infty }( \hat{u}) \\ \ge {}&\mathcal{I}^{\infty }(\hat{u}_{\hat{t}})-\frac{\hat{t}^{N}}{N} \mathcal{P}^{\infty }(\hat{u}) \\ \ge {}&m^{\infty }-\frac{\hat{t}^{N}}{N}\mathcal{P}^{\infty }(\hat{u})\ge m, \end{aligned}
(2.82)

which implies that (2.80) also holds. In view of Lemma 2.5, there exists $$\hat{t}>0$$ such that $$\hat{u}_{\hat{t}}\in \mathcal{M}$$; moreover, it follows from (V2), (1.5), (1.8), (2.81), and (2.82) that

\begin{aligned} m\le \mathcal{I}(\hat{u}_{\hat{t}})\le \mathcal{I}^{\infty }(\hat{u}_{ \hat{t}})\le \mathcal{I}^{\infty }( \hat{u})=m. \end{aligned}
(2.83)

This shows that m is achieved at $$\hat{u}_{\hat{t}}\in \mathcal{M}$$.

Case (ii). $$\bar{u}\ne 0$$. Let $$v_{n}=u_{n}-\bar{u}$$. If $$u_{n}\rightharpoonup \bar{u}$$, similar to [17] and [31], we have the following two equalities:

\begin{aligned} \mathcal{I}(u_{n})=\mathcal{I}(\bar{u})+ \mathcal{I}(v_{n})+o(1) \end{aligned}
(2.84)

and

\begin{aligned} \mathcal{P}(u_{n})=\mathcal{P}(\bar{u})+ \mathcal{P}(v_{n})+o(1). \end{aligned}
(2.85)

Set

\begin{aligned} \Psi (u)={}&\frac{1}{N} \Vert \nabla u \Vert _{2}^{2}-\frac{1}{2N} \int _{ \mathbb{R}^{N}}\bigl(\nabla V(x)\cdot x\bigr)u^{2}\,dx \\ &{}+ \frac{\alpha }{2(N+\alpha )} \int _{\mathbb{R}^{N}}\bigl(I_{\alpha }*u^{ \frac{\alpha }{N}+1} \bigr)u^{\frac{\alpha }{N}+1}\,dx. \end{aligned}
(2.86)

Then it follows from (1.2), (2.4) with $$t=0$$, (2.6) and (2.86) that

\begin{aligned} \Psi (u)\ge \frac{1-\theta }{N} \Vert \nabla u \Vert _{2}^{2}, \quad\forall u \in H^{1}\bigl( \mathbb{R}^{N}\bigr){.} \end{aligned}
(2.87)

Since $$\mathcal{I}(u_{n})\to m$$ and $$\mathcal{P}(u_{n})=0$$, then it follows from (1.5), (1.11), (2.85), (2.86), and (2.87) that

\begin{aligned} \Psi (v_{n})=m-\Psi (\bar{u})+o(1) \end{aligned}
(2.88)

and

\begin{aligned} \mathcal{P}(v_{n})=-\mathcal{P}(\bar{u})+o(1). \end{aligned}
(2.89)

If there exists a subsequence $$\{ v_{n_{i}} \}$$ of $$\{ v_{n} \}$$ such that $$v_{n_{i}}=0$$, then going to this subsequence, we have

\begin{aligned} \mathcal{I}(\bar{u})=m,\qquad \mathcal{P}(\bar{u})=0, \end{aligned}
(2.90)

which implies that the conclusion of Lemma 2.10 holds. Next, we assume that $$v_{n}\ne 0$$. We claim that $$\mathcal{P}(\bar{u})\le 0$$. Otherwise, $$\mathcal{P}(\bar{u})>0$$, then (2.88) implies $$\mathcal{P}(v_{n})<0$$ for large n. In view of (2.8), there exists $$t_{n}>0$$ such that $$(v_{n})_{t_{n}}\in \mathcal{M}$$ for large n. From (1.5), (1.11), (2.5), (2.88), and (2.89), we obtain

\begin{aligned} m-\Psi (\bar{u})+o(1)={}&\Psi (v_{n}) \\ ={}&\mathcal{I}(v_{n})-\frac{1}{N}\mathcal{P}(v_{n}) \\ \ge {}& \mathcal{I}\bigl((v_{n})_{t_{n}}\bigr)- \frac{t_{n}^{N}}{N}\mathcal{P}(v_{n}) \\ \ge{} &m-\frac{t_{n}^{N}}{N}\mathcal{P}(v_{n})\ge m, \end{aligned}
(2.91)

which implies $$\mathcal{P}(\bar{u})\le 0$$ due to $$\Psi (\bar{u})>0$$. Since $$\bar{u}\ne 0$$ and $$\mathcal{P}(\bar{u})\le 0$$, in view of (2.8) and (2.77), there exists $$\bar{t}>0$$ such that $$\bar{u}_{\bar{t}}\in \mathcal{M}$$. From (1.5), (1.11), (2.5), (2.87), (2.88) and the weak semicontinuity of norm, we obtain

\begin{aligned} m={}&\lim_{n\to \infty } \biggl[\mathcal{I}(u_{n})- \frac{1}{N} \mathcal{P}(u_{n}) \biggr] =\lim _{n\to \infty }\Psi (u_{n}) \ge \Psi (\bar{u}) \\ \ge {}&\mathcal{I}(\bar{u})-\frac{1}{N}\mathcal{P}(\bar{u}) \ge \mathcal{I}(\bar{u}_{\bar{t}})-\frac{\bar{t}^{N}}{N}\mathcal{P}( \bar{u}) \\ \ge{} &m-\frac{\bar{t}^{N}}{N}\mathcal{P}^{\infty }(\bar{u})\ge m, \end{aligned}
(2.92)

which implies that (2.90) also holds. □

### Lemma 2.11

Assume that (V1)(V3) hold. If $$\bar{u}\in \mathcal{M}$$ and $$\mathcal{I}(\bar{u})=m$$, then ū is a critical point of $$\mathcal{I}$$.

### Proof

Similar to the proof of [32, Lemma 2.12], we can clearly conclude the desired conclusion by using

\begin{aligned} \mathcal{I}(\bar{u}_{t})\le {}& \mathcal{I}(\bar{u})- \frac{(1-\theta )g(t)}{2N} \Vert \nabla \bar{u} \Vert _{2}^{2} - \frac{\beta (t)}{2(N+\alpha )} \int _{\mathbb{R}^{N}} \bigl(I_{\alpha }* \vert \bar{u} \vert ^{\frac{\alpha }{N}+1} \bigr) \vert \bar{u} \vert ^{\frac{\alpha }{N}+1}\,dx \\ \le {}&\mathcal{I}(\bar{u})-\frac{(1-\theta )g(t)}{2N} \Vert \nabla \bar{u} \Vert _{2}^{2}< m, \quad \forall t>0{,} \end{aligned}
(2.93)

and

\begin{aligned} \varepsilon _{1}:=\min \biggl\{ \frac{(1-\theta )g(1-\epsilon _{1})}{5(N+\alpha )} \Vert \nabla \bar{u} \Vert _{2}^{2}, \frac{(1-\theta )g(1+\epsilon _{1})}{5(N+\alpha )} \Vert \nabla \bar{u} \Vert _{2}^{2}, 1, \frac{\rho \delta }{8} \biggr\} \end{aligned}
(2.94)

instead of [26, (2.55) and ε], respectively. □

### Proof of Theorem 1.1

In view of Lemma 2.7, Lemma 2.8, and Lemma 2.11, there exists $$\bar{u}\in \mathcal{M}$$ such that

\begin{aligned} \mathcal{I}(\bar{u})=\inf_{u\in H^{1}(\mathbb{R}^{N}) \setminus \{ 0 \} }\max _{t> 0}\mathcal{I}(u_{t})=m>0,\quad \mathcal{I}'( \bar{u})=0. \end{aligned}
(2.95)

This shows that ū is a ground state solution of (1.1). □

## Availability of data and materials

No data and material were used to support the work.

## Code availability

No software was applied to support the work.

## References

1. Lieb, E.H., Loss, M.: Analysis Graduate Studies in Mathematics. Am. Math. Soc., Providence (1997)

2. Pekar, S.: Untersuchungöber die Elektronentheorie der Kristalle. Akademie Verlag, Berlin (1954)

3. Moroz, I.M., Penrose, R., Tod, P.: Spherically-symmetric solutions of the Schrödinger–Newton equations. Class. Quantum Gravity 15, 2733–2742 (1998)

4. Bahrami, M., Großardt, A., Donadi, S., Bassi, A.: The Schrödinger–Newton equation and its foundations. New J. Phys. 16, 115007 (2014)

5. Cingolani, S., Secchi, S., Squassina, M.: Semi-classical limit for Schrödinger equations with magnetic field and Hartree-type nonlinearities. Proc. R. Soc. Edinb. A 140, 973–1009 (2010)

6. Diósi, L.: Gravitation and quantum-mechanical localization of macro-objects. Phys. Lett. A 105, 199–202 (1984)

7. Lieb, E.H.: Existence and uniqueness of the minimizing solution of Choquard’s nonlinear equation. Stud. Appl. Math. 57, 93–105 (1976)

8. Lions, P.L.: The Choquard equation and related questions. Nonlinear Anal., Theory Methods Appl. 4, 1063–1072 (1980)

9. Lions, P.L.: The concentration-compactness principle in the calculus of variations. The locally compact case. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 1, 109–145 (1984)

10. Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics. J. Funct. Anal. 265, 153–184 (2013)

11. Van Schaftingen, J., Xia, J.K.: Groundstates for a local nonlinear perturbation of the Choquard equations with lower critical exponent. J. Math. Anal. Appl. 464, 1184–1202 (2018)

12. Brezis, H., Nirenberg, L.: Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 36, 437–477 (1983)

13. Gao, F.S., Yang, M.B.: On nonlocal Choquard equations with Hardy–Littlewood–Sobolev critical exponents. J. Math. Anal. Appl. 448, 1006–1041 (2017)

14. Willem, M.: Minimax Theorems Progress in Nonlinear Differential Equations and Their Applications. Birkhäuser, Boston (1996)

15. Brock, F., Solynin, A.Y.: An approach to symmetrization via polarization. Trans. Am. Math. Soc. 352, 1759–1796 (2000)

16. Cassani, D., Van Schaftingen, J., Zhang, J.J.: Groundstates for Choquard type equations with Hardy–Littlewood–Sobolev lower critical exponent. Proc. R. Soc. Edinb. A 135, 1–24 (2018)

17. Tang, X.H., Chen, S.T.: Ground state solutions of Nehari–Pohožaev type for Kirchhoff-type problems with general potentials. Calc. Var. Partial Differ. Equ. 56, 1–25 (2017)

18. Qin, D.D., Tang, X.H.: On the planar Choquard equation with indefinite potential and critical exponential growth. J. Differ. Equ. 285, 40–98 (2021)

19. Qin, D.D., Lai, L.Z., Yuan, S., Wu, Q.F.: Ground states and multiple solutions for Choquard–Pekar equations with indefinite potential and general nonlinearity. J. Math. Anal. Appl. 500, 125143 (2021)

20. Wu, Q.F., Qin, D.D., Chen, J.: Ground states and non-existence results for Choquard type equations with lower critical exponent and indefinite potentials. Nonlinear Anal. 197, 111863 (2020)

21. Zhang, J., Wu, Q.F., Qin, D.D.: Semiclassical solutions for Choquard equations with Berestycki–Lions type conditions. Nonlinear Anal. 188, 22–49 (2019)

22. Zhang, X.Y.: Existence and multiplicity of solutions for a class of elliptic boundary value problems. J. Math. Anal. Appl. 410, 213–226 (2014)

23. Wang, L.B., Zhang, X.Y., Fang, H.: Multiplicity of solutions for a class of quasilinear elliptic systems in Orlicz–Sobolev spaces. Taiwan. J. Math. 21, 881–912 (2017)

24. Wang, L.B., Zhang, X.Y., Fang, H.: Existence and multiplicity of solutions for a class of $$(\phi _{1},\phi _{2})$$-Laplacian elliptic system in $$\mathbb{R}^{N}$$ via genus theory. Comput. Math. Appl. 72, 110–130 (2016)

25. Tang, X.H., Wei, J.Y., Chen, S.T.: Nehari-type ground state solutions for a Choquard equation with lower critical exponent and local nonlinear perturbation. Math. Methods Appl. Sci. 43, 1–12 (2020)

26. Chen, S.T., Tang, X.H.: Berestycki–Lions conditions on ground state solutions for a nonlinear Schrödinger equation with variable potentials. Adv. Nonlinear Anal. 9, 496–515 (2020)

27. Chen, S.T., Tang, X.H.: Ground state solutions for generalized quasilinear Schrödinger equations with variable potentials and Berestycki–Lions nonlinearities. J. Math. Phys. 59, 1–18 (2018)

28. Pohožaev, S.I.: Eigenfunctions of the equation $$\Delta u + \lambda f (u) = 0$$. Sov. Math. Dokl. 5, 1408–1411 (1965)

29. Li, X.F., Ma, S.W., Zhang, G.: Existence and qualitative properties of solutions for Choquard equations with a local term. Nonlinear Anal., Real World Appl. 45, 1–25 (2019)

30. Tang, X.H., Chen, S.T.: Singularly perturbed Choquard equations with nonlinearity satisfying Berestycki–Lions assumptions. Adv. Nonlinear Anal. 9, 413–437 (2020)

31. Tang, X.H., Chen, S.T.: Ground state solutions of Nehari–Pohožaev type for Schrödinger–Poisson problems with general potentials. Discrete Contin. Dyn. Syst., Ser. A 37, 4973–5002 (2017)

32. Chen, S.T., Tang, X.H.: Ground state solutions for general Choquard equations with a variable potential and a local nonlinearity. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114, 14 (2020)

## Acknowledgements

The authors would like to thank the referees for their useful suggestions which have significantly improved the paper.

## Funding

This work is supported by the National Natural Science Foundation of China (No. 11961014) and Guangxi Natural Science Foundation (2021GXNSFAA196040, 2018GXNSFAA281021).

## Author information

Authors

### Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Qiongfen Zhang.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

Reprints and permissions

Zhang, J., Zhang, Q. Existence of ground state solutions for a class of Choquard equations with local nonlinear perturbation and variable potential. Bound Value Probl 2021, 101 (2021). https://doi.org/10.1186/s13661-021-01576-9