三体相互作用下准一维玻色-爱因斯坦凝聚体中的带隙孤子及其稳定性*

唐娜 杨雪滢 宋琳 张娟3) 李晓霖 周志坤 石玉仁†

1) (西北师范大学物理与电子工程学院, 兰州 730070)

2) (甘肃省原子分子物理与功能材料重点实验室, 兰州 730070)

3) (兰州工业学院基础学科部, 兰州 730050)

具有三体相互作用的玻色-爱因斯坦凝聚体(Bose-Einstein Condensate, BEC)束缚于雅可比椭圆周期势中, 在平均场近似下可用3—5次Gross-Pitaevskii方程(GPE)描述.首先利用多重尺度法对该系统进行了理论分析, 将 GPE 化为一定态非线性薛定谔方程 (Nonlinear Schrödinger Equation, NLSE), 并给出了一类带隙孤子的解析表达式.然后采用牛顿共轭梯度法数值得到了该系统中存在的两类带隙孤子, 发现孤子的振幅随着三体相互作用的增强而减小, 这与多重尺度法分析所得结论一致.最后用时间劈裂傅里叶谱方法对GPE进行长时间动力学演化以考察孤子的稳定性, 发现系统中既存在稳定的带隙孤子, 也存在不稳定的带隙孤子,且外势的模数会对孤子的结构和稳定性产生明显影响.

专题：非线性物理

1 引 言

玻色-爱因斯坦凝聚(Bose-Einstein condensate,BEC)现象是在宏观尺度上能观察到的最显著的多体量子现象之一, 最早是由Bose和Einstein在1924年提出, 即理想的玻色子在非常低的温度下,大部分粒子会突然跌落到最低能级上, 处于这种新状态的物质被称为 BEC[1,2].随着在87Rb 和23Na 等一系列碱金属原子气体实验中实现了BEC, 对于具有弱相互作用的原子气体中的BEC物质波孤子现象引起了研究者的注意[3].孤子也是自然界中普遍存在的一种非线性现象, 广泛存在于水波、粒子物理、等离子体、分子生物学及纤维等各种非线性介质中[4,5].作为一种非线性波, 孤子因其独特的传播性质及潜在的应用价值, 成为非线性科学研究领域的重要研究课题之一.随着BEC和简并费米气体的实验实现, 研究表明超冷原子气体中也存在物质波孤子现象.实验中已经相继发现物质波亮孤子、暗孤子及涡旋孤子等非线性现象[6–9].

一般在低浓度BEC中, 原子间相互作用距离尺度远小于原子间距离, 这时只需考虑两体相互作用, s-波散射很重要[10,11].但浓度较高时, 例如BEC在原子芯片和原子波导表面的发展将会涉及到强压缩和密度的提高, 则需考虑三体相互作用的影响[12–16].近年来在铯原子超冷气体实验中已发现三体相互作用现象[17].三体作用对于玻色凝聚气体的稳定性有着重要作用.例如, 它可以明显改变凝聚体的稳定区域, 即使强度很小也可使得凝聚原子数量增加.另一方面, 三体作用除了使凝聚体密度分布发生变化外, 也会改变集体振荡激发的光谱, 因为这时系统的可压缩性受到三体相互作用对基态能量贡献的影响[18].考虑三体相互作用对于研究BEC在光晶格中呼吸子的性质也有重要意义[19].在平均场近似下, 超低温下稀薄BEC的动力学行为可用Gross-Pitaevskii方程(GPE)描述,它可从海森堡方程导出[20,21].GPE是一非线性方程, 一般情况下很难得到其精确解析解, 不过在特殊情形下却能由许多方法给出它的精确孤子解, 例如 Darboux 变换法[22]、 Backlund 变换[23], Hirota直接法[24]、Painleve展开方法[25,26]和变分法[27]等.

具有周期调制的系统中会出现一系列新的效应, 特别是线性能带谱的带隙中会存在一种结构丰富的孤子, 称为带隙孤子[28,29].该类孤子可存在于不同类型的非线性系统中, 包括低维光子晶体、光子层状结构[30,31]和光晶格势中的 BEC[32–34]等.本文考虑具有三体相互作用的准一维BEC束缚于雅可比椭圆周期势中(实验中该势可由两束不同频率的激光叠加来近似), 在平均场近似下系统的动力学可由3—5次GPE描述.利用多重尺度法对系统的带隙孤子进行了理论分析, 将3—5次GPE化为一定态非线性薛定谔方程(nonlinear Schrödinger equation, NLSE), 并给出了一类带隙孤子的解析表达式.然后采用牛顿共轭梯度法数值得到了该系统中存在的带隙孤子, 包括两类基本带隙孤子(on-site孤子和off-site孤子)与亚基本带隙孤子 (sub-fundamental gap soliton).最后, 用时间劈裂傅里叶谱方法对GPE进行长时间动力学演化以考察孤子的稳定性, 发现on-site孤子始终稳定, 同相偶极孤子和异相偶极孤子既有稳定的也有不稳定的.外势的模数对孤子的结构和稳定性会产生明显影响.

