[论文解读] Functional determinants in the presence of zero modes

Klaus Kirsten, Alan J. McKane|ArXiv.org|Jul 1, 2005

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

一句话总结

本文提出了一种轮廓积分方法，用于计算二阶微分算子的函数行列式，特别解决了零模态（zero modes）带来的挑战。通过将zeta函数重新表述为轮廓积分，并对所得表达式进行解析延拓，作者推导出在存在零模态时函数行列式的闭式公式，关键结果为 $- ln\det L = -\nln(2f_0)$，其中 $f_0$ 是从零模态在边界处的导数导出的量。

ABSTRACT

We present a simple and accessible method which uses contour integration methods to derive formulae for functional determinants. To make the presentation as clear as possible we illustrate the general ideas using the Laplacian with Dirichlet boundary conditions on the interval. Afterwards, we indicate how more general operators as well as general boundary conditions can be covered.

研究动机与目标

• 为在存在零模态时计算量子场论与数学物理中的函数行列式，发展一种系统性方法。
• 将先前仅适用于非简并情况的轮廓积分技术，推广至存在零模态的算子，此时标准zeta函数正则化方法失效。
• 推导出一个闭式表达式，明确分离出零模态对行列式贡献的部分，且仅依赖于零模态的边界数据。
• 将该方法推广至具有任意边界条件和势能的Sturm-Liouville算子，确保其适用性超越对称或简单情形。

提出的方法

• 在复 $k$-平面上使用轮廓积分来表示算子的zeta函数，起点为拉普拉斯算子的隐式本征值方程 $\sin k = 0$。
• 通过将 $\ln \sin k$ 替换为 $\ln(\sin k / k)$ 来修改zeta函数的表示形式，以消除 $k=0$ 处的奇点，从而实现轮廓的形变。
• 将积分轮廓移至虚轴，利用 $k$ 为虚数时的恒等式 $\sinh k / k$，并将zeta函数表示为包含 $\ln(\sinh k / k)$ 的积分形式。
• 通过在 $k \to \infty$ 和 $k \to 0$ 处减去渐近展开式，实施解析延拓，从而实现 $s=0$ 处的求值。
• 对于零模态，将边界值 $u_k(1)$ 替换为一个正则化函数 $f_k$，其定义为 $u_k(1) = -k^2 f_k$，以处理 $k=0$ 处的奇点。
• 通过在 $k=0$ 处求 $f_k$ 的对数导数，推导出最终的行列式公式，得到 $\zeta_L'(0) = -\ln(2f_0)$。

实验结果

研究问题

• RQ1 当算子存在零模态，导致标准zeta函数正则化失效时，如何计算函数行列式？
• RQ2 为处理零模态在本征值方程中引入的奇点，轮廓积分技术需要做出何种修改？
• RQ3 能否推导出一个显式依赖于零模态在边界处导数的函数行列式闭式表达式？
• RQ4 该方法如何推广至具有任意边界条件和势能的Sturm-Liouville算子？
• RQ5 函数 $f_k$ 在 $u_k(1)$ 于 $k=0$ 处消失时，对行列式计算的正则化起何作用？

主要发现

• 在区间 $[0,1]$ 上，满足狄利克雷边界条件的拉普拉斯算子的函数行列式为 $\det L = 2$，与已知结果一致。
• 对于存在零模态的算子，行列式由 $\zeta_L'(0) = -\ln(2f_0)$ 给出，其中 $f_0 = -u_0'(1)/2$，且 $u_0$ 为零模态。
• 该方法通过用 $f_k$ 替代 $u_k(1)$，成功处理了 $k=0$ 处的奇点，且 $f_k$ 在 $k=0$ 处保持有限且非零。
• 在 $k \to \infty$ 处的渐近行为在正则化过程中得以保留，确保其对行列式的贡献与非零模态情况相同。
• 通过一阶系统形式化与矩阵边界条件，该方法可推广至具有任意边界条件的Sturm-Liouville算子。
• 只要复根的分支切割避开正实轴，该方法在特征值为负时依然有效。