[论文解读] Functional calculus and spectral asymptotics for hypoelliptic operators on Heisenberg Manifolds. I

Raphaël Ponge|ArXiv.org|Feb 25, 2005

Spectral Theory in Mathematical Physics参考文献 49被引用 3

一句话总结

本文利用 Beals-Greiner 和 Taylor 的 Heisenberg 计算法，为 Heisenberg 流形上的拟椭圆微分 operator 建立了函数演算，将复幂表示为 $Ψ_{H}$ DO 的全纯族，并推导出精确的谱渐近展开。该研究提供了反演热算子 $P + \partial_t$ 的条件，并证明了几何算子（如 Kohn 拉普拉斯算子和接触拉普拉斯算子）的 Weyl 渐近性，其中显式常数仅依赖于维数和形式次数。

ABSTRACT

This paper is part of a series papers devoted to geometric and spectral theoretic applications of the hypoelliptic calculus on Heisenberg manifolds. More specifically, in this paper we make use of the Heisenberg calculus of Beals-Greiner and Taylor to analyze the spectral theory of hypoelliptic operators on Heisenberg manifolds. The main results of this paper include: (i) Obtaining complex powers of hypoelliptic operators as holomorphic families of Psi_{H}DO's, which can be used to define a scale of weighted Sobolev spaces interpolating the weighted Sobolev spaces of Folland-Stein and providing us with sharp regularity estimates for hypoelliptic operators on Heisenberg manifolds; (ii) Criterions on the principal symbol of $P$ to invert the heat operator $P+\partial_{t}$ and to derive the small time heat kernel asymptotics for $P$; (iii) Weyl asymptotics for hypoelliptic operators which can be reformulated geometrically for the main geometric operators on CR and contact manifolds, that is, the Kohn Laplacian, the horizontal sublaplacian and its conformal powers, as well as the contact Laplacian. For dealing with complex powers of hypoelliptic operators we cannot make use of the standard approach of Seeley, so we rely on a new approach based on the pseudodifferential approach representation of the heat kernel. This is especially suitable for dealing with positive hypoelliptic operators. We will deal with more general operator in a forthcoming paper using another new approach.

研究动机与目标

• 利用 Heisenberg 计算法克服经典拟微分方法的局限性，为 Heisenberg 流形上的拟椭圆算子建立函数演算。
• 将拟椭圆算子的复幂表示为 $Ψ_{H}$ DO 的全 holomorphic 族，从而通过加权 Sobolev 空间尺度实现精确的正则性估计。
• 推导关于主符号的条件，以反演热算子 $P + \partial_t$ 并获得小时间热核渐近展开。
• 证明 CR 流形与接触流形上关键几何算子（包括 Kohn 拉普拉斯算子、水平子拉普拉斯算子与接触拉普拉斯算子）的 Weyl 渐近性。
• 为 Heisenberg 设置下的非交换几何框架奠定基础，包括 Connes-Moscovici 的局部指标公式。

提出的方法

• 利用 Beals-Greiner 和 Taylor 的 Heisenberg 计算法，该方法在每一点 $x \in M$ 的幂零切群 $G_xM$ 上建模算子。
• 通过拟微分方法表示热核，避免使用标准的 Seeley 方法，因为 Heisenberg 计算法缺乏微局部性。
• 将拟椭圆算子的复幂构造为 $Ψ_{H}$ DO 的全 holomorphic 族，从而在 Folland-Stein 加权 Sobolev 空间之间实现插值。
• 应用 [Po6] 中的切群丛构造，以内在方式定义主符号，从而在一般 Heisenberg 流形上实现符号演算。
• 在点 $a \in M$ 处使用 Heisenberg 坐标，将 $\mathbb{H}^{2n+1}$ 上的局部模型算子与 $M$ 上的全局算子进行比较。
• 利用 Heisenberg 群 $\mathbb{H}^{2n+1}$ 上的模型算子 $\Delta_R^0$，通过 $\Delta_R^0 + \partial_t$ 的基本解 $K_0(x,t)$ 推导渐近展开。

实验结果

研究问题

• RQ1 如何在 Heisenberg 计算法中定义拟椭圆算子的复幂，以获得精确的正则性估计？
• RQ2 拟椭圆算子 $P$ 的主符号需满足何种条件，才能保证热算子 $P + \partial_t$ 的可逆性？
• RQ3 Heisenberg 流形上拟椭圆算子的小时间热核渐近展开为何种形式？
• RQ4 Kohn 拉普拉斯算子与接触拉普拉斯算子的 Weyl 渐近性在 CR 流形与接触流形上如何体现其几何特征？
• RQ5 拟椭圆算子的谱理论能否用于在 Heisenberg 设置下构建非交换几何框架？

主要发现

• 对于 $k=0,\ldots,2n$，$k \neq n$，特征值计数函数 $N(\Delta_{R|_{\Lambda^k}})$ 满足当 $\lambda \to \infty$ 时 $N(\Delta_{R|_{\Lambda^k}}) \sim \nu_{nk}(\operatorname{vol}_\theta M)\lambda^{n+1}$，其中 $\nu_{nk} = 2^{-n}/(n+1)! \cdot \operatorname{tr}_{\Lambda^{k,0}} K_0|_{\Lambda^{k,0}}(0,1)$。
• 对于 $j=1,2$，特征值计数函数 $N(\Delta_{R|_{\Lambda^n_j}})$ 满足当 $\lambda \to \infty$ 时 $N(\Delta_{R|_{\Lambda^n_j}}) \sim \nu_n^{(j)}(\operatorname{vol}_\theta M)\lambda^{(n+1)/2}$，其中 $\nu_n^{(j)} = 2^{-n}\Gamma(1 + (n+1)/2)^{-1} \cdot \operatorname{tr}_{\Lambda^{n,0}_j} K_0|_{\Lambda^{n,0}_j}(0,1)$。
• 常数 $\nu_{nk}$ 与 $\nu_n^{(j)}$ 仅依赖于 $n$ 和 $k$（或 $j$），因此为与特定流形无关的普遍常数。
• 在点 $a$ 处的模型算子 $\Delta_R^a$ 在 Heisenberg 坐标下与 $\mathbb{H}^{2n+1}$ 上的接触拉普拉斯算子 $\Delta_R^0$ 一致，从而实现局部渐近分析。
• 热核渐近性通过 $\Delta_R^0 + \partial_t$ 的基本解 $K_0(x,t)$ 推导得出，其在 $t=1$ 时限制在 $\Lambda^{k,0}$ 与 $\Lambda^{n,0}_j$ 上的迹决定了谱常数。
• Weyl 渐近性被几何化重述：特征值的增长率反映了接触流形的内在维数与结构，$k \neq n$ 与 $k=n$ 的情形具有不同的指数。