关于Banach空间中ε-等距于c_(0)或l_(1)序列

本文给出Ｂａｎａｃｈ空间中ε－等距于ｃ０或ｌ１序列的若干性质．

一个C_0-半群的特征值到本质增长界

本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间(-α,0),α>0.此结果表明该主算子生成的C_0-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:(i)该C_0-半群的本质增长界为0.从而,该C_0-半群不是拟紧算子.(ii)该模型的时间依赖解不可能指数收敛于其稳态解.(iii)该C_0-半群的本质谱半径等于1.

M/G/1排队论系统的渐近稳定性

通过M/G/1算子的谱分析得到了M/G/1排队论系统的渐近稳定性.首先,将系统方程转化为某一合适Banach空间上的抽象Cauchy问题,从而引入M/G/1算子.其次,分析了M/G/1算子的谱分布,得到了0是M/G/1算子的简单本征值且M/G/1算子的谱分布在左半平面的结果.最后,利用谱分析结果和算子半群理论得到了M/G/1排队论系统的渐近稳定性.

第二种服务可选的M/G/1排队模型的适定性

运用Hille-Yosida定理,Phillips定理与Fattorini定理证明第二种服务可选的M/G/1排队模型存在唯一的概率瞬态解.

二阶线性非齐次抽象微分方程的Cauchy问题

本文利用半群理论证明了二阶线性非齐次抽象微分方程的 Caucby 问题解的存在唯一性,并且得到了解的积分表达式.

偏微分方程形式的M/M/1排队模型的主算子的谱分析

研究偏微分方程形式的M/M/1排队模型的主算子在左半复平面中的谱,证明当顾客的到达率λ,服务员的服务率μ和非零实数b满足一定的条件时,-μ+ib不是该主算子的特征值,其中i^(2)=-1.