Une excursion brownienne peut être construite à partir d'un pont en utilisant la construction suivante par Vervaat:
https://projecteuclid.org/download/pdf_1/euclid.aop/1176995155
Une approximation rapide dans R, en utilisant le code BB de @ whuber, est
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")
Voici une autre intrigue (de set.seed (21)). Une observation clé avec une excursion est que le conditionnement se manifeste en fait comme une "répulsion" à partir de 0, et il est peu probable que vous voyiez une excursion approcher de à l'intérieur de .
( 0 , 1 )0( 0 , 1 )
A part: La distribution de la valeur absolue d'un pont brownien et l'excursion, conditionnée pour être positive , sont pas le même. Intuitivement, l'excursion est repoussée de l'origine, car les chemins browniens trop proches de l'origine risquent de devenir négatifs peu de temps après et sont donc pénalisés par le conditionnement. ( B B t ) 0 ≤ t ≤ 1( | B Bt| )0 ≤ t ≤ 1( B Bt)0 ≤ t ≤ 1
Cela peut même être illustré par un simple pont de marche aléatoire et une excursion sur étapes, qui est un analogue discret naturel de BM (et converge vers BM lorsque les étapes deviennent grandes et que vous redimensionnez).6
En effet, prenez un SRW symétrique à partir de . Tout d'abord, considérons le conditionnement "en pont" et voyons ce qui se passe si nous prenons simplement la valeur absolue. Considérez tous les chemins simples de longueur qui commencent et se terminent à . Le nombre de ces chemins est . Il y a d'entre eux pour lesquels . En d'autres termes, la probabilité que la valeur absolue de notre "pont" SRW (conditionné pour se terminer à ) ait la valeur 0 à l'étape est .s 6 0 ( 60s602× ( 4( 63) =20| s2| =002douze/20=0,62 × ( 42) =12| s2| =002Douze / vingt = 0,6
Dans un deuxième temps, nous considérerons le conditionnement "excursion". Le nombre de chemins simples non négatifs de longueur qui se terminent à est le nombre catalan . Exactement de ces chemins ont . Ainsi, la probabilité que notre "excursion" SRW (conditionnée pour rester positive et se terminer à ) ait la valeur 0 à l'étape est .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
Dans le cas où vous doutez encore que ce phénomène persiste dans la limite, vous pouvez considérer la probabilité de ponts SRW et d'excursions de longueur atteignant 0 à l'étape .2 n4 n2 n
Pour l'excursion SRW: nous avons utilisant l'aysmptotique de wikipedia https://en.wikipedia.org/wiki / Catalan_number . C'est-à-dire que c'est comme finalement.cn - 3 / 2
P ( S2 n= 0 | Sj≥ 0 , j ≤ 4 n , S4 n= 0 ) = C2n/ C2 n∼ ( 42 n/ πn3) / ( 42 n/ ( 2 n )3π------√)
c n- trois / deux
Pour abs (pont SRW): utilisant les asymptotiques de wikipedia https://en.wikipedia.org/wiki/Binomial_coefficient . C'est comme .cn - une / 2
P ( | S2 n| =0 | S4 n= 0 ) = ( 2 nn)2/ ( 4 n2 n) ∼(4n/ πn---√)2/ ( 42 n/ 2 n π---√)
c n- 1 / deux
En d'autres termes, la probabilité asymptotique de voir le pont SRW conditionné pour être positif à près du milieu est beaucoup plus petite que celle de la valeur absolue du pont. 0
Voici une construction alternative basée sur un processus de Bessel 3D au lieu d'un pont brownien. J'utilise les faits expliqués dans https://projecteuclid.org/download/pdf_1/euclid.ejp/1457125524
Présentation- 1) Simuler un processus Bessel 3D. C'est comme un BM conditionné pour être positif. 2) Appliquer un redimensionnement spatio-temporel approprié afin d'obtenir un pont de Bessel 3 (équation (2) dans le papier). 3) Utilisez le fait (noté juste après le théorème 1 dans l'article) qu'un pont de Bessel 3 a en fait la même distribution qu'une excursion brownienne.
Un léger inconvénient est que vous devez exécuter le processus de Bessel pendant un certain temps (T = 100 ci-dessous) sur une grille relativement fine pour que la mise à l'échelle espace / temps se déclenche à la fin.
## 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")
Voici la sortie: