1. 引言
非线性薛定谔方程是量子力学的基本方程,它来源于量子场论。从数学的角度来看,它同时拥有与抛物线方程和双曲线方程类似的性质。今年来,非线性薛定谔方程受到了许多数学工作者的广泛关注。不仅因为它揭示了微观物理世界物质运动的基本规律,在非线性光学领域有着广泛的应用,而且因为有很多模型经简化后,都是一些确定的非线性薛定谔方程。利用数学工具,我们可以研究二次相互作用下一类非线性薛定谔方程。现在,许多学者开始研究了一类非线性薛定谔方程解的爆破性质和散射性质,并取得了重要的研究成果。
2022年,N. Noguera和A. Pastor ( [1] )研究了非线性薛定谔方程组(1.1)的解的存在性,他们证明了在5维和6维下,该系统方程组的爆破解的存在性,基于相关基态的质量和能量为系统的解的存在提供了足够的条件。在之前的研究成果中,已经证明了在6维下解的存在性。在过去的几年里,越来越多的人对具有二次相互作用的非线性薛定谔系统感兴趣(更具体地说,如 [2] [3] [4] )。
本文主要研究了如下的柯西问题:
(1.1)
在
时,即
次临界情况下,当该方程的初始解属于圆柱对称空间时,方程组的解在有限时间上爆破。这里
都是复函数,并且
表示为拉普拉斯算子,
都是实的常数,此外,
为非线性二次型增长函数。
2. 准备工作
本节为了更好地研究方程组(1.1)的爆破解,我们有以下假设(见 [1] ):
(H1)
(H2) 对于任意的
,
,并且存在一个常数
(H3) 存在一个函数
,使得
(H4) 存在一系列正常数
,并且对任意的
,
(H5) 如果F是3次的齐次函数,因此,对任意的
和
,
(H6) 下列不等式成立
(H7) 如果函数F在
上是实值函数,也就是说,如果
,那么
更重要的是,
在
的正锥上的非负函数,也就是说,对于
,
,
(H8) 函数F可以写成
的和,这里
在
,并且消失在超平面上,也就是说,对于任意的
,
,并且
,我们能得到
以及
,如果
对于
。
尽管我们不需要结果中的所有假设,但我们也假设(H1)~(H8)在本文中同样成立。特别的是,N。Noguera and A. Pastor [1] 已经研究了一些成果。假设(H1)和(H2)成立,则能得到系统(1.1)在五维和六维上的局部和全局适定性。更多的详细的细节在 [5] 里的定理3.9和定理3.10。通过假设(H3)~(H5)成立,我们可以建立以下质量的守恒:
和能量的守恒:
这里的符号
。
在介绍本文的主要结果之前,我们回顾了
是2次的齐次函数,并且在以下的伸缩变换中
我们可以知道,当
时,Sobolev空间
对于方程组(1.1)是临界的,因为它通过上述缩放会保持不变。为了继续我们的介绍,我们回顾了方程组(1.1)的解所需要满足的维里型恒等式。事实上,对于1 ≤ n ≤ 6,我们设
,其中
,并回顾以下的维里函数
这里
是方程组(1.1)的相关解,当初始数据
。因此,可以很清晰的得到
只要方程组(1.1)的解存在。
接下来,我们回顾了与方程组(1.1)相关的质量共振条件的概念。我们清楚地看到质量共振条件在方程组(1.1)的解所满足的维里型恒等式中起着重要作用。在 [1] 中,随着(H4)的一些修改,我们将有如下的假设,系统(1.1)满足所提供的质量共振的条件(参见( [1] )中的定义1.1),
(MR)
这里
。
正如我们所看到的,质量共振条件是系统质量之间的一种特殊关系,它在系统的求解中非常重要。例如,假设(MR)成立,则(1.5)右边的最后一项消失。因此,在质量共振条件下,可以简化维里恒等式的计算过程(例如,详见 [6] [7] [8] 和 [9] )。
我们使用C来定义一些常数,这些常数可能会逐行的变化。我们假设一个集合A,然后我们定义一个乘积
(或者
)。如果A是范数为
的一个Banach空间,那么
也是一个其标准范数由其和给出的一个Banach间。对于任何的复数
,
和
分别代表它的实部和虚部。此外,
表示其复数共轭部分。同时,我们设
。并且可以清晰的得到
,这代表在
中的矢量
的标准范数。对于
,我们有
,其中
和
。
这里变量
和
分别定义为:
这里空间定义为
,并且符号
代表了一般的Lebesgue空间和Sobolev空间。在
的情况下,我们将使用标准的符号即
。假设
定义为一阶齐
次的Sobolev空间。在
的情况下,
表示为临界的Sobolev指数。如果我们给出一个时间间隔I,则混合的空间
将通过以下范数得到:
当
和
时,有一些明显的修改。如果时间间隔I是隐藏的,则可以清晰的可以得到,我们通过
可以简便的定义
空间,其中它的范数是
。
接下来,为了更好的陈述我们的结果,我们引入一个圆柱对称的概念,在这里,我们定义
这里
,并且
。这里
代表在最后一个方向上具有有限方差的圆柱对称函数的空间。
下面给出本文需要的引理和假设条件(H1)~(H8)的重要结果。
引理2.1 (见 [5] )假设(H1)~(H7)成立。
1) 可以得到
(2.1)
特别的是,
2) 设
是定义在
上的一个复数函数,则
3) 存在
(2.2)
除此之外,F在
的正锥上是正的。
在 [1] 中,当
时,他们证明了当初始数据足够小时全局解的存在性。因此,我们需要选择具体的基态解。
首先,事实上,当
时,方程组(1.1)的驻波解是具有以下形式的特殊解
(2.3)
其中
,并且
是实值函数,在无穷大处衰减为零。特别的是,在
的规范不变条件的假设下,对于
,可以得到
其中
。此外,通过将(3.1)程组(1.1)中,我们知道
一定满足以下的半线性椭圆系统
(2.4)
通过引理2.1 (3),则(2.4)的能量泛函为
半线性椭圆系统(2.4)的基态解是能量泛函(2.5)的临界值。在继续之前,先引入以下方程
(2.5)
(2.6)
这里,我们设
本节的重点是证明方程组(1.1)爆破解的存在。为了给出我们结果的准确陈述。更准确地说,在( [1] )和( [5] )中,我们选择了一个特殊集合下的基态解,
当
时,我们设
,
。并且因此我们得到了6维下的所有基态的集合
。通过( [1] Lemma3.1),我们引入以下相关的方程:
3. 维里分析和维里估计
在本节中,我们陈述当
时,与方程组(1.1)相关的基态的一些必要的前提条件。然后利用它们得到Pohozaev泛函方程和Sobolev型不等式的一些估计。
首先,我们假设向量
的所有分量都是实值函数,通过使用引理2.1,我们将获得以下一般的临界Sobolev型不等式( [10] ):
(4.6)
这里
。那么我们得到
。在论文 [1] 中,这里最佳常数是
(4.7)
这里
是式(4.2)的基态解,
。
接下来,我们继续引入以下的Pohozaev泛函方程:
(3.3)
因此,我们可以得到以下引理。
引理3.1 ( [5] )假设
时,并且
是方程(2.3)的一个弱解。则我们有以下的等式成立:
(3.4)
(3.5)
和
(3.6)
其次,通过Pohozaev泛函方程(3.3)和能量泛函的定义,通过简便的计算,我们可以得到:
(3.7)
其中
(3.8)
因此,基于上述等式的基础上,可以得到,Pohozaev泛函方程(3.5)是严格负的。则引出以下引理。
引理3.2 ( [1] )当
时,在主要定理的假设下,存在
,使得
(3.9)
最后,介绍本节所需要的有关维里估计的主要引理。
引理3.3 ( [2] )设
,并且
是一个足够的平滑和衰减的函数。假设
是一个最大的存在区间。令
是方程组(1.1)的解,定义
(3.10)
则我们有对于所有的
,
(3.11)
其中
,并且我们设
通过简便的计算,我们可以改写
为
(3.12)
现在,介绍应用维里恒等式的主要引理。根据上述维里估计。我们得到了以下精细的圆柱对称局部维里估计。
引理3.5 假设
,并且
是方程组(1.1)定义在I上的一个
解,并且设
是定义在式(3.15)上的函数,定义
是式(3.11)中的函数。则我们对于所有的
,
(3.13)
4. 在L2次临界情况下的薛定谔方程组
在有限时间内爆破
本节讨论了当
时,方程组(1.1)的解在有限时间上爆破。
定理4.1 假设
,并且设
是方程组(1.1)定义在存在的最大时间间隔的相关的解,定义时间I,这里
是式(3.2)在基态
上的基态解。
当
时,假设
和
则方程组(1.1)的解在有限时间上爆破。
定理4.1的证明:假设
,并且满足其爆破条件,我们能得到
。我们将用反证法来证明我们的定理。
首先,假设
。通过引理3.2,则存在一个正常数
使得
(4.1)
对于所有的
。此外,通过引理3.5,我们可以得到对所有的
,都有对任意的
,
(4.2)
假设
,通过引理3.1和式(3.7),我们得到
对于所有的
都成立。这里我们选择
,使其足够大,并且选择足够小的
使得
。接下来,我们整合
上的不等式,则能得到
(4.3)
另一方面,通过Hölder不等式,以及质量的守恒定律,我们可以得到
(4.4)
现在,我们可以选择足够大的
,使得
。从式(3.15)和方程组(1.1),我们可以得到
(4.5)
因此,从式(4.3)和式(4.4),可以得到
和
(4.6)
这里的一些正常数
是和C,R,
和
有关。
其次,我们考虑当
充分小时(小于
),由式(3.4)和(4.2),我们有
(4.7)
接下来,我们根据能量的守恒定律以及事实
。并且注意到在式(4.7)中的后三项并不依赖于t的选取。因此,我们选择
,使得
这里的
是在式(4.6)中的常数。因此,从式(4.6)和(4.7)中,我们获得
(4.8)
因此,通过以上式子我们推断出
(4.9)
从式(3.16)和(4.9)中,可以得到
(4.10)
对于所有的
,我们设
(4.11)
这不难看出
是非递减和非负的,通过(3.26),然后我们得到
这里设
。通过式(4.10),我们有
最后,对
,我们对式(4.11)在
上进行整理,获得了
这里,可以看出当
时,
,这里
因此,当
时,方程组(1.1)的爆破解不在全体时间
上存在,换句话说,方程组(1.1)的解在有限时间上爆破。定理3.1得证。