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

Overdetermined systems of PDEs with variable coefficients (35N10) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Differential complexes (58J10)

Review text

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)].

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Coercive boundary-value problems for overdetermined systems (elliptic problems)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1077628)