Maximum before a lower Brownian barrier
ID: maximum-before-a-lower-brownian-barrier
Stopping Brownian motion at its first crossing below , the nonnegative local martingale starts at one and ends at zero. The maximal identity for a continuous nonnegative local martingale tending to zero gives tail for the stopped maximum, hence density for . There is no atom at zero.
New to topics? Read the docs here!