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.
Articles by others on the same topic
There are currently no matching articles.