Theory of solvability of boundary value problems and data assimilation problems for ocean dynamics equations