Topic: Cumulative Problem Sets and Mixed Proofs

Verifying Feynman-Kac Solutions with Stopped Ito Processes

Reconstructing the Ito Formula Proof from Partition Sums

Proving Girsanov’s Theorem with Density Processes

Picard Iteration and Gronwall in SDE Uniqueness Proofs

Ornstein-Uhlenbeck Transition Laws and Conditional Moments

Martingale Representation for a Brownian Terminal Claim

Localization and Uniform Integrability in Stopping Arguments

From Geometric Brownian Motion to the Black-Scholes Call Formula

Exponential Martingales and Geometric Brownian Moments

Exit-Time Boundary Problems via Feynman-Kac