Wong-Zakai approximations and support theorems for SDEs under Lyapunov conditions

Abstract.    In this paper, we establish the Stroock-Varadhan type support theorems for stochastic differential equations (SDEs) under Lyapunov conditions, which significantly improve the existing results in the literature where the coefficients of the SDEs are required to be globally Lipschitz and of linear growth. Our conditions are very mild to include many important models, e.g. Threshold Ornstein-Ulenbeck process, Stochastic SIR model, Stochastic Lotka-Volterra systems, Stochastic Duffing-van der Pol oscillator model, which have polynomial the coefficients. To obtain the support theorem, we prove a new Wong-Zakai approximation problem, which is of independent interest.

Keywords. Wong-Zakai approximation; support theorem; local Lipschitz; Lyapunov condition.

1 Introduction

Let $W$ denote a $d$-dimentional standard Wiener process on a complete filtered probability space $(\Omega,\mathcal{F},(\mathcal{F}_{t})_{t\geq 0},\mathbb{P})$, where $(\mathcal{F}_{t})_{t\geq 0}$ is the normal filtration generated by $W$. Denote by $|\cdot|$, $\|\cdot\|$ and $\langle\cdot,\cdot\rangle$ the $\mathbb{R}^{m}$-norm, $\mathbb{R}^{m}\otimes\mathbb{R}^{d}$-norm and inner product of $\mathbb{R}^{m}$, respectively. Without loss of generality, we work on the finite time interval $[0,1]$. We denote by $\mathcal{C}([0,1];\mathbb{R}^{m})$ the space of continuous functions $f:[0,1]\rightarrow\mathbb{R}^{m}$ with the norm $|f|_{\infty}:=\sup\limits_{t\in[0,1]}|f_{t}|$. Let $\mathcal{H}$ denote the Cameron-Martin space, i.e., $\mathcal{H}:=\{h:\dot{h}\in L^{2}([0,1];\mathbb{R}^{d})\}$, where $\dot{h}$ denotes the derivative of $h$.

Consider the stochastic differential equation (SDE):

$$X_{t}=x+\int_{0}^{t}b(X_{s})ds+\int_{0}^{t}\sigma(X_{s})dW_{s},\quad x\in\mathbb{R}^{m},\quad t\in[0,1],$$ (1.1)

where $\sigma:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}\otimes\mathbb{R}^{d}$ and $b:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}$ are measurable functions. $b$, $\sigma$ and the derivative of $\sigma$, denoted by $\nabla\sigma$, are locally Lipschitz and satisfy some Lyapunov conditions; the precise assumptions on $b$ and $\sigma$ will be introduced in Section 3. In the sequel, we denote the solution of (1.1) by $X:=(X_{t},t\in[0,1])$.

The aim of this paper is to obtain the Stroock-Varadhan type support theorem for the SDE (1.1), that is, we characterize the support of $\mathbb{P}\circ X^{-1}$ as the closure of the set $\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R}^{m})$, denoted by $\overline{\mathcal{S}}$, where $S(h)$ is the solution of the following deterministic equation:

$$S(h)_{t}=x+\int_{0}^{t}[b(S(h)_{s})-\frac{1}{2}(\nabla\sigma)\sigma(S(h)_{s})]ds+\int_{0}^{t}\sigma(S(h)_{s})\dot{h}_{s}ds,\quad h\in\mathcal{H}.$$ (1.2)

The support theorem is important in connection with the investigation of the accessibility, irreducibility and ergodicity of the Markov process generated by the solutions of SDE (1.1).

The characterization of the topological support of the solutions was initially introduced by Stroock and Varadhan [21] for SDEs with bounded and globally Lipschitz coefficients. Gyöngy and Pröhle [10] later extended Stroock and Varadhan’s result to SDEs with globally Lipschitz coefficients. Ben Arous, Gradinaru, and Ledoux [1, 2] obtained the support theorems for SDEs in a $\alpha$-Hölder space, requiring the coefficients $b$ and $\sigma$ to satisfy more strict conditions. Similar results as that in [21] are found in [3]. We particularly want to mention the reference [17] in which A. Millet and M. Sanz-Solé proposed a simple, effective approach to obtain the support theorems for SDEs by proving Wong-Zakai type approximations for some associated SDEs.

In the work on support theorems so far, for technical reasons people always assume that the coefficients of the SDEs are globally Lipschitz and of linear growth. These restrictions exclude many important models, like Threshold Ornstein-Ulenbeck process, Stochastic SIR models, Stochastic Lotka-Volterra systems, Stochastic Duffing-van der Pol oscillator models, where the coefficients are of polynomial growth. The purpose of this paper is to extend the Stroock-Varadhan support theorem to SDEs under Lyapunov conditions. Our conditions are very mild to allow coefficients of the SDEs to be locally Lipschitz with polynomial growth. In particular, the results can be applied to the interesting models mentioned above.

To obtain our main results, we adopt the same approach as that in [17]. The crucial step is to prove a Wong-Zakai type approximation for SDEs with local Lipschitz coefficients satisfying certain Lyapunov conditions. The idea is to introduce some localization arguments in order to utilize the existing results in the case where the coefficients of the SDEs are bounded and globally Lipschitz. The Wong-Zakai approximation itself is of independent interest.

