Esa es una gran pregunta y es lo que siempre quise intentar hacer.
Creo que he encontrado una solución utilizando el enfoque PDE. El cambio de numerario sería más intuitivo de hecho, pero no soy muy bueno en el cálculo estocástico.
La idea es la siguiente:
1) Consideremos la cartera $\Pi = V(X,Y,t) - \Delta_X X - \Delta_Y Y$ . Voy a encontrar $\Delta_X$ y $\Delta_Y$ tal que la cartera $\Pi$ sería sin riesgo y obtendría una tasa de rendimiento sin riesgo $r$ : $d\Pi = r\Pi dt$ .
Supuesto : $dX = \mu_X X dt + \sigma_X X dW^X$ , $dY = \mu_Y Y dt + \sigma_Y Y dW^Y$ y $dW^X dW^Y = \rho dt$ .
Por lo tanto, aplicando el lema de Ito obtengo: $d\Pi = \frac{\partial V}{\partial t} dt + \frac{\partial V}{\partial X} dX + \frac{\partial V}{\partial Y} dY + \frac{1}{2} \sigma_X^2 X^2 \frac{\partial^2 V}{\partial X^2} dt+ \frac{1}{2} \sigma_Y^2 Y^2 \frac{\partial^2 V}{\partial Y^2} dt+ \rho \sigma_X\sigma_Y XY \frac{\partial^2 V}{\partial X\partial Y} dt - \Delta_X dX - \Delta_Y dY =$
$\left( \frac{\partial V}{\partial t} + \frac{1}{2} \sigma_X^2 X^2 \frac{\partial^2 V}{\partial X^2}+ \frac{1}{2} \sigma_Y^2 Y^2 \frac{\partial^2 V}{\partial Y^2} + \rho \sigma_X\sigma_Y XY \frac{\partial^2 V}{\partial X\partial Y} \right)dt + \left(\frac{\partial V}{\partial X} - \Delta_X \right) dX + \left(\frac{\partial V}{\partial Y} - \Delta_Y \right) dY$ .
Y todo esto es igual a $d\Pi = r\Pi dt = r\left(V - \Delta_X X - \Delta_Y Y\right)dt$
Ahora, pon $\frac{\partial V}{\partial Y} = \Delta_Y$ y $\frac{\partial V}{\partial X} = \Delta_X$ .
El lado izquierdo se convierte en $\left(\frac{\partial V}{\partial t} + \frac{1}{2} \sigma_X^2 X^2 \frac{\partial^2 V}{\partial X^2}+ \frac{1}{2} \sigma_Y^2 Y^2 \frac{\partial^2 V}{\partial Y^2} + \rho \sigma_X\sigma_Y XY \frac{\partial^2 V}{\partial X\partial Y}\right) dt$
El lado derecho es ahora $r\left(V - \frac{\partial V}{\partial X} X - \frac{\partial V}{\partial Y} Y\right)dt$
El PDE es ahora $\frac{\partial V}{\partial t} + \frac{1}{2} \sigma_X^2 X^2 \frac{\partial^2 V}{\partial X^2}+ \frac{1}{2} \sigma_Y^2 Y^2 \frac{\partial^2 V}{\partial Y^2} + \rho \sigma_X\sigma_Y XY \frac{\partial^2 V}{\partial X\partial Y} = r\left(V - \frac{\partial V}{\partial X} X - \frac{\partial V}{\partial Y} Y\right)$ o
$\frac{\partial V}{\partial t} + \frac{1}{2} \sigma_X^2 X^2 \frac{\partial^2 V}{\partial X^2}+ \frac{1}{2} \sigma_Y^2 Y^2 \frac{\partial^2 V}{\partial Y^2} + \rho \sigma_X\sigma_Y XY \frac{\partial^2 V}{\partial X\partial Y} + r\frac{\partial V}{\partial X} X + r \frac{\partial V}{\partial Y} Y = rV$
Se me olvidaba: la condición de contorno es $V(X, Y, T) = (X - Y)^+$
2) Ahora, para resolver esta loca EDP utilizaré la sustitución: $Z = \frac{X}{Y}$ y $V(X,Y,t) = G(Z, t)$ .
Gracias a Wolfram Alpha lo he hecho:
$\frac{\partial V}{\partial X} = \frac{1}{Y} \frac{\partial G}{\partial Z}$
$\frac{\partial V}{\partial Y} = -\frac{X}{Y} \frac{\partial G}{\partial Z}$
$\frac{\partial^2 V}{\partial X^2} = -\frac{1}{Y^2} \frac{\partial^2 G}{\partial Z^2}$
$\frac{\partial^2 V}{\partial Y^2} = \frac{X\left(2Y\frac{\partial G}{\partial Z}+X\frac{\partial^2 G}{\partial Z^2}\right)}{Y^4} $
$\frac{\partial^2 V}{\partial XY} = -\frac{Y\frac{\partial G}{\partial Z}+X\frac{\partial^2 G}{\partial Z^2}}{Y^3} $
Sustituyendo en la ecuación anterior y cancelando los términos obtenemos:
$\dot{G} + [\sigma_X^2-\rho \sigma_X \sigma_Y]ZG' + \frac{1}{2}[\sigma_X^2-2\rho \sigma_X \sigma_Y + \sigma_Y^2]Z^2G'' = rG$ o
$\dot{G} + \mu_GZG' + \frac{1}{2}\sigma_G^2 Z^2G'' = rG$ , donde
$\dot{G} = \frac{dG}{dt}$ , $G' = \frac{dG}{dZ}$
$\mu_G = \sigma_X^2-\rho \sigma_X \sigma_Y$ , $\sigma_G = \sqrt{\sigma_X^2-2\rho \sigma_X \sigma_Y + \sigma_Y^2}$
Y la condición de contorno es $G(Z,T) = Y(Z - 1)^+$
ACTUALIZACIÓN: LA VERSIÓN ANTERIOR NO ERA DEL TODO CORRECTA
3) Ahora la cuestión es qué hacer con eso $Y$ en la ecuación anterior? Empleo el siguiente cambio de variables: $G(Z) = YF(Z)$ .
Gracias al papel y al lápiz, lo he hecho:
$G' = (YF)' = Y\left(F' - \frac{F}{Z}\right)$ y $G'' = \left((YF)'\right)' = \text{after some calculations} = YF''$
Si se introduce esto en $Z$ de la PDE obtenemos:
$\dot{F} + \mu_G Z F' + \frac{1}{2} \sigma_G^2 Z^2 F'' = (r+ \mu_G)F$ con la condición de límite $F(Z,T) = (Z-1)^+$
Ahora denota $r^* = r+ \mu_G$ y la ecuación se convierte en: $\dot{F} + (r^* - r) Z F' + \frac{1}{2} \sigma_G^2 Z^2 F'' = r^* F$
4) Ahora $r^*$ funciona como la nueva tasa libre de riesgo y $r$ es como $Z$ y podemos aplicar la conocida fórmula de la opción sobre el activo con dividendos pagados continuamente:
$F(Z, T) = e^{-r^*T} N(d_1) Z_0 - e^{-rT} N(d_2) $ , donde $d_{1,2} = \frac{1}{\sigma_G\sqrt{T}}\left[\ln\left(Z_0\right)+\left(r^* - r \pm\frac{\sigma_G^2}{2}\right)T\right] =\frac{1}{\sigma_G\sqrt{T}}\left[\ln\left(Z_0\right)+\left(\mu_G \pm\frac{\sigma_G^2}{2}\right)T\right] $ .
5) Ahora $V = e^{-r^*T} N(d_1) X_0 - e^{-rT} N(d_2) Y_0$ , donde $d_{1,2} =\frac{1}{\sigma_G\sqrt{T}}\left[\ln\left(\frac{X_0}{Y_0}\right)+\left(\mu_G \pm\frac{\sigma_G^2}{2}\right)T\right] $ , donde
$r^* = r+ \mu_G$
$\mu_G = \sigma_X^2-\rho \sigma_X \sigma_Y$
$\sigma_G = \sqrt{\sigma_X^2-2\rho \sigma_X \sigma_Y + \sigma_Y^2}$
Espero haber acertado.
También espero que alguien pueda proponer alguna solución mejor, tal vez utilizando el enfoque de la martingala.