[论文解读] The Cauchy problem of the Lorentzian Dirac operator with APS boundary conditions

Nicolò Drago, Nadine Große+1 more|arXiv (Cornell University)|Apr 1, 2021

Spectral Theory in Mathematical Physics参考文献 51被引用 4

一句话总结

本文在全局双曲自旋流形具有类时边界的情况下，建立了经典洛伦兹型狄拉克算子柯西初值边值问题的适定性，边界条件为阿蒂亚-帕特奇-辛格（APS）边界条件。通过推导能量估计并采用基于光滑化子的正则化方法，作者证明了弱解的存在性、唯一性及对数据的连续依赖性，将格林算子理论扩展至这种非椭圆、双曲型且具有非局部边界条件的设定。

ABSTRACT

We consider the classical Dirac operator on globally hyperbolic manifolds with timelike boundary and show well-posedness of the Cauchy initial-boundary value problem coupled to APS-boundary conditions. This is achieved by deriving suitable energy estimates, which play a fundamental role in establishing uniqueness and existence of weak solutions. Finally, by introducing suitable mollifier operators, we study the differentiability of the solutions. For obtaining smoothness we need additional technical conditions.

研究动机与目标

• 在具有类时边界的全局双曲流形上，建立洛伦兹型狄拉克算子柯西问题的适定性。
• 将此前仅用于类空边界的APS边界条件的应用范围，扩展至全局双曲设定下的类时边界。
• 通过能量估计，证明在非局部边界条件下弱解的存在性、唯一性及连续依赖性。
• 提出一种基于光滑化子的正则化方法，以建立解的更高阶可微性，需满足额外技术条件。
• 为带有APS边界条件的狄拉克算子构造格林算子，证明该系统为格林-双曲型。

提出的方法

• 为具有类时边界的全局双曲流形上的狄拉克算子推导能量估计，以确保弱解的存在性与唯一性。
• 采用一种非局部光滑化子构造方法，适用于具有自伴边界条件的狄拉克算子，区别于经典的局部正则化技术。
• 在弗雷chet空间中应用开映射定理，证明解对初值与源数据的连续依赖性。
• 利用叶状结构 $(M,g) \backsimeq ([R\times\Sigma, -N^{2}dt^{2} + h_{t})$ 将问题约化为一族在紧致黎曼流形边界上的时变狄拉克算子问题。
• 通过将边界狄拉克算子 $A_t$ 的负特征空间进行谱投影，定义满足APS边界条件的解空间 $\Gamma_{\textsc{aps}}(SM)$。
• 构造先进与推迟格林算子 $G_{\textsc{aps}}^{\pm}$，满足 $D_M G_{\textsc{aps}}^{\pm}f = f$ 与 $G_{\textsc{aps}}^{\pm} D_M f = f$，适用于紧支集源项。

实验结果

研究问题

• RQ1 在具有类时边界的全局双曲流形上，洛伦兹型狄拉克算子的柯西问题在耦合APS边界条件时是否适定？
• RQ2 在缺乏椭圆性的情况下，如何基于狄拉克算子的双曲性质推导能量估计？
• RQ3 在不依赖局部坐标图拼接的前提下，能否实现非局部APS边界条件下解的光滑性？
• RQ4 带有APS边界条件的狄拉克算子是否存在格林算子？其因果性质如何？
• RQ5 在这些边界条件下，解的支集在时空中的传播方式如何？

主要发现

• 在具有APS边界条件的洛伦兹型狄拉克算子柯西问题中，解是适定的：存在唯一弱解，且对初值与源数据具有连续依赖性。
• 为具有类时边界的全局双曲流形上的狄拉克算子推导出能量估计，确保了解的唯一性与稳定性。
• 在附加技术条件下，解被证明为光滑的，该结果通过一种专为具有自伴边界条件的狄拉克算子设计的新型光滑化子正则化技术实现。
• 解满足因果传播性质：$\operatorname{supp}(\psi_T) \subseteq J(\operatorname{supp}(\psi_0) \cup \operatorname{supp}(f)) \cup J(\partial\Sigma)$，确保有限传播速度。
• 证明了先进与推迟格林算子 $G_{\textsc{aps}}^{\pm}$ 的存在性，确认该系统为格林-双曲型。
• 解空间 $\Gamma_{\textsc{aps}}(SM)$ 在时间演化下保持不变，从而可从 $M_T$ 上的局部解构造全局解。