La respuesta es sí.
Prueba:
Teorema (Radon-Nikodym) Dejemos que $(\Omega, \mathcal{F})$ sea un espacio medible. Sea $\mathbb{P}$ y $\widetilde{\mathbb{P}}$ ser dos $\sigma$ -medidas finitas . Sea $\widetilde{\mathbb{P}}$ sea absolutamente continua con respecto a $\mathbb{P}$ (es decir $\widetilde{\mathbb{P}}\ll\mathbb{P}$ ). ENTONCES: $(\exists)$ medible función $f:\Omega\to[0;+\infty)$ tal que: $$ \widetilde{\mathbb{P}}(A)=\int_A f(\omega)d\mathbb{P}(\omega), (\forall)A\in\mathcal{F}. $$ $f$ es único hasta la indistinguibilidad, es decir, si existe otro $g$ con las mismas propiedades que las anteriores, entonces $f=g, \mathbb{P}-a.s.$ (o $\mathbb{P}$ -a.e.).
Tenga en cuenta que si $\mathbb{P}$ y $\widetilde{\mathbb{P}}$ son medidas equivalentes (denotadas por $\mathbb{P}\approx\widetilde{\mathbb{P}}$ ), entonces $\widetilde{\mathbb{P}}\ll\mathbb{P}$ y $\mathbb{P}\ll\widetilde{\mathbb{P}}$ .
Dejemos ahora $(\Omega, \mathcal{F}, \mathbb{F}, \mathbb{P})$ sea un espacio de probabilidad filtrado, donde $\mathbb{F}=(\mathcal{F}_t)_{t\geq0}$ es la filtración. Utilizamos el teorema de Radon-Nikodym para demostrar la siguiente proposición:
Propuesta. Dejemos que $\mathbb{P}\approx\widetilde{\mathbb{P}}$ sean dos equivalentes probabilidad medidas sobre $(\Omega, \mathcal{F}_T)$ un espacio medible de la notación anterior. ENTONCES , $(\exists)$ a estrictamente positivo $(\mathbb{P}, \mathbb{F})$ -martingale $(L_t)_{t\geq 0}$ tal que $$ \widetilde{\mathbb{P}}(A)=\int_A L_t(\omega)d\mathbb{P}(\omega), (\forall) A\in\mathcal{F}_t, (\forall) t\leq T $$ con las propiedades que:
- $\mathbb{E}_{\widetilde{\mathbb{P}}}[X]=\mathbb{E}_{\mathbb{P}}[L_tX]$ para todos $\mathcal{F}_t$ -Medible, no negativo variables aleatorias $X$ cuando $t\leq T$ .
- $L_0 = 1$
- $\mathbb{E}_{\mathbb{P}}[L_t]=1, (\forall) t\leq T$ .
Prueba: Sabemos por el teorema de Radon-Nikodym anterior que como $\mathbb{P}\approx\widetilde{\mathbb{P}}$ en $(\Omega, \mathcal{F}_T)$ , entonces debe existir un no negativo, $\mathcal{F}_T$ -variable aleatoria medible $Z$ con la propiedad de que $$ \widetilde{\mathbb{P}}(A)=\int_AZ(\omega)d\mathbb{P}(\omega), (\forall)A\in\mathcal{F}_T $$ Como ya hemos asumido que $\widetilde{\mathbb{P}}$ es un probabilidad medida, lo tenemos: $$ \widetilde{\mathbb{P}}(\Omega)=1=\int_{\Omega}Z(\omega)d\mathbb{P}(\omega)=\mathbb{E}_{\mathbb{P}}[Z]. $$ Como ahora sabemos que $\mathbb{E}_{\mathbb{P}}[Z]=1$ podemos aplicar (Steve Shreve, Stochastic Calculus for Finance II - Continuous Models, p. 33, Teorema 1.6.1 ) para llegar a la conclusión de que para cualquier variable wandom $X$ que es un valor no negativo y $\mathcal{F}_T$ -medible que tenemos: $$ \mathbb{E}_{\widetilde{\mathbb{P}}}[X]=\mathbb{E}_{\mathbb{P}}[ZX]. $$ En particular, para $X=1$ esto nos lleva a: $$ \mathbb{E}_{\mathbb{P}}[Z]=1. $$ Definamos $L_t=\mathbb{E}_{\mathbb{P}}[Z|\mathcal{F}_t]$ . Claramente, $(L_t)_{t\geq 0}$ es un $(\mathbb{P}, \mathbb{F})$ -martingale porque para todos $s\leq t$ : $$ \mathbb{E}_{\mathbb{P}}[L_t|\mathcal{F}_s]=\mathbb{E}_{\mathbb{P}}[\mathbb{E}_{\mathbb{P}}[Z|\mathcal{F}_t]|\mathcal{F}_s]= \mathbb{E}_{\mathbb{P}}[L_t|\mathcal{F}_s]=L_s, $$ donde la primera igualdad proviene de la definición de $L_t$ la segunda desigualdad se debe a la ley de la torre, y la tercera igualdad se debe a la definición de $L_s$ . Tomando la expectativa en lo anterior obtenemos la propiedad de que $\mathbb{E}_{\mathbb{P}}[L_t]=1, (\forall)t\leq T$ . Si tomamos $\mathcal{F}_0=\{\emptyset, \Omega\}$ como es habitual, entonces $L_0$ es determinista y $L_0=1$ . Esto demuestra los puntos (2.) y (3.) de la proposición.
Podemos entonces utilizar (Steve Shreve, Stochastic Calculus for Finance II - Continuous Models, p. 211, Lema 5.2.1 ) para demostrar el punto (1.) de la proposición, a saber, que $$ \mathbb{E}_{\widetilde{\mathbb{P}}}[X]=\mathbb{E}_{\mathbb{P}}[L_tX],\text{ for all } \mathcal{F}_t\text{-measurable, non-negative, random variables }X,\text{ when }t\leq T. $$ En lo anterior, sustituyamos $1_A$ para $X$ y T para t. Esto demuestra inmediatamente el resto de la proposición. Nótese que a partir de esta respuesta , $L_t$ es $\mathbb{P}$ -a.s. no negativo.
También hay que tener en cuenta que podemos tomar $Z$ sea estrictamente positiva, ya que las dos medidas son equivalentes. Por lo tanto, también podemos tomar una versión de $L_t$ que es estrictamente positivo y esto no cambia nada. Consideraremos en lo que sigue que utilizamos tal $L_t$ . $$\Box $$
Hemos construido arriba el proceso de derivación Radom-Nikodym $(L_t)_{t\geq 0}$ que es un $(\mathbb{P}, \mathbb{F})$ -martingale. Porque $\mathbb{F}$ es generado por $(W_t)_{t\in[0;T]}$ podemos aplicar el teorema de la representación martingala $\Rightarrow (\exists) (\psi_t)_{t\geq 0}$ un $\mathbb{F}$ -proceso medible s.t.: $$ L_t=1+\int_0^t \psi_udW_u. $$ o, alternativamente, que: $$ dL_t=\psi_tdW_t, L_0=1. $$ Como el proceso de derivación de Radon-Nikodym es estrictamente positivo, utilizando el lema de Ito obtenemos: $$ d\log(L_t)=\frac{1}{L_t}dL_t-\frac{1}{2}\frac{1}{L^2_t}d\langle L \rangle_t=\frac{\psi_t}{L_t}dW_t-\frac{1}{2}\frac{\psi^2_t}{L^2_t}dt $$ Desde $L_t$ es estrictamente positivo, podemos simplificar un poco las cosas introduciendo $$ \Theta_t=-\frac{\psi_t}{L_t}. $$ Esto también es un $\mathbb{F}$ -proceso adaptado. Con esta notación, integrando el resultado de la aplicación del lema de Ito y exponenciando obtenemos: $$ L_t=e^{-\int_0^t\Theta_udu-\frac{1}{2}\int_0^t\Theta^2_u dWu}. $$
El resultado también se basa en la unicidad (hasta la indistinguibilidad) de la derivada de Radon-Nikodym (en el teorema R-N).
Así que sí, todos los cambios de medida deben ser de esta forma.
0 votos
Para aplicar el teorema de la representación de Martingale, la filtración tiene que ser la generada por el movimiento browniano (cf. Shreve).
0 votos
Ahora he reformulado la pregunta y he cambiado ligeramente la respuesta para aclarar que sólo me interesan los casos en los que $\mathbb{F}$ es generado por el movimiento browniano $W$