Reduced distribution function
Set
context | $ \rho $ … Classical probability density function |
range | $ N \equiv \mathrm{dim}(\mathcal M) $ |
$s < N$ |
definiendum | $\bar f_s(q^1,p_1,q^2,p_2,\dots,q^s,p_s):=\int\ \rho\ \ \mathrm d q^{s+1} \mathrm d p_{s+1}\cdots \mathrm d q^N \mathrm d p_N$ |
Discussion
We also set $f_N:=\rho$, but that's just introduction of different notation.