由一个可靠机器,一个不可靠机器与一个具有有限容量的缓冲库构成的生产线的进一步研究(英文)

研究了由一个可靠机器,一个不可靠机器与一个具有有限容量的缓冲库构成的生产线.该生产线由具有积分边界条件的一组偏微分方程组描述.首先证明此系统的主算子生成的C_0-半群是拟紧算子,然后证明0是该主算子及其共轭算子的几何重数为1的特征值,最后推出此C_0-半群指数收敛于一个投影算子.作为特殊情况,推出该模型的时间依赖解强收敛于它的稳态解.