一种积分不等式及其应用

以算术平均与几何平均不等式为基础,获得蕴涵于正值可积函数矩阵中的一种积分不等式公式.利用此公式不难看到,一些重要的积分不等式可以通过构造正值可积函数矩阵进行直观明了的证明,同时亦可应用此公式创造相应的积分不等式.     

Weierstrass定理在线性代数中的一个应用

Weierstrass定理是数学分析中关于连续函数的一个重要性质 ,通过构造一个在某区间上用矩阵表示的连续实值函数 ,使它在该区间上满足Weierstrass定理的条件来证明矩阵的行列式大于零 ,同时得到了一些有用的结论。     

Weierstrass定理在线性代数中的一个应用

Ｗｅｉｅｒｓｔｒａｓｓ定理是数学分析中关于连续函数的一个重要性质,通过构造 某区间上用矩阵表示的连续实值函数,使它在该区间上满足Ｗｅｉｅｒｓｔｒａｓｓ定理的条件来证明矩阵的行列式大于零,同时得到了一些有用的结论。     

若干重要积分不等式的等价性

给出了几何平均值与算术平均值不等式、cauchy不等式、Чебышев(切比雪夫)不等式、Н lder不等式、Ляпунов(利雅普诺夫)不等式、三角不等式和Minkowski不等式的积分形式并证明了它们之间的等价性,证明了它们τ2(x)dx>0,其中τ(x)是区间[a,b]上任一正值连续函数.等价于∫ba     

时标上具有离散时滞的Wilson-Cowan网络同步

在时标上微积分理论的基础上研究了具有离散时滞的Wilson-Cowan网络的全局指数型同步。通过构造Lyapunov函数,运用线性矩阵不等式和Kronecker积运算等方法,得到了时标上具有离散时滞的Wilson-Cowan网络全局指数型同步的充分条件,即当系统满足定理1中的线性矩阵不等式时可达到全局指数型同步。     

新的广义Ostrowski型不等式的加强

为了进一步研究广义Ostrowski型不等式,基于积分恒等式和引入参数求最值的方法,建立了一些绝对连续函数和二阶可微函数的不等式,加强了已有文献给出的涉及函数平均值和区间的广义Ostrowski型不等式.     

介值性定理的证明及应用

介值性定理是闭区间上连续函数的重要性质之一,本文通过巧妙地构造辅助数列,应用致密性定理、柯西收敛准则来证明闭区间上连续函数的介值性定理。     

具有混合时滞随机离散神经网络的渐近稳定性分析

研究了一类具有离散和分布时滞的随机离散神经网络的模型,通过构造新的Lyapunov-Krasovskii函数,给出了模型渐近稳定性的定理.以线性矩阵不等式形式给出的定理,易于用Matlab的LMI工具箱求解.最后通过仿真实例证明了定理的有效性.     

数列{(1+1/n)n}收敛性的几种证法

对数列极限中的重要极限limn→∞(1+1n)n的存在性,分别用二项式展开定理、贝努利不等式、平均值不等式、构造不等式等方法,给出了不同的证明.     

不等式矩阵形式的推广

近几年来,许多关于实数的经典不等式都在矩阵领域得到了很多推广。如文献[1]全面论述了矩阵论中各种不等式,文献[2,3]给出了矩阵形式的Cauchy-Schwarz不等式,将调和平均-几何平均-算数平均不等式引入到矩阵的二次型之中,得到了一些比较有意义的矩阵形式。本文利用平均值不等式,从可对角化这一概念入手,给出了关于几何-算数平均不等式和几何-调和平均不等式的矩阵形式,并且进一步给出了矩阵迹和行列式形式的不等式,从而推广了平均值不等式的矩阵形式。     

基于LMI的随机神经网络全局渐进稳定性

研究了一类变时滞的随机神经网络模型零解的全局渐进稳定性.基于Lyapunov稳定性理论,通过构造新型Lyapunov-Krasovskii泛函,利用线性矩阵不等式分析技巧,结合It^o微分公式,得到了保证网络的平衡解为均方意义下全局渐进稳定的判别条件.推广了一些已有的结果,并且更少保守.所的结论可用Matlab中的线性矩阵不等式工具箱进行计算来验证网络的稳定性,通过数值例子证明了结论的有效性和易用性.     

自共轭矩阵和的特征值积不等式

本文给出四元数正定自共轭矩阵的一个公式及正定自共轭矩阵和的特征值积的一些不等式和Hadamard不等式的更一般形式.     

连续变量型随机脉冲差分方程零解的均方指数稳定性

研究了连续变量型随机脉冲差分方程的均方指数稳定性,可以弥补此问题的空白.在研究过程中不仅脱离了一般的方法,例如Lyapunov方法、It^o公式等等,而且还引用了一个重要的差分不等式来获取好的结果.同样,所得结果也适用于没有脉冲的情况.     

矩阵乘积之迹的不等式

研究若干复矩阵乘积之迹的不等式,并利用得到的不等式推出两个Hermite半正定矩阵乘积的任意次幂之迹的不等式,利用矩阵的分解给出一个Hermite半正定矩阵任意次幂之迹的不等式,推广了相关结果.     

定积分不等式证明方法的研究

通过利用定积分的定义,已知不等式、泰勒公式、积分中值定理、辅助函数法、二重积分等方法研究了有关定积分不等式的证明方法及规律.     

线性空间相关定理及维数公式的推广和应用（英文）

线性空间的相关定理及其公式对于解决诸多代数问题提供了有力的工具,该文将线性空间中的维数公式推广到一般矩阵上,利用推广的维数公式及相应的定理来证明Sylvester不等式、Frobenius不等式等一些重要的关于秩的命题.     

希尔伯特空间上算子对的李雅普诺夫定理

目的将Lyapunov定理推广到希尔伯特空间上的有界线性算子对上。方法利用在适当希尔伯特空间分解下有界线性算子的矩阵表示。结果给出算子对正稳定化的充要条件及一类算子不等式的谱描述。结论Lyapunov定理推广到希尔伯特空间上的有界线性算子对上是成立的。     

论微分中值不等式

以视经典等式为联接条件与不等式或联接不等式两端的中介桥梁为研究手段，研究讨论与微分中值公式相对应的微分中值不等式，进而给出具有一般性的矩阵微分中值不等式，而视Ｒｏｌｌｅ微分中值不等式、Ｌａｇｒａｎｇｅ微分中值不等式。Ｃａｕｃｈｙ微分中值不等式、向量微分中值不等式为其数。     

非线性不确定中立系统的鲁棒稳定性

通过选择适当的Lyapunov函数,使用牛顿莱布尼茨公式,结合自由权矩阵思想,并利用线性矩阵不等式(LMI)方法,获得了时滞依赖和时滞导数依赖稳定性条件比现存的一些文献保守性小些.最后,通过数值算例来验证此方法的可行性.     

数字通信中正交沃尔什函数的构造研究

对沃尔什函数的构造进行了深入系统的研究,改进了用瑞得麦彻函数构造连续沃尔什函数的公式,提出了离散沃尔什函数编号与哈达马矩阵行号(或列号)之间相互转换的一整套方法,理顺了离散沃尔什函数编号与哈达马矩阵行号(或列号)之间关系,使得用哈达马矩阵的行(或列)构造的离散沃尔什函数与连续沃尔什函数建立了统一对应的关系,从而可以通过抽样来实现用连续沃尔什函数构造离散沃尔什函数。