  We consider some random iterated function systems on the interval and show
that the invariant measure has density in $\mathcal{C}^\infty$. To prove this
we use some techniques for contractions in cone metrics, applied to the
transfer operator.
