APP下载

用相容的Riccati方程展开法构造的KdV方程的相互作用解*①

2022-08-25谭志云

关键词:孤子椭圆形式

刘 宇,谭志云

(1.贵州师范大学 物理与电子科学学院,贵州 贵阳 550001;2.遵义师范学院 物理与电子科学学院,贵州 遵义 563006)

0 引言

非线性波动方程是描述非线性现象的数学模型,在物理学、数学、化学和生物学等领域有广泛的应用,寻找其精确解一直是非线性科学中的一个研究热点[1].一般情况下,使用线性叠加原理无法求出非线性波动方程的一般解,只能得到其中一类或者几类方程的特解.到目前为止,研究者提出了Bäcklund变换法[2]、Darboux变换法[3]、Hirota双线性算子法[4]、Panlevé截断法[5]、Jacobi椭圆函数展开法[6]、平衡截断法[7]、Tanh函数展开法[8]等方法求解非线性波动方程的精确解.

KdV方程是一类基本的非线性波动方程,它是荷兰科学家特韦格(Korteweg)和德弗里斯(de Vries)在研究浅水波运动时提出的一种偏微分方程[9].近年来,许多学者都对该方程的求解进行了研究,并且得到了较为丰富的行波解[10-15].文献[15]运用相容的Riccati方程展开法构造了正向展开的形式解进行求解,但漏掉了一些特解.本文运用CRE方法,通过齐次平衡法构造了KdV方程含有Riccati函数正负展开项的形式解.通过符号计算,我们得到了四种情况下KdV方程的单孤子解、孤立波和椭圆周期波相互作用解.当选取恰当的参数时,KdV方程会出现新的精确解形式,这些解有助于研究KdV方程孤立波和椭圆周期波的相互作用结构以及它们的动力学演化行为.

1 CRE方法

2015年楼森岳提出了相容的Riccati方程展开法,即CRE方法[16].该方法是基于Riccati方程的孤立波解,构造相容性方程并进行求解,由此得到孤子波与其他形式的波的相互作用.

考虑非线性波动方程

P(t,x1,x2,…,xn,u)=0.

(1)

设它的形式解为

(2)

其中u和ω均为关于x,t的函数;N为正整数,其值由平衡最高阶导数项和非线性项决定;R(ω)满足Riccati方程

(3)

其中σ,p,q为任意常数.将(2)和(3)代入方程(1),可以得到一个关于R(ω)的方程.令R(ω)的各次幂的系数为0,可解出ui的关系式,将ui代入(2)中便可得到方程(1)的解.在令R(ω)的各次幂的系数为0的过程中,往往会出现方程的个数多于未知数个数的情况,即代数方程组是一个超定方程组,这样便产生了方程(1)的相容性条件

F(ω)=0.

(4)

如果方程(4)有解ω(x,t),将它代入(2),便能得到方程(1)的解.

2 KdV方程的相互作用解

考虑如下的KdV方程[16]:

ut-6u2ux+uxxx=0.

(5)

通过平衡方程(5)的最高阶导数项和非线性项可得N=1.

设方程(5)的截断解为

(6)

将(6)代入(5)并结合式(3),得到方程E(详见附录).

由E可以看出,正负展开后,指数互为相反数的两项的系数之间存在关联.要令各项系数为0,则正负展开相对应的项须同时为0,因此所需要的限定条件比文献[9,16]中的单纯正向展开要多,且u2,u1,σ,p,q,ωxx中的任意一项须为0,各项系数为0才有解.当u2=0时,结果退化为文献[16]的正向展开;当q=0时,Riccati方程无孤子解,不予考虑.当u1=0时,结果变为负向展开.

2.1 负向展开的情况

令方程E中R4和R-4的系数同时为0,解得

u1=0,u2=-σωx.

(7)

当u1=0时Ri的系数均为0,i=1,2,3,4.

令方程E中R-3的系数为0,解得

(8)

令方程E中R-2的系数为0,解得

(9)

将方程(7)、(8)、9)代入E中,验证所有系数都为0,即可判定(9)为方程(5)的相容性条件.

由此可判断,当ω(x,t)满足方程(9)时,方程(5)有解

(10)

假定方程(9)有形式解

ω=k1x+ω1t+F(k2x+ω2t),

(11)

k2x+ω2t=ξ,

则Fξ满足第一类椭圆函数方程

(12)

