简介:本文证明第二种服务可选的M/M/1排队模型的主算子的点谱包含一个区间(-α,0),α〉0.此结果表明该主算子生成的C_0-半群不是紧算子,甚至不是最终紧算子.本文的结果与我们以前的结果合并后得到:(i)该C_0-半群的本质增长界为0.从而,该C_0-半群不是拟紧算子.(ii)该模型的时间依赖解不可能指数收敛于其稳态解.(iii)该C_0-半群的本质谱半径等于1.
简介:考虑了一个具有内部物质对流和非线性边界热交换的多维连铸Stefan问题,并得到了这个问题整体弱解的存在性、唯一性和对初边界条件的连续依赖性。本项工作改进和推广了J.F.Fodri-gues&F.Yi的结果,放宽了他们对内部流和边界条件的一些不太符合实际的限制。