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 process
is 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 density
The tail tends to one as , so there is no atom at zero. The density integrates to one.

Articles by others on the same topic (0)

There are currently no matching articles.