I want to condition a continuous-time stochastic process $X_t$$X$ on the current value of another process $Y_t$$Y$ in a continuous-time setting. How canSo I do this?
Note: In discrete time, this is simply the conditional expectationam looking for a process $E(X_t | \sigma(Y_t))$$Z$ such that for every fixed $t$. But in continuous time, $$Z_t = E\big(X_t \big| \sigma(Y_t)\big) \quad \text{a.s.}\tag{1}$$ Uniqueness holds when $E(X_t | \sigma(Y_t))$$Z$ is defined only uprequired to a null set $N_t$ which depends on $t$be cadlag. Alternatively, uniqueness follows when $Z$ is required to be optional and the union of $$Z_{\tau} 1_{\{\tau<\infty\}}= E\big(X_{\tau}1_{\{\tau<\infty\}} \big| \sigma(Y_t)\big) \quad \text{a.s.}\tag{2}$$ holds for every stopping time $N_t$ over uncountably many$\tau$. Existence follows by a monotone class argument for $t$$X$ if I can have any measure. This is whyprove that the process $$X(t,\omega)=1_{[a,b)}(t) 1_F(\omega)$$ admits $Z$ as in continuous time one works with optional$(1)$ or predictable projections$(2)$. But these are defined only when conditioning on an increasing family ofHere $\sigma$-algebras$[a,b)$ is some interval and $F$ a measurable set. But I am not able to show this. Any hints or ideas?