玻色-爱因斯坦凝聚中的环状暗孤子动力学*

郭慧 王雅君 王林雪 张晓斐†

1) (中国科学院国家授时中心时间频率基准重点实验室, 西安 710600)

2) (中国科学院大学天文与空间科学学院, 北京 100049)

3) (陕西科技大学文理学院, 西安 710021)

环状暗孤子最早是在非线性光学系统中理论预言并实验实现的一种二维孤子类型.跟通常的二维孤子(如条纹孤子)相比, 环状暗孤子具有更好的稳定性和更加丰富的动力学行为.玻色-爱因斯坦凝聚由于其高度可调控性为研究环状暗孤子提供了一个全新的平台.本文结合玻色-爱因斯坦凝聚和孤子研究的现状, 综述玻色-爱因斯坦凝聚中环状暗孤子的解析解、稳定性调控及其衰变动力学等方面的研究进展.首先介绍了一套变换方法将均匀系统中非线性系数不随时间变化的环状暗孤子解析解推广到谐振子外势下非线性系数随时间变化的环状暗孤子解析解; 然后讨论在形变扰动下环状暗孤子的稳定性相图, 并介绍了如何利用周期调制的非线性来增强环状暗孤子的稳定性; 此外, 还重点讨论了环状暗孤子衰变导致的涡旋极子动力学以及斑图形成.

专题：非线性物理

1 引 言

孤子是一种存在于非线性系统中的奇异拓扑激发.孤子的概念最早是在1965年由Zabusky和 Kruskal[1]在研究Korteweg-de Vries方程时提出的.稳定的孤子在传播过程中可以保持形状、幅度和速度不变.孤子广泛存在于经典和量子流体、非线性光学、等离子体等各种非线性系统中[2,3],引起了不同领域科学家的广泛关注[4−10].自从1995年超冷原子玻色-爱因斯坦凝聚(BEC)在实验上实现[11−14]以来, BEC中的孤子性质及其动力学成为冷原子物理领域的重要课题.跟其他非线性系统(如经典流体等)相比, BEC具有高度可操控性, 可以通过光场、磁场、电场跟冷原子耦合来改变BEC的几何结构、维度、外势以及相互作用等[15−21],从而为孤子的理论和实验提供了优越的平台, 并为孤子研究注入了新的活力[2,22−25].

BEC中的孤子通常可以分为亮孤子和暗孤子.所谓亮孤子是指在BEC背景上激发的稳定的局域密度凸起结构, 而暗孤子是指在BEC背景上激发的稳定的局域密度凹陷结构.BEC中是否存在稳定的亮孤子或者暗孤子一般取决于原子之间的相互作用.对于吸引相互作用的系统一般存在亮孤子, 而对于排斥相互作用的系统一般存在暗孤子.早在BEC实验实现以前, 科学家已经从理论上预言了该系统中可能存在稳定的孤子[26].1999年Denschlag等[27]和Sanpera等[28]利用相位刻印技术 (phase imprinting technique)在超冷23Na和87Rb原子的BEC中观察到暗孤子, 标志着孤子这一非线性现象在BEC系统中的首次实验实现.两个研究组分别用了不同的原子种类, 即23Na和87Rb.由于这两种原子之间的相互作用都是排斥相互作用, 因而亮孤子一般是不稳定的.但当排斥相互作用和孤子的相位梯度达到某种平衡时, 系统中允许存在稳定的暗孤子.随着Feshbach共振技术在超冷原子 BEC中的广泛应用[19,29,30], 2002年Strecker等[31]和 Khaykovich等[32]科学家利用Feshbach共振技术调节原子间的相互作用从排斥到吸引, 首次在7Li原子BEC系统中实验观察到亮孤子.之后 Cornish等[33]同样利用Feshbach共振技术, 在超冷85Rb原子BEC系统中实验观察到亮孤子.

