Asymmetric Brownian interval-exit transform
ID: asymmetric-brownian-interval-exit-transform
For standard Brownian motion started at zero and exit time from , , stop the two exponential Brownian martingales with parameters and . Their stopped values are bounded by . The optional stopping theorem and dominated convergence theorem give and , where are the discounted upper and lower exit probabilities. Solving gives the displayed formula and . ThusAt , the first ratio has its removable value , and the second equals one. Finiteness of follows from a uniformly positive one-unit-time chance to leave any fixed bounded interval.
New to topics? Read the docs here!