Dado
\begin{align*} dX_{t} &= \mu dt + \sigma X_{t}dB_{t}\\ \log(X_{t}) &={-\frac{1}{2}\int_{0}^{t} \sigma^{2}ds}+{\int_{0}^{t} \sigma dB_{s}} \end{align*}
Estoy tratando de establecer $\log(Y_{t}) := \frac{1}{2}\sigma^{2}t - \sigma B_{t}$ y mostrar que
si $Z_{t} = X_{t}Y_{t}$, entonces $dZ_{t} = \mu Y_{t} dt$.
Sin embargo, no tengo mucha confianza en cómo calcular $dY_{t}$.
Definí $f(x,y) = xy$ y escribí
$$df = \frac{\partial f}{\partial y}dy + \frac{\partial f}{\partial x}dx + \frac{\partial f}{\partial x}\frac{\partial f}{\partial y}dxdy = xdy + ydx + dxdy$$
así que bajo Ito,
$$dZ_{t} = X_{t}dY_{t} + Y_{t}dX_{t} + d{X_{t}}d{Y_{t}}.$$
El término $Y_{t}dX_{t}$ es directo:
$$Y_{t}dX_{t} = \mu Y_{t}dt + \sigma X_{t}Y_{t}dB_{t} = \mu Y_{t}dt + \sigma dB_{t}.$$
Sin embargo, no tengo idea de cómo abordar el cálculo de $dY_{t}$. He intentado escribir lo siguiente que no creo que sea correcto:
$$d\log(Y_{t}) = \frac{dY_{t}}{Y_{t}} = \frac{1}{2}\sigma^{2}dt -\sigma dB_{t}$$
por lo que
$$dY_{t} = \frac{1}{2}\sigma^{2}Y_{t}dt - \sigma Y_{t}dB_{t}.$$
Luego, sustituyendo todo esto:
$$X_{t}dY_{t} = \frac{\sigma^{2}}{2}X_{t}Y_{t}dt - \sigma X_{t}Y_{T}dB_{t} = \frac{\sigma^{2}}{2}dt - \sigma dB_{t}$$
y finalmente
$$dX_{t}dY_{t} = \left(\mu dt + \sigma X_{t}dB_{t}\right) \left(\frac{1}{2}\sigma^{2}Y_{t}dt - \sigma Y_{t}dB_{t}\right) = -\sigma^{2}X_{t}Y_{T}\langle B_{t},B_{t}\rangle = -\sigma^{2}dt$$
lo cual da
$$dZ_{t} = \frac{\sigma^{2}}{2}dt - \sigma dB_{t} + \mu Y_{t}dt + \sigma dB_{t} -\sigma^{2}dt = -\frac{\sigma^{2}}{2} + \mu Y_{t}dt.$$
Así que probablemente me equivoqué en un factor de $2$ en algún lugar y sospecho que está en el cálculo de $dY_{t}$, pero no estoy seguro. ¿Qué estoy haciendo mal?