Pure Mathematics 理论数学, 2012, 2, 17-22 http://dx.doi.org/10.12677/pm.2012.21004 Published Online January 2012 (http://www.hanspub.org/journal/pm) Copyright © 2012 Hanspub 17 Metric Series Solutions of Fractional Differential Equations Guihua Wan, Shuqin Zhang, Xinwei Su Department of Mathematics, China Mining and Technology University (Beijing), Beijing Email: {zsqjk, kuangdasuxinwei}@163.com Received: Oct. 21st, 2011; revised: Nov. 28th, 2011; accepted: Dec. 2nd, 2011 Abstract: In this paper, we introduce a Mittage-Leffler type series for metric of n order. We obtain Mittage- Leffler type metric series solutions of initial value problems for fractional differential equations system. Fur- ther, we obtain fundamental solution metric, which are denoted by Mittage-Leffler type metric series. Keywords: Mittage-Leffler Type Functions; Metric Series; Fractional Differential Equations 分数阶微分方程的矩阵级数解 万桂华,张淑琴,苏新卫 中国矿业大学(北京)数学系,北京 Email: {zsqjk, kuangdasuxinwei}@163.com 收稿日期:2011 年10月21 日;修回日期:2011 年11月28 日;录用日期:2011 年12月2日 摘 要:在本文中,我们引进了 n阶矩阵的 Mittage-Leffler 型级数。我们得到了分数阶微分方程组初值 问题的 Mittage-Leffler 型矩阵级数解。而且,我们得到了分数阶微分方程组的用 Mittage-Leffler 型矩阵 级数所表示的基解矩阵。 关键词:Mittage-Leffler 型函数;矩阵级数;分数阶微分方程 1. 引言 本文中,我们研究如下分数阶微分方程组的矩阵级数解及其用矩阵级数表示的基解矩阵 1111122 1 22112222 112 2 , , , nn nn nnn nn Dxtaxa xa x Dxtaxaxax Dxta xaxax n (1.1) 其中 ,,1,2,, , ij aRij nD 表示 Caputo 0 1 阶导数,定义如下,请参见[1] 0 0 d1 d d11 0, tu Duttsu sst Гt tГ , (1.2) 注:这儿我们可以要求 和,,1,2,, ij aCij n , Re0C ,为了方便期间我们只考虑实数的情形。 万桂华 等 分数阶微分方程的矩阵级数解 1 nn 如果我们记 111 1 , n nn xaa x xaa ,A 则赋予方程组(1.1)初值条件 110 0,,0 n0n x xx x下的初值问题可以写成 0 0 Dxt Ax xx , , (1.3) 其中 10 0 0n x x x 。 分数阶微分方程是微分方程的一个重要分支。近年来,因其自身理论体系的不断完善以及与许多实际应用 (如:力学、化学和工程学等等)问题的密切联系,受到了国内外数学界和自然科学界的重视并不断得以深入研究。 分数阶微分方程已成为现代数学中一个重要研究方向之一。分数阶微积分不是求分数的微积分,它是求任意阶 导数和积分的一门学科(只是由于习惯而沿用了最初的称呼),它的出现已有300 多年的历史。近几十年,许多工 程人员指出,分数阶微积分非常适用于描述各种物理、化学材料的性质,请参见文献[1 -5]。在现实中,应用科 学家和工程师认识到分数阶微分方程的基本理论为用分数阶方程建模的各种问题的讨论提供了自然框架。分数 阶微积分系统的研究吸引了越来越多学者的注意和兴趣。关于分数阶线性问题的求解是该领域中的一个最基本 的方面,由于分数阶导数的特殊性质,这些问题不像整数次线性微分方程的结果那样丰富和完善,请参见文献 [1,2,5-8]。其中还有好多问题有待于探索和研究。本文首先引进了方阵的Mittage-Leffler 型级数,我们可 以看到 常微分教材中的指数矩阵[7,8] 是该级数的一个特殊情形。我们得到了分数阶微分方程组(1.1)初值问题的 Mittage-Leffle 型矩阵级数解。而且,借助于该Mittage-Leffler 型矩阵级数,我们得到了分数阶微分方程组(1.1) 的基解矩阵。 2. Mittage-Leffler型的矩阵级数 我们首先给出几个与分数阶微分方程相关联的几个特殊函数,具体请参见文献[1]。 定义 2.1.[1] 广义的Mittage-Leffler 型函数是如下表达式 , 0 , , , , , Re0, Г! k k k z EzzC C kk (2.1) 其中 。 11 kk 定义 2.2.[1] 经典的Mittage-Leffler 型函数是如下表达式 0 , , ,Re0. Г1 k k z EzzC C k (2.2) 特别地 1 z Ez e。 设A是一个 n阶矩阵。 定义 2.3. 矩阵 A的Mittage-Leffler型级数指的是如下表达式 2 0 , Г(1)Г(12 )Г1Г(1 ) kk k Ekk AA AA (2.3) 其中 , Re0C ,E是n阶单位方阵。 18 Copyright © 2012 Hanspub 万桂华 等 分数阶微分方程的矩阵级数解 定理 2.1. 给定任意的一个 n阶矩阵A,在每个集合 :, Xaa0 AA ,级数(2.3)是一致收敛的。 证明:如果 aA,则级数 E A 以收敛于 Ea 的数值级数 2 1Г1Г12 Г1 k aaa Ea k 为优先级数,根据维尔斯特拉斯判别法,对于 a A,级数(2.3)是一致收敛的。 注2.1. A 指矩阵的模,有关它的性质请参见[9]。 注2.2. 此时记该级数的和为 E A 。 下面我们求问题(1.1)的初值问题的 Mittage-Leffler 型矩阵级数解。 定理 2.2.初值问题(1.3)存在 Mittage-Leffler 型矩阵级数解 , , 0EttM M A。 证明:我们令 , 00 tx 1 100 00 0 1d Г() Г1 tt txIt xtsxsEx A AA 0 , 22 1 201 01 0 1d Г() Г1Г12 ttt txIt xtssEx AA AA 0 , 22 1 01010 0 1() d ГГ1Г1, 12 Г tnn nn n tt t txIt xtsssEx n AA A AA (2.4) 因为,由矩阵模的性质可得 1 1 0 Г1 Г11 nm n nn m MM tx m n t AA 而数项级数 0Г1 kk k M k A收敛,于是任给 0,mnN,存在 N,使当 时 , . nm tt t M 让 x t是 一致收敛到的极限函数,因为 nt ()|, nn txt txt AAA 所以 一致收敛于 nt A x tA,在(2.4)式的第一个等号两端取极限,就得到 1 00 0 1d, Г t x txIxt xtsxss AA 所以 x t是问题(1.3)的解,对一切 t有定义且连续。我们让 0, Г1 kk n nk t Tk A (2.5) 并且由(2.4)式的第二个等式我们知道 Copyright © 2012 Hanspub 19 万桂华 等 分数阶微分方程的矩阵级数解 0nn tTx , (2.6) 在(2.6)式的两端取极限,我们得到(1.3)的解 0 x tEtx A。 定理 2.3. (t处于一个有限区间)是(1.1)的一个基本解矩阵。而且,如果P是一个阶可逆矩阵,则 也是(1.1)的一个基解矩阵。 Et A Et AP 0 E 0 0 x t A是(1.1)在初值条件 x x 证明:由定理 2.2 知 下的解。我们依次令0 x 为 ,从 而知道 的每一列是(1.1)的一个解,又因为 t 10 0 01 0 ,,, 00 1 Et A 0 时, E Et A,所以 是(1.1)的一个基本解 矩阵。 Et A 如果 P是一个阶可逆矩阵,则我们很容易得知 ,D EtD EtEt APA PAAP 并且 t = 0 时, ,所以 也是(1.1)的一个基解矩阵。 Et AP P Et AP 例2.1. 对角矩阵 ,我们来计算 10 , , 1,2,, 0 =i n Ri n B Et B 。 21 11 2 2 0 00 . Г1Г12 00 0 nn n Et tt Et E Et B 例2.2. 1 01 D ,求 Et D 。 我们知道 1 01 kk D,,由于 1, 2,k 23 2 ,1 23 Г1Г12 Г13 Г1 k tt tkttE t k . 所以我们能够得到 2 ,1 11 . 010 1 Г1Г10 kEtt Et k tt Et EkEt D 现在我们来求用Mittage-Leffler 型函数所表示的问题(1.1)的基解矩阵。 由代数知识[9]我们知道:存在 n阶可逆矩阵 P,使得 1 A PBP ,其中 10 0m J J B 为A的若尔当标准型, , 1,2,,, i J immn 是若尔当块。则由 20 Copyright © 2012 Hanspub 万桂华 等 分数阶微分方程的矩阵级数解 1 1 11 0 , 1,2,, 0 k kk k m J k J APBPPP 我们可以得到 1 1 () . 0 0m EtJ Et Et EtJ APBP PP (2.7) 定理 2.4. 设阶矩阵A有n个互不相同的特征值 12 ,, n , ,则矩阵函数 112 2, ,, nn x Et rEtrEtr 是(1.1)的一个基解矩阵,其中是与矩阵 A的特征值 i ri 相对应的特征向量。 证明:设矩阵A的特征根12 ,, n ,互不相同,则A的若而当标准型 10 0n B xE 。由定理 2.3, 是(1.1)的一个基解矩阵。所以,由(2.7)和例 2.1,我们可以将(1.1)的基解矩阵 用如 下形式来表示,即 Et AP t AP 10 . 0n Et xEt Et AP P 因此,如果确定了矩阵P,则就能够计算出基解矩阵。令表示 P的第i列的向量,则基解矩阵 i r 112 2, ,, nn . x Et rEtrEtr 这个式子表明方程组(1.1)有如下形式的解 , i Et i r 其中是与矩阵A的特征值 i ri 相对应的特征向量。 对于矩阵A的特征根有重根的情形,利用定理 2.2 或2.3,理论上我们可以求得微分方程组(1.1)的基解矩阵。 但由于对于Mittage-Leffler 型矩阵级数,我们目前无法得到指数矩阵那样好的性质: ,其中 A和B 是可交换的n阶矩阵。所以,我们在计算上会显得比较繁琐。我们在今后的工作中会继续探讨Mittage-Leffler 型矩阵级数的性质,以便能够比较容易地计算出微分方程组(1.1)的基解矩阵。 aBA B ee e [1] A. A. Kilbas, H. M. Srivastava and J. J. Trujillo. Theory and applications of fractional differential equations. Amsterdam: Elsevier, 2006. 3. 致谢 本工作受国家自然科学基金项目(10971221)、教育部优秀人才支持计划项目(NCET-10-0725) 、教育部高等学 校科研基金项目(2009QS06),2011 年中国矿业大学(北京)教学团队建设立项项目《线性代数》教学团队建设和 中国矿业大学(北京)课程建设与教改项目(K100701)的资助,在此,我们表示由衷的感谢。同时我们也衷心感谢 参考文献中论著的作者们提供的帮助,本论文得以完成是与他们的贡献分不开的。 参考文献 (References) Copyright © 2012 Hanspub 21 万桂华 等 分数阶微分方程的矩阵级数解 22 Copyright © 2012 Hanspub lculus: Theoretical developments and applications in physics guide to anomalous diffusion: A fractional dynamics approach. Physics Reports, 2000, 339(1): 1-77. [2] K. Miller, B. Ross. An introduction to the fractional calculus and fractional differential equations. New York: Wiley, 1993. [3] I. Podlubny. Fractional differential equations. San Diego: Academic Press, 1999. [4] J. Sabatier, O. P. Agrawal and J. A. Tenreiro Machado. Advances in fractional ca and engineering. Berlin: Springer, 2007. [5] R. Metzler, J. Klafter. The random walk’s [6] 代群, 李辉来. 几类分数阶微分方程解的结构[J]. 吉林大学学报, 2011, 49(3): 580-586. [7] 丁同仁, 李承治. 常微分方程教程(第二版)[M]. 北京: 高等教育出版社, 2004. [8] 张锦炎. 常微分方程几何理论与分支问题[M]. 北京: 北京大学出版社, 2000. [9] 王萼芳. 高等代数教程[M]. 北京: 清华大学出版社, 1997. |