Reflected Brownian motion
= Reflected Brownian motion
{c}
{wiki}
One-dimensional reflected Brownian motion on $[0,\infty)$ has the same law as $|B_t|$. The <Tanaka formula> represents it as a Brownian motion plus a nondecreasing <local time of a semimartingale> that grows only at zero.