For , the Brownian reflection principle at the first-passage time of gives the Brownian running maximum identitywhere is the distribution function of the standard normal distribution. Indeed, reflection pairs paths that have reached and end below with paths ending above ; has no atom at .
As , this probability tends to one. The events increase with integer , so with probability one the path reaches in finite time. Taking a countable intersection over positive integer givesHere . This also proves that every positive-level Brownian first-passage time is finite almost surely.
Articles by others on the same topic
There are currently no matching articles.