The one-arm event depends on the field values in the finite ball . Replace by for . In the new variables the event has threshold zero, while the product normal distribution density is . Differentiating this finite-dimensional integral under the integral sign gives the Gaussian shift identityThis is also an instance of Gaussian integration by parts. In particular, the asserted inequality holds, in fact with equality.
Articles by others on the same topic
There are currently no matching articles.