Before ending the introduction, let us briefly mention some relevant work on Wong-Zakai approximation of SDEs. Wong-Zakai approximation was introduced by Wong and Zakai in their pioneer work [23, 24] based on the idea that the noise in SDEs can be approximated by piecewise linear approximations of Brownian motion. Since then, there are a number of papers devoted to this topic. We mention the relevant work [8, 11, 13, 15, 16, 17, 18, 19, 20, 21] and references therein. However, in all these works, the coefficients of the SDEs to required to be globally Lipschitz and bounded.

We would like to point out that apart from the application of Wong-Zakai approximations to prove the Stroock-Varadhan support theorems, it can be employed to derive some numerical approximation schemes for SDEs, which find many applications in electrical engineering, energy engineering, and related fields, see [5, 9, 14].

The paper is organized as follows. In Section 2, we introduce the precise assumptions of $B,H,F$ and $G$ and prove the Wong-Zakai approximation results. In Section 3, we prove the support theorem for SDEs. Some new applications are presented in Section 4.

2 Wong-Zakai approxiamtions

In this section we will establish the Wong-Zakai approximations for SDEs with locally Lipschitz coefficients. Given a positive integer $n$, for $t\in[0,1],\frac{k}{2^{n}}\leq t<\frac{k+1}{2^{n}}$, set

$$\text{\uwave{t}}_{n}=\frac{k}{2^{n}},\quad\underline{t}_{n}=\frac{k-1}{2^{n}}\vee 0,$$ (2.1)

and define

$$W_{t}^{n}=W_{\uline{t}_{n}}+2^{n}(t-\text{\uwave{t}}_{n})\left[W_{\text{\uwave{t}}_{n}}-W_{\underline{t}_{n}}\right].$$ (2.2)

Let $B:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}$, $H,G$ and $F:\mathbb{R}^{m}\rightarrow\mathbb{R}^{m}\otimes\mathbb{R}^{d}$ be given measurable map**s.
Introduce the following conditions:

Assumption 2.1

Assume $B,H,F$ are continuous maps on $\mathbb{R}^{m}$ and $G$ is a $\mathcal{C}^{1}$-map on $\mathbb{R}^{m}$ satisfying:

$(i)$ $B$, $H,F$, $G$ and $\nabla G$ are locally Lipschitz.

$(ii)$ There exist a Lyapunov function $V\in\mathcal{C}^{2}(\mathbb{R}^{m};\mathbb{R}_{+})$ and $\theta>0,\eta>0$ such that

$$(a).\lim\limits_{|x|\rightarrow+\infty}V(x)=+\infty,$$

$$(b).J_{1}(x):=\ \langle B(x),\nabla V(x)\rangle$$

$$\hskip 45.00006pt+\frac{\theta}{2}Trace\{(H(x)^{\ast}\nabla^{2}V(x)H(x))+(G(x)^{\ast}\nabla^{2}V(x)G(x))+(F(x)^{\ast}\nabla^{2}V(x)F(x))\}$$

$$\hskip 45.00006pt+\frac{|(H(x)+G(x)+F(x))^{\ast}\nabla V(x)|^{2}}{\eta V(x)}$$

$$\hskip 40.00006pt\leq\ C(1+V(x)),$$

$$(c).Trace\{(H(x)^{\ast}\nabla^{2}V(x)H(x))+(G(x)^{\ast}\nabla^{2}V(x)G(x))+(F(x)^{\ast}\nabla^{2}V(x)F(x))\}\geq-M-CV(x).$$

   and

$$(d).J_{2}(x):=\ \langle B(x)+\nabla G(x)[F(x)+\frac{1}{2}G(x)],\nabla V(x)\rangle$$

$$\hskip 45.00006pt+\frac{\theta}{2}Trace\{(H(x)^{\ast}\nabla^{2}V(x)H(x))+((F(x)+G(x))^{\ast}\nabla^{2}V(x)(F(x)+G(x)))\}$$

$$\hskip 45.00006pt+\frac{|(H(x)+G(x)+F(x))^{\ast}\nabla V(x)|^{2}}{\eta V(x)}$$

$$\hskip 40.00006pt\leq\ C(1+V(x)),$$

$$(e).Trace\{(H(x)^{\ast}\nabla^{2}V(x)H(x))+((F(x)+G(x))^{\ast}\nabla^{2}V(x)(F(x)+G(x)))\}\geq-M-CV(x).$$

Here $\nabla V$, $\nabla^{2}V$ and $\nabla G$ stand for the gradient vector, Hessian matrix of the function $V$ and the derivative of the function $G$, respectively; $\cdot^{\ast}$ denotes the transpose of the matrix; $C$, $M>0$ are some fixed constants.

For $h\in\mathcal{H}$, consider SDEs:

$$Y_{t}^{n} =x+\int_{0}^{t}B(Y_{s}^{n})ds+\int_{0}^{t}H(Y_{S}^{n})\dot{h}_{s}ds+\int_{0}^{t}G(Y_{s}^{n})\dot{W}_{s}^{n}ds+\int_{0}^{t}F(Y_{s}^{n})dW_{s},$$ (2.3)

$$Z_{t} =\ x+\int_{0}^{t}B(Z_{s})ds+\int_{0}^{t}H(Z_{s})\dot{h}_{s}ds$$

$$\quad\ +\int_{0}^{t}\nabla G(Z_{s})[F(Z_{s})+\frac{1}{2}G(Z_{s})]ds+\int_{0}^{t}[F(Z_{s})+G(Z_{s})]dW_{s}.$$ (2.4)

It is known (see e.g. [22] Propositions 2.1 and 2.2) that under Assumption 2.1 the SDEs (2.3) and (2.4) admit unique solutions. The following result is the Wong-Zakai approximation.

