1. 引言
Lie对称是一个较为普适性的方法 [1] [2] ,且偏微分方程组(PDEs)对称已有了广泛的应用 [1] [2] [3] 。为了更好的运用对称方法,人们扩充古典对称概念,提出了各种广义对称概念,如非古典对称 [4] 、势对称 [5] 、近似对称 [6] 、条件对称 [7] 等。这些广义对称得到了广泛的应用,并且理论正在蓬勃发展。其中非古典对称的计算与古典对称不同之处是添加一个不变曲面条件,再计算确定方程组;并且非古典对称的确定方程组(DTEs)是非线性PDEs,所以非古典对称的确定仍然是目前具有挑战性的问题。然而通过获得非线性PDEs的非古典对称,扩充方程的古典对称依然是目前研究的热门课题。目前国内外研究者对非古典对称进行了一些研究,推动了其发展 [8] - [13] 。
本文将确定一类复合方程的古典对称分类和非古典对称分类。考虑下面的一类复合方程
(1)
其中为常数。在该方程中函数取不同表达式时,得到一些重要的偏微分方程,如:当
时,方程(1)变为Burgers方程 [14] ;当时,方程(1)变为BBM-Burgers方程 [15] 和RLW-Burgers方程的特殊情况 [16] 。所以对该方程对称分类的研究具有很重要的物理意义。
2. 复合方程的古典和非古典对称分类
在线性变换
(2)
的作用下方程(1)变成
(3)
其中,是任意常数,并且,即方程(1)在变换(2)下形式不变。所以称(2)为方程(1)的等价变换。因此在对称分类的计算中可以应用的伸缩群和关于的平移群,表示成其典则坐标。
2.1. 古典对称分类
设方程(1)的对称对应的无穷小生成元为
(4)
根据Lie算法,我们得到X的确定方程组,其中
(5)
2.1.1. 主对称
当为任意函数时,确定方程组变为
(6)
解上面的方程组,很容易得到
(7)
其中,为任意常数,所以主对称为
(8)
2.1.2. 扩充对称
根据确定含参数PDEs的完全对称分类微分特征列集算法 [17] ,得到分类方程为
由此得到下面的古典对称分类结果,见表1。
其中是任意常数。
2.2. 非古典对称分类
假设方程(1)的非古典对称对应的无穷小生成元为(4)的形式。方程(1)对应的不变曲面条件为
(9)
在文中分别讨论与两种情况。
当时,不失一般性,设,根据非古典对称的理论得到确定方程组
(10)
Table 1. Classical symmetry classification of composite Equation (1)
表1. 复合方程(1)的古典对称分类
. (11)
2.2.1.的情况
情形I:当为任意函数时,确定方程组(10)变为
(12)
容易得到,,其中为任意常数。与该复合方程的古典对称对比知这种情况不具有非古典对称。
情形II:当为具体函数时,为了确定函数,首先从(10)式的第四个方程得到,将其代入(10)式,化简得到
(13)
在(13)中,我们要考虑在的情况。
(II.1) 当,时,化简(13)得
(14)
由(14)的最后一个式子解有,因是只关于的函数,故其中不含有关于,的函数,因此,其中,,为任意常数。通过计算得
(15)
(1) 取,,,原复合方程变为Burgers方程 [14] ,由表1知该情况具有非古典对称。
(2) 取,,,原复合方程变为BBM-Burgers方程 [15] ,由表1知该情况具有非古典对称。
(3) 取,,,原复合方程变为RLW-Burgers方程 [16] ,由表1知该情况具有非古典对称。
(II.2) 当,时,化简(14)得
(16)
(II.2.1) 若,由(16)中的第一式得,因是的函数,知,,,,,。令,由(16)中的第二式得,。其中,,,,,,是任意常数,且,最后我们得到
(17)
通过表1知该情况没有非古典对称。
(II.2.2) 若,化简(14)得到
(18)
通过计算,得该情形没有非古典对称。
(II.3),根据(10)的化简知必须满足条件,化简(10)得到
(19)
由(19)的第一个式子知,由(19)的最后式子知,故(19)化简为
(20)
(II.3.1) 若,设,,化简(20)得到
,
其中,,,,,是任意常数。通过计算得
(21)
当对应的古典对称的无穷小生成元为
(22)
通过比较知该情况具有非古典对称。
(II.3.2) 若,计算得,,化简(20)有
通过计算得
(23)
其中,,,,,是任意常数。当,即取,对应的古典对称的无穷小生成元为
(24)
其中,,是任意常数。通过比较知该情况没有非古典对称。
从上面的分析,我们得到了方程(1)的非古典对称分类,具体结果列表如表2。
其中,是任意常数。
2.2.2.的情况
同样,我们通过求解方程(11),得到了情况的方程(1)的非古典对称分类,具体结果列表如表3。
3. 不变解
3.1. 非古典对称对应的不变解
下面计算方程(1)的非古典对称对应的不变解。
(1) 当,,,时,复合方程变为
Table 2. Nonclassical symmetry classification of composite Equation (1)
表2. 复合方程(1)的非古典对称分类
Table 3. Nonclassical symmetry classification, of composite Equation (1)
表3. 复合方程(1)的非古典对称分类,
, (25)
并且的特征方程为
. (26)
由特征方程(26)得到不变量,并且由,得,将其代入方程(25),解得,即可得到方程(25)的不变解。
(2) 当,,,时,复合方程变为
, (27)
(28)
由特征方程(28)得到不变量,并且由,得,将其代入方程(27),解得
,即可得到方程(27)的不变解。
(3) 当,,,时,复合方程变为
(29)
并且对称的特征方程为
(30)
由特征方程(30)得到不变量,并且由,得,将其代入方程(29),解得,故可得到方程(29)的不变解。
注:由于篇幅所限,在本文中省略了其它形式的方程的不变解。
3.2. 精确解
1、下面首先确定当时,古典对称对应的Lie变换群,
对应的初值问题为
(31)
通过求解(31),得到对应的单参数Lie变换群如下:
(32)
我们将Lie变换群(32)作用于该情况的不变解,得到下面的新解
.
2、下面首先确定当时,古典对称对应的Lie变换群为:
(33)
将Lie变换群(33)作用于该情况的不变解,得到
以上得到的精确解都是对应方程的新解,而且这些解是不能通过古典对称来得到的,因为篇幅有限,其它情况在本文中不进行讨论。
4. 本文结论
本文通过应用古典对称和非古典对称理论,借助于微分特征列集算法和Mathematica软件,对一类复合方程进行了古典对称和非古典对称分类。最后我们确定了非古典对称所对应的不变解以及精确解,所得的不变解和精确解无法利用古典对称得到。本文的优点是在分类过程中发现了8种允许非古典对称的函数得到的结果丰富了该方程的对称和精确解。
基金项目
国家自然科学基金项目(11661060, 11571008)。
参考文献