Un'escursione browniana può essere costruita da un ponte usando la seguente costruzione di Vervaat:
https://projecteuclid.org/download/pdf_1/euclid.aop/1176995155
Una rapida approssimazione in R, usando il codice BB di @ whuber, è
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")
Ecco un'altra trama (da set.seed (21)). Un'osservazione chiave con un'escursione è che il condizionamento si manifesta effettivamente come una "repulsione" da 0, e è improbabile che un'escursione si avvicini a all'interno di ( 0 , 1 ) .
0( 0 , 1 )
A parte: la distribuzione del valore assoluto di un ponte browniano e l'escursione, ( B B t ) 0 ≤ t ≤ 1 condizionati per essere positivi , non sono uguali. Intuitivamente, l'escursione viene respinta dall'origine, perché i percorsi browniani che si avvicinano troppo all'origine rischiano di diventare negativi poco dopo e quindi sono penalizzati dal condizionamento.( | B Bt| )0 ≤ t ≤ 1( B Bt)0 ≤ t ≤ 1
Questo può anche essere illustrato con un semplice ponte a piedi casuale ed escursione su gradini, che è un analogo discreto naturale di BM (e converge in BM man mano che i gradini diventano grandi e si riscala).6
Effettivamente, prendi un SRW simmetrico a partire da . Innanzitutto, consideriamo il condizionamento del "ponte" e vediamo cosa succede se prendiamo semplicemente il valore assoluto. Prendere in considerazione tutti i percorsi semplici s di lunghezza 6 che iniziano e terminano a 0 . Il numero di tali percorsi è . Ci sono di questi per i quali . In altre parole, la probabilità che il valore assoluto del nostro "ponte" SRW (condizionato alla fine a ) abbia valore 0 al passaggio è .0S602× ( 4( 63) =20| s2| =00212/20=0.62 × ( 42) =12| S2| =00212 / 20 = 0.6
In secondo luogo, considereremo il condizionamento dell '"escursione". Il numero di percorsi semplici non negativi di lunghezza che terminano a è il numero catalano . Esattamente di questi percorsi hanno . Pertanto, la probabilità per la nostra "escursione" di SRW (condizionata a rimanere positivo e terminare a ) di avere valore 0 al passaggio è .6 = 2 ∗ 3 0 C m = 3 = ( 2 mS6 = 2 ∗ 302s2=0022/5=0,4<0,6Cm = 3= ( 2 mm) /(m+1)=52S2= 0022 / 5 = 0,4 < 0,6
Nel caso in cui dubiti che questo fenomeno persista nel limite, potresti considerare la probabilità per i ponti SRW e le escursioni di lunghezza colpiscono 0 al passaggio .2 n4 n2 n
Per l'escursione SRW: abbiamo usando gli aysmptotics di wikipedia https://en.wikipedia.org/wiki / Catalan_number . Cioè è come alla fine.cn - 3 / 2
P(S2n=0|Sj≥0,j≤4n,S4n=0)=C2n/C2n∼(42n/πn3)/(42n/(2n)3π−−−−−−√)
cn−3/2
Per gli abs (ponte SRW): usando gli asintotici di wikipedia https://en.wikipedia.org/wiki/Binomial_coefficient . Questo è come .
P(|S2n|=0|S4n=0)=(2nn)2/(4n2n)∼(4n/πn−−−√)2/(42n/2nπ−−−√)
cn−1/2
In altre parole, la probabilità asintotica di vedere il ponte SRW condizionato per essere positivo a vicino al centro è molto più piccola di quella per il valore assoluto del ponte. 0
Ecco una costruzione alternativa basata su un processo Bessel 3D anziché su un ponte browniano. Uso i fatti spiegati in https://projecteuclid.org/download/pdf_1/euclid.ejp/1457125524
Panoramica- 1) Simula un processo di Bessel 3d. Questo è come un BM condizionato per essere positivo. 2) Applicare un riscaling spazio-temporale appropriato per ottenere un ponte di Bessel 3 (Equazione (2) nel documento). 3) Usa il fatto (notato subito dopo il Teorema 1 nel documento) che un ponte di Bessel 3 ha effettivamente la stessa distribuzione di un'escursione browniana.
Un leggero svantaggio è che è necessario eseguire il processo di Bessel per un bel po '(T = 100 in basso) su una griglia relativamente fine in modo che il ridimensionamento spazio / tempo inizi alla fine.
## 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")
Ecco l'output: