[论文解读] Global hypoellipticity of the Kohn-Laplacian $\Box_b$ on pseudoconvex CR manifolds

Tran Vu Khanh|arXiv (Cornell University)|Dec 29, 2010

Holomorphic and Operator Theory参考文献 11被引用 6

一句话总结

该论文建立了紧致、光滑、拟凸CR流形上切向Cauchy-Riemann算子 $\bar{\partial}_b$ 的光滑解的全局存在性，并在存在严格CR-拟凸函数及弱性质(P)的条件下，证明了嵌入复流形中的紧致、光滑、拟凸CR流形上Kohn-Laplacian算子 $\Box_b$ 的全局拟椭圆性。这些结果将CR几何中的全局正则性与可解性结果推广至具有几何控制的更广泛流形类。

ABSTRACT

Let $X$ be a complex manifold and $M\subset X$ a compact, smooth, pseudoconvex CR manifold of dimension $2n-1$. (Here $n\ge 3$ or, in case $n=2$, it is made the extra assumption that $\dib_b$ has closed range on functions.) Assume that there exists a strictly CR-plurisubharmonic function in a neighborhood of $M$ in $X$. In this situation, there are here proved \begin{enumerate} \item[(i)] The global existence of $C^\infty$ solutions to the tangential Cauchy-Riemann operator $\dib_b$. \item[(ii)] The global hypoellipticity of the Kohn-Laplacian $\Box_b$, under the additional condition of "weak Property (P)". \end{enumerate}

研究动机与目标

• 在紧致拟凸CR流形上，建立切向Cauchy-Riemann算子 $\bar{\partial}_b$ 的 $C^\infty$ 解的全局存在性。
• 在几何与解析条件下，研究Kohn-Laplacian算子 $\Box_b$ 的全局拟椭圆性。
• 将CR几何中已知的全局正则性与可解性结果推广至更高余维与更一般的拟凸情形。
• 引入并利用弱性质(P)作为 $\Box_b$ 拟椭圆性的充分条件。

提出的方法

• 利用在CR流形邻域内存在严格CR-拟凸函数，以控制流形的几何与曲率。
• 应用复分析与偏微分方程技术，分析拟凸CR流形上的 $\bar{\partial}_b$-Neumann问题。
• 采用 $L^2$ 估计与Sobolev空间理论，证明解的存在性与正则性。
• 引入并验证弱性质(P)作为确保 $\Box_b$ 拟椭圆性的关键解析条件。
• 依赖于当 $n=2$ 时 $\bar{\partial}_b$ 在函数上的闭值域性质，以确保低维情形下的适定性。
• 结合几何假设（拟凸性、严格拟凸函数的存在性）与解析工具，推导出全局结果。

实验结果

研究问题

• RQ1 在紧致拟凸CR流形上，切向Cauchy-Riemann算子 $\bar{\partial}_b$ 在 $C^\infty$ 范畴下，其全局可解性的几何与解析条件是什么？
• RQ2 Kohn-Laplacian算子 $\Box_b$ 在此类流形上是否具有全局拟椭圆性？何种条件可确保这一点？
• RQ3 严格CR-拟凸函数的存在如何影响 $\bar{\partial}_b$ 与 $\Box_b$ 的可解性与正则性？
• RQ4 弱性质(P)在确保 $\Box_b$ 拟椭圆性方面起什么作用？
• RQ5 当 $n=2$ 时，结果如何变化，此时需对 $\bar{\partial}_b$ 的闭值域施加额外假设？

主要发现

• 在紧致、光滑、拟凸CR流形上，若在邻域内存在严格CR-拟凸函数，则 $\bar{\partial}_b$ 的 $C^\infty$ 解的全局存在性得以确立。
• 当弱性质(P)成立，且存在严格CR-拟凸函数时，Kohn-Laplacian算子 $\Box_b$ 具有全局拟椭圆性。
• 该结果对 $n \geq 3$ 成立；当 $n = 2$ 时，只要 $\bar{\partial}_b$ 在函数上具有闭值域，则结论仍成立。
• 严格CR-拟凸性这一几何条件可对Levi形式与曲率施加充分控制，从而支持全局分析。
• 弱性质(P)作为充分条件，可确保 $\Box_b$-解在数据光滑处亦为光滑。
• 该分析统一并扩展了CR几何中关于全局正则性与可解性的先前结果，适用于更广泛的拟凸CR流形类。