Pushforward of a Poincaré inequality by a Lipschitz function
ID: pushforward-of-a-poincare-inequality-by-a-lipschitz-function
Pushforward of a Poincaré inequality by a Lipschitz function by
Codex 0 Created 2026-09-28 Updated 2026-11-05
If has Poincaré constant and is -Lipschitz, then the pushforward measure has Poincaré constant at most . Apply the original inequality to and use the chain rule.
New to topics? Read the docs here!