[论文解读] Closed range of $\bar\partial$ in $L^2$-Sobolev spaces on unbounded domains in $\mathbb{C}^n$

Phillip S. Harrington, Andrew Raich|arXiv (Cornell University)|Apr 25, 2017

Advanced Harmonic Analysis Research参考文献 6被引用 3

一句话总结

本文在复数 $\mathbb{C}^n$ 的无界域上，建立了加权 $L^2$-Sobolev 空间中 $(0,q)$-型形式上 $\bar\partial$ 算子闭值域的充分条件——弱 $Z(q)$ 条件，将经典结果推广至非强伪凸和无界情形。关键贡献在于证明了在这些域中，加权 Sobolev 空间对于闭值域至关重要，且弱 $Z(q)$ 条件确保了 $\bar\partial$-Neumann 问题的正则性与可解性。

ABSTRACT

Let $Ω\subset\mathbb{C}^n$ be a domain and $1 \leq q \leq n-1$ fixed. Our purpose in this article is to establish a general sufficient condition for the closed range of the Cauchy-Riemann operator $\bar\partial$ in appropriately weighted $L^2$-Sobolev spaces on $(0,q)$-forms. The domains we consider may be neither bounded nor pseudoconvex, and our condition is a generalization of the classical $Z(q)$ condition that we call weak $Z(q)$. We provide examples that explain the necessity of working in weighted spaces both for closed range in $L^2$ and, even more critically, in $L^2$-Sobolev spaces.

研究动机与目标

• 在复数 $\mathbb{C}^n$ 的无界域上，建立加权 $L^2$-Sobolev 空间中 $(0,q)$-型形式上 $\bar\partial$ 算子闭值域的一般充分条件。
• 将经典的 $Z(q)$ 条件推广为适用于非强伪凸和无界域的更弱曲率条件——弱 $Z(q)$ 条件。
• 证明在无界域中，加权 $L^2$-Sobolev 空间对于闭值域估计是必要的，而无权空间因几何与分析障碍而失效。
• 通过构造加权 Sobolev 估计，将 $\bar\partial$-Neumann 理论推广至无界域，证明解的正则性。

提出的方法

• 引入弱 $Z(q)$ 条件作为 Levi 形式上的曲率条件，该条件推广了经典 $Z(q)$ 条件，并适用于无界域。
• 使用带权 $e^{-t|z|^2}$ 的加权 $L^2$-Sobolev 范数，以在无界域上稳定 $\bar\partial$-Neumann 问题。
• 应用分部积分与对易子估计，控制加权 Sobolev 范数下 $\bar\partial$ 及其共轭 $\bar\partial_t^*$ 的高阶导数。
• 利用边界附近向量场的切向性，通过小常数/大常数方法控制对易子并吸收低阶项。
• 证明 $\bar\partial$-Neumann 算子 $N_{q,t}$ 满足加权 $H^k$ 估计：$\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$。
• 利用标准解算子与 $\bar\partial$-Neumann 算子的连续性，建立 $C^\infty$ 解的可解性及边界处的正则性。

实验结果

研究问题

• RQ1 在无界域上，是否可以在不假设强伪凸性或有界性的前提下，于 $L^2$-Sobolev 空间中建立 $(0,q)$-型形式上 $\bar\partial$ 的闭值域？
• RQ2 在无界域上，加权 $L^2$-Sobolev 空间中 $\bar\partial$ 闭值域的最弱 Levi 形式曲率条件是什么？
• RQ3 为何在无界域中加权 $L^2$-Sobolev 空间对闭值域估计是必要的？几何障碍如何导致无权估计的失败？
• RQ4 弱 $Z(q)$ 条件如何推广文献中经典的 $Z(q)$ 及相关条件？其在确保 $\bar\partial$-Neumann 算子正则性中的作用是什么？
• RQ5 能否通过加权 Sobolev 估计在无界域上求解 $\bar\partial$-Neumann 问题，使其具有 $C^\infty$ 光滑解？对权函数与域结构有何基本要求？

主要发现

• 弱 $Z(q)$ 条件是复数 $\mathbb{C}^n$ 无界域上加权 $L^2$-Sobolev 空间中 $(0,q)$-型形式上 $\bar\partial$ 算子闭值域的充分曲率条件，即使域非强伪凸亦成立。
• 在无界域中，加权 $L^2$-Sobolev 空间对闭值域估计至关重要；无权估计因存在任意大的球而失效，此点通过 $u_R$ 的尺度论证得以说明。
• $\bar\partial$-Neumann 算子 $N_{q,t}$ 满足加权 $H^k$ 估计：当 $t$ 足够大时，有 $\|u\|_{t,k,\Omega}^2 \leq C_k(\|\bar\partial u\|_{t,k,\Omega}^2 + \|\bar\partial_t^* u\|_{t,k,\Omega}^2) + C_{k,t}\|u\|_{t,k-1,\Omega}^2$。
• 通过标准论证，该理论可推广至 $C^\infty$ 光滑解，表明在弱 $Z(q)$ 条件下，$\bar\partial$-Neumann 问题在无界域上可解且解具有边界正则性。
• 证明中使用切向向量场控制对易子并吸收低阶项，从而实现关键 $H^k$ 估计的推导。
• 在无界域中，若存在无穷多个半径固定的不相交球，则 Rellich 引理不成立，这意味着 $H^1(\Omega)$ 在 $L^2(\Omega)$ 中不紧，从而说明 Sobolev 理论中使用加权空间的必要性。