1. 问题的背景和主要结论
为了描述动力学中玻色气体的弱相互作用,Gross [1] 和Pitaevskii [2] 发现控制凝聚态的波函数在
满足Schrodinger方程
其中W是实值调和分布函数,满足
。这里的
表示卷积。我们对它满足无穷远处非零
的有限能量行波感兴趣,即所谓的暗孤子,它可以看作是不扩散传播的局部密度缺口 [3] 。令
得到下列非线性Gross-Pitaevskii方程。
, (1.1)
此方程模拟了一个玻色气体具有粒子间一般非局部相互作用在一个空间维度中在远处具有恒定的密度。为了讨论行波在无穷远处具有不消失条件的存在性问题,我们需要提供关于势W的一般条件,使得这些行波在一定的速度范围内是必然恒定的。不失一般性,我们假设
,方程(1.1)为哈密顿方程,其能量为
,其中
,
。
它的动能为
。其中
,
,
(参见 [4] [5] )。
现有结果的很大一部分涉及非局部Gross-Pitaevskii方程的动力学和用Delta方程给出了接触相互作用W下行波的存在性和稳定性(参见 [4] [6] [7] [8] [9] )。然而,很少有无穷远处非零条件下的非局部相互作用的数学结果。在 [5] [8] 中,作者为W设定了一些条件,对高维行波的不存在性进行了研究(参见 [10] [11] )。由于非局部相互作用,这些结论 [1] [6] 不能应用于(1.1),因此我们证明行波的存在的方法依赖于先验的能量估计证明行波存在和集中紧性参数,这使得我们能够证明存在函数的方法依赖于在动量固定的情况下能量最小。
为了给方程(1.1)的行波解一个清晰的定义,我们先介绍下面两个空间
首先是能量空间:
,
其次是不消失的能量空间:
。
在与薛定谔方程相关的经典最小化问题中,在无穷远处消失的条件下,质量给出了约束,在本文中,动量是我们需要作为约束证明暗孤子存在的一个关键,让我们先来验证一下动量在
是有意义的。事实上,函数
是连续的,并且可以设为
,其中
,
是
上的一个实值函数。因为
,所以我们有
,且用
,我们可以推导出
,因此
。设
,我们得到对于任意的
,当
下有界时,能量和动量可以写成
和
。
除此以外,我们还需要经典的傅里叶变换,对于一个可积函数
,其傅里叶变换
,
和Plancherel恒等式
,
。
下面我们对W提出一些假设
H1):W是一个偶实值分布,
,且在原点处连续
。
H2):存在
,
使得对于
,几乎处处有
。
H3):
允许亚纯扩展到上半平面
,并且
在H上唯一可能的奇点是一个属于虚轴的简单孤立极点,即它们由
给出,其中对于所有
,有
,这里Card是集合J中的元素个数,它们的残数
是满足
的纯虚数。
对于
,我们考虑极小化曲线
。
此外,该曲线是非减量曲线(参见 [11] 中的定理2)。我们设置
,
然后我们将基于 [10] [12] ,证明与
相关的极小值是能得到的,并且相应的Euler-Lagrange方程正是(1.1),其中c表示为Lagrange乘子。
定理1.1:假设W满足H1)和H2) H3)且几乎处处
,那么对于所有
,
,方程(1.1)存在一个非平凡解
满足
。
注记1.1:条件H1)确保能量函数非负且在
中定义良好。事实上,让我们考虑
,根据Plancherel的恒等式,我们有
,
换句话说H1)意味着
在能量空间
中是有限的。
注记1.2:由H2),我们有
。
注记1.3:更具技术性和限制性的条件H3)仅用于证明极小化曲线是凹的(参见 [11] )。
注记1.4:在空间维数为2或3的情况下,接触的相互组用是
的行波研究始于 [13] 的数值模拟,从数值上观察到对于每一个
存在有限能量行波,否则不存在。而当相互作用为更一般条件的时候,我们在一维中展开讨论。
2. 主要引理的证明
接下来,我们用能量的形式建立函数在能量空间中的
估计。
引理2.1:假设W满足H2)且对于一些
和
,在
上几乎处
处有
(2.1)
令
,设
,则我们有
(2.2)
以及
(2.3)
其中
。
证明:设W满足H2),并考虑
。因为
,
,我们得到下式
(2.4)
因为(2.1),我们有
(2.5)
由
,我们有
,
,因此容易得到
。
一方面,如果
,则
;另一方面,如果
,则
,
。所以得到在
上几乎处处有
(2.6)
结合(2.4) (2.5)和(2.6),我们得到
(2.7)
如果
,则
,所以就得到了(2.2)。如果
,由于
,我们假设存在一点
使得
,运用(2.7)得到
所以有
,而我们得到
(2.8)
最后由(2.7) (2.8),我们证明得到了(2.2)。
下面我们证明(2.3)。正如(2.7),我们有
(2.9)
结合(2.8),我们得证(2.3)。证毕。
为了得到与
相关的最小序列的紧性,有必要给出下面的引理表明动量可以被能量控制。此外,对于开集
和
,我们使用局域动量
,由
,我们有
(2.10)
由于非局域相互作用,我们提出局域能量
其中
。我们还需要引入平滑切割函数如下。设
是紧包含在中的开子集,函数
,
且满足如果
,则
,如果
,则
。
引理2.2:令
是两个光滑开集满足
,
如上定义。假设
。且在
上存在一些
使得
。那么
(2.11)
且
满足
(2.12)
此处
是一个与
,
有关的常数,与
,
无关。
证明:我们令
,正如(2.10),我们有
(2.13)
其中
是个定值。现在我们令
(2.14)
其中
。令
,
。由条件H2)我们得到
注意到
和
,我们推导出对于
,
其中
。因此把
代入,取
,我们得到
此处的
,这样我们就完成了(2.11)的证明。
下面我们还需要证明(2.12)。首先对于第一项
,我们有
(2.15)
对于第二项
,我们利用等式
,
,我们得到
(2.16)
代入到
,我们很容易得到
(2.17)
结合(2.15) (2.16) (2.17)我们得到(2.12)。证毕。
3. 定理证明
为了建立定理1.1,我们首先给出了曲线
的一些一般性质。然后我们研究了与
相关的最小化序列的紧性。
命题3.1: [11] 假设W满足H1) H2)和H3),则
在
上不递减。对任意
满足
,我们有
。除此以外,
是偶的,对所有的
,我们有
。特别的,
在
上是严格次加性的。
引理3.2:设
是一组序列满足
,
当
时 (2.18)
其中
,则存在泛函
使得
在
(2.19)
在
(2.20)
在
(2.21)
除此以外,有
。令
和
,取常数
,则下列不等式也成立:
(2.22)
(2.23)
(2.24)
证明:根据(2.18),
是有界的,
在
是有界的,因此我们得到
在
也是有界的。因此存在一个泛函
使得(2.19)~(2.22)成立,且有
(2.25)
由于几乎处处
,再回顾
是连续函数,在
是凸函数,所以我们得到
(2.26)
结合(2.25),我们有
(2.27)
由(2.20)和
,可以得到
在
。由(2.19)和(2.27),我们证到了(2.23)。
由命题3.1和(2.27),我们可以得到
。此外,我们还得到存在
。因为
是有界的,结合(2.19),我们得到对于
,
在
是有界的。事实上
所以得到
在
。由(2.19),我们证得(2.24)。证毕。
定理1.1的证明:设
是一组序列满足(2.18),不妨设
。由命题3.1,我们运用
得
。由 [14] 中的引理2.4和引理2.5,取
和
,
,我们可以推导出存在
个点
,且
使得
,
(2.28)
和
,
(2.29)
注意到
是有界的,且与n无关,所以我们可以假设
。对点
进行子序列和重新标记,存在一个整数
,
和一些数字
使得当
时有
,
(2.30)
和
,
因此,由(2.29),我们推导出
,
(2.31)
结合引理3.2,我们得到存在泛函
,
,当
时满足下列收敛:
在
(2.32)
在
在
(2.33)
而且还有
(2.34)
(2.35)
其中
,
。而且,通过式(2.28)和式(2.32),我们推断
。更准确地说,我们说
不能是模1的常数函数,因为
。
由 [11] 我们得到存在常数
使得
且
。通过在 [12] 中同样的论证,我们可以看到
,
。
取
,因为
,由(2.32)和(2.31),我们得到(2.19)中的收敛性且存在常数
使得
(2.36)
我们现在证
在
(2.37)
和
在
(2.38)
其中
。事实上,因为
,
,我们有
。结合(2.18)和(2.34),我们得到
,
(2.39)
我们先证(2.37),因为
在
,很容易得到
假设(2.37)不成立,则我们会取一个子序列我们仍然用
表示,然后假设
,其中
。由(2.39),我们得到
这与(2.26)矛盾。所以我们有
在
。
下面我们说明(2.38)成立。由于
和(2.39),我们得到
(2.40)
其中
。由条件H2),我们有
(2.41)
把(2.33)和(2.40)代入计算,我们得到
(2.42)
我们还得到
。注意到
,所以
(2.43)
由不等式(2.29),我们有
,这允许我们使用控制收敛定理来推断(2.41)的右边的第二项也收敛到零。然后由于(2.37),我们得到
。
因此结合(2.41)和(2.42),我们证到了(2.38)。因此存在
满足
,
。证毕。