Pushforward of a Poincaré inequality by a Lipschitz function
ID: pushforward-of-a-poincare-inequality-by-a-lipschitz-function
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!