Theory and Modern Applications

# Stochastic differential equations with singular coefficients on the straight line

## Abstract

Consider the following stochastic differential equation (SDE):

$$X_{t}=x+ \int _{0}^{t}b(s,X_{s})\,ds+ \int _{0}^{t}\sigma (s,X_{s}) \,dB_{s}, \quad 0\leq t\leq T, x\in \mathbb{R},$$

where $$\{B_{s}\}_{0\leq s\leq T}$$ is a 1-dimensional standard Brownian motion on $$[0,T]$$. Suppose that $$q\in (1,\infty ]$$, $$p\in (1,\infty )$$, $$b=b_{1}+b_{2}$$, $$b_{1}\in L^{q}(0,T;L^{p}(\mathbb{R}))$$ such that $$1/p+2/q<1$$ and $$b_{2}$$ is bounded measurable, with $$\sigma \in L^{\infty }(0,T;{\mathcal{C}}_{u}(\mathbb{R}))$$ there being a real number $$\delta >0$$ such that $$\sigma ^{2}\geq \delta$$. Then there exists a weak solution to the above equation. Moreover, (i) if $$\sigma \in \mathcal{C}([0,T];\mathcal{C}_{u}(\mathbb{R}))$$, all weak solutions have the same probability law on 1-dimensional classical Wiener space on $$[0,T]$$ and there is a density associated with the above SDE; (ii) if $$b_{2}=0$$, $$p\in [2,\infty )$$ and $$\sigma \in L^{2}(0,T;{\mathcal{C}}_{b}^{1/2}({\mathbb{R}}))$$, the pathwise uniqueness holds.

## 1 Introduction and main results

Consider the following stochastic differential equation (SDE) in $$\mathbb{R}^{d}$$:

\begin{aligned} dX_{t}=b(t,X_{t})\,dt+\sigma (t,X_{t})\,dB_{t},\quad 0< t\leq T, X_{0}=x\in { \mathbb{R}}^{d}, \end{aligned}
(1.1)

where $$T>0$$ is a given real number, $$b: [0,T]\times \mathbb{R}^{d}\longrightarrow \mathbb{R}^{d}$$, $$\sigma : [0,T]\times \mathbb{R}^{d}\longrightarrow \mathbb{R}^{d \times k}$$ are Borel measurable functions and $$\{B_{t}\}_{0\leq t\leq T}$$ is a k-dimensional standard Brownian motion defined on a given stochastic basis ($$\Omega , {\mathcal{F}},\{{ \mathcal{F}}_{t}\}_{0\leq t\leq T},{\mathbb{P}}$$).

The fundamental theory for (1.1) is developed mainly by Itô and furnishes a very important tool to construct diffusion process. Under the Lipschitz and linear growing conditions, Itô showed the existence and uniqueness of strong solutions.

Later, the result was sharped by a series of authors on the case of bounded measurable coefficients. In , Skorokhod proved that (1.1) had a solution under the condition that b and σ are only continuous (also see ), and then the problem of the uniqueness of solutions becomes important. When b is bounded measurable, σ is bounded continuous and $$\sigma \sigma ^{\top }$$ is strictly elliptic, Strook–Varadhan [3, 4] showed the uniqueness in the probability laws. This uniqueness result is then strengthened by Veretennikov  for strong uniqueness if b is only bounded measurable but $$\sigma (t,\cdot )$$ is Lipschitz continuous uniformly in $$t\in [0,T]$$.

When the coefficients are not bounded but only integrable, the existence and uniqueness for solutions is more difficult. A breathtaking work in this direction has been established by Krylov–Röckner  for $$\sigma =I_{d\times d}$$ and

\begin{aligned} b\in L^{q}\bigl(0,T;L^{p}\bigl( \mathbb{R}^{d};\mathbb{R}^{d}\bigr)\bigr) \quad \text{with } p,q\in [2,\infty ) \text{ and } \frac{2}{q}+ \frac{d}{p}< 1. \end{aligned}
(1.2)

This result was then extended by Fedrizzi–Flandoli [7, 8]. Later, Zhang  generalized their results to the non-constant diffusion coefficients: $$\sigma (t,\cdot )$$ is uniformly continuous uniformly in $$t\in [0,T]$$, $$\sigma \sigma ^{\top }$$ is uniformly elliptic and $$|\nabla _{x} \sigma |\in L^{q}(0,T;L^{p}(\mathbb{R}^{d}))$$ with $$p,q\in (1,\infty )$$ and $$2/q+d/p<1$$. For more details in this direction, we refer to . For some extensions and applications, we refer to  and the references cited therein.

Since b is only integrable in , the non-degenerate assumption on $$\sigma \sigma ^{T}$$ is needed. When the diffusion coefficients are degenerate, we should assume b more regular. When $$d=1$$, b and σ are time independent, satisfying

\begin{aligned} \bigl\vert b(x)-b(y) \bigr\vert \leq \varrho \bigl( \vert x-y \vert \bigr),\qquad \int _{0+}\frac{1}{\varrho (s)}\,ds=\infty \end{aligned}
(1.3)

and

\begin{aligned} \bigl\vert \sigma (x)-\sigma (y) \bigr\vert ^{2}\leq \rho \bigl( \vert x-y \vert ^{2}\bigr),\qquad \int _{0+}\frac{1}{\rho (s)}\,ds=\infty , \end{aligned}
(1.4)

where ϱ is a positive increasing concave function, ρ is positive and increasing, Yamada–Watanabe  proved the pathwise uniqueness. Recently, Fang–Zhang  generalized this result to $$d\geq 1$$. By assuming that there is a small enough constant $$c_{0}$$ such that when $$|x-y|\leq c_{0}$$, $$\varrho (|x-y|)=|x-y|r(|x-y|)$$ and $$\rho (|x-y|)=|x-y|r(|x-y|)$$ ($$r\in {\mathcal{C}}^{1}({\mathbb{R}}_{+})$$), they derived the pathwise uniqueness.

Set the space $$L^{q}(0,T;L^{p}(\mathbb{R}^{d})), 2/q+d/p<1$$ by $${\mathbb{L}}$$. Then all above results for (1.1) can be summed by the scheme in Table 1. From the table, we will ask: if b is in class of $${\mathbb{L}}$$ and σ is non-degenerate, does there exist a unique weak/strong solution to (1.1) if σ is continuous or satisfies (1.4)?

To solve the above question, let us consider (1.1) on the straight line,

\begin{aligned} dX_{t}=b(t,X_{t})\,dt+\sigma (t,X_{t})\,dB_{t},\quad 0< t\leq T, X_{0}=x\in { \mathbb{R}}, \end{aligned}
(1.5)

where $$T>0$$ is a given real number, $$b: [0,T]\times \mathbb{R}\longrightarrow \mathbb{R}$$, $$\sigma : [0,T]\times \mathbb{R}\longrightarrow \mathbb{R}$$ are Borel measurable functions. We will give a positive answer for the above question, and initially we use $${\mathcal{C}}_{b}(\mathbb{R})$$ to denote the space consisted of functions which is bounded and continuous on $$\mathbb{R}$$, and use $${\mathcal{C}}_{u}(\mathbb{R})$$ to denote the space consisted of functions which is bounded and uniformly continuous on $$\mathbb{R}$$. Our first main result is presented now.

### Theorem 1.1

Assume that $$q\in (1,\infty ]$$ and $$p\in (1,\infty )$$. Let $$b=b_{1}+b_{2}$$ such that $$b_{1}\in L^{q}(0,T;L^{p}(\mathbb{R}))$$ with $$1/p+2/q<1$$ and $$b_{2}$$ is bounded measurable. Suppose $$\sigma \in L^{\infty }(0,T; \mathcal{C}_{u}(\mathbb{R}))$$ and there is a real number $$\delta >0$$ such that $$\sigma ^{2}\geq \delta$$.

(i) There is a filtered probability space $$(\tilde{\Omega },\tilde{\mathcal{F}},\{\tilde{\mathcal{F}}_{t}\}_{0 \leq t\leq T},\tilde{{\mathbb{P}}})$$, two processes $$\tilde{X}_{t}$$ and $$\tilde{B}_{t}$$ defined for $$t\in [0,T]$$ such that $$\{\tilde{B}_{t}\}_{0\leq t\leq T}$$ is a 1-dimensional $$\{\tilde{\mathcal{F}}_{t}\}$$-Brownian motion and $$\{\tilde{X}_{t}\}_{0\leq t\leq T}$$ is an $$\{\tilde{\mathcal{F}}_{t}\}$$-adapted, continuous, 1-dimensional process for which

\begin{aligned} \tilde{\mathbb{P}} \biggl( \int _{0}^{T} \bigl\vert b(t, \tilde{X}_{t}) \bigr\vert \,dt< \infty \biggr)=1, \end{aligned}
(1.6)

and almost surely, for all $$t\in [0,T]$$,

\begin{aligned} \tilde{X}_{t}=x+ \int _{0}^{t}b(s,\tilde{X}_{s})\,ds+ \int _{0}^{t} \sigma (s,\tilde{X}_{s})\,d \tilde{B}_{s}. \end{aligned}
(1.7)

(ii) If we suppose further that $$b_{2}=0$$, $$p\in [2,\infty )$$ and $$\sigma \in L^{2}(0,T;\mathcal{C}_{b}^{\alpha }(\mathbb{R}))$$ with $$\alpha \geq 1/2$$, then the pathwise uniqueness holds.

### Remark 1.1

(i) If σ is time independent, then $$\sigma \in \mathcal{C}_{b}^{\alpha }(\mathbb{R})$$ with $$\alpha \geq 1/2$$ implies (1.4). But if b is time independent, then $$b\in L^{p}(\mathbb{R})$$ with $$p\geq 2$$ does not imply (1.3). Therefore, we develop a new and different existence and uniqueness result to (1.5).

(ii) By using the Sobolev embedding theorem, if σ is bounded and $$\partial _{x}\sigma \in L^{q}(0,T;L^{p}(\mathbb{R}))$$, then $$\sigma \in L^{q}(0,T;\mathcal{C}_{b}^{1-1/p}(\mathbb{R})$$, thus if $$p\geq 2$$, it suggests that $$\sigma \in L^{2}(0,T;\mathcal{C}_{b}^{1/2}(\mathbb{R})$$. In this sense, we extend Zhang’s result () for $$d=1$$.

If σ is not Hölder continuous in spatial variable but only uniformly continuous, the uniqueness for weak solutions holds true as well if we suppose further that it is continuous in t. It is our second main result.

### Theorem 1.2

Let p, q and $$b_{1}$$ be described in Theorem 1.1. Suppose $$b_{2}$$ is bounded measurable and $$b=b_{1}+b_{2}$$. Suppose furthermore that $$\sigma \in \mathcal{C}([0,T];\mathcal{C}_{u}(\mathbb{R}))$$ and there is a real number $$\delta >0$$ such that $$\sigma ^{2}\geq \delta$$. Then all weak solutions of (1.5) possess the same probability law on 1-dimensional classical Wiener space $$(W([0,T]),\mathcal{B}(W([0,T])))$$. If one uses $${\mathbb{P}}_{x}$$ to denote the unique probability law on $$(W([0,T]),\mathcal{B}(W([0,T])))$$ corresponding to the initial value $$x\in \mathbb{R}$$. For every $$f\in L^{\infty }({\mathbb{R}})$$, we define

\begin{aligned} P_{t}f(x):={\mathbb{E}}^{{\mathbb{P}}_{x}}f\bigl(w(t) \bigr), \quad 0< t\leq T, \end{aligned}
(1.8)

where $$w(t)$$ is the canonical realization of a weak solution $$\{X_{t}\}_{0\leq t\leq T}$$ on Wiener space $$(W([0,T]),\mathcal{B}(W([0,T])))$$. Then $$\{P_{t}\}_{0\leq t\leq T}$$ has the strong Feller property, i.e. each $$P_{t}$$ maps a bounded measurable function to a bounded continuous function for every $$t>0$$. Moreover, $$P_{t}$$ admits a density $$p(t,x,y)$$ for almost all $$t\in [0,T]$$. Besides, for every $$s>0$$ and every $$r\in [1,\infty )$$,

\begin{aligned} \int _{s}^{T} \int _{{\mathbb{R}}} \bigl\vert p(t,x,y) \bigr\vert ^{r} \,dy \,dt< \infty . \end{aligned}
(1.9)

### Remark 1.2

(i) For $$d\geq 1$$, Strook–Varadhan [3, 4] have established a general theory for weak solutions to (1.1) by assuming that $$\sigma \sigma ^{T}$$ is uniformly positive definite, bounded and continuous and b is bounded and Borel measurable. However, Strook–Varadhan’s result does not cover Theorem 1.2, since we only suppose $$b\in L^{q}(0,T;L^{p}(\mathbb{R}))+L^{\infty }([0,T]\times \mathbb{R})$$.

(ii) Thanks to [21, Lemma p. 75], the uniqueness in probability law implies the pathwise uniqueness for $$d=1$$, therefore we obtain the existence and uniqueness for strong solutions.

## 2 Proof of Theorem 1.1

Initially, we state two useful lemmas.

### Lemma 2.1

([6, Theorems 10.2, 10.3] and [8, Lemma 3.4])

Suppose that $$p,q\in (1,\infty )$$ with $$1/p+2/q<1$$, $$b\in L^{q}(0,T;L^{p}(\mathbb{R}))$$, $$a\in L^{\infty }(0,T;\mathcal{C}_{u}(\mathbb{R}))$$ and there is a real number $$\delta >0$$ such that $$a\geq \delta$$. Let $$\lambda >0$$ and consider the following Cauchy problem:

\begin{aligned} \textstyle\begin{cases} \partial _{t}u(t,x)+\frac{1}{2}a(t,x)\partial ^{2}_{x} u(t,x)+b(t,x) \partial _{x} u(t,x) \\ \quad =\lambda u(t,x)-b(t,x), \quad (t,x)\in (0,T)\times { \mathbb{R}}, \\ u(T,x)=0, \quad x\in {\mathbb{R}}. \end{cases}\displaystyle \end{aligned}
(2.1)

(i) There is a unique solution in $$L^{q}(0,T;W^{2,p}(\mathbb{R}))\cap W^{1,q}(0,T;L^{p}(\mathbb{R}))$$.

(ii) For this solution, we also have $$u\in \mathcal{C}([0,T];\mathcal{C}^{1}_{b}(\mathbb{R}))$$ and as $$\lambda \rightarrow \infty$$,

\begin{aligned} \sup_{(t,x)\in [0,T]\times \mathbb{R}} \bigl\vert \partial _{x}u(t,x) \bigr\vert \rightarrow 0. \end{aligned}
(2.2)

### Remark 2.1

We call $$u(t,x)$$ a solution to the Cauchy problem (2.1) if it lies in $$L^{q}(0,T; W^{2,1}_{loc}(\mathbb{R}))\cap W^{1,q}(0,T; L^{1}_{loc}( \mathbb{R}))$$ such that for every test function $$\varphi \in \mathcal{C}_{0}^{\infty }((0,T]\times {\mathbb{R}})$$, the identity

\begin{aligned} & \int _{0}^{T} \int _{{\mathbb{R}}}u(t,x)\partial _{t}\varphi (t,x)\,dx \,dt- \frac{1}{2} \int _{0}^{T} \int _{{\mathbb{R}}}a(t,x)\partial ^{2}_{x}u(t,x) \varphi (t,x)\,dx \,dt \\ &\quad = \int _{0}^{T} \int _{{\mathbb{R}}}b(t,x) \partial _{x}u(t,x) \varphi (t,x) \,dx \,dt+ \int _{0}^{T} \int _{{\mathbb{R}}}\bigl[b(t,x)-\lambda u(t,x)\bigr] \varphi (t,x)\,dx \,dt \end{aligned}

holds.

Let $$\tilde{B}_{t}$$ be a 1-dimensional standard Brownian motion, $$\sigma \in L^{\infty }(0,T;\mathcal{C}_{u}(\mathbb{R}))$$ and $$\sigma ^{2}(t,x)>\delta >0$$, $$b\in L^{1}(0,T;L^{1}_{loc}({\mathbb{R}}))$$, we define $$\mathcal{S}_{b,\sigma }$$ a class of $$\mathcal{F}_{t}$$-adapted continuous stochastic process $$\tilde{X}_{t}$$ on $$[0,T]$$ satisfying (1.6) and (1.7).

### Lemma 2.2

([9, Theorem 2.2])

Suppose $$\tilde{X}_{\cdot }\in \mathcal{S}_{b,\sigma }$$. Let $$p,q\in (1,\infty )$$ such that $$1/p+2/q<1$$ and $$b,f \in L^{q}(0,T;L^{p}(\mathbb{R}))$$. Then there is a constant $$C>0$$, which depends on p, q, T, b and σ, such that

\begin{aligned} \mathbb{E} \int _{0}^{T}f(t,\tilde{X}_{t})\,dt\leq C \Vert f \Vert _{L^{q}(0,T;L^{p}( \mathbb{R}))}. \end{aligned}
(2.3)

We are now in a position to give the proof details of Theorem 1.1.

(i) When b is bounded measurable, the existence of weak solutions can be found in [22, Theorem 1, p. 87]. According to (2.3), when $$b=b_{1}+b_{2}$$, $$b_{1}\in L^{q}(0,T;L^{p}(\mathbb{R}))$$ such that $$1/p+2/q<1$$ and $$b_{2}$$ is bounded measurable, we can follow the proof calculations of [22, Theorem 1, p. 87] (or see [23, Theorem 4.1]) step by step, so we completed the proof.

(ii) We show the pathwise uniqueness by using Itô-Tanaka’s trick (see ). Let $$\sigma (t,x)$$ be given in (1.5) and set $$a(t,x)=\sigma ^{2}(t,x)$$. Consider the Cauchy problem (2.1), by using Lemma 2.1, there is a unique $$u\in L^{q}(0,T;W^{2,p}(\mathbb{R}))\cap W^{1,q}(0,T;L^{p}(\mathbb{R}))$$ solving the Cauchy problem (2.1). Moreover, with the help of $$1/p+2/q<1$$, $$u\in \mathcal{C}([0,T];\mathcal{C}^{1}_{b}(\mathbb{R}))$$ and (2.2) is true. Therefore, if λ is sufficiently large, then $$\|\partial _{x}u\|_{{\mathcal{C}}([0,T];{\mathcal{C}}_{b}^{0}({ \mathbb{R}}))}<1/2$$. For this fixed λ, we define $$\Phi (t,x)=x+u(t,x)$$, then Φ forms a non-singular diffeomorphism of class $${\mathcal{C}}^{1}$$ uniformly in $$t\in [0,T]$$ and

\begin{aligned} \frac{1}{2}< \Vert \partial _{x}\Phi \Vert _{\mathcal{C}([0,T];\mathcal{C}_{b}({ \mathbb{R}}^{d}))}< \frac{3}{2}, \qquad \frac{2}{3}< \Vert \partial _{x}\Psi \Vert _{ \mathcal{C}([0,T];\mathcal{C}_{b}({\mathbb{R}}^{d}))}< 2, \end{aligned}
(2.4)

where $$\Psi (t,x)=\Phi ^{-1}(t,x)$$.

Let $$(X_{t},B_{t})_{0\leq t\leq T}$$ be a weak solution of (1.5). By using Itô’s formula (see [6, Theorem 3.7]), we have

\begin{aligned} d\Phi (t,X_{t}) =&\partial _{t} u(t,X_{t}) \,dt+b(t,X_{t})\partial _{x} u(t,X_{t})\,dt+ \frac{1}{2}a(t,x)\partial ^{2}_{x} u(t,X_{t})\,dt \\ &{}+\partial _{x} u(t,X_{t})\sigma (t,X_{t}) \,dB_{t}+b(t,X_{t})\,dt+ \sigma (t,X_{t}) \,dB_{t} \\ =&\bigl(\partial _{x}u(t,X_{t})+1\bigr)\sigma (t,X_{t})\,dB_{t}+\lambda u(t,X_{t})\,dt. \end{aligned}

Denote $$Y_{t}=\Phi (t,X_{t})=X_{t}+u(t,X_{t})$$, then

\begin{aligned} dY_{t} =&\lambda u\bigl(t,\Psi (t,Y_{t}) \bigr)\,dt+(1+\partial _{x}u\bigl(t,\Psi (t,Y_{t})\bigr) \sigma \bigl(t,\Psi (t,Y_{t})\bigr)\,dB_{t} \\ =:& \tilde{b}(t,Y_{t})+\tilde{\sigma }(t,Y_{t}) \,dB_{t}, \end{aligned}
(2.5)

with $$Y_{0}=y=\Phi (0,x)$$. To prove the pathwise uniqueness for (1.5), it is sufficient to show the pathwise uniqueness for (2.5) and vice versa. Now, we show this fact and by a scaling transformation, we only need to concentrate our attention on $$T=1$$.

For any given $$0<\varepsilon <1$$, let us introduce for $$s\geq 0$$ an approximating function

\begin{aligned} \varphi _{\varepsilon }(s)= \textstyle\begin{cases} s \log \frac{s}{4\varepsilon } +\frac{3\varepsilon }{2}, & s\in [2 \varepsilon ,\infty ), \\ \frac{s^{2}}{2\varepsilon }-s\log \frac{s}{\varepsilon }- \frac{\varepsilon }{2}& s\in [\varepsilon ,2\varepsilon ), \\ 0 , & s \in [0,\varepsilon ). \end{cases}\displaystyle \end{aligned}

It follows that $$\varphi _{\varepsilon }(s)$$ is nonnegative and twice continuously differentiable, with

\begin{aligned} \varphi _{\varepsilon }^{\prime }(s)= \textstyle\begin{cases} \log \frac{s}{4\varepsilon } +1, & s\in [2\varepsilon ,\infty ), \\ \frac{s}{\varepsilon }-\log \frac{s}{\varepsilon }-1 & s\in [ \varepsilon ,2\varepsilon ), \\ 0 , & s \in [0 ,\varepsilon ), \end{cases}\displaystyle \end{aligned}

and

\begin{aligned} \varphi _{\varepsilon }^{\prime \prime }(s)= \textstyle\begin{cases} \frac{1}{s}, & s\in [2\varepsilon ,\infty ), \\ \frac{1}{\varepsilon }-\frac{1}{s} & s\in [\varepsilon ,2 \varepsilon ), \\ 0 , & s \in [0 ,\varepsilon ). \end{cases}\displaystyle \end{aligned}

Moreover, $$\varphi _{\varepsilon }^{\prime }$$, $$\varphi _{\varepsilon }^{\prime \prime }$$ are nonnegative, and

\begin{aligned} \varphi _{\varepsilon }^{\prime }(s)s\leq 2\varphi _{\varepsilon }(s)+s, \qquad \varphi _{\varepsilon }^{\prime \prime }(s)s\leq 1. \end{aligned}
(2.6)

Then we extend $$\varphi _{\varepsilon }(s)$$ on $$(-\infty ,\infty )$$ symmetrically, so $$\varphi _{\varepsilon }(s)=\varphi _{\varepsilon }(|s|)$$.

Let $$(Y_{t},B_{t})_{0\leq t\leq T}$$ and $$(\tilde{Y}_{t},\tilde{B}_{t})_{0\leq t\leq T}$$ be two weak solutions of (2.5) on the same probability space ($$\Omega , {\mathcal{F}},\{{ \mathcal{F}}_{t}\}_{0\leq t\leq 1},{\mathbb{P}}$$) with the common initial data such that $$B_{t}\equiv \tilde{B}_{t}$$. For any positive real number $$\zeta >0$$, denoting by the stopping time

\begin{aligned} \tau _{\zeta }= \textstyle\begin{cases} \inf \{0< t< 1; \vert Y_{t}-\tilde{Y}_{t} \vert >\zeta \}, \\ 1, \quad \text{if } \vert Y_{t}-\tilde{Y}_{t} \vert \leq \zeta \text{ for all } t\in (0,1). \end{cases}\displaystyle \end{aligned}
(2.7)

Using Itô’s rule to $$\varphi _{\varepsilon }$$, for every $$t\in (0,1)$$, it yields

\begin{aligned} &\mathbb{E}\varphi _{\varepsilon }(Y_{t\wedge \tau _{\zeta }}-\tilde{Y}_{t \wedge \tau _{\zeta }}) \\ &\quad =\mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\varphi _{\varepsilon }^{\prime }(Y_{s}- \tilde{Y}_{s}) \bigl[\tilde{b}(s,Y_{s})-\tilde{b}(s, \tilde{Y}_{s})\bigr]\,ds \\ &\qquad {}+\frac{1}{2} \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\varphi _{\varepsilon }^{\prime \prime }(Y_{s}- \tilde{Y}_{s})\bigl[\tilde{\sigma }(s,Y_{s})- \tilde{\sigma }(s,\tilde{Y}_{s})\bigr]^{2}\,ds. \end{aligned}

By Lemma 2.1, $$u\in \mathcal{C}([0,1];\mathcal{C}_{b}^{1}(\mathbb{R}))$$ and $$\partial _{x}u\in L^{q}(0,1;W^{1,p}(\mathbb{R}))\subset L^{q}(0,1; \mathcal{C}^{1/2}_{b}(\mathbb{R}))$$ (since $$p\geq 2$$). Combining the fact (2.4) and $$\sigma \in L^{2}(0,1;\mathcal{C}_{b}^{1/2}(\mathbb{R}))\cap L^{\infty }(0,1;\mathcal{C}_{u}(\mathbb{R}))$$, we conclude that $$\tilde{b}\in \mathcal{C}([0,1];\mathcal{C}_{b}^{1}(\mathbb{R}))$$, $$\tilde{\sigma }\in L^{2}(0,T;\mathcal{C}^{1/2}_{b}(\mathbb{R}))$$. Therefore,

\begin{aligned} &\mathbb{E}\varphi _{\varepsilon }(Y_{t\wedge \tau _{\zeta }}-\tilde{Y}_{t \wedge \tau _{\zeta }}) \\ &\quad \leq C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }} \bigl\vert \varphi _{\varepsilon }^{\prime }(Y_{s}-\tilde{Y}_{s}) \bigr\vert \vert Y_{s}-\tilde{Y}_{s} \vert \,ds \\ &\qquad {}+C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\kappa (s)\varphi _{\varepsilon }^{\prime \prime }(Y_{s}- \tilde{Y}_{s}) \vert Y_{s}- \tilde{Y}_{s} \vert \,ds, \end{aligned}
(2.8)

where $$\kappa \in L^{1}(0,1)$$.

In view of (2.6) and (2.7), from (2.8)

\begin{aligned} &\mathbb{E}\varphi _{\varepsilon }(Y_{t\wedge \tau _{\zeta }}-\tilde{Y}_{t \wedge \tau _{\zeta }}) \\ &\quad \leq C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\varphi _{\varepsilon }(Y_{s}- \tilde{Y}_{s})\,ds + C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }} \vert Y_{s}- \tilde{Y}_{s} \vert \,ds+C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\kappa (s)\,ds \\ &\quad \leq C \mathbb{E} \int _{0}^{t\wedge \tau _{\zeta }}\varphi _{\varepsilon }(Y_{s}- \tilde{Y}_{s})\,ds +C \biggl[\mathbb{E} \int _{0}^{t} \vert Y_{s}- \tilde{Y}_{s} \vert \,ds+1 \biggr]. \end{aligned}
(2.9)

On the other hand, $$Y_{s}$$ and $$\tilde{Y}_{s}$$ are weak solutions of (2.5), and $$\tilde{b}\in \mathcal{C}([0,1];\mathcal{C}_{b}^{1}(\mathbb{R}))$$, $$\tilde{\sigma }\in L^{2}(0,1;\mathcal{C}^{1/2}_{b}(\mathbb{R}))$$, it can be checked that the last integral in the right hand side of (2.9) is finite uniformly in t on $$[0,1]$$. Combining Doob’s optimal stopping time theorem and a Grönwall type argument, one ends with

\begin{aligned} \mathbb{E}\varphi _{\varepsilon }(Y_{t\wedge \tau _{\zeta }}- \tilde{Y}_{t \wedge \tau _{\zeta }})\leq C. \end{aligned}
(2.10)

Thanks to Chebyshev’s inequality, then

\begin{aligned} {\mathbb{P}}(\tau _{\zeta }\leq t)\varphi _{\varepsilon }(\zeta ) \leq \mathbb{E}\varphi _{\varepsilon }(Y_{t\wedge \tau _{\zeta }}-\tilde{Y}_{t \wedge \tau _{\zeta }})\leq C. \end{aligned}

Now, we keep $$\zeta >0$$ and $$t>0$$ fixed,

