[论文解读] Pseudoconvexity is a two-dimensional phenomenon

Robert Jacobson|ArXiv.org|Jul 7, 2009

Optimization and Variational Analysis参考文献 1被引用 4

一句话总结

本文证明了ℂⁿ中一个开集的拟凸性完全由其与所有复仿射二维子空间的交集决定：Ω ⊂ ℂⁿ 是拟凸的，当且仅当将其视为ℂ²中的区域时，其所有此类截面都是拟凸的。证明利用了拟凸性与Kontinuitätssatz及Levi条件等价的事实，通过Hörmander关于非拟凸性模型的定理，将一般情形约化为C²边界情形。

ABSTRACT

An open set in C^n is pseudoconvex if and only if its intersection with every affine subspace of complex dimension two as seen as an open set in C^2 is pseudoconvex.

研究动机与目标

• 解决多复变函数论中的一个基础性问题：拟凸性是否可通过二维复仿射截面来检测？
• 建立ℂⁿ中一个开集是拟凸的，当且仅当其所有二维仿射截面在ℂ²中均为拟凸的。
• 仅使用二维数据对拟凸性提供完整刻画，填补了文献中的空白。
• 通过Hörmander关于非拟凸性模型的定理，将已知的C²边界情形推广至一般情形。

提出的方法

• 利用拟凸性与解析圆盘的Kontinuitätssatz（连续性定理）之间的等价性。
• 通过仿射参数化下解析圆盘的拉回，证明若Ω ⊂ ℂⁿ是拟凸的，则其所有二维截面均为拟凸。
• 对于逆命题，假设Ω不是拟凸的，并应用Hörmander定理，通过一个二次多项式q找到一个局部非拟凸性模型。
• 构造一个通过非拟凸边界点M的二维仿射子空间h，使得截面Ωₕ通过q的拉回继承非拟凸性。
• 利用链式法则验证M的像点处截面Ωₕ的Levi形式不满足半正定性，从而证明该截面的非拟凸性。
• 利用若任一二维截面非拟凸，则整个区域Ω不可能是拟凸的事实，完成逆否命题的证明。

实验结果

研究问题

• RQ1 ℂⁿ中的拟凸性是否能通过限制在二维复仿射子空间上来检测？
• RQ2 一个ℂⁿ中区域的全局拟凸性是否可仅由其所有二维截面的拟凸性来确定？
• RQ3 若某一二维截面出现非拟凸性，是否意味着整个区域也非拟凸？
• RQ4 多复变函数论中全局拟凸性的本质是否源于二维现象？
• RQ5 能否通过局部非拟凸性模型将C²边界情形推广至一般开集？

主要发现

• 一个开集Ω ⊂ ℂⁿ是拟凸的，当且仅当其与每个复仿射二维子空间的交集在ℂ²中视为区域时也是拟凸的。
• 即使Ω没有光滑边界，该结论依然成立，从而超越了经典的C²边界情形。
• 证明表明，若任一二维截面非拟凸，则整个区域Ω也非拟凸，通过逆否命题与Hörmander定理完成。
• 本文建立了C²情形的更强版本：若一个区域的边界上存在非拟凸点，则存在一条通过该点的二维截面，其本身也是非拟凸的。
• 当且仅当在全空间中Levi形式条件不成立时，其在二维截面中也不成立，从而确认了Levi条件可通过二维检测。
• 结果证实，拟凸性本质上是二维现象，无需依赖高维数据。