Abstract
Abstract The theory of inverse problems is an actively studied area of modern differential equation theory. This paper studies the solvability of the inverse problem for a linearized system of Navier–Stokes equations in a cylindrical domain with a final overdetermination condition. Our approach is to reduce the inverse problem to a direct problem for a loaded equation. In contrast to the well-known works in this field, our approach is to find an equation for a loaded term whose solvability condition provides the solvability of the original inverse problem. At the same time, the classical theory of spectral decomposition of unbounded self-adjoint operators is actively used. Concrete examples demonstrate that the assertions of our theorems naturally develop and complement the known results on inverse problems. Various cases are considered when the known coefficient on the right-hand side of the equation depends only on time or both on time and a spatial variable. Theorems establishing new sufficient conditions for the unique solvability of the inverse problem under consideration are proved.