在BEC系统中, 一般认为一维孤子是可以稳定存在的, 而二维及以上系统的孤子却很难稳定.随着一维孤子在BEC中的实验实现[27,28,31,32],BEC中高维孤子的产生、稳定性及其衰变动力学成为当前科学家关注的热点和难点问题[34].以暗孤子为例, 在BEC中产生物质波暗孤子需要具备如下几个特点: 首先在原子背景上具有局部的密度最小值, 而且在局部密度最小值处波函数的相位有一个突变, 与此同时局域密度最小值的幅度和形状不发生改变[28,35].研究发现暗孤子两侧的相位对暗孤子的速度和深度起了决定性作用[36].特别地, 当暗孤子两侧的相位差为 π 时, 暗孤子的深度为 1 00% ,即孤子中心处没有粒子, 我们称之为全暗孤子或黑孤子.此时孤子的速度为零.暗孤子的这一特点以及BEC中原子分布的不均匀性, 使得在二维BEC系统中, 条纹暗孤子很不稳定, 极易受到横向扰动的影响, 表现出蛇形(snake)不稳定性[37,38],最终衰变为涡旋对[39].Dutton等[40]利用慢光技术 (slow light technique)在 BEC中引入密度缺陷, 在密度缺陷的衰变过程中产生了条纹暗孤子.他们进一步观察到条纹暗孤子的蛇形不稳定性, 以及从条纹暗孤子衰变成涡旋的动力学过程.在三维BEC系统中, Anderson等[41]发现条纹暗孤子更加不稳定, 会很快衰变成各种涡旋环结构.

随着对暗孤子性质理解的不断深入[42], 人们逐渐认识到在二维非线性均匀系统中, 条纹暗孤子的不稳定性区域是由最大扰动波数Qmax表征的[43].当条纹暗孤子的长度L<2π/Qmax时, 条纹暗孤子的不稳定性会被抑制[44].此时直的条纹暗孤子会发生弯曲, 进而闭合成可以长时间稳定存在的环状暗孤子.环状暗孤子最早是在非线性光学系统中理论预言[45,46]和实验实现的[47,48].在非线性光学系统中, 环状暗孤子可以用于全光控制、光学开关以及块体介质中光学信息传输通道的多路复用与分解[47].由于环状暗孤子比一般的孤子如条纹暗孤子、块状(lump)暗孤子等具有更好的稳定性和更丰富的动力学性质, 因而引起了冷原子物理学家的关注[24,44,49−51].Theocharis等[44]最早在 BEC 中引入了环暗孤子的概念, 并讨论了BEC中环状暗孤子的解析解、稳定性以及动力学性质.他们发现由于环状暗孤子特殊的对称性质, 使得即使在谐振子外势下, 密度不均匀的BEC系统中, 环状暗孤子在某些条件下仍然可以较长时间稳定存在.环状暗孤子可用于产生量子湍流, 进而理解量子湍流的统计性质及其内在的物理机理[52−54].利用环状暗孤子衰变可以产生各种类型的涡旋结构和斑图, 从而为深入研究涡旋动力学和斑图动力学等各类非线性现象提供新的技术手段和思路.在负质量流体[55]、人造规范系统[21,56]、SU(3)自旋轨道耦合[57]等特殊量子体系中研究环状暗孤子的性质, 还有望发现新的量子流体动力学规律, 为设计各种新的拓扑功能材料提供理论依据.因此, 在量子流体系统中研究环状暗孤子的基本性质和动力学行为具有非常重要的意义.

本文旨在结合BEC和孤子研究的现状, 综述BEC中环状暗孤子的解析解、稳定性操控及其衰变动力学等方面的相关研究进展.第二部分针对BEC原子一般束缚在谐振子势阱中, 从而使得系统具有密度分布不均匀这一完全不同于非线性光学均匀系统的特点, 首先介绍了一种处理谐振子束缚系统中精确环状暗孤子解的变换方法, 然后将该方法推广到原子间相互作用随时间变化的系统.这一工作进一步建立了非均匀的BEC系统跟均匀的非线性光学系统之间的密切联系, 为孤子问题的解析分析开辟了新的道路.第三部分致力于讨论BEC系统中环状暗孤子的稳定性.鉴于先前研究中仅讨论了横向扰动对环状暗孤子的影响, 考虑到实际的实验情况, 重点讨论了环状暗孤子形状的微小形变对环状暗孤子稳定性的影响.通过数值模拟计算, 得到了环状暗孤子关于椭圆偏心率和深度的稳定性相图.结果表明较浅的孤子可以以较大的偏心率稳定存在.我们还将亮孤子研究中广泛应用的Feshbach共振技术, 引入到环状暗孤子的稳定性操控.理论预言利用Feshbach共振技术周期性调节BEC原子间的相互作用, 可以在同等条件下极大地延长环状暗孤子的寿命.环暗孤子除了可以在一定程度上克服条纹暗孤子遭遇的蛇形不稳定性之外, 还在其不稳定区域表现出丰富的衰变动力学.第四部分将讨论BEC系统中环状暗孤子衰变为涡旋对以及涡旋在谐振子束缚的BEC系统中的运动规律, 还将说明利用环状暗孤子衰变引起的自发对称性破缺, 通过周期性调节原子间的相互作用可以在BEC产生各种斑图结构.最后对BEC中环状暗孤子的相关研究进行了简单的总结和展望.

