Consider the two following real Stochastic Differential Equations (SDE) starting from the same initial condition: $$dx_t = f(x_t)dt + \sigma dB_t$$ $$dy_t = f(y_t)g_{\epsilon}(y_t)dt + \sigma dB_t$$

where $f$ and $g_{\epsilon}$ are such that there exists strong solutions to both SDEs (typically local Lipschitz assumptions on the coefficients).

We assume that $|1-g_{\epsilon}(y)|\leq \epsilon$ for all $y\in \mathbb{R}$.

I want to prove the following convergence: for all finite time $T>0$,

$$\lim_{\epsilon \to 0} \mathbb{E}\left[\sup_{0\leq t \leq T} |x_t-y_t|\right]=0$$

I would like to know how to prove it without a global Lipschitz assumption (think for instance that there may be some quadratic terms in $f$).

Can anyone explain me how to do it rigorously or point me to some article/book where it is already done ?

Thanks !

  • $\begingroup$ @ Unknown 161:Hi isn't there anything that can be said starting from the sde followed by $x_t-y_t$ (from Itô's formula)? Best regards. $\endgroup$
    – The Bridge
    Oct 23, 2012 at 20:54

1 Answer 1


As formulated, there are some difficulties for the local Lipschitz case. For quadratic $f(x)=x^2$, consider the corresponding ODE for $x$ (i.e. the SDE with $\sigma = 0$). Then there exists a locally unique solution, due to the local Lipschitz property. This solution has the exact expression $x(t) = x_0/(1- t x_0)$, as may be verified. We see that we have blow-up in finite time for $x_0 > 0$. In general, with only a local Lipschitz condition you need linear growth as extra condition to ensure existence for all $t$.

Let us work under the assumption $f$ globally Lipschitz and bounded, with Lipschitz constant and supremum norm equal to $K_1$ and $K_2$, respectively. Then $ |x_t- y_t| = \left|\int_0^t \{ f(x_s) - f(y_s)g_{\varepsilon}(y_s) \} \ d s \right| \leq \int_0^t \left\{|f(x_s) - f(y_s)| + |f(y_s)| |1 - g_{\varepsilon}(y_s)| \right\} \ d s \leq \int_0^t \left\{ K_1 |x_s - y_s| + \varepsilon K_2 \right\} \ d s$.

By the Gronwall inequality, $ |x_t - y_t| \leq \varepsilon t K_2 \exp(K_1 t)$.

If there is still interest in the local Lipschitz case (with linear growth condition) let me know.

  • $\begingroup$ Yes it is indeed required to assume existence and uniqueness. Notice that linear growth is sufficient but not necessaray. $\endgroup$
    – user16215
    Oct 14, 2013 at 17:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.