[论文解读] Feynman propagators and Hadamard states from scattering data for the Klein-Gordon equation on asymptotically Minkowski spacetimes

Christian Gérard, Michał Wrochna|arXiv (Cornell University)|Mar 24, 2016

Advanced Mathematical Physics Problems参考文献 37被引用 4

一句话总结

该论文证明了在渐近Minkowski时空上，对质量 Klein-Gordon 方程存在且满足Hadamard性质的入/出量子态。通过在度量上引入短程衰减条件，并定义费曼散射数据，证明了带有Atiyah-Patodi-Singer边界条件的Klein-Gordon算子的Fredholm性质，且构造了一个满足Duistermaat与Hörmander意义下费曼传播子条件的参数解。

ABSTRACT

We consider the massive Klein-Gordon equation on a class of asymptotically static spacetimes. We prove the existence and Hadamard property of the in and out states constructed by scattering theory methods. Assuming in addition that the metric approaches that of Minkowski space at infinity in a short-range way, jointly in time and space variables, we define Feynman scattering data and prove the Fredholm property of the Klein-Gordon operator with the associated Atiyah-Patodi-Singer boundary conditions. We then construct a parametrix (with compact remainder terms) for the Fredholm problem and prove that it is also a Feynman parametrix in the sense of Duistermaat and H{ö}rmander.

研究动机与目标

• 在渐近静态时空上，建立质量Klein-Gordon方程的入/出量子态的存在性。
• 证明这些入/出态满足Hadamard条件，从而确保两点函数具有正确的短距离行为。
• 在度量以短程方式趋近Minkowski空间的条件下，定义费曼散射数据。
• 在该条件下，证明带有Atiyah-Patodi-Singer边界条件的Klein-Gordon算子具有Fredholm性质。
• 构造一个余项为紧算子的参数解，且其满足Duistermaat与Hörmander意义下的费曼传播子条件。

提出的方法

• 利用渐近静态时空上的时变伪微分算子微积分，控制时间衰减与空间行为。
• 对度量施加短程条件，要求空间部分在时间和空间变量上均趋于Minkowski空间。
• 应用散射理论，通过柯西演化算子的极限定义入/出态。
• 将Atiyah-Patodi-Singer边界条件引入Klein-Gordon算子，并在短程设定下证明其Fredholm性质。
• 利用微局部分析构造Fredholm问题的参数解，并通过波前集分析验证其满足费曼传播子条件。
• 在变阶数的b-Sobolev空间中使用插值与传播估计，控制解的增长，并证明演化算子的一致有界性。

实验结果

研究问题

• RQ1 通过渐近Minkowski时空上的散射理论构造的入/出态是否满足Hadamard条件？
• RQ2 当度量以短程方式趋近Minkowski空间时，能否从散射数据导出费曼传播子？
• RQ3 在短程渐近条件下，带有Atiyah-Patodi-Singer边界条件的Klein-Gordon算子是否为Fredholm算子？
• RQ4 所构造的带有这些边界条件的Klein-Gordon方程的参数解是否在Duistermaat与Hörmander的意义下满足费曼传播子条件？
• RQ5 时变伪微分算子如何用于控制非紧时空上Klein-Gordon方程解的长时间行为？

主要发现

• 从散射数据构造的入/出态满足Hadamard条件，确保其两点函数具有正确的短距离行为。
• 在度量的短程衰减条件下，带有Atiyah-Patodi-Singer边界条件的Klein-Gordon算子为Fredholm算子。
• 为Fredholm问题构造了一个余项为紧算子的参数解，且其满足Duistermaat与Hörmander意义下的费曼传播子条件。
• 证明了入/出态的时间有序两点函数在波前集意义下是良定义且微局部的。
• 通过插值与传播估计，建立了加权Sobolev空间中伴随演化算子的一致有界性。
• 该构造对任意正质量或满足渐近正性条件的实值势能均成立，推广了先前结果至非共形与非恒定质量情形。