1. 引言
对非线性问题的深入研究是当前大部分科学领域中的主要研究方向和核心工作。在大量的非线性问题中,非线性偏微分方程是可以用来描述它们的主要形式之一,所以求解非线性偏微分方程,尤其是求得非线性偏微分方程的精确解成为了目前研究非线性问题的关键。近年来已经出现了许多求解非线性偏微分方程精确解的方法,例如Jacobi椭圆函数展开法、Backlund变换法、Tanh函数展开法、Riccati展开法,变量分离法、齐次平衡法等等。近期,由文献 [1] 提出的(G'/G)展开法,是通过假设非线性偏微分方程的解可由一类线性的常微分方程的显式行波解G的(G'/G)的形式来表示而求得的,此类方法是求解非线性偏微分方程的显式行波解的非常简便的方法。
本文是将(G'/G)展开法 [2] - [7] 中的(G'/G)展开形式,构造成了一类f(G,G')的形式,即
形式,并且其中的G函数来自一类非线性的常微分方程的显式行波解。运用此f(G,G')展开法,并借助符号计算软件Mathematica,本文得到了(1+1)维GSWW方程的新精确解。
考虑由Boussinesq逼近法,在经典浅水波理论中得到的(1+1)维GSWW方程 [8] [9]
(1)
其中
为任意非零常数且
。该方程一般用于描述浅水波在(1+1)维空间中的运动规律。文献 [9] 中得到了当参数
或
时方程完全可积,并且通过反散射法证明了在此处的方程解的存在性;在文献 [9] 的基础上,文献 [10] 得到了方程的Hirota’s双线性形式;通过运用Backlund变换的变量分离法,文献 [11] 求出了该方程的变量分离的,并且含有低维任意函数的解;文献 [12] 利用了新的G展开法得到了该方程的多种形式的行波解。
2. 一类f(G,G')展开法
将非线性偏微分方程
(2)
作行波变换。令
,
,则化为常微分方程
(3)
设方程(2)的解为
(4)
其中
为待定的常数,通过齐次平衡法可以确定参数
;并且要求其中
满足一类非线性的常微分方程
(5)
这里
为任意的常数。借助符号计算软件Mathematica,得到方程(5)的以下几种解:
① 当
,
且
时,解为
(6)
这里
为积分常数。
② 当
,
且
时,解为
(7)
这里
为积分常数。
③ 当
且
,即
时,解为
(8)
这里
为积分常数。
④ 当
且
时,解为
(9)
这里
为积分常数。
⑤ 当
且
时,解为
(10)
这里
为积分常数。
将(4)式、(5)式代入(3)式,合并
的同幂次项,可以得到有关
的代数方程组,从中求出
,再代回(4)式,即得到方程(2)的解。
3. (1+1)维GSWW方程的新精确解
设方程(1)有行波解
,其中
是一非零常数,从而方程化为
,
对方程进行积分并化简,可得
(11)
其中
为任意常数。设方程(1)的解为
,且
满足方程
。利用齐次平衡法有
,得
.则方程(1)的解表示为
(12)
由(12)式可得
的各阶导数,并结合方程(5)式,我们得到,当
时,
,

将上面共轭的
及
分别代入(11)式,分别合并
的同幂次项,令方程的各次幂的系数为零,可得
0次幂的系数:
1次幂的系数:
2次幂的系数:
3次幂的系数:
4次幂的系数:
借助符号计算软件Mathematica,对以上有关
的共轭的两组代数方程组分别进行求解,可得到,当
且
时,有
,
(13)
这里
,其中
和
取任意常数,将(13)式代入(12)式,得到了两组互为共轭的
的表示形式,即
这里
,其中的G是方程(5)式的解,因此我们得到了(1+1)维GSWW方程以下形式的精确解:
① 当
且
时,
,由(6)式,可得方程(1)的解为
此为方程一对共轭的三角函数形式的显式行波解。
② 当
且
时,
,由(7)式,可得方程(1)的解为
此为方程一对共轭的双曲函数形式的显式行波解。
③ 当
且
,即
时,
,由(8)式,可得方程(1)的解为
此为方程一对共轭的有理函数形式的显式行波解。
④ 当
且
时,
,由(9)式,可得方程(1)的解为
此为方程一对共轭的指数函数形式的显式行波解。
⑤ 当
且
时,
,由(10)式,可得方程(1)的解为
此为方程另一对共轭的有理函数形式的显式行波解。
4. 总结
本文通过构造的一类f(G,G')形式的展开法,对(1+1)维GSWW方程进行了研究,求得了该方程的含有多个任意参数的新精确解,这些精确解是分别具有三角函数、双曲函数、指数函数、有理函数形式的显式行波解.由此可见,这类f(G,G')展开法不仅可以求得非线性偏微分方程的显式精确解,同时还可以得到方程解的多种形式。
基金项目
国家自然科学基金(11601109),海南省自然科学基金(117066)。