Der Dichteoperator ist . Dabei bezeichnet die Wahrscheinlichkeit, in einem Gemisch den reinen Zustand zu messen, falls die Zustände orthogonal sind. Die Spur eines Dichteoperators ergibt 1, da .
Der Dichteoperator ist stationär , wenn dieser mit dem Hamiltonoperator vertauscht .
Mit Hilfe der Von-Neumann-Gleichung kann man zeigen, dass die Spur des quadratischen Dichteoperators zeitlich konstant ist:
Hierbei wurde im vorletzten Schritt die zyklische Invarianz der Spur ausgenutzt. Wegen mit Gleichheit genau dann, wenn einen reinen Zustand beschreibt, folgt daraus, dass reine Zustände rein bleiben und gemischte gemischt.
Erwartungswerte von Operatoren werden durch ausgedrückt. Die Zeitabhängigkeit der Erwartungswerte
ist im stationären Fall gleich:
Der Erwartungswert einer Messung zeitunabhängiger Observablen ist im stationären Fall zeitunabhängig .
Man bildet die partielle Ableitung des statistischen Operators, wobei man die Produktregel berücksichtigt:
Die Schrödingergleichung lautet für Hilbertraumvektoren (Ket)
und für duale Hilbertraumvektoren (Bra)
Dies setzt man oben ein:
Vereinfachen liefert die Von-Neumann-Gleichung:
Dieses im Schrödingerbild gewonnene Resultat für den Dichteoperator eines abgeschlossenen Quantensystems darf nicht mit der Heisenbergschen Bewegungsgleichung für einen nicht explizit zeitabhängigen Operator
verwechselt werden, welche die Zeitentwicklung von Observablen beschreibt und nur formal bis auf ein Vorzeichen mit der Von-Neumann-Gleichung übereinstimmt.
Die formale Ähnlichkeit der Gleichungen erklärt sich dadurch, dass die Observablen im Heisenberg-Bild die C*-Algebra der beschränkten linearen Operatoren bilden, wohingegen der Raum der Dichteoperatoren (als Spurklasseoperatoren) dem Prädual dieser C*-Algebra entspricht. Bei konkreter Hilbertraumrepräsentation impliziert die Dualität von Vektorraum- und zugehöriger Dualraumbeschreibung in der einparametrigen unitären Gruppendynamik immer ein unterschiedliches Vorzeichen des Zeitparameters, welcher aufgrund der Zeitableitung auf der jeweils linken Gleichungsseite der Heisenberg- bzw. Von-Neumann-Gleichung ein unterschiedliches Vorzeichen nach sich zieht.
Besonders deutlich wird dieser Unterschied, wenn man analog zum obigen Herleitungsverfahren auch die Heisenberggleichung aus der Schrödingergleichung gewinnt, was für Quantensysteme mit endlichdimensionalem Hilbertraum stets möglich ist.
Franz Schwabl: Quantenmechanik (QM I). 5. erweiterte Auflage. Springer, Berlin u. a. 1998, ISBN 3-540-63779-6 (Springer-Lehrbuch).
Ola Bratteli: Operator Algebras and Quantum Statistical Mechanics 1. 2. Auflage. Springer, Berlin u. a. 1987, ISBN 3-540-17093-6 (englisch, Springer-Lehrbuch).