On nonlinear fractional Choquard equation with indefinite potential and general nonlinearity

In this paper, we consider a class of fractional Choquard equations with indefinite potential (−Δ)αu+V(x)u=[∫RNM(ϵy)G(u)|x−y|μdy]M(ϵx)g(u),x∈RN,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ (-\Delta )^{\alpha}u+V(x)u= \biggl[ \int _{{\mathbb{R}}^{N}} \frac{M(\epsilon y)G(u)}{ \vert x-y \vert ^{\mu}}\,\mathrm{d}y \biggr]M( \epsilon x)g(u), \quad x\in {\mathbb{R}}^{N}, $$\end{document} where α∈(0,1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha \in (0,1)$\end{document}, N>2α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$N> 2\alpha $\end{document}, 0<μ<2α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\mu <2\alpha $\end{document}, ϵ is a positive parameter. Here (−Δ)α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(-\Delta )^{\alpha}$\end{document} stands for the fractional Laplacian, V is a linear potential with periodicity condition, and M is a nonlinear reaction potential with a global condition. We establish the existence and concentration of ground state solutions under general nonlinearity by using variational methods.


Introduction and main result
In this paper, we deal with a class of nonlinear fractional Choquard equations with indefinite potential where > 0 is a parameter, α ∈ (0, 1), N > 2α, (-) α stands for the fractional Laplacian operator, the nonlinear function G is the primitive function of g with subcritical growth.The operator (-) α is nonlocal and can be defined by where C N,α is a suitable normalization constant.We recall that the problem (1.1) is inspired by the study of standing wave solutions for the time-dependent nonlinear Schrödinger equation where i is the imaginary unit, is the Planck constant, and represents the wave function of the state of an electron.
Regarding the applications of equation (1.2), we recall that fractional Laplacian operators are the infinitesimal generators of Lévy stable diffusion processes.They have application in several areas such as anomalous diffusion of plasmas, probability, finance, and population dynamics.For more details on the application background, we refer to Applebaum [4] and the monograph [24] of Molica Bisci-Rădulescu-Servadei.
When α = 1, problem (1.1) becomes the usual Choquard equation.The early existence and symmetry results were established by Lions [21] and Lieb-Loss [20].After the celebrated work [20,21], the existence and qualitative and asymptotic properties of nontrivial solutions for the Choquard equation or its generalized version have been extensively investigated by using various methods of nonlinear analysis (such as the variational method, moving plane method, Lyapunov-Schmidt reduction method, and shooting method).We refer the readers to [2,5,7,14,25,26,29,30,35,43,44] and the references therein.
For the case α ∈ (0, 1), during the recent years, problem (1.1) has attracted considerable interest, the literature related to this equation is numerous and encompasses several interesting lines of research in nonlinear analysis, including existence, multiplicity, concentration, and qualitative properties of solutions.Let us now briefly recall some related results in this direction.
In [10], d' Avenia-Siciliano-Squassiona studied some results involving existence, regularity, and asymptotic of the solutions for the fractional Choquard equation with constant potential where ω > 0. The analyticity, uniqueness, and radial symmetry of ground state solutions were investigated by Frank-Lenzmann [13].Later on, under general source terms, Shen-Gao-Yang [32] proved the existence result of ground state solutions for a fractional Choquard equation involving a nonlinearity satisfying Berestycki-Lions-type conditions.Without any symmetry property, Chen-Liu [8] established the existence of positive ground state solutions by using the usual Nehari manifold and concentration compactness principle.We also refer to Zhang-Wu [41] for the existence result of nodal solutions.
Recently, there have been some results for fractional Choquard equations with critical growth; we mention the works of Mukherjee-Sreenadh [27] for an analogous Brezis-Nirenberg-type problem; He-Rădulescu [17] for a small linear perturbation problem; Guan-Rădulescu-Wang [16] for the existence of positive bounded solutions.Moreover, concerning the semiclassical analysis of the singularly perturbed problem 2α (- the papers [3,6,15,19,36,37] showed the existence or multiplicity of semiclassical solutions which concentrate around the local or global minimum points of the linear potential V .For other related results involving the qualitative and asymptotic analysis of nontrivial solutions to nonlocal elliptic equations, we also refer to the papers [12,18,28,31,34,[38][39][40] and the references therein.We would like to emphasize that, in the works mentioned above, the authors dealt only with the case where the potential V is a constant or positive function, in the sense that the corresponding energy functional is strongly definite, which has the mountain pass geometry structure in general.In the variational framework of strongly definite functional, the classical Nehari manifold method and mountain pass theory are available.However, as far as we know, there are very few works considering the case where the potential V (x) as in problem (1.1) is indefinite (or sign-changing), which motivates the present work to consider this case.
Concerning the indefinite potential case, we would like to mention the recent work done by Fang-Ji [11] in which the authors first considered the fractional Schrödinger equation under the condition (V ) and proved that the fractional Schrödinger operator (-) α + V has a purely continuous spectrum which is bounded below and consists of closed disjoint intervals, see [11,Theorem 1.1].So in this framework, we know that the energy functional of problem (1.1) is strongly indefinite, which has a more complicated geometry structure than that of a strongly definite functional.In the sense we can see that zero is no longer a local minimum point of the energy functional, and then the usual Nehari manifold method and mountain pass theorem do not work for this case.
Under the variational framework of strongly indefinite potential, motivated by the work of Alves-Germano [1], Chen-Ji [9] proved the existence and concentration of solutions to fractional Schrödinger equation, which extend the relevant ones in [1] from the classical to fractional Schrödinger equation.Very recently, Zhang-Yuan-Wen [42] investigated the fractional Choquard equation with a pure power nonlinearity, and obtained the existence and concentration properties of ground state solutions.We also mention the recent paper [23] in which the existence and asymptotics of ground states to the fractional Schrödinger equations with indefinite and Hardy potentials are discussed.
Motivated by the above works, in the present paper, we aim to study further the existence and some properties of ground state solutions of the fractional Choquard equation (1.1) under a more general nonlinearity.To be more precise, the interest in the study of this paper is twofold: one is to establish the existence of ground state solutions to problem (1.1); the other is to study the asymptotics of these solutions as → 0.
Before stating our results, let us give some suitable conditions about the potentials V , M, and the nonlinearity g.We first assume that V and M satisfy the following conditions: where σ denotes the spectrum of Schrödinger operator (- . Meanwhile, we suppose that the nonlinearity g satisfies the following conditions: (g 1 ) g(u) = o(|u|) as |u| → 0; (g 2 ) There exist c 0 > 0 and q ∈ (2, 2N-2μ N-2α ) such that g(u) ≤ c 0 1 + |u| q-1 for all u ∈ R; |u| is strictly increasing on (-∞, 0) and on (0, +∞).The main result of this paper is the following theorem.Theorem 1.1 Assume that (V ), (M) and (g 1 )-(g 4 ) are satisfied, then (a) there exists 0 > 0 such that problem (1.1) has a ground state solution u for each ∈ (0, 0 ); where u is a ground state solution of the limit equation The features of this paper are the following: • The problem combines the multiple effects generated by the indefinite potential, reaction potential, and general nonlinearity; • The strong indefiniteness of the energy functional together with the double nonlocality bring some difficulties in our analysis; • The lack of compactness due to the unboundedness of the domain leads to the fact that the energy functional does not satisfy the necessary compactness property.Let us explain shortly the strategies of the proof of Theorem 1.1.Based on the above features, firstly, we intend to make use of the method of generalized Nehari manifold developed by Szulkin-Weth [33] to conquer the difficulty caused by the strong indefiniteness feature.Secondly, we must verify that the energy functional satisfies a necessary compactness condition at some minimax level.This goal will be achieved by doing a finer analysis and using the energy comparison argument to establish some relationships of the ground state energy value between the original problem and certain auxiliary problems.Finally, in order to characterize the concentration property of solutions, we need to draw upon the Moser iteration arguments to show the L ∞ -estimate.Summarizing, the results included in the present paper complement several recent contributions to the study of concentration of solutions to the fractional Choquard equation.

Variational setting and preliminaries
Throughout this paper, for the sake of simplicity we will use the following notations: • L q (R N ) (1 ≤ q < ∞) denotes the Lebesgue space with the norm • q = ( R N |u| q dx) 1/q ; • (•, •) 2 denotes the usual L 2 (R N ) inner product; • c, c i , C i denote positive constants possibly different in different places.
In the following we introduce the variational framework of the fractional Sobolev space and some comprehensive presentations of the space can be found in the book [24].
For any α ∈ (0, 1), the norm of the fractional Sobolev space D α,2 (R N ), which is the completion of Based on this, we can define the following fractional Sobolev space H α (R N ): and the corresponding norm is .
Furthermore, H α (R N ) can also be represented as with the norm of the form .
Next we define the energy functional associated with problem (1.1), namely It is well known that the potential V is bounded in R N due to the continuity of V .Let L := (-) α + V .From (V ), we know that L is self-adjoint and has a purely continuous spectrum which is bounded below and consists of closed disjoint intervals, see [11,Theorem 1.1].Furthermore, by (V ) again, we get the following orthogonal decomposition: ).Then E is a Hilbert space, with the inner product of the following form: and the corresponding norm is u = (u, u) 1 2 .Obviously, from (V ), the two norms • and • 0 are equivalent.Therefore, E = H α (R N ).Furthermore, by the decomposition of L 2 , we have which is orthogonal with respect to the two inner products (•, •) 2 and (•, •).Moreover, the polar decomposition of L yields that Define the following bilinear map A(u, v): For every u ∈ E, from the above decomposition, we obtain that Therefore, we can rewrite functional (2.1) in the following form: where Moreover, according to the conclusion in [24], we have the following embedding property.
We also get the following Lion's compactness lemma from the monograph [24].
Lemma 2.2 Suppose that the sequence {u n } is bounded in E, and for every r > 0 there holds Since we will treat the nonlocal problem (1.1) with Choquard term, the classical Hardy-Littlewood-Sobolev inequality [22] will be frequently used throughout this paper.Hence we present the following Hardy-Littlewood-Sobolev inequality.

Lemma 2.3 (Hardy
, then there exists a sharp constant C(N, μ, r, t) > 0, independent of φ and ψ, such that From (g 1 ) and (g 2 ), we can deduce that for any > 0, there exists C > 0 such that Accordingly, we use (2.2), as well as Lemmas 2.1 and 2.3, to obtain the following estimate: Therefore, we get the following relation: Based on the above discussion, it is easy to see that J ∈ C 1 (E, R), and the critical points of the functional J are weak solutions of problem (1.1).Then, for each u, v ∈ E, we have Using Lemmas 2.1 and 2.3, and combining some standard arguments, we can check the following lemma.

Lemma 2.4
The functional is weakly sequentially lower semicontinuous and is weakly sequentially continuous.

The autonomous problem
We will use the limit problem to prove the main results, and next we introduce some important results for the autonomous problem.For any π > 0, in this section we consider the following autonomous problem: where V satisfies the condition in (V ).Meanwhile, we define the corresponding functional as follows: Similar to the discussion in Sect.2, we conclude that J π ∈ C 1 (E, R N ), and the critical points of functional J π correspond to the weak solutions of the problem (3.1).
In order to establish the existence of ground state solutions for the problem (3.1), we will apply the generalized Nehari manifold method developed by Szulkin and Weth [33].In the following we introduce the generalized Nehari-Pankov manifold N π of the form and set the ground state energy d π of functional J π on N π as follows: Furthermore, for every u ∈ E\E -, we also define the subspace and the convex subset Proof We apply the arguments in the proof of [33,Proposition 2.3] to prove this lemma.First, we notice that for each u ∈ N π , we have Computing directly, we have According to the argument in [33, Lemma 2.2], we conclude that g(s, u, v) < 0, and then we can obtain that J π (u + v) < J π (u).Hence, u is a unique global maximum of J π | E(u) .

Lemma 3.3 We have the following conclusions:
(i) there exists κ > 0 such that Proof (i) For each u ∈ E + , it follows that Observe that Hence, we find that there exists a small constant κ such that inf S κ J π > 0 when u = κ.
On the other hand, for each u ∈ N π , there is s > 0 such that s u = κ, and then su ∈ E(u)∩S κ .It is easy to check that J π (u) = max v∈ E(u) J π (v) ≥ J π (su) according to Lemma 3.1, so inf N π J π ≥ inf S κ J π > 0.
(ii) Let u ∈ N π , it is easy to see that Following the idea of the proof of [33, Lemma 2.6], we can establish the uniqueness of a maximum point of J π restricted to E(u) without proof.
Proof Arguing by contradiction, we may assume that there exists a sequence {u n } ⊂ N π such that J π (u n ) ≤ C for some C > 0 as u n → +∞.Set w n := u n u n , then using Lemma 3.3(ii), we obtain u In the following we show that there exist a sequence {y n } ⊂ Z N , R > 0, and δ > 0 such that If this is not true, Lemma 2.2 yields that w + n → 0 in L q (R N ) for q ∈ (2, 2 * α ).From Lemmas 2.1 and 2.3, for each θ > 0, we obtain Hence, we derive from the above fact that which is impossible since θ is arbitrary.Therefore, we get that (3.2) holds.
In the following, we introduce the method of generalized Nehari manifold developed by Szulkin and Weth [33].For this, define the mapping where S + = {u ∈ E + : u = 1}.From now on, let us consider the reduction functional I π : E + \{0} → R and the restriction I π : S + → R given by which are continuous by Lemma 2.8 in [33].The following result establishes some significant properties involving the reduced functionals I π and I π , which play a crucial role in our arguments.And their proofs follow the proofs of [33, Proposition 2.9, Corollary 2.10].

Lemma 3.7
We have the following important results: (a) I π ∈ C 1 (E + \{0}, R) and for u, v ∈ E + and u = 0, (b) I π ∈ C 1 (S + , R) and for each u ∈ S + and v ∈ T u (S + ) = {w ∈ E + : (u, w) = 0}, Moreover, the corresponding values of I π and J π coincide and Furthermore, in view of Lemma 3.5, the ground state energy value d π has a minimax characterization given by The existence result of ground state solutions of problem (3.1) is the following: Lemma 3.8 Assume that (V ) and (g 1 )-(g 4 ) hold.Then problem (3.1) has at least one ground state solution.
Proof We note that Lemma 3.3 shows that d π > 0. If u ∈ N π with J π (u) = d π , it is easy to see that m -1 π (u) ∈ S + is a minimizer of functional I π , and hence it is a critical point of I π .Then, u is a critical point of the functional J π according to Lemma 3.7.In the following, we want to prove that there exists a minimizer ũ ∈ N π such that J π ( ũ) = d π .Indeed, applying Ekeland's variational principle, there exists a sequence {v n } ⊂ S + such that for all n ∈ N, then from Lemma 3.7 we can infer that J π (u n ) → d π and J π (u n ) → 0.Moreover, Lemma 3.6 shows that {u n } is bounded.Next we claim that If not, Lemma 2.2 yields that u n → 0 in L q (R N ) for any q ∈ (2, 2 * α ).Hence, according to Lemma 2.3, we deduce that and we also have Evidently, this is impossible since d π > 0. Thus, there exist {y n } ⊂ Z N and δ > 0 such that We define ũn (x) = u n (x + y n ), then it follows that According to the periodicity condition, we can conclude that ũn = u n and Passing to a subsequence, we get that ũn ũ in E, ũn → ũ in L q loc (R N ) for q ∈ (2, 2 * α ), and ũn (x) → ũ(x) a.e. on R N .Hence, combining (3.4) with (3.5), we know that ũ = 0 and J π ( ũ) = 0, which implies that ũ ∈ N π and J π ( ũ) ≥ d π .
On the other hand, it follows from (g 4 ) and Fatou's lemma that which shows that J π ( ũ) ≤ d π .Thus, J π ( ũ) = d π and ũ is a critical point of J π , which implies that ũ is a ground state solution of problem (3.1), completing the proof of the lemma.

Proof of Theorem 1.1 4.1 Existence of ground state solutions
In the following we will give a proof of the existence of ground state solutions for problem (1.1).As before, we define the associated generalized Nehari manifold and the ground state energy value We also define the mapping with the inverse of m being Then, the reduction functional I : E + \{0} → R and the restriction I : S + → R are defined by Employing the same arguments explored in Sect.3, we can check that all relevant conclusions in Sect. 3 remain true for J , d , N , m , m , I , and I , respectively.Similar to the proof of Lemma 3.5, we can conclude that for every u ∈ E\E -, there is only one point in N ∩ E(u), and then there exists a unique pair t ≥ 0 and ϕ ∈ E -such that Consider the limit problem Proof Let d n = J n (u n ) be the ground state energy of J n for u n ∈ E. From Lemma 3.5, we can deduce that there exists a unique pair (t n , ϕ n ) with t n ∈ [0, +∞) and ϕ n ∈ E -such that t n u + n + ϕ n ∈ N 0 and In view of the definition of d 0 , we conclude that Letting n → 0 as n → ∞, for each n ∈ N we have M( n x) ≤ M(0), therefore, combining with the above inequality, we obtain d 0 ≤ d n for any n ∈ N.
On the other hand, employing Lemma 3.8, we can conclude that problem (4.1) has a ground state solution u 0 .According to Lemma 3.5, we know that there exist t n ∈ [0, +∞) and ϕ n ∈ E -such that t n u + 0 + ϕ n ∈ N n and Moreover, by Lemma 3.2, the sequence {t n u + 0 + ϕ n } is bounded.Thus, we can assume that t n → t 0 and ϕ n ϕ in E -and Therefore, applying Fatou's lemma, we get which implies that lim →0 d = d 0 , ending the proof.
From the above discussion, we obtain the conclusion J 0 (t 0 u + 0 + ϕ) = J 0 (u 0 ) = d 0 , hence t 0 u + 0 + ϕ and u 0 are elements of N 0 ∩ E(u 0 ).Applying Lemma 3.5, we can deduce that there is only one point in Lemma 4.2 There exists 0 > 0 such that for any ∈ (0, 0 ), Proof First, we can obtain that M(0) > M ∞ from the assumption (M).So it is easy to see that d M ∞ > d 0 .Using Lemma 4.1, we find that there is 0 > 0 such that d < d M ∞ for any ∈ (0, 0 ).Now we give the existence result of ground state solutions of problem (1.1) as follows.
Proof Following the proof of Lemma 3.8 and using Lemma 3.7, we have to prove that there exists u ∈ N such that J (u) = d .Observe that, by Lemma 3.7, we know that there exists {u n } ⊂ N such that J (u n ) → d and J (u n ) → 0, moreover, up to a subsequence, we can assume that u n u in E. Evidently, J (u) = 0.In the following we show that u = 0 and J (u) = d .It follows from Lemma 3.3 that which implies that Therefore, there exist a sequence {y n } ⊂ Z N , R > 0, and δ > 0 such that Otherwise, according to Lemma 2.2, we directly get a contradiction.We claim that the sequence {y n } is bounded in R N .Arguing by contradiction, we assume that {y n } is unbounded and |y n | → +∞ as n → ∞.We set w n (x) := u n (x + y n ), then w n w, and (4.2) implies that w = 0.For any ψ ∈ C ∞ 0 (R N ), computing directly, we have Taking the limit n → +∞, we obtain From the density of C ∞ 0 (R N ) in E, we derive that which implies that w is a nontrivial solution of problem (3.1) with π = M ∞ and w ∈ N M ∞ .It follows from Fatou's lemma that where M n ( n x) = M( n x + n y n ) and M n ( n y) = M( n y + n y n ).Thus we deduce that d M ∞ ≤ d for all > 0. However, according to Lemma 4.2, we know that d < d M ∞ for < 0 , a contradiction.Thus, {y n } is bounded, and then there is which shows that u n u in E and u = 0.By repeating the arguments leading to (4.3) and (4.4), we know that u ∈ N is a nontrivial solution for problem (1.1), thus, d ≤ J (u).
On the other hand, on account of Fatou's lemma, we conclude that Consequently, d = J (u), which implies that u is a ground state solution of problem (1.1), ending the proof.

Concentration of ground state solutions
We now shall prove the concentration of the maximum points of the ground state solution u obtained in Lemma 4.3.Furthermore, the completed proof of Theorem 1.1 will also be given.Our aim is to show that if x is a maximum point of |u |, then In other words, we have to show that if n → 0, then, for some subsequence, n x n → z for some z ∈ M , where is the set of the maximum points of M(x).
Let { n } ⊂ (0, 0 ) with n → 0 as n → ∞, and we denote u n := u n .Then we get the following relation: Using a standard argument, we can deduce that {u n } is bounded.

Lemma 4.4 There exist {y
Proof If it is not true, then, using Lemma 2.2, we get u + n → 0 in L q (R N ) for q ∈ (2, 2 * α ).Furthermore, from (2.3), Lemma 2.1, and Hardy-Littlewood-Sobolev inequality, we obtain This, together with the fact that u n ∈ N n , leads to u + n → 0. Evidently, this is a contradiction since u + n ≥ √ 2d 0 > 0, finishing the proof.

Lemma 4.5
The sequence { n y n } is bounded in R N and lim n→∞ n y n = z ∈ M .
Proof Set v n (x) := u n (x + y n ), then, up to a subsequence, we have v n v with v = 0.In the following, we show that the sequence { n y n } is bounded in R N .Otherwise, we suppose that | n y n | → ∞ as n → ∞.Observe that u n is the ground state solution of problem (1.1), and then we obtain the following fact: where M n ( n x) = M( n x + n y n ), and we also have the energy relation According to Fatou's lemma and Lemma 4.1, we obtain while d 0 < d M ∞ from Lemma 4.2.So, we get a contradiction.Thus { n y n } is bounded, and, passing to a subsequence, we may assume that n y n → z.Similar to the above discussion, for any ψ ∈ E, one has Evidently, we know that v ∈ N M(z) and it is a ground state solution of the problem Proof First, following the arguments used in [42], we can derive that v n → v in E.Moreover, Lemma 4.5 shows that v n satisfies the following equation: Next we need to claim that there exists C > 0 such that Employing Hardy-Littlewood-Sobolev inequality, we observe that for any γ Hence, together with Lemma 2.1, for any γ > N/μ, we deduce that Letting γ → +∞, due to the boundedness of M, we can see that (4.8) holds.
For any L > 0 and β > 1, let We define the function Since r is increasing in (0, +∞), we obtain (kl) r(k)r(l) ≥ 0 for any k, l ∈ R + . Set For each k, l ∈ R, without loss of generality, we may assume that k > l, and then Jensen inequality yields that Similarly, we can conclude that the above inequality is also true for the case k ≤ l.Therefore Using (4.9), we derive Since L,n , in view of Lemma 2.1, we get Letting m → +∞ and recalling that v n 2 * α ≤ K , we have where Finally, by using a similar argument as in [3], we can conclude that v n (x) → 0 as |x| → ∞ uniformly in n.This proves the lemma.
Lemma 4.7 There exists ν > 0 such that v n ∞ ≥ ν for all n ∈ N.
Proof Arguing by contradiction, we assume that v n ∞ → 0 as n → ∞.Then according to Lemma 4.6, it is easy to see that v = 0, which implies a contradiction, completing the proof.
Now we are in a position to finish the proof of Theorem 1.1.Furthermore, following the proofs of Lemmas 4.5 and 4.6, we know that u n (x + s n ) converges to a ground state solution v of the following limit equation: finishing the proof of all conclusions of Theorem 1.1.

denote the absolute value of L, and let |L| 1 2
represent the square root of L. We define the working space E = D(|L| 1 2

. 7 )Lemma 4 . 6
Similarly, we can show that d M(z) ≤ d 0 according to the above argument.Using assumption (M), we know that M(z) = M(0).Hence, we get that lim n→∞ n y n = z and z ∈ M , completing the proof.The sequence {v n } converges strongly to v in E, and there exists C > 0 such that v n ∞ ≤ C for all n ∈ N, and v n (x) → 0 as |x| → ∞ uniformly in n.

Proof of Theorem 1 . 1 (
completion) Assume that p n is a global maximum point of |v n (x)| for each n ∈ N, then v n (p n ) = max x∈R N v n (x) .Since v n (x) = u n (x + y n ), we see that s n = p n + y n is a maximum point of |u n (x)|.Lemma 4.7shows that there exists ν > 0 such that v n (p n ) ≥ ν for all n ∈ N, which implies that the sequence {p n } is bounded.So, we conclude from Lemma 4.5 thatn s n = n p n + n y n → z ∈ M .Consequently, we have lim n→∞ M( n s n ) = M(z), z ∈ M .