The unique solvability of stationary and non-stationary incompressible melt models in the case of their linearization

The article presents ε -approximation of hydrodynamics equations’ stationary model along with the proof of a theorem about existence of a hydrodynamics equations’ strongly generalized solution. It was proved by a theorem on the existence of uniqueness of the hydrodynamics equations’ temperature model’s solution, taking into account energy dissipation. There was implemented the Galerkin method to study the Navier–Stokes equations, which provides the study of the boundary value problems correctness for an incompressible viscous flow both numerically and analytically. Approximations of stationary and non-stationary models of the hydrodynamics equations were constructed by a system of Cauchy–Kovalevsky equations with a small parameter ε . There was developed an algorithm for numerical modelling of the Navier– Stokes equations by the finite difference method.