One considers the stochastic differential equation $$dX_{t}=(1-X_{t})X_{t}dB_{t},$$ with $B$ Brownian motion, and one assumes that $0\leq X_{0}\leq1 $.
One wants to show that $\textbf{P}(X_{t}\in[0;1])=1$, and that, if $X_{s}=0 $ then $X_{t}=0$ for every $t\geq s$.
Does anybody know how to prove this? Some help would be appreciated
Assume that $X_0$ is in $(0,1)$, let $T=\inf\{t\gt0\mid X_t=0\ \text{or}\ X_t=1\}$, thus $X_t$ is in $(0,1)$ for every $t\lt T$. Consider, for every $t\lt T$, $$ Y_t=\log\left(\frac{X_t}{1-X_t}\right). $$ Then $T$ is also $T=\inf\{t\gt0\mid Y_t=\pm\infty\}$ and Itô's formula shows that, for every $t\lt T$, $$ Y_t=Y_0+W_t+\frac12\int_0^tZ_s\mathrm ds,\qquad Z_t=\frac{\mathrm e^{Y_t}-1}{\mathrm e^{Y_t}+1}. $$ One sees that $|Z_t|\lt1$ for every $t\lt T$, in particular, $$ |Y_t-Y_0-W_t|\leqslant\frac12t, $$ for every $t\lt T$. This proves that $|Y_t|$ is finite for every $t$ and that $T=+\infty$ almost surely, that is, $X_t$ is in $(0,1)$ almost surely for every $t$.
The same technique applies to the strong solution of $$\mathrm dX_t=C(X_t)\mathrm dW_t,$$ starting from $X_0$ in $(a,b)$, for every function $C:[a,b]\to\mathbb R$ positive on $(a,b)$, zero at $a$ and at $b$, and with bounded derivative on $[a,b]$. Then $(X_t)$ stays in $(a,b)$ forever, almost surely.
To show this, one considers the function $D$ defined on $(a,b)$, for some $c$ in $(a,b)$, by $$ D(x)=\int_c^x\frac{\mathrm dz}{C(z)}. $$ Then $$ D(X_t)=D(X_0)+W_t-\frac12\int_0^tC'(X_s)\mathrm ds, $$ thus, $$ |D(X_t)-D(X_0)-W_t|\leqslant\frac12t\,\|C'\|_\infty, $$ for every $t$, and, since $\lim\limits_{x\to b^-}D(x)=+\infty$ and $\lim\limits_{x\to a^+}D(x)=-\infty$, the same reasoning applies.