Let denote this maximum and put . Brownian motion reaches almost surely: the Brownian reflection principle gives crossing probability . Continuity gives , with the strict-crossing infimum interpreted as in part (b). The processis a continuous nonnegative local martingale starting at one and tending to zero. Its maximum is . Apply part (b) at , for :Differentiating gives the maximum before a lower Brownian barrier densityThe tail tends to one as , so there is no atom at zero. The density integrates to one.
Articles by others on the same topic
There are currently no matching articles.