简介:本文刻划交换半群的强半格上的最小半格同余,并证明由此得到的商半群为对应的每个交换半群的商半群的强半格。
简介:证明了转移函数是l∞的一个子空C1上的正的压缩C0半群,其极小生成元恰好是Markov积分算子半群的生成元在C1中的部分;Markov积分算子半群的生成元稠定的充分必要条件是q-矩阵Q一致有界;同时转移函数是Feller-Reuter-Riley的充要条件是Markov积分算子半群的生成元在c0中的部分产生一个强连续半群.最后,在序Banach空间给出了增加的压缩积分算子半群的生成定理.
简介:讨论了Banach空间X中带有非局部条件的半线性发展方程.在g失去紧性的条件下,利用L^p(I;X)空间中的不动点定理,对边值问题适度解的存在性做了研究,完善和推广了已有结论.最后给出一个在偏微分方程中的例子.
简介:本文主要讨论有限特殊Church-RosserThue系统所表现的么半群上Green等价的数量性质.证明每种Green等价类都是正则集合,其个数或1或∞且多项式时间内可计算.同时获得一个关于有限特殊Thue系统描述能力的结论.