3.13. Verify, perhaps using computer algebra, that the PDFs for theWiener and Ornstein–

Uhlenbeck processes satisfy the Kolmogorov backward equation (3.11).