In mathematics, Schilder's theorem is a generalization of the Laplace method from integrals on R n {\displaystyle \mathbb {R} ^{n}} to functional Wiener integration. The theorem is used in the large deviations theory of stochastic processes. Roughly speaking, out of Schilder's theorem one gets an estimate for the probability that a (scaled-down) sample path of Brownian motion will stray far from the mean path (which is constant with value 0). This statement is made precise using rate functions. Schilder's theorem is generalized by the Freidlin–Wentzell theorem for Itō diffusions.
Statement of the theorem Let C0 = C0([0, T]; Rd) be the Banach space of continuous functions f : [ 0 , T ] ⟶ R d {\displaystyle f:[0,T]\longrightarrow \mathbf {R} ^{d}} such that f ( 0 ) = 0 {\displaystyle f(0)=0} , equipped with the supremum norm ||⋅||∞ and C 0 ∗ {\displaystyle C_{0}^{\ast }} be the subspace of absolutely continuous functions whose derivative is in L 2 {\displaystyle L^{2}} (the so-called Cameron-Martin space). Define the rate function
I ( ω ) = 1 2 ∫ 0 T ‖ ω ˙ ( t ) ‖ 2 d t {\displaystyle I(\omega )={\frac {1}{2}}\int _{0}^{T}\|{\dot {\omega }}(t)\|^{2}\,\mathrm {d} t}
on C 0 ∗ {\displaystyle C_{0}^{\ast }} and let F : C 0 → R , G : C 0 → C {\displaystyle F:C_{0}\to \mathbb {R} ,G:C_{0}\to \mathbb {C} } be two given functions, such that S := I + F {\displaystyle S:=I+F} (the "action") has a unique minimum Ω ∈ C 0 ∗ {\displaystyle \Omega \in C_{0}^{\ast }} . Then under some differentiability and growth assumptions on F , G {\displaystyle F,G} which are detailed in Schilder 1966, one has
lim λ → ∞ E [ exp ( − λ F ( λ − 1 / 2 ω ) ) G ( λ − 1 / 2 ω ) ] exp ( − λ S ( Ω ) ) = G ( Ω ) E [ exp ( − 1 2 ⟨ ω , D ( Ω ) ω ⟩ ) ] {\displaystyle \lim _{\lambda \to \infty }{\frac {\mathbb {E} \left[\exp \left(-\lambda F(\lambda ^{-1/2}\omega )\right)G(\lambda ^{-1/2}\omega )\right]}{\exp \left(-\lambda S(\Omega )\right)}}=G(\Omega )\mathbb {E} \left[\exp \left(-{\frac {1}{2}}\langle \omega ,D(\Omega )\omega \rangle \right)\right]}
… excerpt ends here. Continue reading the full article.
