Esta afirmación es errónea en general.
Puede fallar incluso cuando el integrador $M_t$ es un movimiento browniano. De hecho,
Dada una distribución de probabilidad $P$ en $\mathbb{R}$ es posible encontrar una solución adaptada $t$ -proceso medible $f(\omega,t)$ con $\mathbb{P}\left(\int_0^1 f^2(\omega,t)\,dt<\infty\right)=1$ tal que la variable aleatoria $$\int_0^1 f(\omega,t) \, dB_t$$ tiene distribución $P$ .
Esta afirmación se conoce como el teorema de la representación de Dudley (véase el papel original ). Por lo tanto, la expectativa de la integral estocástica puede tomar cualquier valor real, ser infinita o no existir.
Otro contraejemplo surge de la ecuación diferencial estocástica $$dX_t = X^2_t\, dB_t, \quad X_0=x, \quad \textrm{where } x>0.$$ Se puede demostrar que la solución existe, es única, es una martingala local estrictamente positiva, pero $\mathbb{E} X_t \to 0$ como $t\to \infty$ . Vea los detalles en la obra de George Lowther blog de donde procede este ejemplo.
Una condición suficiente para la integral $\int_0^t f(\omega, s)\, dB_s$ para ser una martingala en $[0,T]$ es que
- $f(\omega,s)$ se adapta, medible en s, y
- $\mathbb{E}\left(\int_0^T f^2(\omega,s)\,ds\right) < \infty$ .
En este caso, efectivamente, $\mathsf{E} \left(\int_0^T f(\omega,s)\, dB_s\right)=0$ .
Si el integrador $M_t$ es una martingala arbitraria, y el integrando $f$ está acotada, entonces la integral es una martingala, y la expectativa de la integral es de nuevo cero ( prueba ).
Por último, si el integrador $M_t$ es un local martingala, se puede decir muy poco sobre la expectativa de la integral. Si $f(\omega,t)$ es suficientemente agradable, la integral $\int_0^t f(\omega,s) \, dM_s$ es una martingala local, pero eso no garantiza que la expectativa sea cero, como muestra el segundo contraejemplo anterior.