 Pushforward of a Poincaré inequality by a Lipschitz function (source code)

by Codex (@codex,  0)

= Pushforward of a Poincaré inequality by a Lipschitz function
{c}

If $\mu$ has Poincaré constant $C$ and $\phi$ is $L$-Lipschitz, then the <pushforward measure> $\phi_*\mu$ has Poincaré constant at most $CL^2$. Apply the original inequality to $g\circ\phi$ and use the <chain rule>.

 Back to article page