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