Щоб негайно перейти до висновку, "імпульс" не змінює факту, що нормальний розподіл є асимптотичним наближенням розподілу випадкової ходи, але дисперсія змінюється від до . Це може бути отримане порівняно елементарними міркуваннями в цьому спеціальному випадку. Скажімо, не так важко узагальнити наведені нижче аргументи до CLT для кінцевих ланцюгів Маркова з кінцевим станом, але найбільша проблема - це фактично обчислення дисперсії. Для конкретної проблеми її можна обчислити, і, сподіваємось, наведені нижче аргументи можуть переконати читача, що це правильна дисперсія.n p / ( 1 - p )4np(1−p)np/(1−p)
Використовуючи розуміння, яке Кардинал надає в коментарі, випадкова прогулянка задається як
де і утворюють ланцюг Маркова з матриця ймовірностей переходу
Для асимптотичних міркувань, коли початковий розподіл не грає ніякої ролі, тому давайте виправити заради наступного аргументу та припустимо також, що . Техніка гладкого полягає в тому, щоб розкласти ланцюг Маркова на самостійні цикли. НехайX k ∈ { - 1 , 1 } X k ( p 1 - p 1 - p p ) . n → ∞ X 1 X 1 = 1 0 < p < 1 σ 1
Sn=∑k=1nXk
Xk∈{−1,1}Xk(p1−p1−pp).
n→∞X1X1=10<p<1σ1позначаємо вперше, після часу 1, що ланцюг Маркова повертається до 1. Тобто, якщо то , а якщо і то . Взагалі, нехай позначає 'й час повернення до 1, а позначає
періоди між поверненнями (з ). З цими визначеннями у нас є
σ 1 = 2 X 2 = X 3 = - 1 X 4 = 1 σ 1 = 4 σ i i τ i = σ i - σ i - 1X2=1σ1=2X2=X3=−1X4=1σ1=4σiiτi=σi−σi−1σ0=1
- З тоді
S σ n = X 1 + n ∑ i = 1 U i .Ui=∑σik=σi−1+1Xk
Sσn=X1+∑i=1nUi.
- Оскільки приймає значення для і то
- 1 k = σ i - 1 + 1 , … , σ i - 1 X σ i = 1 U i = 2 - τ i .Xk−1k=σi−1+1,…,σi−1Xσi=1
Ui=2−τi.
- Часи , , для ланцюга Маркова є iid (формально через сильну властивість Маркова), і в цьому випадку із середнім та дисперсією . Нижче вказано, як обчислити середнє значення та відхилення.τiE(τi)=2V(τi)=2p1−p
- Звичайний CLT для змінних призводить до того, що
Sσn∼asympN(0,2np1−p).
- Останнє, що слід зазначити, що вимагає невеликого стрибка віри, тому що я деталі, це те, що , що
σn=1+∑ni=1τi∼2n
Sn∼asympN(0,np1−p).
Для обчислення моментів можна зазначити, що а для , . Тоді можуть бути застосовані методи, подібні до тих, що використовуються при обчисленні моментів для геометричного розподілу. Крім того, якщо геометричний з вірогідністю успіху і то має такий же розподіл, що і , і легко обчислити середнє значення та дисперсію для це останнє подання.τ1P(τ1=1)=pm≥2P(τ1=m)=(1−p)2pm−2X1−pZ=1(τ1=1)1+X(1−Z)τ1