Bounded Koopman operator criterion

For a nonsingular map $F$ on a probability space, $K_F$ extends boundedly to $L^2$ exactly when $d(F_{\ast }\mu )/d\mu \in L^{\infty }$. In that case