Vamos a utilizar
∫∞−∞x2ke−x22dx=(2k−1)!!√π\etiqueta1
Si tomamos el valor del capital, obtenemos la serie convergente
PV1√2πσ∫∞−∞1xe−(x−μ)22σ2dx=1√2πσ∫∞01x(e−(μ−x)22σ2−e−(μ+x)22σ2)dx=1√2πσ∫∞−∞1xsinh(μxσ2)e−μ2+x22σ2dx=1√2πσe−μ22σ2∫∞−∞1xsinh(μσx)e−x22dx=e−μ22σ2∞∑k=0(2k−1)!!(2k+1)!μ2k+1σ2k+2
También se puede obtener de un asintótica de expansión de (2) el uso de la fase estacionaria:
1√2πσe−μ22σ2∫∞−∞1xsinh(μσx)e−x22dx=PV1√2πσ∫∞−∞12(1μσ+x+1μσ−x)e−x22dx=PV1√2πμ∫∞−∞12(11+σμx+11−σμx)e−x22dx∼1μ∞∑k=0(2k−1)!!σ2kμ2k
Podemos obtener una "forma cerrada" en términos de erfi (2)
ddα1√2π∫∞−∞1xsinh(αx)e−x22dx=1√2π∫∞−∞cosh(αx)e−x22dx=eα22
Por lo tanto,
1√2π∫∞−∞1xsinh(αx)e−x22dx=∫α0et22dt=√2i∫iα/√20e−t2dt=√2π2erfi(α/√2)
y enchufar (6) a (2) rendimientos
PV1√2πσ∫∞−∞1xe−(x−μ)22σ2dx=√2π2σe−μ22σ2erfi(μσ√2)
Precisión extendida no es suficiente
Se menciona en un comentario que x<0 fue rechazado. Esto plantea un problema teórico. Los cálculos anteriores se llevan a cabo en el valor principal, que significa que un pequeño intervalo de [−δ,δ] es rechazado, donde δ→0. Sin embargo, si x<δ es rechazado, entonces, como δ→0, el de la contribución al valor esperado a partir de la singularidad crece como
−log(δ)√2πe−50\etiqueta8
Incluso el uso extendido de precisión, donde δ=2−16382, (8) asciende a cerca de 8.74×10−19 que es bastante insignificante. Sin embargo, como δ→0, (8)→∞.
Por lo tanto, incluso extendido aritmética de precisión es insuficiente para exponer los problemas con una simulación donde x<0 es rechazado.