[論文レビュー] Hilbert manifold structure for asymptotically hyperbolic relativistic initial data

Erwann Delay, Jérémie Fougeirol|arXiv (Cornell University)|Jul 19, 2016

Geometric Analysis and Curvature Flows参考文献 14被引用数 3

ひとこと要約

本稿は、一般相対性理論における真空中の制約方程式を満たす漸近的に双曲的初期データの空間に、Hilbert多様体構造を確立する。これは、内部境界と弱く正則な計量を持つ多様体上の新規な重み付きPoincaré型およびKorn型不等式を用いて達成された。主な貢献は、線形化された制約作用素の随伴核の自明性を証明したことであり、これにより逆関数定理を適用して部分多様体構造を確立できるようになった。

ABSTRACT

We provide a Hilbert manifold structure {à} la Bartnik for the space of asymptotically hyperbolic initial data for the vacuum constraint equations. The adaptation led us to prove new weighted Poincar{é} and Korn type inequalities for AH manifolds with inner boundary and weakly regular metric.

研究の動機と目的

• 漸近的に平坦な初期データに対するBartnikのHilbert多様体フレームワークを、漸近的に双曲的設定に拡張すること。
• 弱い正則性のもとで、漸近的に双曲的状況における適切な楕円的推移と核の自明性に関する結果の欠如を解決すること。
• L^2-重み付き正則性条件の下で、真空中の制約方程式の解の空間にHilbert多様体構造が存在することを証明すること。
• 漸近的に双曲的多様体に境界をもつ状況における制約作用素のための、具体的な関数解析的道具—特に重み付きPoincaréおよびKorn型不等式—を確立すること。
• 同じ正則性仮定のもとで、漸近的に双曲的時空における質量の定義と整合性を保つこと。

提案手法

• Killing作用素 $\mathring{S}$ から導かれるヘッセ型作用素 $\mathring{T}$ と2階微分作用素 $\mathring{U}$ を導入し、漸近的に双曲的幾何を扱う。
• 内部境界と弱く正則な計量を持つ漸近的に双曲的多様体上で、$n=3$ の場合の新規な重み付きPoincaréおよびKorn型不等式を証明する。
• 重み付きSobolev空間およびHölder空間（減衰率 $\delta \in (-(n+1)/2, 0]$）を用いて、線形化された制約作用素 $\mathbf{\Phi}$ 及びその随伴を分析する。
• 重み付き $L^2$ 空間における楕円的推移およびEhrling型不等式を用いて、作用素 $F$ および $\widetilde{F^*}$ の半Fredholm性を確立する。
• 随伴作用素 $F^*$ の核が自明であることを用いて、逆関数定理を適用し、$\mathbf{\Phi}$ の等高面が滑らかな部分多様体であることを導出する。
• 制約写像 $\mathbf{\Phi}$ に逆関数定理を適用し、解の空間が環境関数空間内の滑らかなHilbert部分多様体をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 弱い $L^2$-重み付き正則性仮定のもとで、漸近的に双曲的初期データの空間にHilbert多様体構造を確立できるか？
• RQ2 境界をもつ漸近的に双曲的多様体上での線形化された制約作用素を制御するために、どのような重み付き楕円的推移が必要か？
• RQ3 これらの正則性条件のもとで、線形化された制約作用素の随伴の核は自明か？
• RQ4 制約方程式の解析を容易にするために、ヘッセ型作用素 $\mathring{T}$ と2階作用素 $\mathring{U}$ はどのように構成できるか？
• RQ5 得られる多様体構造は、漸近的に双曲的時空における質量の定義と整合性を保つか？

主な発見

• 真空中の制約方程式を満たす漸近的に双曲的初期データの空間は、$L^2$-重み付き正則性仮定のもとでHilbert多様体構造を有する。
• 内部境界と弱く正則な計量を持つ漸近的に双曲的多様体上で、$n=3$ の場合の新規な重み付きPoincaréおよびKorn型不等式が証明された。
• 線形化された制約作用素の随伴の核は自明であり、これは逆関数定理の適用に不可欠である。
• 線形化された制約作用素 $D\mathbf{\Phi}$ は閉じた値域と有限次元の余次元を有し、これにより正則な等高面が滑らかな部分多様体であることが保証される。
• 作用素 $F$（線形化された制約を表す）は半Fredholmであり、有限次元の核と閉じた値域を有するため、多様体構造の証明が可能になった。
• $\mathring{T}$ および $\mathring{U}$ の構成により、漸近的に双曲的状況における必要な楕円的推移および核の自明性が導出された。