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!