1. 引言
耦合非线性Schrödinger (CNLS)方程组可用于描述许多自然现象的物理过程,如脉冲在双折射非线性光纤中以等平均频率传播,脉冲在非线性光纤中沿正交偏振轴传播,光束在光折变晶体中传播,以及水波的相互作用等等 [1] [2] [3] [4] [5] 。此外,在量子流体/凝聚态物理、万有引力、生物建模、等离子体物理,都是用各种形式的非线性Schrödinger (NLS)方程建模的。
在非线性光学中的应用方面,(NLS)方程描述了单模波在光纤中的传播。根据变量值的不同,(NLS)方程允许单个和多个sech解(“亮孤子”),以及tanh剖面,或“暗孤子”解。关于“亮孤子”和“暗孤子”的数值,参考文献 [6] 。其中,在光纤通信系统中,CNLS方程组已经被证明可以控制非线性光纤和波分复用系统中沿正交偏振轴的脉冲传播 [4] [7] 。这些CNLS方程组中的孤立波在文献中通常称为矢量孤子,因为它们通常包含两个分量。在上述所有物理情况下,矢量孤子的碰撞是一个重要问题。近十年来,人们对该方程进行了深入研究。研究表明,除了通过碰撞外,矢量孤子也可以相互反弹或相互束缚。所以对于模拟两孤立波的碰撞,不仅是非常有趣的,而且也是很有价值的!
许多研究者已经探索了CNLS方程组的数值解 [8] [9] 。文献 [10] [11] 研究了CNLS方程组,提出了一些线性和非线性且保结构的格式。在文献 [12] [13] 中,构建了多辛方法并模拟了两孤立波的碰撞。在文献 [14] 中,提出了耦合Schrödinger方程组的非线性隐式且保结构的格式,并讨论了解析解和数值解。在 [15] [16] 中,给出了Crank-Nicolson差分格式、紧致差分格式,并进行了数值实验。文献 [17] [18] 也探索了CNLS方程组的一些辛格式和多辛格式。文献 [19] 研究了CNLS方程组的三种数值格式,并用线性化方法分析了稳定性。文献 [20] 研究了CNLS方程组的有限差分格式,并证明了该格式在
范数下的收敛性。接下来在文献 [21] 中提出了强耦合Schrödinger方程组的两个半显多辛格式。当
,
,文献 [22] [23] 构造了求解CNLS方程组的几种有限差分格式,包括Crank-Nicholson格式、线性化隐格式、非线性紧格式和四阶显式Runge-Kutta格式。利用von Neumann方法证明了这些差分格式的收敛性。在文献 [24] 中使用局部保能量和保质量的算法来求解CNLS方程组。在文献 [25] 中建立了含有内原子Josephson的双组分玻色–爱因斯坦凝聚态中基态的存在唯一性结果,并提出了计算这些基态改进的Crank-Nicholson有限差分格式和改进的向后Euler有限差分格式。在文献 [26] 中提出了求解CNLS方程组的非线性隐式紧致差分格式,证明了该格式的守恒定律,并建立了该格式的最优逐点误差估计。
在文献 [27] 中提出了求解耦合非线性Schrödinger方程组的线性化紧致差分格式。证明了该格式保持了用递推关系定义的总质量和总能量的守恒性。然而, [26] 中提出的格式在实际计算中是非线性的且隐式的,因此迭代是不可避免的。 [27] 中提出的格式在实际计算中是隐式的,但计算效率并不是很理想。这意味着 [26] [27] 中的格式在实现中花费了昂贵的CPU时间。因此,为了长时间计算且大大提高计算效率,我的想法是用新的显式差分格式来求解CNLS方程组。
在文献 [28] 的作者说:……在某些领域,保持原始微分方程某些不变性质的能力是判断数值模拟成功与否的标准。因此,我的另一个兴趣是证明新格式在离散意义下保持总质量和总能量守恒。
本文考虑如下一般的CNLS方程组
,
,
, (1a)
,
,
, (1b)
,
,
,(1c)
,
,
,
,
. (1d)
其中,线性耦合参数
考虑由纤维的扭转和纤维的椭圆变形所产生的影响。它也被称为线性双折射 [29] 或相对传播常数 [30] 。当
与
符号相同时,
和
描述了脉冲信号在双折射介质 [31] 中的自聚焦。参数
描述了群速度色散,
是交叉相位调制,定义了CNLS方程组的可积性(1a)~(1d)。参数
称为归一化双折射 [32] 的恒定环境势。
现考虑非线性耦合薛定谔方程组的一种新的有限差分法,它具有计算效率高,保结构的特点。并模拟具有渐近边界条件的相互作用亮孤子
,
,
, (1e)
初始条件
,
,
,(1f)
需要指出的是,这与渐近边界条件是一致的(
,
,
,
)。
原方程组(1a)~(1d)具有的保结构如下:
质量
:
. (1g)
能量
:
.(1h)
其中,
和
分别表示f的复共轭和f的实部。根据CNLS方程(1a)~(1d)具有的结构性质,用新的差分方法离散得到的数值解也保持这样的结构。然后模拟两孤立波的碰撞,得出一些重要的结论。
本文其余部分的组织如下。在第二节中,我们建立了CNLS方程组的DFF显式有限差分格式,并证明了新格式在离散意义上保持了总质量和总能量守恒。在第三节中,我们报告了一些数值结果来检验我们的理论分析和模拟两个孤立波的碰撞。最后,第四节给出了一些简明的结论。
2. 差分格式
2.1. 记号
为求解问题(1a)~(1d),将求解区域
剖分。在空间方向上,将区间
作m等分(m为正整数),记空间步长h(
)。在时间方向上,将
作n等分(n为正整数),记时间步长
(
),并记
,
,
,
,
均为整数。在结点
处的精确解和数值解分别记为
,
。记网格剖分区域
,定义网格函数空间
,对任意
,引进如下记号:
,
,
,
,
,
,
,
,
,
,
.
2.2. DFF差分格式的建立
由泰勒展式可知
,
,
,
,
,
,
,
,
,
,
,
,
,
.
在结点
处考虑微分方程组(1a)~(1b),再用差分算子
,
,
,
,
,
,
,
,离散的
,
,
,
,
,
,代入到方程(1a)~(1b)中可得
,
,
, (1)
,
,
.(2)
其中
,
,
, (3)
,
,
. (4)
易知该格式是三层的,不能自启动,所以我们需要另一个格式 [27] 来计算
和
的两层高阶精确格式,即
,
, (5)
,
. (6)
最后用
代替
,用
代替
,略去小量项
,
,
得到(1a)~(1d)的Du Fort-Frankel差分格式
,
,
, (7a)
,
,
, (7b)
,
, (7c)
,
,(7d)
,
,
, (7f)
,
,
,
,
. (7g)
2.3. 差分格式的守恒定律分析
Du Fort-Frankel差分格式在离散意义下保持的总质量和总能量如下:
,
, (8)
,
. (9)
证明:
可将(7a)与(7b)写为:
,
,
,(10)
,
,
.(11)
将等式(10)的两端同时与
作内积,然后取虚部,可得
,
. (12)
类似地,将等式(11)的两端同时与
作内积,然后取虚部,
,
. (13)
将等式(13)与等式(12)相加,可得
,
. (14)
并注意到
,
,
,
,则有
,
. (15)
类似可得
,
. (16)
又知
,
, (17)
,
. (18)
将(15),(16),(17),(18)代入到(14),并注意的
表达式,可得
,
. (19)
因此,(8)式成立。
将式(7a)的两端同时与
作内积,然后取实部
,
. (20)
注意到
,
,(21)
,
.(22)
将式(21)与(22)代入到等式(20)可得
,
. (23)
类似地,将式(7b)的两端同时与
作内积,然后取实部
,
. (24)
并注意到
,
. (25)
,
. (26)
将等式(24)与等式(23)相加,并注意到等式(25),(26)与
的表达式,可得
,
.(27)
因此,(9)式成立,证毕。
3. 数值实验
考虑如下非线性耦合薛定谔方程:
,
,
,
,
,
,
定义
,
,
,
,
,
,
下面表格为格式(7a)~(7g)在
时取不同步长时得到的数值解的最大误差,
范数误差,
范数误差,以及收敛精度,其中,CPU为程序运行时间。
算例1
在如下初始值下
,
,
精确解为
,
.
这里取
,
,
,
,
,
,
,
,用梯形积分公式
算出原始微分方程组(1a~1d)的精确能量
和精确质量
。
![](Images/Table_Tmp.jpg)
Table 1. Numerical results for Example 1 at t = 1 using DFF(7a-7g) with T = 1 ( τ = h 2 )
表1. 使用DFF(7a-7g)在
(
),算例1在
时的数值结果
由表1可以看出新格式在空间方向和时间方向上具有二阶精度,另一个可看出新格式的算效率高。因此,新格式在实际计算中是较好的选择。
![](//html.hanspub.org/file/21-1251666x247_hanspub.png?20140126004606334)
Figure 1. Total mass and energy and their difference from the initial values, and the corresponding relative errors of them in Example 1 (
,
,
,
,
,
,
,
,
,
,
)
图1. 算例1离散下的总质量
和总能量
,质量差
和能量差
,质量相对误差
和能量相对误差
(
,
,
,
,
,
,
,
,
,
,
)
算例2
在如下初始值下 [5]
,
,
这里取
,
,
,
,
,
,
,
,
,
,
,用梯形积分公式
算出原始微分方程组(1a~1d)的精确能量
和精确质量
。
![](//html.hanspub.org/file/21-1251666x292_hanspub.png?20140126004606334)
Figure 2. Total mass and energy and their difference from the initial values, and the corresponding relative errors of them in Example 2 (
,
,
,
,
,
,
,
,
,
,
,
)
图2. 算例2离散下的总质量
和总能量
,质量差
和能量差
,质量相对误差
和能量相对误差
(
,
,
,
,
,
,
,
,
,
,
,
)
为了证实总质量和总能量在离散意义上的守恒,我们计算了离散下的能量和质量,数值能量和数值初始能量的差,以及数值能量与精确能量的相对误差。从图1和图2,我们可以看到,在离散意义下,总质量
和总能量
随时间的变化总在一条直线上,说明随着时间t的计算,质量和能量是不变的,所以DFF格式很好地保持了总质量和总能量的守恒,验证了等式(8)和(9)中给出的守恒结果。因此,DFF格式满足守恒定律。
在测试线性耦合参数
对两孤立波的碰撞影响,取定
,
,
,
,
,
,
。则只剩下自由参数
。数值测试时,
分别取0.05,0.2,0.6,1。得出两种不同的孤立波在不同
下的碰撞显示在图3中,同时
和
两个孤子在不同
下的等高线图像显示在图4中。从这两幅图中可以看出,在不同
下的碰撞是弹性的,原因是参数
被选取为0。此外,振幅在碰撞点有一些跳跃,这表明
和
之间发生了能量交换。并且线性耦合参数
越大,跳跃越强。
![](//html.hanspub.org/file/21-1251666x344_hanspub.png?20140126004606334)
Figure 3. Elastic collision for Example 2 with (
,
,
,
,
,
,
,
,
,
,
)
图3. 算例2半弹性碰撞(
,
,
,
,
,
,
,
,
,
,
)
![](//html.hanspub.org/file/21-1251666x367_hanspub.png?20140126004606334)
![](//html.hanspub.org/file/21-1251666x368_hanspub.png?20140126004606334)
Figure 4. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
)
图4. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
)
在测试非线性交叉项和初速度
对两孤立波碰撞的影响时,取定
,
,
,
,
,
,则剩下的自由参数为
和
,初始位置参数
可以任意选择。只要
足够大,它们就不会影响碰撞结果。这里数值测试取
。在测试中,取网格大小和时间步长为
,
。
![](//html.hanspub.org/file/21-1251666x405_hanspub.png?20140126004606334)
Figure 5. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
,
,
)
图5. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
,
,
)
![](//html.hanspub.org/file/21-1251666x432_hanspub.png?20140126004606334)
Figure 6. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
,
,
)
图6. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
,
,
)
![](//html.hanspub.org/file/21-1251666x459_hanspub.png?20140126004606334)
Figure 7. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
,
,
)
图7. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
,
,
)
![](//html.hanspub.org/file/21-1251666x486_hanspub.png?20140126004606334)
Figure 8. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
,
,
)
图8. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
,
,
)
在第一种情况下,选择
,
,
,
,
,
,
,
,结果如图5所示。从图中可以看出,右移的孤子被碰撞反射回来,也就是说,孤子的速度逐渐减小,当它从碰撞中出现时,速度变为负值。同样的事情也发生在左移孤子上。 [5] 中已经报告了这个反射场景。两个孤子的振幅在碰撞后也发生了变化,较大的孤子变得更大,较小的孤子变得更小。在这幅图中,我们还可以观察到一个小脉冲,它从孤立波中分离出来,沿着孤立波传播,这些波被称为子波。在第二种情况下,设置
,
,
,
,
,
,
,
,如图6所示的结果。从这幅图中,我们可以观察到这两种波以某种重塑和辐射脱落的方式相互穿过,并产生子波。在第三种情况下,设置
,
,
,
,
,
,
,
,并显示如图7所示的结果。从这幅图中,我们可以观察到这两种波相互穿过,且会彼此反弹并又相互穿过。在第四种情况下,我们设置
,
,
,
,
,
,
,
,并显示如图8所示的结果。从图中可以观察到两个孤子融合为一个孤子,并产生一些小的子波。最后,设置
,
,
,
,
,
,
,结果如图9所示。从这幅图中,我们可以观察到两个孤子碰撞后产生了新的孤子,同时也产生了一些小的子波。这些测试验证了 [27] 中给出的结果。
![](//html.hanspub.org/file/21-1251666x553_hanspub.png?20140126004606334)
Figure 9. Evolution of the modulus of numerical solution for Example 2 with (
,
,
,
,
,
,
,
,
,
,
,
,
)
图9. 算例2数值解的模量演化(
,
,
,
,
,
,
,
,
,
,
,
,
)
4. 结论
本文提出并分析了保结构Du Fort-Frankel有限差分法求解CNLS方程组。该格式大大缩短了系统的CPU时间。遗憾的是,该格式的收敛性没有给出,但在计算结果中可以发现,该格式是二阶的收敛精度。
基金项目
国家自然科学基金项目(No. 11861047);江西省自然科学基金 (20202BABL201005);江西省杰出青年基金 (20212ACB211006)。