This is an old revision of the document!

Classical probability density function

Set

 context ${\hat\rho}$ … classical phase density
 definiendum $\rho:=\frac{\hat\rho}{\int_\Gamma\ \hat\rho\ \mathrm d\Gamma}$

Discussion

The function $\rho$ is just the normalized version of ${\hat\rho}$.