[论文解读] Hyperbolic Geometry and Potential Theory on Minimal Hypersurfaces

Joachim Lohkamp|arXiv (Cornell University)|Dec 27, 2015

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

一句话总结

本文建立了一套新颖的双曲几何与位势理论框架，用于研究具有奇异集的面积最小化超曲面，表明其正则部分可共形展开为具有有界几何的Gromov双曲空间，其中奇异集即为Gromov边界。关键贡献在于推导出关于奇异极小超曲面上Schrödinger算子特征函数的精确Martin边界估计、边界Harnack不等式以及$L^p$可积性，特别针对锥面情形，从而实现奇异点附近的渐近正则性与连续延拓结果。

ABSTRACT

This is the second in a series of papers where we estab- lish skin structural concepts and results for singular area minimizing hypersurfaces. Here we conformally unfold these spaces to complete Gromov hyperbolic spaces with bounded geometry and we recover their singular set as the Gromov boundary but also as the Martin boundary for many classical elliptic operators.

研究动机与目标

• 开发基于皮肤结构与共形展开的奇异面积最小化超曲面的几何与分析框架。
• 证明此类超曲面的正则部分共形等价于具有有界几何的Gromov双曲空间。
• 在正则部分建立Martin理论与边界Harnack不等式，将奇异集视为Gromov边界。
• 推导椭圆算子解在奇异点附近的定量$L^p$可积性与增长估计。
• 将经典位势理论结果（如Fatou定理与连续延拓）推广至奇异极小超曲面，特别是锥面情形。

提出的方法

• 引入皮肤变换$\langle A\rangle$作为共形因子，控制曲率与到奇异集的距离，满足一种Hardy型不等式。
• 利用$\langle A\rangle$-距离$\delta_{\langle A\rangle} = 1/\langle A\rangle$在$H \setminus \Sigma$上定义$c$-皮肤一致结构，确保对奇异集的非切向逼近具有统一控制。
• 在$H \setminus \Sigma$上构造一个共形度量$g_{\langle A\rangle}^*$，使该空间成为具有有界几何的Gromov双曲空间。
• 将Martin理论应用于$H \setminus \Sigma$的共形紧化，识别奇异集$\Sigma$为Gromov边界。
• 分析锥面上Schrödinger算子的径向解$\Psi_{\pm}[n,k](\omega,r) = \psi_C(\omega) \cdot r^{\alpha_\pm}$，利用球面联络$S_C$上的Bombieri-Giusti Harnack不等式。
• 通过紧致性与椭圆正则性，推导出球面上特征函数$\psi_C$在$S_C \setminus \Sigma_{S_C}$上的统一$L^p$与$L^1$界，且与锥$C$无关。

实验结果

研究问题

• RQ1 奇异面积最小化超曲面的正则部分能否共形紧化为以奇异集为边界、具有有界几何的Gromov双曲空间？
• RQ2 边界Harnack不等式与Martin边界理论是否在该类超曲面的正则部分上对椭圆算子成立？
• RQ3 Schrödinger算子在极小锥奇异点附近的正解，其精确的$L^p$可积性与增长性质为何？
• RQ4 能否为奇异极小超曲面上的调和与次调和函数建立连续延拓定理与Fatou型定理？
• RQ5 对于极小锥$C$的联络$S_C$，球面上特征函数$\psi_C$是否存在与锥无关的统一定量估计？

主要发现

• 任意面积最小化超曲面$H$的正则部分$H \setminus \Sigma$均为$c$-皮肤一致，允许对奇异集$\Sigma$实现具有统一控制的非切向逼近。
• 在$H \setminus \Sigma$上定义的共形度量$g_{\langle A\rangle}^*$使该空间成为具有有界几何的Gromov双曲空间，且$\Sigma$被实现为Gromov边界。
• 对任意奇异面积最小化$k$-锥$C^k$，球面特征函数$\psi_C$满足$|\psi_C|_{L^1(S_C \setminus \Sigma_{S_C})} \leq a_{n,k,\lambda} \cdot \inf \psi_C$，其中$a_{n,k,\lambda}$为仅依赖于$n,k,\lambda$的统一常数。
• $\psi_C$的$L^p$-范数在$p < \frac{k-1}{k-3}$时有限，且对所有$k$维奇异锥，有$\sup_{\omega \in \mathbb{E}(\rho)} \psi_C(\omega) \leq b_{n,k,\lambda,\rho} \cdot |\psi_C|_{L^1}$，其中$b_{n,k,\lambda,\rho}$为统一常数。
• 在$B_1(0) \cap C^k$上满足$(L_{C,n})_\lambda w = 0$的正解$v$满足$|v|_{L^q(B_1(0) \cap C^k)} < \infty$，对所有此类锥，$q < \frac{k}{k-2}$时成立。
• 主特征值$\mu^*_{C,(L_{C,n})^\times_\lambda}$为负，且与零点统一远离，确保Schrödinger算子的临界性与谱控制。