[論文レビュー] Elliptic boundary value problems for the stationary vacuum spacetimes

Zhongshan An|arXiv (Cornell University)|Feb 12, 2018

Black Holes and Theoretical Physics参考文献 13被引用数 3

ひとこと要約

本稿では、射影形式を用いて静的真空中時空の境界値問題の楕円性を確立し、そのような時空のモジュライ空間がバナッハ多様体構造を備えることを証明している。幾何学的に自然な境界条件における場の運動方程式の主要記号を分析することで、系の適切な定式化を確認し、線形化作用素の形式的自己随伴性を導出し、漸近的に平坦な境界を持つ静的解を厳密に変分的枠組みで研究する基盤を提供している。

ABSTRACT

We develop a general method of proving the ellipticity of boundary value problems for the stationary vacuum space time, by showing that the stationary vacuum field equations are elliptic subjected to a geometrically natural collection of boundary conditions in the projection formalism. Using this we prove the manifold theorem for the moduli space of stationary vacuum spacetimes.

研究の動機と目的

• バートニクが提案した境界条件における静的真空中時空の境界値問題の楕円性を解明すること。
• 静的真空中解のモジュライ空間に対する厳密な関数解析的枠組みを確立すること。
• 射影形式における幾何学的に自然な境界条件と結合された静的真空中場の運動方程式が楕円的であることを確認すること。
• 特に漸近的に平坦な外部領域における、所与の境界データを持つ静的真空中拡張の存在および一意性を研究する基盤を提供すること。

提案手法

• 時空計量を $ g^{(4)} = -e^{2u}(dt + \theta)^2 + \pi^*g_S $ と表現する射影形式を用いる。ここで $ S $ はキリング場の軌道空間である。
• 三重組 $ (\tilde{g}, \tilde{u}, \tilde{\phi}) $ を用いて線形化されたアインシュタイン方程式を分析する。ここに $ \tilde{g}, \tilde{u}, \tilde{\phi} $ はそれぞれ計量、ラプス関数、接続1形式の変形を表す。
• 場の運動方程式の主要記号を計算し、誘導計量、平均曲率、第二基本形式の混合および接線成分のトレースといった境界条件が楕円的であることを検証する。
• 作用関数の第二変分を導出し、部分積分と双線形形式の対称性を用いて線形化作用素 $ D\hat{\Phi} $ の形式的自己随伴性を証明する。
• 双対接続1形式 $ Z $ の減衰および爆発率の推定を確立し、$ \delta^*Z \sim r^{-\delta} $ の下で $ |Z^T| $ が高々 $ r^{2-\delta} $ の割合で増大することを示す。
• リーマン3多様体の境界を持つ線形楕円型系の理論を応用し、モジュライ空間がバナッハ多様体であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 バートニクの静的真空中時空の境界条件は、微分作用素の意味で楕円的であるか？
• RQ2 射影形式において静的真空中場の運動方程式は、楕円的境界値問題として定式化可能か？
• RQ3 漸近的に平坦な境界条件の下で、静的真空中時空のモジュライ空間はバナッハ多様体構造を備えるか？
• RQ4 双対接続1形式 $ Z $ は無限遠でどのように振る舞い、その振る舞いは系の楕円性にどのように影響するか？
• RQ5 選択された境界条件の下で、静的真空中方程式の線形化作用素は形式的に自己随伴か？

主な発見

• 射影形式におけるバートニクの幾何的境界条件を備えた静的真空中場の運動方程式は楕円的であることが示された。
• 静的真空中時空のモジュライ空間は自然なバナッハ多様体構造を有することが示され、無限次元幾何解析が可能になった。
• 線形化作用素 $ D\hat{\Phi} $ は形式的に自己随伴であり、部分積分と作用関数の第二変分の対称性によって確認された。
• 境界項は境界条件の構造により消えることが示され、特に $ 4e^{-2u}[e^{-2u}\mathbf{n}(\phi)]'_{(k,w,\zeta)} = 0 $ が成立する。
• 双対接続1形式の接線成分 $ |Z^T| $ は高々 $ r^{2-\delta} $ の割合で増大し、$ \delta^*Z \sim r^{-\delta} $ と整合的である。
• 大球面上での漸近的解析を用いて $ Z $ の爆発率を制御し、$ g(Z,N_r) \sim r^{1-\delta} $ および $ |Z^T| \sim r^{2-\delta} $ が成り立つことを示した。