Así que buscamos la interpretación en términos de la integral de Ito, cuya definición, como sabemos por los comentarios que siguen, es en el sentido de proceso adaptado. Sin embargo, este no es el fin, uno puede extender la integral de Ito para procesos no adaptados -por ejemplo, Skorokhod que sustituye la condición de adaptabilidad por la de regularidad, y uno puede entender esta integral intuitivamente en términos de suma de Riemann y procesos escalonados. En esencia se puede extender la integral de Ito a procesos no adaptativos, los procesos tienen que satisfacer algunas condiciones, ¡pero no vamos a ir allí!
La respuesta a uno de ellos puede variar según la interpretación que se haga. He aquí una forma de hacerlo:
$\int_0^TW_TdW_t=\int_0^T\int_0^TdW_s\,dW_t$
$=2\int_0^T\int_0^tdW_s\,dW_t-\int_0^T{dW_s^2}$
$={2\int_0^T\int_0^t{dW_s\,dW_t}}-T$
Creo que debería ser igual a $2\int_0^TW_t\,dW_t+T$ en el sentido de Ito. Por otra parte, si se intenta una interpretación ligeramente diferente al aproximar la integral mediante la suma finita (pensemos en $n \to \infty$ en el sentido de la partición, etc.)
$\int_0^TW_TdW_t=\int_0^T\left(W_T-W_t\right)dW_t+\int_0^T W_tdW_t$
$={ \sum_{k=1}^{n}{\left( W_{t_{n}} - W_{t_{k}} \right) \Delta W_{t_{k}} }}+\int_0^T W_tdW_t$
$={ \sum_{k=1}^{n}{\left( W_{t_{n}} -W_{t_{k}}+W_{t_{k-1}}-W_{t_{k-1}} \right) \Delta W_{t_{k}} }}+\int_0^T W_tdW_t$
$={ \sum_{k=1}^{n}{\left( W_{t_{n}} -\Delta W_{t_{k}}-W_{t_{k-1}} \right) \Delta W_{t_{k}} }}+\int_0^T W_tdW_t$
$= W_{t_{n}}\sum_{k=1}^n{\Delta W_{t_{k}} }-\sum_{k=1}^n{\Delta W_{t_{k}}^2} -\sum_{k=1}^n W_{t_{k-1}}\Delta W_{t_{k}}+\int_0^T W_tdW_t$
$= W_{t_{n}}^2-\sum_{k=1}^n{\Delta W_{t_{k}}^2} $
$= W_{T}^2-T=2\int_0^TW_t\,dW_t$
Para entender intuitivamente la integral no adaptada (¡y adaptada!), ayuda pensar en aproximar el integrando por una secuencia de funciones escalonadas, y luego multiplicar los valores del proceso en cada intervalo por el incremento browniano, y sumar a través de los intervalos.
La P2 puede reformularse de la siguiente manera, y la respuesta debería desprenderse de lo anterior:
$$\int_0^T\int_0^TdW_s\,dW_t \neq \int_0^TdW_s \int_0^TdW_t?$$