Theorem 2.1

Let $Y^{n}$, $Z$ be solutions of SDEs (2.3) and (2.4), respectively. Suppose Assumption 2.1 is in place. Then, for $\delta>0$

$$\lim\limits_{n\rightarrow\infty}\mathbb{P}(|Y^{n}-Z|_{\infty}>\delta)=0.\\$$ (2.5)

Proof  Without loss of generality, we assume $\delta<1$. For $R\in\mathbb{N}$, set

$$\mathbb{B}_{R}=\{f:f\in\mathcal{C}([0,1];\mathbb{R}^{m}),|f|_{\infty}\leq R\}.\\$$

Since $Z\in\mathcal{C}([0,1];\mathbb{R}^{m})$ a.e., we have,

$$1=\mathbb{P}(Z(\omega)\in\bigcup\limits_{R\in\mathbb{N}}\mathbb{B}_{R})=\lim\limits_{R\rightarrow\infty}\mathbb{P}(Z(\omega)\in\mathbb{B}_{R}).\\$$ (2.6)

Let $\Omega_{R}:=\{\omega\in\Omega:Z(\omega)\in\mathbb{B}_{R}\}$. In view of (2.6), for any given $\epsilon>0$, we can choose $R\in\mathbb{N}$ sufficiently large so that

$$\mathbb{P}(\Omega_{R}^{c})=1-\mathbb{P}(\Omega_{R})<\frac{\epsilon}{2}.\\$$ (2.7)

Take a smooth truncation function $\theta_{R}:\mathbb{R}^{m}\rightarrow\mathbb{R}$ such that $\theta_{R}\in[0,1]$ and that

