The generating functional for a harmonic oscillator driven by an external source J(t) is
Z[J]=∫exp(ℏi∫−∞∞[2mx˙2−2mω2x2+J(t)x(t)]dt)D[x(t)].
(a) Show that this can be written as Z[J]=Z[0]exp(2ℏi∫dtdt′J(t)GF(t,t′)J(t′)) where GF is the Feynman propagator.
(b) Use functional derivatives to recover the two-point function ⟨x(t)x(t′)⟩.