1) Quiero conocer el mecanismo para: demostrar que el proceso $X_t$ resuelve este SDE 2) saber si mis amigos aunque, los míos aunque abajo son correctos/incorrectos.
Tengo la ecuación diferencial lineal general estocástica (SDE) con condición inicial $X_0$ constantes: $c,\sigma$ Necesito demostrar que el proceso $X_t$ resuelve esta SDE.
SDE: $$dX_t = c X_t dt + \sigma dW_t , t \in [0,T]$$ Stoch. Proceso: $$X_t = X_0 e^{ct}+\sigma e^{ct} \int_0^t e^{-cs}dW_s.$$
Por simple lógica, creo que tengo que insertar $X_t$ a SDE( tomar diferencial de $X_t$ y recibir exactamente el SDE que tengo arriba). ¿Es esta la forma matemáticamente correcta de mostrar que alguna solución resuelve SDE(o DE simple)?
Mi amigo encontró en la web una solución completamente incómoda para mí:
1) Tomar el diferencial por ? fórmula del producto ?: $$d(e^{-ct}X_t) = -c e^{-ct} X_t + e^{-ct} dX_t$$ 2) Sustituir nuestra SDE $dX_t = c X_t dt + \sigma dW_t , t \in [0,T]$ a la segunda parte de la ecuación.
Por fin se integra, y se consigue lo que se quiere: $$X_t = ...$$
Mi pregunta: Creo que no es una prueba correcta, es más, cómo puedo entender qué debo diferenciar ( me refiero a $d(e^{-ct}X_t)$ no es evidente). ¿Lo es? Creo que de alguna manera disminuyó la prueba.
Creo que esa es la verdadera prueba:
1) mediante la fórmula de ITO: $$df(t,W_t) = \dot f_t dt + \dot f_{W_t} dW_t + \frac{1}{2}\ddot f_{W_t,W_t} dt,$$ Consigue $$d X_t = ..$$ 2) ver que parece $dX_t = c X_t dt + \sigma dW_t , t \in [0,T]$ .
He aquí hasta dónde he llegado y qué obstáculos tengo:
Si asumo que puedo poner $\frac{d}{dt}$ dentro de la integral y diferenciar fácilmente el exponente $e^{-cs}$ me sale:
$$dX_t = \frac{\partial }{\partial t} \left(X_0 e^{ct}+\sigma e^{ct} \int_0^t e^{-cs}dW_s \right) dt + \frac{\partial }{\partial W_t} \left(X_0 e^{ct}+\sigma e^{ct} \int_0^t e^{-cs}dW_s \right) dW_t + \frac{1}{2}\frac{\partial }{\partial W_t} \frac{\partial }{\partial W_t} \left(X_0 e^{ct}+\sigma e^{ct} \int_0^t e^{-cs}dW_s \right) dt, $$ o $$dX_t = A dt + B dW_t + \frac{1}{2}C dt,$$ donde:
$$ A= X_0 c e^{ct} + \left ( \frac{\partial }{\partial t} \sigma e^{ct} \int_0^t e^{-cs}dW_s \right) =$$
$$= X_0 c e^{ct} + \left ( \sigma ce^{ct} \int_0^t e^{-cs}dW_s + \sigma e^{ct} \int_0^t -c e^{-cs}dW_s \right).$$
¿Es correcto? Siguiente,
$$B = 0 + \text{this is not easy for me to digest} = $$ $$ = 0 + \sigma e^{ct} e^{-ct} = \sigma$$
$$C = 0 + 0 \text{, because there is no } W_t$$ finalmente: $$dX_t = \left ( X_0 c e^{ct} + \sigma ce^{ct} \int_0^t e^{-cs}dW_s + \sigma e^{ct} \int_0^t -c e^{-cs}dW_s \right) dt + \sigma dW_t + \frac{1}{2}0$$ $$dX_t = X_0 c e^{ct} dt+ \sigma dW_t $$ Pero aquí vemos $X_0e^{ct}$ no $X_t$ . =(