A theorem on the classical limit as \(\hbar\to 0\) for a system of \(N\) interacting fermions (Q1272046)

The author considers the Schrödinger equation for \(N\) interacting identical particles and compares the classical limit \(\hbar\rightarrow 0\) with the Liouville equation. Two (apparently new) theorems are presented in this very short paper. According to the first, Wigner distributions for pairs of solutions converge (weakly) to generalized solutions of the Liouville equation, provided the initial data of the Wigner distributions converge. The second theorem compares eigenvalues of the Liouville operator with differences of eigenvalues of the Hamilton operator to first order in \(\hbar\).