On estimates for solutions of elliptic boundary value problems in a layer

We consider boundary value problems for elliptic operators with constant coefficients in a layer, i.e., in a domain between two parallel planes. We assume that the Lopatinskii condition and the condition of the unique solvability of an auxiliary problem for an ordinary differential operator are satisfied. We prove theorems on the solvability and smoothness of solutions in Sobolev spaces with weight of exponential type.