Positive recurrence of reflecting Brownian motion in three dimensions

From MaRDI portal
(Redirected from Publication:968783)



Abstract: Consider a semimartingale reflecting Brownian motion (SRBM) Z whose state space is the d-dimensional nonnegative orthant. The data for such a process are a drift vector heta, a nonsingular dimesd covariance matrix Sigma, and a dimesd reflection matrix R that specifies the boundary behavior of Z. We say that Z is positive recurrent, or stable, if the expected time to hit an arbitrary open neighborhood of the origin is finite for every starting state. In dimension d=2, necessary and sufficient conditions for stability are known, but fundamentally new phenomena arise in higher dimensions. Building on prior work by El Kharroubi, Ben Tahar and Yaacoubi [Stochastics Stochastics Rep. 68 (2000) 229--253, Math. Methods Oper. Res. 56 (2002) 243--258], we provide necessary and sufficient conditions for stability of SRBMs in three dimensions; to verify or refute these conditions is a simple computational task. As a byproduct, we find that the fluid-based criterion of Dupuis and Williams [Ann. Probab. 22 (1994) 680--702] is not only sufficient but also necessary for stability of SRBMs in three dimensions. That is, an SRBM in three dimensions is positive recurrent if and only if every path of the associated fluid model is attracted to the origin. The problem of recurrence classification for SRBMs in four and higher dimensions remains open.


The paper considers a semimartingale reflecting Brownian motion (SRBM) \(Z\) whose state space is the \(d\)-dimensional nonnegative orthant. The data of the process are a drift vector \(\theta \), a nonsingular covariance matrix \(\Gamma \), and a \(d \times d\) reflection matrix \(R\) that specifies boundary behavior. In the interior of the orthant, \(Z\) behaves as an ordinary Brownian motion with parameters \(\theta \) and \(\Gamma \), and \(Z\) is pushed in direction \({R^j}\) whenever the boundary surface \(\{ z \in S:{z_j} = 0\} \) is hit, where \({R^j}\) is the \(j\)th column of \(R\). SRBM is said to be positive recurrent, or stable, if the expected time to hit an arbitrary open neighborhood of the origin is finite for every starting state. The authors provide necessary and sufficient conditions for stability of SRBMs in three dimensions; to verify or refute these conditions is a simple computational task. The problem of recurrence classification for SRBMs in four and higher dimensions remains open.




Cited in
(23)








This page was built for publication: Positive recurrence of reflecting Brownian motion in three dimensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968783)