Terra Incognita said:
In the Koopman-von Neumann approach, we have rho(q,p,t)= <psi||q,p><q,p|psi>= |psi(q,p,t)|^2. There is a lot of papers studying this formulation, you just have to search through arxiv (very instructive).
I looked quickly at it, and should look deeper...
But the way I did my stuff (not knowing this KvN approach) is "according to the book", if you want to build a quantum theory.
1) first step: enumerate a basis ; this is done by POSTULATING a complete set of commuting observables, and postulating their different (combined) outcomes. For the scalar point particle, for instance, this is usually done by saying that X, Y and Z are a complete set of commuting observables, and all the different outcomes are all possible 3-tuples (x,y,z) with x,y and z a real number.
2) associate to each of the sets of outcomes ONE basis vector of the Hilbert space of states ; define the operators associated to the commuting set of observables such that these basis vectors are eigenvectors of the operators, with eigenvalue the corresponding value in the tuple.
So to each 3-tuple (x,y,z) corresponds ONE basis vector |x,y,z> ;
To the X-position corresponds an operator X such that X |x,y,z> = x |x,y,z> etc...
3) define all other quantities with respect to these observables and states, in one way or another ; especially, define the hamiltonian in such a way.
A special case are the quantum theories associated to classical systems (but not all quantum systems need to be constructed upon a classical system !).
Here, we use the famous correspondence principle {A,B} <-> [A,B]/i hbar, which leads us to find out what the momentum operators Px, Py, Pz are, together with the hamiltonian.
4) the dynamics is given by the Schroedinger equation i hbar d/dt |psi> = H |psi>
Now, clearly if we are going to use commuting Q and P, we cannot use the classical correspondence, but we can use the first principle.
This means, that now, a complete set of commuting observables is X,Y,Z,Px,Py,Pz, so we have basis states |x,y,z,px,py,pz>
In order to have a dynamics, if we take the classical hamiltonian h(p,q) and we define the operator H(P,Q) by the same functional relationship, then we simply have that:
i hbar d/dt |x,y,z,px,py,pz> = H |x,y,z,px,py,pz> = h(p,q) |x,y,z,px,py,pz> which means that the only time evolution of |x,y,z,px,py,pz> is an exponential phase factor (the |x,y,z,px,py,pz> are stationary states).
Because all observables of a system which have a classical correspondence are functions of p and q, say, a(p,q), we then have that all states |x,y,z,px,py,pz> are eigenstates of the associated operator A (with same functional relationship to P and Q as a(p,q)).
As such, nothing moves in this quantum system !
Now of course, you can define ANOTHER dynamics, with a hamiltonian that is not the corresponding classical hamiltonian (I take that that's what is done in the KvN approach, but didn't study it enough).
But then you're not applying quantum theory according to the book, IMHO.
cheers,
Patrick.