Untuk langsung mengambil kesimpulan, "momentum" tidak mengubah fakta bahwa distribusi normal adalah perkiraan asimptotik dari distribusi jalan acak, tetapi varians berubah dari 4np(1−p) menjadi np/(1−p) . Ini dapat diturunkan dengan pertimbangan yang relatif elementer dalam kasus khusus ini. Tidaklah terlalu sulit untuk menggeneralisasi argumen di bawah ini ke CLT untuk ruang terbatas ruang Markov, katakan, tetapi masalah terbesar sebenarnya adalah perhitungan varians. Untuk masalah khusus itu bisadihitung, dan semoga argumen di bawah ini dapat meyakinkan pembaca bahwa itu adalah varian yang benar.
Menggunakan wawasan bahwa Kardinal menyediakan dalam komentar, acak berjalan diberikan sebagai
mana X k ∈ { - 1 , 1 } dan X k 's membentuk rantai Markov dengan matriks probabilitas transisi
( p 1 - p 1 - p p ) .
Untuk pertimbangan asimptotik saat n → ∞ distribusi awal X 1 tidak berperan, jadi mari kita perbaiki
Sn=∑k=1nXk
Xk∈{−1,1}Xk(p1−p1−pp).
n→∞X1 demi argumen berikut, dan anggap juga bahwa
0 < p < 1 . Teknik yang licin adalah menguraikan rantai Markov menjadi siklus independen. Misalkan
σ 1 menunjukkan pertama kali, setelah waktu 1, bahwa rantai Markov kembali ke 1. Yaitu, jika
X 2 = 1 maka
σ 1 = 2 , dan jika
X 2 = X 3 = - 1 dan
X 4 = 1 maka
σ 1 = 4X1=10<p<1σ1X2=1σ1=2X2=X3=−1X4=1σ1=4. Secara umum, biarkan
menyatakan
i 'th waktu kembali ke 1 dan membiarkan
τ i = σ i - σ i - 1 menyatakan
kali antar-return (dengan
σ 0 = 1 ). Dengan definisi ini, kami punya
σiiτi=σi−σi−1σ0=1
- Dengan lalu
S σ n = X 1 + n ∑ i = 1 U i .Ui=∑σik=σi−1+1Xk
Sσn=X1+∑i=1nUi.
- Sejak mengambil nilai - 1 untuk k = σ i - 1 + 1 , ... , σ i - 1 dan X σ i = 1 itu menyatakan bahwa
U i = 2 - τ i .Xk−1k=σi−1+1,…,σi−1Xσi=1
Ui=2−τi.
- Waktu antar kembali, , untuk rantai Markov adalah iid (secara resmi karena properti Markov yang kuat) dan dalam kasus ini dengan rata-rata E ( τ i ) = 2 dan varians V ( τ i ) = 2 pτiE(τi)=2 . Diindikasikan bagaimana cara menghitung mean dan varians di bawah ini.V(τi)=2p1−p
- CLT biasa untuk variabel id menghasilkan bahwa
Sσn∼asympN(0,2np1−p).
- Hal terakhir untuk catatan, yang membutuhkan lompatan kecil iman, karena saya meninggalkan rincian, adalah bahwa σn=1+∑ni=1τi∼2n , yang hasil bahwa
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