$$\theta_{R}=\left\{\begin{aligned} &1\quad\text{if }|x|\leq R+1,\\ &0\quad\text{if }|x|\geq 2(R+1).\\ \end{aligned}\right.$$ (2.8)

Set $B_{R}(x)=\theta_{R}(x)B(x),H_{R}(x)=\theta_{R}(x)H(x),G_{R}(x)=\theta_{R}(x)G(x),F_{R}(x)=$ $\theta_{R}(x)F(x)$.

It’s easy to see that

$(i)$ $B_{R},H_{R},G_{R},F_{R}$ and $\nabla G_{R}$ are globally Lipschitz and bounded.

$(ii)$ $B_{R},H_{R},G_{R},F_{R}$ and $\nabla G_{R}$ coincide with $B,H,G,F$ and $\nabla G$ on the closed ball $\overline{B}(0,R+1)\subset\mathbb{R}^{m}$.

For $R>0$, $h\in\mathcal{H}$, introduce the following SDEs:

$$Z_{t}^{R}= \ x+\int_{0}^{t}B_{R}(Z_{s}^{R})ds+\int_{0}^{t}H_{R}(Z_{s}^{R})\dot{h}_{s}ds$$ (2.9)

$$+\int_{0}^{t}\nabla G_{R}(Z_{s}^{R})[F(Z_{s})+\frac{1}{2}G_{R}(Z_{s}^{R})]ds+\int_{0}^{t}[F_{R}(Z_{s}^{R})+G_{R}(Z_{s}^{R})]dW_{s}.$$

$$Y_{t}^{n,R}= \ x+\int_{0}^{t}B_{R}(Y_{s}^{n,R})ds+\int_{0}^{t}H_{R}(Y_{S}^{n,R})\dot{h}_{s}ds+\int_{0}^{t}G_{R}(Y_{s}^{n,R})\dot{W}_{s}^{n}ds+\int_{0}^{t}F_{R}(Y_{s}^{n,R})dW_{s}.$$ (2.10)

Then, since $B_{R},H_{R},G_{R},F_{R}$ and $\nabla G_{R}$ are globally Lipschitz and bounded, according to Theorem 3.5 in [17], we have

$$\lim_{n\rightarrow\infty}\mathbb{P}(|Z^{R}-Y^{n,R}|_{\infty}>\delta)=0.$$ (2.11)

For $\omega\in\Omega_{R}$, we have

$$|Z(\omega,\cdot)|_{\infty}\leq R.\\$$

This indicates that on $\Omega_{R}$, $Z$ satisfies the same equation (2.9) as $Z^{R}$. The uniqueness of solutions to equation (2.9) implies that $Z^{R}(\omega,t)=Z(\omega,t)$ on $[0,1]$ for $\omega\in\Omega_{R}$.

For $R>0$, in view of (2.11), there exists $N_{\epsilon,R}\in\mathbb{N}$ such that for all $n\geq N_{\epsilon,R}$,

$$\mathbb{P}(|Z^{R}-Y^{n,R}|_{\infty}>\delta)<\frac{\epsilon}{2}.\\$$ (2.12)

For $n\geq N_{\epsilon,R}$, set

$$\Omega_{n,R}:=\{\omega\in\Omega:|Z^{R}(\omega,\cdot)-Y^{n,R}(\omega,\cdot)|_{\infty}>\delta\}.\\ \vspace{2em}$$ (2.13)

We claim that if $n\geq N_{\epsilon,R}$ and if $\omega\in(\Omega_{R}^{c}\cup\Omega_{n,R})^{c}=\Omega_{R}\cap\Omega_{n,R}^{c}$, then

$$Y^{n,R}(\omega,t)=Y^{n}(\omega,t)\quad\text{on }[0,1].$$ (2.14)

Indeed, for $\omega\in\Omega_{R}$, we have $|Z^{R}(\omega,\cdot)|_{\infty}=|Z(\omega,\cdot)|_{\infty}\leq R$. If $\omega\in\Omega_{n,R}^{c}$, we have $|Z^{R}(\omega,\cdot)-Y^{n,R}(\omega,\cdot)|_{\infty}\leq\delta<1$. Therefore, on the set $\Omega_{R}\cap\Omega_{n,R}^{c}$,

$$|Y^{n,R}(\omega,\cdot)|_{\infty}\leq|Z^{R}(\omega,\cdot)-Y^{n,R}(\omega,\cdot)|_{\infty}+|Z^{R}(\omega,\cdot)|_{\infty}\leq R+1.$$ (2.15)

For $R>0$, define the stop** times:

$$\tau^{R+1}=\text{inf}\{t,|Y^{n}_{t}|\geq R+1\},$$ (2.16)

$$\tilde{\tau}^{R+1}=\text{inf}\{t,|Y^{n,R}_{t}|\geq R+1\}.$$ (2.17)

Set $\tau=\tau^{R+1}\wedge\tilde{\tau}^{R+1}$. Then, $Y^{n}_{t\wedge\tau}$ and $Y^{n,R}_{t\wedge\tau}$ are solutions of the same equation (2.10). Hence by the uniqueness,

$$Y^{n}(\omega,t\wedge\tau)=Y^{n,R}(\omega,t\wedge\tau),\quad\text{on }[0,1].$$ (2.18)

This further implies that $\tau=\tau^{R+1}=\tilde{\tau}^{R+1}$. By (2.15), we see that

$$\Omega_{R}\cap\Omega_{n,\delta}^{c}\subset\{\tilde{\tau}^{R+1}>1\}=\{\tau>1\}=\{\tau^{R+1}>1\}.$$ (2.19)

Combing (2.18) with (2.19) yields that for $\omega\in(\Omega_{R}^{c}\cup\Omega_{n,\delta})^{c}=\Omega_{R}\cap\Omega_{n,\delta}^{c}$,

$$Y^{n,R}(\omega,t)=Y^{n}(\omega,t)\quad\text{on }[0,1].$$ (2.20)

Combining (2.14) and (2.13) together, we deduce that for $n\geq N_{\epsilon,R}$, $\omega\in(\Omega_{R}^{c}\cup\Omega_{n,\delta})^{c}=\Omega_{R}\cap\Omega_{n,\delta}^{c}$,.

$$|Y^{n}(\omega,\cdot)-Z(\omega,\cdot)|_{\infty}=|Y^{n,R}(\omega,\cdot)-Z^{R}(\omega,\cdot)|_{\infty}\leq\delta.$$ (2.21)

Consequently, by (2.7), (2.12),

$$\mathbb{P}(|Y^{n}-Z|_{\infty}>\delta) \leq\ \mathbb{P}(\Omega_{R}^{c}\cup\Omega_{n,\delta})$$

$$\leq\ \mathbb{P}(\Omega_{R}^{c})+\mathbb{P}(\Omega_{n,\delta})$$

$$\leq\ \frac{\epsilon}{2}+\frac{\epsilon}{2}=\ \epsilon.$$

Since $\epsilon$ is arbitrary, we conclude that

$$\lim_{n\rightarrow\infty}\mathbb{P}(|Y^{n}-Z|_{\infty}>\delta)=0$$

completing the proof.

3 Support theorems

Now we turn back to the stochastic differential equation (1.1) and present a support theorem for the solution. Regarding the coefficients $b$, $\sigma$, we introduce the following condition.

Assumption 3.1

Assume $b$ is a continuous map on $\mathbb{R}^{m}$ and $\sigma$ is a $\mathcal{C}^{1}$-map on $\mathbb{R}^{m}$ satisfying:

$(i)$ Both b, $\sigma$ and $\nabla\sigma$ are locally Lipschitz.

$(ii)$ There exist a Lyapunov function $V\in\mathcal{C}^{2}(\mathbb{R}^{m};\mathbb{R}_{+})$ and $\theta>0,\eta>0$ such that

$$\lim\limits_{|x|\rightarrow+\infty}V(x)=+\infty,$$

$$J_{1}(x):=\langle b(x),\nabla V(x)\rangle+\frac{\theta}{2}Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))+\frac{|\sigma^{\ast}(x)\nabla V(x)|^{2}}{\eta V(x)}\leq C(1+V(x)),\\$$

$$J_{2}(x):=\langle b(x)-\frac{1}{2}\nabla\sigma\sigma(x),\nabla V(x)\rangle+\frac{\theta}{2}Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))+\frac{|\sigma^{\ast}(x)\nabla V(x)|^{2}}{\eta V(x)}\leq C(1+V(x)),$$

and

$$Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))\geq-M-CV(x).$$

Here $\nabla V$, $\nabla^{2}V$ and $\nabla\sigma$ stand for the gradient vector, Hessian matrix of the function $V$ and the derivative of the function $\sigma$, respectively; $\sigma^{\ast}(x)$ denotes the transpose of $\sigma(x)$; $C$, $M>0$ are some fixed constants.

Remark 3.1

The assumption on $J_{2}(x)$ is proposed to ensure the existence of a unique solution to equation (1.2).

The Lyapunov conditions mentioned above are not actually used in our proof. Indeed, once the equation(1.1) possesses a unique solution and the truncated coefficients are globally Lipschitz and bounded, the Wong-Zakai and support results can be established in a similar way.

Recall the stochastic differential equation:

$$X_{t}=x+\int_{0}^{t}b(X_{s})ds+\int_{0}^{t}\sigma(X_{s})dWs,\quad t\in[0,1],$$ (3.1)

The existence and uniqueness of the solution $X$ under the Assumption 3.1 follows from [22].

The aim of this section is to characterize the support of $\mathbb{P}\circ X^{-1}$ as the closure $\mathcal{S}$ of the set $\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R}^{m})$.

First we recall the following Proposition from [17].

Proposition 3.1

Consider a measurable map $V:\Omega\rightarrow E$, where $(E,|\cdot|_{E})$ is a seperable Banach space.

$(\mathsf{1})$ let $\zeta_{1}:\mathcal{H}\rightarrow E$ be a measurable map, and let $H_{n}:\Omega\rightarrow\mathcal{H}$ be a sequence of random

variable such that for any $\epsilon>0$,

$$\lim\limits_{n\rightarrow\infty}\mathbb{P}(|V(\omega)-\zeta_{1}(H_{n}(\omega))|_{E}>\epsilon)=0.\\$$ (3.2)

Then

$$\text{support}(\mathbb{P}\circ V^{-1})\subset\overline{\zeta_{1}(\mathcal{H})}.$$ (3.3)

$(\mathsf{2})$ Let $\zeta_{2}:\mathcal{H}\rightarrow E$ be a map, and for fixed $h$ let $T_{n}^{h}:\Omega\rightarrow\Omega$ be a sequence of measurable

transformations such that $\mathbb{P}\circ(T_{n}^{h})^{-1}\ll\mathbb{P}$, and for any $\epsilon>0$,

$$\limsup\limits_{n\rightarrow\infty}\mathbb{P}(|V(T_{n}^{h}(\omega))-\zeta_{2}(h)|_{E}<\epsilon)>0.$$ (3.4)

Then support$(\mathbb{P}\circ V^{-1})\supset\overline{\zeta_{2}(\mathcal{H})}$.

The following result is the support theorem.

Theorem 3.1

Suppose Assumption 3.1 holds. Let $X$ and $S(h)$ be the solutions to equations $\left(\ref{3-1}\right)$ and $\left(\ref{appro2}\right)$. Then supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in the space $\mathcal{C}([0,1];\mathbb{R}^{m})$ and supp$(\mathbb{P}\circ X^{-1})$ denotes the support of the distribution $\mathbb{P}\circ X^{-1}$.

Proof  We will apply Proposition 3.1. To this end, we take $E=\mathcal{C}([0,1];\mathbb{R}^{m})$, $V=X$, $\zeta_{1}=\zeta_{2}=S(\cdot)$, $H_{n}(\omega)=\omega^{n}$ and $T_{n}^{h}(\omega)=\omega-\omega^{n}+h$, where $\omega^{n}$ is defined as (2.2). Then Girsanov’s theorem implies that $\mathbb{P}\circ(T_{n}^{h})^{-1}\ll\mathbb{P}$. Thus, according to Proposition 3.1, the equality supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$ will follow from the following approximation results, for every $\delta>0$:

$$\lim\limits_{n\rightarrow\infty}\mathbb{P}(|X(\omega)-S(\omega^{n})|_{\infty}>\delta)=0,$$ (3.5)

$$\lim\limits_{n\rightarrow\infty}\mathbb{P}(|X(\omega-\omega^{n}+h)-S(h)|_{\infty}>\delta)>0.$$ (3.6)

Where $S(\omega^{n})$ is the solution of equation

$$S(\omega^{n})_{t}=x+\int_{0}^{t}[b(S(\omega^{n})_{s})-\frac{1}{2}(\nabla\sigma)\sigma(S(\omega^{n})_{s})]ds+\int_{0}^{t}\sigma(S(\omega^{n})_{s})\dot{W}^{n}_{s}ds.\\$$ (3.7)

On the other hand, approximations of stochastic integrals by Riemann sums imply that $X^{n}(\omega):=X(\omega-\omega^{n}+h)$ is the solution of the following stochastic differential equation:

$$X^{n}_{t}=x+\int_{0}^{t}b(X_{s}^{n})ds+\int_{0}^{t}\sigma(X_{s}^{n})\dot{h}_{s}ds-\int_{0}^{t}\sigma(X_{s}^{n})\dot{W}_{s}^{n}ds+\int_{0}^{t}\sigma(X_{s}^{n})dW_{s}.$$ (3.8)

By a close examination, we find that both $X^{n}$ and $S(\omega^{n})$ are particular cases of solutions of the stochastic differential equation (2.3) in Section 2. Actually, setting $B=b-\frac{1}{2}(\nabla\sigma)\sigma,H=0,G=\sigma$ and $F=0$ in the equation (2.5) we obtain (3.5); while setting $B=b,H=\sigma,G=-\sigma$ and $F=\sigma$ gives (3.6). Therefore, (3.5) and (3.6) are the particular cases of the convergence stated in Theorem 2.1:

$$\lim\limits_{n\rightarrow\infty}\mathbb{P}(|Y^{n}-Z|_{\infty}>\delta)=0.$$ (3.9)

The proof is complete.

4 Examples

The assumption 3.1 is very mild to include many interesting models. In this section we provide some examples to which the main results apply.

Example 4.1 Consider the following one-dimensional SDE:

$$dx_{t}=-x^{3}_{t}dt+x^{2}_{t}dB_{t}.$$ (4.1)

