1. 引言
分数阶微积分作为微积分理论中的一个重要分支,在17世纪末就已正式提出,在分数阶微积分引入的早期,其理论和作用仅在数学领域得到广泛研究 [1] [2] 。经过三百余年的发展,分数阶微积分已经成为众多科学领域的重要研究工具 [3] [4] 。分数阶导数具有记忆效应和非局部效应 [5] ,相对于整数阶导数而言,它可以更好地描述某些异常现象,例如:用分数阶微分方程描述在发生超扩散和亚扩散的复杂液体中的示踪粒子的异常扩散现象则更加精确 [6] 。但分数阶导数种类众多且结构复杂,所以分数阶微分方程的求解并没有一个通用的方法 [7] 。目前,许多理论与方法已被应用到分数阶导数相关理论中,并取得了显著成效,例如:拉普拉斯变换 [8] ,有限差分 [9] ,Adomian分解 [10] ,变分迭代 [11] 和Lie对称群理论 [12] 等。其中,拉普拉斯变换常用来求解线性微分方程,可以把初始条件一同考虑在变换后的方程组中,避免了先求通解进而求得特解的繁琐;有限差分则是求解分数阶微分方程数值解的一种常用方法;Adomian分解法可以在不进行线性化处理的前提下求解复杂的非线性分数阶微分方程,但其需要对非线性项作特别处理;变分迭代法在问题边界是直角形的前提下对线性和非线性的微分方程均可求解。
在这些方法中,Lie对称群理论是分析微分方程的有力工具,且Lie群具有可以简化微分方程的优点。且该方法已应用到很多分数阶偏微分方程(FPDE)中 [13] - [19] 。Leo等人 [20] 将Lie群理论推广到FPDE中,提出了FPDE在有限自变量下的Lie对称结构;Zhang等人 [6] [21] 证明了Riemann-Liouville时间分数阶导数的Lie无穷小算子在满足一定条件时具有简单的形式;Wang等人 [22] [23] [24] 描述了不同阶数下的时间分数阶KdV方程以及多维时间分数阶KdV方程的尺度变换;Liu等人 [12] [25] [26] 得到了具有Riemann-Liouville分数阶导数的标准形式下的时间分数阶热传导方程、分数阶扩散方程和时间分数阶Harry-Dym方程对称变换下的群不变解;Sahadevan等人 [27] 研究了耦合时间FPDE在Lie对称分析下的精确解。
在以上研究基础上,将继续运用Lie对称方法分析热传导类和扩散类Riemann-Liouville分数阶微分方程。文章结构如下:第一部分,回顾Riemann-Liouville导数的相关基础知识。第二部分,建立Lie对称结构,列出所求解方程的无穷小算子的分数阶延拓公式。第三部分,对所考虑的第一类方程进行对称分类及约化。第四部分,对所考虑的第二类方程进行对称分类及约化。
2. Riemann-Liouville分数阶导数
下面回顾Riemann-Liouville分数阶导数的定义和一些相关性质。
定义1函数
在
时的Riemann-Liouville分数阶微分算子定义如下:
(1)
定义2 Erdelyi-Kober分数阶微分算子
[27] 定义如下:
(2)
其中,
(3)
引理1幂函数的Riemann-Liouville分数导数 [22] 形为
(4)
证明详见 [28] 。
引理2两个连续函数
和
的乘积的Riemann-Liouville分数阶导数——广义莱布尼兹公式 [19] [25] [27] 为
(5)
(6)
证明详见 [28] 。
当(5)式中的
时,得到Riemann-Liouville分数阶导数 [6] 的另一种定义:
(7)
3. Riemann-Liouville分数阶微分方程的对称
考虑如下Riemann-Liouville分数阶微分方程
(8)
其中,
是关于自变量
的函数,
,
以及
。
假设方程(8)在以下单参数变化群下不变
(9)
(10)
其中a是群参数。变换群(9)改写为
(11)
其中,
(12)
对应的无穷小算子为
(13)
由于分数阶导数算子的结构在变换(9)下需要保持不变 [12] ,所以
(14)
引理3方程(8)在变换群(9)下不变的充分必要条件是
(15)
其中
是X的延拓,其结构如下
(16)
(17)
符号
表示x的全导数
(18)
引理4
在
时的一般表达式为
(19)
证明详见 [21] 。
引理5复合函数的
阶导数公式 [29] 为
(20)
证明:根据引理2可知,复合函数的
阶导数可表示为
(21)
且复合函数的整数阶导数 [26] 在链式法则 [30] [31] 下记为
(22)
因此
(23)
证明完毕。
引理6
在
时的具体表达式 [12] 为
(24)
其中,
(25)
证明:根据复合函数的
阶导数公式
(26)
分离出
中y及其导数的线性项,它们仅出现在
和
中,并借助FPDE的莱布尼茨公式可得
(27)
然后将上述结果代入
可得
(28)
其中,
(29)
利用广义莱布尼兹公式,
(30)
(31)
因此,将上述所有结果代入引理4所得的表达式并化简
(32)
证明完毕。
引理7
当且仅当
关于u是线性的,即
。
证明详见 [21] 。
4. 主要研究内容
定理1分数阶微分方程
(33)
拥有的Lie对称如下:
1) 对于任意函数
,方程(33)允许的对称拥有无穷小算子
;
2) 当
时,方程(33)拥有无穷小算子
;
3) 当
时,方程(33)有无穷小算子
;
4) 当
时,方程(33)有无穷小算子
。
其中,
,
,
为任意函数。
证明:将变换(9)作用于方程(33),可得方程不变的条件
(34)
其中,
(35)
(36)
由方程(34)得到确定方程组
(37)
从(37)的第二式,易得到
,
,
;由(37)的第六式可知
。
1) 当
时,
由(37)的第三式可得
;进而可知
;且根据上述结果有
;求解(37)的最后一式则可得
。
综上所述:
(38)
由此,得到方程(33)的两个无穷小算子
(39)
2) 当
时,取特殊值
,即
,
此时,由(37)的第四式可知
;将其代入(37)则有
,
;由(37)最后一式可得
。
综上所述:
(40)
由此,得到方程(33)的两个无穷小算子
(41)
3) 当
时,
由(37)的第一式可得
;由(37)的第三式可知
;将其代入(37)继续化简则有
,其中
,
。
综上所述:
(42)
由此,得到方程(33)的两个无穷小算子
(43)
定理2方程(33)可以约化为分数阶常微分方程
。
证明:当
时:
对于
,求解不变曲面条件
可以得到相似变量
和相似变换
,其中
,
,将其代入方程(33)得到简化的分数阶微分方程
(44)
定理3分数阶微分方程
(45)
所拥有的无穷小算子为
,其中,
,
,
为任意常数,
为
的任意函数。
证明:将变换(9)作用于方程(45),可得方程不变的条件
(46)
由方程(46)得到确定方程组
(47)
从(47)可得对称分类,易得到
,
,
;由(47)的第四式,且根据
可得
,
;代入第一式进而有
;因此将上述结果代入(47)的其余各式可知
。
综上所述:
(48)
由此得到方程(45)的无穷小算子
(49)
定理4方程(45)可以相似约化为分数阶常微分方程
。
证明:对于
,求解不变曲面条件
可以得到相似变量v,
,其中
,
,将其代入方程(45)得到简化的分数阶常微分方程
(50)
5. 结论
本文对具有Riemann-Liouville导数的两类非线性偏微分方程
和
进行了Lie对称分析,得到了
的三类Lie对称结构,且利用Lie点对称,在
,无穷小算子
时,方程可以约化为分数阶常微分方程
。对于方程
,在无穷小算子
下可以约化为分数阶常微分方程
。
致谢
此次论文写作经过思索,推导,验证,多次修改直到最终完稿,让我体会到科研的魅力,对数学这门学科有了更加深刻的理解,让我提高了专业素养,今后我会继续努力,以严谨认真的态度对待每次研究,争取更大的进步。
本篇论文在我的导师银山老师的指导下完成,老师对我科研以及生活上提供了很大的帮助,借此机会向老师表示诚挚的感谢。
基金项目
国家自然科学基金地区基金(No. 12161064)。
内蒙古自治区自然基金项目(2020LH01003)。
NOTES
*通讯作者。