一类单调斜积半流的ω-极限集的提升动力学行为

本文研究了一类具有极小基流的单调斜积半流.在假定半流存在-个半连续的半平衡的前提下,我们证明了具有某种一致稳定性的正半轨线的ω极限集具有1-covering性质,这为理解系统的全局动力学提供了几何洞察.     

一类半线性椭圆方程及其摄动方程解的确切个数和分歧结构

本文主要研究一类定义在平面单位球上的半线性椭圆偏微分方程和相应的摄动方程解的结构.这类方程广泛来源于物理、化学和数学生物学等领域.本文运用分歧理论和连续方法,得到了该类方程及其摄动方程解的确切个数,并给出相应的分歧图象.     

一类四阶奇异半正Sturm-Liouville边值问题的正解

在Sturm-Liouville边界条件下研究较广泛的一类四阶奇异半正微分方程,得到其C2[0,1]正解与C3[0,1]正解存在的新结果,并给出了其正解与该边值问题的格林函数之间的某些联系.     

双参数半线性高阶椭圆型方程的奇摄动解

讨论了一类具有双参数的半线性高阶椭圆型方程边值问题.利用微分不等式理论,研究了边值问题解的存在性和渐近性态.     

Banach空间中一阶积-微分方程的解

利用新的比较原理和半序方法讨论了Banach空间中的混合型一阶积-微分方程的非线性边值问题,并改进了已有的结果.     

环上带有广义导子和自同构的恒等式

设R是一个素环,RF是它的左Martindale商环.如果φ(xigik△ij)是环R的某个本质理想I的一个多重线性既约且带有自同构的广义微分恒等式,那么φ(zikj)是环RF的一个广义多项式恒等式.设R是一个具有特征P≥0的半素环,RF是它的左Martindale商环.如果φ(xigik△ijfik)是环R的一个多重线性既约且带有自同构的广义微分恒等式,那么φ(zikjfike(△ij)是环RF的一个广义多项式恒等式,这里fik和e(△ij)是RF中的幂等元.     

二阶超前型微分方程振动性准则

建立了二阶超前型微分方程的一些振动准则,改善和推广了Agarwal R P的相关结论.并纠正了Agarwal R P中定理3.1的证明过程中的一个失误.     

半量子群u~(≥0)

设u~(≥0)表示一个固定单李代数的半量子群,给出了u~(≥0)的性质和表示.证明了Hopf代数u~(≥0)不是拟余交换的,因此左u~(≥0)-模范畴不是辫子monoidal范畴.在权模范畴W中,给出了所有单对象和投射对象.最后描述了所有单的Yetter-Drinfel'd u~(≥0)-权模.     

格值命题逻辑系统中基于滤子的MP归结演绎

给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.