其中C0,C1,C2为任意常数.当C0=1,C1=-1-k2,C2=k2时,方程(12)的解为Jacobi椭圆正弦函数

Fξ=sn(x,k),

(13)

其中k表示Jacobi椭圆正弦函数的模数,其取值范围为0

(14)

将(14)代入(11),得

(15)

方程(5)的解为

其中

C=cn(tω2+k2x,k),D=dn(tω2+k2x,k),S=sn(tω2+k2x,k),(1)这里cn,dn和sn分别表示Jacobi余弦函数 、Jacobi正切函数和Jacobi正弦函数.

通过对图1、图2和文献[15]中的结果对比分析,可以看出方程(5)的结构解在正向展开时的系数不同于负向展开时的系数,但仍能得到类似的孤立波相互作用解.

2.2 σ=0的情况

令方程E的各项系数为0,解得

(16)

(17)

方程(17)是相容性方程,当它有解ω(x,t)时,方程(5)有解

(18)

为构造方程(5)的孤立波和Jacobi椭圆函数波的相互作用解,假定方程(17)有形如式(11)的形式解,且Fξ满足第一类椭圆函数方程(12),将方程(11)和(12)代入(17),得

令F'(w2t+k2x)的各项系数为0,得

(19)

将第一类椭圆函数方程的条件(C0=1,C1=-1-k2,C2=k2)代入(19),解得

(20)

在约束条件(19)和(20)下,方程(17)的解为

(21)

进而

其中

C=cn(tω2+k2x,k),D=dn(tω2+k2x,k),S=sn(tω2+k2x,k),

图3和图4分别展示了t=0时方程(5)的相互作用解的结构及其随时间的演化行为.

当σ=0时u2为0,原式退化为正向展开,与文献[15]不同的是,σ为0条件下的相容性条件与单纯的正向展开条件下的相容性条件不同,进而导致k1,ω1,k2,ω2等值的限定条件也不同,因此画出来的图形也有所差别,具体表现为孤立波和Jacobi椭圆周期波之间的幅度偏差相比于正向展开较小.

2.3 p=0的情况

令方程E的各项系数为0,解得

(22)

同样可以判断

(23)

为方程(5)的相容性条件.

将(22)代入(6),得到方程(5)的解为

(24)

将(11)和(12)代入(23),解得

令F'(tw2+k2x)的各项系数为0,解得

(25)

将C0=1,C1=-1-k2,C2=k2代入(25),解得

(26)

其中

C=cn(tω2+k2x,k),D=dn(tω2+k2x,k),S=sn(tω2+k2x,k),

当k2取-1时u的图像如图5和图6所示,它们分别展示了p=0时方程(5)的相互作用解的结构及随时间演化的过程.

由图5和图6可知,当p=0时,方程(5)的解出现周期性、渐进性的爆破现象,且爆破现象呈现一定的对称性.

2.4 ωxx=0的情况

令方程E的各项系数为0,解得

(27)

其中(27)就是方程(5)的相容性条件.当ω(x,t)为形如(11)的形式解时,方程(5)有解

(28)

在构造ω的函数时,由于需要满足ωxx=0,令

ω=k1x+ω1t+k2x+ω2t.

(29)

这种情况下所构造的图像为单个孤立波.

将(29)代入(28),解得

(30)

从而

其中

图7 ωxx=0时KdV方程孤立波与椭圆周期波的相互作用解 图8 ωxx=0时KdV方程孤立波与椭圆周期波随时间变化的相互作用解

3 结束语

本文运用CRE法证明了KdV方程(5)的CRE可解性,给出了该方程在四种不同情况下的解,并通过作图使复杂的解析解可视化.CRE方法能否用于寻找方程(5)的其他形式的解,能否用于求解形式不同于(5)的结构更复杂的非线性偏微分方程?这有待于进一步的研究.

猜你喜欢

孤子椭圆形式
Heisenberg群上由加权次椭圆p-Laplace不等方程导出的Hardy型不等式及应用
修正KdV-sinh-Gordon方程的实N孤子解及复N孤子解
例谈椭圆的定义及其应用
一个新的可积广义超孤子族及其自相容源、守恒律
变系数Hirota方程的相互作用研究
小议过去进行时
微型演讲:一种德育的新形式
一道椭圆试题的别样求法
搞定语法填空中的V—ing形式
两个孤子方程的高阶Painlevé截断展开