Refinements to heavy traffic limit theorems in queueing theory

The paper considers single server M/G/1 and GI/G/1 queues in the limit of heavy traffic. It develops a procedure for obtaining the full asymptotic series of the stationary distribution of unfinished work in powers of one minus the traffic intensity. The leading term in this series is the (exponential) density obtained from the heavy traffic limit theorem. The paper shows that the correction terms have different forms in different regions of the state space. These corrections are constructed using the method of matched asymptotic expansions. The paper assumes that the method of matched asymptotic expansions is valid.