Existence and Asymptotic Behaviors of Ground States for a Fourth-Order Nonlinear Schrödinger Equations with a Potential

: In this paper, we study the existence and asymptotic behaviors of ground state solutions to a fourth-order nonlinear Schrödinger equation with mass-critical exponent, where the fourth-order term appears as a perturbation with ε > 0. By considering a constrained variational problem, we ﬁrst establish the existence of ground state solutions. Then, we prove the asymptotic behaviors of the solutions as ε → 0 + . The main ingredients of the proofs are some energy estimate arguments. Our results improve somewhat the ones in the existing reference.


Introduction
We consider the following bi-harmonic nonlinear Schrödinger equation where i = √ −1 and ε > 0, b > 0. The unknown Ψ = Ψ(x, t) : R N × R + → C is a complexvalued wave function, and V(x) : R N → R is a given potential satisfying some conditions given below. ∆ = ∑ N j=1 ∂ 2 ∂x 2 j is the Laplacian operator in R N , and ∆ 2 is the bi-harmonic operator, hence , Equation (1) is often referred to as the bi-harmonic nonlinear Schrödinger equation (denoted by "BNLS" for short). The BNLS type Equation (1) was first introduced by Karpman and Shagalov in [1,2], where it took into account the role of a small fourth-order dispersion term in the propagation of intense laser beams in a bulk medium with Kerr nonlinearity.
In this paper, we are concerned with standing waves solutions of (1), namely solutions are of the form Ψ(x, t) := e −iλt u(x), where λ ∈ R denotes its frequency. Thus, the function u(x) solves the following elliptic equation Recall that when ε = 0, V(x) = 0, and the exponent 4 N is replaced by p ∈ (0, 2 * − 2), then (1) becomes the classical nonlinear Schrödinger equation: It is well known (see [3]) that when 0 < p < 4 N , Equation (3) has orbitally stable standing wave solutions, while when p ≥ 4 N , standing waves are unstable. Namely, the exponent 4 N appears as a mass-critical value. However, if the perturbation "ε∆ 2 u" is involved, then the new mass-critical value is doubled, becoming 8 N . Thus, the exponent 4 N in (1) becomes mass-subcritical, which leads to the existence of stable standing wave solutions, see e.g., [4][5][6][7][8]. Hence, it is an interesting issue to consider the behavior of standing waves solutions as ε → 0 + . The aim of this paper is twofold: when V(x) = 0, on one hand, we establish the existence of ground state solutions of (2), then we prove the asymptotic behaviors of the solutions as ε → 0 + . To find ground state solutions of (2), we consider the following minimization problem where and The space H is defined by By standard arguments (see e.g., [4,7,[9][10][11]), one can prove that a minimizer of e b (ε) is a ground state solution of (2), where, however, the frequency λ is not fixed anymore, appearing as a Lagrange multiplier. Similar analysis approaches can be referred to in [12].
Before starting to state our result, let us recall some studies in the case where ε = 0, and V(x) satisfies the following conditions: Let Q(x) be the unique ground state solution of the Schrödinger Equation (14), whose properties are given in Lemma 2 and Remark 4, and set b * = Q 4 N L 2 . It has been proved in [13] that Lemma 1 ([13], Theorem 1.1). Assume that ε = 0 and V(x) satisfies (6), then (1) if 0 < b < b * , then there exists at least one non-negative minimizer of e b (0);

Remark 1.
In [13], the authors also give the asymptotic behaviors of minimizers of e b (0) as b b * , precisely, if b b * , then minimizers of e b (0) concentrate at the minimum point of V(x). We remark that part of such important works also have been established by Bao and Cai [9], Maeda [14], and Zhang [15].
Our first result concerned with the existence reads as the following.
We observe that when b = b * and ε = 0, by Lemma 1 e b (0) has no minimizers, whereas Theorem 1 shows us that, for all ε > 0, minimizers of e b (ε) do exist for b = b * . Hence, in our second theorem, we give the asymptotic behavior of minimizers as ε → 0 + . Theorem 2. Assume that ε > 0, b = b * , and V(x) satisfies (6). Let u ε (x) be a non-negative minimizer of e b (ε) and x ε be a maximum point of u ε . Then, Moreover, as ε → 0 + , where and lim Remark 3. Note that in [5] (Theorem 1.2), the authors also considered the behaviors of solutions of (2) with V(x) ≡ 0 as ε → 0 + , however, our theorem gives more precise asymptotic behaviors. In addition, the blow up property (10) explains the reason for non-existence of solutions in the case Finally, let us consider the special potential V(x) = |x| 2 , namely the so-called harmonic potential, which has a wide usage on the model related to the Bose-Einstein condensates, see, e.g., [9,13,15]. From the technical point of view, V(x) = |x| 2 has a unique zero point x 0 = 0. In the following theorem, we give the precise energy estimate. and where The paper is organized as follows. In Section 2, we show the existence of non-negative minimizers of e b (ε), proving Theorem 1. Section 3 is devoted to prove Theorem 2 on the asymptotic behavior of minimizers for e b (ε) as ε → 0 + . Section 4 is to give the proof of Theorem 3 on the energy estimate. Finally, we give a general conclusion of this paper in Section 5.
To show the existence result, we need to use the following compactness of embedding.
Remark 5. The proof of Lemma 3 basically is the same as the one of [15] (Lemma 5.1) or [9] (Lemma 2.1). Here we omit the details.
The proof of Theorem 1. For any u ∈ B 1 , using the Gagliardo-Nirenberg inequality (15), we have Observe that when 0 < b ≤ b * , (18) shows that E ε b (u) ≥ 0, ∀ u ∈ B 1 . When b > b * , then by the inequality ∇u 2 L 2 ≤ ∆u L 2 u L 2 , we use (18) to derive that where From (18) and (19), one may easily observe that {u n } ∞ n=1 is bounded in H. Thus by Lemma 3, up to a subsequence, there exists u ∈ H, such that u n u weakly in H, u n → u strongly in L q (R N ), ∀q ∈ [2, 2N (N − 4) + ).
Therefore, if u is a minimizer of e b (ε), then |u| also is a minimizer of e b (ε). This shows that for all b > 0, e b (ε) admits at least one non-negative minimizer.

Asymptotic Behaviors of Minimizers
In this section, we investigate the asymptotic behaviors of minimizers as ε → 0 + and b = b * . To begin with, we first estimate the energy of e b * (ε) as ε → 0 + in the following lemma, where we shall use some arguments from [21,22], whose basic ideas stem from [13,23].
Proof. First, by Lemma 1 we have, On the other hand, choose a cut-off function ϕ ∈ C ∞ 0 (R N ) such that where A R,τ > 0 is chosen so that u τ ∈ B 1 . By scaling, A R,τ , depends only on the product Rτ , and we have 1 ≤ A 2 R,τ ≤ 1 + Ce −Rτ , and also we have that, as τ → +∞, It follows from (28)-(31) that This, together with (25), implies (24).

The Proof of Theorem 2.
Let u ε be a non-negative minimizer of e b * (ε), then standardly, there exists a Lagrange multiplier λ ε ∈ R, such that (u ε , λ ε ) solves weakly Using (18) and Lemma 4, we have and then, Now, we claim that In fact, if we argue by contradiction to assume that { ∇u ε L 2 } is bounded, then applying the compact embedding in [13] (Lemma 2.1) (similar to Lemma 3), up to a subsequence, there exists u 0 ∈ H such that as ε → 0 + . Thus, u 0 ∈ B 1 , and by (34), this implies that u 0 is a minimizer of e b * (0), which is contradicts Lemma 1 (2). Then (35) follows. Using (35) and Lemma 4, we conclude that Set Moreover, multiplying (32) by u ε and integrating by part, we have and then, and Then using the same arguments as the proof of [22] (Lemma 2.5), which is basically the concentration compactness argument, we deduce that there exists x ε ∈ R N , such that where Q is introduced in Lemma 2. Furthermore, using (34), we have Thus, up to a subsequence, there exists x 0 ∈ R N , such that V(x 0 ) = 0, and lim In addition, by (40) and the inequality ∇w ε 2 L 2 ≤ ∆w ε L 2 w ε L 2 , we know that ∆w ε L 2 0, which, together with (39), implies that From (32), we can check that w ε satisfies Applying the exponential decay result due to [4] (Theorem 3.10 or Remark 3.11), we have w ε ≤ Ce −β|x| , for some β > 0, as |x| > 0 large enough.
Let x ε be a global maximum point of u ε (x), then clearly w ε attains its maximum at x = x ε −x ε t ε . Thanks to (45), we know that then w ε (x) attains its maximum at x = 0. Therefore, from (41) we conclude that Then the proof of Theorem 2 is completed.

Proof of Theorem 3
In this section, we particularly treat the special case V(x) = |x| 2 .
The Proof of Theorem 3. Note that when V(x) = |x| 2 , there exists a unique x 0 = 0, such that V(x 0 ) = 0. To prove this theorem, we start with the upper bound estimate of the energy e b * (ε) as ε → 0 + . Let u τ be given by (27), then by (30), Thus, using (28), (29), and (31), we obtain that as τ → +∞, Take τ = µ 2 2εµ 1 1 6 in (46), then we have, as ε → 0 + , On the other hand, let u ε be a non-negative minimizer of e b * (ε) and w ε (x) be given by (8). Then from (8), we know that w ε (x) → 1 Q L 2 Q(x) a.e. in R N . Thus by the weak semi-continuity, we have that Moreover, by direct calculation we have, We claim that { x ε t ε } is bounded. Indeed, if not, then from (49) we obtain that, as any M > 0 large enough, Thus, using (48) and the Young inequality, we derive that, as ε → 0 + , which clearly contradicts (47), provided M > 0 large enough. Hence, up to a subsequence if necessary, there exists y 0 ∈ R N , such that, lim ε→0 + x ε t ε = y 0 . Therefore, by (8) and (49), and the Fatou lemma, Thus, it follows from (48), (50) and the Young inequality that, as ε → 0 + , Combining (47) and (51), then (12) follows. In addition, it is easy to verify that the equality holds in the second inequality of (51) if and only if (11) holds. Thus we have finished the proof.

Conclusions
In this paper, we consider a global minimization problem on an L 2 -norm constrained manifold to obtain the existence of ground state solutions to the stationary equation, which then gives to the existence of the standing wave solutions to the time-dependent equation. Using some energy estimate arguments, we manage to establish the asymptotic behaviors of the solutions we obtained as ε → 0 + . Precisely, when the perturbation is small enough, solutions concentrate on a zero point of the potential V(x). In particular, we prove the blow-up of the solutions as ε → 0 + . This information shows us the reason why solutions do not exist when ε = 0 and b = b * . We believe that similar analyses can also be carried out on other equations.