[論文レビュー] A variational analysis of Einstein-scalar field Lichnerowicz equations on compact Riemannian manifolds

Emmanuel Hebey, F. Pacard+1 more|Feb 5, 2007

Geometric Analysis and Curvature Flows被引用数 7

ひとこと要約

本稿は、特にマウンテンパス補題を用いた変分法的手法を用いて、コンパクトなリーマン多様体上でのアインシュタイン-スカラ場Lichnerowicz方程式に対する正の解の存在および非存在に関する新しい結果を確立する。$ abla_g + h$ が強制的であること、係数 $A$ と $B$ が適切な小さな条件を満たす場合、滑らかな正の解が存在するが、$B$、$A$、および背景幾何学を含む特定の積分不等式が成り立つ場合には非存在が生じる。

ABSTRACT

We establish new existence and non-existence results for positive solutions of the Einstein-scalar field Lichnerowicz equation on compact manifolds. This equation arises from the Hamiltonian constraint equation for the Einstein-scalar field system in general relativity. Our analysis introduces variational techniques, in the form of the mountain pass lemma, to the analysis of the Hamiltonian constraint equation, which has been previously studied by other methods.

研究の動機と目的

• 一般相対性理論における制約方程式に変分的手法を適用することで、アインシュタイン-スカラ場系におけるハミルトニアン制約方程式の可解性を扱う。
• 従来の方法（下界・上界解法）の限界を克服し、一般相対性理論における制約方程式に変分的ツールを導入する。
• コンパクト多様体上でのLichnerowicz方程式に対する滑らかな正の解の存在および非存在の鋭い条件を確立する。
• アインシュタイン-マクスウェル-スカラ場理論に由来するような追加の非線形項を含む方程式への解析を拡張する。
• 幾何学的および関数的パラメータの観点から、解の存在に関する明示的かつ定量的な境界を導出する。

提案手法

• コンパクトリーマン多様体上でのLichnerowicz方程式に関連するエネルギー汎関数にマウンテンパス補題を適用する。
• Sobolev埋め込みと演算子 $\Delta_g + h$ の強制性を用いて、臨界的および負のべき乗非線形項を制御する。
• $\|\varphi\|_{H^1_h} = 1$ を満たす $H^1(M)$ 内の適切なテスト関数 $\varphi$ の構成により、エネルギー推定を得る。
• Nehari多様体法と制約下でのエネルギー最小化を用いて、事前境界を導出する。
• 弱解を滑らかな正の解へと高めるためにブートストラップ法を導入する。
• Einstein-Maxwell-スカラ場系に特に関連する $C/u^p$ 項を含む方程式に対しても、類似の変分的および積分推定を用いて結果を拡張する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトなリーマン多様体上でのアインシュタイン-スカラ場Lichnerowicz方程式が滑らかな正の解をもつのはどのような条件下か？
• RQ2 一般相対性理論におけるハミルトニアン制約方程式に、マウンテンパス補題のような変分的技法を効果的に適用できるか？
• RQ3 解の存在または非存在を保証する係数 $A$ と $B$ の正確な小さな条件は何か？
• RQ4 追加の負のべき乗項（例：$C/u^p$）が、Lichnerowicz型方程式の可解性にどのように影響を与えるか？
• RQ5 幾何学的および関数的パラメータの観点から、解の存在に関する明示的かつ定量的な境界を導出できるか？

主な発見

• $\Delta_g + h$ が強制的であり、$A > 0$、$\max_M B > 0$、かつ $ (\max_M |B|)^{n-1} \int_M A \, dv_g \leq C(n,h) $ を満たす場合（$C(n,h) > 0$ は明示的に計算可能）、滑らかな正の解が存在する。
• $A > 0$ かつ $B > 0$ の場合、$ (\max_M |B|)^{n-1} \|A^{\frac{n-2}{4n}}\|_{H^1}^{2^\star} \int_M A^{1/2} \, dv_g \leq C(n,h) $ が成り立つと、解の存在が保証される。ここで $C(n,h)$ は明示的に計算可能である。
• $B > 0$、$A, C \geq 0$ であり、不等式 $ \left(\frac{(\alpha+1)^{\alpha+1}}{\alpha^\alpha}\right)^{1/\hat{p}} \int_M C^{1/\hat{p}} B^{(\hat{p}-1)/\hat{p}} \, dv_g > \int_M (h^+)^{\frac{n+2}{4}} B^{\frac{2-n}{4}} \, dv_g $ が成り立つ場合、解は非存在する。ここで $\hat{p} = \frac{2^\star + p - 1}{2^\star - 1}$ である。
• $C/u^p$ 項を含む方程式に対しては、ある $\Lambda = \Lambda(n,p) > 0$ に対して $\int_M \frac{A}{\varphi^{2^\star}} \, dv_g \leq \frac{\Lambda}{(S_h \max_M |B|)^{n-1}}$ および $\int_M \frac{C}{\varphi^{p-1}} \, dv_g \leq \frac{\Lambda}{(S_h \max_M |B|)^\alpha}$ が成り立つ場合、解の存在が保証される。ここで $\varphi > 0$ は $\|\varphi\|_{H^1_h} = 1$ を満たす。
• 解の存在条件における定数 $\Lambda$ は明示的に構成可能であり、係数の小さな摂動に対しても結果は安定である。
• 解の存在および非存在の条件は、正の臨界非線形項 $u^{2^\star - 1}$ と負のべき乗非線形項 $A/u^{2^\star + 1}$ の間の臨界的バランスを反映しており、鋭いものであることが示された。