Stationary law of negatively drifted reflected Brownian motion

ID: stationary-law-of-negatively-drifted-reflected-brownian-motion

The stationary law is the law of . Let . The Exponential martingale for Brownian motion , stopped on first hitting , is bounded by . On no hitting, the driving path tends to minus infinity. Dominated convergence and optional stopping therefore give . The reflected process started at zero converges to this supremum law: its value at time has the law of the driving path's maximum up to , by reversing the increments. The resulting density is for .

New to topics? Read the docs here!