Sharp criterion of global existence and orbital stability of standing waves for the nonlinear Schr¨odinger equation with partial conﬁnement

: In this article, we consider the global existence and stability issues of the nonlinear Schr¨odinger equation with partial conﬁnement. First, by establishing some new cross-invariant manifolds and variational problems, a new sharp criterion of global existence is derived in the L 2 -critical and L 2 -supercritical cases. Then, the existence of orbitally stable standing waves is obtained in the L 2 -subcritical and L 2 -critical cases by taking advantage of the proﬁle decomposition technique. Our work extends and complements some earlier results


Introduction
In the current paper, we investigate the global existence and stability issues of the following nonlinear Schrödinger equation (NLS) with partial confinement where N > 2 represents the spatial dimension, 0 < T ≤ ∞, u(t, x) : [0, T ) × R N → C, 1 < p < N+2 N−2 and V(x) = k i=1 x 2 i (1 ≤ k < N) denotes the partial confinement.It is well-known that the model (1.1) with partial confinement emerges in various kinds of physical environments, such as the propagation of a laser beam and plasma waves in the description of nonlinear waves.For p = 3, Eq (1.1) is also used to describe the Bose-Einstein condensate (BEC) [1][2][3].In the experiment by BEC [4], the condensation phenomenon is observed due to the presence of a trapping potential, and the shape of external confining potential heavily influences the macroscopic behavior.For this consideration, the external confinement is usually chosen to be harmonic, i.e., V(x) = N i=1 ω 2 i x 2 i , ω i ∈ R. In this manuscript, the model under consideration involves the simplified situation where ω i ≡ 1 for 1 ≤ i ≤ k and ω i ≡ 0 for k + 1 ≤ i ≤ N.
The energy space corresponding to Eq (1.1) is denoted by with the norm The energy functional associated to Eq (1.1) is written as Our main goal of this manuscript is to derive the criterion of blow-up or global existence as well as the orbital stability of standing waves to Eq (1.1).
We now review some earlier results on the above issues.Concerning the canonical NLS (i.e., V(x) = 0 in Eq (1.1)), Weinstein [5] and Zhang [6] derived several sharp thresholds of global and blowup solutions for Eq (1.1) in the mass-critical and mass-supercritical cases using variational arguments, respectively.In addition, Berestycki and Cazenave [7] and Weinstein [5] addressed the instability issue of standing waves under the L 2 -critical case p = 1 + 4 N , while the first work done by Cazenave and Lions in [8] showed the orbital stability of normalized standing waves for the L 2 -subcritical situation 1 < p < 1 + 4  N by utilizing concentration compactness theory.We refer the readers to [9][10][11][12] for more studies on Eq (1.1) which removes the confined potential, i.e., V(x) = 0.
For NLS with complete harmonic confinement V(x) = N i=1 x 2 i , i.e., the case k = N, there is a large number of literatures concerning the corresponding Cauchy problems on blow-up and stability issues, see [13][14][15][16][17][18][19][20] for example.It is worth mentioning that Zhang [17] verified that the blow-up solutions exist for some special initial values and studied the sharp stability threshold for the L 2critical NLS using scaling techniques and some compactness arguments related to compact embedding.Zhang [19], Shu and Zhang [20], Zhang and Ahmed [21] derived some sharp conditions for finite time blow-up and global existence to NLS with L 2 -critical nonlinearity and L 2 -supercritical nonlinearity or with L 2 -supercritical nonlinearity respectively by constructing the cross-invariant sets and using variational methods.
It is worth noting that when V(x) represents a trapping potential confined on partial directions in the space, i.e., V(x) N−2 ) loses compactness, which makes a huge difference with the situation V(x) = |x| 2 on the study of the stability and blow-up issues (see for example [13,17]).Due to this reason, particular interest and increasing attention have been received for the study on the criterion of global existence versus blow-up and stability of normalized ground state to NLS or nonlinear Schrödinger system with a partial confinement, see for instance [22][23][24][25][26][27].In particular, Zhang [23] studied the optimal condition of global existence to the L 2 -critical NLS and showed that there exist solutions blowing up at finite time for some special initial data via scaling approach.Based on the variational characterization of the ground state of a canonical elliptic equation without potential and the refined compactness argument established in [11], Pan and Zhang [28] derived a sharp threshold of blow-up versus global existence and researched the mass concentration phenomena for NLS with mass-critical nonlinearity and partial confinement in dimension N = 2. Recently, by employing the cross-constrained variational approach, Wang and Zhang [29] derived the sharp criterion of global existence and blow-up for the NLS with a special partial confinement V(x) = x 2 N for 1 It's also worth to mention that the researchers in [30] proved a sharp criterion of global existence to Eq (1.1) in dimension N = 3 by proposing some cross-invariant sets and using variational arguments.We are interested in extending the results of [30] to the case with space dimensions N > 2 and deriving a new criterion for sharp global existence.With regard to the stability issues of the normalized standing waves, to overcome the loss of compactness, Bellazzini et al. [25] used the concentration compactness argument to investigate the existence of orbitally stable standing waves to Eq (1.1), including partial confinement in the L 2supercritical case in dimension N = 3. Jia, Li and Luo [31] generalized the arguments in [25] to the cubic coupled Schrödinger system with a partial confinement in dimension N = 3.In [32], the concentration compactness principle was also applied to the study on the existence of stable standing waves for the Lee-Huang-Yang corrected dipolar NLS with partial confinement.More recently, for the NLS (1.1) with a partial confinement and inhomogeneous nonlinearity |x| −b |u| p−1 u (0 < b < 2), the authors in [33] showed the stability of normalized standing waves by utilizing the profile decomposition principle in the L 2 -subcritical and L 2 -critical cases and by applying concentration compactness principle in the L 2 -supercritical case.It is shown in [34] that there exist normalized standing waves for the mixed dispersion NLS with a partial confinement and these solutions are orbitally stable, in which the main ingredients of the proofs are the profile decomposition principle and the concentration-compactness theory in As far as we know, the orbitally stable standing waves to Eq (1.1) with partial confinement in the L 2 -subcritical and L 2 -critical cases have not been investigated in the existing literatures.Inspired by the literatures mentioned above, our main contribution of this work is to derive the sharp criterion of global existence versus blow-up and the existence of stable standing waves to Eq (1.1) in the general N-dimensional space.
To these aims, the main difficulty stems from the presence of partial confinement V(x) = k i=1 x 2 i , which causes the loss of scale invariance and the lack of compactness.We first derive a new sharp criterion of global existence for Eq (1.1) with 1 + 4 N ≤ p < N+2 N−2 by establishing some new so-called cross-constrained manifolds and variational problems (see (1.7) and (1.8)), which are different from those in [30].Then, the existence of orbitally stable standing waves is obtained in the L 2 -subcritical and L 2 -critical cases 1 < p ≤ 1 + 4 N , by taking advantage of the profile decomposition technique to overcome the loss of compactness.Our work extends some earlier results of [17,30] and complements partial arguments of [25,33].
The first part of our paper is to consider the sharp criterion of global existence in the L 2 -critical and L 2 -supercritical cases 1 + 4 N ≤ p < N+2 N−2 by establishing some new so-called cross-invariant manifolds and proposing cross-constrained minimization problems.Before stating our results, for u ∈ Σ, we define three important functionals as follows and set the following two minimizing problems by ) where then from Lemmas 3.2 and 3.3, one can conclude that d > 0. Next define the following manifolds, which will be proved as invariant sets in Section 3.
The following two assertions are about the existence of global solution and blow-up to Eq (1.1) for 1 and assume u 0 ∈ K with |x|u 0 ∈ L 2 (R N ), then the solution u(t, x) to Eq (1.1) blows up in finite time.
Remark 1.3.(i) From the definition of the invariant manifolds mentioned above, for 1 (ii) Notice that for 1 < p < 1 + 4 N , we can easily get the existence of global solution u(t, x) without any constrains.For p = 1 + 4 N and u 0 ∈ Σ, the sharp threshold mass of blow-up versus global existence is given in [23].In the case N > 2 and p = 1 + 4 N , one can derive the mass-concentration property of blow-up solutions and the dynamical properties of L 2 -minimal mass blow-up solutions, which have been discussed in [28] in the L 2 -critical case with N = 2 and p = 3, in terms of scaling techniques, a refined compactness argument and the variational characterization of the positive ground state solution Q(x) to the critical elliptic equation (1.10) Wang and Zhang [30] obtained a sharp criterion of global existence for Eq (1.1) by introducing some cross-invariant sets and variational problems.Our work, which is motivated by [20], derives a new sharp condition of global existence to Eq (1.1) in the case N > 2 and 1 + 4 N ≤ p < N+2 N−2 by proposing some new cross-invariant manifolds and cross-constrained minimization problems, where the functionals in the constrained sets and variational problems we define (see (1.5)-(1.8))are different from those in [30].Moreover, we improve the corresponding results of [30] to space dimensions N > 2.
The second part of this work discusses the stability of normalized standing waves in the cases N by taking advantage of the profile decomposition principle.Here, a solution u(t, x) to Eq (1.1), possessing the special form u(t, x) = e iωt ϕ(x), is said to be a standing wave, where ω ∈ R stands for a frequency and ϕ ∈ Σ \ {0} is a solution to the following elliptic equation To research the orbital stability of normalized standing waves, applying the ideas of [8], we take into account the constrained minimization problem below where For the L 2 -subcritical case 1 < p < 1 + 4 N , or in the L 2 -critical situation p = 1 + 4 N and 0 < c < Q L 2 (R N ) , one can deduce from Gagliardo-Nirenberg inequality that E(ϕ) (see (1.3)) is bounded from below on S (c), where Q(x) is the ground state solution to Eq (1.10).In addition, we know from Theorem 4.2 that the constrained variational problem (1.11) is attained.In what follows, we denote the set of whole minimizers to (1.11) by Let's now review the definition on orbital stability of standing waves.
Definition 1.4.The set A is said to be orbitally stable if for any given > 0, there exists δ > 0 such that for any initial data u 0 fulfilling inf then the corresponding solution u(t, x) to Eq (1.1) satisfies The last result is concerned with the orbital stability of normalized standing waves to Eq (1.1) in the L 2 -subcritical and L 2 -critical cases.
is the ground state solution to Eq (1.10).Then, M c ∅, and is orbitally stable.
Remark 1.6.(i) To demonstrate the existence of orbitally stable standing waves for NLS with partial confinement V(x) = k i=1 x 2 i (1 ≤ k < N), the main challenge comes from the lack of compactness.With regard to NLS with complete harmonic potential V(x) = N i=1 x 2 i , Zhang [17] used the key fact that the embedding Σ → L r with r ∈ [2, 2N  N−2 ) is compact to give the sharp stability threshold of standing waves with prescribed mass for Eq (1.1) when p = 1 + 4 N .Whereas, regarding the NLS with partial confinement, it's worth to note that the embedding Σ → L r with r ∈ [2, 2N  N−2 ) loses compactness, the method used by [17] is not suitable to obtain the stable standing waves to Eq (1.1).In [33], to overcome the main difficulty, Liu, He and Feng showed the orbital stability of normalized standing waves to the NLS with an inhomogeneous nonlinearity |x| −b |u| p−1 u and partial confinement for 0 < b < 2 by taking advantage of the profile decomposition principle in the L 2 -subcritical and L 2 -critical cases, and by applying concentration compactness theory for the mass-supercritical case.(ii) In this work, we survey only the existence of stable standing waves in the cases 1 < p ≤ 1 + 4 N by profile decomposition theory, which is an improvement to [17] and a complement to [25,33].As far as the authors know, there are few literatures researching the stable standing waves to NLS with partial confinement in terms of the profile decomposition technique, except for [33,34].When N = 3 and k = 2 in Eq (1.1), Bellazzini et al. [25] obtained the orbital stability of normalized standing waves to Eq (1.1) in the L 2 -supercritical and H 1 -subcritical cases by utilizing concentration compactness principle and variational methods.In the general N-dimensional space, considering Eq (1.1) with L 2 -supercritical nonlinearity, we can apply the ideas of [25,33] to verify the stability of normalized standing waves.(iii) The papers [5,7] have addressed the instability of standing waves to Eq (1.1) without confinement for p = 1 + 4 N .Our result (Theorem 1.5) reveals the stabilizing effect to the standing waves played by partial confinement V(x) = k i=1 x 2 i (1 ≤ k < N).Throughout this article, for the sake of convenience, we use the abbreviation N−2 ) by • p , and utilize C to represent a positive constant which may vary from line to line.
Our article is structured as follows.In Section 2, some preliminaries are presented, including several significant lemmas.In Section 3, the sharp criterion of global existence versus blow-up is established and the proofs to Theorems 1.1 and 1.2 are given.In Section 4, we address the orbital stability of normalized standing waves and prove Theorem 1.5.In the last section, the conclusions are given.

