Schilder's theorem

In mathematics, Schilder's theorem is a generalization of the Laplace method from integrals on ${ℝ}^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 C₀ = C₀([0, T]; R^d) be the Banach space of continuous functions $f:[0,T]⟶{𝐑}^d$ such that $f(0)=0$, equipped with the supremum norm ||⋅||_∞ and $C_0^{\ast }$ be the subspace of absolutely continuous functions whose derivative is in $L^2$ (the so-called Cameron-Martin space). Define the rate function

$I(\omega )=\frac{1}{2}\underset{0}{\overset{T}{\int }}\Vert \dot{\omega }(t){\Vert }^2\mathrm{d}t$

on $C_0^{\ast }$ and let $F:C_0\to ℝ,G:C_0\to ℂ$ be two given functions, such that $S:=I+F$ (the "action") has a unique minimum $\mathrm{\Omega }\in C_0^{\ast }$.

Then under some differentiability and growth assumptions on $F,G$ which are detailed in Schilder 1966, one has

$\underset{\lambda \to \mathrm{\infty }}{\lim }\frac{𝔼[\exp (-\lambda F({\lambda }^{-1/2}\omega ))G({\lambda }^{-1/2}\omega )]}{\exp (-\lambda S(\mathrm{\Omega }))}=G(\mathrm{\Omega })𝔼[\exp (-\frac{1}{2}⟨\omega ,D(\mathrm{\Omega })\omega ⟩)]$

where $𝔼$ denotes expectation with respect to the Wiener measure $\mathbb{P}$ on $C_0$ and $D(\mathrm{\Omega })$ is the Hessian of $F$ at the minimum $\mathrm{\Omega }$; $⟨\omega ,D(\mathrm{\Omega })\omega ⟩$ is meant in the sense of an $L^2([0,T])$ inner product.

Application to large deviations on the Wiener measure

Let B be a standard Brownian motion in d-dimensional Euclidean space R^d starting at the origin, 0 ∈ R^d; let W denote the law of B, i.e. classical Wiener measure. For ε > 0, let W_ε denote the law of the rescaled process Template:RadicB. Then, on the Banach space C₀ = C₀([0, T]; R^d) of continuous functions $f:[0,T]⟶{𝐑}^d$ such that $f(0)=0$, equipped with the supremum norm ||⋅||_∞, the probability measures W_ε satisfy the large deviations principle with good rate function I : C₀ → R ∪ {+∞} given by

$I(\omega )=\frac{1}{2}\underset{0}{\overset{T}{\int }}|\dot{\omega }(t){|}^2\mathrm{d}t$

if ω is absolutely continuous, and I(ω) = +∞ otherwise. In other words, for every open set G ⊆ C₀ and every closed set F ⊆ C₀,

$\underset{\epsilon \downarrow 0}{\mathrm{lim\; sup}}\epsilon \log {𝐖}_{\epsilon }(F)\le -\underset{\omega \in F}{\inf }I(\omega )$

and

$\underset{\epsilon \downarrow 0}{\mathrm{lim\; inf}}\epsilon \log {𝐖}_{\epsilon }(G)\ge -\underset{\omega \in G}{\inf }I(\omega ).$

Example

Taking ε = 1/c², one can use Schilder's theorem to obtain estimates for the probability that a standard Brownian motion B strays further than c from its starting point over the time interval [0, T], i.e. the probability

$𝐖(C_0\setminus {𝐁}_c(0;\Vert \cdot {\Vert }_{\mathrm{\infty }}))\equiv 𝐏[\Vert B{\Vert }_{\mathrm{\infty }}>c],$

as c tends to infinity. Here B_c(0; ||⋅||_∞) denotes the open ball of radius c about the zero function in C₀, taken with respect to the supremum norm. First note that

$\Vert B{\Vert }_{\mathrm{\infty }}>c⟺\sqrt{\epsilon }B\in A:=\{\omega \in C_0\mid |\omega (t)|>1\text{ for some }t\in [0,T]\}.$

Since the rate function is continuous on A, Schilder's theorem yields

$\begin{array}{cc}\underset{c\to \mathrm{\infty }}{\lim }\frac{\log \left(𝐏[\Vert B{\Vert }_{\mathrm{\infty }}>c]\right)}{c^2}& =\underset{\epsilon \to 0}{\lim }\epsilon \log \left(𝐏[\sqrt{\epsilon }B\in A]\right)\\ & =-\inf \{\frac{1}{2}\underset{0}{\overset{T}{\int }}|\dot{\omega }(t){|}^2\mathrm{d}t|\omega \in A\}\\ & =-\frac{1}{2}\underset{0}{\overset{T}{\int }}\frac{1}{T^2}\mathrm{d}t\\ & =-\frac{1}{2T},\end{array}$

making use of the fact that the infimum over paths in the collection A is attained for Template:Math . This result can be heuristically interpreted as saying that, for large Template:Math and/or large Template:Math

$\frac{\log \left(𝐏[\Vert B{\Vert }_{\mathrm{\infty }}>c]\right)}{c^2}\approx -\frac{1}{2T}\text{or}𝐏[\Vert B{\Vert }_{\mathrm{\infty }}>c]\approx \exp (-\frac{c^2}{2T}).$

In fact, the above probability can be estimated more precisely: for Template:Math a standard Brownian motion in Template:Math, and any Template:Math and Template:Math, we have:

$𝐏[\underset{0\le t\le T}{\sup }\left|\sqrt{\epsilon }{B}_t\right|\ge c]\le 4n\exp (-\frac{c^2}{2nT\epsilon }).$

References

• Template:Cite book (See theorem 5.2)