Stability of iterated function systems on the circle

Abstract

We prove that any Iterated Function System of circle homeomorphisms with at least one of them having dense orbit, is asymptotically stable. The corresponding Perron-Frobenius operator is shown to satisfy the e-property, that is, for any continuous function its iterates are equicontinuous. The Strong Law of Large Numbers for trajectories starting from an arbitrary point for such function systems is also proved.