We consider N single server infinite buffer queues with service rate β. Customers arrive at rate Nα, choose L queues uniformly, and join the shortest. We study the processes Open image in new window for large N, where RNt(k) is the fraction of queues of length at least k at time t. Laws of large numbers (LLNs) are known, see Vvedenskaya et al. [15], Mitzenmacher [12] and Graham [5]. We consider certain Hilbert spaces with the weak topology. First, we prove a functional central limit theorem (CLT) under the a priori assumption that the initial data RN0 satisfy the corresponding CLT. We use a compactness-uniqueness method, and the limit is characterized as an Ornstein-Uhlenbeck (OU) process. Then, we study the RN in equilibrium under the stability condition α<β, and prove a functional CLT with limit the OU process in equilibrium. We use ergodicity and justify the inversion of limits lim N→∞ lim t→∞= lim t→∞ lim N→∞ by a compactness-uniqueness method. We deduce a posteriori the CLT for RN0 under the invariant laws, an interesting result in its own right. The main tool for proving tightness of the implicitly defined invariant laws in the CLT scaling and ergodicity of the limit OU process is a global exponential stability result for the nonlinear dynamical system obtained in the functional LLN limit.
Read full abstract