1. 引言
在1972年,Benjamin等人[1]建立了Benjamin-Bona-Mahony (BBM)方程。由下式给出:
(1)
它是KdV方程(Amick等人[2],Benjamin [3])的正则化形式。BBM方程和KdV方程被用来研究水中的表面波(长波)和非线性色散中的长波系统、等离子体中的表面波等。它们是描述水波中非线性传播的重要方程。许多学者对它们的动态特性进行了广泛的研究,包括稳定性、振荡模式和演化(Tso [4],Johnspillai等人[5])。从可控性的角度来看,处理BBM方程比处理KdV方程简便得多。有许多论文考虑了BBM方程的精确解(例如参见[6]-[11])。当
时,方程(1)变成修正的BBM方程式。Wazwaz [12]得到了一种新的(3 + 1)维修正BBM方程,成为Wazwaz-Benjamin-Bona-Mahony (WBBM)方程。形式如下:
(2)
(3)
(4)
从WBBM方程中获得的解的波动现象通常用于水波动力学、流体动力学等研究领域。也有一些学者对WBBM方程进行了研究。Mamun等人[13]采用改进的拓展tanh函数方法研究了WBBM方程的孤立波。Abbs等人[14]使用新的拓展直接代数方法来获得WBBM方程的行波剖面。Shakeel等人[15]使用改进的exp函数方法,研究了WBBM方程的精确行波。
Britton [16]首次将空间和时间上的卷积引入扩散模型中,他推导出了一个模型如下:
(5)
这里,
是时空中的局部卷积,形式为:
(6)
我们取核
如下:
(7)
带有平均延迟
,这里
以及
。引入时滞卷积使模型更接近实际情况。
几何奇异摄动(GSP)理论是探索行波的重要工具。Chen等人[17]专注于研究扰动的广义BBM方程孤立波和周期波的存在性问题。Cheng和Li [18]证明了Degasperis-Procesi方程中具有时滞项的孤立波的存在性。Qiao和Zhang [19]利用GSP定理研究了Keller-Segel系统的动力学行为。Shen和Zhang [20]证明了FitzHugh-Nagumo方程行波脉冲的存在性。Yan等人[21]应用GSP理论和正则摄动分析来研究扰动广义KdV方程。Wen [22]研究了扰动加德纳方程扭结波和反扭结波的存在性。Fan和Wei [23]探索了五次方波BBM方程的周期波和孤立波的存在性。Zhang等人[24]利用GSP定理研究了扰动mKdV方程。
受上述结果的启发,本文主要讨论了带有时滞的WBBM方程孤立波和周期波的存在性。方程形式如下:
(8)
(9)
(10)
其中,
。
文章的布局如下。在第2节中,利用行波变换和几何奇异摄动理论对WBBM方程降维。在第3节,由反证法知,摄动系统的孤立波解不存在。在第4节中,同样发现摄动系统的周期波解不存在。最后,对文章内容做了一个总结。
2. 模型的降维
在本节中,我们利用行波变换和GSP理论对模型进行简化,得到了一个二维系统。
首先,引入变换:
(11)
令
,则局部卷积可化成如下形式:
(12)
那么,方程(8)变成了一个常微分方程,形式如下:
(13)
这里,
。考虑现实意义,我们只分析
的情况。因为方程(8)~(10)化为常微分方程时有相同的形式,为了方便起见,我们只考虑方程(8)。
对方程(13)积分一次得:
(14)
这里,
是积分常数。我们以1为临界点对波速
进行分类。当
时,令
,方程(14)转化为:
(15)
这里,。
对
求导,我们有:
(16)
这里,。
按照同样的方法,可以推出:
(17)
因此,方程(15)被重写为:
(18)
通过变换
,我们得到:
(19)
对于
,为了获得一个不变流形,结合GSP理论,我们先验证
是否是法向双曲的。系统(19)在
处的线性化矩阵是:
(20)
矩阵
有四个特征值,分别是
。因此,
是法向双曲的(见文献[25]-[27])。结合Fenichel [28]第一个不变流形理论,存在一个与
微分同胚的子流形
。
可表示为:
(21)
其中,
和
关于
足够光滑,且满足
。根据
的泰勒展开,我们有
。将其代入到方程(18)中,得:
(22)
(23)
比较
的一次项系数,可得:
(24)
同样地,有:
(25)
因此,限制在
上的慢系统是:
(26)
考虑到由方程
定义的未扰系统,容易看出当参数
取不同的值时,系统包含同宿轨道和周期轨道。根据平面动力系统理论[29],我们有以下关于系统
的结论,并画出了每种情况对应的图(见图1)。
1) 当
时,系统
只有一个中心;
2) 当
时,系统
有一个尖点和一个中心;
3) 当
时,系统
有一个鞍点
,两个中心
和
;
4) 当
时,系统
有一个鞍点和两个中心。
Figure 1. Phase plane of the unperturbed system
when
图1. 当
时,未扰系统
的相平面
当
时,令
,我们获得对应的二维正则系统如下:
(27)
对应的未扰系统是:
(28)
通过分析未扰系统(28),我们知道未扰系统(28)有一个平衡点且是中心。系统(28)的轨迹是一簇围绕着中心的轨道,而且没有同宿轨道,这不在我们的考虑范围内。类似地,当
时,我们可以推出它的情况与
时相似。
3. WBBM方程孤立波解的存在性
当
时,我们已经在文献[30]中讨论过随着参数取值的不同,未扰系统存在四种孤立波。因此,在这一章节中,我们结合Melnikov方法,主要讨论扰动系统(8)孤立波解的存在性。
在[31] [32]中,通过Poincare映射来度量鞍点(或中心)的稳定与不稳定流形之间的距离。
扰动后,鞍点的稳定和不稳定流形的横截相交性由下述积分的零点所确定:
(29)
其中,
和
分别表示初始点和映射点的时间,
是扰动后的轨道。并且当
时,它趋向于未扰轨道
。把
关于
泰勒展开,可得:
(30)
其中,
被称为Melnikov函数。
未扰系统
有一个鞍点
,这里
满足
。对此,鞍点的稳定和不稳定流形之间的距离函数由下式确定:
(31)
这里,
为哈密顿函数
。
由此可知,我们定义系统(26)沿着左或右同宿轨道的Melnikov函数为:
(32)
根据定义,未扰系统
的双同宿轨道由如下的代数曲线确定:
(33)
另外,双同宿轨道包括右同宿轨道
和左同宿轨道
,其范围分别是
和
,这里
。同时,我们定义双同宿轨道
的Melnikov函数如下:
(34)
为了探究Melnikov函数的零点,我们把
的表达式分成两部分。设
(35)
(36)
那么,
变成了
(37)
不难得知
。我们用反证法来证明Melnikov函数零点的存在性。如果
,有
。分情况讨论。
1) 当
,
;2) 当
,
。
综上所述,这与
相矛盾。因此,
的零点不存在。类似地,
的零点也不存在。这表明扰动系统(26)的同宿轨道破裂,也意味着方程(8)的孤立波解不存在。
4. WBBM方程周期波解的存在性
在这一节中,我们分别考虑未扰系统和摄动系统周期波解的存在唯一性。
在之前的讨论中,我们获得了正则摄动系统(26)。当
时,未扰系统和对应的哈密顿函数如下:
(38)
和
(39)
根据Cardano公式系统(38)有三个平衡点分别是:
,
,
。其中,这三个平衡点对应的哈密顿函数是
,
以及
。为了比较这三个平衡点横坐标的大小,结合三角函数的性质,不妨令
,我们获得了如下估计:
。这里
代表着每个点的横坐标。如图1(c)所示,不难看出
是鞍点,
和
是中心。同样地,当
或
时的情况也可被同样推导出来,这里不再赘述。
接下来,我们将计算未扰系统(38)的周期波解的表达式。为了方便起见,我们计算在鞍点右边的闭合周期轨道,这对应于图1(c)中的黑色曲线。我们得到了下述定理:
定理1:针对
以及
的情况,方程(8)有一簇周期波解如下:
其中,
,
是方程
在
上的实根,
。
注:定理1的证明基本类似于文献[30] (推论6.1),因此本文省略。
当
,系统(38)的相平面如图1(c)所示,可以看出存在一簇周期轨道
围绕着中心
。为了探索扰动WBBM系统周期轨道的存在性,参考文献[33],我们定义Melnikov函数如下:
(40)
其中,
,
。周期轨道
关于
轴对称,故有
,
。这里
代表周期轨道和
轴交点的横坐标。因为当
时,有
,
,所以
,即
没有零点。这意味着受到扰动后,系统的周期轨道破裂,周期波不存在。
5. 总结
本文对具有卷积的WBBM方程的孤立波和周期波解的存在性问题进行了讨论。主要讨论在未扰系统存在孤立波和周期波的情况下,利用Melnikov方法,发现受到扰动后WBBM方程的孤立波和周期波是不存在的。