Weak–strong uniqueness for the isentropic Euler equations with possible vacuum

Abstract

We establish a weak–strong uniqueness result for the isentropic compressible Euler equations, that is: As long as a sufficiently regular solution exists, all energy-admissible weak solutions with the same initial data coincide with it. The main novelty in this contribution, compared to previous literature, is that we allow for possible vacuum in the strong solution.