Hilbert空间上线性算子的Drazin可逆性

主要研究了Hilbert空间上两个Drazin可逆算子和的Drazin可逆性.同时,对上三角算子矩阵的Drazin可逆性也给出了详细的讨论.     

Banach空间上算子张量积的联合谱

本文主要研究了 Banach 空间上交换算子组的张量积以及 Banach 代数的张量积中交换元组的 Taylor 联合谱,推广了 Vasilescu,F.H.及 Wrobel,V.等人结果。     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

二元Bernstein－Kantororich算子的逼近性质

本文在Ｂｅｓｏｒ空间中对定义在单形Ｓ＝｛（ｘ，ｙ）｜ｘ＋ｙ｜≤１，ｘ，ｙ≥０｝上的二元Ｂｅｒｎ－ｓｔｅｉｎ－Ｋａｎｔｏｒｏｖｉｃｈ算子得到一个等价关系，同时在Ｓｏｂｏｌｅｖ空间Ｗ＿ｄ，ｐ（ｓ）中讨论其收敛的性质．     

扰动方法在胎次递进人口系统中的应用

本文中应用线性算子扰动理论研究了胎次递进人口算子在递进比的小扰动下对主本征值及相应本征元的影响，给出了主本征值及相应本征元的修正值主项所满足的公式．     

一类混合单调算子的不动点定理及其应用

本文对一类重要的混合单调算子证明了不动点的存在、唯一与逼近定理，并应用于研究动态规划中泛函方程的正解问题．     

多线性Calderón-Zygmund算子的加权有界性

建立了多线性Calderón-Zygmund算子在比幂权空间更一般的Herz空间和Herz型Hardy空间上的有界性.作为推论,得到了该算子的幂权估计.在这些幂权估计中,权指标可以突破Ap权的指标限制,显示出和经典Calderón-Zygmund算子本质的区别.     

Riemann曲面上的正常和拟正常复合算子

Riemann曲面M上的平方可测1-形式全体和解析1-形式全体均可构成Hilbert空间。本文讨论Riemann曲面上的解析映射导出的这类Hilbert空间上的复合算子,研究复合算子的正常性、拟正常性的诱导映射特征。特别地,当M有有限三角剖分时,证明了正常复合算子、拟正常复合算子、酉复合算子、等距复合算子和可逆复合算子等价。     

Banach空间中极大单调算子的一个邻近点算法

设E是Banach空间,T∶E→2E*是极大单调算子,T-10≠ф.令x0∈E,yn=(J λnT)-1xn en,xn 1=J-1(αnJxn (1-αn)Jyn),n0,λn>0,αn∈[0,1],文章研究了{xn}收敛性.