2 三体相互作用BEC中的带隙孤子

2.1 理论模型

具有三体相互作用的BEC束缚于外势中, 在平均场近似下系统的动力学行为可用如下GPE描述[35]

其中Ψ=Ψ(r,t) 是系统的序参量 (波函数),r=(x,y,z)是位矢,g=4π2as/m表征原子间相互作用强度,m是原子质量.as是s波散射长度(as>0表示原子间相互排斥,as<0 表示原子间相互吸引), 可由 Feshbach共振调节[36].h表征三体相互作 用 强 度 ,V(r) 表 示 外 势 , 总 粒 子 数实验中, BEC 通常束缚于一谐振子势阱内, 其中ωx,ωy,ωz分别表示x,y,z方向的频率.当ωx≈ωy且ωz≫ωx时, BEC在z方向被“冻结”于基态, 这时系 统 可 用 准 二 维 GPE描 述; 当ωy,ωz≫ωx时,BEC 在y,z方向均被“冻结”, 将在x方向呈雪茄状分布, 系统的动力学行为可用准一维GPE描述[37].

考虑BEC被囚禁于光晶格势下的准一维情形, 并做如下无量纲化处理:

其中n0为无量纲化时粒子数密度的特征量, 此时总粒子数为为方便起见, 这里已省略变量上面的“~”.

取 外 势V(x)=V0sn2(x,q) , 其 中 s n(x,q) 为 雅可比椭圆正弦函数,q是其模数 ( 0q1 ).当q=0时,V(x)=V0sin2x, 文献 [38]中考虑的外势即为此情形, 所以该势可看作是对相关文献的推广.当q=1 时,V(x)=V0tanh2x, 此时V(x) 并非周期势, 故后面不考虑此情形.若考虑该势的实验实现, 可用下面公式[39]

从中可以看出, 该势在实验中可用两束不同频率的激光来近似实现.当q<0.9 时, 其近似程度可达99%.

寻找方程(2)下列形式的定态解

其中ψ(x) 为实函数,µ为化学势.代入方程 (2)后得

若波函数振幅为无穷小, 则可忽略非线性项, 得

方程(7)为一广义马丢(Mathieu)方程, 它的有界解被称为布洛赫模(Bloch Modes), 对应的化学势µ构成了布洛赫带 (Bloch Bands).一般情况下, 它的有界解可写为

将(8)式代入方程(7)后, 通过求解所得本征问题便可得色散关系µ=µ(k) , 从而得到系统的能带结构.这一点在文献[29]中有详细讨论, 此处不再赘述.在 Bands中, 线性波可以传播; 在 Gaps 中, 虽然线性波无法传播, 但可存在具有局域结构的非线性波, 即带隙孤子 (gap soliton).

2.2 带隙孤子的多重尺度法分析

若波函数振幅不是无穷小, 则方程(6)中非线性项不能忽略.考虑化学势µ从 Band的边界k=k0,µ0=µ(k0) 处进入带隙, 且k−k0,µ−µ0均为小量的情形, 可用多重尺度法对其进行理论分析.引入多重尺度X0=x,X1=εx, 将化学势与波函数展开为

其中ε=k−k0是一小量.将此展开式代入方程(6), 并假设η=ε−2=O(ε−2) .按e的同次幂项合并后得

方程(11)与(7)形式相同, 故具有下列形式的解

其中B(X1) 表示慢变包络 (调制波),p(X0) 为快变载波, 显然该解满足Fredholm条件[40], 这里函数f1(x)与f2(x) 的内积定义为

“*”表示复共轭.方程 (12)的解可写为

则有L0H=p′(X0) , 此时Fredholm条件也自动成立.

将ψ0和ψ1代入方程 (13) 得

再次应用Fredholm条件, 得