Preliminaries
In order to survey the global existence versus blow-up and the stability issues to standing waves, one requires the well-posedness to Eq (1.1).Based on [22] and [9], in the following we introduce the local well-posedness to problem (1.1).
Proposition 2.1.( [9,22]) Suppose u 0 ∈ Σ and 1 < p < N+2 N−2 .Then, there exist T = T ( u 0 Σ ) and a unique solution u(t, x) ∈ C([0, T ), Σ) to Eq (1.1).Assume that the solution u(t, x) is well-defined on the maximal interval [0, T ).If T < ∞, then lim t→T u(t, x) Σ = ∞ (blow-up).Moreover, for any t ∈ [0, T ), the following conservation laws of mass and energy hold u(t, x) 2 = u 0 2 , E(u(t, x)) = E(u 0 ). (2.1) Remark 2.2.In the case 1 < p < 1+ 4 N , using Lemma 2.4 and Young's inequality, it is not hard to verify the existence of global solution for Eq (1.1).For the L 2 -critical case p = 1 + 4 N , the solution to Eq (1.1) with mass strictly less than Q 2 is global.On the other hand, if the mass of initial data u 0 2 ≥ Q 2 , then finite time blow-up solutions exist, see [23].Furthermore, in the case 1 + 4 N < p < N+2 N−2 , using the local well-posedness theory to Eq (1.1), one can show the existence of global solution for initial data small enough, but for some large data, it is possible that the explosion of solutions happens at finite time.
Next, based on Cazenave [9], we give the virial identity for the Cauchy problem (1.1), which is of great importance in the analysis of blow-up behaviors to the solutions.Proposition 2.3.Assume u 0 ∈ Σ and u(t, x) is the corresponding solution to problem (1.1) in C([0, T ); Σ).Let |x|u 0 ∈ L 2 (R N ) and take Γ(t) = |x| 2 |u(t, x)| 2 dx, then we get that Now, we recall some useful lemmas.
In particular, in the mass-critical case p = 1 , where Q(x) is the positive ground state solution to Eq (1.10).
To investigate the compactness of any minimizing sequence to (1.11), we introduce the corresponding profile decomposition of a bounded sequence in Σ, which is slightly different from [11].
N and let {u n } be a bounded sequence in Σ.Then, there exist a subsequence of {u n } (still denoted by {u n }), a family {x j n } ∞ n=1 of sequences in R N−k and a sequence {U j } ∞ j=1 in Σ satisfying (i) for each m j, |x m n − x j n | → +∞, as n → ∞; (ii) for each l ≥ 1 and x ∈ R N , we have with lim sup n→∞ r l n q → 0 as l → ∞ for any q ∈ [2, N+2 N−2 ), where where o(1) = o n (1) → 0 as n → ∞.

