One continuous form of the Girsanov theorem is as follows. Let be a continuous local martingale under , and suppose is a true martingale on . Define by . Then every continuous -local martingale becomes the continuous -local martingale
In particular, if , then is a -Brownian motion.
Work first under Wiener measure with coordinate Brownian motion . Boundedness of implies the Novikov condition, so
has expectation one. Define by . The Girsanov theorem makes
a -Brownian motion, and hence is a weak solution of a stochastic differential equation.
For uniqueness in law, start with any weak solution under and apply the inverse change of measure with density . Boundedness again gives the Novikov condition, and under the resulting measure the process is Brownian. Reversing the density expresses the law of under as the same functional of a Wiener path. It is therefore independent of the chosen weak solution. This proves the Weak existence and uniqueness in law for an additive-noise SDE with bounded drift.
If is bounded and measurable, then on every finite time interval
has a weak solution and uniqueness in law. Starting with Wiener measure, the Novikov condition and Girsanov theorem add the drift. Applying the inverse change of measure to any weak solution recovers Wiener measure and identifies its law by the same pathwise density.