Processing math: 58%
Research article Special Issues

Extracted features of national and continental daily biweekly growth rates of confirmed COVID-19 cases and deaths via Fourier analysis


  • Aims 

    By associating features with orthonormal bases, we analyse the values of the extracted features for the daily biweekly growth rates of COVID-19 confirmed cases and deaths on national and continental levels.

    Methods 

    By adopting the concept of Fourier coefficients, we analyse the inner products with respect to temporal and spatial frequencies on national and continental levels. The input data are the global time series data with 117 countries over 109 days on a national level; and 6 continents over 447 days on a continental level. Next, we calculate the Euclidean distance matrices and their average variabilities, which measure the average discrepancy between one feature vector and all others. Then we analyse the temporal and spatial variabilities on a national level. By calculating the temporal inner products on a continental level, we derive and analyse the similarities between the continents.

    Results 

    On the national level, the daily biweekly growth rates bear higher similarities in the time dimension than the ones in the space dimension. Furthermore, there exists a strong concurrency between the features for biweekly growth rates of cases and deaths. As far as the trends of the features are concerned, the features are stabler on the continental level, and less predictive on the national level. In addition, there are very high similarities between all the continents, except Asia.

    Conclusions 

    The features for daily biweekly growth rates of cases and deaths are extracted via orthonormal frequencies. By tracking the inner products for the input data and the orthonormal features, we could decompose the evolutionary results of COVID-19 into some fundamental frequencies. Though the frequency-based techniques are applied, the interpretation of the features should resort to other methods. By analysing the spectrum of the frequencies, we reveal hidden patterns of the COVID-19 pandemic. This would provide some preliminary research merits for further insightful investigations. It could also be used to predict future trends of daily biweekly growth rates of COVID-19 cases and deaths.

    Citation: Ray-Ming Chen. Extracted features of national and continental daily biweekly growth rates of confirmed COVID-19 cases and deaths via Fourier analysis[J]. Mathematical Biosciences and Engineering, 2021, 18(5): 6216-6238. doi: 10.3934/mbe.2021311

    Related Papers:

    [1] Yang Liu, Jie Liu, Tao Yu . Sharp conditions for a class of nonlinear Schrödinger equations. Mathematical Biosciences and Engineering, 2023, 20(2): 3721-3730. doi: 10.3934/mbe.2023174
    [2] Baojian Hong . Bifurcation analysis and exact solutions for a class of generalized time-space fractional nonlinear Schrödinger equations. Mathematical Biosciences and Engineering, 2023, 20(8): 14377-14394. doi: 10.3934/mbe.2023643
    [3] Jinliang Wang, Ran Zhang, Toshikazu Kuniya . A note on dynamics of an age-of-infection cholera model. Mathematical Biosciences and Engineering, 2016, 13(1): 227-247. doi: 10.3934/mbe.2016.13.227
    [4] Jordi Ripoll, Jordi Font . Numerical approach to an age-structured Lotka-Volterra model. Mathematical Biosciences and Engineering, 2023, 20(9): 15603-15622. doi: 10.3934/mbe.2023696
    [5] Cristian Morales-Rodrigo . A therapy inactivating the tumor angiogenic factors. Mathematical Biosciences and Engineering, 2013, 10(1): 185-198. doi: 10.3934/mbe.2013.10.185
    [6] Xiao-Min Huang, Xiang-ShengWang . Traveling waves of di usive disease models with time delay and degeneracy. Mathematical Biosciences and Engineering, 2019, 16(4): 2391-2410. doi: 10.3934/mbe.2019120
    [7] Changwook Yoon, Sewoong Kim, Hyung Ju Hwang . Global well-posedness and pattern formations of the immune system induced by chemotaxis. Mathematical Biosciences and Engineering, 2020, 17(4): 3426-3449. doi: 10.3934/mbe.2020194
    [8] Ei Ei Kyaw, Hongchan Zheng, Jingjing Wang, Htoo Kyaw Hlaing . Stability analysis and persistence of a phage therapy model. Mathematical Biosciences and Engineering, 2021, 18(5): 5552-5572. doi: 10.3934/mbe.2021280
    [9] Xian Zhang, Chen Huang . Existence, multiplicity and non-existence of solutions for modified Schrödinger-Poisson systems. Mathematical Biosciences and Engineering, 2023, 20(2): 3482-3503. doi: 10.3934/mbe.2023163
    [10] Jiawei Chu, Hai-Yang Jin . Predator-prey systems with defense switching and density-suppressed dispersal strategy. Mathematical Biosciences and Engineering, 2022, 19(12): 12472-12499. doi: 10.3934/mbe.2022582
  • Aims 

    By associating features with orthonormal bases, we analyse the values of the extracted features for the daily biweekly growth rates of COVID-19 confirmed cases and deaths on national and continental levels.

    Methods 

    By adopting the concept of Fourier coefficients, we analyse the inner products with respect to temporal and spatial frequencies on national and continental levels. The input data are the global time series data with 117 countries over 109 days on a national level; and 6 continents over 447 days on a continental level. Next, we calculate the Euclidean distance matrices and their average variabilities, which measure the average discrepancy between one feature vector and all others. Then we analyse the temporal and spatial variabilities on a national level. By calculating the temporal inner products on a continental level, we derive and analyse the similarities between the continents.

    Results 

    On the national level, the daily biweekly growth rates bear higher similarities in the time dimension than the ones in the space dimension. Furthermore, there exists a strong concurrency between the features for biweekly growth rates of cases and deaths. As far as the trends of the features are concerned, the features are stabler on the continental level, and less predictive on the national level. In addition, there are very high similarities between all the continents, except Asia.

    Conclusions 

    The features for daily biweekly growth rates of cases and deaths are extracted via orthonormal frequencies. By tracking the inner products for the input data and the orthonormal features, we could decompose the evolutionary results of COVID-19 into some fundamental frequencies. Though the frequency-based techniques are applied, the interpretation of the features should resort to other methods. By analysing the spectrum of the frequencies, we reveal hidden patterns of the COVID-19 pandemic. This would provide some preliminary research merits for further insightful investigations. It could also be used to predict future trends of daily biweekly growth rates of COVID-19 cases and deaths.



    In the current paper, we investigate the global existence and stability issues of the following nonlinear Schrödinger equation (NLS) with partial confinement

    {iut=Δu+V(x)u|u|p1u,(t,x)[0,T)×RN,u(0,x)=u0,xRN, (1.1)

    where N>2 represents the spatial dimension, 0<T, u(t,x):[0,T)×RNC, 1<p<N+2N2 and V(x)=ki=1x2i(1k<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)=Ni=1ω2ix2i, ωiR. In this manuscript, the model under consideration involves the simplified situation where ωi1 for 1ik and ωi0 for k+1iN.

    The energy space corresponding to Eq (1.1) is denoted by

    Σ={uH1(RN),RNki=1x2i|u|2dx<} (1.2)

    with the norm

    uΣ=(u2L2(RN)+u2L2(RN)+RNki=1x2i|u|2dx)12, for1k<N.

    The energy functional associated to Eq (1.1) is written as

    E(u)=12RN(|u|2+ki=1x2i|u|2)dx1p+1RN|u|p+1dx,uΣ. (1.3)

    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 blow-up 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 L2-critical case p=1+4N, while the first work done by Cazenave and Lions in [8] showed the orbital stability of normalized standing waves for the L2-subcritical situation 1<p<1+4N 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)=Ni=1x2i, 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 L2-critical 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 L2-critical nonlinearity and L2-supercritical nonlinearity or with L2-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)=ki=1x2i(1k<N), it leads to the fact that the embedding from Σ (see (1.2)) to Lr with r[2,2NN2) 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 L2-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)=x2N for 1+4N1p<N+2(N2)+ and N2. 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 L2-supercritical 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|p1u (0<b<2), the authors in [33] showed the stability of normalized standing waves by utilizing the profile decomposition principle in the L2-subcritical and L2-critical cases and by applying concentration compactness principle in the L2-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 H2(RN){uL2(RN),RNki=1x2i|u|2dx<}.

    As far as we know, the orbitally stable standing waves to Eq (1.1) with partial confinement in the L2-subcritical and L2-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)=ki=1x2i, 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+4Np<N+2N2 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 L2-subcritical and L2-critical cases 1<p1+4N, 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 L2-critical and L2-supercritical cases 1+4Np<N+2N2 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

    I(u)=12RN(|u|2+|u|2+ki=1x2i|u|2)dx1p+1RN|u|p+1dx, (1.4)
    S(u)=RN|u|2+|u|2dxRN|u|p+1dx, (1.5)
    P(u)=RN|u|2dxN(p1)2(p+1)RN|u|p+1dx, (1.6)

    and set the following two minimizing problems by

    dM=infuMI(u), (1.7)
    dB=infuBI(u), (1.8)

    where

    M={uΣ{0},P(u)=0,S(u)<0},B={uΣ{0},S(u)=0}.

    Let

    d=min{dM,dB}, (1.9)

    then from Lemmas 3.2 and 3.3, one can conclude that d>0. Next define the following manifolds,

    K={uΣ{0},I(u)<d,S(u)<0,P(u)<0},K+={uΣ{0},I(u)<d,S(u)<0,P(u)>0},R+={uΣ{0},I(u)<d,S(u)>0},R={uΣ{0},I(u)<d,S(u)<0},

    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+4Np<N+2N2.

    Theorem 1.1. Suppose 1+4Np<N+2N2 and u0K+R+, then the solution u(t,x) to Eq (1.1) exists globally in time t[0,).

    Theorem 1.2. Suppose 1+4Np<N+2N2, and assume u0K with |x|u0L2(RN), 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+4Np<N+2N2, we see that

    {uΣ{0},I(u)<d}=K+R+K,

    which indicates the conclusion of Theorem 1.1 is sharp if |x|u0L2(RN).

    (ii) Notice that for 1<p<1+4N, we can easily get the existence of global solution u(t,x) without any constrains. For p=1+4N and u0Σ, the sharp threshold mass of blow-up versus global existence is given in [23]. In the case N>2 and p=1+4N, one can derive the mass-concentration property of blow-up solutions and the dynamical properties of L2-minimal mass blow-up solutions, which have been discussed in [28] in the L2-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

    ΔQ+QQ4NQ=0,xRN. (1.10)

    (iii) When N=3 and 1+4Np<N+2N2, 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+4Np<N+2N2 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 1<p1+4N 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)=eiω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

    Δφ+ωφ+V(x)φ|φ|p1φ=0.

    To research the orbital stability of normalized standing waves, applying the ideas of [8], we take into account the constrained minimization problem below

    m(c)=infφS(c)E(φ), (1.11)

    where

    S(c)={φΣ:φL2(RN)=c},forc>0.

    For the L2-subcritical case 1<p<1+4N, or in the L2-critical situation p=1+4N and 0<c<QL2(RN), 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

    Mc={φS(c):E(φ)=m(c)}.

    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 u0 fulfilling

    infφAu0φΣ<δ,

    then the corresponding solution u(t,x) to Eq (1.1) satisfies

    infφAu(t,x)φΣ<ε,for t>0.

    The last result is concerned with the orbital stability of normalized standing waves to Eq (1.1) in the L2-subcritical and L2-critical cases.

    Theorem 1.5. Suppose that c>0 if 1<p<1+4N or 0<c<QL2(RN) if p=1+4N, where Q(x) is the ground state solution to Eq (1.10). Then, Mc, and is orbitally stable.

    Remark 1.6. (i) To demonstrate the existence of orbitally stable standing waves for NLS with partial confinement V(x)=ki=1x2i(1k<N), the main challenge comes from the lack of compactness. With regard to NLS with complete harmonic potential V(x)=Ni=1x2i, Zhang [17] used the key fact that the embedding ΣLr with r[2,2NN2) is compact to give the sharp stability threshold of standing waves with prescribed mass for Eq (1.1) when p=1+4N. Whereas, regarding the NLS with partial confinement, it's worth to note that the embedding ΣLr with r[2,2NN2) 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|p1u and partial confinement for 0<b<2 by taking advantage of the profile decomposition principle in the L2-subcritical and L2-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<p1+4N 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 L2-supercritical and H1-subcritical cases by utilizing concentration compactness principle and variational methods. In the general N-dimensional space, considering Eq (1.1) with L2-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+4N. Our result (Theorem 1.5) reveals the stabilizing effect to the standing waves played by partial confinement V(x)=ki=1x2i(1k<N).

    Throughout this article, for the sake of convenience, we use the abbreviation dx to replace RNdx and denote Lp(RN)(1<p<N+2N2) 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.

    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 u0Σ and 1<p<N+2N2. Then, there exist T=T(u0Σ) 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 limtTu(t,x)Σ= (blow-up). Moreover, for any t[0,T), the following conservation laws of mass and energy hold

    u(t,x)2=u02,E(u(t,x))=E(u0). (2.1)

    Remark 2.2. In the case 1<p<1+4N, 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 L2-critical case p=1+4N, the solution to Eq (1.1) with mass strictly less than Q2 is global. On the other hand, if the mass of initial data u02Q2, then finite time blow-up solutions exist, see [23]. Furthermore, in the case 1+4N<p<N+2N2, 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 u0Σ and u(t,x) is the corresponding solution to problem (1.1) in C([0,T);Σ). Let |x|u0L2(RN) and take Γ(t)=|x|2|u(t,x)|2dx, then we get that

    Γ(t)=8(|u|2ki=1x2i|u|2)dx4N(p1)p+1|u|p+1dx.

    Now, we recall some useful lemmas.

    Lemma 2.4. ([5]) Let 1<p<N+2N2, then for all uH1(RN), we have the following sharp Gagliardo-Nirenberg inequality

    |u|p+1dxCGN(|u|2dx)N(p1)4(|u|2dx)p+12N(p1)4.

    In particular, in the mass-critical case p=1+4N, CGN=N+2NQ(x)4N2, where Q(x) is the positive ground state solution to Eq (1.10).

    Lemma 2.5. ([25]) For 1k<N, let

    Λ0=inf|w|2dx=1(|w|2dx+ki=1x2i|w|2dx)

    and

    λ0=infRk|u|2dx1dx2dxk=1(Rk|u|2dx1dx2dxk+Rkki=1x2i|u|2dx1dx2dxk).

    Then, we have Λ0=λ0.

    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].

    Lemma 2.6. Suppose 1k<N, 1<p1+4N and let {un} be a bounded sequence in Σ. Then, there exist a subsequence of {un} (still denoted by {un}), a family {xjn}n=1 of sequences in RNk and a sequence {Uj}j=1 in Σ satisfying

    (i) for each mj, |xmnxjn|+, as n;

    (ii) for each l1 and xRN, we have

    un(x)=lj=1τxjnUj(x)+rln,

    with lim supnrlnq0 as l for any q[2,N+2N2), where τyUj(x)=Uj(x1,,xk,xk+1y1,,xNyNk) for x=(x1,,xN)RN and y=(y1,,yNk)RNk. In addition,

    un22=lj=1Uj22+rln22+o(1), (2.2)
    V(x)|un|2dx=lj=1V(x)|Uj|2dx+V(x)|rln|2dx+o(1), (2.3)
    un22=lj=1Uj22+rln22+o(1), (2.4)
    unp+1p+1=lj=1|τxjnUj|p+1dx+rlnp+1p+1+o(1), (2.5)

    where o(1)=on(1)0 as n.

    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.

    Proposition 3.1. If 1+4Np<N+2N2, then M is not empty.

    Proof. According to [35], there is uΣ{0} such that u is a nontrivial solution for Eq (1.10). Testing Eq (1.10) against u and integrating over RN, we see that S(u)=0. Furthermore, multiplying Eq (1.10) by xu, one has the following Poho˘zaev identity

    12(N2)|u|2dx+Np+1|u|p+1dxN2|u|2dx=0. (3.1)

    Combining (3.1) with S(u)=0, we have P(u)=0. Put v=νu(t,x) for ν>1, then combining S(u)=0 and P(u)=0, one can infer that S(v)<0 and P(v)<0. Taking vλ(t,x)=λ2p1v(t,λx) for λ>0, from (1.5) and (1.6), we obtain

    P(vλ)=λ2+2pNp+Np1|v|2N(p1)2(p+1)|v|p+1dx,S(vλ)=λ2+2pNp+Np1|v|2|v|p+1dx+λ4Np+Np1|v|2dx.

    Owing to P(v)<0, we deduce that there is λ0>1 satisfying P(vλ0)=0. Besides, according to the fact S(v)<0 and λ0>1, we know that S(vλ0)<0. Thus vλ0M, which means M.

    Lemma 3.2. Let 1+4Np<N+2N2, then dM>0.

    Proof. Take uM, it's clear that u0. Since P(u)=0, one has

    I(u)=(122N(p1))|u|2dx+12|u|2dx+12ki=1x2i|u|2dx. (3.2)

    We prove the assertion in two situations: the mass-critical case p=1+4N and the mass-supercritical case 1+4N<p<N+2N2.

    We first consider the case p=1+4N. In the current situation, we claim that dM>0. Suppose dM=0, then we conclude from (1.7) that there exists a sequence {un}n=1M satisfying I(un)0, S(un)<0 and P(un)=0 as n. (3.2) leads to

    V(x)|un|2dx0,|un|2dx0,asn, (3.3)

    due to p=1+4N. Applying Lemma 2.4, we obtain

    |un|p+1dxCGN(|un|2dx)(|un|2dx)2N.

    This, together with S(un)<0, implies

    |un|2+|un|2dx<CGN(|un|2dx)(|un|2dx)2N.

    Nevertheless, when n is sufficiently large, from (3.3) we have

    |un|2+|un|2dx>CGN(|un|2dx)(|un|2dx)2N,

    which is a contradiction. Therefore, dM>0 when p=1+4N.

    Now, let us handle the L2-supercritical case 1+4N<p<N+2N2. It follows from S(u)<0 and the continuous embedding H1(RN)Lp+1(RN) that

    |u|2+|u|2dx<|u|p+1dxC(|u|2+|u|2dx)p+12.

    Thus, we derive

    |u|2+|u|2dxC>0. (3.4)

    Keeping in mind that 1+4N<p<N+2N2 and combining (3.2) with (3.4), one has

    I(u)C>0,foranyuM,

    which means dM>0 for 1+4N<p<N+2N2. Thus we claim that dM>0 for 1+4Np<N+2N2.

    Lemma 3.3. Suppose 1+4Np<N+2N2, then the set B is nonempty and dB>0.

    Proof. According to [35], the set B is nonempty. By S(u)=0, one can discover

    I(u)=(121p+1)|u|2+|u|2dx+12ki=1x2i|u|2dx. (3.5)

    Asserting Sobolev embedding inequality into S(u)=0, we get

    |u|2+|u|2dxC(|u|2+|u|2dx)p+12. (3.6)

    For 1+4Np<N+2N2 and u0, one is able to infer from (3.5) that

    (|u|2+|u|2)dxC>0.

    Thus, when 1+4Np<N+2N2, it follows from (1.8) and (3.5)–(3.6) that dB>0.

    Next we shall show that K, K+, R+ and R are all invariant sets related to Eq (1.1).

    Theorem 3.4. Assume 1+4Np<N+2N2, then K, K+, R+ and R are all invariant sets of Eq (1.1). That is, if u0K, K+, R+ or R, then the solution u(t,x) to Eq (1.1) also fulfils u(t,x)K, K+, R+ or R for  t[0,T).

    Proof. In the first, we demonstrate that the set K is an invariant manifold. Suppose u0K and u(t,x) is the unique solution to Eq (1.1). We infer from (2.1) that

    I(u)=I(u0),forarbitraryt[0,T). (3.7)

    Owing to I(u0)<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 t0[0,T) satisfying S(u(t0,))=0. From (3.7), we obtain u(t0,)0. Combining (1.8) and (1.9), we know that I(u(t0,))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).

    Subsequently, for t[0,T), we claim that P(u)<0. If P(u)<0 is false, since the functional S(u) is continuous, we could seek out t[0,T) fulfilling P(u(t,))=0. Since we have demonstrated S(u(t,))<0, we conclude from P(u(t,))=0 that u(t,)M. Thus, by utilizing (1.7) and (1.9), one has I(u(t,))dMd. This causes a contradiction because I(u(t,))<d for every t[0,T). Thus P(u)<0 when t[0,T). Hence we have u(t,x)K for arbitrary 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 u0R+. 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

    (|u|2+|u|2+ki=1x2i|u|2)dx<2(p+1)p1d.

    From Proposition 2.1, one can know that the solution u(t,x) is global in time t\in [0, \infty) .

    Next we discuss the case u_{0}\in K_{+} . In the light of Proposition 2.1 and Theorem 3.4, the unique solution u(t, x)\in K_{+} for t\in[0, T) . Hence one has I(u) < d and P(u) > 0 , which yields

    \begin{equation} (\frac{1}{2}-\frac{2}{N(p-1)})\int | \nabla u|^{2}dx+\frac{1}{2}\int |u|^{2}dx+\frac{1}{2}\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx < d. \end{equation} (3.8)

    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 first discuss the L^{2} -critical case p = 1+\frac{4}{N} . By (3.8), we get

    \begin{equation} \frac{1}{2}\int |u|^{2}dx+\frac{1}{2}\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx < d. \end{equation} (3.9)

    Set u^{ \lambda}(t, x) = \lambda^{\frac{N}{p+1}}u(t, \lambda x) , then (1.6) gives us that

    \begin{equation*} P(u^{ \lambda}) = \lambda^{\frac{4}{N+2}}\int | \nabla u|^{2}dx-\frac{N}{N+2}\int |u|^{p+1}dx. \end{equation*}

    Since P(u) > 0 , then one can find 0 < \lambda_{*} < 1 satisfying P(u^{ \lambda_{*}}) = 0 . Putting (1.4) and (1.6) together, we obtain

    \begin{equation*} I(u^{ \lambda_{*}}) = \frac{1}{2}\int ( \lambda_{*}^{-\frac{2N}{N+2}}|u|^{2}+ \lambda_{*}^{-\frac{4(N+1)}{N+2}}\sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2})dx. \end{equation*}

    Thus, from (3.9), one has that

    \begin{equation} I(u^{ \lambda_{*}}) < \lambda_{*}^{-\frac{4(N+1)}{N+2}}d. \end{equation} (3.10)

    For S(u^{ \lambda_{*}}) , only two possibilities exist. One case is S(u^{ \lambda_{*}}) < 0 , and the remaining one is S(u^{ \lambda_{*}})\geq 0 . For the case S(u^{ \lambda_{*}}) < 0 , since P(u^{ \lambda_{*}}) = 0 , together (1.7) with (1.9), one can show that

    \begin{equation*} I(u^{ \lambda_{*}})\geq d_{M}\geq d > I(u). \end{equation*}

    Then we have

    \begin{equation} (1- \lambda_{*}^{\frac{4}{N+2}})\int | \nabla u|^{2}dx+(1- \lambda_{*}^{-\frac{4(N+1)}{N+2}})\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx+(1- \lambda_{*}^{-\frac{2N}{N+2}})\int |u|^{2}dx < 0. \end{equation} (3.11)

    Thus, from (3.9) and (3.11), one has

    \begin{equation} \int (| \nabla u|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}+|u|^{2})dx < C. \end{equation} (3.12)

    For S(u^{ \lambda_{*}})\geq 0 , it follows from (3.10) that

    \begin{equation*} I(u^{ \lambda_{*}})-\frac{1}{p+1}S(u^{ \lambda_{*}}) < \lambda_{*}^{-\frac{4(N+1)}{N+2}}d, \end{equation*}

    which implies

    \begin{equation*} \frac{p-1}{2(p+1)} \lambda_{*}^{-\frac{2N}{N+2}}\int \lambda_{*}^{2}| \nabla u|^{2}+|u|^{2}dx+\frac{1}{2} \lambda_{*}^{-\frac{4(N+1)}{N+2}}\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx < \lambda_{*}^{-\frac{4(N+1)}{N+2}}d. \end{equation*}

    Therefore,

    \begin{equation} \int | \nabla u|^{2}+|u|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx < C. \end{equation} (3.13)

    Thus, for p = 1+\frac{4}{N} , (3.12) and (3.13) imply that the solution u(t, x) is uniformly bounded in \Sigma for all t\in[0, T) . According to Proposition 2.1, we derive the global existence of u(t, x) in time t\in[0, \infty).

    We now argue the case 1+\frac{4}{N} < p < \frac{N+2}{N-2} . It is easy to see from (3.8) that

    \begin{equation*} \int | \nabla u|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}+|u|^{2}dx < C. \end{equation*}

    Therefore, for 1+\frac{4}{N}\leq p < \frac{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\in[0, \infty) .

    Proof of Theorem 1.2. Suppose u_{0}\in K and |x|u_{0}\in L^{2}(\mathbb{R}^{N}) , and assume u(t, x) is a solution to Eq (1.1). Then combining Proposition 2.1 with Theorem 3.4, one could derive that the solution u(t, x)\in K and |x|u(t, x)\in L^{2}(\mathbb{R}^{N}) when t\in[0, T) . It follows from the virial identity (see Proposition 2.3) and (1.6) that

    \begin{equation} \Gamma^{{\prime}{\prime}}(t) < 8P(u(t,\cdot)),\; for\; t\in[0,T). \end{equation} (3.14)

    Thus, for 0\leq t < T , u fulfils that S(u) < 0 and P(u) < 0 . For \mu > 0 , we take u^{\mu} = \mu^{\frac{3}{p+1}}u(\mu x) , then

    \begin{eqnarray*} S(u^{\mu}) = \mu^{\frac{5-p}{p+1}}\int| \nabla u |^{2}dx+\mu^{\frac{3(1-p)}{p+1}}\int|u|^{2}dx-\int|u|^{p+1}dx,\\ P(u^{\mu}) = \mu^{\frac{5-p}{p+1}}\int| \nabla u |^{2}dx-\frac{N(p-1)}{2(p+1)}\int|u|^{p+1}dx. \end{eqnarray*}

    Owing to 1+\frac{4}{N}\leq p < \frac{N+2}{N-2} and P(u) < 0 , then there must exist \mu_{*} > 1 fulfilling P(u^{\mu_{*}}) = 0 , and P(u^{\mu}) < 0 for 1\leq\mu < \mu_{*} . When 1\leq\mu < \mu_{*} , due to S(u) < 0 , S(u^{\mu}) may have the following two cases:

    (i) S(u^{\mu}) < 0 for 1\leq\mu < \mu_{*} ;

    (ii) There is 1 < \theta\leq\mu_{*} satisfying S(u^{\theta}) = 0 .

    Concerning the first situation (i), we have P(u^{\mu_{*}}) = 0 and S(u^{\mu_{*}}) < 0 , then u^{\mu_{*}}\in M . Based on (1.7) and (1.9), we discover

    \begin{equation*} I(u^{\mu_{*}})\geq d_{M} > d > I(u). \end{equation*}

    Furthermore, one has

    \begin{eqnarray*} I(u)-I(u^{\mu_{*}})& = &\frac{1}{2}(1-\mu_{*}^{\frac{5-p}{p+1}})\int| \nabla u|^{2}dx+\frac{1}{2}(1-\mu_{*}^{\frac{1-5p}{p+1}})\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx\\ &\; \; \; &+ \ \frac{1}{2}(1-\mu_{*}^{-\frac{3(p-1)}{p+1}})\int|u|^{2}dx,\\ P(u)-P(u^{\mu_{*}})& = &(1-\mu_{*}^{\frac{5-p}{p+1}})\int| \nabla u|^{2}dx. \end{eqnarray*}

    Due to the fact \mu_{*} > 1 and 1+\frac{4}{N}\leq p < \frac{N+2}{N-2} , we derive

    \begin{equation} I(u)-I(u^{\mu_{*}})\geq \frac{1}{2}[P(u)-P(u^{\mu_{*}})] = \frac{1}{2}P(u). \end{equation} (3.15)

    For the case (ii), we have u^{\theta}\in B . Thus, we deduce from (3.15) and (1.9) that

    \begin{equation*} I(u^{\theta})\geq d_{B}\geq d. \end{equation*}

    And so, we could get

    \begin{equation} I(u)-I(u^{\theta})\geq \frac{1}{2} [P(u)-P(u^{\theta})]\geq \frac{1}{2}P(u). \end{equation} (3.16)

    Since I(u^{\mu_{*}})\geq d , I(u^{\theta})\geq d , combining (3.15) with (3.16), we conclude

    \begin{equation} P(u) < 2[I(u)-d]. \end{equation} (3.17)

    From (3.14), (3.17), (2.1) and u_{0}\in K , one has the following estimate

    \begin{equation*} \Gamma^{{\prime}{\prime}}(t) < 8P(u)\leq 16[I(u_{0})-d] < 0. \end{equation*}

    Hence there exists 0 < T < \infty satisfying \Gamma(T) = 0 . Then using Lemma 4.2 in [17], one obtains

    \begin{equation*} \lim\limits_{t\rightarrow T}\|u\|_{ \Sigma} = \infty, \end{equation*}

    which indicates the solution u(t, x) to Eq (1.1) must blow up in finite time.

    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.

    Lemma 4.1. Let 1\leq k < N and 1 < p\leq 1+\frac{4}{N} . Assume {u_{n}} is a minimizing sequence of (1.11), then there must exist \delta > 0 meeting

    \begin{equation} \liminf\limits_{n\rightarrow \infty}\int |u_{n}|^{p+1}dx > \delta. \end{equation} (4.1)

    Proof. Assume by contradiction that there is a subsequence {u_{n_{j}}} fulfilling

    \begin{equation*} \lim\limits_{j\rightarrow \infty}\int |u_{n_{j}}(x)|^{p+1}dx = 0. \end{equation*}

    This, together with the definition of m(c) , deduces that

    \begin{eqnarray} m(c)& = &\lim\limits_{j\rightarrow \infty}E(u_{n_{j}})\\ & = &\lim\limits_{j\rightarrow \infty}\big[\frac{1}{2}\int(| \nabla u_{n_{j}}|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u_{n_{j}}|^{2})dx-\frac{1}{p+1}\int|u_{n_{j}}|^{p+1}dx\big]\\ & = &{\lim\limits_{j\rightarrow \infty}\frac{1}{2}\int(| \nabla u_{n_{j}}|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u_{n_{j}}|^{2})dx}\\ &\geq&\lim\limits_{j\rightarrow \infty}\inf\limits_{\int |u_{n_{j}}|^{2}dx = c^{2}}\frac{1}{2}\int(| \nabla u_{n_{j}}|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u_{n_{j}}|^{2})dx. \end{eqnarray} (4.2)

    Taking v_{n_{j}} = \frac{u_{n_{j}}}{c} , then (4.2) can be rewritten as

    \begin{eqnarray} m(c) = \lim\limits_{j\rightarrow \infty}E(u_{n_{j}})&\geq&\lim\limits_{j\rightarrow \infty}\inf\limits_{\int |v_{n_{j}}|^{2}dx = 1}\frac{c^{2}}{2}\int(| \nabla v_{n_{j}}|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|v_{n_{j}}|^{2})dx\\ &\geq&\frac{\Lambda_{0}}{2}c^{2}, \end{eqnarray} (4.3)

    where the last inequality according to Lemma 2.5. Furthermore, in view of the argument that the embedding H = \{v\in H^{1}(\mathbb{R}^{k}), \int \sum_{i = 1}^{k}x_{i}^{2}|v|^{2}dx < \infty\}\hookrightarrow L^{2}(\mathbb{R}^{k}) is compact by Lemma 2.5, then there exists some \tau\in H^{1}(\mathbb{R}^{k}) with \int_{\mathbb{R}^{k}} |\tau|^{2}dx = 1 such that \lambda_{0} is achieved. Let \psi\in H^{1}(\mathbb{R}^{N-k}) satisfy \int_{\mathbb{R}^{N-k}}|\psi|^{2}dx = c^{2} and set

    \begin{equation*} u_{ \lambda}(x) = \tau(x_{1},\cdots,x_{k})\psi_{ \lambda}(x_{k+1},\cdots,x_{N}), \end{equation*}

    where \psi_{ \lambda}(x_{k+1}, \cdots, x_{N}) = \lambda^{\frac{N-k}{2}}\psi(\lambda x_{k+1}, \cdots, \lambda x_{N}) . Then for any \lambda > 0 , we can deduce u_{ \lambda}\in S(c) , combining this fact and Lemma 2.5, we see that

    \begin{eqnarray} E(u_{ \lambda})& = &\frac{1}{2}(\int|\nabla u_{ \lambda}|^{2}+\sum\limits_{i = 1}^{k}x_{i}^{2}|u_{ \lambda}|^{2}dx)-\frac{1}{p+1}\int |u_{ \lambda}|^{p+1}dx\\ & = &I_{1}+I_{2}-\frac{1}{p+1}\int |u_{ \lambda}|^{p+1}dx, \end{eqnarray} (4.4)

    where

    \begin{eqnarray*} I_{1}& = &\frac{1}{2}\int|u_{ \lambda}|^{2}dx\\ & = &\frac{1}{2}\big(c^{2}\int_{\mathbb{R}^{k}}| \nabla_{x_{1}\cdots x_{k}}\tau(x_{1},\cdots,x_{k})|^{2}dx_{1}\cdots dx_{k}\\ &&\; \; \; \; \; \; + \lambda^{2}\int_{\mathbb{R}^{N-k}}| \nabla_{x_{k+1}\cdots x_{N-k}}\psi_{ \lambda}|^{2}dx_{k+1}\cdots dx_{N}\big), \end{eqnarray*}

    and

    \begin{eqnarray*} I_{2}& = &\frac{1}{2}\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u_{ \lambda}|^{2}dx\\ & = & \frac{c^{2}}{2}\int_{\mathbb{R}^{k}}|\sum\limits_{i = 1}^{k}x_{i}^{2}\tau(x_{1},x_{2},\cdots,x_{k})|^{2}dx_{1}\cdots dx_{k}, \end{eqnarray*}

    which implies that (4.4) can be written as

    \begin{eqnarray*} E(u_{ \lambda})& = &\frac{1}{2}\big(c^{2}\int_{\mathbb{R}^{k}}| \nabla_{x_{1}\cdots x_{k}}\tau(x_{1},\cdots,x_{k})|^{2}dx_{1}\cdots dx_{k}+ \lambda^{2}\int_{\mathbb{R}^{N-k}}| \nabla_{x_{k+1}\cdots x_{N-k}}\psi_{ \lambda}|^{2}dx_{k+1}\cdots dx_{N}\big)\\ &&\; \; \; +\frac{c^{2}}{2}\int_{\mathbb{R}^{k}}|\sum\limits_{i = 1}^{k}x_{i}^{2}\tau(x_{1},x_{2},\cdots,x_{k})|^{2}dx_{1}\cdots dx_{k}\\ &&\; \; \; -\frac{1}{p+1}\int_{ \mathbb{R}^{N}} |\tau(x_{1},\cdots,x_{k})|^{p+1}|\psi_{ \lambda}(x_{k+1},\cdots,x_{N})|^{p+1}dx\\ & = &\int_{\mathbb{R}^{N-k}}| \nabla_{x_{k+1}\cdots x_{N}}\psi_{ \lambda}|dx_{k+1}\cdots dx_{N}+\frac{\Lambda_{0}}{2}c^{2}\\ &&\; \; \; -\frac{1}{p+1}\int_{ \mathbb{R}^{N}} |\tau(x_{1},\cdots,x_{k})|^{p+1}|\psi_{ \lambda}(x_{k+1},\cdots,x_{N})|^{p+1}dx\\ & = &\frac{ \lambda^{2}}{2}\int_{\mathbb{R}^{N-k}}| \nabla_{x_{k+1}\cdots x_{N}}\psi|dx_{k+1}\cdots dx_{N}+\frac{\Lambda_{0}}{2}c^{2}\\ &\; &-\frac{ \lambda^{\frac{(N-k)(p-1)}{2}}}{p+1}\int_{ \mathbb{R}^{N}} |\tau(x_{1},\cdots,x_{k})|^{p+1}|\psi(x_{k+1},\cdots,x_{N})|^{p+1}dx\\ & < &\frac{\Lambda_{0}}{2}c^{2}, \end{eqnarray*}

    where the last inequality bases on the fact 1 < p\leq 1+\frac{4}{N} < 1+\frac{4}{N-k} when taking \lambda > 0 sufficiently small. Moreover, since u_{ \lambda}\in S(c) for \lambda > 0 sufficiently small, one has

    \begin{equation*} m(c)\leq E(u_{ \lambda}) < \frac{\Lambda_{0}}{2}c^{2}, \end{equation*}

    which contradicts with (4.3). Thus (4.1) holds.

    Then, we deal with problem (1.11) by utilizing the profile decomposition theory of a bounded sequence in \Sigma (see Lemma 2.6).

    Theorem 4.2. Let c > 0 if 1 < p < 1+\frac{4}{N} or 0 < c < \|Q\|_{2} if p = 1+\frac{4}{N} , where Q(x) is the ground state solution to Eq (1.10). Then there must exist u\in S(c) satisfying m(c) = E(u) .

    Proof. We first demonstrate that the variational problem (1.11) is well-defined, and any minimizing sequence for (1.11) is bounded in \Sigma . By Lemma 2.4 and (1.3), one has the following estimate

    \begin{eqnarray*} E(u)& = &\frac{1}{2}\| \nabla u\|_{2}^{2}+\frac{1}{2}\int \sum\limits_{i = 1}^{k}x_{i}^{2}|u|^{2}dx-\frac{1}{p+1}\int |u|^{p+1}dx\\ &\geq&\frac{1}{2}\|u\|_{\dot{ \Sigma}}^{2}-C_{GN}\big(\int | \nabla u|^{2}dx\big)^{\frac{N(p-1)}{4}}\big(\int|u|^{2}dx\big)^{\frac{2(p+1)-N(p-1)}{4}}, \end{eqnarray*}

    where \|u\|_{\dot{ \Sigma}}^{2} = \| \nabla u\|_{2}^{2}+\int \sum_{i = 1}^{k}x_{i}^{2}|u|^{2}dx . For the case 1 < p < 1+\frac{4}{N} , using Young's inequality, one has that for any 0 < \varepsilon < \frac{1}{2} , there is a positive constant C(\varepsilon, C_{GN}, c) fulfilling

    \begin{equation*} C_{GN}\|u\|_{\dot{ \Sigma}}^{\frac{N(p-1)}{2}}\big(\int|u|^{2}dx\big)^{\frac{p+1}{2}-\frac{N(p-1)}{4}}\leq \varepsilon\|u\|_{\dot{ \Sigma}}^{2}+C(\varepsilon,C_{GN},c), \end{equation*}

    which implies

    \begin{equation} E(u)+C(\varepsilon,C_{GN},c)\geq(\frac{1}{2}-\varepsilon)\|u\|_{\dot{ \Sigma}}^{2}. \end{equation} (4.5)

    For p = 1+\frac{4}{N} and 0 < c < \|Q\|_{2} , applying Lemma 2.4 again, one derives from (1.3) that

    \begin{eqnarray} E(u)&\geq&\frac{1}{2}\|u\|_{\dot{ \Sigma}}^{2}-\frac{1}{2}\frac{\| \nabla u\|^{2}_{2}\|u\|_{2}^{\frac{4}{N}}}{\|Q\|_{2}^{\frac{4}{N}}}\\ & > &\frac{\|Q\|_{2}^{\frac{4}{N}}-c^{\frac{4}{N}}}{2\|Q\|_{2}^{\frac{4}{N}}}\|u\|_{\dot{ \Sigma}}^{2} > 0. \end{eqnarray} (4.6)

    Thus, the energy functional E(u) possesses a finite lower bound and the constrained minimization problem (1.11) is well-defined. In addition, it is clear that each minimizing sequence to (1.11) is bounded in \Sigma from (4.5) and (4.6).

    Second, we argue that there only exists one term U^{j_{0}}\neq 0 in (4.7) with the aid of profile decomposition technique in \Sigma . Let \{u_{n}\}_{n = 1}^{\infty} be a minimizing sequence, using Lemma 2.6, then one gets

    \begin{equation} u_{n}(x) = \sum\limits_{j = 1}^{l}\tau_{x_{n}^{j}}U^{j}(x)+r_{n}^{l}, \end{equation} (4.7)

    with \limsup_{n\rightarrow \infty}\|r_{n}^{l}\|_{q}\rightarrow 0 as l\rightarrow \infty when q\in[2, \frac{N+2}{N-2}) . It follows from (4.7) and (2.2)–(2.5) that

    \begin{equation} E(u_{n}) = \sum\limits_{j = 1}^{l}E(\tau_{x_{n}^{j}}U^{j})+E(r_{n}^{l})+o(1), \; as\; n\rightarrow \infty\; and\; l\rightarrow \infty. \end{equation} (4.8)

    Let \tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}(x) = \lambda_{j}\tau_{x_{n}^{j}}U^{j}(x) with \lambda_{j} = \frac{c}{\|U^{j}\|_{2}} , for every \tau_{x_{n}^{j}}U^{j} (1\leq j\leq l) , we deduce

    \begin{equation*} \|\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}\|_{2} = c, \end{equation*}

    and

    \begin{eqnarray*} E(\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j})& = &\frac{1}{2} \| \nabla \tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}\|_{2}^{2}+\frac{1}{2} \int V(x)|\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}|^{2}dx-\frac{1}{p+1}\int |\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}|^{p+1}dx\\ & = & \lambda_{j}^{2}E(\tau_{x_{n}^{j}}U^{j})-\frac{ \lambda_{j}^{2}( \lambda_{j}^{p-1}-1)}{p+1}\int |\tau_{x_{n}^{j}}U^{j}|^{p+1}dx, \end{eqnarray*}

    which means that

    \begin{equation} E(\tau_{x_{n}^{j}}U^{j}) = \frac{E(\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j})}{ \lambda_{j}^{2}}+\frac{ \lambda_{j}^{p-1}-1}{p+1}\int |\tau_{x_{n}^{j}}U^{j}|^{p+1}dx. \end{equation} (4.9)

    Similarly, we get the estimate of E(r_{n}^{l}) as below

    \begin{eqnarray} E(r_{n}^{l})& = & \frac{\|r_{n}^{l}\|_{2}^{2}}{c^{2}}E(\frac{c}{\|r_{n}^{l}\|_{2}}r_{n}^{l})+\frac{(\frac{c}{\|r_{n}^{l}\|_{2}})^{p-1}-1}{p+1}\int |r_{n}^{l}|^{p+1}dx+o(1)\\ &\geq& \frac{\|r_{n}^{l}\|_{2}^{2}}{c^{2}}E(\frac{c}{\|r_{n}^{l}\|_{2}}r_{n}^{l})+o(1). \end{eqnarray} (4.10)

    Due to \|\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j}\|_{2} = \|\frac{c}{\|r_{n}^{l}\|_{2}}r_{n}^{l}\|_{2} = c , one has

    \begin{equation*} E(\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j})\geq m(c),\; and\; E(\frac{c}{\|r_{n}^{l}\|_{2}}r_{n}^{l})\geq m(c). \end{equation*}

    It follows from (4.8)–(4.10) that

    \begin{eqnarray} E(u_{n})&\geq&\sum\limits_{j = 1}^{l}(\frac{E(\tau_{x_{n}^{j}}U_{ \lambda_{j}}^{j})}{ \lambda_{j}^{2}}+\frac{ \lambda_{j}^{p-1}-1}{p+1}\int |\tau_{x_{n}^{j}}U^{j}|^{p+1}dx)\\ &\; \; \; &+\frac{\|r_{n}^{l}\|_{2}^{2}}{c^{2}}E(\frac{c}{\|r_{n}^{l}\|_{2}}r_{n}^{l})+o(1)\\ &\geq& \frac{m(c)}{c^2} \sum\limits_{j = 1}^{l}\|U^{j}\|_{2}^{2}+\inf\limits_{j\geq 1}\frac{ \lambda_{j}^{p-1}-1}{p+1}(\sum\limits_{j = 1}^{l}\int |\tau_{x_{n}^{j}}U^{j}|^{p+1}dx)\\ &\; \; \; &+\frac{\|r_{n}^{l}\|_{2}^{2}}{c^{2}}m(c)+o(1). \end{eqnarray} (4.11)

    By the convergence of \sum_{j = 1}^{\infty}\|U^{j}\|_{2}^{2} , there must exist j_{0}\geq 1 such that

    \begin{equation*} \|U^{j_{0}}\|_{2}^{2} = \sup\{\|U^{j}\|_{2}^{2},j\geq1\}\; and\; \inf\limits_{j\geq 1} \lambda_{j} = \lambda_{j_{0}} = \frac{c}{\|U^{j_{0}}\|_{2}}. \end{equation*}

    Let n\rightarrow \infty and l\rightarrow \infty in (4.11), applying Lemma 4.1, then one gets

    \begin{equation*} m(c)\geq m(c)+\delta((\frac{c}{\|U^{j_{0}}\|_{2}})^{p-1}-1), \end{equation*}

    which yields

    \begin{equation*} \|U^{j_{0}}\|_{2}\geq c. \end{equation*}

    Thus, combining (2.2), we have \|U^{j_{0}}\|_{2} = c , and there only exists one term U^{j_{0}}\neq 0 in (4.7). Therefore, (4.7) can be rewritten as

    \begin{equation*} u_{n}(x) = \tau_{x_{n}^{j_{0}}}U^{j_{0}}(x)+r_{n}(x). \end{equation*}

    Moreover, note that \|u_{n}\|_{2} = \|U^{j_{0}}\|_{2}+\|r_{n}\|_{2}+o_{n}(1) , and \|u_{n}\|_{2} = \|U^{j_{0}}\|_{2} = c , one has \lim_{n\rightarrow \infty}\|r_{n}\|_{2} = 0 , which means r_{n}\rightarrow0 in L^{2}(\mathbb{R}^{N}) . This, together with Lemma 2.4, deduces that \lim_{n\rightarrow \infty}\|r_{n}\|_{q+1}^{q+1} = 0 for q\in(1, \frac{N+2}{N-2}) . Then we get

    \begin{equation*} \int |r_{n}|^{p+1}dx\rightarrow0. \end{equation*}

    By the lower semi-continuity, one has

    \begin{equation*} \liminf\limits_{n\rightarrow \infty}E(r_{n})\geq0, \end{equation*}

    and

    \begin{eqnarray*} \liminf\limits_{n\rightarrow \infty}E(\tau_{x_{n}^{j_{0}}}U^{j_{0}})&\leq& \liminf\limits_{n\rightarrow \infty}E(\tau_{x_{n}^{j_{0}}}U^{j_{0}})+\liminf\limits_{n\rightarrow \infty}E(r_{n})\\ &\leq&\liminf\limits_{n\rightarrow \infty}(E(\tau_{x_{n}^{j_{0}}}U^{j_{0}})+E(r_{n}))\\ & = &\liminf\limits_{n\rightarrow \infty}E(u_{n}) = m(c). \end{eqnarray*}

    Besides, for n\geq 1 , we infer from \|\tau_{x_{n}}^{j_{0}}U^{j_{0}}\|_{2} = \|U^{j_{0}}\|_{2} = c that E(\tau_{x_{n}}^{j_{0}}U^{j_{0}})\geq m(c) . Thus,

    \begin{equation*} \liminf\limits_{n\rightarrow \infty}E(\tau_{x_{n}}^{j_{0}}U^{j_{0}}) = m(c). \end{equation*}

    Next, we claim that the sequence \{x_{n}^{j_{0}}\} is bounded. Let us argue by contradiction and suppose that up to a subsequence, |x_{n}^{j_{0}}|\rightarrow \infty as n\rightarrow \infty . For convenience, let U^{j_{0}} be continuous and compactly supported. Thus, one has

    \begin{equation*} \int|\tau_{x_{n}}^{j_{0}}U^{j_{0}}| ^{p+1}dx\rightarrow0, \; as\; n\rightarrow \infty. \end{equation*}

    This implies that

    \begin{equation*} \liminf\limits_{n\rightarrow \infty}E(\tau_{x_{n}}^{j_{0}}U^{j_{0}}) = \frac{1}{2}\|U^{j_{0}}\|_{\dot{ \Sigma}} = m(c). \end{equation*}

    Furthermore, by the definition of E(U^{j_{0}}) we infer that

    \begin{equation*} E(U^{j_{0}})+\frac{1}{p+1}\int |U^{j_{0}}|^{p+1}dx = m(c), \end{equation*}

    which means E(U^{j_{0}}) < m(c) . This contradicts to E(U^{j_{0}})\geq m(c) since \|U^{j_{0}}\|_{2}^{2} = c . Thus, the boundedness of the sequence \{x_{n}^{j_{0}}\}\subseteq \mathbb{R}^{N-k} is proved, and we could suppose that, up to a subsequence, x_{n}^{j_{0}}\rightarrow x^{j_{0}} in \mathbb{R}^{N-k} as n\rightarrow \infty .

    Up to now, we can rewrite (4.7) as

    \begin{equation*} u_{n}(x) = \widetilde{U}^{j_{0}}(x)+\widetilde{r_{n}}(x), \end{equation*}

    where \widetilde{U}^{j_{0}}(x) = \tau_{x_{n}^{j_{0}}}U^{j_{0}}(x) and \widetilde{r_{n}}(x) = \tau_{x_{n}^{j_{0}}}U^{j_{0}}(x)-\tau_{x_{n}^{j_{0}}}U^{j_{0}}(x)+r_{n}(x) . Since \|u_{n}\|_{2} = \|U^{j_{0}}\|_{2} = c , then

    \begin{equation*} \widetilde{r_{n}}\rightharpoonup0 \; in\; \Sigma\; \; and\; \; \widetilde{r_{n}}\rightharpoonup0 \; in\; L^{2}( \mathbb{R}^{N}). \end{equation*}

    Thus, we have

    \begin{equation*} E(u_{n}) = E(\widetilde{U}^{j_{0}})+E(\widetilde{r_{n}})+o_{n}(1). \end{equation*}

    Applying the lower semi-continuity to norm, together with \lim_{n\rightarrow \infty}\int|\widetilde{r_{n}}|^{p+1}dx = 0 , we know \liminf_{n\rightarrow \infty} E(\widetilde{r_{n}})\geq 0 . Thus, it follows from \|\widetilde{U}^{j_{0}}\|_{2}^{2} = c that

    \begin{eqnarray*} m(c) = \liminf\limits_{n\rightarrow \infty} E(u_{n})&\geq & \liminf\limits_{n\rightarrow \infty}(E(\widetilde{U}^{j_{0}})+E(\widetilde{r_{n}}))\\ &\geq&E(\widetilde{U}^{j_{0}})+\liminf\limits_{n\rightarrow \infty}E(\widetilde{r_{n}})\\ &\geq&E(\widetilde{U}^{j_{0}})\geq m(c), \end{eqnarray*}

    which indicates that E(\widetilde{U}^{j_{0}}) = m(c). Thus the proof is completed.

    We now show that the standing waves to Eq (1.1) are orbitally stable with the help of Theorem 4.2.

    Proof of Theorem 1.5. According to Remark 2.2, we are aware the existence of unique global solution u(t, x) to Eq (1.1) under the assumptions. We prove this conclusion by contradiction. Suppose that there exists a sequence \{u_{0, n}\}_{n = 1}^{\infty} satisfying

    \begin{equation} \inf\limits_{\varphi\in M_{c}}\|u_{0,n}-\varphi\|_{ \Sigma} < \frac{1}{n}, \end{equation} (4.12)

    and assume there exist a time sequence \{t_{n}\}_{n = 1}^{\infty} and a positive constant \varepsilon_{0} such that the solution sequence \{u_{n}(t_{n})\}_{n = 1}^{\infty} to Eq (1.1) fulfils

    \begin{equation} \inf\limits_{\varphi\in M_{c}}\|u_{n}(t_{n})-\varphi\|_{ \Sigma}\geq \varepsilon_{0}. \end{equation} (4.13)

    Next we show that there is v\in M_{c} satisfying

    \begin{equation} \lim\limits_{n\rightarrow \infty}\|u_{0,n}-v\|_{ \Sigma} = 0. \end{equation} (4.14)

    In fact, from (4.12), we can find a sequence \{v_{n}\}_{n = 1}^{\infty}\subset M_{c} such that

    \begin{equation} \|u_{0,n}-v_{n}\|_{ \Sigma} < \frac{2}{n}. \end{equation} (4.15)

    Since \{v_{n}\}_{n = 1}^{\infty}\subset M_{c} , then \{v_{n}\} is a minimizing sequence to (1.11). In addition, applying the assertion in Theorem 4.2, one can conclude that there exists v\in M_{c} fulfilling

    \begin{equation} \lim\limits_{n\rightarrow \infty}\|v_{n}-v\|_{ \Sigma} = 0. \end{equation} (4.16)

    Thus, (4.14) follows immediately from (4.15) and (4.16). Then we have

    \begin{equation*} \lim\limits_{n\rightarrow \infty}\|u_{0,n}\|_{2}^{2} = \|v\|_{2}^{2} = c^{2}, \lim\limits_{n\rightarrow \infty} E(u_{0,n}) = E(v) = m(c). \end{equation*}

    In addition, we deduce from (2.1) that

    \begin{equation*} \lim\limits_{n\rightarrow \infty}\|u_{n}(t_{n})\|_{2}^{2} = c^{2}, \lim\limits_{n\rightarrow \infty} E(u_{n}(t_{n})) = E(v) = m(c). \end{equation*}

    Moreover, thanks to Theorem 4.2, one knows that \{u_{n}(t_{n})\}_{n = 1}^{\infty} is bounded in \Sigma . Taking \widetilde{u_{n}} = \frac{cu_{n}(t_{n})}{\|u_{n}(t_{n})\|_{2}} , one has \|\widetilde{u_{n}}\|_{2} = c and

    \begin{eqnarray*} E(\widetilde{u_{n}})& = &\frac{c^{2}}{2\|u_{n}(t_{n})\|_{2}^{2}}\|u_{n}(t_{n})\|_{ \Sigma}^{2}-\frac{1}{p+1}\frac{c^{p+1}}{\|u_{n}(t_{n})\|_{2}^{p+1}}\int |u_{n}(t_{n})|^{p+1}dx\\ & = &\frac{c^{2}}{\|u_{n}(t_{n})\|_{2}^{2}}E(u_{n}(t_{n}))+\frac{1}{p+1}(\frac{c^{2}}{\|u_{n}(t_{n})\|_{2}^{2}}-\frac{c^{p+1}}{\|u_{n}(t_{n})\|_{2}^{p+1}})\int |u_{n}(t_{n})|^{p+1}dx, \end{eqnarray*}

    which yields that

    \begin{equation*} \lim\limits_{n\rightarrow \infty}E(\widetilde{u_{n}}) = E(u_{n}(t_{n})) = m(c). \end{equation*}

    Therefore, \widetilde{u_{n}} also becomes a minimizing sequence to (1.11). Then by Theorem 4.2, one can find an element \widetilde{v}\in M_{c} such that

    \begin{equation*} \widetilde{u_{n}}\rightarrow \widetilde{v}\; in\; \Sigma. \end{equation*}

    Then, one has

    \begin{equation*} \widetilde{u_{n}}-u_{n}(t_{n})\rightarrow 0\; in\; \Sigma. \end{equation*}

    It is clear that

    \begin{equation*} u_{n}(t_{n})\rightarrow \widetilde{v}\; in\; \Sigma, \end{equation*}

    which is contradictory to (4.13). Thus the conclusion holds true.

    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+\frac{4}{N} \leq p < \frac{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\in[0, \infty) if the initial data u_{0}\in K_{+}\cup R_{+} , while the solution u(t, x) blows up in finite time if u_{0}\in K and |x|u_{0}\in L^{2}(\mathbb{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+\frac{4}{N} or p = 1+\frac{4}{N} with \|u_{0}\|_{2} < \|Q\|_{2} , where Q(x) is the ground state to the critical elliptic equation (1.10).

    The author declares she has not used Artificial Intelligence (AI) tools in the creation of this article.

    This work is partially supported by Jiangxi Provincial Natural Science Foundation (Grant Nos. 20212BAB211006 and 20232BAB201009) and National Natural Science Foundation of China (Grant No. 11761032). The authors are willing to express their sincere gratitude to the anonymous reviewers and editors for their helpful comments and suggestions leading to the improvement of this manuscript.

    The authors declare there is no conflict of interest.



    [1] Y. Wu, C. Chen, Y. Chan, The outbreak of COVID-19: An overview, J. Chin. Med. Assoc., 83 (2020), 217–220. doi: 10.1097/JCMA.0000000000000270
    [2] C. Huang, Y. Wang, X. Li, L. Ren, J. Zhao, Y. Hu, et al., Clinical features of patients infected with 2019 novel coronavirus in Wuhan, China, Lancet, 395 (2020), 497–506. doi: 10.1016/S0140-6736(20)30183-5
    [3] N. Davies, S. Abbott, R. Barnard, C. Jarvis, A. Kucharski, J. Munday, et al., Estimated transmissibility and impact of SARS-CoV-2 lineage B.1.1.7 in England, Science, 372 (2021), 497–506.
    [4] S. Madhi, V. Baillie, C. Cutland, M. Voysey, A. Koen, L. Fairlie, et al., Efficacy of the ChAdOx1 nCoV-19 Covid-19 Vaccine against the B.1.351 Variant, N. Engl. J. Med., 384 (2021), 1885–1898. doi: 10.1056/NEJMoa2102214
    [5] T. Tada, H. Zhou, B. Dcosta, M. Samanovic, M. Mulligan, N. Landau, The Spike Proteins of SARS-CoV-2 B.1.617 and B.1.618 Variants Identified in India Provide Partial Resistance to Vaccine-elicited and Therapeutic Monoclonal Antibodies, bioRxiv, 2021.
    [6] H. Tegally, E. Wilkinson, M. Giovanetti, A. Iranzadeh, V. Fonseca, J. Giandhari, et al., Detection of a SARS-CoV-2 variant of concern in South Africa, Nature, 592 (2001), 438–443.
    [7] R. Chen, Randomness for Nucleotide Sequences of SARS-CoV-2 and Its Related Subfamilies, Comput. Math. Methods Med., 2020 (2020), 1–8.
    [8] R. Chen, Distance matrices for nitrogenous bases and amino acids of SARS-CoV-2 via structural metric, J. Bioinf. Comput. Biol., 2021 (2021), 2150011.
    [9] C. Courtemanche, J. Garuccio, A. Le, J. Pinkston, A. Yelowitz, Strong Social Distancing Measures In The United States Reduced The COVID-19 Growth Rate: Study evaluates the impact of social distancing measures on the growth rate of confirmed COVID-19 cases across the United States, Health Aff., 39 (2020), 1237–1246. doi: 10.1377/hlthaff.2020.00608
    [10] R. Chen, On COVID-19 country containment metrics: a new approach, J. Decis. Syst., 2021 (2021), 1–18.
    [11] R. Chen. Track the dynamical features for mutant variants of COVID-19 in the UK, Math. Biosci. Eng., 18 (2021), 4572–4585.
    [12] J. Nick, M. Max, R. Peter, COVID-19 second wave mortality in Europe and the United States, Chaos, 31 (2021), 031105. doi: 10.1063/5.0041569
    [13] M. Cesar, B. Eduardo, S. Rafael, M. Carlos, B. Marcus, Strong correlations between power-law growth of COVID-19 in four continents and the inefficiency of soft quarantine strategies, Chaos, 30 (2020), 041102. doi: 10.1063/5.0009454
    [14] R. Omori, K. Mizumoto, G. Chowell, Changes in testing rates could mask the novel coronavirus disease (COVID-19) growth rate, Int. J. Infect. Dis., 94 (2020), 116-118. doi: 10.1016/j.ijid.2020.04.021
    [15] J. Machado, A. Lopes, Rare and extreme events: the case of COVID-19 pandemic, Nonlinear Dyn., 100 (2020), 2953–2972. doi: 10.1007/s11071-020-05680-w
    [16] J. Nick, M. Max, Trends in COVID-19 prevalence and mortality: A year in review, Phys. D, 425 (2021), 132968. doi: 10.1016/j.physd.2021.132968
    [17] J. Stübinger, L. Schneider, Epidemiology of coronavirus COVID-19: Forecasting the future incidence in different countries, in Healthcare, Multidisciplinary Digital Publishing Institute, 8 (2020), 99.
    [18] Z. Vasilios, P. G. Stavros, G. Zoe, Z. Efthimios, Clustering analysis of countries using the COVID-19 cases dataset, Data Brief, 31 (2020), 105787. doi: 10.1016/j.dib.2020.105787
    [19] R. Chen, Whether Economic Freedom Is Significantly Related to Death of COVID-19, J. Healthcare Eng., 2020 (2020), 1–9.
    [20] J. Nick, M. Max, Association between COVID-19 cases and international equity indices, Phys. D, 417 (2021), 132809. doi: 10.1016/j.physd.2020.132809
    [21] S. L. Arthur, An Introduction to Fourier Analysis. Available from: https://www.math.bgu.ac.il/\tilde{\mathrm{l}}eonid/ode_9171_files/Schoenstadt_Fourier_PDE.pdf.
    [22] H. B. Kenneth, Principles of Fourier Analysis, CRC Press, 2016.
    [23] Our World in Data, Biweekly change in confirmed COVID-19 cases, 2021. Available from: https://ourworldindata.org/grapher/biweekly-growth-covid-cases.
    [24] Our World in Data, Biweekly change in confirmed COVID-19 deaths, 2021. Available from: https://ourworldindata.org/grapher/biweekly-change-covid-death.
  • Reader Comments
  • © 2021 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(3200) PDF downloads(64) Cited by(0)

Figures and Tables

Figures(6)  /  Tables(9)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog