S-引理及其进展

S-引理是运筹学领域和控制论领域中一个十分重要的定理。本文首先从一个非线性控制系统的全局渐近稳定性分析出发,引出S-过程和S-引理,以及两者之间的联系与区别。接着我们介绍了S-引理的基本内容和最新进展,以及它在复数域和四元数集合上的推广。最后,我们介绍了将齐次型S-引理推广到任意多个对称(或厄米特)矩阵时的一些基本结果。

具有色散的反应扩散方程(组)的整体吸引子

利用一致Ｇｒｏｎｗａｌ引理和Ｓｏｂｏｌｅｖ空间的嵌入性质，首先证明了具有色散的反应扩散方程在Ｄｉｒｉｃｈｌｅｔ或Ｎｅｕｍａｎｎ边界条件下的整体吸引子的存在性．其次，在Ｄｉｒｉｃｈｌｅｔ边界条件下证明了当σ＞０时，具有色散和不变区域的反应扩散方程组的整体吸引子的存在性，这里σ将由定理２给出；

一类非紧算子的不动点(英文)

运用 Zorn引理得到了非紧 ,非单调算子不动点存在性的一些有趣结果 .

关于广义特征值的一个Wielandt型定理

Wielandt引理对于矩阵特征值的估算十分重要。本文利用经济分析中常用的特殊矩阵的相关性质 ,在 Wielandt引理的基础上 ,针对广义特征值问题证明了一个更加复杂的 Wielandt型定理。

基于局部核RX算法的高光谱实时检测

提出了一种基于LKRX检测器的实时异常检测算法.利用局部因果滑动阵列窗,使检测系统保持因果性.根据卡尔曼滤波器的递归思想,利用Hermitian矩阵分块求逆引理和Woodbury引理,将LKRX算法中核协方差矩阵以及其逆矩阵以递归方式更新,避免了数据的重复计算和逆矩阵的求解,大大降低了算法复杂度.通过真实数据进行实验,结果表明,与LKRX算法相比,实时LKRX算法在保持相同检测精度的同时,消耗更少的计算时间;而与实时RX算法相比,实时LKRX算法能够检测到更多的异常目标.

一类p-Laplacian方程非平凡解的存在性

研究了具有Dirichlet边值问题的p-Laplacian方程-Δ_pu=f(x,u)的非平凡解的存在性。在非线性项f赋予适当的条件下,通过变分法和一些分析技巧,给出了其非平凡解的存在性定理。

局部引理及其在(r，s)-SAT问题中的应用

一般说来,寻找满足一定结构性质的对象结构是困难的。概率方法提供了解决此类问题的途径:证明满足一定结构性质的对象的概率大于零。在概率方法中,局部引理是一个关键技术。本文介绍了局部引理的基本原理和使用方法,并将其应用到估计(k,s)-SAT问题中临界函数的下界。

临界点理论中的一个定理及其应用

给出临界点理论中的一个定理：设＞０，水平集Ｆｃ＋ｅ≠φ，则对任意满足Ｆｃ＋ｅ∩Ｕ≠φ的开集Ｕ．或者１）存在ｘｅ∈使得Ｆ（ｘｅ）＜Ｃ－ε，或者２）存在ｘ使得．据此简化了几个熟知定理的证明。

扩充Z平面上的席瓦尔兹引理及其推论

席瓦尔兹引理在其他学科和复变函数的后续课程中是一个重要的引理。对席瓦尔兹引理做出一番研究,不仅有理论意义,而且有着应用意义。现对席瓦尔兹引理做出了几个不同形式的推广。

一类基尔霍夫型方程非平凡解的存在性

考虑具有Dirichlet边值问题的非线性Kirchhoff型问题-(a+b∫Ω!u2dx)Δu=f(x,u)的非平凡解的存在性。在具有更一般增长性条件的非线性项f赋予适当的条件下,通过变分法和一些分析技巧给出了其非平凡解的存在性定理。

一类带有Hardy奇异项的半线性椭圆方程的解

考虑具有Dirichlet边值问题的半线性椭圆方程-Δu-μu/(|x|2)=f(x,u)的非平凡解的存在性.在具有更一般增长性条件的非线性项f赋予适当的条件下,通过变分法和一些分析技巧给出了其非平凡解的存在性定理.

单位圆内解析函数的几个不等式

利用Schwarz引理等,证明了单位圆内解析函数的几个不等式,从一个侧面刻画了解析函数的性质。

多项式环Z_(p^e)[x]中的Hensel引理及提升

在多项式环 Zpe[x]中 ,建立了 Hensel引理及提升 ,并利用 Hensel引理证明了 xn- 1在 Zpe[x]中可惟一分解成基本不可约多项式的乘积 ,其中 (n,p) =1。

Ekeland变分原理的一个注记及应用

给出Ｅｋｅｌａｎｄ变分原理的一个推论，并据此简单地证明几个熟知定理。

一类Euler方程的非平凡解的存在性

本文应用山路引理讨论下面的Ｅｕｌｅｒ方程的超临界增长的边值问题的非平凡解的存在性．其中ｎ（ｘ）是Ω的外法向，Ｃ为常数．

Kronecker引理的推广及其应用

从著名的Ｓｔｏｌｚ定理与Ｔｏｅｐｌｉｔｚ引理出发，构造了一类有趣的实数序列，并得到了Ｋｒｏｎｅｃｋｅｒ引理的推广（定理１）。

散度型椭圆方程Hlder连续性的Green函数法

文中利用散度型非线椭圆性算子的Green函数与Laplacian算子的比较性质,建立了具有自然增长条件下的散度型非线性椭圆方程弱解的内部H(o|¨)lder连续性.

Schanuel引理的推广

把Schanuel引理推广到拟投射模和拟内射模的情形,进而导出半单模的一些新性质。

模糊时滞系统的记忆状态反馈控制

该文研究了Takagi-Sugeno (T-S)模糊时滞系统的稳定与镇定问题。首先,选择一个近期提出的基于辅助函数的积分不等式,以线性矩阵不等式(LMIs)形式给出了保守性较小的时滞依赖的稳定性准则。其次,结合Finsler引理,首次提出了基于前提不匹配技术的模糊记忆状态反馈控制器设计方法,该前提不匹配的记忆控制器不要求与模糊系统拥有相同的隶属函数和模糊规则数目。最后,给出两个仿真算例证明所提理论的先进性和有效性。

一类二次规划解的解析表达式

给出二次凸规划问题，ｍｉｎｆ（ｘ）＝ａ＋Ｃ′ｘ＋１２ｘ′Ｑｘｓ．ｔ．Ａ′ｘ≥０，当Ｑ为对称正定方阵时，解的矩阵表达式．