2 相互作用可调的BEC中环状暗孤子的解析解

一般来说, BEC系统中的相互作用是不随时间和空间变化的.但随着Feshbach共振技术的发展, 科学家已经可以对BEC系统中的相互作用强度甚至正负进行调节.目前为止, 科学家已经相继发现了磁Feshbach共振[29,30]、光Feshbach共振[58,59]、束缚诱导的共振[60,61]以及轨道Feshbach共振[62,63]等.这些类型的Feshbach共振技术为调节BEC中的相互作用提供了有力工具.利用Feshbach共振相关技术, 科学家已经理论预言和实验实现了各种随时间[31,64−66]和空间[67,68]变化的原子间相互作用.因而, 在BEC系统中研究相互作用随时间变化的孤子解具有重要的现实意义.

二维谐振子外势中相互作用随时间变化的BEC的运动规律可由如下非线性薛定谔方程描述[51]

跟一般的非线性光学系统相比, 求解BEC中环状暗孤子解的一个困难是谐振子外势的存在.当没有谐振子外势即Ω=0 时, 根据环状暗孤子的对称性,系统可以表示为如下形式:

利用微扰方法在小振幅近似下, 方程(2)可以变换到著名的CKdV方程[45,46].利用CKdV方程的解析解[69−74], 可以间接得出方程(2)的环状暗孤子解析解.当存在谐振子外势即Ω0 时, Theocharis等[44]讨论了相互作用为常数时, 系统可能存在的环状暗孤子解.

下面介绍一套变换方法来求解相互作用随时间变化的BEC系统的环状暗孤子解析解[51].首先,将方程(1)做如下变换:

假设R(r,t) ,T(t) ,α(r,t) 和β(t) 为实函数, 并且满足

在该变换下方程(2)的所有解析解都可以转化为方程(1)的解析解.这就在非线性光学均匀系统和非均匀BEC系统之间建立了一个桥梁.利用这一变换关系, 在其中一个系统中得到的相关结果, 都可以在另一个系统中找到对应, 从而为研究非线性光学和BEC动力学提供新的思路.

该变换方法还可以推广到更为一般形式的非线性薛定谔方程[51]

其中需满足g(t)∝D(t) .对于BEC系统来说, 因为D(t) 为常数, 所以此时相互作用也必须为常数.因而方程(9)转化为谐振子外势束缚强度随时间变化的情形

利用方程(10), 可以求解谐振子束缚强度随时间变化的BEC系统的环状暗孤子解析解.

需要特别强调的是, 该解析方法只是在小振幅近似下才能成立.所以对应于BEC系统, 就要求得到的环状暗孤子深度不能太深.对于深的环状暗孤子, 目前尚无有效的解析处理方法, 需要借助数值模拟计算, 直接求解原始的非线性薛定谔方程(1).

3 BEC中环状暗孤子的稳定性

3.1 环状暗孤子在形变扰动下的稳定性相图

环状暗孤子的稳定性首先受到横向扰动的影响, 表现出蛇形不稳定.Theocharis等[44]率先研究了横向扰动对BEC中环状暗孤子稳定性的影响,指出浅的环状暗孤子可以不受蛇形不稳定影响而长时间稳定存在, 而深的环状暗孤子将遭受蛇形不稳定而衰变成环状分布的涡旋阵列.考虑到真实的实验情况, 除了横向扰动之外, 环状暗孤子还有可能受到包括径向扰动在内的更为复杂形式的外部扰动.下面重点讨论形变扰动对环状暗孤子稳定性的影响.

环状暗孤子在形变扰动下的稳定性可以通过数值求解非线性薛定谔方程(1)来进行分析[51].首先选择如下形式的环状暗孤子解

3.2 基于Feshbach共振的环状暗孤子稳定性操控

图1 形变扰动下环状暗孤子的稳定性相图[51]Fig.1.Stability phase diagram of ring dark solitons under deformation perturbation.

Feshbach共振技术在BEC孤子研究中扮演了重要的角色.实验上利用Feshbach技术不但可以产生孤子[31−33], 而且还可以用来调控孤子的稳定性[75].最近, 利用Feshbach共振随时间周期性改变原子间的相互作用引起了理论和实验学家的极大兴趣[65,76−80].Saito 和 Ueda[78]以及 Abdullaev等[79]发现利用Feshbach共振调节原子间相互作用在吸引和排斥之间的快速振荡, 可以在二维空间维持稳定的物质波亮孤子.Liang等[80]进一步研究了在周期调控的原子间相互作用下, 物质波亮孤子跟背景之间的原子数目交换规律.本节将从理论上讨论如何利用Feshbach共振技术增强环状暗孤子的稳定性.

假设随时间周期性振荡的相互作用具有如下形式

方程(12)表明原子间的排斥相互作用强度在0−2之间周期性振荡.计算结果表明[51]在某一振荡频率附近, 环状暗孤子的稳定性明显增强.即使对于较深的暗孤子, 在相互作用处于该振荡频率下, 仍然可以具有很长的寿命.以环状暗孤子深度cosϕ(0)=0.76为例, 通过上一节的讨论, 我们知道环状暗孤子在此深度下是极不稳定的.通过数值模拟计算,得到了环暗孤子寿命随相互作用振荡频率的变化情况, 如表1所列.可以发现, 当相互作用振荡频率在谐振子固有频率Ω附近时, 环暗孤子的寿命急剧增长; 当相互作用的振荡频率远离该固有频率时, 环状暗孤子的寿命迅速减小.这说明环状暗孤子寿命的增长是由于相互作用的振荡频率跟谐振子的振荡频率发生共振引起的.

表1 环状暗孤子寿命随相互作用振荡频率的变化[51]Table 1.Life of the ring dark soliton as a function of the interaction oscillation frequency.

我们还发现当相互作用振荡频率处于该谐振子振荡频率时, 较浅的环状暗孤子即使发生了很大的形变, 仍然可以长时间稳定存在.例如, 计算了环状暗孤子深度为 cosϕ(0)=0.6 , 形变引起的偏心率ec=0.4 时环状暗孤子的寿命.计算结果表明, 当相互作用为常数即g=1 时, 环状暗孤子的寿命小于 1 0ms .而当相互作用以频率Ω在g=1 附近振荡, 即g=1−sinΩt时, 环状暗孤子的寿命可以长达 5 0ms .

4 环状暗孤子衰变动力学

当环状暗孤子处于不稳定区域时, 通常会在遭遇蛇形不稳定下发生衰变[39,44], 导致各种类型和数目的涡旋极子或者不同样式的斑图.从而建立了BEC中孤子和涡旋以及斑图[81]等非线性现象之间的密切联系.研究BEC中环状暗孤子衰变引起的各种涡旋动力学和斑图形成有助于理解量子湍流[52,82,83]和各类相关非线性现象的物理机理.

4.1 环状暗孤子衰变与涡旋动力学

4.1.1 单分量BEC中的环状暗孤子衰变与涡旋动力学

Theocharis等[44]最早研究了单分量BEC中环状暗孤子的衰变动力学.他们发现较深的环状暗孤子在横向扰动下将衰变为由涡旋-反涡旋对构成的环形分布的涡旋链.越深的环状暗孤子将衰变出更多的涡旋.涡旋-反涡旋对的数目满足某种规律,即总是4的倍数, 并且长时间演化后部分涡旋湮灭, 最后只剩下4个涡旋-反涡旋对可以长时间稳定存在.与此同时, 环暗孤子在BEC中衰变产生的涡旋团簇不是固定不动的, 而是以某种规律做周期性运动.运动的形式依赖于涡旋的个数和系统的对称性质.

