The reference Brownian motion must start at , and both laws must use the same stopped-path rule. Under the reference probability measure let , let be its exit time from , and put and . The Girsanov density for a stopped Bessel process, as a functional of the stopped reference path, is
Use the predictable process , with any harmless choice at the endpoint. On , . The Novikov condition holds; under the density , the Girsanov theorem makes a Brownian motion. Before exit, , which is the required stochastic differential equation. The drift is a locally Lipschitz function on , so pathwise uniqueness and uniqueness in law hold up to this exit time.
For a version involving just the endpoint and an ordinary integral, the Itô formula for gives
Thus
The stopped density is measurable from the stopped path, so it is also the Radon-Nikodym derivative of the stopped-path laws. The stopping times in this formula are evaluated on the reference path, rather than taken from a different realization of . A zero-start reference Brownian motion would have a different deterministic initial value and could not dominate this law.