一个两部件可修系统解的渐近行为

本文考虑一个包含两个部件和一个修复员系统的数学模型.首先指出此系统的主算子生成一个C0-半群T(t),并证明该C0-半群T(t)是拟紧算子,然后证明0是该主算子及其共轭算子的几何重数为1的特征值,最后将上述结果结合在一起推出该系统的时间依赖解强收敛于该系统的稳态解.     

具有有限等待空间的成批服务系统的进一步研究

应用线性算子的C0 - 半群理论研究一类成批排队系统 ,首先用Phillips定理证明对应于此排队模型的主算子生成正压缩C0 - 半群T(t) 然后证明T(t)是局部等距算子 最后证明此排队模型存在具有概率性质的惟一的时间依赖解     

具有有限等待空间的成批服务系统的进一步研究

应用线性算子的C0-半群理论研究一类成批排除系统,首先用Phillips定量证明对应于此排队模型的主算子生成正压缩C0－半群T（t),然后证明T（t)是局部等距算子,最后证明此排队模型存在具有概率性质的惟一的时间依赖解。     

带关闭期的随机N-策略的M/G/1排队模型的适定性

主要研究带关闭期的随机N-策略的M/G/1排队系统.用算子理论把该模型转化成抽象的Cauchy问题,证明对应该模型的主算子生成一个C_0-半群T(t),得到该模型存在非负的唯一解.     

在一个供应链系统可靠性模型研究中出现的投影算子表达式及其应用

该文考虑一个供应链系统可靠性模型.首先指出此供应链系统的主算子所生成的正压缩C₀-半群T(t)是拟紧算子,其次通过正压缩C₀-半群T(t)的本质谱增长界性质和留数定理推出该模型研究中出现的投影算子的具体表达式,最后得到该供应链系统模型的时间依赖解指数收敛到其稳态解.     

冷贮备可修复系统解的指数渐近稳定性

讨论了具有两同型部件的冷贮备可修复系统，首先证明系统算子可以生成正压缩C0半群T（t）；接着证明了T（t）是拟紧算子，且0是对应系统的主算子及其共轭算子的几何重数与代数重数为1的特征值．由此推出：该系统的时间依赖解，当时间趋向于无穷时，以指数形式收敛于系统的稳态解．     

一个供应链系统的可靠性模型的解的渐近性质

运用C0-半群理论来研究一个供应链系统可靠性模型当μi(x)=μi时的解的渐近性质。首先证明在虚轴上除了0之外其他所有点都属于该算子的豫解集,其次证明0是对于该系统的主算子及其共轭算子的几何重数和代数重数为1的特征值,由此推出该系统的时间依赖解当时间趋向于无穷时强收敛于系统的稳态解。     

Barrer的一个排队模型的进一步研究

本文进一步研究Barrer的一个排队模型,首先证明该模型的主算子是dispecsive算子,然后将 此结果与已有结果结合得到核算子生成一个正压缩C0-半群,由此推出该模型存在唯一的概率态解,第三步证明0是此主算子的主因子算子的代数贡数为1的特征值,最后此结果与已有结果合并后得到该模型的时间依赖解强收敛于该模型的稳太解.     

一个供应链系统解的稳定性分析

本文通过一个可修复供应链系统,利用泛函分析和正压缩C0-半群的性质,通过研究系统算子谱点分布情况,证明系统存在非负稳态解,并且当t→∞时,非负时间依赖解收敛到该稳态解,得到供应链系统解的渐近稳定性.     

紧半群在种群细胞增生方程中的应用

为得到迁移算子AK的谱分布情况,利用线性算子半群理论,讨论了L-R模型中一类具年龄结构的增生扩散型种群细胞方程.对任意的有界边界算子K,证明了迁移算子AK生成C0半群(VK(t))t≥0;采用豫解方法,在边界算子为紧正时,证明了该迁移算子生成的C0半群(VK(t))t≥0是紧的;得到了(K)A由有限个具有限代数重数的离散本征值组成.     

时滞系统与Pritchard-Salamon系统

首先构造了Hilhert空间V，在V上定义了线性算子A^V及V上的算子族S(t)，证明了S(t)是V上的C0-半群，A^V是S(t)在V上的生成，又构造了Hilbert空间w，使V上的C0半群限制在形上仍是C0-半群，最后构造了算子B和C，并证明了B和C是容许输入算子和容许输出算子。从而将Hilbert空间中的时滞系统转化为了一个Pritchard-Salamon系统(简称PS系统)。     

一类温贮备可修系统算子的性质

研究了一类温贮备可修系统算子的性质.讨论了由两个不同型部件和一个修理工组成的温贮备可修系统模型,在该模型中引入了修理工可延误休假的概念.证明系统算子A+B是空间中稠密的预解正算子,通过求系统算子的共轭算子证明了0是其几何重数为1的特征值,并且证明算子A+B的增长界为0.运用预解正算子中共尾的概念,证明系统算子的谱上界也是0.最后结合预解正算子和C0半群的理论,证明系统动态解存在且唯一.     

可变输入率的M/M/1排队模型的动态解及稳定性

文章运用有界线性算子半群理论讲座可变输入率的M/M/1排队模型,证明此模型的主算子生成C0半群,并运用一定的技巧证明动态解强稳定以其定态解.     

关于算子半群指数公式证明的一个细节

有界线性算子半群理论中有一个著名的指数公式。在证明这个公式过程中 ,要证明极限式limn→∞nn 1n!∫ ∞0(ve- v ) n [T(vt) x - T(t) x]dv =0 .但在一些关于有界线性算子半群理论的书中 ,对上式的证明存在一个细节错误。文章指出了这个错误 ,并给出正确证明     

M／Ek／1排队模型研究

首先运用 C0-半群理论证明 M/Ek/1 排队模型有唯一的概率瞬态解, 然后研究对应于 M/Ek/1 排队模型的主算子的谱特征, 最后得到在一定的条件下该模型的时间依赖解强收敛于该模型的稳态解.     

Banach空间非线性发展方程的整体解与周期解

研究了有序Banach空间X中非线性发展方程u′(t) +Au(t) =f(t,u(t) )的整体解与周期解的存在性 ,其中A为X中的闭线性算子 ,-A生成X中的正C0 半群T(t) (t≥ 0 ) ,f:[0 ,w]×XX仅满足弱Carath啨ｏｄｏｒｙ条件 .当X为弱序列完备空间时 ,借助于上下解的单调迭代方法 ,在不假定T(t)为紧半群或在t >0上按算子范数连续的条件下 ,亦获得了整体解与周期解的存在性     

K—正则预解算子族的谱映象定理

设k∈C（R^＋），A是Banach空间X中的闭稠定线性算子，且A生成一个指数有界的k-正则预解算子族R（t）。证明了A谱和R(t）谱之间的一些关系，并由此获得预解算子族，积分半群，积分余弦函数C0-半群，强连续余弦函数的相应结果。     

Hilbert空间上C0半群一致算子拓扑连续的几点注记

给出Hilbert空间上C0 半群T(t)在t >0和t>t0 时是一致算子拓扑连续的等价条件 ,进而得到紧半群的特征定理。并通过T(t)在t >t0 时一致算子拓扑连续的特征 ,给出T((t)在t>0时一致算子拓扑连续的等价条件。     

n阶α次积分C半群的逼近

借助算子半群逼近的相关理论及经典算子理论的研究方法,对算子A,An分别次生成的n阶α次积分C半群{T(t)}t≥0和{Tn(t)}t≥0,在一定条件下,当Tn(t)x逼近于T(t)x,则有Rc(λ,An)x逼近于Rc(λ,A)x,反之也成立.从而丰富了n阶α次积分C半群的研究内容.     

半群的非游荡性

通过给出一般算子半群T(t)的非游荡性概念,利用赋范空间的一个基本结果和直接的构造法证明了具有变系数的线性发展方程的强连续解半群T(t)=etA在适当的条件下是非游荡的;另外,通过对C-半群T(t)概念的引进,定义了一个无界算子半群etA,进一步证明了这二者关于非游荡性的联系;最后给出了一个无界算子半群etP(B)关于非游荡性理论的刻画,其中P(B)是微分多项式.