在X1=0 处B(X1) 取得极值, 故调制波的振幅由此可知在其他参数给定时, 随着非线性相互作用g,η的增大, 带隙孤子的振幅会单调递减, 后面的数值结果也证实了该结论.另外, 为保证b为实数, 则µ2与D须异号,即 s gn(µ2)= −sgn(D) , 这里 s gn(x) 为符号函数.该式表示此时的µ必位于带隙内, 即孤子确为带隙孤子.为保证解不存在奇性, 须d为正实数且δ+γ>0, 则有举例来说, 如果要研究半无界带隙内的孤子, 则此时D>0,µ2<0 , 若取g,η<0则两个条件必同时满足(充分非必要); 但若研究第一带隙内接近第一Band的孤子, 则µ2>0,D<0, 取g,η>0 则两个条件必同时满足(充分非必要).以上分析对于数值研究带隙孤子有一定的指导意义.

2.3 牛顿共轭梯度法寻找带隙孤子

牛顿共轭梯度法(Newton-Conjugate-Gradient,NCG)[41]是一种高效的数值方法, 可用来求解非线性演化方程的孤立波解.该方法的主要思路是用牛顿迭代法结合共轭梯度法求解所得线性方程, 其收敛速度比共轭梯度法和牛顿法等其他现有的迭代法要快, 而且容易编程实现.文献[42]也提出了牛顿法与共轭梯度法的组合方法, 并证明该方法的全局收敛性.NCG法是解决无约束最小优化问题的方法之一[43].文献[44]中运用该方法讨论了路径约束动力学演化过程的优化问题.NCG法在一些物理模型上得到了广泛应用, 例如具有周期外势或无周期外势的二维非线性薛定谔方程, Kortewegde Vries (KdV)方程和五阶 Kadomtsev Petviashvili(KP)方程的求解等[41].它可用来寻找各种物理系统(如非线性光学, BEC和水波等)中的孤立波,而且既能寻找基态也能求解激发态, 可以作为处理这类问题的首选方法.

下面采用NCG寻找方程(6)的带隙孤子.计算时, 需要将无穷区间x∈(−∞,+∞) 截断为有限区间.通常可取外势的足够多个周期作为计算的空间范围, 然后对该区间进行离散化后便可应用NCG求解.计算表明, 所得结果对迭代初值有一定的依赖性(但并不十分敏感).若迭代初值选择不当, 则迭代过程会发散或者收敛于平凡解ψ=0 .计算时, 取以下多个高斯波包的叠加

作为迭代初始条件, 这里Aj,xj,Wj分别表示开始迭代时第j个波包的振幅、中心位置和宽度,N表示总波包数.通过选择合适的Aj,xj,Wj,N, 便可得到所需带隙孤子.若欲寻找结构更为复杂的带隙孤子, 可尝试选用其他形式的迭代初值.

图1显示了q=0.1 和0.99时不同参数条件下的单峰带隙孤子, 迭代时取N=1,A1= 0.6,x1=0,W1=K(q) .该孤子的峰值位于外势的最低点处, 一般称其为 on-site soliton.图1(a)和图1(b)为q=0.1 时吸引相互作用下半无界带隙中的带隙孤子, 图1(c)和图1(d)为q=0.99 时排斥作用下第一带隙中的带隙孤子.从图1可以看出, 当三体相互作用强度不变而两体相互作用变强时, 带隙孤子的振幅明显降低; 也可看出, 当两体相互作用强度不变而三体相互作用变强时, 带隙孤子的振幅也会变小.这与前面理论分析结论一致.q=0.1时孤子的结构较为复杂, 但q=0.99 时孤子为钟形,故外势模数对孤子结构有一定影响.为进一步研究孤子振幅随相互作用强度的变化, 定义A=max|Ψ|为孤子振幅.图2(a)和图2(b)分别显示了在吸引相互作用下半无界带隙内和排斥相互作用下第一带隙内单峰孤子振幅随相互作用强度的变化.可以看出, 随着两体相互作用强度|g|和三体相互作用强度|h|的增大, 孤子的振幅确在单调递减.

图3显示了不同参数情形下图1中on-site孤子三体和两体相互作用能量的比值, 其中可以看出, 当h固定时, |g|越大, 比值越小, 表明二体相互作用越占优; 但当g固定时, 随着|h|的增大,比值也在增大, 表明三体相互作用逐渐增强.图3(a)中两种能量已处于可比拟的范围; 图3(b)中h足够大时, 三体相互作用能量已超过两体相互作用能量.这种情况下, 三体相互作用更不可忽略.

