Weyl laws for interacting particles

We study grand-canonical interacting fermionic systems in the mean-field regime, in a trapping potential. We provide the first order term of integrated and pointwise Weyl laws, but in the case with interaction. More precisely, we prove the convergence of the densities of the grand-canonical Hartree-Fock ground state to the Thomas-Fermi ground state in the semiclassical limit & hbar; -> 0. For the proof, we write the grand-canonical version of the results of Fournais, Lewin, and Solovej [Calculus Var. Partial Differ. Equations 57, 105 (2018)] and Conlon [Commun. Math. Phys. 88, 133 (1983)].