安德烈亚·尼科拉。 Kohn算法在实际分析情况下终止的直接证明。 （英语） Zbl 1496.32057号 纯应用程序。数学。问：。 18，编号2，719-761（2022）. 摘要：1979年J.J.科恩[数学学报142，79–122（1979；兹伯利03953.55069)]通过Diederich-Fornss定理间接论证了有限D'Angelo型意味着具有实解析边界的伪凸域的Kohn算法的终止。我们在这里使用来自Catlin边界系统概念的分层以及实解析函数环上的代数几何，直接论证了这一含义。我们还指出了如何利用这个参数，根据D'Angelo类型、空间维数、，形式的层次提供了一个有效的Łojasiewicz不等式可以在实际分析案例中得到证明，并获得了关于Kohn算法中乘法器滑轮行为的更多信息。 MSC公司： 第32周05 \（上划线部分）和（上划线局部）-Neumann运算符 35平方英寸27 用于偏微分方程的层理论和同调代数的微局部方法和方法 32C05型 实分析流形，实分析空间 32T25型 有限类型域 46 E25型 连续、可微或解析函数的环和代数 关键词：伪凸域;科恩算法;Catlin多类型;有限D'Angelo型;零点定理;Łojasiewicz不等式;准浆层 引文：Zbl 0395.35069号 PDF格式BibTeX公司 XML格式引用 \textit{A.C.尼科拉}，纯苹果。数学。问18，第2号，719--761（2022；Zbl 1496.32057） 全文： 内政部 arXiv公司