Dupuis and Williams proved that a sufficient condition for the
positive recurrence and the existence of a unique stationary distribution for a
semimartingale reflecting Brownian motion in an orthant (SRBM) is that all
solutions of an associated deterministic Skorohod problem are attracted to the
origin. In this paper, we derive a sufficient condition under which we can
construct an explicit linear Lyapunov function for the Skorohod problem. Thus,
this implies a sufficient condition for the stability of the deterministic
Skorohod problem. The existence of such a linear Lyapunov function is
equivalent to the feasibility of a set of linear inequalities. In the
two-dimensional case, we recover the necessary and sufficient conditions for
the positive recurrence. Some explicit sufficient conditions are derived for
the higher-dimensional case.
References
Berman, A. and Plemmons, R. J. (1979). Nonnegative Matrices in the Mathematical Sciences. Academic Press, New York.
Bernard, A. and El Kharroui, A. (1991). R´egulation de processus dans le premier orthant de n. Stochastics Stochastics Rep. 34 149-167.
Chen, H. (1995). Fluid approximations and stability of multiclass queueing networks: workconserving disciplines. Ann. Appl. Probab. 5 637-665.
Chen, H. and Zhang, H. (1995). Diffusion approximations for re-entrant lines with a first-buffer- first-served priority discipline. Unpublished manuscript.
Cottle, R. W., Habetler, G. J. and Lemke, C. E. (1970). On classes of copositive matrices. Linear Algebra Appl. 3 295-310.
Mathematical Reviews (MathSciNet):
MR42:294
Cottle, R. W., Pang, J. S. and Stone, R. E. (1992). The Linear Complementarity Problem. Academic Press, New York.
Dai, G. J. and Weiss, G. (1996). Stability and instability of fluid models for certain re-entrant lines. Math. Oper. Res. To appear.
Dai, J. G., Yeh, D. H. and Zhou, C. (1994). The QNET method for re-entrant queueing networks with priority disciplines. Oper. Res. To appear.
Down, D. and Mey n, S. (1994). Piecewise linear test functions for stability of queueing networks. In Proceedings of the 33rd Conference on Decision and Control 2069-2074.
Dupuis, P. and Williams, R. J. (1994). Ly apunov functions for semimartingale reflecting Brownian motions. Ann. Probab. 22 680-702.
Harrison, J. M. and Williams, R. J. (1992). Brownian models of feedforward queueing networks: quasireversibility and product form solutions. Ann. Appl. Probab. 2 263-293.
Hobson, D. G. and Rogers, L. C. G. (1994). Recurrence and transience of reflecting Brownian motion in the quadrant. Math. Proc. Cambridge Philos. Soc. 113 387-399.
Mandelbaum, A. and Van der Hey den, L. (1987). Complementarity and reflection. Unpublished manuscript.
Peterson, W. P. (1991). A heavy traffic limit theorem for network of queues with multiple customer ty pes. Math. Oper. Res. 16 90-118.
Reiman, M. I. and Williams, R. J. (1988). A boundary property of semimartingale reflecting Brownian motions. Probab. Theory Related Fields 77 87-97.
Tay lor, L. M. and Williams, R. J. (1993). Existence and uniqueness of semimartingale reflecting Brownian motions in an orthant. Probab. Theory Related Fields 96 283-317.
Williams, R. J. (1985). Recurrence classification and invariant measure for reflected Brownian motion in a wedge. Ann. Probab. 13 758-778.