\begin{aligned} \varphi _{\varepsilon }(\zeta ) \rightarrow +\infty , \quad \text{if } \varepsilon \rightarrow 0, \end{aligned}

so $${\mathbb{P}}(\tau _{\zeta }\leq t)=0$$ for all $$t\in (0,1)$$, which implies $${\mathbb{P}}(\tau _{\zeta }<1)=0$$. By letting ζ tend to zero, we obtain $${\mathbb{P}}(\tau _{0}<1)=0$$, i.e. the pathwise uniqueness holds true.

## 3 Proof of Theorem 1.2

Let $$(X_{t},B_{t})_{0\leq t\leq T}$$ be a weak solution of (1.5) on a probability space $$(\Omega ,\mathcal{F},{\mathbb{P}})$$ with a reference family $$\{\mathcal{F}_{t}\}_{0\leq t\leq T}$$, and let $$(\tilde{X}_{t},\tilde{B}_{t})_{0\leq t\leq T}$$ be another weak solution of (1.5) on a probability space $$(\tilde{\Omega },\tilde{\mathcal{F}},\tilde{{\mathbb{P}}})$$ with a reference family $$\{\tilde{\mathcal{F}}_{t}\}_{0\leq t\leq T}$$. We denote the probability laws of $$\{X_{t}\}_{0\leq t\leq T}$$ and $$\{\tilde{X}_{t}\}_{0\leq t\leq T}$$ on 1-dimensional classical Wiener space $$(W([0,T]),\mathcal{B}(W([0,T])))$$ by $${\mathbb{P}}_{x}={\mathbb{P}}\circ X^{-1}$$ and $$\tilde{{\mathbb{P}}}_{x}={\mathbb{P}}\circ \tilde{X}^{-1}$$, respectively.

