次主型算子可解性的充分条件

在本文中，我们证明了关于次主符号的条件 $\operatorname{Sub_r}(\Psi)$ 对于实次主型线性伪微分算子的局部可解性是充分的。这类算子具有实主符号，该主符号为主型，并在次主符号为主型的对合流形上二阶消失。条件 $\operatorname{Sub_r}(\Psi)$ 是关于次主符号虚部符号变化的条件，作者此前已证明该条件对于实次主型线性伪微分算子的局部可解性是必要的。在附录中，我们研究了实主型二阶拟线性偏微分算子的局部可解性。