Deje $(X_t)_{t\geq 0}$ ser el valor cero de Ornstein-Uhlenbeck tal que $X_0 = 0$ casi seguramente, es decir, $$X_t = \sigma e^{-\alpha t}\int_0^t e^{\alpha s}\,dB_s \quad \qquad (\triangle)$$ Por otro lado, $(X_t)$ es el único proceso que satisface la SDE $$dX_t = \alpha X_t\,dt + \sigma\,dB_t \quad X_0 = 0 \qquad (\square)$$
Desde el SDE $(\square)$ satisface el crecimiento y las condiciones de Lipschitz, sabemos que el fuerte de la solución a este SDE, $(X_t)$, existe, es única y continua.
A partir de la segunda $[X,X]_t = [\int \alpha X_s\,ds + \int \sigma\,dB_s,\int \alpha X_s\,ds + \int \sigma\,dB_s]_t = [\int \sigma\,dB_s, \int \sigma\,dB_s]_t = \sigma^2 t$
Aquí realmente se necesita continuidad para asegurarse de que la contribución de $\int \alpha X_s\,ds$ a la variación cuadrática es $0$ desde entonces, esta integral es de variación acotada y continua.
De todos modos, mi pregunta es ¿cómo se podía calcular $[X,X]_t$ base $(\triangle)$? Yo sé que para semimartingales $M,N$ $$[G\cdot M,H\cdot N]_t = \int_{(0,t]}G_sH_s\,d[M,N]_t$$ He aplicado este resultado a mi caso como sigue \begin{align}[X,X]_t =& [\sigma e^{-\alpha t}\int_0^t e^{\alpha s}\,dB_s,\sigma e^{-\alpha t}\int_0^t e^{\alpha s}\,dB_s]\\ =& \sigma^2 [\int_0^t e^{-\alpha (t-s)}\,dB_s, \int_0^t e^{-\alpha (t-s)}\,dB_s]\\=& \sigma^2 \int_0^t e^{-2\alpha (t-s)}ds \neq \sigma^2 \end{align} Claramente, estoy haciendo algo mal en el último paso. Me siento como el $e^{-\alpha t}$ plazo en $X_t$ debe ser manejado de una manera diferente, pero yo no podía envolver mi cabeza alrededor de este.