Solution

ID: past-exam-of-the-stochastic-differential-equations-course-of-the-university-of-oxford/2025/1/b/i/solution

The existence assertion is false under the hypotheses printed in the source. No measurability of is specified. Even requiring to be a Borel measurable function does not suffice: a coefficient can be positive at every point while approaching zero too rapidly near the starting point. This is the obstruction described by pointwise positivity does not ensure weak existence.
Here is a counterexample in dimension one, with :
Suppose that a solution to the martingale problem with domain existed. The cutoff argument from part (a)(ii), now with , makes a continuous local martingale with
The criterion for a continuous local martingale with bounded quadratic variation makes it a square-integrable martingale, and the Itô isometry gives .
Apply the occupation-times formula with the indicator of the singleton . Since that singleton has zero Lebesgue measure,
Thus spends zero ordinary time at zero. Away from zero, , so
The Gronwall inequality forces for every . Continuity then forces almost surely, contradicting either the zero occupation time just proved or for that constant path. Consequently
For completeness, the intended construction works if is a Borel measurable function and bounded away from zero on every compact set. In particular, it works for continuous strictly positive . Let be standard -dimensional Brownian motion, and define a clock and its inverse by
The Brownian path on each finite interval has compact range, so the added hypothesis makes finite. The clock is continuous and strictly increasing, and , so . Its inverse is continuous and satisfies . Each is a stopping time for the Brownian filtration.
For , the optional sampling theorem applied at these bounded random times shows that
is a true martingale in the filtration . The inverse-clock substitution , valid almost everywhere, rewrites it as
This proves the Brownian time change for a variable diffusion speed:
The factor in the clock is necessary because standard Brownian motion has infinitesimal generator .

New to topics? Read the docs here!