时滞分数阶递归神经网络的输入状态稳定性

针对Caputo分数阶系统难以用带有积分项的非负函数判断系统稳定性的问题,探讨了时滞分数阶递归神经网络的输入状态稳定性。通过设计反馈控制器,利用分数阶导数的定义、Mittag-Leffler函数的性质、李雅普诺夫方法、拉普拉斯变换以及不等式放缩技巧,得到了系统输入状态稳定的充分条件。最后,数值仿真例子验证了所提出方法的有效性。     

Sturm-Liouville边值问题的正解存在性及其界

对于一般的Sturm-Liouville方程的非齐次项只有变量函数的特点,提出了非齐次项带有变量函数及其导数的Sturm-Liouville边值问题.首先利用Gronwall-Bellman不等式研究了齐次Sturm-Liouville初值问题的解的上、下界,得到了其正解存在并且单调递增的一个充分条件.在此基础上,再结...     

具有凸多面体不确定性的混杂随机微分方程的镇定分析

研究了带有马尔科夫切换的具有凸多面体不确定性的随机微分方程的稳定化问题。基于离散的系统观测状态设计了反馈控制器,将控制项同时添加在漂移项和扩散项中,使得控制系统均方指数稳定。在控制系统中引入时滞量τ,利用Lyapunov函数方法对控制系统进行分析,得到了使控制系统稳定的反馈控制器满足的条件以及时滞量的确定准则,并以此为理论基础设计控制器,应用线性矩阵不等式方法得到了控制项系数矩阵满足的条件,即微分方程的可镇定判据。具体的数值算例验证了该方法的可行性。     

一种非光滑函数的二阶梯度微分方程求解算法

为了更好地解决复杂非线性多目标模型求解问题,提出一种非光滑函数的二阶梯度微分方程求解算法.结合非光滑函数针对二阶梯度微分方程中的凸函数性质进行分析和演化,规范凸函数的一阶和二阶性质定义,从而求解常微分方程和偏微分方程.进一步根据非光滑函数的基本原理,对非光滑函数导数进行求解,并对非光滑函数的二阶梯度微分方程的误差数值进...     

非线性非自治系统零解的稳定性

文章在允许Lyapunov函数的导数为变号函数的条件下,由微分方程的平凡解稳定,渐近稳定,一致渐近稳定的定义,通过直接证明,得到了非线性非自治微分方程的平凡解稳定,渐近稳定,一致渐近稳定的几个充分条件,这些定理改进了文献[1]的有关结论,对于检验非线性非自治微分方程的平凡解稳定,渐近稳定,一致渐近稳定具有重要意义.     

单位圆内高阶线性微分方程解与小函数的关系

利用亚纯函数的Nevanlinna的基本理论和方法,研究了系数是单位圆内的高阶齐次和非齐次线性微分方程解的复振荡,讨论了系数是单位圆内的解析函数的高阶齐次和非齐次线性微分方程的解及一次导数和二次导数与其小函数之间的关系,得到了单位圆内高阶齐次和非齐次线性微分方程的解取小函数的精确估计,推广和改进了以前一些文献的结论。     

一类非齐次线性常微分方程的精细积分方法

提出了一种求解一类非齐次线性常微分方程的精细积分方法,通过该方法可以得到逼近计算机精度的结果。首先,定义了一个函数类的集合,该集合中元素的导数可以由该集合中的元素线性表出;然后,在原来方程的基础上增加由该集合中的函数的导数构成的微分方程,得到封闭的齐次线性常微分方程组;最后利用经典的精细积分方法求解该方程组。该方法对非齐次项属于该类函数的线性常微分方程行之有效。方法扩大了经典精细积分方法的求解范围,编程实现简单,算例结果证明了方法的有效性。     

单位圆内高阶线性微分方程解与小函数的关系

利用亚纯函数的Nevanlinna的基本理论和方法,研究了系数是单位圆内的高阶齐次和非齐次线性微分方程解的复振荡,讨论了系数是单位圆内的解析函数的高阶齐次和非齐次线性微分方程的解及一次导数和二次导数与其小函数之间的关系,得到了单位圆内高阶齐次和非齐次线性微分方程的解取小函数的精确估计,推广和改进了以前一些文献的结论。
     

一类分数阶微分方程边值问题的Lyapunov-type不等式研究

一类包含Caputo分数阶导数的边值条件情况下的Caputo分数阶微分方程Lyapunov-type不等式被求出.首先,由Caputo分数阶导数的基本概念,把分数阶微分方程转化为积分方程,根据边值条件,求解出相应的格林函数.为了方便研究格林函数性质,我们从中提取出函数F(t,s).运用求导的方法,研究函数F(t,s)的性质,得到函数在整个区间的上下界.最后,在应用方面,对于一类分数阶微分方程特征值问题,求解了其特征值的存在区间;对于一类Mittag-Leffler函数,得到其零解不存在的区间.     

