Wycieczka Browna może być zbudowana z mostu przy użyciu następującej konstrukcji Vervaat:
https://projecteuclid.org/download/pdf_1/euclid.aop/1176995155
Szybkie przybliżenie w R przy użyciu kodu BB @ whubera to
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")
Oto kolejna fabuła (z set.seed (21)). Kluczową obserwacją podczas wycieczki jest to, że uwarunkowanie faktycznie manifestuje się jako „odpychanie” od 0, i jest mało prawdopodobne, aby wycieczka zbliżyła się do wewnątrz ( 0 , 1 ) .
0( 0 , 1 )
Poza tym: rozkład wartości bezwzględnej mostu Browna i wycieczka, ( B B t ) 0 ≤ t ≤ 1 uwarunkowane jako dodatnie , nie są takie same. Intuicyjnie wycieczka jest odpychana od źródła, ponieważ ścieżki Browna, które znajdują się zbyt blisko źródła, prawdopodobnie wkrótce staną się ujemne, a zatem będą karane przez warunkowanie.( | B Bt| )0 ≤ t ≤ 1( B Bt)0 ≤ t ≤ 1
Można to zilustrować prostym pomostem i wycieczką na stopniach, który jest naturalnym dyskretnym analogiem BM (i zbiega się w BM, gdy kroki stają się duże i przeskalujesz).6
Rzeczywiście, weź symetryczny SRW, zaczynając od . Najpierw zastanówmy się nad warunkowaniem „pomostowym” i zobaczmy, co się stanie, jeśli weźmiemy wartość bezwzględną. Rozważyć wszystkie prostych ścieżek s o długości 6 , które zaczynają się i kończą w 0 . Liczba takich ścieżek wynosi . Są z nich, dla których . Innymi słowy, prawdopodobieństwo, że wartość bezwzględna naszego „mostka” SRW (uwarunkowanego zakończeniem na ) będzie miała wartość 0 na etapie wynosi .0s602× ( 4( 63)) =20| s2| =00212/20=0,62 × ( 42)) =12| s2)| =002)12 / 20 = 0,6
Po drugie, rozważymy uwarunkowanie „wycieczki”. Liczba nieujemna prostych odcinków o długości , które kończą się w jest liczbą kataloński . Dokładnie z tych ścieżek mają . Zatem prawdopodobieństwo, że nasza „wycieczka” SRW (uwarunkowana pozostanie dodatnia i zakończy się na ) o wartości 0 w kroku wynosi .6 = 2 ∗ 3 0 C m = 3 = ( 2 ms6=2∗302s2=0022/5=0,4<0,6dom = 3= ( 2 mm) /(m+1)=52)s2)= 002)2 / 5 = 0,4 < 0,6
Jeśli nadal masz wątpliwości, że zjawisko to utrzymuje się w granicach, możesz rozważyć prawdopodobieństwo dla mostów SRW i skoków długości uderzających 0 w kroku .2 n4 n2 n
Na wycieczkę SRW: mamy przy użyciu aysmptotics z wikipedii https://en.wikipedia.org/wiki / Catalan_number . To znaczy, że w końcu jest jak .Cn - 3 / 2
P ( S2 n= 0 | S.jot≥ 0 , j ≤ 4 n , S4 n= 0 ) = C.2)n/ C2n∼ ( 42 n/ πn3)) / ( 42 n/ ( 2 n )3)π------√)
c n- 3 / 2
Dla abs (most SRW): przy użyciu asymptotyków z wikipedii https://en.wikipedia.org/wiki/Binomial_coefficient . To jest jak .Cn - 1 / 2
P ( | S2 n| =0 | S.4 n= 0 ) = ( 2 nn)2)/ ( 4 n2 n) ∼(4n/ πn---√)2)/ ( 42 n/ 2 n π---√)
c n- 1 / 2
Innymi słowy, asymptotyczne prawdopodobieństwo zobaczenia warunku SRW dodatniego przy pobliżu środka jest znacznie mniejsze niż dla wartości bezwzględnej mostu. 0
Oto alternatywna konstrukcja oparta na procesie 3D Bessela zamiast mostu Browna. Korzystam z faktów wyjaśnionych w https://projecteuclid.org/download/pdf_1/euclid.ejp/1457125524
Omówienie - 1) Symuluj proces 3d Bessela. To jest jak BM uwarunkowane byciem pozytywnym. 2) Zastosuj odpowiednie przeskalowanie czasoprzestrzeni w celu uzyskania mostu Bessela 3 (równanie (2) w pracy). 3) Wykorzystaj fakt (zauważony tuż po Twierdzeniu 1 w pracy), że most Bessel 3 ma faktycznie taki sam rozkład jak wycieczka Browna.
Nieznaczną wadą jest to, że trzeba uruchomić proces Bessela przez dość długi czas (T = 100 poniżej) na stosunkowo drobnej siatce, aby skalowanie czasoprzestrzeni zaczęło się na końcu.
## 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")
Oto wynik: