Random iterations, fixed points and invariant CRF-horospheres in complex Banach spaces

For holomorphic noncontractive maps on (not necessarily bounded) domains in complex Banach spaces, we establish the conditions guaranteeing locally uniform convergence of random iterations and study the existence of fixed points and boundary behaviour of iterations. In particular, we show that the problem, concerning the existence of the horospheres determined by Carathéodory-Reiffen-Finsler pseudometrics defined on unbounded domains, has the solution and we prove new results of type of Julia's lemma and Wolff's theorem.