9

The Liouville-von Neumann equation for the density matrix is:

$$ i\hbar\frac{\partial\rho}{\partial t}=[H,\rho],$$

while in the Heisenberg picture:

$$ \frac{d}{dt}A(t)=\frac{i}{\hbar}[H,A(t)] +\frac{\partial A(t)}{\partial t}$$

if we adopt some kind of conservation law (like in classical theory), i.e.

$$\frac{d}{dt}A(t)=0. $$ Then we have

$$\frac{i}{\hbar}[H,A(t)] +\frac{\partial A(t)}{\partial t}=0 $$

by replacing $\rho=A(t)$, we can directly reach the von Neumann equation.

Is this derivation correct? if it is, what is the physical meaning behind $\frac{d}{dt}A(t)=0$ then?

Lorniper
  • 582

1 Answers1

18

Well, the von Neumann equation holds within Schroedinger's picture and it is immediate to prove in quantum physics (differently from the Liouville equation which needs to preventively establish the non-trivial Liouville theorem for the symplectic measure on the space of phases). Indeed, as $\rho$ is an incoherent superposition of pure states, one has, $$\rho = \sum_k p_k |\psi_k \rangle \langle \psi_k|\:.$$ Hence, $\rho$ evolves in time as effect of the standard Schroedinger evolution of pure states of the mixture, $$\rho(t) = \sum_k p_k U_t |\psi_k \rangle \langle \psi_k| U^\dagger_t = U_t \rho U^\dagger_t \:,$$ where $U_t = e^{-\frac{it}{\hbar}H}$ is the usual time evolutor. This identity immediately leads to von Neumann equation, $$\frac{d}{dt} \rho(t) = -\frac{i}{\hbar}[H, \rho]\:,\tag{1}$$ where the derivative is computed with respect to the strong operator topology (or the weak one), the same notion of time derivative as that used in Schroedinger equation. Unfortunately, and in my opinion erroneously, that derivative is very often indicated by $\frac{\partial}{\partial t}$ instead of $\frac{d}{dt}$. This would make sense if $\rho$ included another time dependence. Think of Heisenberg picture, when operators already depend on time in Schroedinger picture. In that case to distinguish between $\partial/\partial t$ (referred to some parametric time dependence already present in Schroedinger picture) and $d/dt$ (referred to the total time dipendence, including the one arising from Heisenberg evolution) makes sense. Here, instead, we have only one time dependence.

If $\rho(t)$ were a time-depending observable in Schroedinger picture, passing in Heisenberg picture we would obtain $$\frac{d\rho_H}{dt} = \frac{\partial \rho_H}{\partial t} +\frac{i}{\hbar}[H, \rho_H]=0\:,\tag{2}$$ i.e., $$\frac{d\rho_H}{dt}=0\:.$$ Actually all that is trivial without computing any derivative, since $$\rho_H(t) = U^\dagger_t \rho(t) U_t = U^\dagger_t U_t \rho U^\dagger_t U_t= \rho\:.$$ The conserved quantity would be $\rho$ itself, but it does not make much physical sense a priori, because $\rho$ is a state, not an observable and Heisenberg evolution is not appropriate for it. (Even if the result is formally correct since states, in Heisenberg picture, are constant in time.)

In classical physics the partial derivative $\partial/\partial t$ always makes sense, since $\rho$ is a function of both $t$ and the state in the space of phases. In that formulation (2) has a precise meaning in terms of a conservation law. It says that, along the integral lines of Hamiltonian flow, the density of probability is constant. In other words, the Hamiltonian flow is incompressible (see the pair of final remarks in my answer to this question Conserved quantities and total derivatives?)

Bio
  • 803
  • could you correct typos in the sentence "in my opinion erroneously, that derivative is indicated by ∂/∂t how if included other...." ? which are quite misleading... Also could you elaborate more about "along the integral lines of Hamiltonian flow, the density of probability is constant"? – Lorniper May 16 '14 at 15:11
  • @Lorniper Sorry I was in a hurry, is it more clear now? – Valter Moretti May 16 '14 at 15:22
  • SO you mean it can be directly derived from heisenberg equation of motion, but make less physical sense? – Lorniper May 17 '14 at 06:42
  • Yes, it could be directly derived from Heisenberg equations, but it makes little sense because $\rho(t)$ is not an observable. – Valter Moretti May 17 '14 at 16:56
  • I saw, but I do not understand where the contradiction is, could you be more explicit? – Valter Moretti May 20 '14 at 05:33
  • Maybe I didn't understand correctly.Basically,you said $\rho_H(t)=\rho$, here the $\rho$ at RHS indicates the density matrix in Schrodinger picture at time 0($\rho_{S0}$)? and you argued it's a state, hence cannot be used in Heisenberg equation of motion. but why at first place you assume $\rho$ comes from shrodinger picture, as in the wiki page, it can also be in the interation picture, isn's it? – Lorniper May 20 '14 at 06:51
  • My point is simple. Heisenberg picture, $A_H(t) := U^_t A_S(t) U_t$, is defined when $A_S(t)$ is an observable. Instead you use it when $A_S(t)$ is a (mixed) state*. – Valter Moretti May 20 '14 at 07:00
  • Maybe I do not understand well your point. It seems to me that you are saying the following. The Heisenberg representation $\rho_H(t)$ of $\rho_S(t)$ verifies $\frac{d \rho_H}{dt}=0$ and this equation is equivalent to Liouville-von Neumann equation for $\rho_S(t)$. It seems to me that in your mind the "Heisenberg representation" $\rho_H(t)$ of $\rho_S(t)$ is $\rho_H(t) = U_t^*\rho_S(t) U_t$, i.e., you are thinking of $\rho_S(t)$ as an observable. This is not conceptually correct in my opinion, since $\rho_S(t)$ is a state. – Valter Moretti May 20 '14 at 07:13
  • Sorry, I do not know that book (even if the author is Italian like me!). I do not mean that density matrices have no physical meaning, I am just saying that they are not "quantum observables" in strict sense. In QM, a fundamental distinction is the one separating states (positive, trace class with unit trace operators) form observables (self-adjoint operators associated with some measurement apparatus, representing physical properties of the system). – Valter Moretti May 20 '14 at 07:45
  • grazie! I think I have understood now, BTW, is there any connection between $[H,\rho]$ and $u\nabla\cdot \rho$, seems the former more quantum and the latter more classical? – Lorniper Jun 11 '14 at 15:50