In the theory of martingales, the Dubins–Schwarz theorem (or Dambis–Dubins–Schwarz theorem) is a theorem that says all continuous local martingales and martingales are time-changed Brownian motions. The theorem was proven in 1965 by Lester Dubins and Gideon E. Schwarz and independently in the same year by K. E. Dambis, a doctoral student of Eugene Dynkin.
Dubins–Schwarz theorem Let
M 0 , loc c {\displaystyle {\mathcal {M}}_{0,\operatorname {loc} }^{c}} be the space of F t {\displaystyle {\mathcal {F}}_{t}} -adapted continuous local martingales M = ( M t ) t ≥ 0 {\displaystyle M=(M_{t})_{t\geq 0}} with M 0 = 0 {\displaystyle M_{0}=0} .
⟨ M ⟩ {\displaystyle \langle M\rangle } be the quadratic variation.
Statement Let M ∈ M 0 , loc c {\displaystyle M\in {\mathcal {M}}_{0,\operatorname {loc} }^{c}} and ⟨ M ⟩ ∞ = ∞ {\displaystyle \langle M\rangle _{\infty }=\infty } and define for all t ≥ 0 {\displaystyle t\geq 0} the time-changes (i.e. stopping times)
T t = inf { s : ⟨ M ⟩ s > t } . {\displaystyle T_{t}=\inf\{s:\langle M\rangle _{s}>t\}.}
Then B := ( B t ) := ( M T t ) {\displaystyle B:=(B_{t}):=(M_{T_{t}})} is a F T t {\displaystyle {\mathcal {F}}_{T_{t}}} -Brownian motion and ( M t ) = ( B ⟨ M ⟩ t ) {\displaystyle (M_{t})=(B_{\langle M\rangle _{t}})} .
Remarks The condition ⟨ M ⟩ ∞ = ∞ {\displaystyle \langle M\rangle _{\infty }=\infty } guarantees that the underlying probability space is rich enough so that the Brownian motion exists. If one removes this conditions one might have to use enlargement of the filtered probability space.
B {\displaystyle B} is not a F t {\displaystyle {\mathcal {F}}_{t}} -Brownian motion.
( T t ) {\displaystyle (T_{t})} are almost surely finite since ⟨ M ⟩ ∞ = ∞ {\displaystyle \langle M\rangle _{\infty }=\infty } .
References