Reflected Diffusions defined via the Extended Skorokhod Map

Kavita Ramanan
Department of Mathematical Sciences
Carnegie Mellon University
Pittsburgh, PA 15213
kramanan@andrew.cmu.edu



Abstract. This work introduces the Extended Skorokhod Problem (ESP) and associated Extended Skorokhod Map (ESM) that enable a pathwise construction of reflected diffusions that are not necessarily semimartingales. Roughly speaking, given the closure $ G$ of an open connected set in $ R^J$, a non-empty convex cone $ d(x) \subset R^J$ specified at each point $ x$ on the boundary $ \partial G$, and a càdlàg trajectory $ \psi$ taking values in $ R^J$, the ESM $ \bar{ \Gamma}$ defines a constrained version $ \phi$ of $ \psi$ that lies in $ G$ and is such that the increments of $ \phi - \psi$ on any interval $ [s,t]$ lie in the closed convex hull of the directions $ d(\phi(u)), u \in (s,t]$. When the graph of $ d(\cdot)$ is closed, the following three properties are established (i) given $ \psi$, if $ (\phi,\eta)$ solve the ESP then $ (\phi,\eta)$ solve the corresponding Skorokhod Problem (SP) if and only if $ \eta$ is of bounded variation; (ii) given $ \psi$ any solution $ (\phi,\eta)$ to the ESP is a solution to the SP on the interval $ [0,\tau_0)$, but not in general on $ [0,\tau_0]$, where $ \tau_0$ is the first time that $ \phi$ hits the set $ {\cal V}$ of points $ x \in \partial G$ such that $ d(x)$ contains a line; (iii) the ESM $ \overline{\Gamma}$ is closed on the space of càdlàg trajectories (with respect to both the uniform and the $ J_1$ topologies).

The paper then focuses on a class of multi-dimensional ESPs on polyhedral domains with a non-empty $ {\cal V}$-set. Uniqueness and existence of solutions for this class of ESPs is established and existence and pathwise uniqueness of strong solutions to the associated stochastic differential equations with reflection is derived. The associated reflected diffusions are also shown to satisfy the corresponding submartingale problem. Lastly, it is proved that these reflected diffusions are semimartingales on $ [0,\tau_0]$. One motivation for the study of this class of reflected diffusions is that they arise as heavy traffic limits to queueing networks using the so-called generalised processor sharing discipline.

Get the paper in its entirety as