Infinitesimal Carleson property for weighted measures induced by analytic self-maps of the unit disk

We prove that, for every $\alpha > -1$, the pull-back measure $\phi ({\cal A}_\alpha)$ of the measure $d{\cal A}_\alpha (z) = (\alpha + 1) (1 - |z|^2)^\alpha \, d{\cal A} (z)$, where ${\cal A}$ is the normalized area measure on the unit disk $\D$, by every analytic self-map $\phi \colon \D \to \D$ is not only an $(\alpha + 2)$-Carleson measure, but that the measure of the Carleson windows of size $\eps h$ is controlled by $\eps^{\alpha + 2}$ times the measure of the corresponding window of size $h$. This means that the property of being an $(\alpha + 2)$-Carleson measure is true at all infinitesimal scales. We give an application by characterizing the compactness of composition operators on weighted Bergman-Orlicz spaces.