[论文解读] Complete Computation of DeWitt-Seeley-Gilkey Coefficient E_4 for Nonminimal Operator on Curved Manifolds

V. P. Gusynin, Vladimir V. Kornyak|ArXiv.org|Sep 24, 1999

Numerical methods in inverse problems参考文献 1被引用 7

一句话总结

本文通过在个人电脑上使用符号计算，首次完成了在具有规范场的弯曲流形上，对非最小微分算子的四阶DeWitt-Seeley-Gilkey系数 $ E_4 $ 的完整解析计算。结果以一般维度 $ n $ 的形式推导，并显式计算了 $ n = 4 $ 的情形，提供了该背景下 $ E_4 $ 的首个闭式表达式，这对弯曲时空量子场论中的热核渐近展开至关重要。

ABSTRACT

Asymptotic heat kernel expansion for nonminimal differential operators on curved manifolds in the presence of gauge fields is considered. The complete expressions for the fourth coefficient E_4 in the heat kernel expansion for such operators are presented for the first time. The expressions were computed for general case of manifolds of arbitrary dimension n and also for the most important case n=4. The calculations have been carried out on PC with the help of a program written in C.

研究动机与目标

• 推导非最小微分算子在弯曲流形上热核渐近展开中第四系数 $ E_4 $ 的完整解析表达式。
• 将已知的热核系数扩展至 $ E_3 $ 以上，特别是针对与规范场和曲率耦合的算子。
• 在任意维度 $ n $ 下，以及在物理上重要的情形 $ n = 4 $ 下，提供 $ E_4 $ 的显式闭式表达式。
• 通过在个人电脑上实现的定制C程序，采用系统化的符号计算方法达成上述目标。

提出的方法

• 使用定制C程序进行符号计算，以处理曲率不变量和规范场耦合带来的代数复杂性。
• 将DeWitt-Seeley-Gilkey热核展开形式化方法应用于非最小二阶微分算子。
• 在计算中纳入一般曲率张量、里奇标量、黎曼张量以及规范场强度。
• 运用张量和微分几何技术，对四阶以内的曲率不变量进行收缩与简化。
• 以局部不变量（包括里奇曲率、黎曼张量和规范场强度张量）的形式推导 $ E_4 $。
• 通过代数化简和对称性分析，对结果进行验证与紧凑化。

实验结果

研究问题

• RQ1 非最小算子在具有规范场的弯曲流形上，其热核第四系数 $ E_4 $ 的完整解析形式是什么？
• RQ2 曲率与规范场不变量在任意维度下如何贡献于 $ E_4 $？
• RQ3 在四维情形下 $ E_4 $ 的显式表达式是什么？此情形在物理上具有主要意义。
• RQ4 如何通过计算代数系统化地计算并简化此类高阶曲率不变量？
• RQ5 从局部几何与规范理论不变量的角度看，$ E_4 $ 的结构是怎样的？

主要发现

• 本文首次给出了具有规范场的弯曲流形上非最小微分算子的热核系数 $ E_4 $ 的完整闭式表达式。
• 结果以一般维度 $ n $ 推导得出，并提供了显式化简与紧凑形式。
• 对于 $ n = 4 $，$ E_4 $ 的表达式被显式计算，包含所有四阶以内的相关曲率与规范场不变量。
• 计算通过定制C程序完成，证明了符号计算在高阶热核系数计算中的可行性。
• 最终表达式以紧凑的不变形式呈现，适用于弯曲时空中的量子场论。
• 本工作为有效作用量计算与异常研究中的高阶热核计算提供了基础工具。