Most current deep learning-based news headline generation models only target domain-specific news data. When a new news domain appears, it is usually costly to obtain a large amount of data with reference truth on the new domain for model training, so text generation models trained by traditional supervised approaches often do not generalize well on the new domain—inspired by the idea of transfer learning, this paper designs a cross-domain transfer text generation method based on domain data distribution alignment, intermediate domain redistribution, and zero-shot learning semantic prototype transduction, focusing on the data problem with no reference truth in the target domain. Eventually, the model can be guided by the most relevant source domain data to generate headlines from the target domain news text through the semantic correlation between source and target domain data during the training process of generating headlines for the target domain news, even without any reference truth of the news headlines in the target domain, which improves the usability of the text generation model in real scenarios. The experimental results show that the proposed transfer text generation method has a good domain transfer effect and outperforms other existing transfer text generation methods in various text generation evaluation indexes, proving the proposed method's effectiveness in this paper.
Citation: Ting-Huai Ma, Xin Yu, Huan Rong. A comprehensive transfer news headline generation method based on semantic prototype transduction[J]. Mathematical Biosciences and Engineering, 2023, 20(1): 1195-1228. doi: 10.3934/mbe.2023055
[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 |
Most current deep learning-based news headline generation models only target domain-specific news data. When a new news domain appears, it is usually costly to obtain a large amount of data with reference truth on the new domain for model training, so text generation models trained by traditional supervised approaches often do not generalize well on the new domain—inspired by the idea of transfer learning, this paper designs a cross-domain transfer text generation method based on domain data distribution alignment, intermediate domain redistribution, and zero-shot learning semantic prototype transduction, focusing on the data problem with no reference truth in the target domain. Eventually, the model can be guided by the most relevant source domain data to generate headlines from the target domain news text through the semantic correlation between source and target domain data during the training process of generating headlines for the target domain news, even without any reference truth of the news headlines in the target domain, which improves the usability of the text generation model in real scenarios. The experimental results show that the proposed transfer text generation method has a good domain transfer effect and outperforms other existing transfer text generation methods in various text generation evaluation indexes, proving the proposed method's effectiveness in this paper.
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|p−1u,(t,x)∈[0,T)×RN,u(0,x)=u0,x∈RN, | (1.1) |
where N>2 represents the spatial dimension, 0<T≤∞, u(t,x):[0,T)×RN→C, 1<p<N+2N−2 and V(x)=∑ki=1x2i(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)=∑Ni=1ω2ix2i, ω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
Σ={u∈H1(RN),∫RNk∑i=1x2i|u|2dx<∞} | (1.2) |
with the norm
‖u‖Σ=(‖∇u‖2L2(RN)+‖u‖2L2(RN)+∫RNk∑i=1x2i|u|2dx)12, for1≤k<N. |
The energy functional associated to Eq (1.1) is written as
E(u)=12∫RN(|∇u|2+k∑i=1x2i|u|2)dx−1p+1∫RN|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(1≤k<N), it leads to the fact that the embedding from Σ (see (1.2)) to Lr with r∈[2,2NN−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 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+4N−1≤p<N+2(N−2)+ and N≥2. 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|p−1u (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)∩{u∈L2(RN),∫RN∑ki=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+4N≤p<N+2N−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 L2-subcritical and L2-critical cases 1<p≤1+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+4N≤p<N+2N−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
I(u)=12∫RN(|∇u|2+|u|2+k∑i=1x2i|u|2)dx−1p+1∫RN|u|p+1dx, | (1.4) |
S(u)=∫RN|∇u|2+|u|2dx−∫RN|u|p+1dx, | (1.5) |
P(u)=∫RN|∇u|2dx−N(p−1)2(p+1)∫RN|u|p+1dx, | (1.6) |
and set the following two minimizing problems by
dM=infu∈MI(u), | (1.7) |
dB=infu∈BI(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+4N≤p<N+2N−2.
Theorem 1.1. Suppose 1+4N≤p<N+2N−2 and u0∈K+∪R+, then the solution u(t,x) to Eq (1.1) exists globally in time t∈[0,∞).
Theorem 1.2. Suppose 1+4N≤p<N+2N−2, and assume u0∈K with |x|u0∈L2(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+4N≤p<N+2N−2, we see that
{u∈Σ∖{0},I(u)<d}=K+∪R+∪K, |
which indicates the conclusion of Theorem 1.1 is sharp if |x|u0∈L2(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+Q−Q4NQ=0,x∈RN. | (1.10) |
(iii) When N=3 and 1+4N≤p<N+2N−2, 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+4N≤p<N+2N−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 1<p≤1+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)φ−|φ|p−1φ=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<‖Q‖L2(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φ∈A‖u0−φ‖Σ<δ, |
then the corresponding solution u(t,x) to Eq (1.1) satisfies
infφ∈A‖u(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<‖Q‖L2(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(1≤k<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,2NN−2) 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,2NN−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−1u 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<p≤1+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(1≤k<N).
Throughout this article, for the sake of convenience, we use the abbreviation ∫⋅dx to replace ∫RN⋅dx and denote ‖⋅‖Lp(RN)(1<p<N+2N−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.
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+2N−2. 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 limt→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=‖u0‖2,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 ‖Q‖2 is global. On the other hand, if the mass of initial data ‖u0‖2≥‖Q‖2, then finite time blow-up solutions exist, see [23]. Furthermore, in the case 1+4N<p<N+2N−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 u0∈Σ and u(t,x) is the corresponding solution to problem (1.1) in C([0,T);Σ). Let |x|u0∈L2(RN) and take Γ(t)=∫|x|2|u(t,x)|2dx, then we get that
Γ′′(t)=8∫(|∇u|2−k∑i=1x2i|u|2)dx−4N(p−1)p+1∫|u|p+1dx. |
Now, we recall some useful lemmas.
Lemma 2.4. ([5]) Let 1<p<N+2N−2, then for all u∈H1(RN), we have the following sharp Gagliardo-Nirenberg inequality
∫|u|p+1dx≤CGN(∫|∇u|2dx)N(p−1)4(∫|u|2dx)p+12−N(p−1)4. |
In particular, in the mass-critical case p=1+4N, CGN=N+2N‖Q(x)‖−4N2, where Q(x) is the positive ground state solution to Eq (1.10).
Lemma 2.5. ([25]) For 1≤k<N, let
Λ0=inf∫|w|2dx=1(∫|∇w|2dx+∫k∑i=1x2i|w|2dx) |
and
λ0=inf∫Rk|u|2dx1dx2⋯dxk=1(∫Rk|∇u|2dx1dx2⋯dxk+∫Rkk∑i=1x2i|u|2dx1dx2⋯dxk). |
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 1≤k<N, 1<p≤1+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 RN−k and a sequence {Uj}∞j=1 in Σ satisfying
(i) for each m≠j, |xmn−xjn|→+∞, as n→∞;
(ii) for each l≥1 and x∈RN, we have
un(x)=l∑j=1τxjnUj(x)+rln, |
with lim supn→∞‖rln‖q→0 as l→∞ for any q∈[2,N+2N−2), where τyUj(x)=Uj(x1,⋯,xk,xk+1−y1,⋯,xN−yN−k) for x=(x1,⋯,xN)∈RN and y=(y1,⋯,yN−k)∈RN−k. In addition,
‖un‖22=l∑j=1‖Uj‖22+‖rln‖22+o(1), | (2.2) |
∫V(x)|un|2dx=l∑j=1∫V(x)|Uj|2dx+∫V(x)|rln|2dx+o(1), | (2.3) |
‖∇un‖22=l∑j=1‖∇Uj‖22+‖∇rln‖22+o(1), | (2.4) |
‖un‖p+1p+1=l∑j=1∫|τxjnUj|p+1dx+‖rln‖p+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+4N≤p<N+2N−2, 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 x⋅∇u, one has the following Poho˘zaev identity
−12(N−2)∫|∇u|2dx+Np+1∫|u|p+1dx−N2∫|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)=λ2p−1v(t,λx) for λ>0, from (1.5) and (1.6), we obtain
P(vλ)=λ2+2p−Np+Np−1∫|∇v|2−N(p−1)2(p+1)|v|p+1dx,S(vλ)=λ2+2p−Np+Np−1∫|∇v|2−|v|p+1dx+λ4−Np+Np−1∫|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λ0∈M, which means M≠∅.
Lemma 3.2. Let 1+4N≤p<N+2N−2, then dM>0.
Proof. Take u∈M, it's clear that u≠0. Since P(u)=0, one has
I(u)=(12−2N(p−1))∫|∇u|2dx+12∫|u|2dx+12∫k∑i=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+2N−2.
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=1∈M satisfying I(un)→0, S(un)<0 and P(un)=0 as n→∞. (3.2) leads to
∫V(x)|un|2dx→0,∫|un|2dx→0,asn→∞, | (3.3) |
due to p=1+4N. Applying Lemma 2.4, we obtain
∫|un|p+1dx≤CGN(∫|∇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+2N−2. It follows from S(u)<0 and the continuous embedding H1(RN)↪Lp+1(RN) that
∫|∇u|2+|u|2dx<∫|u|p+1dx≤C(∫|∇u|2+|u|2dx)p+12. |
Thus, we derive
∫|∇u|2+|u|2dx≥C>0. | (3.4) |
Keeping in mind that 1+4N<p<N+2N−2 and combining (3.2) with (3.4), one has
I(u)≥C>0,foranyu∈M, |
which means dM>0 for 1+4N<p<N+2N−2. Thus we claim that dM>0 for 1+4N≤p<N+2N−2.
Lemma 3.3. Suppose 1+4N≤p<N+2N−2, 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)=(12−1p+1)∫|∇u|2+|u|2dx+12∫k∑i=1x2i|u|2dx. | (3.5) |
Asserting Sobolev embedding inequality into S(u)=0, we get
∫|∇u|2+|u|2dx≤C(∫|∇u|2+|u|2dx)p+12. | (3.6) |
For 1+4N≤p<N+2N−2 and u≠0, one is able to infer from (3.5) that
∫(|∇u|2+|u|2)dx≥C>0. |
Thus, when 1+4N≤p<N+2N−2, 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+4N≤p<N+2N−2, then K, K+, R+ and R− are all invariant sets of Eq (1.1). That is, if u0∈K, 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 u0∈K 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′,⋅))≥dM≥d. 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 u0∈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
∫(|∇u|2+|u|2+k∑i=1x2i|u|2)dx<2(p+1)p−1d. |
From Proposition 2.1, one can know that the solution u(t,x) is global in time t∈[0,∞).
Next we discuss the case u0∈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
(12−2N(p−1))∫|∇u|2dx+12∫|u|2dx+12∫k∑i=1x2i|u|2dx<d. | (3.8) |
In what follows, we shall give out the proof on the global existence of solution in two situations. One is the L2-critical case, the other one is the L2-supercritical case.
We first discuss the L2-critical case p=1+4N. By (3.8), we get
12∫|u|2dx+12∫k∑i=1x2i|u|2dx<d. | (3.9) |
Set uλ(t,x)=λNp+1u(t,λx), then (1.6) gives us that
P(uλ)=λ4N+2∫|∇u|2dx−NN+2∫|u|p+1dx. |
Since P(u)>0, then one can find 0<λ∗<1 satisfying P(uλ∗)=0. Putting (1.4) and (1.6) together, we obtain
I(uλ∗)=12∫(λ−2NN+2∗|u|2+λ−4(N+1)N+2∗k∑i=1x2i|u|2)dx. |
Thus, from (3.9), one has that
I(uλ∗)<λ−4(N+1)N+2∗d. | (3.10) |
For S(uλ∗), only two possibilities exist. One case is S(uλ∗)<0, and the remaining one is S(uλ∗)≥0. For the case S(uλ∗)<0, since P(uλ∗)=0, together (1.7) with (1.9), one can show that
I(uλ∗)≥dM≥d>I(u). |
Then we have
(1−λ4N+2∗)∫|∇u|2dx+(1−λ−4(N+1)N+2∗)∫k∑i=1x2i|u|2dx+(1−λ−2NN+2∗)∫|u|2dx<0. | (3.11) |
Thus, from (3.9) and (3.11), one has
∫(|∇u|2+k∑i=1x2i|u|2+|u|2)dx<C. | (3.12) |
For S(uλ∗)≥0, it follows from (3.10) that
I(uλ∗)−1p+1S(uλ∗)<λ−4(N+1)N+2∗d, |
which implies
p−12(p+1)λ−2NN+2∗∫λ2∗|∇u|2+|u|2dx+12λ−4(N+1)N+2∗∫k∑i=1x2i|u|2dx<λ−4(N+1)N+2∗d. |
Therefore,
∫|∇u|2+|u|2+k∑i=1x2i|u|2dx<C. | (3.13) |
Thus, for p=1+4N, (3.12) and (3.13) imply that the solution u(t,x) is uniformly bounded in Σ for all t∈[0,T). According to Proposition 2.1, we derive the global existence of u(t,x) in time t∈[0,∞).
We now argue the case 1+4N<p<N+2N−2. It is easy to see from (3.8) that
∫|∇u|2+k∑i=1x2i|u|2+|u|2dx<C. |
Therefore, for 1+4N≤p<N+2N−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,∞).
Proof of Theorem 1.2. Suppose u0∈K and |x|u0∈L2(RN), 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)∈K and |x|u(t,x)∈L2(RN) when t∈[0,T). It follows from the virial identity (see Proposition 2.3) and (1.6) that
Γ′′(t)<8P(u(t,⋅)),fort∈[0,T). | (3.14) |
Thus, for 0≤t<T, u fulfils that S(u)<0 and P(u)<0. For μ>0, we take uμ=μ3p+1u(μx), then
S(uμ)=μ5−pp+1∫|∇u|2dx+μ3(1−p)p+1∫|u|2dx−∫|u|p+1dx,P(uμ)=μ5−pp+1∫|∇u|2dx−N(p−1)2(p+1)∫|u|p+1dx. |
Owing to 1+4N≤p<N+2N−2 and P(u)<0, then there must exist μ∗>1 fulfilling P(uμ∗)=0, and P(uμ)<0 for 1≤μ<μ∗. When 1≤μ<μ∗, due to S(u)<0, S(uμ) may have the following two cases:
(i) S(uμ)<0 for 1≤μ<μ∗;
(ii) There is 1<θ≤μ∗ satisfying S(uθ)=0.
Concerning the first situation (i), we have P(uμ∗)=0 and S(uμ∗)<0, then uμ∗∈M. Based on (1.7) and (1.9), we discover
I(uμ∗)≥dM>d>I(u). |
Furthermore, one has
I(u)−I(uμ∗)=12(1−μ5−pp+1∗)∫|∇u|2dx+12(1−μ1−5pp+1∗)∫k∑i=1x2i|u|2dx+ 12(1−μ−3(p−1)p+1∗)∫|u|2dx,P(u)−P(uμ∗)=(1−μ5−pp+1∗)∫|∇u|2dx. |
Due to the fact μ∗>1 and 1+4N≤p<N+2N−2, we derive
I(u)−I(uμ∗)≥12[P(u)−P(uμ∗)]=12P(u). | (3.15) |
For the case (ii), we have uθ∈B. Thus, we deduce from (3.15) and (1.9) that
I(uθ)≥dB≥d. |
And so, we could get
I(u)−I(uθ)≥12[P(u)−P(uθ)]≥12P(u). | (3.16) |
Since I(uμ∗)≥d, I(uθ)≥d, combining (3.15) with (3.16), we conclude
P(u)<2[I(u)−d]. | (3.17) |
From (3.14), (3.17), (2.1) and u0∈K, one has the following estimate
Γ′′(t)<8P(u)≤16[I(u0)−d]<0. |
Hence there exists 0<T<∞ satisfying Γ(T)=0. Then using Lemma 4.2 in [17], one obtains
limt→T‖u‖Σ=∞, |
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 L2-subcritical and L2-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≤k<N and 1<p≤1+4N. Assume un is a minimizing sequence of (1.11), then there must exist δ>0 meeting
lim infn→∞∫|un|p+1dx>δ. | (4.1) |
Proof. Assume by contradiction that there is a subsequence unj fulfilling
limj→∞∫|unj(x)|p+1dx=0. |
This, together with the definition of m(c), deduces that
m(c)=limj→∞E(unj)=limj→∞[12∫(|∇unj|2+k∑i=1x2i|unj|2)dx−1p+1∫|unj|p+1dx]=limj→∞12∫(|∇unj|2+k∑i=1x2i|unj|2)dx≥limj→∞inf∫|unj|2dx=c212∫(|∇unj|2+k∑i=1x2i|unj|2)dx. | (4.2) |
Taking vnj=unjc, then (4.2) can be rewritten as
m(c)=limj→∞E(unj)≥limj→∞inf∫|vnj|2dx=1c22∫(|∇vnj|2+k∑i=1x2i|vnj|2)dx≥Λ02c2, | (4.3) |
where the last inequality according to Lemma 2.5. Furthermore, in view of the argument that the embedding H={v∈H1(Rk),∫∑ki=1x2i|v|2dx<∞}↪L2(Rk) is compact by Lemma 2.5, then there exists some τ∈H1(Rk) with ∫Rk|τ|2dx=1 such that λ0 is achieved. Let ψ∈H1(RN−k) satisfy ∫RN−k|ψ|2dx=c2 and set
uλ(x)=τ(x1,⋯,xk)ψλ(xk+1,⋯,xN), |
where ψλ(xk+1,⋯,xN)=λN−k2ψ(λxk+1,⋯,λxN). Then for any λ>0, we can deduce uλ∈S(c), combining this fact and Lemma 2.5, we see that
E(uλ)=12(∫|∇uλ|2+k∑i=1x2i|uλ|2dx)−1p+1∫|uλ|p+1dx=I1+I2−1p+1∫|uλ|p+1dx, | (4.4) |
where
I1=12∫|uλ|2dx=12(c2∫Rk|∇x1⋯xkτ(x1,⋯,xk)|2dx1⋯dxk+λ2∫RN−k|∇xk+1⋯xN−kψλ|2dxk+1⋯dxN), |
and
I2=12∫k∑i=1x2i|uλ|2dx=c22∫Rk|k∑i=1x2iτ(x1,x2,⋯,xk)|2dx1⋯dxk, |
which implies that (4.4) can be written as
E(uλ)=12(c2∫Rk|∇x1⋯xkτ(x1,⋯,xk)|2dx1⋯dxk+λ2∫RN−k|∇xk+1⋯xN−kψλ|2dxk+1⋯dxN)+c22∫Rk|k∑i=1x2iτ(x1,x2,⋯,xk)|2dx1⋯dxk−1p+1∫RN|τ(x1,⋯,xk)|p+1|ψλ(xk+1,⋯,xN)|p+1dx=∫RN−k|∇xk+1⋯xNψλ|dxk+1⋯dxN+Λ02c2−1p+1∫RN|τ(x1,⋯,xk)|p+1|ψλ(xk+1,⋯,xN)|p+1dx=λ22∫RN−k|∇xk+1⋯xNψ|dxk+1⋯dxN+Λ02c2−λ(N−k)(p−1)2p+1∫RN|τ(x1,⋯,xk)|p+1|ψ(xk+1,⋯,xN)|p+1dx<Λ02c2, |
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] | X. Ao, X. Wang, L. Luo, PENS: A dataset and generic framework for personalized news headline generation, in Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 1 (2021), 82–92. https://doi.org/10.18653/v1/2021.acl-long.7 |
[2] |
F. Z. Zhuang, P. Luo, Q. He, Z. Z. Shi, Survey on transfer learning, J. Software, 26 (2015), 26–39. https://doi.org/10.13328/j.cnki.jos.004631 doi: 10.13328/j.cnki.jos.004631
![]() |
[3] | H. Choi, J. Kim, S. Joe, Analyzing Zero-shot cross-lingual transfer in supervised NLP tasks, in 2020 25th International Conference on Pattern Recognition (ICPR), (2021), 9608–9613. https://doi.org/10.1109/icpr48806.2021.9412570 |
[4] |
W. Wang, V. W. Zheng, H. Yu, A survey of Zero-shot learning: Settings, methods, and applications, ACM Trans. Intell. Syst. Technol., 10 (2019), 1–37. https://doi.org/10.1145/3293318 doi: 10.1145/3293318
![]() |
[5] |
N. Y. Wang, Y. X. Ye, L. Liu, L. Z. Feng, T. Bao, T. Peng, Advances in deep learning-based language modeling research, J. Software, 32 (2021), 1082–1115. https://doi.org/10.13328/j.cnki.jos.006169 doi: 10.13328/j.cnki.jos.006169
![]() |
[6] | S. Bae, T. Kim, J. Kim, Summary level training of sentence rewriting for abstractive summarization, in Proceedings of the 2nd Workshop on New Frontiers in Summarization, (2019), 10–20. https://doi.org/10.18653/v1/d19-5402 |
[7] | K. Krishna, B. V. Srinivasan, Generating topic-oriented summaries using neural attention, in Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 1 (2018), 1697–1705. https://doi.org/10.18653/v1/n18-1153 |
[8] |
T. Ma, H. Wang, Y. Zhao, Topic-based automatic summarization algorithm for Chinese short text, Math. Biosci. Eng., 17 (2020), 3582–3600. https://doi.org/10.3934/mbe.2020202 doi: 10.3934/mbe.2020202
![]() |
[9] | S. Narayan, J. Maynez, J. Adamek, Stepwise extractive summarization and planning with structured transformers, preprint, arXiv: 1810.04805. |
[10] | A. See, P. J. Liu, C. D. Manning, Get to the point: Summarization with pointer-generator networks, in Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, 1 (2017), 1073–1083. https://doi.org/10.18653/v1/p17-1099 |
[11] | A. Vaswani, N. Shazeer, N. Parmar, J. Uszkoreit, L. Jones, A. N. Gomez, et al., Attention is all you need, in Advances in Neural Information Processing Systems, (2017), 1–30. |
[12] |
P. F. Du, X. Y. Li, Y. L. Gao, Survey on multimodal visual language representation learning, J. Software, 32 (2021), 327–348. https://doi.org/10.13328/j.cnki.jos.006125 doi: 10.13328/j.cnki.jos.006125
![]() |
[13] | S. Golovanov, R. Kurbanov, S. Nikolenko, Large-scale transfer learning for natural language generation, in Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, (2019), 6053–6058. https://doi.org/10.18653/v1/p19-1608 |
[14] | J. J. Huang, P. W. Li, M. Peng, Q. Q. Xie, C. Xu, Research on deep learning-based topic models, Chin. J. Comput., 43 (2020), 827–855. |
[15] |
N. Dethlefs, Domain transfer for deep natural language generation from abstract meaning representations, IEEE Comput. Intell. Mag., 12 (2017), 18–28. https://doi.org/10.1109/mci.2017.2708558 doi: 10.1109/mci.2017.2708558
![]() |
[16] |
X. Qiu, T. Sun, Y. Xu, Pre-trained models for natural language processing: A survey, Sci. Chin. Technol. Sci., 63 (2020), 1872–1897. https://doi.org/10.1109/iceib53692.2021.9686420 doi: 10.1109/iceib53692.2021.9686420
![]() |
[17] | C. Raffel, N. Shazeer, A. Roberts, Exploring the limits of transfer learning with a unified text-to-text transformer, J. Mach. Learn. Res., 21 (2020), 1–67. |
[18] | M. Lewis, Y. Liu, N. Goyal, BART: Denoising sequence-to-sequence pre-training for natural language generation, translation, and comprehension, in Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, (2020), 7871–7880. https://doi.org/10.18653/v1/2020.acl-main.703 |
[19] | J. Zhang, Y. Zhao, M. Saleh, PEGASUS: Pre-training with extracted gap-sentences for abstractive summarization, in International Conference on Machine Learning, (2020), 11328–11339. |
[20] |
Z. C. Zhang, M. Y. Zhang, T. Zhou, Pre-trained language model augmented adversarial training network for Chinese clinical event detection, Math. Biosci. Eng, 17 (2020), 2825–2841. https://doi.org/10.3934/mbe.2020157 doi: 10.3934/mbe.2020157
![]() |
[21] |
S. Chen, L. Han, X. Liu, Subspace distribution adaptation frameworks for domain adaptation, IEEE Trans. Neural Networks Learn. Syst., 31 (2020), 5204–5218. https://doi.org/10.1109/tnnls.2020.2964790 doi: 10.1109/tnnls.2020.2964790
![]() |
[22] |
H. Li, S. J. Pan, S. Wang, Heterogeneous domain adaptation via nonlinear matrix factorization, IEEE Trans. Neural Networks Learn. Syst., 31 (2020), 984–996. https://doi.org/10.1109/tnnls.2019.2913723 doi: 10.1109/tnnls.2019.2913723
![]() |
[23] |
W. Zellinger, B. A. Moser, T. Grubinger, Robust unsupervised domain adaptation for neural networks via moment alignment, Inf. Sci., 483 (2019), 174–191. https://doi.org/10.1016/j.ins.2019.01.025 doi: 10.1016/j.ins.2019.01.025
![]() |
[24] | X. Glorot, A. Bordes, Y. Bengio, Domain adaptation for large-scale sentiment classification: A deep learning approach, in International Conference on Machine Learning, (2011), 513–520. |
[25] | J. Blitzer, M. Dredze, F. Pereira, Biographies, bollywood, boom-boxes, blenders: Domain adaptation for sentiment classification, in Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics, 7 (2007), 440–447. |
[26] | F. Wu, Y. Huang, Sentiment domain adaptation with multiple sources, in Proceedings of the 54th Annual Meeting of the Association of Computational Linguistics, (2016), 301–310, https://doi.org/10.18653/v1/p16-1029 |
[27] | J. Blitzer, R. McDonald, F. Pereira, Domain adaptation with structural correspondence learning, in Proceedings of the 2006 Conference on Empirical Methods in Natural Language Processing, (2006), 120–128. https://doi.org/10.3115/1610075.1610094 |
[28] |
J. Pan, X. Hu, P. Li, H. Li, W. He, Y. Zhang, Y. Lin, Domain adaptation via multi-layer transfer learning, Neurocomputing, 190 (2016), 10–24. https://doi.org/10.1016/j.neucom.2015.12.097 doi: 10.1016/j.neucom.2015.12.097
![]() |
[29] | P. Wei, R. Sagarna, Y. Ke, Y. S. Ong, C. K. Goh, Source-target similarity modelings for multi-source transfer gaussian process regression, in Proceedings of the 34th International Conference on Machine Learning, (2017), 3722–3731. |
[30] | N. Houlsby, A. Giurgiu, S. Jastrzebski, Parameter-efficient transfer learning for NLP, in PMLR, (2019), 2790–2799. |
[31] |
H. Zhang, L. Liu, Y. Long, Deep transductive network for generalized zero shot learning, Pattern Recogn., 105 (2020), 107370. https://doi.org/10.1016/j.patcog.2020.107370 doi: 10.1016/j.patcog.2020.107370
![]() |
[32] | T. Zhao, M. Eskenazi, Zero-shot dialog generation with cross-domain latent actions, in Proceedings of the 19th Annual SIGdial Meeting on Discourse and Dialogue, (2018), 1–10. https://doi.org/10.18653/v1/w18-5001 |
[33] | Z. Liu, J. Shin, Y. Xu, Zero-shot cross-lingual dialogue systems with transferable latent variables, preprint, arXiv: 1911.04081. |
[34] |
Ayana, S. Shen, Y. Chen, Zero-shot cross-lingual neural headline generation, IEEE/ACM Trans. Audio Speech Lang. Process., 26 (2018), 2319–2327. https://doi.org/10.1109/taslp.2018.2842432 doi: 10.1109/taslp.2018.2842432
![]() |
[35] | X. Duan, M. Yin, M. Zhang, Zero-shot cross-lingual abstractive sentence summarization through teaching generation and attention, in Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, (2019), 3162–3172. https://doi.org/10.18653/v1/p19-1305 |
[36] | J. Devlin, M. W. Chang, K. Lee, BERT: Pre-training of deep bidirectional transformers for language understanding, preprint, arXiv: 1810.04805. |
[37] |
X. T. Song, H. L. Sun, A review of neural network-based automatic source code abstraction techniques, J. Software, 33 (2022), 55–77. https://doi.org/10.13328/j.cnki.jos.006337 doi: 10.13328/j.cnki.jos.006337
![]() |
[38] |
P. J. Rousseeuw, Silhouettes: A graphical aid to the interpretation and validation of cluster analysis, J. Comput. Appl. Math., 20 (1987), 53–65. https://doi.org/10.1016/0377-0427(87)90125-7 doi: 10.1016/0377-0427(87)90125-7
![]() |
[39] | Z. Huang, P. Xu, D. Liang, TRANS-BLSTM: Transformer with bidirectional LSTM for language understanding, preprint, arXiv: 2003.07000. |
[40] | Y. Liu, M. Lapata, Text summarization with pretrained encoders, preprint, arXiv: 1908.08345. |
[41] | K. Yaser, R. Naren, K. R. Chandan, Deep transfer reinforcement learning for text summarization, in Proceedings of the 2019 SIAM International Conference on Data Mining, (2019), 675–683. https://doi.org/10.1137/1.9781611975673.76 |
[42] | K. Qian, Z. Yu, Domain adaptive dialog generation via meta learning, in Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, (2019), 2639–2649. https://doi.org/10.18653/v1/p19-1253 |
[43] | Y. S. Chen, H. H. Shuai, Meta-transfer learning for low-resource abstractive summarization, preprint, arXiv: 2102.09397. |