I posted this on [mathstackexchange](https://math.stackexchange.com/questions/115802/solving-sdes-on-subsets-of-rn) to no avail.


It is well-known (see for instance [Oskendal's text](http://rads.stackoverflow.com/amzn/click/3540637206)) that if $T>0$ and
$$b(\cdot,\cdot): [0,T] \times \mathbb{R}^n \rightarrow \mathbb{R}^n~~~~~~\sigma(\cdot,\cdot):[0,T] \times \mathbb{R}^n \rightarrow \mathbb{R}^{n \times m}$$
are measurable functions and for some $C>0$ we have
$$|b(t,x)|+|\sigma(t,x)| \leq C(1+|x|)$$
and
$$|b(t,x)-b(t,y)|+|\sigma(t,x)-\sigma(t,y)| \leq C|x-y|,$$
then there is a unique strong solution to the SDE
$$dX\_t=b(t,X\_t)dt+\sigma(t,X\_t)dB\_t.$$


I have seen papers/books talk about solving this SDE for $t<\tau\_D$ where $\tau\_D$ is the first time $X\_t$ leaves an open set $D$. In this case, we may only have $b$ and $\sigma$ defined on $[0,T] \times D$. I am wondering what precisely is meant by this.


One interpretation is to extend $b$ and $\sigma$ to functions defined on $[0,T] \times \mathbb{R}^n$ by defining $b(t,x)=\sigma(t,x)=0$ for $x \notin D$, but if we do this we kill the Lipschitz property and no longer are guaranteed uniqueness (intuitively it seems like what happens outside of $D$ should not effect what happens to the process before it leaves $D$, but . . .). Another way is to use something like [Kirszbraun's Theorem](http://en.wikipedia.org/wiki/Kirszbraun_theorem) to extend $b$ and $\sigma$ to Lipschitz functions functions on $[0,T] \times \mathbb{R}^n$, use the existence theorem to find a solution to the SDE and then stop the solution at $\tau\_D$. Since there might be multiple ways to extend $b$ and $\sigma$, it's not immediately clear that this solution is unique. I think you can argue if it weren't (at least when $b$, $\sigma$ don't depend on $t$), you could piece together a solution up to time $\tau\_D$ and a solution from $\tau\_D$ to $T$ to contradict the uniqueness of the solution up until time $T$. This all seems too complicated though.


I am wondering what the "right" way of thinking about this sort of thing is (a reference to a book would be great).


**EDIT**


A useful text that was suggested to me on math.stackexchange is [this](http://rads.stackoverflow.com/amzn/click/0821808028). It appears the right way to think about things is indeed to take a global Lipschitz extension and then solve the resulting equation (and argue that up until $\tau\_D$ the solution does not depend on the extension).



Solving SDE's on subsets of $R^n$.
I think the crucial question is how you (or the authors you refer to) interpret the word "Lipschitz". If $b$ and $\sigma$ are ${\it \mbox{globally}}$ Lipschitz, you may indeed extend them by your favorite method to the whole space. Of course, the solutions may differ, if you use different Lipschitz extensions. However, they agree up to the first exit time of $D$, or equivalently, the processes stopped at $\tau\_D$ agree (and I assume that is everything what the authors care about).


If $b$ and $\sigma$ are merely ${\it \mbox{locally}}$ Lipschitz, a Lipschitz continuation may not exist. If you have merely continuous coefficients, you may prove local existence of solutions, but these solutions may only exist locally (up to an explosion time). I think the usual way is to make a one-point compactification of $D$ by adjoining an additional 'cemetery' state $\Delta$ to $D$ and look on the SDE on $D \cup \{\Delta\}$.


A classical reference on this is Chapter III of the book "Stochastic Differential Equations and Diffusion Processes" by Ikeda and Watanabe.


