Формальные свойства краевых задач для переопределенных систем уравнений с частными производными

Для пары $(A,B)$, где $A$ – дифференциальный, $B$ – краевой операторы в сечениях расслоений над многообразием $M$ с краем $\Gamma$ указывается конструкция комплекса пучков ростков сечений расслоений $E_i$, над $M$ и $G_i$ над $\Gamma$ и дифференциально-граничных операторов
$$ \underbar{E}_0\overset{(A,B)}\longrightarrow\underbar{E}_1\times\underbar{G}_1 \longrightarrow\underbar{E}_2\times\underbar{G}_2\longrightarrow\dots\longrightarrow0. $$
В действительном аналитическом случае когомология этого комплекса в члене $\underbar{E}_1\times\underbar{G}_1$ равна нулю (локальная разрешимость краевой задачи при выполнении условий совместности), если конормаль к границе $\Gamma$ является направлением наименьшего вырождения символа оператора $A$, а весь комплекс точен, если вырождение символа одинаково во всех направлениях (например, если $A$ – эллиптичен). Библ. – 4 назв.