https://hal.univ-cotedazur.fr/hal-00622153Budhiraja, AmarjitAmarjitBudhirajaDepartment of Statistics and Operations Research, University of North Carolina - UNC - University of North Carolina [Chapel Hill] - UNC - University of North Carolina SystemChen, JiangJiangChenDepartment of Statistics and Operations Research, University of North Carolina - UNC - University of North Carolina [Chapel Hill] - UNC - University of North Carolina SystemRubenthaler, SylvainSylvainRubenthalerJAD - Laboratoire Jean Alexandre Dieudonné - UNS - Université Nice Sophia Antipolis (1965 - 2019) - COMUE UCA - COMUE Université Côte d'Azur (2015-2019) - CNRS - Centre National de la Recherche ScientifiqueA Numerical Scheme for Invariant Distributions of Constrained DiffusionsHAL CCSD2013Stochastic AlgorithmsReflected DiffusionsHeavy Traffic TheoryStochastic NetworksSkorohod ProblemInvariant MeasuresStochastic Algorithms.[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Rubenthaler, Sylvain2011-09-12 09:55:082022-06-25 23:06:422011-09-12 10:40:39enJournal articlesapplication/pdf1Reflected diffusions in polyhedral domains are commonly used as approximate models for stochastic processing networks in heavy traffic. Stationary distributions of such models give useful information on the steady state performance of the corresponding stochastic networks and thus it is important to develop reliable and efficient algorithms for numerical computation of such distributions. In this work we propose and analyze a Monte- Carlo scheme based on an Euler type discretization of the reflected stochastic differential equation using a single sequence of time discretization steps which decrease to zero as time approaches infinity. Appropriately weighted empirical measures constructed from the simulated discretized reflected diffusion are proposed as approximations for the invariant probability measure of the true diffusion model. Almost sure consistency results are established that in particular show that weighted averages of polynomially growing continuous functionals evaluated on the discretized simulated system converge a.s. to the corresponding integrals with respect to the invariant measure. Proofs rely on constructing suitable Lyapunov functions for tightness and uniform integrability and characterizing almost sure limit points through an extension of Echeverria's criteria for reflected diffusions. Regularity properties of the underlying Skorohod problems play a key role in the proofs. Rates of convergence for suitable families of test functions are also obtained. A key advantage of Monte-Carlo methods is the ease of implementation, particularly for high dimensional problems. A numerical example