[論文レビュー] The Loewner-Nirenberg problem in singular domains

Qing Han, Weiming Shen|arXiv (Cornell University)|Nov 3, 2015

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 4

ひとこと要約

本稿では、滑らかでない境界をもつ特異領域におけるLoewner-Nirenberg問題の解について、最適な漸近的推定値を確立する。特異境界点の近傍をその接錐へ写像する$C^{1,1}$-微分同相写像$T$を構成することにより、領域内の解$u$が接錐内の解$u_{V_{x_0}}$により点ごとに良好に近似されることを証明し、誤差が$C|x - x_0|$で有界であることを示す。ここで$C$は$n$および境界の幾何的性質にのみ依存する。この結果は、特異領域への古典的結果の一般化であり、最小限の正則性仮定のもとで推定値の最適性を確認する。

ABSTRACT

We study the asymptotic behaviors of solutions of the Loewner-Nirenberg problem in singular domains and prove that the solutions are well approximated by the corresponding solutions in tangent cones at singular points on the boundary. The conformal structure of the underlying equation plays an essential role in the derivation of the optimal estimates.

研究の動機と目的

• 境界$∂\Omega$が点で$C^2$でない特異境界をもつ領域へ、古典的なLoewner-Nirenbergの漸近的推定値を拡張すること。
• $k \leq n$個の$C^{1,1}$超曲面が交差して形成する孤立した境界特異点の近傍における特異ヤマベ方程式の解の挙動を分析すること。
• 領域内の解が滑らかでない場合でも、特異点における接錐内の解により良好に近似されることを確立すること。
• $C^{1,1}$境界成分の正則性のもとで、$O(|x - x_0|)$誤差推定値の最適性を証明すること。

提案手法

• 特異境界点$x_0$の近傍を接錐$V_{x_0}$へ写像する$C^{1,1}$-微分同相写像$T$を構成し、境界構造を保存すること。
• 特に$T_r(x) = \frac{2r^2(x - x_0)}{|x - x_0|^2 + 2r(x_1 - r)} + x_0$で定義される反転$T_r$を含む共形変換を用いて、領域内の解と接錐内の解を関連させること。
• 最大値原理を用いて、領域$\Omega$内の解$u$を、境界$S_i$の$x_0$における接する球の和集合である内側近似領域$\widetilde{B}$と外側近似領域$\widehat{B}$内の解と比較すること。
• 比較原理を用いて、$u(x)$が$v(x)(1 \pm C\delta^{-1}|x - x_0|)$の間に抑えられることを示し、ここで$v$は接錐内の解であり、$\delta$は法線ベクトル間の角度に関連する幾何的パラメータである。
• アフィン幾何、共形不変性、および接錐内での距離推定の組み合わせにより、鍵となる推定値$\left| \frac{u(x)}{u_{V_{x_0}}(Tx)} - 1 \right| \leq C|x - x_0|$を導出すること。
• 定数$C$が、$S_i$の$C^{1,1}$-ノルムにのみ依存し、面の数に依存しないことを確認すること。

実験結果

リサーチクエスチョン

• RQ1 境界$∂\Omega$が点で$C^2$でない領域に対し、古典的なLoewner-Nirenberg推定値$|d^{\frac{n-2}{2}}u - 1| \leq Cd$を拡張できるか。
• RQ2 特異境界点$x_0$の近傍における特異領域内の解$u$は、接錐$V_{x_0}$内の解により良好に近似可能か。
• RQ3 特異領域において$x \to x_0$のとき、$u(x)$と$u_{V_{x_0}}(Tx)$の間の近似の鋭い速度は何か。
• RQ4 交差する$C^{1,1}$超曲面の数に依存しない推定値を得ることは可能か。
• RQ5 境界が$C^{1,1}$正則性を満たす場合、$O(|x - x_0|)$誤差項は最適か。

主な発見

• 有界なリプシッツ領域$\Omega$において特異境界点$x_0$をもつ場合、解$u$は接錐$V_{x_0}$内の解$u_{V_{x_0}}$により点ごとに近似され、$x \in B_{r/2}(x_0)$に対して$\left| \frac{u(x)}{u_{V_{x_0}}(Tx)} - 1 \right| \leq C|x - x_0|$が成り立つ。
• 推定値における定数$C$は、$n$および境界超曲面$S_1, \dots, S_k$の$C^{1,1}$-ノルムにのみ依存し、面の数には依存しない。
• 推定値は最適である：$∂\Omega$の正則性仮定を強化しない限り、$O(|x - x_0|)$誤差項は改善できない。
• $C^{1,1}$-微分同相写像$T$の構成は証明の中心的役割を果たし、これは超曲面$S_i$への距離に基づく。
• この手法は共形不変性と近似領域$\widetilde{B}$および$\widehat{B}$内の解との比較に依存しており、これらは$x_0$で$S_i$に接する球の和集合である。
• 接錐を一様に$C^{1,1}$-ノルムが有界な多面体錐の列で近似することで、孤立特異点をもつ領域へも結果を拡張可能である。