1. 基础知识
形如
的方程称为黎卡提方程,其中
和
在所讨论的区间内为连续函数。1841年法国数学家刘维尔证明了在一般情形下黎卡提方程的解不能运用函数的有限次积分以及有限次代数运算而得到,然而他得到了特殊类型的黎卡提方程可化为伯努利方程求解的方法。国内外在黎卡提方程的推广研究侧重点各有差异,比如代数微分方程,离散微分方程,KdV方程的无穷序列复合型类孤子解等。
1) 运用黎卡提方程,可以求解非线性波动方程
的行波解,该方法主要步骤如下:
我们首先引入波动变量
使得
,因此偏微分方程化为关于
的常微分方程
(1)
2) 然后我们假设方程(1)的解可以表示为
(2)
(
)是关于
的函数,是需要进一步确定的常数,
是黎卡提方程的解。之后有
(3)
其他导数也是如此。因此,
和
分别是
和
次黎卡提微分方程的多项式。
3) 将(2)代入到方程(1)中,通过(3)得到关于
的代数方程。为了确定参数N,一般我们会平衡得到的方程中最高阶的线性项与最高阶的非线性项,并收集所有相同
的系数,把这些系数都消去,最后得到一个包括函数
(
),c和
的方程组。
4) 求解步骤3的代数方程组得到了函数
(
),c和
的所有可能值,确定了这些函数和参数,知道N是正整数,通过(2)得到封闭形式的解析解
。
注1:如果我们用黎卡提方程
的解
,当
(
),则黎卡提方程法可转化为tanh思想 [1]。
注2:若我们用黎卡提方程
的解 ,当
是二阶线性微分方程
时,取
,则黎卡提方程法转化为
-展开法 [2] [3]。
2. 广义Klein-Gordon方程行波解
广义Klein-Gordon方程为
(4)
和k都为常数,
是未知函数。引入波动变量
,则方程(4)转化为
(5)
则平衡
和
后有
,解得
。因此,(2)可表示为
(6)
将(6)代入到方程(5)中,并计算
的系数,就可得出关于
,
,c和
的方程组
(7)
上述代数系统依赖于黎卡提方程中系数
和
的选择,下面我们选取系数
和
的一些特殊情况,基于这些选择和上述方程组我们构造了推广的Klein-Gordon方程(4)的特殊精确解 [4]。
1) 如果我们取
,则可得到黎卡提方程
,解为
。这时解方程组(7)得
(8)
和
(9)
其中c为任意常数。根据(9)可把解(6)写为
(10)
和
(11)
当
时,有纽结解
(12)
当
取1,a取0时,解(12)的图像为图1。
当
时,有复周期解
(13)
当
时,有纽结解
(14)
当
取1,a取0时,解(14)的图像为图2。
当
时,有复周期解
(15)
如果我们用黎卡提方程
的解
,则
当
时,有纽结解
(16)
当
取1,a取0时,解(16)的图像为图3。
当
时,有复周期解
(17)
当
时,有纽结解
(18)
当
时,有复周期解
(19)
当±都取+时,行波解与文 [5] 中采用tanh法得到的行波解相同。
2) 如果我们取
,则可得到黎卡提方程
,解为
,而
是二阶线性微分方程
的解(13)。这时解方程组(7)得
(20)
其中
和
(
)为任意常数。这将得到孤波解
如果,则我们可得
当
时有
(21)
当
取1,
取2,
取1,a取0时,解(21)的图像为图4。
或
(22)
当
取1,
取2,
取1,a取0时,解(22)的图像为图5。
如果
,则我们可得
当
时有
(23)
或
(24)
其中
为任意常数。如果取
,则解(3-22) (3-23)可写为纽结解
(25)
且解(23) (24)可写为周期解
(26)
3) 如果我们取
,则可得到黎卡提方程
,
解为
,而 ,
是取
时的贝塞尔函数 [6],其中 C1,C2 是任意常数。这时解方程组(7)得
(27)
和
(28)
其中
和(
)为任意常数。当解为(27)时,得到行波解
(29)
或
(30)
当解为(28)时,得到行波解
(31)
或
(32)
如果我们取
,则可得到黎卡提方程
,解为
,其中
是任意常数 [7]。这时解方程组(7)得
(33)
和
(34)
其中c和
(
)为任意常数。当解为(33)时,得到行波解
(35)
当
取1,
取2,
取1,a取0时,解(35)的图像为图6。
或
(36)
当解为(34)时,得到行波解
(37)
或
(38)
本文主要利用黎卡提方程作为辅助方程,研究了一类波动方程的行波解问题,得到了一些新的行波解的形式。相比原有的方法,该方法更加容易理解与计算。