[论文解读] Hadamard states for the Klein-Gordon equation on Lorentzian manifolds of bounded geometry

Christian Gérard, Oulghazi, Omar+1 more|arXiv (Cornell University)|Feb 2, 2016

advanced mathematical theories参考文献 54被引用 13

一句话总结

本文利用时变伪微分演算，在有界几何的洛伦兹流形（如Kerr和Kerr-de Sitter时空）上，为克莱因-戈尔登方程构造了纯正则的哈达玛态。关键成果是一个一参量族的椭圆伪微分算子，该算子同时编码了时空度量与哈达玛态的选择。

ABSTRACT

We consider the Klein-Gordon equation on a class of Lorentzian manifolds with Cauchy surface of bounded geometry, which is shown to include examples such as exterior Kerr, Kerr-de Sitter and Kerr-Kruskal spacetimes. In this setup, we give an approximate diagonalization and a microlocal decomposition of the Cauchy evolution using a time-dependent version of the pseu-dodifferential calculus on Riemannian manifolds of bounded geometry. We apply this result to construct all pure regular Hadamard states (and associated Feynman inverses), where regular refers to the state's two-point function having Cauchy data given by pseudodifferential operators. This allows us to conclude that there is a one-parameter family of elliptic pseudodifferential operators that encodes both the choice of (pure, regular) Hadamard state and the underlying spacetime metric.

研究动机与目标

• 将哈达玛态的严格构造方法推广至包括Kerr和Kerr-de Sitter在内的广泛物理相关时空，这些时空此前未被已有方法覆盖。
• 在有界几何的黎曼流形上发展并应用时变伪微分演算，以分析克莱因-戈尔登算子的柯西演化。
• 通过一个一参量族的椭圆伪微分算子，表征所有纯正则哈达玛态，该算子同时编码了度量与态的选择。
• 建立柯西演化的微局部分解，从而实现费曼参数型与具有预定奇性结构的两点函数的构造。

提出的方法

• 将有界几何黎曼流形上的时变伪微分演算应用于克莱因-戈尔登算子的柯西演化。
• 利用微局部分析对柯西演化算子进行近似对角化，将其分解为前向与后向传播分量。
• 通过分解后的演化构造费曼参数型，作为克莱因-戈尔登算子的微局部逆。
• 通过费曼参数型的柯西数据定义哈达玛态的两点函数，确保满足所需的奇性结构。
• 通过要求其两点函数的柯西数据由伪微分算子给出，表征正则哈达玛态。
• 证明态与度量的全部信息均编码于一个一参量族的椭圆伪微分算子中。

实验结果

研究问题

• RQ1 能否在具有有界几何的洛伦兹流形（包括Kerr和Kerr-de Sitter时空）上系统性地构造克莱因-戈尔登方程的纯正则哈达玛态？
• RQ2 如何在这些流形上发展并应用时变伪微分演算，以处理克莱因-戈尔登算子的柯西演化？
• RQ3 在此设定下，费曼参数型与两点函数的精确微局部结构是什么？
• RQ4 在多大程度上，哈达玛态的选择与底层时空度量可被编码于单一椭圆伪微分算子族中？
• RQ5 何种条件可确保通过伪微分柯西数据定义的态既为纯态又满足哈达玛条件？

主要发现

• 作者在具有有界几何的洛伦兹流形（包括外部Kerr与Kerr-de Sitter时空）上，构造了克莱因-戈尔登方程的所有纯正则哈达玛态。
• 在有界几何流形上发展的时变伪微分演算，使得柯西演化的微局部分解成为可能，进而实现近似对角化。
• 费曼参数型作为克莱因-戈尔登算子的微局部逆被构造出来，其奇性结构受到控制，基于分解后的演化。
• 任何纯正则哈达玛态的两点函数的柯西数据均由伪微分算子给出，从而保证了正则性与微局部适定性。
• 存在一个一参量族的椭圆伪微分算子，可同时编码（纯正则）哈达玛态的选择与时空度量。
• 该构造建立了正则哈达玛态的完整表征，以椭圆伪微分数据形式呈现，将已知结果推广至一大类物理上相关的时空。