The killed transition operator is
The infinitesimal generator of the diffusion is
The Markov property and the Chapman-Kolmogorov equation give, for each fixed ,
Dividing by , letting , and using the generator definition together with the assumed regularity gives the pointwise Kolmogorov backward equation