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

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

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

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

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

讨论了具有两同型部件的冷贮备可修复系统，首先证明系统算子可以生成正压缩C0半群T（t）；接着证明了T（t）是拟紧算子，且0是对应系统的主算子及其共轭算子的几何重数与代数重数为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上按算子范数连续的条件下 ,亦获得了整体解与周期解的存在性     

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

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

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

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

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

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

具有热储备和常规故障系统的非负弱解

本文讨论具有热储备和常规故障系统模型,且主要利用系统算子生成的正压缩C0-半群理论,来证明该系统非负弱解的存在唯一性.     

具有热储备和常规故障系统的非负弱解

本文讨论具有热储备和常规故障系统模型,且主要利用系统算子生成的正压缩C0-半群理论,来证明该系统非负弱解的存在唯一性。     

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

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

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

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

具容许状态反馈Pritchard-Salamon系统的小时滞鲁棒稳定性

It has been observed that for many stable feedback control systems, the introduction of arbitrarily small delays into the loop causes instability. Therefore, robustness of stablility with respect to small delays is of great importance. The authors study the robustness with respect to small delays for exponential stability of Pritchard-Salamon systems with admissible state feedback,i.e. the exponential stability of the following systems are equivalent:{x(t)=S(t)x1 ∫o^tS(t-s)BFx(s)ds u(t)=Fx(t),x0∈V,t≥0and{x(t)=S(t)x0 ∫o^tS(t-s)BFx(s-r)ds u(t)=Fx(t-r),x0∈V,t≥0and obtain a number of necessary and sufficient conditions, particularly, frequency domain characterization for robustness with respect to small delays for exponential stability.     

脉冲依赖状态的发展方程初值问题解的存在性

研究Rn中脉冲依赖状态的半线性发展方程初值问题u′(t)+Au(t)=f(t,u(t))a.e.t∈J=[0,a],t≠τk(u(t)),k=1,2,…,m;u(t+)=Ik(u(t)),t=τk(u(t)),k=1,2,…,m;u(0)=u0解的存在性.其中-A生成Rn的等度连续C0-算子半群的生成元.在f满足较弱的L1-Caratheodory条件下,逐段使用Schaefer不动点定理获得其mild解的存在性结果.     

带有环境制约函数的非线性企业投资方程解的渐近性

讨论了一类带有环境制约函数的非线性企业投资方程,证明了方程解的存在性和唯一性,利用临界积累率概念和算子的实特征值,得到了方程渐近稳定和不稳定的充分条件.     

一类年龄依赖的流行病模型的动力学行为

对一类年龄依赖的流行病模型进行了系统的定性分析。运用泛函分析中的线性算子理论和C0-半群理论等，首先得到相应的流行病算子的谱特征，其次，证明了该模型非负解的存在惟一性，最后讨论了系统的稳定性。     

附有必选和可选服务的M/G/1/1反馈排队模型主算子的谱特征

在一定条件下,通过研究附有必选和可选服务的M/G/1/1反馈排队模型主算子的谱特征,得到该反馈排队模型时间依赖解的渐近行为.为此,首先证明0是此模型主算子的几何重数为1的特征值; 其次求出此反馈排队模型主算子的共轭算子表达式,并证明0是此共轭算子的几何重数为1的特征值; 然后在一定条件下推出虚轴上除了0外,其他的所有点都属于该反馈排队模型主算子的豫解集; 最后在同样条件下,将上述结果结合在一起推出:该模型的时间依赖解强收敛于其稳态解.