20.01.2015 Views

Feynman Path Integral Formulation

Feynman Path Integral Formulation

Feynman Path Integral Formulation

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

116 4 Hamiltonian and Wheeler-DeWitt Equation<br />

and Φ[g ij ] some new wave functional to be determined. From the original Wheeler-<br />

DeWitt equation one then obtains a new set of equations for the wavefunctional<br />

Φ[g ij ],<br />

{<br />

−2iG ij,kl<br />

δS<br />

δg ij<br />

δ<br />

δ 2 S<br />

− iG ij,kl<br />

δg kl δg ij δg kl<br />

−16πG · G ij,kl<br />

δ 2<br />

δg ij δg kl<br />

+ Ĥ φ }<br />

Φ[g ij (x)] = 0 . (4.77)<br />

{<br />

}<br />

δ<br />

2ig ij ∇ k + Ĥ φ i<br />

Φ[g ij (x)] = 0 . (4.78)<br />

δg jk<br />

The next step consists in approximating (again, in analogy with the semiclassical<br />

expansion in non-relativistic quantum mechanics), the solution by neglecting<br />

second derivative terms δ 2 S/δg 2 and δ 2 /δg 2 terms in the equations for Φ[g ij ]<br />

(Wheeler, 1964). The latter step is usually justified by regarding (or assuming) the<br />

back-reaction of quantum matter on the gravitational field as small.<br />

The resulting truncated Wheeler-deWitt equations then become, to first order in<br />

δ/δg,<br />

{<br />

−2iG ij,kl<br />

δS<br />

δg ij<br />

{<br />

2ig ij ∇ k<br />

}<br />

δ<br />

+ Ĥ φ Φ[g ij (x)] = 0<br />

δg kl<br />

}<br />

δ<br />

δg jk<br />

+ Ĥ φ i<br />

Φ[g ij (x)] = 0 .<br />

(4.79)<br />

Furthermore the wavefunction Φ[g ij (x)] is now evaluated along a solution of the<br />

classical field equations g ij (x,t). This means that S[g ij ] is first determined from a<br />

solution of the classical Hamilton-Jacobi equations<br />

with [see Eq. (4.73)]<br />

∂ t g ij = NG ij,kl<br />

δS<br />

δg kl<br />

− 2(D i N j + D j N i ) , (4.80)<br />

D i ≡− 2 i ∇ j<br />

δ<br />

δg ij<br />

, (4.81)<br />

after which the relevant derivatives δS/δg are inserted in Eq. (4.77).<br />

To make further progress, one need to be more specific about the form of the<br />

lapse (N) and shift (N i ) functions. One can show that Φ[g ij ] satisfies an evolution<br />

equation of the type<br />

∫<br />

∂<br />

∂t Φ(t) = d 3 δ<br />

x ∂ t g ij (x)<br />

δg ij (x) Φ[g mn] , (4.82)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!