For a system described by the wave function $\psi\left(\mathbf{r}^{\prime}\right)$, the Wigner distribution function is defined as
$$
W\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right)=\frac{1}{(2 \pi \hbar)^3} \int e^{-i \mathbf{p}^{\prime} \cdot \mathbf{r}^{\prime \prime} / \hbar} \psi^*\left(\mathbf{r}^{\prime}-\frac{\mathbf{r}^{\prime \prime}}{2}\right) \psi\left(\mathbf{r}^{\prime}+\frac{\mathbf{r}^{\prime \prime}}{2}\right) d^3 r^{\prime \prime}
$$
(In formulas involving the Wigner distribution, it is essential to make a notational distinction between the unprimed operators, $\mathbf{r}$ and $\mathbf{p}$, and the real number variables, which carry primes.)
(a) Show that $W\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right)$ is a real-valued function, defined over the sixdimensional "phase space"' $\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right)$.? $^?$
(b) Prove that
$$
\int W\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right) d^3 p^{\prime}=\left|\psi\left(\mathbf{r}^{\prime}\right)\right|^2
$$
and that the expectation value of a function of the operator $\mathbf{r}$ in a normalized state is
$$
\langle f(\mathbf{r})\rangle=\iint f\left(\mathbf{r}^{\prime}\right) W\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right) d^3 r^{\prime} d^2 p^{\prime}
$$
(c) Show that the Wigner distribution is normalized as
$$
\int W\left(\mathbf{r}^{\prime}, \mathbf{p}^{\prime}\right) d^3 r^{\prime} d^3 p^{\prime}=1
$$
(d) Show that the probability density $\rho\left(\mathbf{r}_0\right)$ at position $\mathbf{r}_0$ is obtained from the Wigner distribution with ${ }^8$
$$
\rho\left(\mathbf{r}_0\right) \rightarrow f(\mathbf{r})=\delta\left(\mathbf{r}-\mathbf{r}_0\right)
$$