The absolute continuity of the invariant measure of random iterated function systems with overlaps
We consider iterated function systems on the interval with random perturbation. Let $Y_ε$ be uniformly distributed in $[1- ε, 1 + ε]$ and let $f_i \in C^{1+α}$ be contractions with fixpoints $a_i$. We consider the iterated function system $\{Y_εf_i + a_i (1 - Y_ε) \}_{i=1}^n$, were each of the maps are chosen with probability $p_i$. It is shown that the invariant density is in $L^2$ and the $L^2$-norm does not grow faster than $1/\sqrtε$, as $ε$ vanishes.