接下来重点讨论在形变扰动下, 环状暗孤子的衰变动力学.同样选择环状暗孤子解(11)式作为初始态代入方程(1)进行演化.特别地, 假设环状暗孤子的深度为 cosϕ(0)=0.6 , 相互作用强度和谐振子束缚频率固定在g=1 ,Ω=0.028 , 发生形变的偏心率为ec=0.4 .前边的结果已经表明当不发生形变时, 深度为 0 .6 的环状暗孤子是相对稳定的,因而接下来观察到的孤子衰变主要是由形变引起的.数值模拟计算指出[51], 在环状暗孤子发生形变时的衰变行为跟不发生形变时的衰变行为具有明显的不同.在椭圆形变影响下, 环状暗孤子衰变产生的涡旋-反涡旋对的数目不再是4的倍数, 或2 的偶数倍, 而是 2 的奇数倍, 如图2所示.这可以从椭圆形变扰动打破了系统的旋转对称性来理解.涡旋个数的不同引起了不同的涡旋运动规律.对于图2所示的两个涡旋对的情况, 可以看到每个涡旋分别在 1 /4 圆周的扇形轨迹上做周期性运动.而对于四个涡旋对的情况, 每个涡旋分别在 1 /8 圆周的扇形轨迹上做周期性运动[44].

环状暗孤子在形变扰动下的详细衰变动力学过程为[51]: 首先环状暗孤子沿着径向收缩到一个最小半径Rmin, 然后在蛇形不稳定性作用下迅速衰变为两个暗块孤子; 这两个暗块孤子随后沿着相反的方向远离BEC中心移动, 并随着背景原子数密度的减小而劈裂为两个涡旋极子, 涡旋极子继续向前运动; 当涡旋极子到达凝聚体边界时, 正负涡旋分开并以相反的方向沿着凝聚体边界做近似圆周运动; 当旋转90°角后, 来自不同涡旋极子的涡旋相遇, 并重新组合成新的涡旋极子, 然后朝着BEC中心运动.随着背景原子数密度的增大, 涡旋极子中的涡旋间距逐渐减小, 重新融合成暗块孤子, 并试图恢复原来的环状暗孤子状态; 当到达Rmin附近时, 两个暗块速度降为0, 然后按照原来的路径返回, 并周期性地沿着四个扇形边界做往复运动.值得注意的是, 在返回途中由于运动方向相反, 暗块分裂成的涡旋极子中的两个涡旋的旋转方向也同时发生了反转.此外, 环状暗孤子衰变形成的两个涡旋极子的运动跟涡旋四极子在BEC中的运动规律有些类似[84].

图2 单分量BEC中形变扰动下环状暗孤子的衰变行为[51]Fig.2.Decay of the ring dark soliton under deformation perturbation in a single-component BEC.

4.1.2 两分量BEC中的环状暗孤子衰变与涡旋动力学

当BEC中的原子处于两个超精细能级时, 系统是由两个非线性薛定谔方程耦合的方程组来描述的, 一般具有如下形式:

在两分量系统中, 孤子的运动表现为两种模式, 类似于非线性光学中处于不同模式的矢量孤子[2].由于不同分量原子之间的相互碰撞, 使得处于不同分量的孤子可以相互耦合, 表现为更为丰富的非线性动力学性质[85].

假设处于两个不同分量的环状暗孤子在初始时刻具有如下形式

图3 两分量BEC中相同深度环状暗孤子的衰变行为[86]Fig.3.Decay of the ring dark solitons with the same depth in two-component BECs.

图4 四组涡旋极子在两分量BEC中的动力学演化[86]Fig.4.Evolution of four vortex dipoles in two-component BECs.

当将初始环状暗孤子的深度增大为cosϕ1(0)=cosϕ2(0)=0.75时, 系统表现出完全不同的环状暗孤子衰变动力学[86], 如图3 和图4 所示.首先, 由于深度的增加, 环状暗孤子衰变生成了更多数目的涡旋极子.由图3(b)可以看到共产生了6对涡旋极子, 这跟前边单分量系统中提到的椭圆形变下,环状暗孤子衰变成涡旋极子的个数总是2的奇数倍的结论一致.这些涡旋极子产生后, 分为两组(每组三对)分别沿着相反的方向朝BEC边界上运动; 在运动的同时同一组的涡旋极子之间逐渐散开, 形成一种三角结构, 如图3(c)所示; 之后靠近边缘的两对涡旋极子分别贡献一个涡旋而重组成一个新的涡旋极子; 新组的涡旋极子沿着BEC中心运动, 当到达最小半径Rmin处后原路返回, 并在到达BEC边界后很快湮灭.剩下的4对涡旋极子可以在BEC中保持非常的寿命, 并以某种规律做周期性运动, 如图4所示.

