[论文解读] On the weighted $\bar\partial$-Neumann problem on unbounded domains

Klaus Gansberger|ArXiv.org|Dec 4, 2009

Holomorphic and Operator Theory参考文献 12被引用 7

一句话总结

本文通过使用强次调和权函数的复 Hessian 的特征值，建立了在 $\mathbb{C}^n$ 中无界强拟凸域上加权 $\bar{\partial}$-Neumann 算子存在性与紧性的必要充分条件。关键结果表明：若 Hessian 的最小特征值在无穷远处有正的下界，则算子存在；若该特征值趋于无穷且边界满足局部 Property (P)，则算子是紧的。

ABSTRACT

Let $Ω$ be an unbounded, pseudoconvex domain in $\Bbb C^n$ and let $φ$ be a $\mathcal C^2$-weight function plurisubharmonic on $Ω$. We show both necessary and sufficient conditions for existence and compactness of a weighted $\bar\partial$-Neumann operator $N_φ$ on the space $L^2_{(0,1)}(Ω,e^{-φ})$ in terms of the eigenvalues of the complex Hessian $(\partial ^2φ/\partial z_j\partial\bar z_k)_{j,k}$ of the weight. We also give some applications to the unweighted $\bar\partial$-Neumann problem on unbounded domains.

研究动机与目标

• 将加权 $\bar{\partial}$-Neumann 问题的理论推广至 $\mathbb{C}^n$ 中的无界强拟凸域。
• 根据权函数复 Hessian 的谱性质，刻画加权 $\bar{\partial}$-Neumann 算子的存在性与紧性。
• 将 Catlin 的 Property (P) 推广至无界域，并将其用作紧性的充分条件。
• 阐明在何种几何与解析条件下，$\bar{\partial}$-Neumann 算子在无界域上保持有界或紧。
• 建立紧性、拟有界性与拟柱形性之间的联系，表明紧性蕴含拟有界性。

提出的方法

• 本文利用 Kohn–Morrey 公式，将 $\bar{\partial}$-Neumann 问题与权函数复 Hessian 的几何性质联系起来。
• 针对无界域引入 Catlin 的 Property (P) 的局部版本，要求在边界附近存在光滑且一致有界的强次调和函数，其 Hessian 特征值较大。
• 证明：若权函数 Hessian 的最小特征值在无穷远处的下确界保持有正下界 $\varepsilon > 0$，则有界 $\bar{\partial}$-Neumann 算子存在。
• 在 Hessian 最小特征值趋于无穷且边界满足局部 Property (P) 的条件下，证明算子的紧性。
• 利用权函数的等价性，将加权与无权 $L^2$ 空间之间的结果相互转移，保持有界性与紧性。
• 应用诸如拟有界性与拟柱形性等几何准则，推导出存在性与紧性的必要条件。

实验结果

研究问题

• RQ1 在权函数复 Hessian 满足何种条件时，加权 $\bar{\partial}$-Neumann 算子在无界强拟凸域上存在？
• RQ2 Catlin 的 Property (P) 能否推广至无界域，以刻画 $\bar{\partial}$-Neumann 算子的紧性？
• RQ3 域的何种几何性质（如拟有界性、拟柱形性）是 $\bar{\partial}$-Neumann 算子存在性或紧性的必要条件？
• RQ4 强次调和权函数复 Hessian 的谱性质如何影响 $\bar{\partial}$-Neumann 算子的正则性与有界性？
• RQ5 在双全纯映射下，$\bar{\partial}$-Neumann 算子的紧性是否保持不变？这与域的几何有何关联？

主要发现

• 若权函数复 Hessian 的最小特征值 $\lambda_\varphi(z)$ 满足 $\liminf_{|z|\to\infty, z\in\Omega} \lambda_\varphi(z) \geq \varepsilon > 0$，则加权 $\bar{\partial}$-Neumann 算子 $N_\varphi$ 在 $L^2_{(0,1)}(\Omega, e^{-\varphi})$ 上存在且有界。
• 若 $\Omega$ 的边界满足局部 Property (P)，且当 $|z| \to \infty$ 时 $\lambda_\varphi(z) \to \infty$，则 $N_\varphi$ 在 $L^2_{(0,1)}(\Omega, e^{-\varphi})$ 上是紧的。
• 在无界域上，$\bar{\partial}$-Neumann 算子的紧性蕴含该域是拟有界的，即 $\lim_{|z|\to\infty, z\in\Omega} \text{dist}(z, \partial\Omega) = 0$。
• 在无界域上，若存在有界 $\bar{\partial}$-Neumann 算子，则该域是拟柱形的，即存在某个 $C > 0$，使得 $\limsup_{|z|\to\infty, z\in\Omega} \text{dist}(z, \partial\Omega) \leq C$。
• 若存在在无穷远处满足 $\lambda_\varphi \geq \varepsilon > 0$ 的有界强次调和权函数 $\varphi$，则无权空间上存在有界 $\bar{\partial}$-Neumann 算子。
• 若 $\Omega$ 满足 Property (P)，且存在有界强次调和函数 $\varphi$ 满足 $\lambda_\varphi \to \infty$ 在无穷远处，则无权 $\bar{\partial}$-Neumann 算子是紧的。