In this paper we prove the unique solvability and smoothness of the solution of a nonlocal boundary-value problem for a multidimensional mixed type second-order equation of the second kind in Sobolev space Wℓ2(Q), (2≤ℓ is an integer). First, we have studied the unique solvability of the problems in the space W22(Q). Solution uniqueness for a nonlocal boundary-value problem for a mixed-type equation of the second kind is proved by the methods of a priori estimates.Further, to prove the solution existence in the space W22(Q), the Fourier method is used. In other words, the problem under consideration is reduced to the study of unique solvability of a nonlocal boundary value problem for an infinite number of systems of second-order equations of mixed type of the second kind. For the unique solvability of the problems obtained, the ``ε-regularization'' method is used, i.e, the unique solvability of a nonlocal boundary-value problem for an infinite number of systems of composite-type equations with a small parameter was studied by the methods of functional analysis. The necessary a priori estimates were obtained for the problems under consideration. Basing on these estimates and using the theorem on weak compactness as well as the limit transition, solutions for an infinite number of systems of second-order equations of mixed type of the second kind are obtained. Then, using Steklov-Parseval equality for solving an infinite number of systems of second-order equations of mixed type of the second kind, the unique solvability of original problem was obtained. At the end of the paper, the smoothness of the problem's solution is studied.
Exact Schauder estimates of solutions of a boundary value problem for parabolic second order equations and their application to a nonlinear problem