[论文解读] The asymptotics of the Laplacian on a manifold with boundary II

Thomas Branson, Peter Gilkey+1 more|ArXiv.org|Apr 6, 1995

Spectral Theory in Mathematical Physics参考文献 7被引用 14

一句话总结

本文计算了在紧致黎曼流形带边界且满足狄利克雷或诺伊曼条件时，拉普拉斯算子热迹渐近展开中的第五个系数 $ a_5 $。当边界为全测地时，推导出 $ a_5 $ 的显式公式，并确定了在 $ \mathbb{R}^m $ 中平坦区域情形下 $ |\nabla L|^2 $ 的系数，解决了谱几何中一个关键未知量，对同谱集的紧致性定理具有应用价值。

ABSTRACT

We study the fifth term in the asymptotic expansion of the heat operator trace for a partial differential operator of Laplace type on a compact Riemannian manifold with Dirichlet or Neumann boundary conditions.

研究动机与目标

• 计算在紧致黎曼流形带边界且满足狄利克雷或诺伊曼条件时，拉普拉斯型算子热迹渐近展开中第五项 $ a_5 $ 的表达式。
• 解决在平坦区域中函数拉普拉斯算子的 $ a_5 $ 展开中 $ |\nabla L|^2 $ 的系数，这是谱几何中的一个关键未知量。
• 在边界为全测地的假设下，提供 $ a_5 $ 的完整公式，此时组合复杂度可管理。
• 通过识别变分公式应用中的错误，纠正文献中关于混合边界条件下 $ a_4 $ 的早期错误。

提出的方法

• 使用变分技术计算在度量和边界条件扰动下 $ a_5 $ 的变化。
• 应用局部指标定理方法，并依赖于拉普拉斯型算子热核展开的结构。
• 采用局部标准正交标架及关于 Levi-Civita 连接和边界 Levi-Civita 连接的协变导数。
• 通过曲率不变量、第二基本形式 $ L $ 和边界算子 $ \mathcal{B}_S^\pm $（包括修正诺伊曼条件的自伴算子 $ S $）推导渐近展开。
• 限制在 $ \mathbb{R}^m $ 中的平坦区域，以简化曲率项并分离出 $ |\nabla L|^2 $ 的贡献。
• 利用恒等式 $ L_{bc:a} - L_{ac:b} = R_{abcm} $，在 $ R = 0 $ 时将 $ L $ 的导数表示为曲率的函数。

实验结果

研究问题

• RQ1 在具有全测地边界的流形上，拉普拉斯算子热核展开中第五个系数 $ a_5 $ 的显式形式是什么？
• RQ2 在平坦区域中，满足狄利克雷或诺伊曼边界条件的函数拉普拉斯算子的 $ a_5 $ 中，$ |\nabla L|^2 $ 的系数是多少？
• RQ3 当边界非全测地时，第二基本形式 $ L $ 如何影响渐近展开？
• RQ4 为何此前 $ |\nabla L|^2 $ 项中的系数 $ e_1^+ $ 未知，其具体数值为何？
• RQ5 在混合边界条件下，早期 $ a_4 $ 公式中存在哪些修正，错误的根源何在？

主要发现

• 诺伊曼情形下 $ |\nabla L|^2 $ 的系数 $ e_1^+ $ 为 $ -19 \cdot 45 / 16 $，该值对平面同谱集的紧致性定理具有关键意义。
• 狄利克雷情形下系数 $ e_1^- $ 为 $ 45 / 16 $，此前已知，现于一致框架下得到确认。
• 在全测地边界下，$ a_5 $ 显式导出为边界上的局部积分，涉及曲率不变量、第二基本形式和边界算子 $ S $。
• 在平坦区域中，$ a_5 $ 展开简化为包含 $ L_{ab:c}L_{ab:c} $、$ L_{aa}L_{bb}L_{cc}L_{dd} $ 及其他 $ \nabla L $ 对称收缩的项之和。
• 本文识别并纠正了早期关于混合边界条件下 $ a_4 $ 计算的错误，表明文献 [3] 中的变分公式被错误地应用到了其有效范围之外。
• 系数 $ e_1^+ $ 是本研究的主要驱动力，因其在 Gursky 关于平面同谱集紧致性的研究中起核心作用。