缓变系数线性中立型系统的稳定性

利用李雅普诺夫函数方法,研究了一类具有缓变系数的线性中立型微分方程解的稳定性,主要是针对中立型微分方程的初始函数所满足的条件不需要二阶导数存在,只要求对一阶导数满足一定的条件之下,得到了零解稳定的充分条件.     

具有变号非线性项的分数阶微分方程边值问题正解的存在性

为了进一步研究非线性项的分数阶微分方程边值问题的性质,讨论了带有变号非线性项的(n-1,1)分数阶微分方程特征值问题正解的存在性,其中分数阶导数是Riemann-Liouville型。首先利用给定边值问题的Green函数,将微分方程转化为等价的积分方程,然后在非线性项f(t,x)满足Caratheodory条件(即任意选取变量x,非线性项f(t,x)为可测函数,对(0,1)区间内几乎所有t,非线性项f(t,x)为x的连续函数)下。通过构造适当的Banach空间,运用锥拉伸与锥压缩不动点定理和Leray-Schauder非线性抉择得出边值问题正解存在的充分条件。结果表明,非线性项f(t,x)中的t可以在(0,1)区间内任何点处具有奇性,同时还改变了使边值问题的解存在的特征值λ的取值范围。研究结果为现存结论的深入研究打下了基础。     

一类二阶常微分方程组求解的简便方法

采用变量代换、降阶和欧拉方法,给出了一类含未知函数一阶导数项的二阶常系数非齐次线性微分方程组的通解,并通过算例验证了通解公式的正确性。     

亚纯函数系数的高阶非齐次线性微分方程解及其解的导数的不动点

研究了非齐次线性微分方程的解及其解的导数的不动点与超级问题,得到了亚纯函数系数的非齐次线性微分方程的解及其解的导数的不动点的一个结果,所得结果推广了一些相关结果.     

一类分数阶控制系统的数值解法

着重考虑4项的分数阶动力控制系统的微分方程．证明了其解的存在性与惟一性．并用Mittag-Leffle函数将解表示出来，但其解析解是很难数值地求出的．利用Caputo，Ricmann-Liouville和Geunwald-Letnikov分数阶导数定义之间的联系，提出了3种数值解法来模拟其解析解．最后给出了数值例子．从而说明了所提出的3种数值方法可以用于模拟分数阶控制系统的性态。     

一类非线性抛物积分微分方程的非协调有限元方法

利用EQ■元讨论一类带有阻尼项的非线性抛物积分微分方程的非协调有限元逼近,利用单元的特殊性质及导数转移技巧,导出了半离散格式下的超逼近结果和全离散格式的最优误差估计.     

具有时滞的分数阶微分方程的特征根解

本文讨论一类具有时滞的分数阶微分方程的特征根解法,对于Caputo型分数阶导数积分下限取负无穷时,针对常数函数和指数函数的分数阶导数和整数阶导数是相似的,故采用常微分方程中求特征根的方法求部分分数阶微分方程的通解,最后给出一些例子说明解的准确性和合理性。     

分数阶微分方程反周期边值问题解的存在性

研究了一类在非线性项中含有未知函数分数导数的分数阶微分方程反周期边值问题解的存在性。利用Schauder不动点定理及压缩映射原理,在非线性项有界和无界的情况下,分别研究了反周期边值问题解存在的条件,最后得到了关于分数微分方程反周期的多个存在性定理。     

含两项分数阶导数的边值问题正解的存在性

研究一类含两项分数阶导数的零边值条件的微分方程,在非线项满足与线性算子的第一特征值有关的假设条件下,应用不动点指数理论和Guo-Krasnoselskii不动点定理得到边值问题正解的存在性.     

非线性(时滞)动力学问题的一种新暂态时程积分解法

非线性微分方程很难求得精确解析解,数值方法是求解非线性问题的一种有效手段。针对非线性微分方程,提出一种新的暂态时程积分方法。在暂态时程积分过程中,将非线性项看做非齐次项,在瞬态区间起始时刻处进行Taylor展开,并结合Romberg数值积分进行计算。Taylor展开时,将系统状态方程连续引入到非线性项导数的求解过程中,可简单有效地计算高阶导数。在此基础上,对含有时滞的非线性微分方程数值解法进行了研究,将时滞项同样看做非齐次项,利用线性插值处理后,结合Romberg积分进行计算。实例计算结果表明,该方法对有无时滞的非线性微分方程,均可求得较高精度的数值解。     

分数阶导数的非线性微分方程边值问题

利用连续函数研究分数阶导数的非线性微分方程边值问题.通过确界定理和单调有界定理,结合构造方法对连续函数进行构造.在给定分数阶导数的条件下,引入扰动方法,利用Green函数定义非线性分数阶导数的微分方程积分算子,运用Banach压缩映像理论,证明了在连续函数空间内分数阶导数的非线性微分方程边值存在唯一解.