The following theorem states the existence and uniqueness of a strong solution for a class of SDEs.

Theorem. For the SDE $$ \mathrm{d} X=G(t, X(t)) \mathrm{d} t+H(t, X(t)) \mathrm{d} W(t), \quad X\left(t_{0}\right)=X_{0}, $$ assume the following hold.
(1) Both $G(t, x)$ and $H(t, x)$ are continuous on $(t, x) \in\left[t_{0}, T\right] \times \mathbb{R}$.
(2) The coefficient functions $G$ and $H$ satisfy the Lipschitz condition $$ |G(t, x)-G(t, y)|+|H(t, x)-H(t, y)| \leq K|x-y| . $$ (3) The coefficient functions $G$ and H satisfy a growth condition in the second variable, $$ |G(t, x)|^{2}+|H(t, x)|^{2} \leq K\left(1+|x|^{2}\right), $$ for all $t \in\left[t_{0}, T\right]$ and $x \in \mathbb{R}$.
Then the SDE has a strong solution on $\left[t_{0}, T\right]$ that is continuous with probability 1 and $$ \sup _{t \in\left[t_{0}, T\right]} \mathbb{E}\left[X^{2}(t)\right]<\infty, $$ and for each given Wiener process $W(t)$, the corresponding strong solutions are pathwise unique, which means that if $X$ and $Y$ are two strong solutions, then $$ \mathbb{P}\left[\sup _{t \in\left[t_{0}, T\right]}|X(t)-Y(t)|=0\right]=1 . $$

(I took it from Dunbar, S.R. Mathematical Modeling in Economics and Finance: Probability, Stochastic Processes, and Differential Equations; Vol. 49, American Mathematical Soc., 2019.)

Anyway, in my case I have an SDE where $H$ is constant and $G :\mathbb R_+\times\mathbb R\to\mathbb R$ is such that $G(t, X(t))=F(t)X(t)$ where $F(t)=\frac{1}{\cos t+ \sin t}$. Let $t_0=0$, $T>0$ and let $\mathcal A$ be the domain of $F(t)$, i.e. $\mathcal A=\left\{t|\cos t + \sin t\neq0\right\}$. My question is: does the above SDE admits a unique strong solution?

My attempt

Point (1) is satisfied because $G$ is continuous $(t, x) \in\left(\left[0, T\right]\cap\mathcal A\right) \times \mathbb{R}$. Point (2) is not true globally but for a local Lipschitz condition if $$K=\sup_{t\in\left(\left[0, T\right]\cap\mathcal A\right)}F(t)$$ Similar consideration can be done for point (3).

Can I infer the existence of a strong solution on $\left[0, T\right]\cap\mathcal A$? I think that the answer is not so obvious because I replace a global Lipschitz condition, in point (2), with a local one. What do you think?



Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.