2

I've been dealing with annihilation operator recently where you can see related information

and

for definition.

Correction made by Valter Moretti and J.G.'s answer, there is no contradiction.

$$ \begin{align} i \hbar \frac{\mathrm{d}}{\mathrm{d}t} \left(a \left| \psi(n,t) \right\rangle \right) & ~=~ i \hbar \frac{\mathrm{d}}{\mathrm{d}t} \left(\sqrt{n} \left| \psi(n-1,t) \right\rangle \right) \\[5px] & ~=~ H \sqrt{n} \left| \psi(n-1,t) \right\rangle \\[5px] & ~=~ E_{n-1}\sqrt{n} \left| \psi(n-1,t) \right\rangle \end{align} \,.$$

and \begin{align} i\hbar\frac{d}{dt}(a|\psi(n,t)\rangle) & =i\hbar\frac{d}{dt}(a)|\psi(n,t)\rangle+a(i\hbar\frac{d}{dt}|\psi(n,t)\rangle) \\[5px] & =i\hbar \cdot iwa|\psi(n,t)\rangle+a(H|\psi(n,t)\rangle) \\[5px] & =-\hbar w a|\psi(n,t)\rangle+a(E_n|\psi(n,t)\rangle) \\[5px] & =(E_n-\hbar w)a|\psi(n,t)\rangle\\[5px] & =E_{n-1} a|\psi(n,t)\rangle\\[5px] & =E_{n-1} \sqrt{n}|\psi(n-1,t)\rangle \end{align}

Notice $\frac{d}{dt}(a)\neq 0$ despite the fact that $a$ in matrix represtation is a constant matrix.

J.G.
  • 24,837
ShoutOutAndCalculate
  • 3,224

2 Answers2

6

The problem with your first answer is the identity (I prefer to modify notations) $$a \psi_n(t) = \sqrt{n} \psi_{n-1}(t)\:.\quad (false \:\:if \:\:t\neq 0)\tag{1}$$ This is false if $t\neq 0$ (it is trivially true for $n=0$, but I assume $n\neq 0$ henceforth).

Since $\psi(t) := e^{-itH/\hbar} \psi$, the identity above can be expanded as $$a e^{-itH/\hbar} \psi_n = \sqrt{n} e^{-itH/\hbar} \psi_{n-1} \quad(false \:\:if \:\:t\neq 0)\:.$$ In fact, both sides can be separately computed, $$a e^{-itH/\hbar} \psi_n = a e^{-itE_n/\hbar} \psi_n= e^{-itE_n/\hbar} a\psi_n= e^{-itE_n/\hbar} \sqrt{n}\psi_{n-1} = \sqrt{n}e^{-itE_n/\hbar} \psi_{n-1} $$ whereas $$\sqrt{n} e^{-itH/\hbar} \psi_{n-1} = \sqrt{n} e^{-itE_{n-1}/\hbar} \psi_{n-1}\:,$$ and $$\sqrt{n}e^{-itE_n/\hbar} \psi_{n-1} \neq \sqrt{n} e^{-itE_{n-1}/\hbar} \psi_{n-1}$$ because $$E_n\neq E_{n-1}\:.$$ The fundamental reason of the failure of (1) is that $a$ and $e^{-itH/\hbar}$ do not commute. It it were $$a e^{-itH/\hbar} = e^{-itH/\hbar} a\:,$$ then we would have $$\langle \psi_n |a e^{-itH/\hbar}\psi_m \rangle = \langle \psi_n | e^{-itH/\hbar} a \psi_m\rangle$$ i.e. $$\langle a^*\psi_n | e^{-itH/\hbar}\psi_m \rangle = \langle e^{itH/\hbar}\psi_n | a \psi_m\rangle\:.$$ taking the time derivative for $t=0$, $$\langle a^*\psi_n | H\psi_m \rangle = \langle H\psi_n | a \psi_m\rangle\:,$$ so that $$\langle \psi_n | aH\psi_m \rangle = \langle \psi_n | Ha \psi_m\rangle\:,$$ so that $$\langle \psi_n | (aH-Ha)\psi_m \rangle = 0$$ namely, since the Hermite functions $\psi_n$ span a dense space, $$aH\psi_m= Ha\psi_m\:.$$ By linearity, we would have $$aH= Ha\:.$$ at least restricting the domains to the span of Hermite functions $\psi_n$. The identity above is false in view of the commutation relations of $a$ and $a^*$ and $H = \hbar \omega (a^*a + I/2)$ over the said space.

