Improved Lieb-Oxford exchange-correlation inequality with a gradient correction

We prove a Lieb-Oxford-type inequality on the indirect part of the Coulomb energy of a general many-particle quantum state, with a lower constant than the original statement but involving an additional gradient correction. The result is similar to a recent inequality of Benguria et al. [Int. J. Quantum Chem. 112, 1579 (2012), 10.1002/qua.23148], except that the correction term is purely local, which is more usual in density functional theory. In an appendix, we discuss the connection between the indirect energy and the classical Jellium energy for constant densities. We show that they differ by an explicit shift due to the long range of the Coulomb potential.