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

The article presents epsilon-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 epsilon. There was developed an algorithm for numerical modelling of the Navier-Stokes equations by the finite difference method.