Definition 3.3.1 (Weak Solution).label Let $\mu$ be a Borel probability measure on $\real^{n}$, $\sigma: [0, \infty) \times C([0, \infty); \real^{d}) \to L(\real^{d}; \real^{n})$ and $b: [0, \infty) \times C([0, \infty); \real^{d}) \to \real^{n}$ be previsible path functionals, then the SDE

has a weak solution with initial distribution $\mu$ if there exists a filtered probability space $(\Omega, \bracs{\cf_t}, \bp)$, a $\bracs{\mathcal{F}_t}$-Brownian motion $B$, and a $\bracs{\mathcal{F}_t}$-semimartingale $X: \Omega \to C([0, \infty); \real^{d})$ such that:

1. (1)

   $X_{0}$ has distribution $\mu$.

2. (2)

   For each $t > 0$,

   \[\int_{0}^{t} \norm{\sigma(s, X)}_{\real^n}^{2} + \norm{\sigma(s, X)}_{\real^n}^{2} ds < \infty\]

   
   

   almost surely.

3. (3)

   For each $t \ge 0$,

   \[X_{t} = X_{0} + \int_{0}^{t} \sigma(s, X) dB_{s} + \int_{0}^{t} b(s, X) ds\]