[论文解读] On the eta-invariant of certain nonlocal boundary value problems

Jochen Brüning, Matthias Lesch|ArXiv.org|Sep 4, 1996

Differential Equations and Boundary Problems参考文献 21被引用 5

一句话总结

本文引入了一类由Vishik的分析 torsion 启发的广义非局部边界值问题，推广了狄拉克型算子的热核展开。该文为这些算子建立了完整的热展开，并提供了η-不变量粘合公式的全新证明，统一了高斯-博内算子的阿蒂亚-帕多利-辛格、相对和绝对边界条件。

ABSTRACT

Motivated by the work of Vishik on the analytic torsion we introduce a new class of generalized Atiyah-Patodi-Singer boundary value problems. We are able to derive a full heat expansion for this class of operators generalizing earlier work of Grubb and Seeley. As an application we give another proof of the gluing formula for the eta invariant. Our class of boundary conditions contains as special cases the usual (nonlocal) Atiyah-Patodi-Singer boundary value problems as well as the (local) relative and absolute boundary conditions for the Gauss-Bonnet operator.

研究动机与目标

• 将η-不变量的理论推广至更广泛的非局部边界值问题类，其动机源于Vishik对分析 torsion 的工作。
• 为这一新类算子推导出完整的热核展开，推广了Grubb和Seeley的结果。
• 统一并推广已知的边界条件，包括高斯-博内算子的阿蒂亚-帕多利-辛格、相对和绝对条件。
• 基于所发展的热展开框架，提供η-不变量粘合公式的全新、内在的证明。

提出的方法

• 引入一类具有非局部边界条件的广义阿蒂亚-帕多利-辛格边界值问题的新类。
• 应用谱理论和伪微分算子技术，分析流形边界上狄拉克型算子的热迹渐近行为。
• 利用参数解构造法与奇点分析法，推导出包含所有对数项和幂律项的完整热展开。
• 建立热核展开的存在性与结构，直至所有阶次，包括与η-不变量相关的常数项。
• 利用热核展开计算η-不变量，并验证其在流形粘合下的行为。
• 利用展开结构，无需依赖先前的拓扑论证，重新推导η-不变量的粘合公式。

实验结果

研究问题

• RQ1 如何在保持计算η-不变量所需解析结构的前提下，将边界值问题类推广至包含非局部条件？
• RQ2 这一新类算子的热核完整渐近展开是什么？它与经典局部边界问题有何不同？
• RQ3 能否在该广义框架内，通过热核方法重新推导η-不变量的粘合公式？
• RQ4 新边界条件在多大程度上包含标准的阿蒂亚-帕多利-辛格、相对和绝对条件作为特例？
• RQ5 η-不变量在非局部边界问题的谱理论中起什么作用？其在流形分解下如何行为？

主要发现

• 为新类非局部边界值问题建立了完整的热核展开，包含至零阶的所有项。
• 证明了在该广义框架内η-不变量是良定义且可计算的。
• 利用热核展开重新证明了η-不变量的粘合公式，提供了全新的分析推导。
• 广义边界条件包含了阿蒂亚-帕多利-辛格、相对和绝对边界条件作为特例。
• 热展开技术成功捕捉了算子的谱不变量，与特殊情形下的已知结果一致。
• 该方法为研究不同边界条件下η-不变量提供了一致的途径，增强了对全局谱不变量的理解。