Чому верхівка броунівського мосту має розподіл Колмогорова – Смірнова?


16

Розподіл Колмогорова – Смирнова відомий з тесту Колмогорова – Смірнова . Однак, це також поширення надмости Браунівського мосту.

Оскільки це далеко не очевидно (для мене), я хотів би попросити інтуїтивно пояснити цей збіг. Посилання також вітаються.


@GaBorgulya: Що ти змінив?
Расмус

Дивіться тут і тут .
кардинал

Відповіді:


13

nsupx|FnF|=supx|1ni=1nZi(x)|

де Zi(x)=1XixE[1Xix]

по CLT у вас Gn=1ni=1nZi(x)N(0,F(x)(1F(x)))

це інтуїція ...

броунівський міст має дисперсію t ( 1 - t ) http://en.wikipedia.org/wiki/Brownian_bridge замінити t на F ( x ) . Це для одного х ...B(t)t(1t) tF(x)x

Вам також потрібно перевірити коваріацію, а отже, ще легко показати (CLT), що для ( ) ( G n ( x 1 ) , , G n ( x k ) ) ( B 1 , , B k ) де ( B 1 , , B k ) є N ( 0 , Σ ) зx1,,xk(Gn(x1),,Gn(xk))(B1,,Bk)(B1,,Bk)N(0,Σ) , σ i j = min ( F ( x i ) , F ( x j ) ) - F ( x i ) F ( x j ) . Σ=(σij)σij=min(F(xi),F(xj))F(xi)F(xj)

Важко частина, щоб показати , що розподіл suppremum межі є СУПРЕМУМ розподілу меж ... Щоб зрозуміти , чому це відбувається , вимагає деякої емпіричної теорії процесу, читання книг , таких , як ван дер Ваарт і Welner (нелегко) . Назва теореми - теорема Донкера http://en.wikipedia.org/wiki/Donsker%27s_theorem ...


Чи не слід застосовувати CLT до всіх кінцевих розмірних граничних розподілів?
Расмус

ви попросили інтуїтивно зрозуміти відповідь :) також я вирішу не турбувати вас за хитру математичну частину, яка полягає в тому, щоб показати, що конвергенція для всіх t передбачає конвергенцію (в законі) верховин ... Ви хочете, щоб я завершив відповідь?
Робін Жирард

Шановний Робін Жирард, я вважаю, що відповідь тобі добре. Дякую!
Расмус

1
насправді складна частина полягає у демонстрації слабкої конвергенції. Тоді конвергенція супрему випливає безпосередньо з теореми безперервного відображення. Цей результат можна знайти в «Зближенні ймовірних заходів» Біллінгслі. Ван дер Варт та Велнер дають більш загальний результат, і їхня книга справді, дуже жорстка :)
mpiktas

@robingirard Я особисто хотів би побачити "повну відповідь" на всі "хитрі математичні частини [s]"
StatsPlease

6

nf(x)=1niχ(,Xi](x)

qx=q

pp=2p

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.