Tamasya Brown dapat dibangun dari jembatan menggunakan konstruksi berikut oleh Vervaat:
https://projecteuclid.org/download/pdf_1/euclid.aop/1176995155
Perkiraan cepat dalam R, menggunakan kode BB @ whuber, adalah
n <- 1001
times <- seq(0, 1, length.out=n)
set.seed(17)
dW <- rnorm(n)/sqrt(n)
W <- cumsum(dW)
# plot(times,W,type="l") # original BM
B <- W - times * W[n] # The Brownian bridge from (0,0) to (1,target)
# plot(times,B,type="l")
# Vervaat construction
Bmin <- min(B)
tmin <- which(B == Bmin)
newtimes <- (times[tmin] + times) %% 1
J<-floor(newtimes * n)
BE <- B[J] - Bmin
plot(1:length(BE)/n,BE,type="l")
Berikut ini plot lain (dari set.seed (21)). Pengamatan utama dengan tamasya adalah bahwa pengkondisian sebenarnya bermanifestasi sebagai "tolakan" dari 0, dan Anda tidak mungkin melihat tamasya mendekati pada interior .
( 0 , 1 )0(0,1)
Selain itu: Distribusi nilai absolut jembatan Brown dan tamasya, dikondisikan untuk menjadi positif , adalah tidak sama. Secara intuitif, tamasya ini diusir dari asalnya, karena jalur Brown yang terlalu dekat dengan asalnya kemungkinan akan menjadi negatif segera setelah itu dan dengan demikian dihukum oleh pengkondisian. ( B B t ) 0 ≤ t ≤ 1(|BBt|)0≤t≤1(BBt)0≤t≤1
Ini bahkan dapat diilustrasikan dengan jembatan berjalan acak sederhana dan perjalanan pada langkah, yang merupakan analog diskrit alami dari BM (dan konvergen ke BM saat langkah-langkah menjadi besar dan Anda skala ulang).6
Memang, ambil SRW simetris mulai dari . Pertama, mari kita pertimbangkan pengkondisian "jembatan" dan lihat apa yang terjadi jika kita hanya mengambil nilai absolut. Pertimbangkan semua jalur sederhana dengan panjang yang dimulai dan berakhir pada . Jumlah jalur tersebut adalah . Ada antaranya . Dengan kata lain, probabilitas untuk nilai absolut "jembatan" SRW kami (dikondisikan untuk berakhir pada ) untuk memiliki nilai 0 pada langkah adalah .s 6 00s60(63)=202×(42)=12|s2|=00212/20=0.6
Kedua, kami akan mempertimbangkan pengkondisian "tamasya". Jumlah jalur sederhana non-negatif panjang yang berakhir pada adalah jumlah Catalan . Tepat dari jalur ini memiliki . Dengan demikian, probabilitas untuk "perjalanan" SRW kami (dikondisikan untuk tetap positif dan berakhir pada ) untuk memiliki nilai 0 pada langkah adalah .s6=2∗30Cm=3=(2mm)/(m+1)=52s2=0022/5=0.4<0.6
Jika Anda masih meragukan fenomena ini tetap ada dalam batas Anda dapat mempertimbangkan probabilitas untuk jembatan SRW dan kunjungan panjang memukul 0 pada langkah .4n2n
Untuk perjalanan SRW: kami memiliki menggunakan aysmptotics dari wikipedia https://en.wikipedia.org/wiki / Catalan_number . Yaitu seperti akhirnya.
P(S2n=0|Sj≥0,j≤4n,S4n=0)=C2n/C2n∼(42n/πn3)/(42n/(2n)3π−−−−−−√)
cn−3/2
Untuk abs (jembatan SRW): menggunakan asimptotik dari wikipedia https://en.wikipedia.org/wiki/Binomial_coefisien . Ini seperti .
P(|S2n|=0|S4n=0)=(2nn)2/(4n2n)∼(4n/πn−−−√)2/(42n/2nπ−−−√)
cn−1/2
Dengan kata lain, probabilitas asimptotik untuk melihat jembatan SRW dikondisikan menjadi positif pada dekat tengah jauh lebih kecil dari itu untuk nilai absolut jembatan. 0
Berikut ini adalah konstruksi alternatif berdasarkan proses Bessel 3D bukan jembatan Brown. Saya menggunakan fakta-fakta yang dijelaskan dalam https://projecteuclid.org/download/pdf_1/euclid.ejp/1457125524
Tinjauan umum- 1) Mensimulasikan proses Bessel 3d. Ini seperti BM yang dikondisikan untuk menjadi positif. 2) Menerapkan penyelarasan ruang-waktu yang sesuai untuk mendapatkan jembatan Bessel 3 (Persamaan (2) di kertas). 3) Gunakan fakta (dicatat tepat setelah Teorema 1 di koran) bahwa jembatan Bessel 3 sebenarnya memiliki distribusi yang sama dengan tamasya Brown.
Kelemahan kecil adalah bahwa Anda perlu menjalankan proses Bessel untuk sementara waktu (T = 100 di bawah) pada grid yang relatif baik agar penskalaan ruang / waktu untuk menendang pada akhirnya.
## Another construction of Brownian excursion via Bessel processes
set.seed(27092017)
## The Bessel process must run for a long time in order to construct a bridge
T <- 100
n <- 100001
d<-3 # dimension for Bessel process
dW <- matrix(ncol = n, nrow = d, data=rnorm(d*n)/sqrt(n/T))
dW[,1] <- 0
W <- apply(dW, 1, cumsum)
BessD <- apply(W,1,function(x) {sqrt(sum(x^2))})
times <- seq(0, T, length.out=n)
# plot(times,BessD, type="l") # Bessel D process
times01 <- times[times < 1]
rescaletimes <- pmin(times01/(1-times01),T)
# plot(times01,rescaletimes,type="l") # compare rescaled times
# create new time index
rescaletimeindex <- sapply(rescaletimes,function(x){max(which(times<=x))} )
BE <- (1 - times01) * BessD[rescaletimeindex]
plot(times01,BE, type="l")
Berikut hasilnya: