证明0是具有可选服务的M/M/1排队模型的主算子及其共轭算子的几何重数为1的特征值,由此推出该模型的时间依赖解强收敛于该模型的稳态解.
First we prove that 0 is an eigenvalue of the operator corresponding to the M/M/1 queueing model with second optional service and its adjoint operator with geometric multiplicity one, then we obtain that the time dependent solution of this model converges strongly to its steady-state solution.