[論文レビュー] 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境界条件を有するディラック作用素に対するグリーン作用素を構成し、系がグリーン双曲型であることを証明すること。

提案手法

• 時空的境界を有する全球的因果的多様体上におけるディラック作用素に対してエネルギー推定を導出し、弱解の存在と一意性を保証する。
• 自己随伴境界条件を有するディラック作用素に適応された非局所的モリファイア構成法を用い、古典的な局所的正則化手法とは異なる。
• Fré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$ 上の局所解からグローバル解を構成可能である。