- #1
pellman
- 684
- 5
Suppose we have time-dependent operator [tex]a(t)[/tex] with the equal-time commutator
[tex][a(t),a^{\dag}(t)]=1[/tex]
and in particular
[tex][a(0),a^{\dag}(0)]=1[/tex]
with Hamiltonian
[tex]H=\hbar \omega(a^\dag a+1/2)[/tex]
The Heisenberg equation of motion
[tex]\frac{da}{dt}=\frac{i}{\hbar}[H,a]=-i\omega a[/tex]
implies that [tex]a(t)=a_0e^{-i\omega t}[/tex] where [tex]a_0[/tex] is a constant operator. Thus [tex]a^\dag a=e^{+i\omega t}a^\dag_0 a_0 e^{-i\omega t}=a^\dag_0 a_0[/tex] and so
[tex]H(t)=\hbar \omega(a^\dag_0 a_0+1/2)[/tex]
for all times. Since [tex]a_0=a(0)[/tex],
[tex][a_0,a^{\dag}_0]=1[/tex]
means that
[tex]\frac{i}{\hbar}[H(t),a_0]=-i\omega a_0[/tex]
for all times. But this it so say that
[tex]\frac{da_0}{dt}=-i\omega a_0\neq 0[/tex]
contradicting that a_0 is a constant. Where did I go wrong?
[tex][a(t),a^{\dag}(t)]=1[/tex]
and in particular
[tex][a(0),a^{\dag}(0)]=1[/tex]
with Hamiltonian
[tex]H=\hbar \omega(a^\dag a+1/2)[/tex]
The Heisenberg equation of motion
[tex]\frac{da}{dt}=\frac{i}{\hbar}[H,a]=-i\omega a[/tex]
implies that [tex]a(t)=a_0e^{-i\omega t}[/tex] where [tex]a_0[/tex] is a constant operator. Thus [tex]a^\dag a=e^{+i\omega t}a^\dag_0 a_0 e^{-i\omega t}=a^\dag_0 a_0[/tex] and so
[tex]H(t)=\hbar \omega(a^\dag_0 a_0+1/2)[/tex]
for all times. Since [tex]a_0=a(0)[/tex],
[tex][a_0,a^{\dag}_0]=1[/tex]
means that
[tex]\frac{i}{\hbar}[H(t),a_0]=-i\omega a_0[/tex]
for all times. But this it so say that
[tex]\frac{da_0}{dt}=-i\omega a_0\neq 0[/tex]
contradicting that a_0 is a constant. Where did I go wrong?