In Problem 11.1 you showed that the solution to
dtdf=k(t)f(t)
(where k(t) is a function of t) is
f(t)=eK(t)f(0),whereK(t)≡∫0tk(t′)dt′.
This suggests that the solution to the Schrödinger equation (11.1) might be
Ψ(t)=eG^(t)Ψ(0),whereG^(t)≡−ℏi∫0tH^(t′)dt′.(11.108)
It doesn't work, because H^(t) is an operator, not a function, and H^(t1) does not (in general) commute with H^(t2).
(a) Try calculating iℏ∂Ψ/∂t, using Equation 11.108. *Note:* as always, the exponentiated operator is to be interpreted as a power series:
eG^≡1+G^+21G^G^+3!1G^G^G^+⋯.
Show that if [G^,H^]=0, then Ψ satisfies the Schrödinger equation.
(b) Check that the correct solution in the general case ([G^,H^]=0) is
Ψ(t)={1+(−ℏi)∫0tH^(t1)dt1+(−ℏi)2∫0tH^(t1)[∫0t1H^(t2)dt2]dt1+(−ℏi)3∫0tH^(t1)[∫0t1H^(t2)(∫0t2H^(t3)dt3)dt2]dt1+⋯}Ψ(0).(11.109)(c) Show that
T[G^G^]=−ℏ22∫0tH^(t1)[∫0t1H^(t2)dt2]dt1,
and generalize to higher powers of G^. In place of G^n, in equation 11.108, we really want T[G^n]:
Ψ(t)=T[e−ℏi∫0tH^(t′)dt′]Ψ(0).(11.112)
This is Dyson's formula; it's a compact way of writing Equation 11.109, the formal solution to Schrödinger's equation. Dyson's formula plays a fundamental role in quantum field theory.