On the virtual and actual waiting time distributions of a GI/G/1 queue

Consider a stable GI/G/1 queue with non-lattice interarrival time distribution. Let G and H be the limiting actual and virtual waiting time distributions respectively. Two separate statements of the relationship between G and H are found in a classical theorem of Takàcs and a more recent (and previously unpublished) theorem of Hooke. A simplified proof of Takàcs's theorem, based on a sample path relationship between the virtual and actual waiting time processes, has recently been advanced. This paper gives a similar proof of Hooke's theorem, based on the same sample path relationship, and demonstrates the utility of the result in analyzing the special case of Poisson input. In particular, by combining the Takàcs and Hooke results one can obtain the Pollaczek–Khintchine formula without any reference to the imbedded Markov chain.