 Solution

For the stochastic differential equation $d{X}_s=b(s,X_s)ds+\Sigma (s,X_s)d{B}_s$, the diffusion generator on smooth functions isOne form of the Feynman-Kac formula is the following. Suppose the stochastic differential equation is well posed and nonexplosive, $c\ge 0$ is bounded, the terminal data $g$ and source $h$ are bounded, and $F$ is a classical solution bounded on finite time intervals ofWith the regularity needed for the Itô formula, the parabolic Feynman-Kac formula with a source statesHere ${\mathbb{E}}_{t,x}$ means expectation for the diffusion process started at $X_t=x$. Under hypotheses ensuring existence of a classical solution, this representation also identifies that solution uniquely in the stated bounded class. In the remaining parts, $c=h=0$, so $F(t,x)={\mathbb{E}}_{t,x}g(X_T)$ solves the terminal-value Kolmogorov backward equation $F_t+{\mathcal{L}}_{t}F=0$. Complex terminal data are allowed by applying the real formula to their real part and imaginary part separately.