A note on the boundary dynamics of holomorphic iterated function systems

We consider the boundary dynamics of iterated function systems of holomorphic self-maps of the unit disc. Our main result provides a sufficient condition which guarantees that the dynamical behaviour of a left iterated function system in the interior of the unit disc can be extended to the boundary. This generalises an extension of the classical Denjoy--Wolff Theorem, due to Bourdon, Matache and Shapiro, to the setting of iterated function systems. To do so we modify estimates for the Hardy norm of composition operators and combine them with a new technique of perturbing a left iterated function system by elliptic Möbius transformations.