In this case, $b(x)=-x^{3}$, $\sigma(x)=x^{2}$ and $\nabla\sigma(x)=2x$. If we take $\theta=1,\eta=4$ and $V(x)=x^{2}$, then

$$\lim\limits_{|x|\rightarrow+\infty}V(x)=+\infty,$$

$$J(x):=\langle b(x),\nabla V(x)\rangle+\frac{\theta}{2}Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))+\frac{|\sigma^{\ast}(x)\nabla V(x)|^{2}}{\eta V(x)}=0\leq 1+V(x),$$

$$\langle-\frac{1}{2}\nabla\sigma\sigma,\nabla V(x)\rangle\leq 0,$$

$$Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))=2x^{4}\geq-V(x).$$

This shows that Assumption 3.1 holds. We can now apply Theorem 3.1 to get the following result.

Proposition 4.1

Let $\mathcal{H}$ denote the Cameron-Martin space. For $h\in\mathcal{H}$, let $S(h)$ be the solution of the differential equation:

$$S(h)_{t}=x_{0}+\int_{0}^{t}-2S(h)_{s}^{3}ds+\int_{0}^{t}S(h)_{s}^{2}\dot{h}_{s}ds.\\$$ (4.2)

Then supp$(\mathbb{P}\circ x^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R})$.

The next three examples are taken from [22].
Example 4.2(Stochastic Duffing-van der Pol oscillator model) The Duffing-van der Pol oscillator equation unifies both the Duffing equation and the van der Pol equation describing a self-oscillating triode/diode circuit. The stochastic version of the model is given by the following SDE (see [7]).

$$\ddot{X}^{x,1}_{t} =\alpha_{2}\dot{X}^{x,1}_{t}-\alpha_{1}X^{x,1}_{t}-\alpha_{3}(X^{x,1}_{t})^{2}\dot{X}^{x,1}_{t}-(X^{x,1}_{t})^{3}+g(X^{x,1}_{t})\dot{W}_{t},$$

$$X^{x,1}_{0} =x_{1},\quad\dot{X}^{x,1}_{0}=x_{2},$$

where $\alpha_{1},\alpha_{2},\alpha_{3}\in(0,\infty).$ Here we assume $|g(x)|^{2}\leq\eta_{0}+\eta_{1}|x|^{4},\eta_{0},\eta_{1}>0$ and both $g(x)$ and $g^{\prime}(x)$ are locally Lipschitz. Setting $X^{x,2}_{t}:=\dot{X}^{x,1}_{t}$, then the above equation is equivalent to following system of SDEs:

$$dX^{x,1}_{t} =X^{x,2}_{t}dt,$$

$$dX^{x,2}_{t} =[\alpha_{2}X^{x,2}_{t}-\alpha_{1}X^{x,1}_{t}-\alpha_{3}(X^{x,1}_{t})^{2}X^{x,2}_{t}-(X^{x,1}_{t})^{3}]+g(X^{x,1}_{t})dW_{t},$$

$$X^{x,1}_{0} =x_{1},\quad X^{x,2}=x_{2}.$$

For $x=(x_{1},x_{2})\in\mathbb{R}^{2}$, set $b(x)=(x_{2},\alpha_{2}x_{2}-\alpha_{1}x_{1}-\alpha_{3}(x_{1})^{2}x_{2}-(x_{1})^{3})^{T}$ and $\sigma(x)=(0,g(x_{1}))^{T}$. Define $V(x)=\frac{(x_{1})^{4}}{2}+\alpha_{1}(x_{1})^{2}+(x_{2})^{2},\theta=\eta=1$. Then

$$\lim\limits_{|x|\rightarrow+\infty}V(x)=+\infty.\\$$

$$J(x): =\langle b(x),\nabla V(x)\rangle+\frac{1}{2}Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))+\frac{|\sigma^{\ast}(x)\nabla V(x)|^{2}}{V(x)}$$

$$=x_{2}(2(x_{1})^{3}+2\alpha_{1}x_{1})+2x_{2}(\alpha_{2}x_{2}-\alpha_{1}x_{1}-\alpha_{3}(x_{1})^{2}x_{2}-(x_{1})^{3})$$

$$\quad+|g(x_{1})|^{2}+\frac{4(x_{2})^{2}|g(x_{1})|^{2}}{\frac{(x_{1})^{4}}{2}+\alpha_{1}(x_{1})^{2}+(x_{2})^{2}}$$

$$=2\alpha_{2}(x_{2})^{2}-2\alpha_{3}(x_{1})^{2}(x_{2})^{2}+|g(x_{1})|^{2}+\frac{4(x_{2})^{2}|g(x_{1})|^{2}}{\frac{(x_{1})^{4}}{2}+\alpha_{1}(x_{1})^{2}+(x_{2})^{2}}$$

$$\leq\eta_{0}+2\alpha_{2}(x_{2})^{2}+\eta_{1}(x_{1})^{4}+\frac{4\eta_{0}(x_{2})^{2}+\eta_{1}(x_{1})^{4}(x_{2})^{2}}{\frac{(x_{1})^{4}}{2}+\alpha_{1}(x_{1})^{2}+(x_{2})^{2}}$$

$$\leq 5\eta_{0}+(8\eta_{1}+2\alpha_{2})(x_{2})^{2}+\eta_{1}(x_{1})^{4}$$

$$\leq(5\eta_{0}+10\eta_{1}+2\alpha_{2})(1+V(x)),$$

$$\langle-\frac{1}{2}\nabla \sigma\sigma,\nabla V(x)\rangle=0,$$

and

