¿Cómo puedo encontrar el valor esperado de $\int_0^s \sqrt{t+B_t^2}dB_t$ ? Sé que una condición es mostrar que si:
$f: (0,\infty) \times \Omega \to \mathbb{R}$ es progresivamente medible y $$\mathbb{E} \left( \int_0^s |f(t)|^2 \, dt \right)<\infty \quad \text{for all $ s \geq 0 $}$$ entonces
$$M_s := \int_0^s f(t) \, dB_t, \qquad s \geq 0,$$
es una martingala.
Sin embargo, no sé cómo probar lo anterior ni conozco ningún nombre bueno para ello. ¿Hay alguna forma de hacerlo mediante la fórmula de Ito para el espacio y el tiempo o algún otro método directo? Gracias.