1. 引言
分数阶微积分理论是数学理论研究的重要的分支之一。早在17世纪末,莱布尼茨给医院的一封信中第一次探讨了有关幂函数1/2阶导数的问题 [1] 。近年来,分数阶偏微分方程在描述物理,生物,化学等领域方面占有重要的地位 [2] [3] [4] 。随着分数阶导数在很多领域中被应用,迫切需要任意阶的微分和积分的理论研究。其中分数阶微分方程分为分数阶常微分方程和分数阶偏微分方程,其中分数阶偏微分方程又可以细分为时间–空间分数阶偏微分方程,时间分数阶微分方程,空间分数阶偏微分方程。在整数阶微分方程研究的基础上,用分数阶导数替换原来的整数阶导数 [5] - [11] ,从而得到不同的分数阶模型。分数阶导数有很多种定义,现在使用比较多的定义有Riemann-Liouville [4] [12] 分数阶导数、Grumwald-Letnikov [4] [13] [14] [15] 分数阶导数和Caputo分数阶导数 [12] 等。本文研究内容主要是在Caputo分数阶导数定义的基础上研究的。
虽然分数阶微分方程应用很广,但是如何求解分数阶微分方程的解成为了众多数学家所面临的难题 [16] [17] 。为此,很多研究人员已把很多整数解微分方程的方法应用于分数阶微分方程,如齐次平衡法 [18] [19] [20] 、不变子空间法 [21] [22] 、辅助方程法 [23] 以及Lie对称(群)分析法 [16] [17] 等等。本文中选取了Lie对称分析法对非线性时间分数扩散微分方程进行求解。
Lie对称理论第一次应用到分数阶非线性微分方程中是在二十世纪末, Buckwar [24] 和Luchko [24] 在分数阶导数的意义下,利用Lie群的尺度不变性解决了一类扩散方程。随后Gazizov [25] [26] 和Kasatkin [25] [26] 等人做出了很多贡献。但是,据我们所知,研究分数阶微分方程Lie对称的人们主要考虑包含时间分数阶导数和空间变量的整数阶导数的微分方程。为此,本文中将考虑同时包含时间分数阶导数和时间整数阶导数的微分方程的Lie对称。
具体内容安排如下,第一节中给出了Caputo的分数阶导数定义与性质,特别是给出了两个函数的Leibniz型规则。在第二节中,建立了Caputo分数阶偏微分方程在一个自变量下所对应的Lie对称框架,并分析了相应的对称结构。在第三节中,对同时包含时间整数阶导数和时间Caputo分数阶导数的一类微分方程的Lie对称进行分类。最后根据得出的Lie代数,对所分析的方程进行约化。
2. Caputo分数阶导数
定义2.1 对于
,函数
关于
的分数阶积分定义为 [27]
(1)
其中伽玛函数在
时被定义为
。当
时
被定义为
。
定义2.2 对于
,关于函数
的
阶Caputo分数阶导数定义为 [27]
其中
。
定义2.3对于
,关于函数
的
阶Riemann-Liouville分数阶导数定义为 [27]
定义2.4 Caputo分数阶导数与Riemann-Liouville分数阶导数的关系为 [27]
(2)
引理2.1设
和
是
上的解析函数,则有
(3)
(4)
其中
,公式(3)~(4)称为广义莱布尼茨规则 [28] 。
幂函数的Caputo分数阶导数有如下性质 [22] :
1. 如果
并且
,则
。
2. 如果
并且
,则
。
3. 如果
并且
,则
1)
;
2)
。
3. 分数阶微分方程的Lie对称
本文中考虑同时包含时间Caputo分数阶导数和时间整数阶导数的如下常微分方程的Lie对称
(5)
其中
是因变量,t是自变量。
定理2.1 Caputo分数阶微分方程(5)拥有的单参数Lie对称
(6)
当且仅当它满足以下两个条件
(7)
其中
,
是群参数,其无穷小算子为
(8)
且
表示算子(8)中的延拓,具体表达式为
(9)
(10)
表示关于t的全导数
(11)
的计算公式如下
(12)
引理2.2 无穷小
的
阶延拓
(
)具体表达式为 [29]
(13)
其中
(14)
证明:根据公式(12)以及公式(4)得到
(15)
现在根据复合函数的广义链式法则 [27] 得到下式
(16)
因此
表示为
(17)
接下来,我们从
分离出u及其导数的线性项,这些项在
或
中唯一出现,因此有以下两种情况:
得到
(18)
由于
以及
,得到
的显式表达式(13),证明完毕。
引理2.3
当且仅当
关于u是线性的,即
,详细证明见 [23] 。
4. 主要研究结果
定理2.2分数阶微分方程
(19)
所拥有的Lie对称如下(见表1):
Table 1. Lie symmetry classification of equation (19)
表1. 方程(19)的Lie对称分类
证明:根据方程在Lie群中的不变性,对非线性时间分数扩散方程(19)进行Lie对称分析,其中
,函数
与
为u的函数。根据定理2.2将
作用于方程
(19)两侧得到
(20)
其中
从(20)得到无穷小的确定方程组:
(21)
当P和F任意函数时,
以及
。其中情况如下:
情况1. 当P等于常数时:
在不失一般性,不妨设
,方程组(21)化简为
(22)
从方程(22)中的第4个式子,能得到
,将其代入(22)中再根据式2,得到
。再根据(22)中的3式,在
时有
,于是
。对应的Lie算子为
。
情况2. 当
当
时,方程组(21)化简为
(23)
从方程(23)中的第5个式子,能得到
。将其代入(23)中再根据式2,得到
。再根据(22)中的3式,在
时得到
,于是得到
。则由
以及
确定的方程拥有的Lie对称算子F为:
。
情况3. F等于常数
在不失一般性的情况下,令
,方程组(21)化简为
(24)
从方程组(24)中的第1个和第5个式子,得到
,
。将其代入方程组(24)中根据式1与式7,得到
以及
。根据6式,得到
。再根据
,当
时,Lie对称算子数为
。当
即
时,
,即对应的算子为
。
情况4.
i) 当
时,方程组(21)化简为
(25)
首先根据方程组(25)中的式4,得到
。将
代入(25)中再根据式1得到
。最后再根据第5式,得到
。故通过上面的分析得到由
,
对应的Lie对称算子为
。
ii) 当
时,方程组(21)化简为
(26)
从方程组(26)中的式4,得到
。再根据(26)中的式1,得到
。再根据5式算得
。由此得到当
,
时,算子为
。
iii) 当
时,通过分析得到
,对应的算子为
。
综上所述,我们从方程(19)的Lie对称开始,通过分析化简Lie对称的确定方程组(21),得到P完整的分类结果如表1所示,证明完毕。
定理2.3当
与
时,方程(19)约化为
(27)
证明:取
,
时,所确定的无穷小算子
。使用正则变量的对称方法,偏微分方程
,
所产生的相关特征方程为:
,得
到的相似变换为
(28)
由
(29)
得到
以及
令
,将
,
以及
,
代入方程(19)中再进行化简得到方程(27),证明完毕。
5. 结论
本文对包含Caputo时间分数阶导数与整数阶导数的一类微分方程进行了Lie对称分析,给出了公式(5)所确定的无穷小算子的一般结构,然后进一步得到求解此类方程的对称结构。最后通过Caputo分数阶的相关性质Caputo分数阶微分方程的Lie理论,给出了所考虑的微分方程拥有的对称定理,对部分情况给出了原方程的Lie对称约化。
致谢
在此次写论文中,我发现写论文是要真真正正用心去做的一件事情,是真正的自己学习的过程和研究的过程,没有学习就不可能有研究的潜力,没有自己的研究,就不会有所突破,那也就不叫论文了。期望这次的经历能让我在以后学习中激励我继续进步。
本篇文章在银山老师的帮助下完成,非常感谢老师在我写论文期间的帮助。
基金项目
国家自然科学基金地区基金(No. 12161064);
内蒙古自治区自然基金项目(2020LH01003)。
NOTES
*通讯作者。