A complete convergence theorem for an epidemic model

We use an interacting particle system on ℤ to model an epidemic. Each site of ℤ can be in either one of three states: empty, healthy or infected. An empty site x gets occupied by a healthy individual at a rate βn 1(x) where n 1(x) is the number of healthy nearest neighbors of x. A healthy individual at x gets infected at rate αn 2(x) where n 2(x) is the number of infected nearest neighbors of x. An infected individual dies at rate δ independently of everything else. We show that for all α, β and δ> 0 and all initial configurations, all the sites of a fixed finite set remain either all empty or all healthy after an almost surely finite time. Moreover, if the initial configuration has infinitely many healthy individuals then the process converges almost surely (in the sense described above) to the all healthy state. We also consider a model introduced by Durrett and Neuhauser where healthy individuals appear spontaneously at rate β > 0 and for which coexistence of 1's and 2's was proved in dimension 2 for some values of α and β. We prove that coexistence may occur in any dimension.