An integral representation for the product of two parabolic cylinder functions having unrelated arguments

An integral representation is provided for the parabolic cylinder function product $D_{\mu }(x)D_{\mu }(-y)$ where $Re\mu <0$ and $x>y$ are unrelated. A few simple consequences are given in the form of hyperbolic integrals and a sum rule.