ERGODIC-THEOREMS FOR THE MULTITYPE CONTACT PROCESS

This paper studies a process involving competition of two types of particles (1 and 2) for the empty space (0). Each site of the lattice Z(d) is therefore in one of three possible states: 0, 1, or 2. Particles of each type die with rate 1, while an empty site becomes occupied by a particle of type i with rate lambda(i).(proportion of neighbors of type i). The set of neighbors of a site x is of the form {y:parallel-to x - y parallel-to less-than-or-equal-to J}, for a positive integer J and a norm parallel-to.parallel-to. Assuming there are only 0's and 1's present at the beginning, the process reduces to the contact process, with the critical rate of survival of 1's being lambda(c). The basic problem we address is the existence of equilibria in which both types of particles coexist. Without loss of generality, one can restrict to the case lambda(2) greater-than-or-equal-to lambda(1) > lambda(c) and in this case we show: (1) If lambda(2) > lambda(1), and the initial state is translation invariant and contains infinitely many 2's, then the 1's go away and the process approaches the invariant measure of the contact process with only 2's and 0's present, (2) If lambda(2) = lambda(1), and d less-than-or-equal-to 2, then clustering occurs: starting from a translation invariant initial measure with no mass on all 0's, the process converges weakly to a convex combination of the two invariant measures obtained with only one type of particles present, and (3) If lambda(2) = lambda(1), and d greater-than-or-equal-to 3, then there is a one-parameter family of invariant measures including both types.