模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

拟序群上的Toephiz C~* -代数的忠实表示的刻划

设G为一离散群，（G，P）为一个拟序群．记T（G，P）为相应的ToeplitzC-代数．给出了T（G，P）的一个表示为忠实的充要条件．     

超双曲型方程的Dirichlet问题

从紧算子的谱理论出发，给出了超双曲型方程（△x-△y）u＋λu＝f（x,y），x＝（x1，x2，…，xm），y＝（y1，y2，…，ym）的Dirichlet问题解的存在性和唯一性定理．     

Ωp^rΩp^r在L^q内的n宽度

研究了由线性微分算子Ｐｒ（Ｄ）＝Ｄ＾σП（Ｄ＾２－ｔｊ＾２Ｉ）在３处不同的边界的边界条件下确定的Ｓｏｂｏｌｅｖ类Ωｐ＾ｒ，Ωｐ＾４，Ωｐ＾２ｌ＋１在Ｌ＾ｑ尺度下的宽度计算问题，得到了在１〈ｑ〈ｐ〈∞条件下Ｋｏｌｍｏｇｏｒｏｖ，Ｇｅｌｆａｎｄ和线性宽度的精确值，并构造出相应的极子空间及最优线性算子：在１〈ｐ≤ｑ〈≤∞条件下得到了Ｂｅｍｓｔｅｉｎ宽度的精确值，并构造出相应的极子空间。     

奇摄动三阶非线性边值问题

利用微分不等式技巧和Volterra型积分算子，研究了三阶非线性奇摄动边值问题解的存在性、唯一性及渐近估计．     

积分马尔柯夫算子谱的一些性质

在A.Lasota,M.C.Mackey,J.Tyrcha,J.JTyson和Hannosgen专家们的一些文章中出现了平稳密度,用积分马尔柯夫算子的数学模型来研究问题,H.Gackt和A.Kason给出算子A的渐近平稳的充要条件.本文在理论上研究积分马尔柯夫算子获得一些结果.     

Banach空间Co上的弱紧算子

利用天值序列空间为工具证明了Banach空间Co上的每个弱紧算子是紧算子．     

迁移理论中一类方程的逆问题

讨论了迁移理论中一类非齐次算子方程的逆问题，在最优意义下，证明了逆问题解的适定性，并借助本征函数法获得了解的表达式．最后，给出了一个应用。     

多元Sikkema算子的逼近定理

研究单纯形上多元Ｓｉｋｋｅｍａ算子的逼近，得到逼近正逆定理和渐近估计。     

关于二元广义Baskakov算子的逼近

构造了广义二元Ｂａｓｋａｋｏｖ算子，讨论了其在Ｃ空间的逼近性质。