Brownian symmetric interval-exit moments
ID: brownian-symmetric-interval-exit-moments
For standard Brownian motion started at zero, let be its first exit from , with . Bounded-time stopping of first proves integrability of the exit time and then gives its mean . Stopping the quartic Hermite polynomial martingale gives a uniform bound on , proving second-moment integrability before passing to the limit. The resulting second moment is and the variance is .
New to topics? Read the docs here!