Brownian Quadratic Variation and the Milstein SDE Approximation
Summary
The document explains why the squared Brownian increment is represented by elapsed time in Itô calculus: Brownian motion has quadratic variation equal to time. This is a statement about accumulated squared increments in the limiting sense, rather than ordinary algebra applied to an infinitesimal quantity.
It then connects quadratic variation to the Milstein discretization for a one-dimensional stochastic differential equation. Expanding the state-dependent diffusion coefficient introduces a second-order stochastic integral; retaining this term yields a correction proportional to the diffusion coefficient, its derivative with respect to the state, and the squared standardized Brownian shock minus one. The answer thereby shows why the Milstein method includes a term absent from the basic Euler approximation. The exposition assumes sufficiently regular coefficients and a scalar Brownian driver. It gives a derivation but no convergence proof, implementation guidance, or treatment of multidimensional noise, where additional iterated stochastic integrals may be needed.
Key ideas
- Brownian motion has quadratic variation equal to elapsed time, which motivates the Itô identity for its squared differential.
- The Milstein method expands state-dependent coefficients to retain a second-order stochastic contribution.
- For scalar noise, the correction depends on the diffusion coefficient, its state derivative, and the squared shock minus one.
- The derivation is limited to a one-dimensional setting and does not cover multidimensional noise.
Tags
Full text
# Square of Wiener process
# Square of Wiener process
In Ito's calculus one often comes $dW^2=dt$. How does this come about? What is it's relation to the Milstein method?
## Answer by Gordon (score 4, accepted)
https://quant.stackexchange.com/a/26225
In general $dX^2$ is an ad-hoc or heuristic form of $d\langle X, X\rangle_t$, where $\langle X, X\rangle_t$ is the quadratic variation, which is defined by \begin{align*} \langle X, X\rangle_t = \lim_{\pi\rightarrow 0} \sum_{i=1}^n (X_{t_i}-X_{t_{i-1}})^2. \end{align*} Here, $0=t_0 < \cdots < t_n = t$, and $\pi = \max\{ t_i-t_{i-1}, i=1,\ldots, n\}$.
For a Brownian motion $\{W_t, t \ge 0\}$, it can be shown that $\langle W, W\rangle_t = t$. Therefore \begin{align*} dW^2 = d\langle W, W\rangle_t = dt. \end{align*}
## Answer by user16651 (score 2)
https://quant.stackexchange.com/a/26230
I don't think just knowing $dW_t\,dW_t=dt$ is enough.We assume $$d{{X}_{t}}=\mu (t,{{X}_{t}})dt+\sigma (t,{{X}_{t}})d{{W}_{t}}\,\,\,\,\,(1)$$ The idea behind the Milstein scheme is that the accuracy of the discretization can be increased by expanding the coefficients$\mu =\mu (t,{{X}_{t}})$ and $\sigma =\sigma (t,{{X}_{t}})$ via Ito’s lemma. This is sensible since the coefficients are also functions of $X_t$. Indeed, we can apply Ito’s Lemma to the functions $\mu_t$ and $\sigma_t$ as we would for any differentiable function of $X_t$. By Ito’s lemma, then, the coefficients follow the SDEs \begin{align} & d\mu =({{\mu }_{t}}+\mu {{\mu }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\mu }_{xx}})dt+{{\mu }_{x}}\sigma d{{W}_{t}} \\ & d\sigma =({{\sigma }_{t}}+\mu {{\sigma }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\sigma }_{xx}})dt+{{\sigma }_{x}}\sigma d{{W}_{t}} \\ \end{align} then \begin{align} & \mu (s,{{X}_{s}})=\mu (t,{{X}_{t}})+\int_{t}^{s}{({{\mu }_{u}}+\mu {{\mu }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\mu }_{xx}})du}+\int_{t}^{s}{{{\mu }_{x}}\sigma d{{W}_{u}}} \\ & \sigma (s,{{X}_{s}})=\sigma (t,{{X}_{t}})+\int_{t}^{s}{({{\sigma }_{u}}+\mu {{\sigma }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\sigma }_{xx}})du}+\int_{t}^{s}{{{\sigma }_{x}}\sigma d{{W}_{u}}} \\ \end{align} Substitute for $\mu_t$ and $\sigma_t$ inside the integrals of Equation (1), we have \begin{align} {{X}_{t+\Delta t}}={{X}_{t}}+\int_{t}^{t+\Delta t}{[\mu (t,{{X}_{t}})+\int_{t}^{s}{({{\mu }_{u}}+\mu {{\mu }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\mu }_{xx}})du}+\int_{t}^{s}{{{\mu }_{x}}\sigma d{{W}_{u}}}]}\,ds \\ +\int_{t}^{t+\Delta t}{[\sigma (t,{{X}_{t}})+\int_{t}^{s}{({{\sigma }_{u}}+\mu {{\sigma }_{x}}+\frac{1}{2}{{\sigma }^{2}}{{\sigma }_{xx}})du}+\int_{t}^{s}{{{\sigma }_{x}}\sigma d{{W}_{u}}}]\,d{{W}_{s}}} \\ \end{align} The differentials higher than order one are $dsdu=\mathcal O(dt^2)$ and $dsdW_u=\mathcal O(dt^{\frac{3}{2}})$ are ignored. The term involving $dW_u dW_s$ is retained since it is $\mathcal O(dt)$, of order one. This implies that $${{X}_{t+\Delta t}}={{X}_{t}}+\mu (t,{{X}_{t}})\Delta t+\sigma (t,{{X}_{t}})({{W}_{t+\Delta t}}-{{W}_{t}})+\int_{t}^{t+\Delta t}{\int_{t}^{s}{{{\sigma }_{x}}\sigma d{{W}_{u}}}}d{{W}_{s}}\,\,(2)$$ Apply Euler discretization to the last term in (2) to obtain \begin{align} & \int_{t}^{t+\Delta t}{\int_{t}^{s}{{{\sigma }_{x}}\sigma d{{W}_{u}}}}d{{W}_{s}}\approx {{\sigma }_{x}}\sigma \int_{t}^{t+\Delta t}{\int_{t}^{s}{d{{W}_{u}}}}d{{W}_{s}}={{\sigma }_{x}}\sigma \int_{t}^{t+\Delta t}{({{W}_{s}}-{{W}_{t}})}d{{W}_{s}} \\ & \quad \quad \quad \quad \quad \quad \quad \quad ={{\sigma }_{x}}\sigma \int_{t}^{t+\Delta t}{{{W}_{s}}\,}d{{W}_{s}}-{{\sigma }_{x}}\sigma ({{W}_{t+\Delta t}}{{W}_{t}}-{{W}_{t}}^{2}) \\ & \quad \quad \quad \quad \quad \quad \quad \quad =\frac{1}{2}{{\sigma }_{x}}\sigma (W_{t+\Delta t}^{2}-W_{t}^{2}-\Delta t)-{{\sigma }_{x}}\sigma ({{W}_{t+\Delta t}}{{W}_{t}}-{{W}_{t}}^{2}) \\ & \quad \quad \quad \quad \quad \quad \quad \quad =\frac{1}{2}{{\sigma }_{x}}\sigma [{{({{W}_{t+\Delta t}}-{{W}_{t}})}^{2}}-\Delta t]\,\,\,(3)\\ \end{align} we know ${{W}_{t+\Delta t}}-{{W}_{t}}\overset{d}{\mathop{=}}\,\sqrt{\Delta t}Z$, by substitute (3) in (2) we have $${{\widehat{X}}_{t+\Delta t}}={{\widehat{X}}_{t}}+\mu \,\Delta t+\sigma \sqrt{\Delta t}Z+\frac{1}{2}{{\sigma }_{x}}\sigma \Delta t\,({{Z}^{2}}-1)$$ as a result $$S_{t+\Delta t}=S_t+a(t,S_t)\Delta t+b(t,S_t)\sqrt{\Delta t}\,Z+\frac{1}{2}b(t,S_t)\frac{\partial b(t,S_t)}{\partial S}\Delta t(Z^2-1)$$Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)
This summary was written by Stratmill's research agent from the original; it is not a copy of the source.