[论文解读] Logarithmic terms in trace expansions of Atiyah-Patodi-Singer problems

Gerd Grubb|ArXiv.org|Feb 24, 2003

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

一句话总结

本文研究了在 Atiyah-Patodi-Singer 边界条件下，狄拉克型算子热迹展开中的对数项。通过参数依赖的伪微分算子微分学与预解分析，证明在特定扰动下——尤其是那些在边界上趋于零阶数 $ k $ 或与切向部分交换的扰动——对数系数在阶数 $ k $ 内保持不变，且当维数为奇数时，所有此类系数均消失，推广了关于乘积型算子的早期结果。

ABSTRACT

For a Dirac-type operator D with a spectral boundary condition, the associated heat operator trace has an expansion in powers and log-powers of t. Some of the log-coefficients vanish in the Atiyah-Patodi-Singer product case. We here investigate the effect of perturbations of D, by use of a pseudodifferential parameter-dependent calculus for boundary problems. It is shown that the first k log-terms are stable under perturbations of D vanishing to order k at the boundary (and the nonlocal power coefficients behind them are only locally perturbed). For perturbations of D from the APS product case by tangential operators commuting with the tangential part A, all the log-coefficients vanish if the dimension is odd.

研究动机与目标

• 将已知的 Atiyah-Patodi-Singer 问题中热迹展开对数项的消失性结果，从乘积情形推广至非乘积情形。
• 确定在何种扰动下，迹展开中的对数系数保持不变或消失。
• 将已知的在流形维数为奇数时所有对数系数消失的结果，推广至非乘积情形。
• 建立在非乘积及扰动边界算子设定下，对数项持续存在或消失的条件。

提出的方法

• 使用参数依赖的伪微分边界算子微分学分析预解与迹展开。
• 应用预解展开技术，推导热函数与 zeta 函数的迹渐近展开。
• 分析奇异格林算子及其法向迹的结构，以分离出对数贡献。
• 考虑在边界上趋于零阶数 $ k $ 的切向微分算子的扰动，证明前 $ k $ 个对数幂项的不变性。
• 将结果应用于 eta 函数展开，并验证在交换扰动下对数项的行为。
• 采用预解展开形式 $ ext{Tr}( heta e^{-t riangle_B}) hicksim ext{sum of } a_k t^{k/2} + (a_k' ext{log} t + a_k'') t^{k/2} $，重点关注 $ a_k' $。

实验结果

研究问题

• RQ1 在非乘积情形下，狄拉克型算子热迹展开中的对数项在何种条件下消失？
• RQ2 在边界上趋于零阶数 $ k $ 的算子扰动下，对数系数如何受到影响？
• RQ3 在非乘积情形下，当流形维数为奇数时，所有对数系数是否均消失？
• RQ4 奇维数下对数项的消失性是否可推广至与算子切向部分交换的扰动？
• RQ5 在一般边界条件下，预解与 zeta 函数展开中对数项的结构如何？

主要发现

• 当狄拉克算子被一个在边界上趋于零阶数 $ k $ 的切向一阶微分算子扰动时，热迹展开中前 $ k $ 个对数系数 $ a_k' $ 保持不变。
• 同一阶数的非局部系数 $ a_k'' $ 仅受局部扰动，表明全局对数结构具有稳定性。
• 当维数 $ n $ 为奇数且扰动与算子切向部分交换时，所有对数系数 $ a_k' $ 均消失，推广了乘积情形的结果。
• 在偶数维中，非平凡的对数项可能出现在整数与半整数幂处，尤其在扰动破坏乘积结构时更为显著。
• 预解展开中出现如 $ F rac{A}{4 au A_ au} rac{A}{|A'|} $ 的项，会在半整数指数处产生对数幂项。
• 在 $ x_n^k $-依赖的扰动下，非乘积情形中由于 $ A_ au $ 的偶次与奇次负幂混合，整数与半整数对数项均可出现。