Relative entropy and a weak–strong uniqueness principle for the compressible Navier–Stokes equations on moving domains

We establish a relative entropy inequality for the compressible Navier–Stokes equations, posed on domains with time-dependent moving boundaries. Using the relative entropy, a weak–strong uniqueness result is shown for the class of finite energy weak solutions.