[論文レビュー] Extremal Domains on Hadamard manifolds

José M. Espinar, Jing Mao|arXiv (Cornell University)|Apr 28, 2015

Nonlinear Partial Differential Equations参考文献 23被引用数 4

ひとこと要約

本稿は、特異的楕円型問題（OEP）が正の解をもつ場合の、ハイパボリック空間を含むハダマード多様体における極値領域を調査する。動平面法と最大原理の技法を用いて、解の超レベル集合の鋭い直径評価を確立し、対称性および有界性の性質を証明し、領域またはOEPに関する幾何的・関数的仮定の下でBerestycki–Caffarelli–Nirenberg予想を検証する。

ABSTRACT

We investigate the geometry and topology of extremal domains in a manifold with negative sectional curvature. An extremal domain is a domain that supports a positive solution to an overdetermined elliptic problem (OEP for short). We consider two types of OEPs. First, we study narrow properties of such domains in a Hadamard manifold and characterize the boundary at infinity. We give an upper bound for the Hausdorff dimension of its boundary at infinity and how the domain behaves at infinity. This shows interesting relations with the Singular Yamabe Problem. Later, we focus on extremal domains in the Hyperbolic Space $\mathbb H ^n$. Symmetry and boundedness properties will be shown. In certain sense, we extend Levitt-Rosenberg's Theorem \cite{LR} to OEPs, which suggests a strong relation with constant mean curvature hypersurfaces in $\mathbb H ^n$. In particular, we are able to prove the Berestycki-Caffarelli-Nirenberg Conjecture under certain assumptions either on the boundary at infinity of the extremal domain or on the OEP itself. Also a height estimate for solutions on extremal domains in a Hyperbolic Space will be given.

研究の動機と目的

• ハダマード多様体、特にハイパボリック空間における特異的楕円型問題（OEP）が正の解をもつ極値領域の幾何学的・位相的性質を同定すること。
• Levitt-RosenbergのOEPにおける対称性に関する定理をハイパボリック空間の設定に拡張し、極値領域を平均曲率一定超曲面に関連付けること。
• Berestycki–Caffarelli–Nirenberg（BCN）予想が成立する条件を確立すること、特に境界の無限遠における性質またはOEPの構造に制約を加えること。
• ハダマード多様体における極値領域の境界の無限遠のハウスドルフ次元に対する鋭い上界を導出すること。
• ハイパボリック空間における極値領域における解の高さ推定を提供し、解の挙動と幾何的制約を結びつけること。

提案手法

• 動平面法と精密化された境界点最大原理を併用して、OEPの解の対称性および正則性を分析する。
• ホプフ最大原理（内部および境界版）を用いて、超レベル集合が臨界直径を超えると仮定した場合の矛盾を導出する。
• ステレオグラフィック射影を用いてハイパボリック空間を単位円板に写像し、非有界領域およびその無限遠における挙動の幾何的解析を可能にする。
• 測地球上でノイマン境界条件を満たす固有関数の族を定義し、バリア型の議論を構築する。
• ハイパボリック空間 $ \bb{H}^n $ の測地球におけるラプラシアンの第一固有値に依存する臨界半径 $ R_{\rho,n} $ を導入し、超レベル集合の直径を制限する。
• 解 $ u $ が $ \{x \in \Omega \mid u(x) > h_0\} $ の非有界成分においてどのように振る舞うかを、無限遠境界への発散を追跡し、動くグラフを用いた矛盾による解析を行う。

実験結果

リサーチクエスチョン

• RQ1 ハイパボリック空間において、Berestycki–Caffarelli–Nirenberg予想が成立する幾何的または関数的条件は何か？
• RQ2 ハイパボリック空間 $ \bb{H}^n $ におけるOEPの極値領域において、超レベル集合 $ \{x \in \Omega \mid u(x) > h_0\} $ の連結成分の最大直径は何か？
• RQ3 ハダマード多様体における極値領域の境界の無限遠のハウスドルフ次元は、OEPの解の挙動とどのように関係するか？
• RQ4 動平面法は、ハイパボリック空間における非有界極値領域の対称性および有界性を示すために適応可能か？
• RQ5 ノイマン境界データ $ \alpha \neq 0 $ は、非退化を防ぎ、最大原理に基づく矛盾の議論を可能にする役割を果たすか？

主な発見

• ハイパボリック空間 $ \bb{H}^n $ におけるOEPの極値領域において、任意の超レベル集合 $ \{x \in \Omega \mid u(x) > h_0\} $ の連結成分 $ \Omega' $ の直径は、測地球におけるラプラシアンの第一固有値に依存する臨界半径 $ R_{\lambda,n} $ を用いて、$ 2R_{\lambda,n} $ よりも厳密に小さい。
• ハダマード多様体における極値領域の境界の無限遠のハウスドルフ次元は、解の挙動およびOEPの構造に関連する値によって上から抑えられており、特異ヤマベ問題と関連づけられる。
• 境界の無限遠が十分に滑らかである、または非線形関数 $ f $ が性質 $ \mathbb{P}_1 $ を満たすという仮定の下で、BCN予想は検証される。これは、従来の結果をハイパボリック空間に拡張するものである。
• ハイパボリック空間 $ \bb{H}^n $ における非有界極値領域におけるOEPの解は、高さ推定を満たし、$ u(x) > h_0 $ ならば、超レベル集合に長さ $ \geq 2R_{\lambda,n} $ の測地線分を含むことはできない。
• ノイマン境界データ $ \alpha $ は非ゼロでなければならない。そうでなければ、ホプフ最大原理に基づく矛盾の議論は失敗するため、この方法が適用可能となるための必要条件である。
• 著者らは、OEPに対して有界な解をもつハイパボリック空間 $ \bb{H}^n $ における極値領域は、有界であるか、制御された非有界性を示すことが示され、その幾何学的構造は臨界半径 $ R_{\lambda,n} $ によって制限される。