Oui. Il existe un algorithme très efficace (temps linéaire), et son intuition vient directement du cas échantillonné uniformément.
Supposons que nous ayons une partition de tel que .[0,T]0=t0<t1<t2<⋯<tn=T
Cas échantillonné uniformément
Dans ce cas, nous avons où . Soit la valeur du processus échantillonné discrètement au temps .ti=iΔΔ=T/nXi:=X(ti)ti
Il est facile de voir que les forment un processus AR (1) avec corrélation . Par conséquent, nous pouvons générer un exemple de chemin pour la partition comme suit
où sont iid et .Xiρ=exp(−Δ){Xt}
Xi+1=ρXi+1−ρ2−−−−−√Zi+1,
ZiN(0,1)X0=Z0
Cas général
On pourrait alors imaginer qu'il pourrait être possible de le faire pour une partition générale . En particulier, soit et . Nous avons cela
et nous pouvons donc deviner que
Δi=ti+1−tiρi=exp(−Δi)
γ(ti,ti+1)=ρi,
Xi+1=ρiXi+1−ρ2i−−−−−√Zi+1.
En effet, et donc nous avons au moins la corrélation avec le terme voisin correcte.EXi+1Xi=ρi
Le résultat suit maintenant en se télescopant via la propriété de la tour de l'attente conditionnelle. A savoir,
et les télescopes de produit dans le de la manière suivante
EXiXi−ℓ=E(E(XiXi−ℓ∣Xi−1))=ρi−1EXi−1Xi−ℓ=⋯=∏k=1ℓρi−k,
∏k=1ℓρi−k=exp(−∑k=1ℓΔi−k)=exp(ti−ℓ−ti)=γ(ti−ℓ,ti).
Cela prouve le résultat. Par conséquent, le processus peut être généré sur une partition arbitraire à partir d'une séquence de variables aléatoires iid en temps où est la taille de la partition.N(0,1)O(n)n
NB : Il s'agit d'une technique d'échantillonnage exacte en ce qu'elle fournit une version échantillonnée du processus souhaité avec les distributions de dimensions finies exactement correctes . Cela contraste avec les schémas de discrétisation d'Euler (et d'autres) pour les SDE plus généraux, qui encourent un biais en raison de l'approximation via la discrétisation.