一类排队模型的适定性

研究一类单服务员排队系统.首先对应于此系统的数学模型化为Banach空间中的抽象Cauchy问题,然后运用Hille-Yosida定理,Phillips定理与Fattorini定理证明此排队模型存在唯一的概率瞬态解.     

带负顾客的非空竭服务休假排队模型非负解的存在唯一性

讨论了一类带负顾客的非空竭休假排队系统。首先对应于此系统的数学模型转化为 Banach 空间中的抽象 Cauchy 问题,然后使用泛函分析中的 Hille-Yosida 定理、Phillips 定理证明此排队模型非负解的存在唯一性。     

广义C0半群的谱映射定理

传统的C0半群在诸如广义动态经济系统,电 网系统及时滞微分方程等形如d/dt(Cx(t)=Ax(t) Bu(t)其中C不可逆）中得不到直接应用,为此引入广义C0半群来研究初值问题{d/dt(Cx(t))=Ax(t),Cx(O)=Cy,为了讨论其解的稳定性（也即广义C0半群的稳定性）,引入广义C0半群的C生成元A的C谱,用Banach代数中的谱理论方法得到了广义C0半群在此广义谱下的谱映射定理。     

共轭半群的范数连续性

讨论了C0半群的范数连续性,并给出了其共轭半群的范数连续性的等价条件,同时给出了证明.     

关于最终一致连续半群特征的一个注

设{T(t)}是Hilbert空间H上的一个有界线性算子C0半群,A是其无穷小母元,α0满足α0＞limt→+∞||T(t)||/t.本文证明了在上述条件下,当t＞t0(t0≥0)时T(t)按一致算子拓扑连续的充分必要条件是,对任意的δ＞0,lim u→+∞ x∈H,sup||x||=1,t＞t0+δ||∫|τ|≥αeitτR(α0+iτ,A)xdτ||=0.     

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

有界线性算子半群理论中有一个著名的指数公式。在证明这个公式过程中 ,要证明极限式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 排队模型的主算子的谱特征, 最后得到在一定的条件下该模型的时间依赖解强收敛于该模型的稳态解.     

一类成批服务排队模型的时间依赖解的存在唯一性

利用随机建模的全概率法则,推导了一类成批服务的排队模型的常微分方程形式,并运用C0-半群理论证明该模型有唯一的时间依赖解.为理论上进一步分析此模型的动态解及其稳定性奠定了基础.     

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

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

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

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

序列Banach空间上的对偶半群

讨论序列Banach空间上的对偶半群．证明了不是自反空间的序列Banach空间上的G0半群的对偶半群仍可为G0半群．     

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

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

关于Banach空间中C0半群的渐近稳定性

在一般Ｂａｎａｃｈ空间中建立了Ｃ０半群渐近稳定性的新结果,统一和发展了已有的工作,并举例服它是非平凡的推广。     

双参数Co半群的收敛性问题

本文给出了有关双参数C0半群的一些性质,研究了双参数C0半群收敛性问题,借助单参数C0半群与双参数C0半群之间的关系,在一定条件下,将单参数C0半群序列的收敛性推广到了双参数C0半群上.     

具有休假的重试排队模型的一个特征值

带有Bernoulli休假、一般重试的服务台可修的M/G/1排队系统,令服务台的修理状态为吸收状态时,证明0是该主算子的几何重数为1的特征值。     

弱C0-半群拓扑

利用有界线性算子半群及连续线性泛函，引入了一新的局部凸向量拓扑，并对其基本性质进行了讨论．     

广义C0算子群

在Banach空间上研究单参数有界线性算子族--广义C0算子群,文中给出了广义C0半群及它的生成元定义,进而类似于C0算子群,给出了广义C0算子群的概念,并讨论了它与广义C0半群之间的关系.     

Hardy空间上的复对称C0-半群

本文研究了单位圆盘上Hardy空间中的强连续加权复合算子半群的C1-对称性,这里C1:=Au,v是由u,v诱导的共轭算子,其中u(z)=β,v(z)=αz,|β|=1,|α|=1,并且给出了C1-对称的强连续加权复合算子半群的具体形式.     

关于C0—算子半群的紧扰动

设Ａ是Ｂａｎａｃｈ空间Ｘ中的Ｃ０－算子半群ｅ＾ｔＡ的无究小生成,Ｋ是Ｘ中的有界线性算子,本文证明了Δ（ｔ）＝ｅ＾ｔ（Ａ＋Ｋ）－ｅ＾ｔＡ对ｔ〉０是紧算子当且仅当Δ（ｔ）对ｔ〉０按一致算子拓扑连续且对λ∈ｐ（Ａ）（Ａ的豫解集）,（λ－Ａ）＾－１Ｋ（λ－Ａ）＾－１是紧算子。此外若Ｘ是可分Ｈｉｌｂｅｒｔ空间,则Δ（ｔ）对ｔ〉０按一致算子拓扑连续的条件等价于对τ〉ω（Ａ）（ｅ＾Ａ增长界）,ｌｉｍ│ω│→∞‖     

板模型中一类带广义边界条件具各向异性迁移算子A的谱

研究在板模型中一类带广义边界条件具各向异性、单能、均匀介质迁移算子A的谱，证明了其生成的C0半群为不可约半群及迁移算子A的一些谱性质。