Coming back to your question, the correct result is the second one.

Valter Moretti
  • 71,578
  • Thank you. Up vote. However, still one little question. If the time derivative of the function returned $E_n$, does that mean $a|\psi(n,t)>$ is still in energy states $E_n$? because $i\hbar \frac{d}{dt}a|\psi(n,t)>=Ha|\psi(n,t)>=E_na|\psi(n,t)>$? So what's $a$'s effect to the states $a|\psi(n,t)>$? – ShoutOutAndCalculate Nov 04 '18 at 15:22
  • No, $a\psi_n(t)$ has no longer energy $E_n$. Indeed, as a state, it has energy $E_{n-1}$ like $\psi_{n-1}$. The only difference is a factor: $a\psi_n(t) = e^{-i(E_{n-1}-E_n)t/\hbar}\sqrt{n}\psi_{n-1}$. So, there is an evident effect of the action of $a$, it changes the energy. – Valter Moretti Nov 04 '18 at 16:21
  • Can you clearfy a little? Because, if $i\hbar \frac{d}{dt}$ act on a states and return $E_n$ and that states, it's the same as $H$ act on that sates and obtained energy $E_n$ by the postulate right? So on one side I think I got your point, but on the other side your asnwer didn't seem to give the correct energy states. – ShoutOutAndCalculate Nov 04 '18 at 16:31
  • Sorry I do not understand what you are saying. $d/dt$ acts on a function of $t$ taking values in the Hilbert space and produces a similar function. It is not an operator as $H$ is, which insteads works on a single vector and produces a vector. What it is clear it is what I wrote, $a\psi_n(t)$ is an eigenvector of $H$ with eigenvalue $E_{n-1}$ instead of $E_n$. – Valter Moretti Nov 04 '18 at 16:37
  • $i\hbar \frac{d}{dt}|\psi>=H|\psi>=E|\psi>$, so if $i\hbar \frac{d}{dt}|\psi>=E_2|\psi>$, that $i\hbar \frac{d}{dt}$ returned the same funciton, then by equality and right cancellation, the coefficient $E_1=E_2$. So if by taking the derivative one obtained the same function and $E_n$, then it's in energy states $E_n$. So far your answer return the same funciton by applying $i\hbar \frac{d}{dt}$, yet it has not been able to return the correct energy states $E_{n-1}$. – ShoutOutAndCalculate Nov 04 '18 at 17:26
  • 1
    Sorry, I cannot understand. However, you wrote $i\hbar \frac{d}{dt}a \psi_n(t)= Ha \psi_n(t)$. But it is false. What it is true is $i\hbar \frac{d}{dt}a \psi_n(t)= aH \psi_n(t)$... – Valter Moretti Nov 04 '18 at 17:39
0

You have to be careful not to mix up implications specific to different pictures. For example, $\partial_t\langle m|a|n\rangle$ doesn't imply $\dot{a}=0$ in the Heisenberg picture because $|n,\,t\rangle=\exp -i\omega_n t|n,\,0\rangle,\,\omega_n:=\frac{E_n}{\hbar}$. While $\dot{a}=0$ in the Schrödinger picture, it can be shown $\dot{a}=-i\omega a$ in the Heisenberg picture, where the Hamiltonian is $-\frac{\hbar^2}{2m}\partial_x^2+\frac{m\omega^2}{2}x^2$. I'll give two proofs; there are plenty of others.

The first is one I mentioned in a comment: since $\partial_t|n\rangle=-i\omega_n|n\rangle$ and $a=\sum_{n\ge 1}\sqrt{n}|n-1\rangle\langle n|$, $\dot{a}=-i(\omega_n-\omega_{n-1})a=-i\omega a$.

Another approach uses $\dot{x}=\frac{p}{m},\,\dot{p}=-m\omega^2 x,\,a=\frac{m\omega x+ip}{\sqrt{2m\hbar\omega}}$.

J.G.
  • 24,837