高阶分数阶微分方程系统的解的注记-.pdfVIP

第32卷 第1期 工 程 数 学 学 报 Vol. 32 No. 1 2015年02月 Feb. 2015 文章编号 高阶分数阶微分方程系统的解的注记∗ 郑艳萍 , 李胜利 太原师范学院数学系，太原 太原理工大学数学学院，太原 摘 要: 分数阶导数在描述不同物质的记忆与遗传性质方面提供了有力的工具．在科学和工程 的不同领域，都用分数阶微分方程组来描述动力系统．本文主要探讨分数阶微分方程 系统初值问题局部解的存在性与唯一性．对于线性系统，运用Schur 分解定理，给出 其局部解的存在性与唯一性，并通过举例说明该方法是有效的．对于非线性系统，利 用Schauder 不动点定理，给出了解的存在性；运用Banach 不动点定理，给出了解的 唯一性． 关键词: Riemann-Liouville 型导数；局部解；三角形 分类号: (2000) 35Q51; 35Q58 中图分类号: O175.14 文献标识码: A 1 引引引言言言 分数阶导数这一概念的的提出可追溯到1695 年，其理论在19 世纪得到了很大的发 展．有两种形式的分数阶导数，分别是Caputo 型和Riemann-Liouville 型，对于相当广 泛的一类函数，这两种形式的导数是相同的 ．比如在阶数α 为负实数和正整数时，它 们是等价的．分数阶微积分在数学、物理、化学、控制等领域都有广泛的应用，已经吸 - 引了许多科学家和工程学家的关注和研究 ．关于单个分数阶微分方程解的存在性与唯 一性已有大量的研究- ．但对分数阶微分方程系统(分数阶微分方程组) 解的探讨还不 是很多 ．文献[15]探讨了阶数为q ∈ (2, 3] 的分数阶微分方程解的存在性与唯一性．文 献[16]探讨了初值为柯西型的阶数为q ∈ (2, 3] 的分数阶微分方程系统初值问题解的存在 性和幂型估计．本文将在文献[15,16] 的基础上，继续探讨分数阶微分方程系统解的存在 性与唯一性． 令M 表示实数域或复数域上的n 阶矩阵．若 f (t) ∈ C [0, X ], 1 ≤ i ≤ n, f = (f , f , · · · , f ) 是以各f 为分量的n 维向量，则 ∥f ∥ = sup |f (t)|. 收稿日期: 2013-10-14. 作者简介: 郑艳萍(1978年10月生)，女，硕士，讲师. 研究方向：算子理论与算子方程. 基金项目: 国家自然科学基金；山西省归国留学人员基金(2013-102). 62 工 程 数 学 学 报 第32卷 Γ(·) 表示伽马函数． 下面给出本文需要用别的一些定义及引理． 定义 对任意的t 0，函数x(t) 的阶数为q ∈ 的分数阶积分定义为 D x(t) = 1 ∫ (t − τ )x(τ )dτ. (1)