В математика, Теорема шильдера это результат теория больших отклонений из случайные процессы. Грубо говоря, теорема Шильдера дает оценку вероятности того, что (уменьшенный) путь выборки Броуновское движение отклонится далеко от среднего пути (который постоянен при значении 0). Это заявление уточняется с помощью функции оценки. Теорема Шильдера обобщается Теорема Фрейдлина – Вентцелля. за Itō диффузии.
Заявление
Позволять B стандартное броуновское движение в d-размерный Евклидово пространство рd начиная с начала координат, 0 ∈рd; позволять W обозначить закон из B, т.е. классический Мера Винера. За ε > 0, пусть Wε обозначают закон масштабируемого процесса √εB. Затем на Банахово пространство C0 = C0([0, Т]; рd) непрерывных функций
такой, что
, оснащенный верхняя норма ||·||∞, то вероятностные меры Wε удовлетворяют принципу больших отклонений с хорошей функцией скорости я : C0 → р ∪ {+ ∞}, задаваемое формулой
![I ( omega) = { frac {1} {2}} int _ {{0}} ^ {{T}} | { dot { omega}} (t) | ^ {{2}} , { mathrm {d}} t](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1df86f4a696c88de1cabad79ed596e0a0ad020e)
если ω является абсолютно непрерывный, и я(ω) = + ∞ в противном случае. Другими словами, для каждого открытый набор грамм ⊆ C0 и каждый закрытый набор F ⊆ C0,
![limsup _ {{ varepsilon downarrow 0}} varepsilon log { mathbf {W}} _ {{ varepsilon}} (F) leq - inf _ {{ omega in F}} I ( омега)](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d9a5f914a141f5cc76021d5b189030ef24f9402)
и
![liminf _ {{ varepsilon downarrow 0}} varepsilon log { mathbf {W}} _ {{ varepsilon}} (G) geq - inf _ {{ omega in G}} I ( омега).](https://wikimedia.org/api/rest_v1/media/math/render/svg/e438d968743c8f79c6f14e7e3aef7f96183ed58b)
Пример
Принимая ε = 1/c2, можно использовать теорему Шильдера для получения оценок вероятности того, что стандартное броуновское движение B отклоняется дальше, чем c от начальной точки за интервал времени [0,Т], т.е. вероятность
![{ Displaystyle mathbf {W} (C_ {0} smallsetminus mathbf {B} _ {c} (0; | cdot | _ { infty})) эквив mathbf {P} { big [} | B | _ { infty}> c { big]},}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9952cbbc4e20ce9b9902b06cdb1036bb189a5cee)
в качестве c стремится к бесконечности. Здесь Bc(0; ||·||∞) обозначает открытый мяч радиуса c о нулевой функции в C0, взятые с учетом верхняя норма. Сначала обратите внимание, что
![{ displaystyle | B | _ { infty}> c iff { sqrt { varepsilon}} B in A: = left { omega in C_ {0} mid | omega (т ) |> 1 { text {для некоторых}} t in [0, T] right }.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd20628244dcffd40ffc979ee1071075856767ac)
Поскольку функция скорости непрерывна на А, Теорема Шильдера дает
![{ Displaystyle { begin {align} lim _ {c to infty} { frac { log left ( mathbf {P} left [ | B | _ { infty}> c right ] right)} {c ^ {2}}} & = lim _ { varepsilon to 0} varepsilon log left ( mathbf {P} left [{ sqrt { varepsilon}} B в A right] right) [6pt] & = - inf left { left. { frac {1} {2}} int _ {0} ^ {T} | { dot { omega}} (t) | ^ {2} , mathrm {d} t , right | , omega in A right } [6pt] & = - { frac {1} {2}} int _ {0} ^ {T} { frac {1} {T ^ {2}}} , mathrm {d} t [6pt] & = - { frac {1} {2T}}, end {выравнивается}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/59f667b6f36df9199745092a0fc05203d112f455)
используя тот факт, что инфимум по дорожкам в коллекции А достигается за ω(т) = т ⁄ Т. Этот результат можно эвристически интерпретировать как утверждающий, что для больших c и / или большой Т
![{ displaystyle { frac { log left ( mathbf {P} left [ | B | _ { infty}> c right] right)} {c ^ {2}}} приблизительно - { frac {1} {2T}} qquad { text {или}} qquad mathbf {P} left [ | B | _ { infty}> c right] приблизительно exp left (- { frac {c ^ {2}} {2T}} right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/96b314b6206438f2685666b5ba302389e4cafc64)
На самом деле эту вероятность можно оценить более точно: при B стандартное броуновское движение в рп, и любые Т, c и ε > 0 имеем:
![{ displaystyle mathbf {P} left [ sup _ {0 leq t leq T} left | { sqrt { varepsilon}} B_ {t} right | geq c right] leq 4n exp left (- { frac {c ^ {2}} {2nT varepsilon}} right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ea1ee431595ec4e596fb77b775e844462e9993f)
Рекомендации
- Дембо, Амир; Зейтуни, Офер (1998). Методы и приложения больших отклонений. Приложения математики (Нью-Йорк) 38 (второе изд.). Нью-Йорк: Springer-Verlag. С. xvi + 396. ISBN 0-387-98406-2. МИСТЕР 1619036. (См. Теорему 5.2)