一类线性时滞系统的采样数据控制

研究了线性时滞系统的采样数据控制问题.基于新的依赖时间的LyapunovKrasovskii泛函,采用广义系统方法与自由权矩阵方法,得到了采样数据控制的指数稳定性分析和状态反馈控制器设计的条件,并表达为线性矩阵不等式形式.通过仿真举例,证明了结论的正确性与可行性.     

变时滞Hopfield神经网络的全局吸引性和全局指数稳定性

对一类具时滞的Hopfeild型神经网络模型,在非线性神经元激励函数只要求满足Lipschitz连续的条件下,利用推广的Halanay时延微分析不等式、Dini导数以及泛函微分析技术,给出了这类模型的平衡点全局指数稳定性和全局吸引性的充分条件,这些条件易于检验,且改进和推广了前人的结论.此外,此文给出了研究神经网络模型的全局吸引性的微分不等式比较方法.     

一个R2上含双曲函数核的Hilbert型不等式

通过引入参数,构造了一个全平面上的、含双曲函数的非齐次核函数。利用正切函数的有理分式展开,建立了最佳常数因子与正切函数高阶导数相关联的Hilbert型积分不等式。 作为应用,通过赋予参数不同的值,建立了一些有意义的特殊结果。     

NA序列部分和的矩完全收敛性

讨论了NA序列部分和的矩完全收敛性,在一定条件下获得了NA序列矩完全收敛的充要条件,显示了矩完全收敛和矩条件之间的关系,将独立同分布随机变量序列矩完全收敛的结果推广到NA序列,得到了与独立随机变量序列情形类似的结果.     

非遍历α-Brown桥过程的偏差不等式与Cramér型中偏差

考虑如下非遍历α-Brown桥过程:■, X0=0, t∈[0, T),其中, 0 <α <1/2, T∈(0,∞)固定, W={Wt:t0}是标准的Brown运动.本文利用渐近分析的技巧以及多重Wiener-It?积分的偏差性质,研究二次泛函■和■的偏差不等式和Cramér型中偏差.作为应用,本文得到对数似然率过程和参数α极大似然估计量的(自正则化)Cramér型中偏差.     

一类四阶微分方程边值问题解的存在唯一性

为解决两端固定支撑弹性梁解的存在性及唯一性问题,运用Leray-Schauder延拓定理,研究一类非线性四阶常微分方程边值问题,当非线性项满足适当至多增长性条件时,得到解的存在性结果.进一步,当非线性项满足Lipschitz条件时,得到解的唯一性结果.     

一类新的求解双边障碍问题的数值方法

针对双边障碍问题的离散互补形式,提出了一类新的格式将其等价转化为方程组的形式,并采用牛顿迭代法进行求解.实验结果显示所提算法能快速,有效地计算出数值解和接触集.     

运用Poincaré-Miranda定理数值验证变分不等式解的存在性

本文运用Poincaré-Miranda定理数值验证变分不等式问题解的存在性.证明这一新方法相对于已有的方法更具有普遍性,并通过数值例子说明本方法的高效性.     

玻色化方法在超对称可积系统的应用

利用玻色化方法可以避免超对称可积系统中反对易费米场带来的计算困难. 本文以N=1超对称mKdVB系统为例, 利用玻色化方法, 将其转化为只有玻色场的耦合系统. 应用标准的WTC方法, 证明了该耦合系统具有Painlevé性质. 运用Painlevé截断方法, 可以得到玻色化后超对称mKdVB系统的非局域对称. 为了求解与非局域对称相关的Lie第一性原理, 引入新的场将玻色化后系统拓展为更大的系统. 通过引入新的场, 该非局域对称局域化为Lie点对称. 因此, 可以利用Lie点对称约化方法研究拓展后的系统, 得到超对称mKdVB系统的孤子与其他孤波相互作用解.     

通过Painlevé分析从低维模型中寻找高维可积模型

将Painlevé方法推广到更一般的形式, 可以从给定的低维可积模型中得到无穷多个新的可积模型. 新的可积模型与原模型相比都是较高维的, 它们保持保角不变性和Painlevé性质. 本文主要以KdV、NLS和KP方程为例, 运用WTC法、截断展开、领头项分析等方法, 给出了(3+1)维可积模型的具体形式.