Covariant functional Schrödinger formalism and application to the Hawking effect