1. 引言
伴随科技领域的飞速进步,生物学、物理学、工程学以及信息科学等多个领域涌现出大量复杂的非线性问题,其中许多现象可以通过非线性偏微分方程(PDEs)进行数学描述。在此背景下,深入研究各类非线性PDEs的性质与解法,对于深入理解其物理背景和理论机制具有重要意义。
经过长期的研究积累,学者们已发展出很多种经典的PDEs求解方法,比如:Hirota双线性方法[1]-[3],Darboux变换法[4] [5],Bäcklund变换法[6],Lie对称方法[7]-[10]。在此之中,Lie对称方法是挪威的数学家Sophus Lie首次提出的研究PDEs的重要工具之一。该方法广泛应用于精确解的构造、方程约化以及守恒律的构造,被认为是研究非线性PDEs最有力的数学手段之一。此外,PDEs的对称性与守恒律之间存在紧密联系,守恒律在分析方程的可积性、约化、解的稳定性以及数值计算等方面均具有重要作用。目前,构造守恒律的主要方法包括:Nöether定理[11] [12],乘子法[13],变分导数法[14],新守恒定理[15]-[17]等等。
其中著名学者Ibragimov [18] [19]在偏微分方程守恒律研究领域做出了开创性贡献。他通过引入PDEs系统Lagrangian函数的创新策略,首先利用Euler算子对系统进行变分分析,导出了完整的PDEs系统的数学表达式。随后,他在Nöether定理的理论框架基础上进行拓展,提出了一种新的守恒律构造方法。这一方法不仅适用于原PDEs系统,还能同时处理其共轭PDEs系统,从而建立了更完备的守恒律体系。该定理在学术界被命名为Ibragimov新守恒定理。
Lie对称的应用于很多非线性模型中,如流体力学中的Navier-Stokes方程[20] [21],非线性波动现象Korteweg-de Vries (KdV)方程[22] [23]以及生物学中的反应–扩散方程[24] [25]。
Boussinesq方程是描述流体运动的一类重要数学模型。它由法国物理学家Joseph Valentin Boussinesq [26] [27]于十九世纪提出,通过简化Navier-Stokes方程,在保留非线性效应和色散效应的同时,降低了计算复杂度。Lie对称在Boussinesq类方程中应用也很多,如水波模型中的Peregrine方程和Nwogu方程[28]-[31],二维Boussinesq方程和变系数Boussinesq方程[32] [33],以及非线性光学中的Boussinesq方程[34]等。
Christou & Christov (2000)等人[35]在研究一维非线性晶格中的孤立波时,从离散方程通过多尺度展开,系统地推导出了带高阶空间色散的六阶广义Boussinesq方程
(1)
在传统的Boussinesq方程中,非线性项
描述了介质对有限振幅波的响应,而色散项
则反映了波的频率依赖性。此方程进一步引入了六阶空间导数项
,这通常对应于更高阶的色散效应。六阶广义Boussinesq方程的Lie对称分析对该方程组的进一步研究至关重要。所以本文的主要目的是研究该方程的Lie对称分析和守恒律。
本文基于Lie对称分析[36]-[38],研究了带高阶空间色散的六阶广义Boussinesq方程。具体内容安排如下:第1章介绍Lie对称理论的预备知识;第2章方程组(1)的Lie对称;第3章给方程(1)的约化;第4章给出方程组(1)的守恒律。
2. 预备知识
我们考虑如下一般偏微分方程
(2)
上式的自变量是:
,因变量是
,其中
, (3)
.
定义1 如果一个单参数的Lie对称变换群
(4)
使得PDEs (2)不变,那么单参数Lie点变换群(4)称为PDEs (1)的点对称,其中
是关于
的光滑函数。对应的无穷小生成元如下
(5)
相应的无穷小生成元(5)的
阶延拓为如下形式:
(6)
其中:
(7)
3. 六阶广义Boussinesq方程(1)的Lie对称
假设方程拥有的群是:
(8)
无穷小生成元(8)的六阶延拓为:
其中各阶延拓系数的递推公式为:
考虑算子(8)和六阶延拓对Boussinesq系统(1)的作用,有
(9)
结合对称性条件(9)与生成元(8),得到关于
的确定方程组:
(10)
方程(1)的对称分类
情况1 当方程(1)中的
时,求解该确定方程组得到:
(11)
其中
为常数,对应的生成元如下:
(12)
情况2 当方程(1)中的
时,求解该确定方程组可以得到:
(13)
其中
为常数,对应的生成元如下:
(14)
4. 六阶广义Boussinesq方程(1)的相似约化
本节仅考虑对情况二中生成元
的相似约化:
相应的特征方程可表示为:
(15)
经过对特征方程(15)进行积分可得:
(16)
常数为
,解出
可得:
(17)
其中
是任意函数,
是相似变量,代入原方程化简可得:
(18)
为便于分析,首先考虑物理上合理的简化情形。取参数
,(忽略相应色
散效应)和
,方程(18)简化为:
(19)
当参数满足特定关系时,存在精确解:
情况1:
方程简化为:
(20)
此时有
代入原方程即可验证。
情况2:
此时有
。
通过对六阶广义Boussinesq方程(1)进行Lie对称性分析,成功确定了其三个基本的无穷小生成元,从而揭示了该方程内在的对称结构。特别地,我们选取其中具有重要研究意义的一个生成元,对原方程进行了有效的约化与化简,显著降低了方程的复杂度。这一约化过程不仅为后续寻找精确解、分析解的性质提供了新的可行路径,也为深入探讨此类高阶非线性波动方程的动力学行为奠定了理论基础。
5. 六阶广义Boussinesq方程(1)的守恒律
新守恒定理及其基本定义系统陈述如下:
定义4 考虑偏微分方程组(1)对应的Lagrange函数
(21)
其中
是势函数组。然后有算子:
(22)
对Lagrange函数(21)进行变分运算,导出系统(2)的共轭方程组:
(23)
定理1 根据Ibragimov新守恒定理,偏微分方程组(1)的任意Lie点对称均可生成系统(2)及其共轭系统(23)的一组守恒律,相应的守恒向量可由显式公式构造
(24)
其中:
,
,
为特征形式。
定理2 假如(22)中的Ti满足
,那么PDEs系统(2)和(23)的一组守恒向量为如下形式:
基于Ibragimov新守恒定理,本文对Boussinesq方程(1)的守恒律开展系统性研究。
首先,由表达式(23)可导出六阶广义Boussinesq方程(1)对应的Lagrange函数如下:
(25)
继而应用Ibragimov新守恒定理,系统性地构造六阶广义Boussinesq方程的守恒律:
为获得物理直观的守恒律,需判断原方程(1)是否为自伴随或准自伴随。经计算发现,原方程(1)不是自伴随的,但具有准自伴随性。当取
时,虽不完全满足伴随方程,但可得到一组有物理意义的守恒量,这些守恒量在原方程的解上成立。
情况1 当方程(1)中的
时:
1) 当
时有
得到:
(26)
再使用公式(24)得到方程(1)的如下守恒律向量:
(27)
物理意义:能量守恒。
得到:
(28)
再使用公式(24)得到方程(1)的如下守恒律向量:
(29)
物理意义:动量守恒。
情况2 当方程(1)中的
时:
1) 当
时有
得到:
(30)
再使用公式(24)得到方程(1)的如下守恒律向量:
(31)
物理意义:能量守恒。
得到:
(32)
使用公式(24)得到方程(1)的如下守恒律向量:
(33)
物理意义:动量守恒。
得到:
(34)
使用公式(24)得到方程(1)的如下守恒律向量:
(35)
物理意义:标度变换守恒律(与系统的伸缩对称性相关)。
与四阶Boussinesq方程的对比:当
时,方程(1)退化为经典四阶Boussinesq方程:
对比分析表明:
对称性:四阶方程拥有更丰富的对称群;六阶项
的引入保持时空平移不变性。
守恒律:四阶方程存在质量、动量、能量三个基本守恒律;六阶方程额外引入了高阶色散相关的守恒量,但质量守恒律可能被破坏。
解的结构:四阶方程支持光滑孤立波解;六阶方程在
时产生振荡尾波,形成“孤子辐射”现象,这与高阶色散引起的频散效应直接相关。
本文对六阶广义Boussinesq方程进行了系统性研究,重点探讨了其守恒律性质与Lie对称分析。通过系统构造并深入分析多个具有物理意义的守恒量,揭示了方程内在的对称性和稳定性特征。这一研究不仅进一步完善了该高阶非线性波动方程的理论体系,也为构造精确解、研究解的长期行为提供了新的思路与方法,在数学物理领域具有重要的理论价值和研究意义。
基金项目
本研究得到国家自然科学基金(Nos. 12161064和12561043)的资助。
NOTES
*通讯作者。