Random dynamics of polynomials and devil's-staircase-like functions in the complex plane

Using the above result and combining it with the theory of random dynamics of complex polynomials, we consider the following: Let τ be a Borel probability measure in the space {g∈C[z]|deg(g)⩾2} with topology induced by the uniform convergence on the Riemann sphere C¯. We consider the i.i.d. random dynamics in C¯ such that at every step we choose a polynomial according to the distribution τ. Let T∞(z) be the probability of tending to ∞∈C¯ starting from the initial value z∈C¯ and let Gτ be the polynomial semigroup generated by the support of τ. Suppose that the support of τ is compact, the postcritical set of Gτ is bounded in the complex plane and the Julia set of Gτ is disconnected. Then, we show that (1) in each component U of the complement of the Julia set of Gτ, T∞∣U equals a constant CU, (2) T∞:C¯→[0,1] is a continuous function on the whole C¯, and (3) if J1, J2 are two components of the Julia set of Gτ with J1 ⩽ J2, then maxz∈J1T∞(z)⩽minz∈J2T∞(z). Hence T∞ is similar to the devil's-staircase function.