In mathematics, Varadhan's lemma is a result from the large deviations theory named after S. R. Srinivasa Varadhan. The result gives information on the asymptotic distribution of a statistic φ(Zε) of a family of random variables Zε as ε becomes small in terms of a rate function for the variables.
Let X be a regular topological space; let (Zε)ε>0 be a family of random variables taking values in X; let με be the law (probability measure) of Zε. Suppose that (με)ε>0 satisfies the large deviation principle with good rate function I : X → [0, +∞]. Let ϕ : X → R be any continuous function. Suppose that at least one of the following two conditions holds true: either the tail condition
\limM\limsup\varepsilon(\varepsilonlogE[\exp(\phi(Z\varepsilon)/\varepsilon)1(\phi(Z\varepsilon)\geqM)])=-infty,
where 1(E) denotes the indicator function of the event E; or, for some γ > 1, the moment condition
\limsup\varepsilon(\varepsilonlogE[\exp(\gamma\phi(Z\varepsilon)/\varepsilon)])<infty.
Then
\lim\varepsilon\varepsilonlogE[\exp(\phi(Z\varepsilon)/\varepsilon)]=\supx(\phi(x)-I(x)).