Coercive boundary-value problems for overdetermined systems (elliptic problems) (Q1077628)

The author considers boundary value problems for overdetermined systems of linear partial differential operators. He considers smooth vector bundles E over a smooth manifold M with boundary \(\Gamma\), vector bundles G over \(\Gamma\), a differential operator \(\Psi_{11}\equiv A: \epsilon (E_ 0)\to \epsilon (E_ 1)\) which maps sections of \(E_ 0\) into sections of \(E_ 1\), and the composition \(\Psi_{21}\equiv B: \epsilon (E_ 0)\to \epsilon (G_ 1)\) of a differential operator and the restriction onto the boundary. These boundary value problems (A,B): \(\epsilon\) (E\({}_ 0)\to \epsilon (E_ 1)\times \epsilon (G_ 1)\) are imbedded in a larger class of operators which arises by including differential operators \(\Psi_{22}\) on \(\Gamma\) as well. For a large class of boundary value problems (A,B) the author constructs a compatibility complex and considers the corresponding complex \[ (*)\quad 0\to H^ s(E_ 0)\to^{(A,B)}H^{s-ord A}(E_ 1)\times H^{s- \beta_ 1}(G_ 1)\to H^{s-\quad k'}(E_ 2)\times H^{s-\beta_ 2}(G_ 2) \] in Sobolev spaces. The main result is a set of conditions on the complex connected with the boundary symbol of the problem, which are equivalent to the finite-dimensionality of the cohomology of (*). The paper is heavily based on \textit{D. C. Spencer}'s paper [Bull. Am. Math. Soc. 75, 179-239 (1969; Zbl 0185.338)].