简介:本文研究了一类非线性系统,引入了平方凸函数推广凸函数,基于平方凸函数建立了新的Lyapunov不等式.
简介:Inthispaper,weestablishaLyapunov-typeinequalityforfractionaldifferentialperiodicboundary-valueproblems.Asapplications,anecessaryconditionisobtainedtoensuretheexistenceanduniquenessofnontrivialsolutionstothisproblem.
简介:本文研究了一类拟线性系统,引入了反周期边值条件,基于反周期边值条件和数学分析的技巧,建立了新的Lyapunov不等式.
简介:本文讨论矩阵方程ATX+xTA=C的一般解及其最佳逼近解的正交投影迭代解法.首先,利用矩阵的结构特点及相关性质,并借助矩阵空间的相关理论,给出求该矩阵方程一般解正交投影迭代算法;其次,根据奇异值分解、F-范数正交变换不变性证明算法的收敛性并推导出算法的收敛速率估计式,当方程相容时,该算法收敛于问题的极小范数解,且对该算法稍加修改,就可得到相应最佳逼近解;最后,用数值实例验证算法的有效性.
简介:本文研究两类稳定性定理.对LaSalle不变原理做更加合理的改进.研究了Lyapunov直接法,得到了改进的比较原理,并加以证明,最后应用到实例中.
简介:定义在全体实数上的可计算函数是一个很重要的概念.在这以前定义可计算的实数函数有两个途径.第一个途径是首先要定义可计算实数的指标.想要确定实数函数y=f(x)是不是可以计算就要看是否存在一个自然数的(部分)递归函数将可计算实数x的指标对应到可计算实数y的指标.这样一来对实数函数的研究依赖于对自然数函数的研究.第二个定义可计算的实数函数的途径是以逼近为基础的.一个实数函数是可以计算的如果它既是序列可计算的同时也是一致连续的.用这个途径来定义可计算实数函数使用的条件过强以至于很多有用的实数函数成为不可计算的实数函数.例如“〈”和“=”的命题函数就是不可以计算的因为它们是不连续的命题函数.本文讨论了图灵机的稳定性并且给出了一个基于稳定图灵机的可计算实数函数的定义.我们的定义不需要用到自然数的(部分)递归函数.根据我们的定义很多常用实数函数特别是一些不连续的常用实数函数都是可以计算的.用我们的定义来讨论可计算实数函数的性质比原来的定义要方便得多.