Local existence of strong solutions and weak–strong uniqueness for the compressible Navier–Stokes system on moving domains

Abstract

AbstractWe consider the compressible Navier–Stokes system on time-dependent domains with prescribed motion of the boundary. For both the no-slip boundary conditions as well as slip boundary conditions we prove local-in-time existence of strong solutions. These results are obtained using a transformation of the problem to a fixed domain and an existence theorem for Navier–Stokes like systems with lower order terms and perturbed boundary conditions. We also show the weak–strong uniqueness principle for slip boundary conditions which remained so far open question.