The Functional Schrödinger Equation in the Semiclassical Limit of Quantum Gravity with a Gaussian Clock Field

We derive the functional Schrödinger equation for quantum fields in curved spacetime in the semiclassical limit of quantum geometrodynamics with a Gaussian incoherent dust acting as a clock field. We perform the semiclassical limit using a WKB-type expansion of the wave functional in powers of the squared Planck mass. The functional Schrödinger equation that we obtain exhibits a functional time derivative that completes the usual definition of WKB time for curved spacetime, and the usual Schrödinger-type evolution is recovered in Minkowski spacetime.