图1中所示的带隙孤子是结构最为简单的一类基本孤子.除此之外, 也存在另一类如图4所示的双峰孤子.这类孤子具有两个波峰, 两波峰间的中心位置在外势的最高点处, 一般称其为off-site soliton.图4(a)和图(b)所示两波峰具有相同的相位, 称为同相偶极孤子 (迭代时取N=2 ,A1=A2=0.6,x1= 0,x2= –2K(q),W1=W2=K(q));图4(c)和图4(d)所示孤子则被称为异相偶极孤子 (迭代时取N=2 ,A1= 0.6,A2= –0.6,x1= 0,x2= –2K(q),W1=W2=K(q)).该类孤子的振幅也随着|g|和|h|的增大而减小.从波形结构上来看,off-site孤子似乎可以看作是两个单峰on-site孤子的组合; 但从动力学稳定性来看, on-site孤子始终稳定而同相偶极孤子始终不稳定, 故同相偶极孤子也被视为另一类基本孤子.异相偶极孤子的稳定性则较为复杂, 一般依赖于系统的参数.

图1 3−5 次 GPE 的单峰带隙孤子 ( V0=4 ) (a), (b) q =0.1 ; (c), (d) q =0.99 .阴影部分表示外势 V (x) 低处Fig.1.Profiles of singl-hump gap solitons of the cubic-quintic GPE ( V0=4 ): (a), (b) q = 0.1; (c), (d) q = 0.99.Shaded regions represent lattice sites, i.e., regions of low potential values V (x) .

图2 单峰带隙孤子的振幅随相互作用强度的变化( V0=4 )Fig.2.Amplitudes of single-hump gap solitons v.s.nonlinear interaction strength.

图3 on-site孤子三体相互作用能量和两体相互作用能量的比Fig.3.The ratio of three-body energy to two-body energy for on-site solitons with different interaction strength.

图4 3−5 次 GPE 的同相偶极孤子和异相偶极孤子 ( V0=4 ) (a), (b) q =0.1; (c), (d) q =0.99 .阴影部分表示外势 V (x) 低处Fig.4.Profiles of double-hump gap solitons of the cubic-quintic GPE ( V0=4 ) (a), (b) q = 0.1; (c), (d) q = 0.99.Shaded regions represent lattice sites, i.e., regions of low potential values V (x) .

3 带隙孤子的稳定性

孤子的稳定性无论在理论上还是在实验上都是一个重要的问题, 下面将用非线性动力学演化的方法来研究前面所得带隙孤子的稳定性.在初始时刻, 给波函数一小扰动.若经过足够长时间演化后孤子的振幅和波形没有发生明显变化, 则可认为该孤子动力学稳定; 否则认为它动力学不稳定.数值计算时, 所用方法为时间劈裂傅里叶谱方法[45].该方法具有效率高、精度高、计算过程中粒子数守恒,而且程序容易实现等优点.

对初始波函数做下面类型的扰动

其中ψ(x) 是前面所得定态带隙孤子,β≪1 是扰动参数, 计算时取β=0.01 .

图5为不同参数情形下不同类型带隙孤子动力学演化的等值线图(V0=4 ).可以看出, 不同类型孤子的稳定性有所不同.图5(a)为µ=1 ,q=0.1,g= –1,η=−1 (对应图1(a)中情形)时 onsite孤子的动力学演化.可以看出, 经过一段时间演化后波形和振幅都没有发生明显变化, 故它是动力学稳定的.数值研究中, 通过对各种参数情形进行计算, 结果均表明无论在第一带隙还是半无界带隙中, on-site 孤子始终稳定.图5(b)为µ=0.5 ,q=0.1,g= –1,η=−1 (对应图4(a)中同相偶极孤子)的动力学演化.很明显孤子演变成振荡状态,即能量在两个相邻光晶格之间周期性地转移.初始时刻孤子空间结构的对称性随时间演化时被破坏,所以这是一种振荡型不稳定.大量计算表明, 这种同相偶极孤子总是动力学不稳定的.即使q较大时, 尽管两波峰相距较远, 它仍然表现出不稳定(但不稳定性变弱).所以这种类型的孤子不宜视为两个 on-site 孤子的组合.图5(c)为µ=2 ,q= 0.5,g= 1,η=1 时第一带隙内异相偶极孤子 (带隙孤子结构与图4(c)和图4(d)中类似)的动力学演化.可以看出, 此时的孤子仍具有振荡不稳定性.图5(d)为q=0.99 (其他参数与图5(c)中相同)时异相偶极孤子的动力学演化.可以看出, 此时的带隙孤子是动力学稳定的.这一结果表明外势的模数会影响带隙孤子的稳定性; 同时也意味着其他参数固定时, 存在临界值qc.当q⩾qc时, 异相偶极孤子稳定; 而当q

