On the lower bound of large deviation of random walks (Q2266284)

Consider a random walk \(X_ 0,X_ 1,..\). on \({\mathbb{R}}^ n\) with resolvent R(x,dy) satisfying \(R(x,A)>0\) for every \(x\in {\mathbb{R}}^ n\) and open set \(A\subset {\mathbb{R}}^ n\). In the main theorem the author obtains a large deviation lower bound, i.e. \[ \lim \inf_{n\to \infty}(1/n) \log P_ x(L_ n(\omega,\cdot)\in N)\geq -I(\mu), \] where \(L_ n(\omega,\cdot)\) denotes the occupation measure, N is a weak neighborhood of \(\mu\) and I(\(\mu)\) is the Donsker-Varadhan functional. This extends an earlier result of the author dealing with compact state spaces.