1. 引言
非线性现象出现在各种各样的科学应用中,如等离子体物理、固态物理、流体动力学等。为了更好地理解这些非线性现象,许多数学家和物理学家都在努力寻找其精确解,运用这些精确解可以预测和解释一些重要的物理现象。所以非线性偏微分方程(PDE)在物理现象研究中起着重要的作用。近年来,许多方法被用来寻找非线性PDE的解,其中一种方法被称为首次积分法,首次积分法是基于交换代数环的理论,由Feng [1] 第一个提出的对非线性PDE进行可靠处理,并由他自己进一步发展了这个理论 [2] [3] [4] 。这一方法已被许多学者应用于解决在科学和工程中遇到的不同的偏微分方程模型 [5] [6] [7] 。为了得到非线性PDE更丰富的精确解,前人提出了如下这些方法,如tanh-sech函数法 [8] ,雅可比椭圆函数展开法 [9] ,F展开法 [10] ,指数函数法 [11] ,Hirota双线性法 [12] ,动力系统分岔理论 [13] 等等。
在本文中,我们将考虑如下广义非线性薛定谔方程 [14] 和高阶色散非线性薛定谔方程 [15] :
(1)
和
(2)
这里
为实常数,
为复函数。
2. 首次积分法的基本介绍
考虑一个如下典型的非线性PDE
(3)
为了将方程(3)化为常微分方程(ODE),我们介绍这个变换
(4)
其中c是常数。
(5)
步骤1:通过上述变换可将PDE转换为如下ODE形式
(6)
步骤2:假设这里的ODE(6)能被写成
(7)
步骤3:现在我们引入一个新的独立变量,即
(8)
并给出了ODE的系统
(9)
步骤4:根据常微分方程的定性理论 [16] 。如果我们能在相同条件下找到方程(9)的积分,那么方程(9)的解就可以直接得到。但是,目前还没有一个系统的理论告诉我们如何去找到首次积分,因此我们将运用除法原理去寻找方程(9)的首次积分,它将会减少常微分方程(6)的一阶积分。通过解这个方程可以得到方程(3)的精确解。现在,我们来介绍除法原理。
定理(除法原理):设
和
为两个变量x和y在域
中的多项式,并令
在
中不可约。如果
在所有零点
上可约,那么在
中存在一个多项式
,使得
。
3. 应用
在这一节中,我们将利用首次积分法来详细求解两个非线性薛定谔方程的精确解。
首先我们考虑方程(1)。假设方程(1)的解满足如下形式
(10)
其中
,这里
是实参数。
将方程(10)代入(1)中,并令虚部和实部分别为零,整理可得
(11)
(12)
将方程(11)积分一次代入(12)得
(13)
为了计算简便,我们定义:
,
及
。
根据方程(13)和(8)我们得
(14)
其次,我们考虑方程(2)。假设方程(2)的解满足如下形式
(15)
其中
,这里
是实参数。
将方程(15)代入(2)中,并令虚部和实部为零,整理可得
(16)
(17)
对(16)微分一次代入(17)中,令
。则
(18)
根据方程(18)和(8)我们得
(19)
这里如果我们仍然定义
方程(19)和(14)有相同的首次积分,要找到它们的精确解,我们仅需讨论其中一个方程即可,下面我们将给出对方程(14)的求解过程。
现在,根据除法原理,我们假设
和
是方程(14)的非平凡解。且
(20)
在复数域
中是一个不可约多项式,即
(21)
这里
是X的多项式以及
。方程(21)称为(14)的首次积分。定义
关于X和Y的多项式,且
。根据除法定理,我们可以看到在复数域
中存在一个多项式
,使得
(22)
3.1. 情形一
在方程(21)中我们假设
,即方程(22)可以被写成
(23)
然后,在方程(23)中通过比较两边
的系数,我们得到
(24)
(25)
(26)
因为
是X的一个多项式,从方程(24)中我们得出
是一个常数,且
。为了便于计算,我们令
。平衡
和
的阶数,我们得出
。假设
,这里的
,那么
(27)
其中D是任意的积分常数。将
代入方程(26)中,通过比较系数得到如下代数方程组
(28)
用Maple求解它们,可得到
(29)
这里
且满足约束条件
(30)
把条件(29)代入(21)中,得
(31)
再由方程(8)有
(32)
为了求解(32)的解,我们引入伯努利方程 [17] 有
(33)
这里
。则方程(33)有如下形式的解
(34)
(35)
这里
为任意常数。令
代入方程(35)中有
(36)
则广义非线性薛定谔方程(1)的行波解可写为
(37)
3.2. 情形二
在方程(21)中我们假设
,通过比较两边
系数,我们得到
(38)
(39)
(40)
(41)
因为
是X的一个多项式,从方程(38)中我们得出
是一个常数,且
。为了便于计算,我们令
。平衡
和
的阶数,我们得出
,
,
。假设
,这里的
,那么
(42)
(43)
其中D是任意的积分常数。将
代入方程(41)中,通过比较系数得到如下代数方程组
(44)
用Maple求解它们,可得到
(45)
这里
且满足约束条件
(46)
把条件(37)代入(21)中,得
(47)
再由方程(8)有
(48)
同理,令
代入方程(34)和(35)中,则方程(48)和(32)有相同的精确解。
4. 总结
在本文中,首次积分法成功地求解了广义非线性薛定谔方程和高阶色散非线性薛定谔方程,丰富了其解空间。与其他方法不同的是,它是求解精确行波解的一种有效的方法,即我们可以轻松地借助计算机软件完成其复杂的代数计算,从而得到了更精确的行波解,因此,该方法可以推广到求解更多非线性偏微分方程的精确解。