[论文解读] Subellipticity of the $\bar\partial$-Neumann problem on a weakly $q$-pseudoconvex/concave domain

Tran Vu Khanh, Giuseppe Zampieri|ArXiv.org|Apr 18, 2008

Analytic and geometric function theory参考文献 6被引用 4

一句话总结

本文在 $\mathbb{C}^n$ 中的弱 $q$-强伪凸或 $q$-强伪凹区域上，为 $\bar\partial$-Neumann 问题建立了次椭圆估计的充分条件，将 Catlin 的方法从强伪凸区域推广至非强伪凸区域。关键结果表明，若勒维形式的某些特征值之和满足非负性条件，则次椭圆估计的阶数 $\epsilon$ 成立，从而将先前结果推广至非强伪凸情形。

ABSTRACT

For a domain $D$ of $\mathbb{C}^n$ which is weakly $q$-pseudoconvex or $q$-pseudoconcave we give a sufficient condition for subelliptic estimates for the $\bar{\partial}$-Neumann problem. The paper extends to domains which are not necessarily pseudoconvex, the results and the techniques of Catlin. MSC: 32D10, 32U05, 32V25

研究动机与目标

• 将 $\bar\partial$-Neumann 问题的次椭圆估计推广至非必然强伪凸的区域，特别是弱 $q$-伪凸或 $q$-伪凹区域。
• 通过使用切向向量场的丛和特征值之和，将 Catlin 的次椭圆性有限型条件推广至非强伪凸设置。
• 通过勒维形式的几何条件和 $q_0$-维子丛的选择，建立在边界点处阶数 $\epsilon > 0$ 的次椭圆估计的充分条件。
• 证明当勒维形式的 $q$ 个最小特征值之和与第二基本形式系数的组合满足非负性条件时，次椭圆性成立。

提出的方法

• 作者引入复切丛 $T^{1,0}\partial D$ 的一个 $q_0$-维子丛 $\mathcal{V}^{q_0}$，由 $L_1, \dots, L_{q_0}$ 张成，以在边界上定义局部几何条件。
• 通过要求在 $\partial D$ 上有 $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$，其中 $\lambda_j$ 为勒维形式的特征值，$r_{jj}$ 为第二基本形式的分量，推导出次椭圆估计的充分条件。
• 证明使用了与几何相适应的一族测试形式 $u_t$ 的缩放论证，通过截断函数和单项式型权函数 $|h_j(z_j)|^{2m_j}$ 构造。
• 该方法涉及对测试形式的 $H^\epsilon$-范数和 $L^2$-能量 $Q(u_t, u_t)$ 进行估计，使用缩放参数 $t \to 0^+$ 的渐近分析。
• 关键步骤是使用引理 6.1 来估计形如 $\int \frac{dx dy}{(t \sum |t^{-\epsilon_k} z_j|^{2m_j} + 1)^{2p-2}}$ 的积分，得到关于 $t$ 的幂律界。
• 最后比较 $|||u_t|||_{\epsilon}^2$ 和 $Q(u_t, u_t)$，得到不等式 $\epsilon \leq \epsilon_k$，从而证明阶数为 $\epsilon_k$ 的次椭圆性。

实验结果

研究问题

• RQ1 在 $\mathbb{C}^n$ 中区域边界的何种几何条件下，$\bar\partial$-Neumann 问题在非必然强伪凸时仍能允许次椭圆估计？
• RQ2 Catlin 的次椭圆性方法能否扩展至 $q$-伪凹区域，其中标准存在性理论失效？
• RQ3 切向向量场的 $q_0$-维子丛在控制导数损失的次椭圆性中起何种精确作用？
• RQ4 勒维形式的最小 $q$ 个特征值之和如何与第二基本形式相互作用以决定次椭圆性？
• RQ5 次椭圆估计的最优阶数 $\epsilon$ 与定义函数在边界附近的零点阶数 $m_j$ 之间有何关系？

主要发现

• 在边界点 $z_0$ 处，若在 $\partial D$ 上满足条件 $\sum_{j=1}^q \lambda_j - \sum_{j=1}^{q_0} r_{jj} \geq 0$，其中 $\lambda_j$ 为勒维形式的特征值，$r_{jj}$ 为第二基本形式的分量，则阶数为 $\epsilon$ 的次椭圆估计成立。
• 次椭圆性的阶数 $\epsilon$ 上界为 $\epsilon_k$，其依赖于定义函数分量 $h_j(z_j)$ 的零点阶数 $m_j$，且 $\epsilon_k \leq \min_{j \geq k+1} \frac{1}{2m_j}$。
• 对于满足 $q_0 + 1 \leq k \leq n-1$ 的 $q$-形式，若 $\epsilon \leq \epsilon_k$，则次椭圆估计成立，且通过测试形式构造证明 $\epsilon_k$ 是最优的。
• 在强 $q$-伪凸性或强 $q$-伪凹性情形（条件中为严格不等式），结果分别意味着 $q > n-1 - s^+$ 或 $q < s^-$，将结果与已知的有限型条件联系起来。
• 该方法确认，即使在非强伪凸情形下，次椭圆性仍由勒维形式与第二基本形式之间的相互作用通过边界几何所控制。
• 分析得到了关于缩放参数 $t$ 的显式幂律界，表明 $|||u_t|||_{\epsilon}^2 \gtrsim t^{2p-2+2\epsilon_k - 2k\epsilon_k - \sum_{j=k+1}^{n-1} \frac{1}{m_j}}$ 且 $Q(u_t, u_t) \lesssim t^{2p-2+2\epsilon_k - 2(n-1)\epsilon_k - \sum_{j=1}^{k} \frac{1}{m_j}}$，从而得出结论 $\epsilon \leq \epsilon_k$。