[论文解读] Heat-Kernel Asymptotics with Generalized Boundary Conditions

Ivan G. Avramidi, Giampiero Esposito|arXiv (Cornell University)|Jan 7, 1997

Numerical methods in inverse problems参考文献 22被引用 16

一句话总结

本文提出了一种系统方法，用于在涉及法向与切向导数的广义边界条件下，计算流形上拉普拉斯型算子的热核渐近展开。通过在共形重标度下推导递推关系并识别与维度无关的普遍函数，作者首次获得了 $A_{3/2}$ 和 $A_2$ 系数的显式公式，揭示了新的几何不变量，并提出了一个广义公式，关联不同边界条件下热核的关系。

ABSTRACT

The quantization of gauge fields and gravitation on manifolds with boundary makes it necessary to study boundary conditions which involve both normal and tangential derivatives of the quantized field. The resulting one-loop divergences can be studied by means of the asymptotic expansion of the heat kernel, and a particular case of their general structure is here analyzed in detail. The interior and boundary contributions to heat-kernel coefficients are written as linear combinations of all geometric invariants of the problem. The behaviour of the differential operator and of the heat kernel under conformal rescalings of the background metric leads to recurrence relations which, jointly with the boundary conditions, may determine these linear combinations. Remarkably, they are expressed in terms of universal functions, independent of the dimension of the background and invariant under conformal rescalings, and new geometric invariants contribute to heat-kernel asymptotics. Such technique is applied to the evaluation of the A(1) coefficient when the matrices occurring in the boundary operator commute with each other. Under these assumptions, the form of the A(3/2) and A(2) coefficients is obtained for the first time, and new equations among universal functions are derived. A generalized formula, relating asymptotic heat kernels with different boundary conditions, is also obtained.

研究动机与目标

• 分析在涉及法向与切向导数的广义边界条件下，流形上拉普拉斯型算子的热核渐近展开。
• 确定此类条件下热核系数 $A_{1/2}, A_1, A_{3/2}, A_2$ 的结构。
• 识别出现在系数中的几何不变量的线性组合，包括曲率、外曲率及丛曲率。
• 从度量的共形重标度推导递推关系，这些关系约束了热核展开中几何不变量的系数，并揭示了与时空维度无关的普遍函数。
• 建立一个广义公式，关联不同边界条件下热核的关系，推广了以往对狄利克雷型与罗宾型结果的研究。

提出的方法

• 作者采用热核方法结合 $\zeta$-函数正则化，计算量子场论在带边流形上的单圈发散项。
• 他们考虑一个在光滑黎曼流形 $M$ 及其边界 $\partial M$ 上的拉普拉斯型算子 $P = -g^{ab}\nabla_a\nabla_b - E$，该算子与带有连接的向量丛耦合。
• 边界条件被表述为一个作用于场及其法向导数的一阶微分算子 $\mathcal{B}$，允许法向与切向导数的混合。
• 度量的共形重标度导致递推关系，这些关系约束了热核展开中几何不变量的系数。
• 系数 $A_k(f,P,\mathcal{B})$ 表示为几何不变量的线性组合，其系数由在共形重标度下保持不变的普遍函数确定。
• 该方法被应用于在边界算子矩阵可交换的假设下，显式计算 $A_{3/2}$ 与 $A_2$ 系数。

实验结果

研究问题

• RQ1 热核系数 $A_{3/2}$ 与 $A_2$ 如何依赖于包含法向与切向导数的广义边界条件？
• RQ2 共形不变性在约束热核展开中几何不变量系数方面起什么作用？
• RQ3 与标准狄利克雷型或罗宾型相比，广义边界条件下渐近展开中出现了哪些新的几何不变量？
• RQ4 能否推导出一个通用公式，关联不同边界条件下热核的关系，推广已知结果？
• RQ5 在边界算子矩阵可交换的假设下，非极小算子的 $A_2$ 系数的显式形式是什么？

主要发现

• 首次以闭合形式推导出广义边界条件下 $A_{3/2}$ 系数，其贡献项包括 $E$、$R$、$R^i{}_{NiN}$、$K^2$、$K_{ij}K^{ij}$、$SK$、$S^2$ 及其法向导数。
• 在边界算子矩阵可交换的假设下，显式计算了 $A_2$ 系数，揭示了边界项中存在 21 个不同的几何不变量。
• 系数表示为几何不变量的线性组合，其系数由与时空维度无关且在共形重标度下保持不变的普遍函数给出。
• 从共形不变性推导出新的递推关系，这些关系约束了系数中不变量的线性组合。
• 获得了一个广义公式，关联不同边界条件下热核的关系，推广了以往对狄利克雷与罗宾情形的结果。
• 该方法证实，在带边流形上量子场论的单圈发散项中，即使在缺乏广义边界条件完整假设的情况下，也必须完整考虑外曲率、内曲率与丛曲率。