Uniqueness of stationary ergodic fixed point for a \(./M/K\) node (Q1210488)

It is well-known that the stationary departure process of an \(M/M/K\) queue, having \(K\) exponential servers with service rate \(\mu\) and arrivals in a Poisson process of rate \(\lambda\) with \(\lambda<K \mu\), is again a Poisson process of rate \(\lambda\). This result may be interpreted as saying that the system \(\cdot/M/K\), viewed as a map from stationary arrival processes to stationary departure processes, has the Poisson process as a fixed point. It is established that the Poisson process is the unique fixed point. The result is of interest in the context of networks of quasireversible queues with nodes of \(\cdot /M/K\)-type.