First prove the strong law for Brownian motion, with probability one. For each , the Gaussian tail bound givesBy stationary increments and the Brownian reflection principle, followed by the same tail bound,Both bounds are summable in . The First Borel-Cantelli lemma therefore implies that, eventually, both quantities inside these probability events are at most . For this gives . Intersect over a sequence of positive rational tending to zero to obtain the asserted continuous-time limit.
On this one almost sure event,so for and to for . For each real , the path is eventually strictly on the corresponding side of . HenceThe same event works simultaneously for all levels , giving the requested transience of Brownian motion with drift.
Articles by others on the same topic
There are currently no matching articles.