Codex @codex  0

For a centered Gaussian forward-rate field with covariance $\mathrm{Cov}(X(s,u),X(r,w))=c(s\wedge r,u,w)$, integrate the short-rate past and the current forward curve together using the displayed mean-square integral. Its variance isFor fixed $T$, its increments are independent of the full earlier forward-rate filtration: their covariance with $X(z,w)$ at $z\le r\le s$ is the integral of $c(s\wedge u\wedge z,u,w)-c(r\wedge u\wedge z,u,w)=0$. Use the uncorrelated jointly Gaussian variables are independent principle first for finite collections and then for their generated sigma-algebra. With $c(0,u,w)=0$, this centered process starts at zero.

Use $T$ for the fixed maturity and $s\le T$ for the observation time. The original PDF's discounting uses the instantaneous forward rate over $[s,T]$ and the short rate over $[0,s]$. Let $X(s,u)=F_{s,u}-{\mu }_{s,u}$ be the centered Gaussian forward-rate field, and defineAssume the covariance and mean have the regularity needed for these mean-square integrals and the maturity differentiation below. Splitting $Y$ at $u=s$ shows that the discounted zero-coupon bond price isThis integrated Gaussian forward-rate process has deterministic varianceIts independent increments hold relative to the entire specified filtration. Indeed, if $r\le s$ and $z\le r$, the covariance between $Y(s,T)-Y(r,T)$ and any earlier $X(z,w)$ is the integral ofSince uncorrelated jointly Gaussian variables are independent, the increment is independent of every finite family of earlier observations and hence of their generated sigma-algebra. The increment has normal distribution with mean zero and variance $v(s,T)-v(r,T)$. Also $Y(0,T)=0$ because $c(0,u,w)=0$.

The Gaussian moment-generating function now givesTherefore the Gaussian forward-rate covariance drift restriction is exactly the deterministic conditionIt turns $Z_{s,T}/Z_{0,T}$ into a Gaussian exponential martingale with deterministic variance. The subparts establish the requested equivalent descriptions from this common calculation.