An explicit formula for the Skorokhod map Γ0,a on [0,a] for a>0 is provided and related to similar formulas in the literature. Specically, it is shown that on the space $\mathcal{D}$[0,∞) of right-continuous functions with left limits taking values in ℝ,
Γ0,a(ψ)(t)=ψ(t)−[(ψ(0)−a)+∧infu∈[0,t]ψ(u)]∨sups∈[0,t][(ψ(s)−a)∧infu∈[s,t]ψ(u)]
is the unique function taking values in [0,a] that is obtained from by minimal “pushing” at the endpoints 0 and a. An application of this result to real-time queues with reneging is outlined.
References
[1] Anderson, R. and Orey, S. (1976). Small random perturbations of dynamical systems with reflecting boundary. Nagoya Math. J. 60 189–216.
Mathematical Reviews (MathSciNet):
MR397893
[2] Anulova, S. V. and Liptser, R. Sh. (1990). Diffusion approximation for processes with normal reflection. Theory Probab. Appl. 35 (3) 411–423.
[3] Burdzy, K., Kang, W., and Ramanan, K. (2008). The Skorokhod problem in a time-dependent interval. Stoch. Proc. Appl., to appear.
[4] Chitashvili, R. J. and Lazrieva, N. L. (1981). Strong solutions of stochastic differential equations with boundary conditions. Stochastics 5 255–309.
Mathematical Reviews (MathSciNet):
MR636083
[5] Cooper, W., Schmidt, V. and Serfozo, R. (2001). Skorohod–Loynes characterizations of queueing, fluid, and inventory processes. Queueing Systems 37 233–257.
[6] Doytchinov, B., Lehoczky, J., and Shreve, S. (2001). Real-time queues in heavy trafic with earliest-deadline-first queue discipline. Annals of Applied Probability 11 332–378.
[7] Ganesh, A., O’Connell, N. and Wischik, D. (2004). Big Queues. Lecture Notes in Mathematics 1838. Springer, New York.
[8] Iglehart, D. and Whitt, W. (1970). Multiple channel queues in heavy trafic I. Adv. Appl. Probab. 2 150–177.
Mathematical Reviews (MathSciNet):
MR266331
[9] Kingman, J. F. C. (1961). A single server queue in heavy trafic. Proc. Cambridge Phil. Soc. 48 277–289.
Mathematical Reviews (MathSciNet):
MR131298
[10] Kruk, L., Lehoczky, J., Ramanan, K. and Shreve, S. (2007). An explicit formula for the Skorokhod map on [0,a]. Ann. Probab. 35 1740–1768.
[11] Kruk, L., Lehoczky, J., Ramanan, K. and Shreve, S. (2007). Heavy trafic analysis for EDF queues with reneging. Preprint.
[12] Skorokhod, A. V. (1961). Stochastic equations for di usions in a bounded region. Theor. of Prob. and Its Appl. 6 264–274.
[13] Tanaka, H. (1979). Stochastic differential equations with reflecting boundary conditions in convex regions. Hiroshima Math. J. 9 163–177.
Mathematical Reviews (MathSciNet):
MR529332
[14] Toomey, T. (1998). Bursty trafic and finite capacity queues. Ann. Oper. Research 79 45–62.
[15] Whitt, W. (2002). Stochastic-Process Limits. Springer.