First prove the strong law for Brownian motion, with probability one. For each , the Gaussian tail bound gives
By 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 . Hence
The same event works simultaneously for all levels , giving the requested transience of Brownian motion with drift.

Articles by others on the same topic (0)

There are currently no matching articles.