Formal derivation and existence of global weak solutions of an energetically consistent viscous sedimentation model

The purpose of this paper is to derive a viscous sedimentation model from the Navier-Stokes system for incompressible flows with a free moving boundary. The derivation is based on the different properties of the fluids; thus, we perform a multiscale analysis in space and time, and a different asymptotic analysis to derive a system coupling two different models: the sediment transport equation for the lower layer and the shallow water model for the upper one. We finally prove the existence of global weak solutions in time for model containing some additional terms.