$$Trace(\sigma^{\ast}(x)\nabla^{2}V(x)\sigma(x))=2|g(x_{1})|^{2}\geq-V(x).\\$$

Hence Assumption 3.1 holds and we have the following result.

Proposition 4.2

Let $\mathcal{H}$ denote the Cameron-Martin space. For $h\in\mathcal{H}$, let $S(h)=(S(h)_{1},S(h)_{2})^{T}$ be the solution of the differential equation:

$$S(h)_{1,t} =x_{1}+\int_{0}^{t}S(h)_{2,s}ds.$$

$$S(h)_{1,t} =x_{2}+\int_{0}^{t}\alpha_{2}S(h)_{2,s}-\alpha_{1}S(h)_{1,s}-\alpha_{3}(s(h)_{1,s})^{2}S(h)_{2,s}-(S(h)_{1,s})^{3}ds+\int_{0}^{t}g(S(h)_{1,s})\dot{h}_{s}ds.$$

Then supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R}^{2})$.

Example 4.3(Stochastic Lotka-Volterra(LV) systems) The Lotka-Volterra systems play an important role in game theory, population dynamics etc.(see [12]). Here we consider the three-dimensional Stratonovich stochastic copetitive LV system:

$$dy_{1} =y_{1}(r-a_{11}y_{1}-a_{12}y_{2}-a_{13}y_{3})dt+\gamma y_{1}\circ dB_{t}.$$

$$dy_{2} =y_{2}(r-a_{21}y_{1}-a_{22}y_{2}-a_{23}y_{3})dt+\gamma y_{2}\circ dB_{t}.$$

$$dy_{3} =y_{3}(r-a_{31}y_{1}-a_{32}y_{2}-a_{33}y_{3})dt+\gamma y_{3}\circ dB_{t}.$$

where $\sigma,r>0,a_{ij}>0,i,j=1,2,3;\gamma$ is parameter and initial data$(y_{1}(0),y_{2}(0),y_{3}(0))\in(0,+\infty)^{3}$. According to [6] Thm 3.2, we know $y(t)=(y_{1}(t),y_{2}(t),y_{3}(t))\in(0,+\infty)^{3}$ for all $t>0$. And the above system is equivalent to the It$\hat{o}$ stochastic Lotka-Volterra system:

$$dy_{i}=y_{i}(r+\frac{\gamma^{2}}{2}-\sum_{j=1}^{3}a_{ij}y_{j})dt+\gamma y_{i}dB_{t},\quad i=1,2,3.\\$$

Set $b(y)=(y_{1}(r+\frac{\gamma^{2}}{2}-\sum_{j=1}^{3}a_{1j}y_{j}),y_{2}(r+\frac{\gamma^{2}}{2}-\sum_{j=1}^{3}a_{2j}y_{j}),y_{3}(r+\frac{\gamma^{2}}{2}-\sum_{j=1}^{3}a_{3j}y_{j}))^{T},\sigma(y)=(\gamma y_{1},\gamma y_{2},\gamma y_{3})^{T}$. Let $V(y)=|y|^{2}$. Then

$$\lim\limits_{|y|\rightarrow+\infty}V(y)=+\infty.$$

$$J(y):=\langle b(y),\nabla V(y)\rangle+\frac{\theta}{2}Trace(\sigma^{\ast}(y)\nabla^{2}V(y)\sigma(y))+\frac{|\sigma^{\ast}(y)\nabla V(y)|^{2}}{\eta V(y)}$$

$$\hskip 22.0pt=\sum_{i=1}^{3}2y_{i}^{2}(r+\frac{\gamma^{2}}{2}-\sum_{j=1}^{3}a_{ij}y_{j})+\theta\gamma^{2}V(y)+\frac{4\gamma^{2}}{\eta}V(y)$$

$$\hskip 22.0pt\leq 2V(y)(r+\frac{\gamma^{2}}{2})+\theta\gamma^{2}V(y)+\frac{4\gamma^{2}}{\eta}V(y)$$

$$\hskip 22.0pt\leq C(1+V(y)),$$

$$\langle-\frac{1}{2}\nabla\sigma\sigma,\nabla V(x)\rangle\leq 0,$$

$$Trace(\sigma^{\ast}(y)\nabla^{2}V(y)\sigma(y))=2\gamma^{2}V(y)\geq 0.$$

Hence, Assumption 3.1 holds. Apply Theorem 3.1 to get

Proposition 4.3

Let $\mathcal{H}$ denote the Cameron-Martin space. For $h\in\mathcal{H}$, let $S(h)=(s(h)_{1},S(h)_{2}),$
$S(h)_{3})^{T}$ be the solution of the differential equation:

$$S(h)_{1,t} =y_{1}(0)+\int_{0}^{t}S(h)_{1,s}(r-\sum_{j=1}^{3}a_{1j}S(h)_{j,s})ds+\int_{0}^{t}\gamma S(h)_{1,s}\dot{h}_{s}ds.$$

$$S(h)_{2,t} =y_{2}(0)+\int_{0}^{t}S(h)_{2,s}(r-\sum_{j=1}^{3}a_{2j}S(h)_{j,s})ds+\int_{0}^{t}\gamma S(h)_{2,s}\dot{h}_{s}ds.$$

$$S(h)_{3,t} =y_{2}(0)+\int_{0}^{t}S(h)_{3,s}(r-\sum_{j=1}^{3}a_{3j}S(h)_{j,s})ds+\int_{0}^{t}\gamma S(h)_{3,s}\dot{h}_{s}ds.$$

