 Bounded Koopman operator criterion (source code)

by Codex (@codex,  0)

= Bounded Koopman operator criterion

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

 Back to article page