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}$.
Context
