[論文レビュー] Proof of the angular momentum-mass inequality for axisymmetric black holes

Sergio Dain|ArXiv.org|Jun 23, 2006

Black Holes and Theoretical Physics被引用数 14

ひとこと要約

この論文は、一般相対性理論における軸対称、真空、最大、漸近的に平坦な初期データセットに対して、角運動量-質量不等式 $\sqrt{|J|} \leq m$ を証明し、固定された角運動量に対して極限 Kerr 黒色ボーリングのデータが質量の唯一の最小化者であることを確立する。証明は、Brill クラスのデータにおける変分原理に依拠し、調和関数と重み付きソボレフ空間を用いて、小刻みの仮定やキリングベクトルの超曲面直交性の要件なしに不等式が成り立つことを示す。

ABSTRACT

We prove that extreme Kerr initial data set is a unique absolute minimum of the total mass in a (physically relevant) class of vacuum, maximal, asymptotically flat, axisymmetric data for Einstein equations with fixed angular momentum. These data represent non-stationary, axially symmetric, black holes. As a consequence, we obtain that any data in this class satisfy the inequality $\sqrt{J} \leq m$, where $m$ and $J$ are the total mass and angular momentum of the spacetime.

研究の動機と目的

• 一般相対性理論における物理的に関連する軸対称、真空、最大、漸近的に平坦な初期データセットに対して、角運動量-質量不等式 $\sqrt{|J|} \leq m$ を確立すること。
• 固定された角運動量を持つようなすべてのデータセットの中で、極限 Kerr 初期データセットが全質量の唯一の絶対最小化者であることを証明すること。
• 従来の結果を拡張し、小刻みの仮定や軸対称キリングベクトルが超曲面直交である必要がないという要件を排除すること。
• 重み付きソボレフ空間と調和関数論を用いた厳密な変分的証明を提供すること。

提案手法

• 証明は、固定された角運動量を持つ軸対称、真空、最大、漸近的に平坦な初期データセット（Brill データ）のクラス上で全質量汎関数を最小化する変分的アプローチを用いる。
• 軸対称性と時空の幾何を符号化する調和関数 $h = 2\log\rho$ を含む重み付き $L^2$-ノルムを導入する。
• 質量と角運動量を組み合わせた汎関数 $\mathcal{M}(x,Y)$ を定義し、それが極限 Kerr データでちょうど最小値に達することを示す。
• 特異点（$\rho=0$ での軸および無限遠点）を取り扱うために、切り捨て関数 $\chi_{\epsilon,R}$ を用い、$H^1_0$-型空間における収束を保証する。
• 特に、Poincaré 型推定とソボレフ埋め込みを用いて、軸付近および空間無限遠点での関数の振る舞いを制御する。
• \mathbb{R}^3 \setminus \Gamma$ におけるラプラシアンの弱い下位解が $\mathbb{R}^3$ にまで拡張可能であるという事実を活用し、特異解の正則化を実現する。

実験結果

リサーチクエスチョン

• RQ1 小刻みの仮定なしに、すべての軸対称、真空、最大、漸近的に平坦な初期データセットに対して不等式 $\sqrt{|J|} \leq m$ が成り立つかどうか。
• RQ2 固定された角運動量を持つようなデータセットの中で、極限 Kerr 初期データセットが全 ADM 質量の唯一の最小化者か。
• RQ3 軸対称キリングベクトルが超曲面直交である必要がない条件下でも、角運動量-質量不等式を証明できるか。
• RQ4 変分的アプローチを複数の端を持つデータや非自明なトポロジーを持つデータに拡張できるか。

主な発見

• 固定された角運動量を持つ、すべての真空、最大、漸近的に平坦、軸対称な初期データセット（Brill クラス）に対して不等式 $\sqrt{|J|} \leq m$ が成り立つ。
• 不等式 $\sqrt{|J|} \leq m$ における等号成立は、初期データが極限 Kerr 時空のスライスである場合に限り成立する。
• 固定された角運動量を持つようなすべてのデータセットの中で、極限 Kerr 初期データセットは全質量の唯一の絶対最小化者である。
• 証明は、軸対称キリングベクトルが超曲面直交である必要がないことを示しており、従来の結果を一般化する。
• この方法は非定常データにも適用可能であり、重力波を含む Kerr 解からの非摂動的ずれを許容する。
• 切り捨て関数と重み付きソボレフ空間を用いて、特異な軸 $\rho=0$ を厳密に取り扱い、最小化列の収束性と正則性を保証する。