Spinning Brownian motion

We show uniqueness of the stationary distribution by using techniques based on excursions of X from ∂D, and an associated exit system. We also show that the process admits a submartingale formulation and use related results to show examples of the stationary distribution.