Coexistence of grass, saplings and trees in the Staver.Levin forest model

In this paper, we consider two attractive stochastic spatial models in which each site can be in state 0, 1 or 2: Krone.s model in which 0=vacant, 1=juvenile and 2=a mature individual capable of giving birth, and the Staver.Levin forest model in which 0=grass, 1=sapling and 2=tree. Our first result shows that if (0,0) is an unstable fixed point of the mean-field ODE for densities of 1.s and 2.s then when the range of interaction is large, there is positive probability of survival starting from a finite set and a stationary distribution in which all three types are present. The result we obtain in this way is asymptotically sharp for Krone.s model. However, in the Staver.Levin forest model, if (0,0) is attracting then there may also be another stable fixed point for the ODE, and in some of these cases there is a nontrivial stationary distribution.