1、第 卷第期V o l ,N o 滨州学院学报J o u r n a l o fB i n z h o uU n i v e r s i t y 年月A p r,【微分方程与动力系统研究】线性C a p u t o型分数阶三维动力系统解的空间结构及动力学行为收稿日期:基金项目:重庆市自然科学基金项目(c s t c j c y j A X );重庆工贸职业技术学院校级科研项目(Z R )作者简介:张宏杰(),男,重庆人,助教,硕士,主要从事分数阶微分方程研究.E m a i l:q q c o m张宏杰(重庆工贸职业技术学院 基础教育学院,重庆 )摘要:基于系数矩阵特征值的分类情况,采取一系列线
2、性变换和L a p l a c e变换,结合M i t t a g L e f f l e r函数的敛散性,对C a p u t o型分数阶三维动力系统进行了研究,得到了分数阶三维动力系统解的相空间结构及动力学性质.关键词:特征值;M i t t a g L e f f l e r函数;分数阶动力系统;相空间结构;动力学性质中图分类号:O 文献标识码:AD O I:/j c n k i 引言分数阶微分方程应用广泛,涉及反常扩散、热传导、黏弹性现象和系统的记忆现象等领域,尤其在分数阶动力系统及其控制研究领域方面,受到越来越多专家学者的关注.当前有关分数阶微分方程的研究主要集中于精确解 以及解的存
3、在性 、稳定性和数值模拟 等方面.C a p u t o型分数阶三维动力系统在相空间中解的结构和动力学行为鲜有研究.文献 研究三维分数阶动力系统的平衡点问题时,只把该系统作为所研究动力系统的一种特殊情况,由于受到技术的限制,文章并没有对该系统的平衡点进行分类讨论,也没有进一步研究平衡点周围轨线的走势及其动力学性质.文献 对分数阶二维自治系统的动力学性质进行了相关研究,却并未对分数阶三维系统进行详细说明讨论.为此,本文将对C a p u t o型分数阶三维动力系统在相空间中解的结构和动力学行为进行研究,这与上述文献中的研究内容大不相同.模型描述主要探讨基于动力系统下C a p u t o型分数阶
4、微分方程 dxdtaxbycz,dydtaxbycz,dzdtaxbycz.()其中:d/dt为分数阶微分算子,为导数阶数且属于(,),t为时间参数.显然,若,分数阶动力系统()就变成了整数阶动力系统,其平衡点的分类情况、精确解以及动力学行为早已被众多学者进行了较为系统和全面的研究,故不再过多赘述.本文则主要研究分数阶三维线性系统的平衡点分类情况及动力学性质.此外,由于高维动力系统的研究离不开系统的V函数,即李雅普诺夫函数,但当a时,分数阶导数不满足复合函数的链式求导法则,故获得高维分数阶动力系统的V函数十分困难.因此,本文拟绕开系统的V函数的求解方法,利用非奇异的线性变换将较为复杂的三维动力
5、系统约化成相应的标准滨州学院学报第 卷形式,再施行L a p l a c e变换,同时借助M i t t a g L e f f l e r函数的性质,采取先求解,然后绘制分数阶系统空间相图的方法来研究线性三维分数阶自治系统在相空间中的动力学性质和平衡点类型.记Xxyz,Aabcabcabc,则三维分数阶动力系统()可简写成dXdtAX.当A的行列式不为零时,原点O(,)是分数阶三维动力系统()唯一奇点.根据矩阵A的特征值,可分成特征值为不同实根、二重实根、三重实根以及虚数根种情形.基于上述情形,本文将分别讨论系统()相应的种标准型约化.此外,根据矩阵论相关知识,必定存在相应的可逆矩阵T,能够
6、满足TA TJi(i,),即J,J,J ,J,()其中,i(i,),均为实数.又由线性代数理论可知,通过非奇异的实线性变换l xl yl z,l xl yl z,l xl yl z可将分数阶动力系统()简化成对应的标准型.相空间结构和动力学性质情形条件下,动力系统()的标准型为ddt,ddt,drdt,()不难发现,上述标准型的系数矩阵即为式()中J.现对式()两边同时施加L a p l a c e变换可得sE(s)scE(s),sK(s)scK(s),sM(s)scM(s),()式中s表示L a p l a c e变换参数.不妨令c(),c(),c()均为初值,对式()两边施加L a p l
7、 a c e逆变换可求得其解为(t)cE(t)ck(t)k(k),(t)cE(t)ck(t)k(k),(t)cE(t)ck(t)k(k),()其中E(it)为M i t t a g L e f f l e r函数.把t看作参数,通过式()并结合函数敛散性可知,当i(i,)时,E(it)是收敛的,故当t时,有(t),(t),(t),此时系统的平衡点是渐近稳定的;而当i(i,)时,函数E(it)是发散的,即t时,有(t),(t),(t),故系统的平衡点是不稳定的.此外,利用数学软件M a p l e能够详细绘制出情形下C a p u t o分数阶三维动力系统()解的空间相图及轨线走势,如图所示.由
8、图轨线的走势可以更加直观地验证上述结论的合理性.将图(a)投影到二维平面上,投影下的平衡点均是渐近稳定的,且平衡点类型均为稳定结点.同理,由图(b)的二维投影可以发现,平衡点类型是不稳定结点.因此,当i(i,)时,称系统()的平第期张宏杰线性C a p u t o型分数阶三维动力系统解的空间结构及动力学行为衡点类型为相空间中的稳定结点;而i(i,)时,称系统()的平衡点为相空间中的不稳定结点.(a)i(i,)(b)i(i,)图情形下分数阶动力系统解的三维相图情形(即二重实根)时动力系统()的标准型为ddta,ddt,ddt,()其系数矩阵即对应()式中J.与情形类似,对式()两边同时施行L a
9、 p l a c e变换及其逆变换可求得其解(t)cE(t),(t)cE(t)ctE()(t),(t)cE(t),()E()a(t)为M i t t a g l e f f l e r函数的一阶导数,其表达式为E()(t)k(k)(t)k(k).当时,分析式()可以发现,若t,则(t),(t),(t)均趋于,故说明系统()的平衡点是稳定的,且是渐近稳定的;当时,若t,则(t)、(t)、(t),说明系统()的零解在该条件下是不具备稳定性质的.情形下的空间轨线的走势如图所示.(a)i(i,)(b)i(i,)图情形下分数阶动力系统解的三维相图情形当(即三重实根)时,动力系统()的标准型可分为两种类型
10、:()动力系统中系数a,a,b,b,c,c均为时,系统()为dxdtax,dydtby,dzdtcz,()可以发现,分数阶微分方程组()已是标准型,故不需要再利用线性变换进行化简.通过对式()进行L a p l a c e变换及其逆变换,求得其解为x(t)cE(t)ck(t)k(k),y(t)cEa(t)ck(t)k(k),z(t)cE(t)ck(t)k(k).()滨州学院学报第 卷由式()不难看出,当时,x(t),y(t),z(t)均趋于(t),则说明平衡点是渐近稳定的;而当时,x(t),y(t),z(t)均趋于(t),即说明平衡点是不稳定的.该情形下解的相空间轨线走势见图.(a)i(i,)
11、(b)i(i,)图特征值为三重实根且常数均为零情形下分数阶动力系统解的三维相图若将图分别投影到二维坐标平面上(这里图像省略),不难发现二维平面上该系统的平衡点类型均为临界结点.且当i(i,)时,该平衡点是渐近稳定的;当i(i,)时,该平衡点不再具有稳定性.因此,将该情形下系统()的空间奇点类型称为三维临界结点.()动力系统中系数a,a,b,bc,c均不为零时,系统()的标准型为ddt,ddt,ddt,()对式()施加L a p l a c e变换及其逆变换,得到解(t)cE(ta)ctE()(t)ctE()(t),(t)cE(t)ctE()(t),(t)cE(t),()上式中函数E()(t)为
12、M i t t a g L e f f l e r函数的二阶导数,表达式为E()(t)k(k)(k)(t)k(k).由解()及函数敛散性不难得出,当时,在t的条件下,(t),(t),(t)均趋于,即系统()的平衡点是渐近稳定的;而当时,同样在t的条件下,(t),(t),(t)均趋于,说明系统()的平衡点是不稳定的,其轨线的空间走势如图所示.(a)i(i,)(b)i(i,)图三重实根且常数不全为零情形下分数阶动力系统解的三维相图不难看出,若将图投影到二维平面上,则在二维平面上平衡的类型均为退化结点,且当i时,该奇点是渐近稳定的;反之,当i时,该奇点不再具有稳定性.故此,将此情形下系统()的空间奇
13、点类型称为三维退化结点.上述种情形都是在值为实数的情况下进行讨论的,以下就特征值为复数的情形进行分析.情形为实数,和为一对共轭复数情形下系统()的标准型为ddt,ddt ,ddt.()其中,为实数,i和i为一对共轭复数,和为任意常实数.对式()施行L a p l a c e变换及其逆变换,得其解为第期张宏杰线性C a p u t o型分数阶三维动力系统解的空间结构及动力学行为(t)ck(t)k(k),(t)c()jk(t)k(k)()k(u)j()k(jk)!t(kj)j!k!(kj)cc()()jk(t)k(k)()k(u)j()k(jk)!t(kj)j!k!(kj),(t)c()jk(t)
14、k(k)()k(u)j()k(jk)!t(kj)j!k!(kj)cc()()jk(t)k(k)()k(u)j()k(jk)!t(kj)j!k!(kj).()当,时,根据解()及M i t t a g L e f f l e r函数的敛散性可知,若t,则有(t),(t),(t),故系统()的零解是稳定的;而当,时,若t,有(t),(t),(t),则系统()的平衡点是不稳定的,其轨线的走势如图所示.(a)i(i,)(b)i(i,)图实数与一对共轭复数情形下分数阶动力系统解的空间相图将图(a)进行投影,如图所示.可以发现,图(a)在二维平面上奇点的类型为退化结点,具有渐近稳定性;而图(b)(c)的奇
15、点类型均为鞍点,具有不稳定性.基于上述性质,将情形条件下相空间奇点的类型称之为空间鞍鞍结型奇点,且在三维空间中具有部分稳定的性质.(a)x o y平面(b)x o z平面(c)y o z平面图实数与一对共轭复数情形下分数阶动力系统解的二维投影图小结本研究着重探讨了C a p u t o形式下分数阶三维自治系统在相空间的动态特性,包括系统在相空间中平衡点的变化规律及其附近轨线的动态特征.通过采用一系列的非奇异线性变换、L a p l a c e变换,求解了C a p u t o型分数阶微分方程组经线性变换后的解析解,并根据M i t t a g L e f f l e r函数的收敛性进一步研究了
16、分数阶三维自治系统解的多种特性.最后,利用数学软件M a l p e绘制了该系统轨迹分布的空间相图,揭示了系统的动力学行为及其特征.此外,研究还发现C a p u t o形式下的分数阶三维动力系统中不存在中心型平衡点和闭轨道,因而也无周期解,这一发现为分数阶自治微分方程组不存在周期解提供了新的证据.滨州学院学报第 卷参考文献:张慧求解非线性分数阶偏微分方程精确解的几种方法J湖北民族大学学报(自然科学版),():杨娟,冯庆江应用R i c c a t i展开法求非线性分数阶偏微分方程的新精确解J应用数学,():李慧敏,顾海波利用模糊L a p l a c e变换的方法求解模糊分数阶积分微分方程J
17、滨州学院学报,():赵微,高扬带有分数阶导数边值条件的分数阶微分方程正解的存在性J华南师范大学学报(自然科学版),():李晓艳,任玮,谢地等一类 C a p u t o分数阶微分方程解的存在性和U l a m H y e r s稳定性J安徽大学学报(自然科学版),():周蜜,李成福一类p L a p l a c i a n算子分数阶q差分系统边值问题正解的存在J滨州学院学报,():陈景华,陈雪娟 R i e s z空间分布阶的分数阶扩散方程的数值模拟J集美大学学报(自然科学版),():孙春艳,徐伟随机分数阶微分方程初值问题基于模拟方程法的数值求解J应用数学和力学,():马玉田分数阶动力系统的几
18、个问题D上海:上海大学,罗静,冀小明分数阶二维线性系统的奇点类型及其邻域内的轨道性态J西南民族大学学报(自然科学版),():S t r u c t u r eo fS p a c ea n dD y n a m i cB e h a v i o ro fS o l u t i o n s t oT h eL i n e a rC a p u t o F r a c t i o n a l D i m e n s i o nA u t o n o m o u sS y s t e m sZ HANG H o n g j i e(C o l l e g e o fB a s i cE d u c
19、a t i o n,C h o n g q i n gI n d u s t r y&T r a d eP o l y t e c h n i c,C h o n g q i n g ,C h i n a)A b s t r a c t:B a s e do nt h ec l a s s i f i c a t i o no fc o e f f i c i e n tm a t r i xe i g e n v a l u e s,as e r i e so f l i n e a rt r a n s f o r m a t i o n sa n dL a p l a c e t r a
20、 n s f o r m a t i o n s a r e a d o p t e d t o s t u d y t h eC a p u t o t y p e f r a c t i o n a l o r d e r t h r e e d i m e n s i o n a l d y n a m i c a l s y s t e m,c o m b i n i n gw i t ht h ec o n v e r g e n c ea n dd i v e r g e n c eo f t h eM i t t a g L e f f l e r f u n c t i o n
21、 T h ep h a s es p a c es t r u c t u r ea n dd y n a m i c a lp r o p e r t i e so f t h es o l u t i o nt ot h ef r a c t i o n a l o r d e r t h r e e d i m e n s i o n a ld y n a m i c a l s y s t e ma r eo b t a i n e d K e y w o r d s:e i g e n v a l u e s;M i t t a g L e f f l e rf u n c t i o n;f r a c t i o n a lo r d e rd y n a m i c a ls y s t e m s;p h a s es p a c es t r u c t u r e;d y n a m i c a l p r o p e r t i e s(责任编辑:贾晶晶)