En este documento los autores afirman que la desigualdad cerca de la parte inferior de la página 2 se reduce a la desigualdad (1) cuando $N=1$ . Sin embargo, estoy luchando para obtener ese resultado, ya que tengo un signo menos extra delante de las integrales. ¿Puede alguien probar esto por sí mismo y ver si obtiene el resultado correcto?
$$\frac{n}{4}N(1+\ln{\pi})-\frac{1}{2}N^{-1} \int d^n \mathbf{r}|\Psi(\mathbf{r})|^2 \ln{|\Psi(\mathbf{r})}|-\frac{1}{2}N^{-1} \int d^n \mathbf{k}|\tilde{\Psi}(\mathbf{k})|^2 \ln{|\tilde{\Psi}(\mathbf{k})}|+N \ln{N \geq 0}$$
debería reducirse a
$$-\langle \ln{\rho}\rangle - \langle \ln{\tilde{\rho}}\rangle \geq n(1 + \ln{\pi}) $$
donde
$\rho (\mathbf{r})= |\Psi(\mathbf{r})|^2$ , $\tilde{\rho}(\mathbf{k})= |\tilde{\Psi}(\mathbf{k})|^2$ y $\langle \rangle$ denota el valor medio, por lo que $\langle \ln{\rho} \rangle = \int d^n \mathbf{r} \,\rho (\mathbf{r})\ln{\rho(\mathbf{r})}$