Then supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R}^{3})$.

Example 4.4(Stochastic SIR model) The SIR model from epidemiology for the total number of susceptible, infected and and revovered individuals has been introduced by Anderson and May [4]. Here we consider the following stochatic SIR model:

$$dX_{t}^{x,1} =(-\alpha X_{t}^{x,1}X_{t}^{x,2}-\kappa X_{t}^{x,1}+\kappa)dt-\beta X_{t}^{x,1}X_{t}^{x,2}dW_{t},$$

$$dX_{t}^{x,2} =(\alpha X_{t}^{x,1}X_{t}^{x,2}-(\gamma+\kappa)X_{t}^{x,2})dt+\beta X_{t}^{x,1}X_{t}^{x,2}dW_{t},$$

$$dX_{t}^{x,3} =(\gamma X_{t}^{x,2}-\kappa X_{t}^{x,3})dt,$$

$$X_{0}^{x,1} =x_{1},\quad X_{0}^{x,2}=x_{2},\quad X_{0}^{x,3}=x_{3},$$

where $\alpha,\beta,\gamma,\kappa\in(0,\infty)$ and $x=(x_{1},x_{2},x_{3})\in[0,\infty)^{3}$.

For $x=(x_{1},x_{2},x_{3})\in[0,\infty)^{3}$, set $b(x)=(-\alpha x_{1}x_{2}-\kappa x_{1}+\kappa,\alpha x_{1}x_{2}-(\gamma+\kappa)x_{2},\gamma x_{2}-\kappa x_{3})^{T}$ and $\sigma(x)=(-\beta x_{1}x_{2},\beta x_{1}x_{2},0)^{T}.$ It’s easy to see that $b$ and $\sigma$ are local Lipschitz continuous and satisfy the Assumption 3.1 with $V(x)=(x_{1}+x_{2}-1)^{2}$ for any positive $\theta$ and $\eta$. Then applying Thm 3.1, we have:

Proposition 4.4

Let $\mathcal{H}$ denote the Cameron-Martin space. For $h\in\mathcal{H}$, let $S(h)=(s(h)_{1},S(h)_{2},$
$S(h)_{3})^{T}$ be the solution of the differential equation:

$$S(h)_{1,t} =x_{1}+\int_{0}^{t}(-\alpha S(h)_{1,s}S(h)_{2,s}-\frac{\beta^{2}}{2}(S(h)_{1,s}S(h)_{2,s})(S(h)_{2,s}-S(h)_{1,s})-\kappa S(h)_{1,s}+\kappa)ds$$

$$\quad-\int_{0}^{t}\beta S(h)_{1,s}S(h)_{2,s}\dot{h}_{s}ds,$$

$$S(h)_{2,t} =x_{2}+\int_{0}^{t}(\alpha S(h)_{1,s}S(h)_{2,s}+\frac{\beta^{2}}{2}(S(h)_{1,s}S(h)_{2,s})(S(h)_{2,s}-S(h)_{1,s})-(\gamma+\kappa)S(h)_{2,s})ds$$

$$\quad+\int_{0}^{t}\beta S(h)_{1,s}S(h)_{2,s}\dot{h}_{s}ds,$$

$$S(h)_{3,t} =x_{3}+\int_{0}^{t}(\gamma S(h)_{2,s}-\kappa S(h)_{3,s})ds.$$

Then supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R}^{3})$.

Example 4.5(Threshold Ornstein-Ulenbeck processes)

$$dX_{t}=\sum_{i=1}^{n}(\beta_{i}-\alpha_{i}X_{t})I_{\{\theta_{i-1}\leq X_{t}<\theta_{i}\}}dt+\sigma dB_{t},\\$$ (4.3)

where $\beta_{1},\cdots,\beta_{n},\alpha_{1},\cdots,\alpha_{n},-\infty=\theta_{0}<\theta_{1}<\cdots<\theta_{n-1}<\theta_{n}=\infty$ are constants. Set $b(x)=\sum_{i=1}^{n}(\beta_{i}-\alpha_{i}x)I_{\{\theta_{i-1}\leq x<\theta_{i}\}}$ and $\sigma(x)=\sigma$. It’s clear that (4.3) satisfy the Assumption 3.1 with $V(x)=|x|^{2}.$ Then applying Thm 3.1, we have:

Proposition 4.5

Let $\mathcal{H}$ denote the Cameron-Martin space. For $h\in\mathcal{H}$, let $S(h)$ be the solution of the differential equation:

$$S(h)_{t} =X_{0}+\int_{0}^{t}\sum_{i=1}^{n}(\beta_{i}-\alpha_{i}S(h)_{s})I_{\{\theta_{i-1}\leq S(h)_{s}<\theta_{i}\}}ds+\int_{0}^{t}\sigma\dot{h}_{s}ds.$$

Then supp$(\mathbb{P}\circ X^{-1})=\overline{\mathcal{S}}$, where $\overline{\mathcal{S}}$ denotes the closure of $\mathcal{S}=\{S(h);h\in\mathcal{H}\}$ in $\mathcal{C}([0,1];\mathbb{R})$.

5 Acknowledgement

This work is partially supported by National Key R$\&$D program of China (No. 2022 YFA1006001)), National Natural Science Foundation of China (Nos. 12131019, 12371151, 11721101). Jianliang Zhai’s research is also supported by the School Start-up Fund(USTC) KY0010000036 and the Fundamental Research Funds for the Central Universities(No. WK3470000016).