 Solution

Uniqueness in law means that, for a fixed initial value, every two weak stochastic solutions of the stochastic differential equation have the same distribution as entire solution paths, even if their filtered probability spaces and driving Brownian motions differ. For an equation on $(0,\infty )$, initially consider the stopped path and lifetime at the boundary.

We first justify that the boundary cannot intervene when $\gamma \ge 2$. For any solution of the displayed Bessel equation, let ${\tau }_{\epsilon ,L}$ be its first exit from $(\epsilon ,L)$, where $0<\epsilon <r<L$. Applying Itô to $R^2$ givesThus the annulus exit has finite expectation and is almost surely finite. The one-dimensional generator is $\frac{1}{2}{\partial }_{rr}+\frac{\gamma -1}{2r}{\partial }_r$. Its harmonic scale functions are $\log r$ for $\gamma =2$ and $r^{2-\gamma }$ for $\gamma >2$, as direct differentiation verifies. They are bounded on the stopped annulus, so optional sampling givesBoth tend to zero as $\epsilon \downarrow 0$. A continuous path hitting zero before ${\tau }_L$ would hit every inner level first, so that event has probability zero. Exhausting the upper levels proves that zero is not hit at any finite time. Nor can an upper explosion occur: localization of $R^2$ gives $\mathbb{P}({\tau }_L\le t)\le (r^2+\gamma t)/L^2\to 0$. These are the Hitting-zero classification for a Bessel process arguments needed for the dimension-at-least-two case.

Now suppose $\gamma$ is an integer and take a $\gamma$-dimensional Brownian motion $U$ from any deterministic vector $u$ with $|u|=r$. For $\rho =|U|>0$, differentiation of the Euclidean norm givesDefine the radial noise $\beta ={\sum }_i\int U_i/\rho d{W}_i$, filling the integrand by a fixed unit vector on the zero set, as in part (b). It has bracket $t$ and is a Brownian motion. the Itô formula, initially before a possible zero, givesThe boundary argument just given makes this a global positive weak stochastic solution. The assumed uniqueness in law therefore identifies every solution's path law with that of $|U|$. Orthogonal invariance of Brownian motion makes this radial law independent of the selected point $u$ on the sphere. ConsequentlyThis proves equality of process laws, not merely equality of one-time marginal distributions.