[论文解读] Compactness for the d-bar - Neumann problem - a functional analysis approach

Friedrich Haslinger|ArXiv.org|Dec 22, 2009

Advanced Mathematical Modeling in Engineering参考文献 4被引用 4

一句话总结

本文通过在 $\mathbb{C}^n$ 上加权 $L^2$-空间中使用 $L^2$-空间中的相对紧致性准则，建立了一种函数分析方法，研究了 $\bar{\partial}$-Neumann 算子的紧致性。证明了性质 (P) 在光滑有界拟凸域上蕴含 $\bar{\partial}$-Neumann 算子的紧致性，通过嵌入紧致性和 Kohn-Morrey 公式给出了一个新的证明。

ABSTRACT

We discuss compactness of the d-bar-Neumann operator in the setting of weighted L^2-spaces on C^n.$ For this purpose we use a description of relatively compact subsets of L^2- spaces. We also point out how to use this method to show that property (P) implies compactness for the d-bar-Neumann operator on a smoothly bounded pseudoconvex domain and mention an abstract functional analysis characterization of compactness of the d-bar-Neumann operator.

研究动机与目标

• 为 $\mathbb{C}^n$ 上加权 $L^2$-空间中 $\bar{\partial}$-Neumann 算子的紧致性提供一个函数分析表征。
• 建立一个新证明，表明性质 (P) 在光滑有界拟凸域上蕴含 $\bar{\partial}$-Neumann 算子的紧致性。
• 通过 $L^2_{(0,1)}(\Omega)$ 中图范数下单位球的相对紧致性，表征 $\bar{\partial}$-Neumann 算子的紧致性。

提出的方法

• 基于一致连续性（平移不变性）和边界处的一致衰减，使用 $L^2$-空间中相对紧致性的准则。
• 应用 Kohn-Morrey 公式，将 $(0,1)$-型式的 $L^2$-范数与加权测度下其 $\bar{\partial}$ 和 $\bar{\partial}^*$-范数联系起来。
• 利用加权复 Hessian $\sum_{j,k} \frac{\partial^2 \varphi}{\partial z_j \partial \overline{z}_k} u_j \overline{u}_k$，通过性质 (P) 控制 $\bar{\partial}^*_\varphi$-范数。
• 将 $\bar{\partial}$-Neumann 算子的紧致性问题约化为在图范数下，嵌入映射 $j: \text{dom}(\bar{\partial}) \cap \text{dom}(\bar{\partial}^*_\varphi) \to L^2_{(0,1)}(\Omega)$ 的紧致性。
• 利用等价关系 $N = j \circ j^*$，通过对偶性和伴随算子，将 $N$ 的紧致性与嵌入映射 $j$ 的紧致性联系起来。
• 依赖于性质 (P) 蕴含性质 (\tilde{P}) 的事实，从而通过复 Hessian 控制 $\bar{\partial}^*_\varphi$-伴随算子中的低阶项。

实验结果

研究问题

• RQ1 性质 (P) 是否在 $\mathbb{C}^n$ 中光滑有界拟凸域上蕴含 $\bar{\partial}$-Neumann 算子的紧致性？
• RQ2 能否通过 $L^2_{(0,1)}(\Omega)$ 中图范数下单位球的相对紧致性来表征 $\bar{\partial}$-Neumann 算子的紧致性？
• RQ3 哪些函数分析条件可确保 $\bar{\partial}$-Neumann 算子是紧的，特别是关于复拉普拉斯算子定义域的嵌入性质？

主要发现

• 性质 (P) 意味着在图范数下，$\text{dom}(\bar{\partial}) \cap \text{dom}(\bar{\partial}^*_\varphi)$ 中的单位球在 $L^2_{(0,1)}(\Omega)$ 中是相对紧致的，从而保证了 $\bar{\partial}$-Neumann 算子的紧致性。
• $\bar{\partial}$-Neumann 算子 $N_\varphi$ 是紧的，当且仅当在图范数下单位球中的函数在 $\Omega^c$ 的紧子集上满足一致的 $L^2$-衰减，即对所有属于单位球的 $f$ 和某个 $\omega \subset\subset \Omega$，有 $\|f\|_{L^2(\Omega \setminus \omega)} < \epsilon$。
• 在图范数拓扑下，嵌入映射 $j: \text{dom}(\bar{\partial}) \cap \text{dom}(\bar{\partial}^*_\varphi) \to L^2_{(0,1)}(\Omega)$ 是紧的，当且仅当 $\bar{\partial}$-Neumann 算子 $N_\varphi$ 是紧的。
• Kohn-Morrey 公式通过复 Hessian 提供了对 $u$ 的 $L^2$-范数的下界，当满足性质 (P) 时，可得到一致的强制性，从而推出紧致性。
• 该方法表明，在性质 (P) 下，$\bar{\partial}^*_\varphi$-项可由复 Hessian 控制，从而允许在 $L^2$ 中使用标准的相对紧致性准则。
• 本文给出了 Catlin 结果的一个新函数分析证明：性质 (P) 蕴含 $\bar{\partial}$-Neumann 算子的紧致性，方法基于平移不变性和 $L^2$-范数的衰减条件。