[论文解读] Closed Range for $\bar\partial$ and $\bar\partial_b$ on Bounded Hypersurfaces in Stein Manifolds

Phillip S. Harrington, Andrew Raich|arXiv (Cornell University)|Jun 3, 2011

Holomorphic and Operator Theory参考文献 16被引用 3

一句话总结

本文引入了一种广义条件——弱 $Z(q)$，适用于具有 $C^3$ 边界的 Stein 流形中的有界域，该条件可确保 $\bar\theta$ 和 $\bar\theta_b$ 算子的闭值域。通过允许投影特征值为非整数，作者放松了经典的 $Z(q)$ 条件与 $(q-1)$-强伪凸性条件，证明了谐 $(0,q)$-形式的消失性，且 $\bar\theta$ 具有闭值域，从而将 Hörmander 的 $L^2$ 理论扩展至非强伪凸域之外。

ABSTRACT

We define weak $Z(q)$, a generalization of $Z(q)$ on bounded domains $Ω$ in a Stein manifold $M^n$ that suffices to prove closed range of $\bar\partial$. Under the hypothesis of weak $Z(q)$, we also show (i) that harmonic $(0,q)$-forms are trivial and (ii) if $\partialΩ$ satisfies weak $Z(q)$ and weak $Z(n-1-q)$, then $\dbar_b$ has closed range on $(0,q)$-forms on $\partialΩ$. We provide examples to show that our condition contains examples that are excluded from $(q-1)$-pseudoconvexity and the authors' previous notion of weak $Z(q)$.

研究动机与目标

• 将 $Z(q)$ 条件推广至允许非整数投影特征值，从而在非强伪凸域上实现 $\bar\theta$ 和 $\bar\theta_b$ 的闭值域结果。
• 证明在弱 $Z(q)$ 条件下，谐 $(0,q)$-形式的空间消失，这是 $L^2$ 可解性的关键步骤。
• 证明当弱 $Z(q)$ 与弱 $Z(n-1-q)$ 同时成立时，$\bar\theta_b$ 在边界 $\bar\theta\bar\theta$ 上具有闭值域。
• 提供弱 $Z(q)$ 成立但经典 $(q-1)$-伪凸性或先前弱 $Z(q)$ 条件不成立的例子，以展示其更广泛的适用性。
• 通过使用加权 $L^2$ 空间并借鉴 Shaw（2010）的技术，将 $L^2$ $\bar\theta$-理论推广至非光滑边界。

提出的方法

• 将弱 $Z(q)$ 定义为对 $Z(q)$ 的松弛，允许投影矩阵的特征值属于 $[0,1]$ 而非仅限于 0 和 1。
• 采用加权 $L^2$ 空间框架求解 $\bar\theta u = f$ 模谐形式，利用 Shaw（2010）的近期结果。
• 应用分部积分法与适用于 $C^3$ 边界的微局部分析技术，以控制误差项。
• 通过定义函数 $\rho$ 和一族由参数 $t$ 参数化的近复结构，构建局部模型，以检验 Levi 形式的迹的正定性。
• 验证形式 $(\text{Tr}\tilde{\rho} - \tilde{\rho}(\tilde{\theta}))\tilde{\theta} - i\bar\theta\theta\rho$ 的正定性，以确认局部弱 $Z(q)$ 成立。
• 利用引理 6.2 将局部弱 $Z(q)$ 扩展至全局有界域，且条件在整体上一致成立。

实验结果

研究问题

• RQ1 能否在 Stein 流形中的非强伪凸域上，通过弱于 $Z(q)$ 的条件建立 $\bar\theta$ 的闭值域？
• RQ2 由广义的 $Z(q)$-型条件是否可推出谐 $(0,q)$-形式的消失性？
• RQ3 弱 $Z(q)$ 是否严格弱于 $(q-1)$-伪凸性以及作者先前提出的弱 $Z(q)$ 条件？
• RQ4 即使区域非强伪凸，$\bar\theta_b$ 在区域边界上是否仍可具有闭值域？
• RQ5 能否通过使用加权空间并结合谐形式消失性，将 $L^2$ $\bar\theta$-理论推广至 $C^3$ 边界？

主要发现

• 在弱 $Z(q)$ 条件下，谐 $(0,q)$-形式的空间 $\nabla^{q}(\bar\theta)$ 为平凡空间，这是实现 $L^2$ 可解性的关键步骤。
• $\bar\theta$-拉普拉斯算子 $\nabla^{q}$ 在 $L^2_{(0,q)}(\bar\theta)$ 中具有闭值域，确保了 $\bar\theta u = f$ 解的存在性。
• $\bar\theta$-Neumann 算子 $N^q$ 在 $L^2_{(0,q)}(\bar\theta)$ 中存在且连续，这意味着最优正则性。
• $\bar\theta$ 算子在 $L^2_{(0,q)}(\bar\theta)$ 和 $L^2_{(0,q+1)}(\bar\theta)$ 中具有闭值域，且 $\bar\theta^*$ 在 $L^2_{(0,q)}(\bar\theta)$ 和 $L^2_{(0,q-1)}(\bar\theta)$ 中具有闭值域。
• 弱 $Z(q)$ 严格强于 $(q-1)$-伪凸性与作者先前的弱 $Z(q)$ 条件，如命题 6.1 中的反例所示。
• 存在一个有界区域，使得弱 $Z(2)$ 在整体上成立，即使欧氏度量不满足弱 $Z(2)$，且当 $t \to \bar\theta$ 且 $t \geq 6$ 时，该条件仍成立。