### Lemma 3.1

([2, Corollary, p. 206])

$${\mathbb{P}}_{x}=\tilde{{\mathbb{P}}}_{x}$$ is equivalent to

\begin{aligned} \int _{W([0,T])}f\bigl(w(t)\bigr){\mathbb{P}}_{x}(dw)= \int _{W([0,T])}f\bigl(w(t)\bigr) \tilde{{\mathbb{P}}}_{x}(dw), \end{aligned}
(3.1)

for every $$t\in [0,T]$$ and every $$f\in \mathcal{C}_{b}({\mathbb{R}})$$.

Let $$\lambda >0$$, we consider the following Cauchy problem:

\begin{aligned} \textstyle\begin{cases} \partial _{t}u(t,x)+\frac{1}{2}a(t,x)\partial ^{2}_{x} u(t,x)+b_{1}(t,x) \partial _{x} u(t,x) \\ \quad =\lambda u(t,x)-b_{1}(t,x), \quad (t,x)\in (0,T)\times { \mathbb{R}}, \\ u(T,x)=0, \quad x\in {\mathbb{R}}, \end{cases}\displaystyle \end{aligned}
(3.2)

where $$a(t,x)=\sigma ^{2}(t,x)$$. By virtue of Lemma 2.1, there is a unique solution u of (3.2). Moreover, if we define $$Y_{t}=\Phi (t,X_{t})=X_{t}+u(t,X_{t})$$, $$\Psi =\Phi ^{-1}$$, then (2.4) is true. In view of Itô’s rule and using the same notation as in (2.5), it yields

