58 research outputs found

    Global weak solvability of a regularized system of the Navier-Stokes equations for compressible fluid

    Get PDF
    summary:The paper contains the proof of global existence of weak solutions to the mixed initial-boundary value problem for a certain modification of a system of equations of motion of viscous compressible fluid. The modification is based on an application of an operator of regularization to some terms appearing in the system of equations and it does not contradict the laws of fluid mechanics. It is assumed that pressure is a known function of density. The method of discretization in time is used and finally, a so called energy inequality is derived. The inequality is independent on the regularization used

    MODELING OF FLOWS THROUGH A CHANNEL BY THE NAVIER–STOKES VARIATIONAL INEQUALITIES

    Get PDF
    We deal with a mathematical model of a flow of an incompressible Newtonian fluid through a channel with an artificial boundary condition on the outflow. We explain how several artificial boundary conditions formally follow from appropriate variational formulations and the wayone expresses the dynamic stress tensor. As the boundary condition of the “do nothing”–type, that is predominantly considered to be the most appropriate from the physical point of view, does not enable one to derive an energy inequality, we explain how this problem can be overcome by using variational inequalities. We derive a priori estimates, which are the core of the proofs, and present theorems on the existence of solutions in the unsteady and steady cases

    Weak solutions to the barotropic Navier-Stokes system with slip boundary conditions in time dependent domains

    Get PDF
    We consider the compressible (barotropic) Navier-Stokes system on time-dependent domains, supplemented with slip boundary conditions. Our approach is based on penalization of the boundary behaviour, viscosity, and the pressure in the weak formulation. Global-in-time weak solutions are obtained
    • …
    corecore