图5 不同类型带隙孤子的动力学演化 (a) on-site 孤子; (b) 同相偶极孤子; (c), (d) 异相偶极孤子Fig.5.Contour plots of | Ψ(x,t)| for perturbed gap solitons: (a) On-site soliton; (b) in-phase dipole soliton; (c), (d) out-phase dipole soliton.

值得说明的是, 前面仅讨论了两类基本结构的带隙孤子, 即on-site孤子与off-site孤子.实际上,方程(6)存在无穷多结构各异的带隙孤子, 如三峰、四峰等结构更为复杂的孤子.很多结构复杂的带隙孤子, 可视为这两类基本带隙孤子的组合.这类孤子的特点是它们的峰值总位于外势的最低点处.数值结果表明, 方程(6)也存在另外一类带隙孤子, 它们的峰值并不位于外势的最低点处.文献中将该类孤子称为亚基本带隙孤子(sub-fundamental gap soliton)[46].图6(a)和图6(c)显示了q= 0.1,g= –1,η=−2,V0= 4 不同µ值时的亚基本带隙孤子, 它有着和前面两种类型的孤子明显不同的结构特征.这类孤子在空间上呈奇对称分布, 它的中心位置位于外势的最低点处, 波峰则介于外势最高点与最低点之间.图6(b)和图6(d)为该类带隙孤子的动力学演化, 可以看出,µ=2.9 时孤子不稳定而µ=3 时孤子稳定.该结果意味着存在临界值µc,当µ<µc时孤子不稳定而µ>µc时孤子稳定.数值结 果 表 明 在 该 组 参 数 下,µc≈ 2.992 .这 里 取ψ(x)=A1e−x2/W1sin(k1x)作为迭代初始条件, 计算时取A1= 1,W1= 4K(q),k1= 1.

三体相互作用强度对于带隙孤子的稳定性也有一定影响.图7 显示了V0= 2,µ= 1.25,q= 0.1,g= 1而不同h时第一带隙中同相偶极孤子的动力学演化.图7(a)中η=0 , 可以看出, 经过一段时间演化后带隙孤子呈现出动力学不稳定; 图7(b)中η=−0.2, 可以看出此时的带隙孤子是动力学稳定的.表明三体相互作用强度对于带隙孤子的稳定性确实有着一定影响, 它可以改变带隙孤子的稳定性区域, 该结论与文献[18]中结论一致.注意这里的同相偶极孤子与图3中有所不同, 它属于文献[29]中提到的(1, 1)结构, 并非从Band中分岔出来(迭代时取N=2 ,A1=A2= 0.6,x1= 0,x2=–2K(q),W1=W2=K(q) ).

图6 (a), (c) 第一带隙中的亚基本带隙孤子 (红色).蓝线表示外势; (b), (d) 亚基本带隙孤子的动力学演化Fig.6.(a), (c) Profiles of sub-fundamental gap solitons (red lines) lie in the first bandgap.The solid blue lines denote the external potential; (b), (d) contour plots of | Ψ(x,t)| for perturbed gap solitons.

图7 第一带隙中同相偶极孤子 (a) η =0 和 (b) η =−0.2 时的动力学演化Fig.7.Contour plots of | Ψ(x,t)| for in-phase dipole solitons lie in the first bandgap with (a) η =0 and (b) η =−0.2 .

4 结 论

本文研究了准一维情形下束缚于雅可比椭圆函数周期势中具有三体相互作用BEC系统中的带隙孤子及其稳定性.在平均场近似下, 系统的动力学行为可由3—5次GPE描述.首先利用多重尺度法对系统的带隙孤子进行了理论分析, 将3—5次GPE化为一定态NLSE, 并给出了一类带隙孤子的解析表达式.然后采用NCG法数值得到了该系统中存在的带隙孤子, 包括两类基本带隙孤子(on-site孤子和off-site孤子)与亚基本带隙孤子 (sub-fundamental gap soliton).数值结果与理论分析均表明, 三体相互作用强度的增大将会导致带隙孤子的振幅减小.最后, 用时间劈裂傅里叶谱方法对GPE进行长时间动力学演化以考察孤子的稳定性, 发现on-site孤子始终稳定, 同相偶极孤子和异相偶极孤子既有稳定的也有不稳定的.三体相互作用强度对于带隙孤子的稳定性也有一定影响.外势的模数对孤子的结构和稳定性会产生明显影响, 故实验中可通过调整外势的模数来改变带隙孤子的稳定性.