1. 问题的背景
本文我们考虑非局部Gross-Pitaevskii [1] [2]方程
,
,
,
(1.1)
这里的
表示
内的卷积,且W是实值偶函数,我们讨论其是否具有限能量行波解,注意到当满足无穷远处消失的边界条件时[3] [4],这类方程已经得到了广泛的研究,此外凝聚态中的远处偶相互作用最近得到了广泛的关注[5] [6],然而这些作品中使用的技术不能适应于包括满足
.(1.2)
本文的目的就是讨论在(1.1)满足(1.2)的情况下,解的存在性。根据([7] [8])的结果,我们得到了W的补充条件,从而得到其行波解在一定速度内必然是恒定的,本文将对其解的性质以及速度展开讨论。
特别地,当
时,对(1.1)的研究可以推广至其他类型的局部非线性,如[9]所示,作者使用的方法依赖于对二阶牛顿型ODE的分析,从而可以调用柯西–李普希茨定理并推导出一些显式公式。
为了给方程(1.1)的行波解一个清晰的定义,我们先介绍下面两个空间
首先是能量空间:
,
其次是不消失的能量空间:
.
由于能量和动量泛函在向量空间上没有定义,微分的概念也不是平凡的,所以就我们的目的而言,我们只考虑具有紧集的光滑函数的方向导数,更准确的说,我们定义对于
,则
和
,
其中所有的
,对于
,我们还假设
使得
对于t足够小时是有定义的。
下面我们提出对W一些假设
H1):W是一个实值偶函数,满足,且在原点处连续
.
H2):存在
,
使得对于
,几乎处处有
.
2. 主要引理及其证明
引理2.1:假设W满足H1),则对于所有的
,我们有
,如果
,(2.1)
,如果
。(2.2)
其中
,
[6] [9] [10]。特别地,对于所有的
,我们有
成立当且仅当u满足(1.1)。
根据椭圆正则性原理,我们知如果u是(1.1)的解,那么u是光滑的,更准确的说,在高维空间的结论[11]在本文一维的情形中同样使用。
引理2.2:([11])令
是(1.1)的解,且
,
则u是有界的且属于
。除此以外,令
和
都属于
,其中
,
。
引理2.1的证明:由于有
,其中
,所以(2.1)中的微分是
定义的直接结果。为了证明(2.2),我们固定
,取
,则
又由于
所以我们得到了(2.2)。这个引理的最后一个论断来自于这样一个事实:如果对于一些
,我们有
,其中
,那么
。
3. 主要结论及其证明
对于
,我们考虑极小化曲线
.
此外,由([12],定理2),我们知该曲线是非减曲线。我们定义
,
基于[7]和[11]的结果,我们可知与
相关的极小值是能得到的,并且相应的Euler-Lagrange方程正是(1.1),其中c表示为Lagrange乘子。下面我们对c的范围展开讨论。
定理3.1:假设
在
上是凹的且存在
满足
,
且
,则存在
满足
,(3.1)
特别地,u是(1.1)的解且
。
证明:取
使得
和
。因为
,所以u不是一个常数函数。令
,根据
的定义,我们得到对于
如果
,则
,
足够小,那么当
,我们得到
类似地,当
,我们得到
用−h代替h,我们得到下列不等式
,如果
。(3.2)
和
,如果
。(3.3)
由于泛函
是线性的,因此为了建立Euler-Lagrange方程,只需证明下面一点
(3.4)
事实上,根据([13],引理3.2),我们推导出存在一些
使得
(3.5)
进一步地,由引理2.1,我们得到u是(1.1)的解且
。
最后我们证明(3.4),令
,由于u不是常数函数,则存在泛函
使得
。因此对于所有
,我们有
.
由(3.2)和(3.3),我们推导出
是有界的。所以
即
,这样我们得到了(3.4)。
现在还需证明(3.1)。令
使得
。根据(3.5),我们得到
,再结合(3.2),我们得到
证毕。
引理3.2:([7])假设
在
上是凹的,则
,
。
在
上是严格次可加,且
的左导
和右导
满足
此外,
,当
。
定理3.3:假设W满足H1)和H2)且
在
上是凹的,则存在(1.1)的解
满足
,
且
。
另外对于解u,有
满足
,
除此以外,当
时有
。
证明:根据(3.1)和引理3.2我们能够证明解的存在性且
。下面我们说明
。我们通过反证法,假设存在
使得
。因此根据(3.1),我们得到
。因为
是凹的,我们有对于所有的
,
这说明在
上
,所以
在
上是常数,这与
在
上严格次可加。这样我们就完成了定理3.3的证明。证毕。
4. 总结与展望
在与Schrödinger方程相关的经典极小化问题中,在无穷远处消失的条件下,质量给出了约束,而在我们的讨论中,动量是我们需要作为约束条件证明暗孤子存在的一个关键。我们由定理3.1,得到当
时,
的极小值可以达到,换句话说,存在
满足
,
。再通过定理3.3证明得到(1.1)存在非平凡解。此外,还得到其行波解的速度范围。
与[7]相比,我们的研究对象发生了改变,针对不同的非线性项,本文中提出了相应的解决方法。
本文的另一个关键在于利用
泛函的凹性,若用隐函数定理来建立欧拉–拉格朗日方程也是可行的,且此方法不需要讨论
泛函的凹凸性,尽管后一种的论证更具有一般性,但我们用凹性来证明,更简单。
还有一个有趣的问题是此时(1.1)的解是否具有稳定性和整体唯一性,我们认为该问题的行波解可以通过改进本文中对W作出的条件以及引入流的平移等相关概念来证明解的分支是轨道稳定的。后续我们将研究这一模型行波解的存在性及其性质。