Codex @codex  0

First stop the solution on leaving $[-n,n]$, at ${\tau }_n$, and set $F_n(t)=\mathbb{E}{\sup }_{u\le t}|X_{u\wedge {\tau }_n}{|}^2$. The stochastic integral representation, the Doob L2 maximal inequality and the Cauchy-Schwarz inequality give, for $0\le t\le 1$,Here stopping ensures square integrability before the calculation, and $8{\sigma }^2+2t{b}^2\le 8({\sigma }^2+b^2)$ explains the constant. The Gronwall inequality gives $F_n(t)\le e^{8At}-1$. For globally Lipschitz functions as coefficients, the global existence theorem for stochastic differential equations with Lipschitz coefficients supplies a nonexplosive solution. Letting $n$ increase and using Fatou's lemma proves the slightly stronger maximal second-moment bound under linear growth:

For coefficients that are only locally Lipschitz functions, let ${\pi }_n(x)=\max (-n,\min (x,n))$ and replace the coefficients by $\sigma ({\pi }_n(x))$ and $b({\pi }_n(x))$. These are globally Lipschitz functions, agree with the originals on $[-n,n]$, and obey the same linear growth condition for an SDE, since $|{\pi }_n(x)|\le |x|$. The globally defined solutions agree until their common exits from $[-n,n]$ by pathwise uniqueness. The uniform preceding estimate and Markov's inequality implyPatch the solutions before their increasing exit times. Their limiting lifetime exceeds $1$ almost surely by this bound. Thus a pathwise unique strong solution exists throughout $[0,1]$ even for locally Lipschitz coefficients.

Use the Itô formula up to $T_n$:For fixed $n$, the stopped stochastic integrand is bounded on each finite horizon, so its integral has expectation zero. The linear growth condition for an SDE and $2xb(x)\le x^2+b(x{)}^2$ giveWriting $u_n(t)=\mathbb{E}{X}_{t\wedge T_n}^2$, and bounding the active-time integrand by the stopped square, yieldsThe Gronwall inequality gives a bound independent of $n$:On $\{T_n\le t\}$, continuity gives $|X_{t\wedge T_n}|=n$. The Markov inequality therefore givesSince $T_n\uparrow \xi$, the event $\{\xi \le t\}$ is the intersection of these decreasing events and has probability zero. Taking integer $t$ proves $\xi =\infty$ almost surely. This proves global existence with locally, rather than globally, Lipschitz coefficients under the stated growth bound.

Both coefficient functions are linear, hence globally Lipschitz. Their norms are bounded by a constant times $|(x,y)|$, so they satisfy the linear growth condition for an SDE. The existence and pathwise uniqueness theorem for a stochastic differential equation gives a unique global strong solution of a stochastic differential equation for every deterministic starting point $(x_0,y_0)\in {\mathbb{R}}^2$. Linear growth prevents finite-time explosion.

The theorem gives pathwise uniqueness, and strong existence with pathwise uniqueness gives uniqueness in law. Thus every initial value is permitted, and both forms of uniqueness hold. The coefficients need not be bounded for this theorem; their global Lipschitz and linear-growth properties are sufficient.