- Research
- Open Access
- Published:
Singularly perturbed quasilinear Choquard equations with nonlinearity satisfying Berestycki–Lions assumptions
Boundary Value Problems volume 2021, Article number: 86 (2021)
Abstract
In the present paper, we consider the following singularly perturbed problem:
where \(\varepsilon >0\) is a parameter, \(N\ge 3\), \(\alpha \in (0, N)\), \(G(t)=\int _{0}^{t}g(s)\,\mathrm{d}s\), \(I_{\alpha }: \mathbb{R}^{N}\rightarrow \mathbb{R}\) is the Riesz potential, and \(V\in \mathcal{C}(\mathbb{R}^{N}, \mathbb{R})\) with \(0<\min_{x\in \mathbb{R}^{N}}V(x)< \lim_{|y|\to \infty }V(y)\). Under the general Berestycki–Lions assumptions on g, we prove that there exists a constant \(\varepsilon _{0}>0\) determined by V and g such that for \(\varepsilon \in (0,\varepsilon _{0}]\) the above problem admits a semiclassical ground state solution \(\hat{u}_{\varepsilon }\) with exponential decay at infinity. We also study the asymptotic behavior of \(\{\hat{u}_{\varepsilon }\}\) as \(\varepsilon \to 0\).
1 Introduction
In this paper, we consider the following singularly perturbed quasilinear Choquard equation:
where \(\varepsilon >0\) is a parameter, \(N\ge 3\), \(\alpha \in (0, N)\), and \(I_{\alpha }: \mathbb{R}^{N}\rightarrow \mathbb{R}\) is the Riesz potential defined by
\(G(t)=\int _{0}^{t}g(s)\,\mathrm{d}s\), \(V: \mathbb{R}^{N}\rightarrow \mathbb{R}\) and \(g: \mathbb{R}\rightarrow \mathbb{R}\) satisfy the following basic assumptions:
-
(V1)
\(V\in \mathcal{C}(\mathbb{R}^{N}, \mathbb{R})\) and \(0< V_{0}:=\min_{x\in \mathbb{R}^{N}}V(x)< V_{\infty }:=\lim_{|y| \to \infty }V(y)\);
-
(G1)
\(g\in \mathcal{C}(\mathbb{R}, \mathbb{R})\), \(G(t)=o (t^{(N+\alpha )/N} )\) as \(t\to 0\), and there exists a constant \(\mathcal{C}_{0}>0\) such that
$$ \bigl\vert g(t)t \bigr\vert \le \mathcal{C}_{0} \bigl( \vert t \vert ^{(N+\alpha )/N}+ \vert t \vert ^{2(N+\alpha )/(N-2)} \bigr),\quad \forall t\in \mathbb{R}; $$ -
(G2)
\(G(t)=o (t^{2(N+\alpha )/(N-2)} )\) as \(|t|\to \infty \);
-
(G3)
There exists \(s_{0}>0\) such that \(G(s_{0})\ne 0\).
Note that (V1) was introduced by Rabinowitz in [23], and (G1)–(G3) were almost necessary and sufficient conditions and regarded as the Berestycki–Lions type conditions to Choquard equations, which were introduced by Moroz and Van Schaftingen in [19] for the study of (1.1) with \(\varepsilon =1\). Without loss of generality, in this paper we assume that
If the nonlocal term \((I_{\alpha }*F(u))f(u)\) is replaced with a local nonlinear term \(h(x,u)\), then (1.1) reduces to the well-known quasilinear Schrödinger equation introduced in [3, 4, 12] to study a model of self-trapped electrons in quadratic or hexagonal lattices. If the term \(\Delta (u^{2})u\) is absent, then (1.1) is usually called the nonlinear Choquard equation, which was introduced by Pekar [22], and it describes the quantum mechanics of a polaron at rest. We refer to [1, 2, 6, 7, 9, 10, 13–20, 25] and the references therein in either cases for \(\varepsilon =1\).
This paper was motivated by some recent works of Yang, Zhang, and Zhao [28] and Yang, Tang, and Gu [26, 27], and Zhang and Ji [29], in which quasilinear Choquard equations were considered. In particular, for \(\varepsilon =1\), Yang, Zhang, and Zhao [28] in 2018 first considered the existence of nontrivial solutions for the quasilinear Choquard equation (1.1), where \(N\ge 3\), \(\alpha \in (0, N)\), and \(f(u)=|u|^{p-2}u\) with \(2< p<2(N+\alpha )/(N-2)\), by using variational and perturbation method. Later, this result was extended partly by [26, 29].
As \(\varepsilon \to 0\), the existence and asymptotic behavior of the solutions of the singularly perturbed equation (1.1) are known as the semi-classical problem, which was used to describe the transition between of quantum mechanics and Newtonian mechanics, see Floer and Weinstein [11] for the pioneering work. In [27], Yang, Tang, and Gu considered singularly perturbed equation (1.1) under (V1), (G1), (G2) and the following assumption:
- (G3′):
-
\(g\in \mathcal{C}^{1}(\mathbb{R},\mathbb{R})\), \(g(t)=0\) for \(t\le 0\), and \(\frac{g(t)}{t^{3}}\) is positive and increasing in \((0, \infty )\).
Based on the dual approach and the Nehari manifold method, the existence, multiplicity, and concentration behavior of positive solutions were obtained.
Different from those in the previous papers [26–29], in this paper, we consider the existence and concentration of ground state solutions for the more generalized quasilinear Choquard equation (1.1) under the general “Berestycki–Lions assumptions” on the nonlinearity g which are almost necessary. To state our result, we introduce the following conditions:
-
(V2)
\(V\in \mathcal{C}^{1}(\mathbb{R}^{N}, \mathbb{R})\) and \(t\mapsto \frac{NV(tx)+\nabla V(tx)\cdot (tx)}{t^{\alpha }}\) is nonincreasing on \((0,\infty )\) for all \(x\in \mathbb{R}^{N}\setminus \{0\}\);
-
(G4)
\(g(t)=o(t)\) as \(t\to 0\).
Obviously, (G1)–(G4) are much weaker than those used in [26–29]. Our result is as follows.
Theorem 1.1
Assume that V and g satisfy (V1), (V2), and (G1)–(G3). Then there exists a number \(\varepsilon _{0}>0\) determined by V and g, see (3.23), such that for all \(\varepsilon \in (0,\varepsilon _{0}]\), (1.1) has a ground state solution \(\hat{u}_{\varepsilon }\). If (G4) holds also, then the following statements hold:
-
(i)
For \(\varepsilon \in (0, \varepsilon _{0}]\), the function \(|\hat{u}_{\varepsilon }|\) achieves its maximum at a point \(x_{\varepsilon }\), which satisfies
$$ \lim_{\varepsilon \to 0}V(x_{\varepsilon })=V_{0}=\min _{x\in \mathbb{R}^{N}}V(x); $$ -
(ii)
There exist \(\Pi _{0}>0\) and \(\kappa _{0} > 0\) independent of \(\varepsilon \in (0, \varepsilon _{0}]\) such that the maximum point \(x_{\varepsilon }\) of \(|\hat{u}_{\varepsilon }|\) satisfies the inequality
$$ \bigl\vert \hat{u}_{\varepsilon }(x) \bigr\vert \le \Pi _{0}\exp \biggl(- \frac{\kappa _{0}}{\varepsilon } \vert x-x_{\varepsilon } \vert \biggr),\quad \forall x\in \mathbb{R}^{N}, \varepsilon \in (0, \varepsilon _{0}]; $$ -
(iii)
For any sequence \(\varepsilon _{n} \to 0\), the sequence \(\hat{u}_{\varepsilon _{n}}(\varepsilon _{n} x+x_{\varepsilon _{n}})\) converges in \(H^{1}(\mathbb{R}^{N})\) to a ground state solution u of the following autonomous equation:
$$ -\Delta u+V_{0}u-\Delta \bigl(u^{2} \bigr)u=\bigl(I_{\alpha }*F(u)\bigr)f(u). $$(1.3)
The rest of the paper is organized as follows. In Sect. 2, we give variational setting and preliminary lemmas. Section 3 is devoted to the proof of the existence of ground state solutions. In the last section, we establish the concentration of ground state solutions and prove Theorem 1.1.
Next, we give some notations. \(H^{1}(\mathbb{R}^{N})\) is the usual Sobolev space with the standard scalar product and the norm
\(L^{s}(\mathbb{R}^{N})\) (\(1\le s< \infty \)) denotes the Lebesgue space with the norm \(\|u\|_{s} = (\int _{\mathbb{R}^{N}}|u|^{s}\,\mathrm{d}x )^{1/s}\). We use \(C_{1}, C_{2},\ldots \) to indicate positive constants possibly different in different places.
2 Variational setting and preliminary lemmas
Observe that formally (1.1) is the Euler–Lagrange equation associated with the following functional:
It is well known that \(\mathcal{I}_{\varepsilon }\) is not well defined in general in \(H^{1}(\mathbb{R}^{N})\). To overcome this difficulty, we employ an argument developed by Colin and Jeanjean [9] (see also [14]). We make the change of variables by \(v=f^{-1}(u)\), where f is defined by
After the change of variables from \(\mathcal{I}_{\varepsilon }\), we obtain the following functional:
which is well defined on the space \(H^{1}(\mathbb{R}^{N})\). Then the critical points of (2.3) are weak solutions of the equation
Note that if v is a critical point of (2.3), then \(u = f(v)\) is a weak solution of (1.1) (see [9, pp. 217–218]). Replacing \(v(\varepsilon x)\) with \(v(x)\), one easily sees that (2.4) is equivalent to
The energy functional associated with problem (2.5) is given by
Lemma 2.1
The function \(f(t)\) and its derivative satisfy the following properties:
-
(f1)
f is uniquely defined, \(\mathcal{C}^{\infty }\) and invertible, and \(0< f'(t)\le 1\) for all \(t\in \mathbb{R}\);
-
(f2)
\(|f(t)|\le |t|\) and \(|f(t)|\le 2^{1/4}|t|^{1/2}\) for all \(t\in \mathbb{R}\);
-
(f3)
\(f(t)/t \to 1\) as \(t\to 0\) and \(f(t)/\sqrt{t} \to 2^{1/4}\) as \(t\to +\infty \);
-
(f4)
\(f(t)/2\le tf'(t)\le f(t)\) for all \(t>0\) and \(f(t)\le tf'(t)\le f(t)/2\) for all \(t\le 0\);
-
(f5)
There exists a positive constant \(\theta _{0}\) such that
$$ \bigl\vert f(t) \bigr\vert \ge \textstyle\begin{cases} \theta _{0} \vert t \vert , & \vert t \vert \le 1, \\ \theta _{0} \vert t \vert ^{1/2}, & \vert t \vert > 1. \end{cases} $$
From (G1), Hardy–Littlewood–Sobolev inequality, and (f2) of Lemma 2.1, we deduce that, for some \(p\in (2, 2^{*})\) and any \(\epsilon >0\),
As in [25, Lemma 2.1, Lemma 2.2], we have the following result.
Lemma 2.2
Assume that (V1) and (V2) hold. Then, for all \(t\ge 0\) and \(y\in \mathbb{R}^{N}\),
Moreover, \(|\nabla V(y)\cdot y|\to 0\) as \(|y|\to \infty \).
For all \(\varepsilon >0\), we define a functional on \(H^{1}(\mathbb{R}^{N})\) as follows:
which is associated with the Pohoz̆aev identity \(\mathcal{P}_{\varepsilon }(v)=0\) of (2.5), and set
By elemental calculations, we can get the following inequality:
In what follows, we define \(v_{t}(x):=v(tx)\) for all \(x\in \mathbb{R}^{N}\) and \(t>0\) along any \(v\in H^{1}(\mathbb{R}^{N})\setminus \{0\}\).
Lemma 2.3
Assume that (V1), (V2), (G1), and (G2) hold. Then
Proof
Observe that
By (2.6), (2.8), (2.9), and (2.13), we have
This shows that (2.12) holds. □
Lemma 2.3 and (2.11) give the following consequence.
Corollary 2.4
Assume that (V1), (V2), (G1), and (G2) hold. Then, for \(v\in \mathcal{M}_{\varepsilon }\),
Lemma 2.5
Assume that V satisfies (V1) and (V2). Then there exist constants \(\gamma _{1},\gamma _{2}>0\) independent of \(\varepsilon >0\) such that
and
Proof
By (2.8), we have \(\lim_{t\to \infty }h(t,x)/t^{N+\alpha }\ge 0\) for any \(y\in \mathbb{R}^{N}\), and so
Let \(V_{\max }:=\max_{x\in \mathbb{R}^{N}}V(x)\in (0,\infty )\). Using (V1), (2.8), and (2.17), we have
Choose \(t=s_{1}=(2V_{\max }/V_{0})^{1/N}\), so that (2.18) gives
This completes the proof of (2.15). We next prove that (2.16) holds also. Note that (2.8) yields that
Choose \(t=s_{2}=(V_{0}/2V_{\max })^{1/\alpha }\in (0,1)\), then (2.19) implies that
This completes the proof of (2.16), and also of the lemma. □
To show \(\mathcal{M}_{\varepsilon }\ne \emptyset \), we define a set Λ as follows:
Lemma 2.6
Assume that (V1), (V2) and (G1)–(G3) hold. Then \(\Lambda \ne \emptyset \) and \(\mathcal{M}_{\varepsilon }\subset \Lambda \).
Proof
In view of the proof of [19, The proof of Claim 1 in Proposition 2.1], (G3) implies \(\Lambda \ne \emptyset \). If \(v\in H^{1}(\mathbb{R}^{N})\setminus \{0\}\) and \(\mathcal{P}_{\varepsilon }(v)\le 0\), then it follows from (2.9) and (2.15) that
which implies \(v\in \Lambda \). □
Arguing as in the proof of [25, Lemma 2.8], we get the following result.
Lemma 2.7
Assume that (V1), (V2), and (G1)–(G3) hold. Then, for any \(v\in \Lambda \), there exists unique \(t_{v}>0\) such that \(v_{t_{v}}\in \mathcal{M}_{\varepsilon }\).
From Corollary 2.4, Lemmas 2.6 and 2.7, we have \(\mathcal{M}_{\varepsilon }\ne \emptyset \) and the following lemma.
Lemma 2.8
Assume that (V1), (V2), and (G1)–(G3) hold. Then
Lemma 2.9
Assume that (V1), (V2), and (G1)–(G3) hold. Then there exists \(\varrho _{0}>0\) independent of ε such that \(m_{\varepsilon }=\inf_{v\in \mathcal{M}_{\varepsilon }}\Phi _{ \varepsilon }(v)\ge \varrho _{0}\).
Proof
Let \(A(v):=\int _{\mathbb{R}^{N}} [|\nabla v|^{2}+f^{2}(v) ] \,\mathrm{d}x\) for any \(v\in H^{1}(\mathbb{R}^{N})\). Since \(\mathcal{P}_{\varepsilon }(v)=0\) for all \(v\in \mathcal{M}_{\varepsilon }\), by (2.7), (2.9), (2.15), and Sobolev embedding theorem, one has, for any \(v\in \mathcal{M}_{\varepsilon }\),
which implies that there exists \(\rho _{0}>0\) independent of ε such that
Let \(\{v_{n}\}\subset \mathcal{M}_{\varepsilon }\) be such that \(\Phi _{\varepsilon }(v_{n})\rightarrow m_{\varepsilon }\). From (2.23) and (2.12) with \(t \rightarrow 0\), we have
This shows that \(m_{\varepsilon }=\inf_{v\in \mathcal{M}_{\varepsilon }}\Phi _{ \varepsilon }(v)\ge \varrho _{0}\). The proof is complete. □
Following the idea of [8, Lemma 2.14], we can prove the following lemma by using Lemma 2.3, the deformation lemma, and intermediary theorem for continuous functions.
Lemma 2.10
Assume that (V1), (V2), and (G1)–(G3) hold. If \(\bar{v}\in \mathcal{M}_{\varepsilon }\) and \(\Phi _{\varepsilon }(\bar{v})=m_{\varepsilon }\), then v̄ is a critical point of \(\Phi _{\varepsilon }\).
3 Existence of ground state solutions for (2.5)
From now on in the paper, we always assume that (V1), (V2), and (G1)–(G3) hold without further mentioning. In view of Lemma 2.10, to obtain the existence of a critical point of \(\Phi _{\varepsilon }\), it suffices to prove that \(m_{\varepsilon }\) can be attained. To this end, we have to overcome the difficulty caused by the lack of the compactness of Sobolev embeddings. For this, we shall compare \(m_{\varepsilon }\) with the minimax level of the following autonomous problems:
where b is a positive constant. To do that, we first seek for a ground state solution of (3.1) which minimizes the value of the functional \(\hat{\Phi }_{b}(v)\) on the Pohoz̆aev manifold \(\hat{\mathcal{M}}_{b}\), where
and
with
Lemma 3.1
\(\hat{m}_{b}:= \inf_{v\in \hat{\mathcal{M}}_{b}} \hat{\Phi }_{b}(v)\) is attained for any \(b>0\).
Proof
In view of Lemma 2.9, we have \(\hat{m}_{b}>0\). Let \(\{v_{n}\}\subset \hat{\mathcal{M}}_{b}\) be such that \(\hat{\Phi }_{b}(v_{n})\rightarrow \hat{m}_{b}\). Note that
By elemental calculations, we can get the following inequality:
Then (2.11), (3.5), and (3.6) yield
Since \(\hat{\mathcal{P}}_{b}(v_{n})=0\), then (3.5) with \(t \rightarrow 0\) gives
which, together with (f2) of Lemma 2.1, implies that both \(\{\|\nabla v_{n}\|_{2}\}\) and \(\{\|f(v_{n})\|\}\) are bounded. Moreover, using (f5) of Lemma 2.1 and Sobolev embedding inequality, we have
Hence, \(\{v_{n}\}\) is bounded in \(H^{1}(\mathbb{R}^{N})\). Since \(\hat{\mathcal{P}}_{b}(v_{n})=0\), using (2.7), (2.23), and Lions’ concentration compactness principle, one can easily prove that there exist \(\delta >0\) and \(\{y_{n}\}\subset \mathbb{R}^{N}\) such that \(\int _{B_{1}(y_{n})}|v_{n}|^{2}\,\mathrm{d}x> \delta /2\). Let \(\hat{v}_{n}(x)=v_{n}(x+y_{n})\). Then
and there exists \(\hat{v}\in H^{1}(\mathbb{R}^{N})\setminus \{0\}\) such that \(\hat{v}_{n}\rightharpoonup \hat{v}\) in \(H^{1}(\mathbb{R}^{N})\), \(\hat{v}_{n}\rightarrow \hat{v}\) in \(L_{\mathrm{loc}}^{s}(\mathbb{R}^{N})\) for \(s\in [1, 2^{*})\), \(\hat{v}_{n}\rightarrow \hat{v}\) a.e. on \(\mathbb{R}^{N}\). Let \(w_{n}=\hat{v}_{n}-\hat{v}\). By a standard argument, we have
Set
Then (2.6), (3.4), (3.10), (3.11), and (3.12) give
If there exists a subsequence \(\{w_{n_{i}}\}\) of \(\{w_{n}\}\) such that \(w_{n_{i}}=0\), then we have
Thus, we assume that \(w_{n}\ne 0\) for all \(n\in \mathbb{N}\).
We claim that \(\hat{\mathcal{P}}_{b}(\hat{v})\le 0\). Otherwise, if \(\hat{\mathcal{P}}_{b}(\hat{v})>0\), then (3.13) implies \(\hat{\mathcal{P}}_{b}(w_{n}) < 0\) for large n. Arguing as in Lemmas 2.6 and 2.7, there exists \(t_{n}>0\) such that \((w_{n})_{t_{n}}\in \hat{\mathcal{M}}_{b}\) for large n. From (3.2), (3.4), (3.7), (3.12), and (3.13), we obtain
which is absurd because of \(\Psi _{b}(\hat{v})>0\). Hence, \(\hat{\mathcal{P}}_{b}(\hat{v})\le 0\) and the claim holds. Since \(\hat{v}\ne 0\) and \(\hat{\mathcal{P}}_{b}(\hat{v})\le 0\), arguing as in Lemmas 2.6 and 2.7, there exists \(\hat{t}>0\) such that \(\hat{v}_{\hat{t}}\in \hat{\mathcal{M}}_{b}\). From (3.2), (3.4), (3.7), (3.10), (3.12), and the weak semicontinuity of norm, we derive that
which implies again the validity of (3.14) in this case. Clearly, (3.14) proves the lemma. □
In view of Lemmas 2.10 and 3.1, we have the following theorem.
Lemma 3.2
For all \(b>0\), (3.1) has a ground state solution \(\hat{v}\in H^{1}(\mathbb{R}^{N})\setminus \{0\}\) such that
Using (1.2), (2.6), (2.9), (2.10), (3.2), (3.3), and (3.4), we know that \(\Phi _{0}=\hat{\Phi }_{V_{0}}\), \(\mathcal{P}_{0}=\hat{\mathcal{P}}_{V_{0}}\) and \(\mathcal{M}_{0}=\hat{\mathcal{M}}_{V_{0}}\). Let
Applying Lemma 3.2, there exist \(\hat{v}_{0}\in \mathcal{M}_{0}\) and \(\hat{v}\in \hat{\mathcal{M}}_{\hat{V}}\) such that
and
In view of Lemma 2.7, there exists \(t_{0}>0\) such that
For \(v \in H^{1}(\mathbb{R}^{N})\), we define the following functional:
Using (G1) and (G2), it is easy to check that there exists \(T_{0}>1\) such that
In view of Lemma 2.7 and (3.20), for any \(\varepsilon >0\), there exists \(t_{\varepsilon }\in (0,T_{0})\) such that
Lemma 3.3
\(\hat{m}_{\hat{V}} \ge m_{0}+\delta _{0}\), where \(\delta _{0}=(V_{\infty }-V_{0})t_{0}^{N}\|f(\hat{v})\|_{2}^{2}/4>0\) is independent of \(\varepsilon >0\).
Proof
as desired. □
Now, we choose \(R_{0}>0\) sufficiently large such that
where \(T_{0}>0\) is given by (3.20), and \(\delta _{0}>0\) in Lemma 3.3. By (V1) and (V3), there exists \(\varepsilon _{0}>0\) small enough such that, for all \(\varepsilon \in [0,\varepsilon _{0}]\),
Lemma 3.4
\(m_{0} \ge m_{\varepsilon }-3\delta _{0}/4\) for all \(\varepsilon \in [0,\varepsilon _{0}]\).
Proof
Note that (2.15) and (2.16) lead to
Since \(\mathcal{P}_{0}(\hat{v}_{0})=0\) by (3.16), then (2.1), (2.9), (2.12), and (3.21)–(3.24) yield that
as desired. □
Next, we extend Theorem 3.2 to the case \(\varepsilon >0\).
Lemma 3.5
\(m_{\varepsilon }\) is achieved for all \(\varepsilon \in (0,\varepsilon _{0}]\).
Proof
In view of Lemmas 2.7 and 2.9, we have \(\mathcal{M}_{\varepsilon }\ne \emptyset \) and \(m_{\varepsilon }>0\) for all \(\varepsilon \in (0,\varepsilon _{0}]\). For any fixed \(\varepsilon \in (0,\varepsilon _{0}]\), let \(\{v_{n}\}\subset \mathcal{M}_{\varepsilon }\) be such that \(\Phi _{\varepsilon }(v_{n})\rightarrow m_{\varepsilon }\). Since \(\mathcal{P}_{\varepsilon }(v_{n})=0\), then it follows from (2.23) and (2.24) that
which, together with (3.9), implies that \(\{v_{n}\}\) is bounded in \(H^{1}(\mathbb{R}^{N})\). Passing to a subsequence, we have \(v_{n}\rightharpoonup \hat{v}\) in \(H^{1}(\mathbb{R}^{N})\). Then \(v_{n}\rightarrow \hat{v}\) in \(L_{\mathrm{loc}}^{s}(\mathbb{R}^{N})\) for \(2\le s<2^{*}\) and \(v_{n}\rightarrow \hat{v}\) a.e. in \(\mathbb{R}^{N}\). Now, we prove that \(\hat{v}\ne 0\).
Arguing by contradiction, suppose that \(\hat{v}=0\), then \(v_{n}\rightarrow 0\) in \(L_{\mathrm{loc}}^{s}(\mathbb{R}^{N})\) for \(2\le s<2^{*}\) and \(v_{n}\rightarrow 0\) a.e. in \(\mathbb{R}^{N}\). Using Lemma 2.7, we know that there exists \(t_{n}>0\) such that \((v_{n})_{t_{n}}\in \hat{\mathcal{M}}_{\hat{V}}\) for \(n\in \mathbb{N}\). We claim that there exist two constants \(0< T_{1}< T_{2}\) such that
Indeed, if \(t_{n}\to 0\), from Lemma 3.2 and the boundedness of \(\{\|v_{n}\|\}\) we then deduce that
which is absurd. Hence, the first inequality holds in (3.25). Moreover, we can verify that
Otherwise, if (3.26) does not hold, then there exists a subsequence \(\{v_{n_{k}}\}\) of \(\{v_{n}\}\) such that
Then (2.9), (2.15), (2.23), and (3.27) yield
This contradiction shows that (3.26) holds. By (3.2), (3.26), the boundedness of \(\{v_{n}\}\), and Sobolev embedding theorem, we have
which implies that there exists \(T_{2}>0\) such that
Since \(\hat{\Phi }_{\hat{V}} ((v_{n})_{t_{n}} )\ge \hat{m}_{ \hat{V}}>0\) due to (3.17), then (3.28) yields that \(t_{n}\le T_{2}\) for all \(n\in \mathbb{N}\). This shows that (3.25) holds. Thus it follows from (2.1), (2.14), (3.2), (3.22), and (3.25) that
which, together with Lemmas 3.3 and 3.4, implies
This contradiction shows that the claim is true, that is, \(\hat{v}\ne 0\). Let \(w_{n}=v_{n}-\hat{v}\). As in the proof of (3.14), we can deduce that \(\Phi _{\varepsilon }(\hat{v})=m_{\varepsilon }\) and \(\mathcal{P}_{\varepsilon }(\hat{v})=0\). This completes the proof. □
In view of Lemmas 2.8, 2.10, and 3.5, we easily obtain the following result.
Proposition 3.6
For every \(\varepsilon \in (0, \varepsilon _{0}]\), (2.5) has a ground state solution \(\hat{v}_{\varepsilon }\) such that
4 Concentration of ground state solutions
In this section, we always assume that (V1), (V2), and (G1)–(G4) hold, and consider the concentration of ground state solutions for (2.5) and give the proof of Theorem 1.1. For this purpose, for every \(\varepsilon \in (0, \varepsilon _{0}]\), let \(\hat{v}_{\varepsilon }\) be a ground state solution of (2.5) obtained in Proposition 3.6, which satisfies (3.29). Moreover, when \(\varepsilon =0\), we denote by \(\hat{v}_{0}\) the ground state solution of (1.3), that is, the ground state solution constructed in Theorem 3.2 when \(b=V_{0}\). Therefore, as in Sect. 1, we put for all \(\varepsilon \in [0,\varepsilon _{0}]\)
and set
Lemma 4.1
There exists \(K_{0}>0\) independent of ε such that \(\varrho _{0} \le m_{\varepsilon }\le K_{0}\) for all \(\varepsilon \in [0, \varepsilon _{0}]\).
Proof
From (2.13), (3.20), Lemmas 2.7 and 2.9, we derive that
where \(\hat{v}_{0}\in H^{1}(\mathbb{R}^{N})\) and \(T_{0}>0\) are given by (3.16) and (3.20), respectively. □
Lemma 4.2
There exists \(K_{1}>0\) independent of ε such that \(\|v\|\le K_{1}\) for all \(v\in \Upsilon \).
Proof
For any \(v_{\varepsilon }\in \mathcal{L}_{m_{\varepsilon }}\) with \(\varepsilon \in [0, \varepsilon _{0}]\), by (2.16) and Lemma 4.1, one has
As in the proof of (3.9), we have
The lemma thus follows from (4.1) and (4.2). □
Lemma 4.3
\(\limsup_{\varepsilon \to \bar{\varepsilon }}m_{\varepsilon }\le m_{ \bar{\varepsilon }}\) for every \(\bar{\varepsilon }\in [0, \varepsilon _{0}]\).
Proof
Fix \(\bar{\varepsilon }\in [0, \varepsilon _{0}]\) and \(\hat{v}_{\bar{\varepsilon }}\in \mathcal{L}_{m_{\bar{\varepsilon }}}\). Arguing by contradiction, suppose that \(\limsup_{\varepsilon \to \bar{\varepsilon }}m_{\varepsilon } > m_{ \bar{\varepsilon }}\). Let \(\epsilon _{0}=\limsup_{\varepsilon \to \bar{\varepsilon }}m_{ \varepsilon } - m_{\bar{\varepsilon }}\). Clearly \(\epsilon _{0}>0\). From Lemma 2.7, for any \(\varepsilon >0\), there exists \(\bar{t}_{\varepsilon }>0\) such that \((\hat{v}_{\bar{\varepsilon }})_{\bar{t}_{\varepsilon }}\in \mathcal{M}_{ \varepsilon }\), and so
It is easy to check that there exists a constant \(\bar{T}>0\) such that \(0<\bar{t}_{\varepsilon }\le \bar{T}\) for some \(\bar{T}=T_{\hat{u}_{\bar{\varepsilon }}}>0\), moreover, for any bounded set \(\Omega \subset \mathbb{R}^{N}\),
Choose \(R_{1}>R_{0}\) such that
Noting that \(\mathcal{P}_{\bar{\varepsilon }}(\hat{v}_{\bar{\varepsilon }})=0\), then it follows from (2.12), (3.24), (4.3), (4.4), and (4.5) that
and so \(m_{\bar{\varepsilon }}+\epsilon _{0}= \limsup_{\varepsilon \to \bar{\varepsilon }}m_{\varepsilon } \le m_{\bar{\varepsilon }}+ \frac{\epsilon _{0}}{2}\). This contradiction shows \(\limsup_{\varepsilon \to \bar{\varepsilon }}m_{\varepsilon }\le m_{ \bar{\varepsilon }}\). □
Lemma 4.4
If \(v\in \Upsilon \), then \(v\in \mathcal{C}(\mathbb{R}^{N},\mathbb{R})\) and \(\lim_{|x|\to \infty }v(x)=0\). Moreover, there is \(\alpha _{0} > 0\) independent of \(x\in \mathbb{R}^{N}\) and \(v\in \Upsilon \) such that
Proof
By a standard argument, we can prove that
Using (4.7), Lemma 4.2, and the standard bootstrap argument (see [21]), we can deduce that, for any \(s \ge 2\), there exists \(C_{s} > 0\) independent of \(v\in \Upsilon \) such that
which, together with Sobolev imbedding theorem, implies that there is \(C_{\infty }> 0\) independent of \(v\in \Upsilon \) such that
By (4.7), Lemma 2.1, (G1), and (G4), there exists a constant \(\Theta _{1}>V_{0}\) such that
In view of (4.8), (4.9), Lemma 4.2, and [21, Lemma 1], we have \(v\in \mathcal{C}(\mathbb{R}^{N},\mathbb{R})\) and \(\lim_{|x|\to \infty }v(x)=0\). Since \(v\in \mathcal{L}_{m_{\varepsilon }}\) is a solution of (2.5) for some \(\varepsilon >0\), then (4.9) and Lemma 4.2 yield that
which implies that \(|v|\) is a sub-solution of the equation \((-\Delta -\Theta _{1})w = 0\), and hence (4.6) follows from the sub-solution estimate (see [24, Theorem C.1.2]). □
Lemma 4.5
For every \(v_{\varepsilon }\in \mathcal{L}_{m_{\varepsilon }} \subset \Upsilon \), there exists \(y_{\varepsilon }\in \mathbb{R}^{N}\) such that \(|v_{\varepsilon }(y_{\varepsilon })| = \max_{x\in \mathbb{R}^{N}}|v_{ \varepsilon }(x)|\). Let \(\tilde{v}_{\varepsilon }(x):=v_{\varepsilon }(x+y_{\varepsilon })\), and let \(\varepsilon _{n}\in (0,\varepsilon _{0}]\) such that \(\limsup_{n\to \infty }\varepsilon _{n}=\bar{\varepsilon }\). Then we have
-
(i)
If \(\bar{\varepsilon }>0\), then \(\{v_{\varepsilon _{n}}\}\) has a convergence subsequence, whose limit belongs to ϒ;
-
(ii)
If \(\bar{\varepsilon }=0\), then \(\{\tilde{v}_{\varepsilon _{n}}\}\) has a convergence subsequence, whose limit is not zero.
Proof
For \(\{\varepsilon _{n}\}\subset [0,\varepsilon _{0}]\) and \(v_{\varepsilon _{n}}\in \mathcal{L}_{m_{\varepsilon _{n}}}\), Lemma 4.2 implies that \(\{v_{\varepsilon _{n}}\}\) is bounded in \(H^{1}(\mathbb{R}^{N})\). By a standard argument, we can get
By Lemma 4.4, there exists \(y_{\varepsilon }\in \mathbb{R}^{N}\) such that \(|v_{\varepsilon }(y_{\varepsilon })| =\max_{x\in \mathbb{R}^{N}}|v_{ \varepsilon }(x)|\). This, together with (4.11), gives
where \(\mathcal{C}_{N}\) is the volume of the unit N-ball.
(i) If \(\bar{\varepsilon } \in (0, \varepsilon _{0}]\), then passing to a subsequence, we may assume that \(\varepsilon _{n}\rightarrow \bar{\varepsilon }\in (0, \varepsilon _{0}]\) and \(v_{\varepsilon _{n}}\rightharpoonup \hat{v}\) in \(H^{1}(\mathbb{R}^{N})\). Similar to the proof of Lemma 3.5, we can conclude that \(v_{\varepsilon _{n}}\to \hat{v}\) in \(H^{1}(\mathbb{R}^{N})\), \(\Phi _{\bar{\varepsilon }}'(\hat{v})=0\), and \(\Phi _{\bar{\varepsilon }}(\hat{v})= \lim_{n\to \infty }\Phi _{ \varepsilon _{n}}(v_{\varepsilon _{n}})= m_{\bar{\varepsilon }}\). This implies that \(\hat{v}\in \mathcal{L}_{m_{\bar{\varepsilon }}}\subset \Upsilon \).
(ii) If \(\bar{\varepsilon }=0\), passing to a subsequence, we may assume that \(\varepsilon _{n}\rightarrow 0\) and \(\tilde{v}_{\varepsilon _{n}}\rightharpoonup \tilde{v}_{0}\) in \(H^{1}(\mathbb{R}^{N})\). Note that (4.12) implies that \(\tilde{v}_{0}\ne 0\). Since V is bounded, going to a subsequence if necessary, we may assume that \(\lim_{n\to \infty }V(\varepsilon _{n}y_{\varepsilon _{n}})=\beta \). Note that
As in the proof of Lemma 3.5, and using (4.13) and Lemma 4.3, we obtain \(\tilde{v}_{\varepsilon _{n}}\to \tilde{v}_{0}\) in \(H^{1}(\mathbb{R}^{N})\), \(\hat{\Phi }_{\beta }'(\tilde{v}_{0})=0\), and \(\hat{\Phi }_{\beta }(\tilde{v}_{0})= \lim_{n\to \infty }\Phi _{ \varepsilon _{n}}(v_{\varepsilon _{n}})\le m_{0}\). This concludes the proof. □
As those of [5, Lemmas 6.5–6.7], we get the following three lemmas.
Lemma 4.6
\(\inf \{\|u\|_{\infty } : u\in \Upsilon \}:=\delta _{0}>0\).
Lemma 4.7
There exist \(\Pi _{1} ,\kappa _{1}>0\) independent of \(x\in \mathbb{R}^{N}\) and \(v\in \Upsilon \) such that
where \(|v(y_{v})|=\max_{x\in \mathbb{R}^{N}}|v(x)|\).
Lemma 4.8
Let \(v_{\varepsilon }\in \mathcal{L}_{m_{\varepsilon }}\) for \(\varepsilon \in (0, \varepsilon _{0}]\) and \(y_{\varepsilon }\in \mathbb{R}^{N}\) be a global maximum point of \(v_{\varepsilon }\). Then
-
(i)
\(\sup_{\varepsilon \in [0, \varepsilon _{0}]}(\varepsilon |y_{ \varepsilon }|)< \infty \);
-
(ii)
For \(\varepsilon _{n}\to 0^{+}\), up to a subsequence, \(\tilde{v}_{\varepsilon _{n}}=v_{\varepsilon _{n}}(\cdot +y_{ \varepsilon _{n}})\) converges in \(H^{1}(\mathbb{R}^{N})\) to a ground state solution of (1.3).
Proof of Theorem 1.1
Let \(\hat{w}_{\varepsilon }(x)=\bar{v}_{\varepsilon }(x/\varepsilon )\) and \(x_{\varepsilon }:=\varepsilon y_{\varepsilon }\). In view of Proposition 3.6, for every \(\varepsilon \in (0, \varepsilon _{0}]\), \(\hat{w}_{\varepsilon }(x)=\bar{v}_{\varepsilon }(x/\varepsilon )\) is a ground state solution of (2.4). Hence, for all \(\varepsilon \in (0, \varepsilon _{0}]\), (1.1) has a ground state solution \(\hat{u}_{\varepsilon }(x):=f(\hat{w}_{\varepsilon }(x))=f(\bar{v}_{ \varepsilon }(x/\varepsilon ))\). Letting \(x_{\varepsilon }:=x_{0}+\varepsilon y_{\varepsilon }\), (i) follows from Lemma 4.8. Since f is strictly increasing and \(|f(t)|\le |t|\) for all \(t\in \mathbb{R}\), Lemmas 4.7 and 4.8 imply the validity of (ii) and (iii), respectively. □
Availability of data and materials
Data sharing not applicable to this article as no data sets were generated or analysed during the current study.
References
Alves, C.O., Figueiredo, G.M., Yang, M.B.: Existence of solutions for a nonlinear Choquard equation with potential vanishing at infinity. Adv. Nonlinear Anal. 5, 331–345 (2016)
Alves, C.O., Gao, F.S., Squassinac, M., Yang, M.B.: Singularly perturbed critical Choquard equations. J. Differ. Equ. 263, 3943–3988 (2017)
Brihaye, Y., Hartmann, B.B., Zakrzewski, W.J.: Spinning solitons of a modified nonlinear Schrödinger equation. Phys. Rev. D 69, 087701 (2004)
Brizhik, L., Eremko, A., Piette, B., Zakrzewski, W.J.: Electron self-trapping in a discrete two-dimensional lattice. Physica D 159, 71–90 (2001)
Chen, S.T., Fiscella, A., Pucci, P., Tang, X.H.: Semiclassical ground state solutions for critical Schrödinger–Poisson systems with lower perturbations. J. Differ. Equ. 268, 2672–2716 (2020)
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(081508), 1–18 (2018)
Chen, S.T., Tang, X.H.: Existence of ground state solutions for quasilinear Schrödinger equations with variable potentials and almost necessary nonlinearities. Electron. J. Differ. Equ. 2018, 157 (2018)
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)
Colin, M., Jeanjean, L.: Solutions for a quasilinear Schrödinger equation: a dual approach. Nonlinear Anal. 56, 213–226 (2004)
Fang, X.D., Szulkin, A.: Multiple solutions for a quasilinear Schrödinger equation. J. Differ. Equ. 254, 2015–2032 (2013)
Floer, A., Weinstein, A.: Nonspreading wave pachets for the packets for the cubic Schrödinger with a bounded potential. J. Funct. Anal. 69, 397–408 (1986)
Hartmann, H., Zakrzewski, W.J.: Electrons on hexagonal lattices and applications to nanotubes. Phys. Rev. B 68, 184302 (2003)
He, X.M., Qian, A., Zou, W.M.: Existence and concentration of positive solutions for quasilinear Schrödinger equations with critical growth. Nonlinearity 26, 3137–3168 (2013)
Liu, J.Q., Wang, Y., Wang, Z.Q.: Solutions for quasilinear Schrödinger equations, II. J. Differ. Equ. 187, 473–793 (2003)
Liu, X.Q., Liu, J.Q., Wang, Z.Q.: Ground states for quasilinear Schrödinger equations with critical growth. Calc. Var. Partial Differ. Equ. 46, 641–669 (2013)
Mingqi, X., Rădulescu, D.V., Zhang, B.L.: A critical fractional Choquard–Kirchhoff problem with magnetic field. Commun. Contemp. Math. 21 1850004 (2019)
Moroz, V., Van Schaftingen, J.: Groundstates of nonlinear Choquard equations: existence, qualitative properties and decay asymptotics. J. Funct. Anal. 265, 153–184 (2013)
Moroz, V., Van Schaftingen, J.: Nonexistence and optimal decay of supersolutions to Choquard equations in exterior domains. J. Differ. Equ. 254, 3089–3145 (2013)
Moroz, V., Van Schaftingen, J.: Existence of groundstate for a class of nonlinear Choquard equations. Trans. Am. Math. Soc. 367, 6557–6579 (2015)
Moroz, V., Van Schaftingen, J.: A guide to the Choquard equation. J. Fixed Point Theory Appl. 19, 773–813 (2017)
Pankov, A.: On decay of solutions to nonlinear Schrödinger equations. Proc. Am. Math. Soc. 136, 2565–2570 (2008)
Pekar, S.: Untersuchung über die Elektronentheorie der Kristalle. Akademie Verlag, Berlin (1954)
Rabinowitz, P.H.: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43, 270–291 (1992)
Simon, B.: Schrödinger semigroups. Bull. Am. Math. Soc. 7, 447–526 (1982)
Tang, X.H., Chen, S.T.: Singularly perturbed Choquard equations with nonlinearity satisfying Berestycki–Lions assumptions. Adv. Nonlinear Anal. 9, 413–437 (2020)
Yang, X.Y., Tang, X.H., Gu, G.Z.: Concentration behavior of ground states for a generalized quasilinear Choquard equation. Math. Methods Appl. Sci. 43, 3569–3585 (2020)
Yang, X.Y., Tang, X.H., Gu, G.Z.: Multiplicity and concentration behavior of positive solutions for a generalized quasilinear Choquard equation. Complex Var. Elliptic Equ. 65, 1515–1547 (2021)
Yang, X.Y., Zhang, W., Zhao, F.: Existence and multiplicity of solutions for a quasilinear Choquard equation via perturbation method. J. Math. Phys. 59, 081503 (2018)
Zhang, J., Ji, C.: Ground state solutions for a generalized quasilinear Choquard equation. Math. Methods Appl. Sci. 44, 6048–6055 (2021)
Funding
This work was supported by the NNSF (12001542).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The author declares that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Yang, H. Singularly perturbed quasilinear Choquard equations with nonlinearity satisfying Berestycki–Lions assumptions. Bound Value Probl 2021, 86 (2021). https://doi.org/10.1186/s13661-021-01563-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-021-01563-0
MSC
- 35J20
- 35J62
- 35Q55
Keywords
- Quasilinear Choquard equation
- Singularly perturbed
- Semiclassical state
- Concentration
- Berestycki–Lions assumptions