Sharp criterion of global existence
In this section, the authors propose several new cross-constrained variational problems and invariant sets associated with problem (1.1) to discuss the sharp criterion of global existence.
Proof.Take u ∈ M, it's clear that u 0. Since P(u) = 0, one has ) We prove the assertion in two situations: the mass-critical case p = 1 + 4 N and the mass-supercritical case 1 + 4 N < p < N+2 N−2 .We first consider the case p = 1 + 4 N .In the current situation, we claim that d M > 0. Suppose d M = 0, then we conclude from (1.7) that there exists a sequence due to p = 1 + 4 N .Applying Lemma 2.4, we obtain This, together with S (u n ) < 0, implies Nevertheless, when n is sufficiently large, from (3.3) we have which is a contradiction.Therefore, d M > 0 when p = 1 + 4 N .Now, let us handle the L 2 -supercritical case 1 It follows from S (u) < 0 and the continuous embedding Thus, we derive Keeping in mind that 1 + 4 N < p < N+2 N−2 and combining (3.2) with (3.4), one has then the set B is nonempty and d B > 0. Proof.According to [35], the set B is nonempty.By S (u) = 0, one can discover Asserting Sobolev embedding inequality into S (u) = 0, we get Proof.In the first, we demonstrate that the set K is an invariant manifold.Suppose u 0 ∈ K and u(t, x) is the unique solution to Eq (1.1).We infer from (2.1) that I(u) = I(u 0 ), f or arbitrary t ∈ [0, T ). (3.7) Owing to I(u 0 ) < d, we have I(u) < d for arbitrary t ∈ [0, T ).Now we turn to show S (u) < 0 for arbitrary t ∈ [0, T ).If otherwise, using the continuity of S (u) in t, one can find t 0 ∈ [0, T ) satisfying S (u(t 0 , •)) = 0. From (3.7), we obtain u(t 0 , •) 0. Combining (1.8) and (1.9), we know that I(u(t 0 , •)) ≥ d.Obviously, it's contradictory to the fact I(u(t, •)) < d for any t ∈ [0, T ).Thus S (u) < 0 for all t ∈ [0, T ).
By using similar method as the above process, one can also infer that the manifolds K + , R + and R − are all invariant sets.
Based on the conclusions we have proved, it is sufficient to show Theorems 1.1 and 1.2.Proof of Theorem 1.1.We first study the case u 0 ∈ R + .According to Proposition 2.1 and Theorem 3.4, the initial-value problem (1.1) possesses a unique solution u(t, x) ∈ R + for arbitrary t ∈ [0, T ).Then, for all t ∈ [0, T ), we have I(u) < d and S (u) > 0. This implies From Proposition 2.1, one can that the solution u(t, x) is global in time t ∈ [0, ∞).
Next we discuss the case u 0 ∈ K + .In the light of Proposition 2.1 and Theorem 3.4, the unique solution u(t, x) ∈ K + for t ∈ [0, T ).Hence one has I(u) < d and P(u) > 0, which yields ) In what follows, we shall give out the proof on the global existence of solution in two situations.One is the L 2 -critical case, the other one is the L 2 -supercritical case.
We now argue the case 1 It is easy to see from (3.8) that Therefore, for 1 + 4 N ≤ p < N+2 N−2 , on account of Proposition 2.1, it suffices to show that the solution u(t, x) to Eq (1.1) exists globally for t ∈ [0, ∞).

