[论文解读] Guide to Boundary Value Problems for Dirac-Type Operators

Christian Baer, Werner Ballmann|arXiv (Cornell University)|Jul 11, 2013

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

一句话总结

本文为具有紧致边界的完备黎曼流形上的狄拉克型算子的边值问题提供了全面的介绍。它引入了一类广义边条件，统一了局部椭圆条件（洛帕蒂尼夫-沙皮罗）与阿蒂亚-帕多利-辛格条件，建立了边界的正则性与强制性，发展了谱理论与指标理论，包括相对指标定理与边疆同调定理，为几何分析与指标理论领域的研究人员提供了实用的基础。

ABSTRACT

We present an introduction to boundary value problems for Dirac-type operators on complete Riemannian manifolds with compact boundary. We introduce a very general class of boundary conditions which contains local elliptic boundary conditions in the sense of Lopatinskij and Shapiro as well as the Atiyah-Patodi-Singer boundary conditions. We discuss boundary regularity of solutions and also spectral and index theory. The emphasis is on providing the reader with a working knowledge.

研究动机与目标

• 提供一个自包含且易于理解的狄拉克型算子边值问题导论，弥合经典二阶理论与先进一阶结果之间的空白。
• 在适用于非紧致、完备黎曼流形且具有紧致边界的框架内，统一并推广关键的边条件（如洛帕蒂尼夫-沙皮罗与阿蒂亚-帕多利-辛格条件）。
• 建立确保非紧致流形上弗雷德霍姆性质的边界正则性与强制性条件，将经典结果推广至无限体积情形。
• 在这些广义边条件下，发展狄拉克型算子的谱理论与指标理论，包括相对指标定理与边疆同调定理。

提出的方法

• 针对具有紧致边界的完备黎曼流形上的狄拉克型算子，通过主符号定义一类广义边条件，并适配狄拉克算子的结构。
• 应用伪微分算子理论与谱理论分析正则性与强制性，尤其关注无穷远处的行为。
• 利用形式伴随算子与主符号定义并分析弗雷德霍姆性质，确保核与余核为有限维。
• 在边条件下建立狄拉克算子的分解定理，使谱与指标理论分析成为可能。
• 应用相对指标定理与边疆同调定理，关联具有边界的流形之间的指标不变量。
• 采用联络修正技术，构造一个度量联络，使得狄拉克算子可表示为联络狄拉克算子与一个零阶自伴变换的和。

实验结果

研究问题

• RQ1 如何为狄拉克型算子的边值问题构建一个统一框架，使其同时包含局部椭圆条件与阿蒂亚-帕多利-辛格条件？
• RQ2 在具有紧致边界的非紧致、完备黎曼流形上，狄拉克型算子的弗雷德霍姆性质由何种条件保证？
• RQ3 狄拉克型方程解的边界正则性如何依赖于边条件的选择？
• RQ4 在所提出的边条件类下，会涌现出何种谱性质？它们与边界几何有何关联？
• RQ5 相对指标定理与边疆同调定理如何推广至这一广义边条件框架？

主要发现

• 所提出的边条件类包含了洛帕蒂尼夫-沙皮罗与阿蒂亚-帕多利-辛格边条件，为一阶椭圆算子提供了统一的框架。
• 在这些边条件下，狄拉克型方程的解被证明在边界处光滑，确立了强边界正则性。
• 在无穷远处的强制性条件确保了非紧致流形上仍具有弗雷德霍姆性质，推广了经典结果。
• 在所提出的边条件下，相对指标定理成立，将狄拉克算子的指标与边界的拓扑不变量关联起来。
• 分解定理使得狄拉克算子可表示为联络狄拉克算子与一个零阶自伴变换的和，从而便于谱分析。
• 通过构造一个度量联络，使得狄拉克算子可表示为联络与一个对称张量场的和，确保主符号不变，且算子保持狄拉克型。