 Short-rate bond pricing equation

For pricing drift ${\mu }_Q$, a unit zero-coupon bond price $P(t,r;T)$ satisfies $P_t+{\mu }_Q{P}_r+{\eta }^2{P}_{rr}/2-rP=0$, with $P(T,r;T)=1$. Itô formula makes its bank-account-discounted value a local martingale; suitable integrability gives $P(t,r;T)={\mathbb{E}}^Q[\exp (-{\int }_t^T{r}_{s}ds)\mid r_t=r]$. The rate kills the diffusion semigroup, as in the Feynman-Kac formula.