当没有形变扰动时, 尽管开始的环状暗孤子衰变可能产生很多的涡旋极子(4的整数倍), 但最终只剩4对涡旋极子可以长时间稳定存在[44].当存在形变扰动时, 环状暗孤子衰变最终生成的4对涡旋极子, 表现出跟没有形变扰动时完全不同的运动规律.当没有形变扰动时, 四对涡旋极子的运动是同步的, 四组涡旋极子会在同一时刻发生重组, 并且每个涡旋都沿着 1 /8 的扇形边界做周期性往复运动[44].当存在形变扰动时, 四对涡旋极子分为运动不同步的两组, 当其中一组发生重组时, 另外一组尚未发生重组, 两组涡旋极子中的涡旋以相同的规律分别沿着 1 /4 圆的扇形边界做周期性往复运动,如图4所示.

当两分量BEC中的环状暗孤子具有不相等的初始深度时, 例如假设 cosϕ1(0)=0.6 , cosϕ2(0)=0.75, 根据经验我们期待较深的环状暗孤子将衰变出更多数目的涡旋.事实上, 在环状暗孤子发生衰变的初期确实观察到了两个组分中环状暗孤子不同的衰变行为, 如图5(b)所示.但由于两个组分之间的耦合作用, 较深的环状暗孤子衰变成涡旋的数目被抑制, 最终导致衰变产生的涡旋数目跟cosϕ1(0)=cosϕ2(0)=0.6时相同, 如图5(c)所示.由于初始衰变行为的不同, 本来两个分量的涡旋运动应该是不同步的, 但数值模拟结果显示, 两个分量的涡旋会在产生后很短的时间内趋于同步, 如图5(c)—图5(g)所示, 这可以理解为两分量之间原子相互碰撞耦合的结果.

两分量BEC中环状暗孤子衰变成涡旋后的动力学行为跟单分量情况相比还有一个明显的不同是涡旋在沿着扇形轨迹运动的同时, 还伴随着进动现象[86,87].这是由于来自两个分量的涡旋一般是不相互重合的, 一个分量的涡旋核总是被另一个分量的原子填充, 形成所谓的半量子化涡旋[20,88].由于在同一位置附近, 来自两个分量的涡旋具有相同的旋转方向, 在分量间原子的碰撞耦合作用下, 它们将绕着两个涡旋的中间位置(即质心处)沿涡旋自转的同一方向作进动.

图5 两分量BEC中不同深度环状暗孤子的衰变行为[86]Fig.5.Decay of the ring dark solitons with different depths in two-component BECs.

4.2 环状暗孤子衰变与斑图形成

斑图(pattern)是指空间上具有某种规律性的非均匀分布.在自然界中, 虽然不同系统所显示的斑图结构无论从时空尺度还是从形成机制等方面都各不相同, 但他们在形态上都有一定的相似性.斑图动力学就是研究自然界中千变万化的斑图结构的生长与形成、竞争与选择、渐变与突变等的共性规律.斑图动力学作为非线性科学的一个重要研究方向[81], 目前已经深入到非常广泛的研究领域,例如光学[89]、流体力学[90]、等离子体物理[91]以及材料科学[92]等.BEC作为一种非线性多体系统,为研究斑图动力学提供了高度可控的优越平台[93].

