[論文レビュー] Thinness for Scalar-Negative Singular Yamabe Metrics

Denis A. Labutin|ArXiv.org|Jun 12, 2005

Geometric Analysis and Curvature Flows参考文献 42被引用数 5

ひとこと要約

この論文は、領域 $Ω \subset \mathbf{S}^n$ 上に完全でスカラー負の共形計量が存在するための必要十分条件を確立している。それは、$K = \mathbf{S}^n \setminus \Omega$ が非線形ポテンシャル理論における「薄さ」の意味で薄くない場合に限る。ポテンシャル理論の道具、特に容量とワイナーシュの基準を用いることで、負の曲率の場合の特異ヤマベ問題の解の存在に対する鋭い幾何的条件を導き、ハウスドルフ測度と容量に関する先行研究を統合・拡張した。

ABSTRACT

This paper deals with the conformal deformation of the standard metric in a domain on the sphere to a complete metric with the constant scalar curvature. The problem of description of domains allowing such deformation originates in the works of Loewner and Nirenberg, and Schoen and Yau concerned with the locally conformally flat manifolds. The goal of this work is to apply ideas from the nonlinear potential theory to the problem. They allow, in particular, to solve the problem in the case of the constant negative scalar curvature.

研究の動機と目的

• スカラー負の定曲率をもつ完全な共形計量をもつ領域 $Ω \subset \mathbf{S}^n$ を特徴づけること。
• 非線形ポテンシャル理論の手法を用いて、負の曲率の場合（$R = -1$）の特異ヤマベ問題の可解性条件を解明すること。
• ハウスドルフ測度と容量に関する先行研究を統合・一般化するために「薄さ」の概念を導入すること。
• 補集合 $K = \mathbf{S}^n \setminus \Omega$ におけるワイナーチプの容量条件に基づいて、そのような計量の存在の必要十分条件を確立すること。

提案手法

• スカラー曲率方程式の共形不変性を用いて、問題を非線形偏微分方程式 $\Delta u + u^{(n+2)/(n-2)} = 0$ in $\Omega$、$u \to \infty$ on $\partial\Omega$ の解法に還元する。
• ワイナーシュが導入したポテンシャル理論における「薄さ」の概念を用いて、解の境界挙動を特徴づける。
• 特にニュートン容量とコンパクト集合 $K$ の容量を用いた容量推定を用いて、可解性の必要十分条件を導出する。
• 球面上の二分法的分解と、中空領域における調和関数および次調和関数の推定を用いて、解の成長を制御する。
• ハーディー型不等式とスケーリングの議論を用いて、解 $u$ 及びその $L^{2/(n-2)}$-ノルムに関する積分を境界近傍で評価する。
• ワイナーシュの容量条件と補集合 $K$ の非薄さの同値性に依拠して、主要定理を証明する。

実験結果

リサーチクエスチョン

• RQ1 補集合 $K = \mathbf{S}^n \setminus \Omega$ にどのような幾何的条件が満たされると、$\Omega$ 上に完全でスカラー負の共形計量が存在するか？
• RQ2 ハウスドルフ測度や容量に関する古典的十分条件（例：$\mathcal{H}^{(n-2)/2}(K) = \infty$ または容量が消える）は、ポテンシャル理論における「薄さ」とどのように関係するか？
• RQ3 特異ヤマベ問題（$R = -1$）の可解性は、一意的で内在的な幾何的条件によって特徴づけられるか？
• RQ4 容量に基づく基準（例：ニュートン容量）とハウスドルフ測度条件は、どの程度「薄さ」と一致するか？
• RQ5 非線形ポテンシャル理論の使用は、スカラー負計量の存在に関する先行研究をどのように洗練・一般化するか？

主な発見

• 領域 $\Omega \subset \mathbf{S}^n$ 上に完全でスカラー負の共形計量が存在するための必要十分条件は、補集合 $K = \mathbf{S}^n \setminus \Omega$ がポテンシャル理論の意味で「薄くない」ことである。
• 本論文は、$R = -1$ の特異ヤマベ方程式の解の存在に関するワイナーシュ基準の失敗と「薄さ」が同値であることを証明し、解の存在に対する鋭い可解性条件を提供している。
• この結果は、$K$ が次元 $k > (n-2)/2$ の滑らかな部分多様体である場合、または正のニュートン容量を持つ場合、または $\mathcal{H}^{(n-2)/2}(K) = \infty$ を満たす場合に、解が存在することを含む、先行研究を一般化・統合している。
• 証明により、境界近傍における解 $u$ の $L^{2/(n-2)}$-ノルムが、$K \cap B(0,r)$ の容量を含む積分によって制御され、$\mathbf{C}(K \cap B(0,r)) / \mathbf{C}(B(0,r))$ の比に関する十分条件が得られる。
• $n \geq 4$ の場合、積分 $\int_0^1 \left( \frac{\mathbf{C}(K \cap B(0,r))}{\mathbf{C}(B(0,r))} \right)^{2/(n-2)} \frac{dr}{r}$ の収束は、解の存在にとって必要かつ十分である。
• 本論文は、任意の $\varepsilon > 0$ に対して $\mathcal{H}^{n-1}_{\infty}(\pi(\Sigma \setminus \{0\})) < \varepsilon$ が成り立つならば解が存在することを確立しており、幾何的測度論とPDEの可解性を結びつけている。