\begin{aligned} dY_{t} =&\lambda u\bigl(t,\Psi (t,Y_{t}) \bigr)\,dt+b_{2}\bigl(t,\Psi (t,Y_{t})\bigr) \\ &{}+(1+\partial _{x}u\bigl(t,\Psi (t,Y_{t})\bigr)\sigma \bigl(t,\Psi (t,Y_{t})\bigr)\,dB_{t} \\ =:& \bar{b}(t,Y_{t})+\tilde{\sigma }(t,Y_{t}) \,dB_{t}. \end{aligned}
(3.3)

Therefore, if $$(X_{t},B_{t})_{0\leq t\leq T}$$ is a weak solution of (1.5), then $$(Y_{t},B_{t})_{0\leq t\leq T}$$ is a weak solution of (3.3), and vice versa.

Now let $$(X_{t},B_{t})_{0\leq t\leq T}$$ and $$(\tilde{X}_{t},\tilde{B}_{t})_{0\leq t\leq T}$$ be two weak solutions of (1.5) and the probability laws of X and on $$(W([0,T]),\mathcal{B}(W([0,T])))$$ be given by $$\mathbb{P}_{x}$$ and $$\tilde{\mathbb{P}}_{x}$$, respectively. Correspondingly, we denote by $$\mathbb{P}_{y}$$ and $$\tilde{\mathbb{P}}_{y}$$ the probability laws of Y and , respectively. Since $$Y_{t}=\Phi (t,X_{t})$$ and $$\Phi \in \mathcal{C}([0,T];\mathcal{C}^{1}(\mathbb{R}))$$ is a diffeomorphism on $$\mathbb{R}$$ uniformly for every $$t\in [0,T]$$, the relationships of $$\mathbb{P}_{x}$$ and $$\mathbb{P}_{y}$$, $$\tilde{\mathbb{P}}_{x}$$ and $$\tilde{\mathbb{P}}_{y}$$ are given by $$\mathbb{P}_{y}=\mathbb{P}_{x}\circ \Psi$$, $$\tilde{\mathbb{P}}_{y}= \tilde{\mathbb{P}}_{x}\circ \Psi$$. In (3.2), is a bounded measure in $$(t,x)$$, σ̃ is bounded uniformly continuous in $$(t,x)$$, from [3, Theorem 5.6] (also see [2, Theorem 3.3, p185] for time independent σ), the conclusions for Theorem 1.2 are true for SDE (3.3). On the other hand, $$X_{t}=\Psi (t,Y_{t})$$ and (2.4) is true, and we check that, for every $$f\in \mathcal{C}_{b}(\mathbb{R})$$ and every $$t\in [0,T]$$,

\begin{aligned} \int _{W([0,T])}f\bigl(w(t)\bigr)\mathbb{P}_{x}(dw) =& \int _{W([0,T])}f\bigl(\Psi \bigl(t,w(t)\bigr)\bigr) \mathbb{P}_{y}(dw), \\ =& \int _{W([0,T])}f\bigl(\Psi \bigl(t,w(t)\bigr)\bigr)\tilde{ \mathbb{P}}_{y}(dw) \\ =& \int _{W([0,T])}f\bigl(w(t)\bigr)\tilde{\mathbb{P}}_{x}(dw). \end{aligned}
(3.4)

With the help of Lemma 3.1 and by (3.4), the weak solution for SDE (1.5) is unique. Moreover, if we define $$P_{t}$$ by (1.8), for every bounded measurable function f, then

\begin{aligned} P_{t}f(x)= \int _{W([0,T])}f\bigl(w(t)\bigr)\mathbb{P}_{x}(dw)= \int _{W([0,T])}f\bigl( \Psi \bigl(t,w(t)\bigr)\bigr) \mathbb{P}_{y}(dw). \end{aligned}

with $$y=\Phi (0,x)$$. So, $$\{P_{t}\}_{0\leq t\leq T}$$ possesses the strong Feller property. Besides, $$P_{t}$$ admits a density $$p(t,x,y)$$ for almost all $$t\in [0,T]$$, and if one sets the density for SDE (3.3) by $$\tilde{p}(t,x,y)$$, then $$p(t,x,y)=\tilde{p}(t,\Phi (0,x),\Phi (t,y))|\nabla \Phi (t,y)|$$. Hence (1.9) is true and we finish the proof.

## Availability of data and materials

Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.

## References

1. Skorohod, A.V.: Studies in the Theory of Random Processes. Addison-Wesley, Paris (1965)

2. Ikeda, N., Watanabe, S.: Stochastic Differential Equations and Diffusion Processes. North-Holland, Tokyo (1989)

3. Stroock, D.W., Varadhan, S.R.: Diffusion processes with continuous coefficients i. Commun. Pure Appl. Math. 22, 345–400 (1969)

4. Stroock, D.W., Varadhan, S.R.: Diffusion processes with continuous coefficients ii. Commun. Pure Appl. Math. 22, 479–530 (1969)

5. Veretennikov, A.J.: On the strong solutions of stochastic differential equations. Theory Probab. Appl. 24, 354–366 (1979)

6. Krylov, N.V., Röckner, M.: Strong solutions of stochastic equations with singular time dependent drift. Probab. Theory Relat. Fields 131, 154–196 (2005)

7. Fedrizzi, E., Flandoli, F.: Pathwise uniqueness and continuous dependence for sdes with non-regular drift. Stochastics 83, 241–257 (2011)

8. Fedrizzi, E., Flandoli, F.: Hölder flow and differentiability for sdes with nonregular drift. Stoch. Anal. Appl. 31, 708–736 (2013)

9. Zhang, X.: Stochastic homeomorphism flows of sdes with singular drifts and Sobolev diffusion coefficients. Electron. J. Probab. 16, 1096–1116 (2011)

10. Attanasio, S.: Stochastic flows of diffeomorphisms for one-dimensional sde with discontinuous drift. Electron. Commun. Probab. 15, 213–226 (2010)

11. Jin, P.: Brownian motion with singular time-dependent drift. J. Theor. Probab. 30, 1499–1538 (2017)

12. Tian, R.R., Wei, J.L., Tang, Y.B.: The second-order parabolic pdes with singular coefficients and applications. Stoch. Anal. Appl. 38, 1102–1121 (2020)

13. Zhang, X.: Strong solutions of sdes with singular drift and Sobolev diffusion coefficients. Stoch. Process. Appl. 115, 1805–1818 (2005)

14. Mao, X., Marion, G., Renshaw, E.: Environmental Brownian noise suppresses explosions in population dynamics. Stoch. Process. Appl. 97, 95–110 (2002)

15. Qiao, H., Wu, J.-L.: Characterizing the path-independence of the Girsanov transformation for non-Lipschitz sdes with jumps. Stat. Probab. Lett. 119, 326–333 (2016)

16. Wu, B., Wu, J.-L.: Characterising the path-independent property of the Girsanov density for degenerated stochastic differential equations. Stat. Probab. Lett. 133, 71–79 (2018)

17. Guo, Z.K.: $$l^{p} (p\geq 2)$$-Strong convergence in averaging principle for multivalued stochastic differential equation with non-Lipschitz coefficients. Adv. Differ. Equ. 386, 1–12 (2017)

18. Tian, R.R., Ding, L., Wei, J.L., Zheng, S.Y.: Hölder estimates of mild solutions for nonlocal spdes. Adv. Differ. Equ. 150, 1–13 (2019)

19. Yamada, T., Watanabe, S.: On the uniqueness of solutions of stochastic differential equations. J. Math. Kyoto Univ. 11, 155–167 (1971)

20. Fang, S., Zhang, T.: A study of a class of stochastic differential equations with non-Lipschitzian coefficients. Probab. Theory Relat. Fields 132, 356–390 (2005)

21. Yamada, T., Tsuchiya, M., Watanabe, S.: Perturbation of drift-type for Lévy process. J. Math. Kyoto Univ. 11, 73–92 (1973)

22. Krylov, N.V.: Controlled Diffusion Processes. Springer, New York (1980)

23. Zhang, X.: Stochastic differential equations with Sobolev drifts and driven by α-stable processes. Ann. Inst. Henri Poincaré Probab. Stat. 49, 1057–1079 (2013)

24. Flandoli, F., Gubinelli, M., Priola, E.: Well-posedness of the transport equation by stochastic perturbation. Invent. Math. 180, 1–53 (2010)

## Acknowledgements

The authors are grateful to the anonymous referees for helpful comments and suggestions, which greatly improved the presentation of this paper.

## Funding

The first author was partially supported by the National Natural Science Foundation of China (No. 11901442). The second author was supported by the research funding project of Guizhou Minzu University (No. GZMUQN04). The third author was partially supported by the National Natural Science Foundation of China (No. 11501577).

## Author information

Authors

### Contributions

The authors contributed equally to this paper. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Jinlong Wei.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions 