Fixed points of the smoothing transformation

Summary Let W ₁,..., W _N be N nonnegative random variables and let be the class of all probability measures on [0, ∞). Define a transformation T on by letting Tμ be the distribution of W ₁X₁+ ... + W _N X _N , where the X _i are independent random variables with distribution μ, which are independent of W ₁,..., W _N as well. In earlier work, first Kahane and Peyriere, and then Holley and Liggett, obtained necessary and sufficient conditions for T to have a nontrivial fixed point of finite mean in the special cases that the W _i are independent and identically distributed, or are fixed multiples of one random variable. In this paper we study the transformation in general. Assuming only that for some γ>1, EW _i ^γ <∞ for all i, we determine exactly when T has a nontrivial fixed point (of finite or infinite mean). When it does, we find all fixed points and prove a convergence result. In particular, it turns out that in the previously considered cases, T always has a nontrivial fixed point. Our results were motivated by a number of open problems in infinite particle systems. The basic question is: in those cases in which an infinite particle system has no invariant measures of finite mean, does it have invariant measures of infinite mean? Our results suggest possible answers to this question for the generalized potlatch and smoothing processes studied by Holley and Liggett. The research of both authors was supported in part by NSF Grant MCS 80-02732. The first author is an Alfred P. Sloan fellow