Math 2.0

Probability theory and stochastic processes Stochastic analysis Theorem

Girsanov theorem

Builds on Wiener processDoléans-Dade exponentialItô calculusProbability measureLévy's characterization of Brownian motionLocal martingale

Statement

Let (Ω,ℱ,(ℱt),P)(\Omega, \mathcal{F}, (\mathcal{F}_t), P) be a filtered probability space, let T>0T > 0, and let BB be a Brownian motion for (ℱt)(\mathcal{F}_t) under PP. Let θ\theta be a progressively measurable process with ∫0Tθs2 ds<∞\int_0^T \theta_s^2 \, ds < \infty almost surely. Let Z=ℰ(∫0⋅θs dBs)Z = \mathcal{E}\left(\int_0^{\cdot} \theta_s \, dB_s\right) be the Doléans-Dade exponential: Zt=exp⁡(∫0tθs dBs−12∫0tθs2 ds),0≤t≤T.Z_t = \exp\left(\int_0^t \theta_s \, dB_s - \frac12 \int_0^t \theta_s^2 \, ds\right), \quad 0 \le t \le T. Assume EP[ZT]=1E_P[Z_T] = 1, and let QQ be the probability measure on ℱT\mathcal{F}_T with dQ=ZT dPdQ = Z_T \, dP. Then the process B~t=Bt−∫0tθs ds,0≤t≤T,\tilde{B}_t = B_t - \int_0^t \theta_s \, ds, \quad 0 \le t \le T, is a Brownian motion for (ℱt)t≤T(\mathcal{F}_t)_{t \le T} under QQ.

Remarks

The Itô integral in the exponent makes ZZ a positive local martingale under PP, and the hypothesis EP[ZT]=1E_P[Z_T] = 1 makes it a true martingale on [0,T][0, T]. By Itô's product rule, ZB~Z \tilde{B} is a local martingale under PP, so B~\tilde{B} is a continuous local martingale under QQ. Its quadratic variation is still tt, so Lévy's characterization shows that it is a Brownian motion under QQ. Novikov's condition EP[exp⁡(12∫0Tθs2 ds)]<∞E_P\left[\exp\left(\tfrac12 \int_0^T \theta_s^2 \, ds\right)\right] < \infty implies EP[ZT]=1E_P[Z_T] = 1. Example: for a constant θ=μ\theta = \mu, the density is ZT=exp⁡(μBT−12μ2T)Z_T = \exp(\mu B_T - \tfrac12 \mu^2 T), and under QQ the process BB is a Brownian motion with drift μ\mu. Without EP[ZT]=1E_P[Z_T] = 1, the measure QQ has total mass less than 11 and is not a probability measure.

Going deeper

For a student

Girsanov's theorem is the standard way to remove or add a drift in a stochastic differential equation. In mathematical finance, it gives the risk-neutral measure under which discounted prices are martingales. It also yields weak solutions of equations dX=b(X) dt+dBdX = b(X) \, dt + dB with a bounded measurable drift bb, and likelihood ratios for statistics of diffusions. The theorem extends to general continuous local martingales in place of BB.

Reading path

To understand this page from the ground up, read these 64 pages in order. The foundations come first.

  1. Adapted process concept
  2. Construction of the reals from Cauchy sequences concept
  3. Convergence in probability concept
  4. Doléans-Dade exponential concept
  5. Element definition
  6. Filtration concept
  7. Independence of two random variables concept
  8. Integers object
  9. Itô calculus concept
  10. Local martingale concept
  11. Normal distribution concept
  12. Ordered field definition
  13. Probability measure concept
  14. Proposition concept
  15. Random experiment concept
  16. Rational numbers object
  17. Real numbers object
  18. Stopped process concept
  19. Stopping time concept
  20. Wiener process concept
  21. Set definition
  22. Ring of integers statement
  23. Disjunction definition
  24. Implication definition
  25. Predicate definition
  26. Ordered pair definition
  27. Union definition
  28. Existential quantifier definition
  29. Universal quantifier definition
  30. Sample space definition
  31. The rationals form a field statement
  32. Cartesian product definition
  33. Subset definition
  34. Uniqueness quantifier definition
  35. The rationals form an ordered field statement
  36. Binary relation definition
  37. Universal set definition
  38. Power set definition
  39. Order on the reals definition
  40. Function definition
  41. Complement definition
  42. Interval definition
  43. Injective function definition
  44. Preimage of a set definition
  45. Sigma-algebra definition
  46. Countable set definition
  47. Event definition
  48. Borel sigma-algebra definition
  49. Probability axioms concept
  50. Probability measure definition
  51. Probability space definition
  52. Conditional probability definition
  53. Random variable definition
  54. Discrete random variable definition
  55. Stochastic process concept
  56. Random variable with a density definition
  57. Expected value definition
  58. Quadratic variation definition
  59. Wiener process definition
  60. Conditional expectation definition
  61. Martingale definition
  62. Local martingale definition
  63. Lévy's characterization of Brownian motion statement
  64. Girsanov theorem statement

Further reading

  1. Web https://en.wikipedia.org/wiki/Girsanov_theorem
About this page
TagZ76HD1BZ29
URIm2://Z76HD1BZ29
Kindstatement, theorem
WritingW0 stub
MSC60H05, 60G44, 60J65
StatusThis copy of the site has no build data. Run m2 status Z76HD1BZ29.
AboutWiener process, Doléans-Dade exponential
UsesWiener process, Doléans-Dade exponential, Itô calculus, Probability measure, Lévy's characterization of Brownian motion, Local martingale
Same as
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.