[论文解读] Aspects of the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem

Emil J. Sträube|ArXiv.org|Jan 6, 2006

Nonlinear Partial Differential Equations参考文献 50被引用 6

一句话总结

本文通过在强伪凸域上建立 $ar{\partial}$-Neumann 算子的新先验估计与紧致性准则，推进了 $L^2$-Sobolev 理论中 $ar{\partial}$-Neumann 问题的研究。研究表明，$ar{\partial}$-Neumann 算子在 $q=1$ 层次的紧致性，等价于通过 Levi 形式与边界定义函数所定义的特定算子 $A_\rho$ 的紧致性，从而将域的几何性质与解析正则性及可解性联系起来。

ABSTRACT

The $\bar{\partial}$-Neumann problem is the fundamental boundary value problem in several complex variables. It features an elliptic operator coupled with non-coercive boundary conditions. The problem is globally regular on many, but not all, pseudoconvex domains. We discuss several recent developments in the $L^{2}$-Sobolev theory of the $\bar{\partial}$-Neumann problem that concern compactness and global regularity.

研究动机与目标

• 阐明 $ar{\partial}$-Neumann 算子在 $L^2$-Sobolev 空间中表现出紧致性与全局正则性的条件。
• 利用对易子技巧与向量场逼近法，为强伪凸域上的 $ar{\partial}$-Neumann 问题建立新的先验估计。
• 研究 Diederich-Forn":[8]æss 指数在决定 $ar{\partial}$-Neumann 解算子的 Sobolev 正则性水平中的作用。
• 通过算子 $A_\rho$ 探索‘紧致性乘子’的存在性与结构，该算子由 Levi 形式与边界定义函数定义。
• 将已知的关于严格强伪凸域上全局正则性与紧致性的结果，推广至具有较弱几何假设的更一般强伪凸域。

提出的方法

• 通过向量场 $X_\varepsilon - \overline{X_\varepsilon}$ 与 $\nabla$、$\nabla^*$ 的对易子，推导 $ar{\partial}$-Neumann 问题的先验估计，并利用分部积分将对易子项重新移回左侧。
• 应用涉及 $C^2$ 定义函数 $ abla_\varepsilon$ 的二阶导数的加权估计，其中 $ abla_\varepsilon$ 近似边界定义函数 $ abla$。
• 利用 $ar{\partial}$-Neumann 边界条件的结构——特别是 $u$ 与 $\nabla u$ 的法向分量的 Dirichlet 型条件——来控制能量估计中的边界项。
• 采用椭圆正则化方法，并对形式层 $q$ 进行向下归纳，将估计从严格强伪凸逼近域推广至极限域。
• 依赖于关键估计 (3.6)，其中对易子项的 $L^2$-范数被 $ abla$-范数 $N_1\nabla f$ 与 $\nabla^* N_1\nabla f$ 控制，小参数 $ abla$ 控制误差。
• 分析由 $A_\rho(u) = \sum_{j,k} \frac{\partial^2 \rho}{\partial z_j \partial \overline{z_k}} \frac{\partial \rho}{\partial \overline{z_j}} \overline{u_k}$ 定义的算子 $A_\rho$，证明其紧致性等价于估计 (3.6) 在 $ abla_\varepsilon$ 中的一致成立。

实验结果

研究问题

• RQ1 在强伪凸域上，何种几何条件下，$ abla$-Neumann 算子在 $L^2_{(0,q)}(\Omega)$ 上是紧致的？
• RQ2 域的 Diederich-Forn":[8]æss 指数如何影响 $ abla$-Neumann 解算子的 Sobolev 正则性水平？
• RQ3 能否通过由 Levi 形式与定义函数所定义的特定积分算子 $A_\rho$ 的紧致性来刻画 $ abla$-Neumann 算子的紧致性？
• RQ4 通过正则化与对易子技巧，能否将 $ abla$-Neumann 问题的先验估计从严格强伪凸域推广至一般强伪凸域？
• RQ5 是否存在一种‘紧致性乘子’理论，可推广 Levi 形式在决定 $ abla$-Neumann 算子紧致性中的作用？

主要发现

• $\nabla$-Neumann 算子 $N_1$ 在 $L^2_{(0,1)}(\Omega)$ 上是紧致的，当且仅当由 $A_\rho(u) = \sum_{j,k} \frac{\partial^2 \rho}{\partial z_j \partial \overline{z_k}} \frac{\partial \rho}{\partial \overline{z_j}} \overline{u_k}$ 定义的算子 $A_\rho$ 是紧致的。
• 若且唯若 $A_\rho$ 紧致，则论文中的关键估计 (3.6) 在 $ abla_\varepsilon$ 中一致成立，这为先验估计导出 $N_1$ 紧致性的必要与充分条件。
• $A_\rho$ 的紧致性在所有凸域上成立，因为它们具有强拟凸定义函数，即使 $N_1$ 不紧致，除非边界不包含全纯圆盘。
• 使用向量场 $X_\varepsilon - \overline{X_\varepsilon}$ 与对易子估计的证明方法，可导出在 $ abla_\varepsilon$ 中一致的先验估计，从而允许通过椭圆正则化方法取极限。
• 结果表明，Diederich-Forn":[8]æss 指数控制着估计成立的 Sobolev 正则性水平，且可通过 [91] 的方法利用算子 $A_\rho$ 恢复该水平。
• 本文确立了对易子法向分量的逐点估计强度，是椭圆正则化成功的关键；若估计较弱，则需对正则化算子建立新的非平凡估计，如 [91] 中所导出。