[論文レビュー] Einstein constraints on n dimensional compact manifolds

Yvonne Choquet–Bruhat|ArXiv.org|Nov 8, 2003

Black Holes and Theoretical Physics参考文献 7被引用数 5

ひとこと要約

本稿は、コンpact n次元多様体上のアインシュタイン制約の解の存在を、共形法を用いて確立し、従来の結果をより低い正則性へと拡張する。特に $ H_2 $ 解について $ n = 3 $ の場合を含む。非スケーリングされた源に対しても新たな結果を示しており、Sobolev空間と下界・上界解の方法を用いた厳密な関数解析的枠組みを提供し、$ W_2^p $ における反復列の存在と収束を保証する。低正則性および非真空初期データセットへの応用を含む。

ABSTRACT

We give a general survey of the solution of the Einstein constraints by the conformal method on n dimensional compact manifolds. We prove some new results about solutions with low regularity (solutions in $H_{2}$ when n=3), and solutions with unscaled sources.

研究の動機と目的

• 従来の結果を超えて、特に $ H_2 $（$ n = 3 $ の場合）の低正則性Sobolev空間へのアインシュタイン制約の解理論の拡張。
• 源がスケーリングされていない、すなわち非ゼロの未スケーリングされた運動量密度とエネルギー密度が存在する場合の解の存在の確立。
• 任意の次元 $ n \geq 3 $ における共形法の枠組みの一般化を行い、$ W_2^p $ 空間における適切な定式化を保証すること。
• 下界・上界解と最大値原理を用いて、最小限の正則性仮定のもとでリヒネルヴィッツ方程式の厳密な存在証明。
• 反復列が $ W_2^p $ で収束することを示し、極限が $ L^p $-意味で解であり、かつ $ W_2^p $ に属することを保証すること。

提案手法

• 共形法を用いて、アインシュタイン制約をリヒネルヴィッツ方程式（ハミルトニアン制約）と線形楕円型系（運動量制約）に分解し、共形因子 $ \varphi $ とベクトル場 $ X $ でパrameter化する。
• コンパクトなリーマン多様体 $ (M,e) $ 上のSobolev空間 $ W_2^p $ に基づく関数的枠組みを採用し、$ \sigma > n/p $ により計量およびその逆行列の連続性を保証する。
• リヒネルヴィッツ方程式 $ \Delta_\gamma \varphi - f(\cdot, \varphi) = 0 $ に下界・上界解の方法を適用する。ここで $ f $ は曲率、トレース、および源項を含む。
• 初期値として下界 $ \varphi_- $ を用い、最大値原理と $ L^p $-楕円型推論を用いて、単調性と有界性を保証する反復列 $ \varphi_n $ を構成する。
• Ascoli-Arzelàの定理と $ \|\varphi_n\|_{W_2^p} $ の一様有界性を用いて、$ \varphi_n $ の $ C^0 $ および $ W_2^p $ における収束を確立し、$ W_2^p $ に属する解 $ \varphi $ を得る。
• $ f_\varphi $ の単調性のもとで一意性を証明し、リヒネルヴィッツ方程式に関して一般の一意性結果（4.4）を提示する。

実験結果

リサーチクエスチョン

• RQ1 共形法を $ n = 3 $ の場合の $ H_2 $ 正則性におけるアインシュタイン制約の解の生成に拡張できるか？
• RQ2 源がスケーリングされていない（すなわち $ J_2 $, $ \rho_2 \neq 0 $）場合、解の存在を保証する条件は何か？
• RQ3 下界・上界解の方法をどのように調整すれば、低正則性解のための $ W_2^p $ における反復列の収束を保証できるか？
• RQ4 $ L^p $-楕円型推論は、反復列が $ W_2^p $ における解に収束することを証明するために果たす役割は何か？
• RQ5 低正則性設定において、リヒネルヴィッツ方程式の解の一意性が成り立つ条件は何か？

主な発見

• アインシュタイン制約の解は $ H_2 $ に存在し、$ n = 3 $ の場合に従来の正則性結果がより低いSobolev空間へと拡張された。
• 非スケーリングされた源（非ゼロの $ J_2 $ および $ \rho_2 $）に対しても解の存在が証明された。これは従来の標準的共形定式化では除外されていた。
• 反復列 $ \varphi_n $ は $ C^0 $ および $ W_2^p $ で収束し、極限解 $ \varphi \in W_2^p $ を得る。$ \|\varphi_n\|_{W_2^p} $ に対する一様有界性が保証される。
• 極限解は $ L^p $-意味でリヒネルヴィッツ方程式を満たし、差分方程式に楕円型推論を適用することで $ W_2^p $ に属することが示される。
• $ f(\cdot, y) $ が $ y $ に関して単調増加であるという条件下で解の一意性が証明され、より一般的な一意性結果（4.4）も確立された。
• 下界・上界解の方法と一般化された最大値原理を組み合わせることで、$ \varphi_n \in [\varphi_-, \varphi_+] $ であり、列が単調かつ有界であることが保証され、収束が得られる。