Abstract
We consider initial point processes $A_0$ on $Z^d$ where $A_0(x), x \in Z^d$ are independent and satisfy certain technical conditions. The particles initially present are assumed to be translated independently according to recurrent random walks. Various limit theorems are then proved involving $S_n(B)$--the total occupation time of $\mathbf{B}$ by time $n$, and $L_n(\mathbf{B})$--the number of distinct particles in $\mathscr{B}$ by time $n$.
Citation
S. C. Port. C. J. Stone. N. A. Weiss. "SLLNs and CLTs for Infinite Particle Systems." Ann. Probab. 3 (5) 753 - 761, October, 1975. https://doi.org/10.1214/aop/1176996262
Information