给定测量值P∈ P(Z×Z×Y×[0,T])和T∈ 【0,T】,定义(P,φj)T:=ZZ×Z×Y×【0,T】φj(Z,Z,Y,s)P(dzdzdy ds),经验测量ε,t(dzdzdy):=Zt公司+tdz(uε(s))11dz(uε(s))11dy(Yε,uεs)ds,以及运算符Lε,tasbLε,tG(ψ):=ZZ×Z×YG(ψ)θ(Xt,y,Z,Z)Pε,t(dzdzdy)。基于鞅问题公式,证明(36)等价于证明(44)limε↓0E“ζψε,uεti,(Pε,, φj)ti我≤p、 j≤p“G(ψε,uεS+S)- G(ψε,uεS)-ZS+SSbLε,tG(ψε,uεt)dt##=0,20 ANTOINE JACQUIER和KONSTANTINOS SPILIOPOULOSand(45)limε↓0(ZS+SSbLε,tG(ψε,uεt)dt-ZZ×Z×R×[S,S+S]G(Rt)θ(Xt,y,Z,Z)P(dzdzdy dt))=0。首先注意,对于每个实值连续函数φ,具有紧支撑和t∈ [0,T],Pε,, φt收敛到P,φt当ε趋于零时,概率为1。现在(45)紧接着是[28,引理5.1]的第一句话。为了证明(44),我们首先将It^o公式应用于G(ψ)。然后很容易看到,除了表达式(42)中的ΔεZtG(ψs)(guy)(Xε,uεs,Yε,uεs)(ρuε(s)+ρuε(s))dS之外的所有项都将在极限内消失。这个在极限中生存的项与[28,引理5.1]的第二条语句一起直接产生(44)。这就是(36)的证明。7.3. 拉普拉斯原理与水平集的紧性。本文证明了行动泛函I(·)的拉普拉斯原理的上下界和水平集的紧性。我们从下界开始,也就是说,我们需要证明,对于所有有界的连续函数,G映射C([0,T];R)到R,lim infε↓0-日志E经验值-h(ε)G(Rε)h(ε)≥ inf(φ,P)∈V(θ,Lx)Z|z |+| z|P(dzdzdy ds)+G(φ).沿着任何子序列证明它是足够的,这样-h(ε)对数Ehe-h(ε)G(Rε)i收敛,其存在于测试函数G上的一致界。此外,通过引理B.1,我们可以假设supε>0EZ | uε(s)| ds≤ N、 对于某些常数N。