Orbital stability of standing waves
This part is concerned with the orbital stability of normalized standing waves of Eq (1.1) in the L 2 -subcritical and L 2 -critical cases, in which the proof to Theorem 1.5 is given.To go further, let us first introduce the non-vanishing conclusion as below.This, together with the definition of m(c), deduces that Taking v n j = u n j c , then (4.2) can be rewritten as where the last inequality according to Lemma 2.5.Furthermore, in view of the argument that the embedding Then for any λ > 0, we can deduce u λ ∈ S (c), combining this fact and Lemma 2.5, we see that where which implies that (4.4) can be written as

E(u
where the last inequality bases on the fact 1 < p ≤ 1 + 4 N < 1 + 4 N−k when taking λ > 0 sufficiently small.Moreover, since u λ ∈ S (c) for λ > 0 sufficiently small, one has It is clear that which is contradictory to (4.13).Thus the conclusion holds true.

Conclusions
In this paper, we investigate the sharp global existence of solutions and the stability of standing waves for the NLS with partial confinement.More precisely, for 1 + 4 N ≤ p < N+2 N−2 , via constructing some novel cross-invariant manifolds and variational problems, we derive a novel sharp criterion for global existence.That is, the solution u(t, x) for Eq (1.1) exists globally in time t ∈ [0, ∞) if the initial data u 0 ∈ K + ∪ R + , while the solution u(t, x) blows up in finite time if u 0 ∈ K and |x|u 0 ∈ L 2 (R N ).In addition, we utilize the profile decomposition technique to overcome the lack of compactness and show the existence and stability of normalized standing waves for 1 < p < 1 + 4 N or p = 1 + 4 N with u 0 2 < Q 2 , where Q(x) is the ground state to the critical elliptic equation (1.10).

Use of AI tools declaration
The author declares she has not used Artificial Intelligence (AI) tools in the creation of this article.
+ , R + and R − are all invariant sets of Eq (1.1).That is, if u