Skip to main content
10 of 14
deleted 17 characters in body
Nate River
  • 6.2k
  • 2
  • 23
  • 99

Let $\nu_x$ be the regular conditional probability associated with $X$, and $\mu_X$ the law of $X$ on $\mathbb R^n$.

Denote by $E$ the event $$\left \{ \nu_X ( \bigcap_i \, \{X^i \in A_i\} ) = \prod_i \nu_X (X^i \in A_i) \, , \, \forall A_i \in \mathcal B(C[0, T])\right \}.$$

By definition of conditional independence, we need to show that $\mathbb P(E) = 1.$

But for $\mu_X$-a.e. $x$, the $X^i_0$ are deterministic under $\nu_x$, and hence also the process $\eta_s$. As such, for $\mu_X$ a.e. $x$, under $\nu_x$ each $X^i$ is a standard diffusion SDE driven by $B^i$ with non-random coefficients, for which it is known there is a strong solution.

Thus there exist deterministic maps $F_{i, x}$ such that $X^i = F_{i, x} (B_i)$ for all $i$ almost surely under $\nu_x$ for $\mu_X$-a.e. $x$. Independence of the $X^i$ under $\nu_x$ for $\mu_X$-a.e $x$ thus follows from that of the $B_i$.

In other words, denoting by $S$ the set

$$\{ x \in \mathbb R^n \, | \, \nu_x ( \bigcap_i \, \{X^i \in A_i\} ) = \prod_i \nu_x (X^i \in A_i) \, , \, \forall A_i \in \mathcal B(C[0, T]) \}$$

we have $\mu_X (S) = 1$, and so

$$\mathbb P (E) = \int_{\mathbb R^n} 1_S (X(\omega)) \, d\mathbb P (\omega) = \int_{\mathbb R^n} 1_S (x) \, d\mu_X (x) = 1.$$

Thus we conclude conditional independence of the processes $X^i$ as desired.

Nate River
  • 6.2k
  • 2
  • 23
  • 99