可以借助环状暗孤子衰变引起的自发对称性破缺, 通过周期性调控系统的非线性强度, 来实现各种有规律的斑图结构.考虑两分量的BEC, 并假设可以通过Feshbach共振等技术周期性调控原子间的相互作用.特别地, 固定组分内部的相互作用强度, 而周期性地改变组分之间的相互作用强度.此时, 非线性薛定谔方程组(13)式和(14)式中的非线性系数可表示为g11=g22= 1,g12=g21=1−sinωt.考虑方程(15)式和(16)式描述的环状暗孤子, 并假设偏心率ec=0 .当谐振子频率Ω=0.028, 相互作用的周期调制频率跟谐振子发生共振, 即ω=Ω, 初始时刻环状暗孤子深度cosϕ1(0)=cosϕ2(0)=1, 半径为R10=27.9 和R20=28.9时, 环状暗孤子的衰变行为如图6和图7所示[94].

最初环状暗孤子沿着径向做周期性振荡, 并诱导了大量较浅的环状暗孤子.随着时间的演化,BEC边缘的环状暗孤子首先遭受蛇形不稳定, 衰变为八角形结构, 如图6(d)所示.这种环状暗孤子的不稳定性逐渐从BEC边缘进入到BEC内部,最终在整个BEC中形成了随时间不断变化的斑图结构, 如图6(e)、图6(f)和图7所示.

图6 周期调制相互作用系统中环状暗孤子衰变引起的斑图形成[94]Fig.6.Pattern formation induced by the decay of ring dark solitons in a system with periodically modulated interactions.

图7 斑图在周期调制相互作用系统中的演化[94]Fig.7.Evolution of the pattern in a system with periodically modulated interactions.

在两分量BEC中, 两分量的原子是相分离还是相混合一般由原子间相互作用强度决定[95−98].对于不随时间变化的原子间相互作用, 当g11g22时, 系统表现为相分离, 此时两分量中的原子密度分布在空间上是相互填充的.当前考虑的系统相互作用g12是在0—2之间随时间周期性变化的, 既不满足又不满足数值模拟结果表明: 在该条件下系统倾向于相分离, 两个分量的原子相互在对方的低密度区域填充, 如图6(d)—图6(f)和图7所示.

需要特别强调的是, 斑图的形成跟系统的对称性破缺有密切联系.图6和图7中斑图的形成依赖于环状暗孤子的自发旋转对称性破缺.但是单纯依靠环状暗孤子的自发破缺只能得到有限数目的涡旋极子, 并不能得到斑图结构.周期调制的非线性在斑图形成过程中同样扮演了重要角色.此外, 由于BEC具有多参数、高度可控的特点, 利用环状暗孤子的自发对称性破缺性质, 结合对BEC其他相关参数的调控, 模拟量子体系中各种样式的斑图形成是一个非常有益的工作.

5 总结与展望

环状暗孤子作为一种非线性激发跟涡旋、斑图等非线性现象具有密切的联系, 环状暗孤子衰变过程中导致的各类涡旋极子动力学以及斑图形成等正在引起非线性科学研究的广泛关注.玻色-爱因斯坦凝聚作为一种高度可调控的非线性系统, 为研究环状暗孤子及其相关动力学提供了优越平台.最近, 超冷原子玻色-爱因斯坦凝聚领域取得了一些新的理论和实验进展, 其中包括人造规范势[56]、自旋轨道耦合[99]、量子液体[100]等.这些进展也正在促进孤子研究的突破[101], 例如理论上已经预言自旋轨道耦合可以用于稳定高维孤子[102,103].人造规范势尤其是非阿贝尔规范势在超冷原子气体中的实验实现[21], 为研究和发现新的量子流体动力学开辟了道路.在不同规范势作用下, 环状暗孤子可能表现出各种新奇的动力学行为.与此同时, 通过设计合适的规范势来增强环状暗孤子的稳定性也是一个非常有益的工作.本文讨论了环状暗孤子衰变导致的涡旋及其运动规律, 最近的研究表明自旋轨道耦合也可以在超冷原子系统中诱导出各种丰富的涡旋结构[57,93,104−109].因而在自旋轨道耦合作用下, 环状暗孤子的衰变行为将发生明显变化, 可能产生新的涡旋结构和非传统的涡旋运动规律.量子液体跟量子气体相比, 一个明显的不同是原子数密度发生了急剧增大[100].急剧增大的原子数密度可能对环状暗孤子的稳定性以及衰变动力学产生重要影响.在这些全新的非线性量子多体系统中、借助新的实验技术研究环状暗孤子的运动规律、稳定性以及相关的衰变动力学将是一个重要的研究课题.