[论文解读] Extremal Domains on Hadamard manifolds

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

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

一句话总结

本文研究了在Hadamard流形（特别是双曲空间）中，过定椭圆问题（OEPs）存在正解的极值区域。通过应用平移平面法与最大值原理技术，作者建立了解的上水平集的精确直径上界，证明了对称性与有界性性质，并在区域或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.

研究动机与目标

• 刻画Hadamard流形（特别是双曲空间）中过定椭圆问题（OEPs）存在正解的极值区域的几何与拓扑结构。
• 将Levitt-Rosenberg关于OEP中对称性的定理推广至双曲空间，并将极值区域与常平均曲率超曲面联系起来。
• 建立Berestycki–Caffarelli–Nirenberg（BCN）猜想成立的条件，特别是通过约束边界在无穷远处的性质或OEP的结构。
• 推导Hadamard流形中极值区域在无穷远处边界的Hausdorff维数的精确上界。
• 为双曲空间中极值区域上的解提供高度估计，将解的行为与几何约束联系起来。

提出的方法

• 结合改进的边界点最大值原理，运用平移平面法分析OEP解的对称性与正则性。
• 使用Hopf最大值原理（包括内部与边界版本），在假设上水平集超过临界直径时导出矛盾。
• 通过立体投影将双曲空间映射至单位圆盘，从而实现对无界区域及其在无穷远处行为的几何分析。
• 在双曲空间的测地球上定义一组满足Neumann边界条件的特征函数，以构造屏障型论证。
• 引入一个临界半径 $ R_{ ho,n} $，其由 $ \bb{H}^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 Hadamard流形中极值区域在无穷远处边界的Hausdorff维数如何与OEP的解相关？
• RQ4 平移平面法能否被调整以证明双曲空间中无界极值区域的对称性与有界性？
• RQ5 Neumann边界数据 $ \alpha \neq 0 $ 在防止退化及通过最大值原理实现矛盾论证中起什么作用？

主要发现

• 在 $ \bb{H}^n $ 中OEP的极值区域中，任意上水平集 $ \{x \in \Omega \mid u(x) > h_0\} $ 的连通分支 $ \Omega' $ 的直径严格小于 $ 2R_{\lambda,n} $，其中 $ R_{\lambda,n} $ 是依赖于测地球上拉普拉斯算子第一特征值的临界半径。
• Hadamard流形中极值区域在无穷远处边界的Hausdorff维数有上界，该上界与解的行为及OEP结构相关，且与奇异Yamabe问题相联系。
• 在极值区域在无穷远处的边界足够正则，或非线性项 $ f $ 满足性质 $ \mathbb{P}_1 $ 的假设下，验证了BCN猜想，将先前结果推广至双曲空间。
• 在 $ \bb{H}^n $ 中无界极值区域上OEP的解满足高度估计，即若 $ u(x) > h_0 $，则上水平集不能包含长度 $ \geq 2R_{\lambda,n} $ 的测地线段。
• Neumann边界数据 $ \alpha $ 必须非零；否则，基于Hopf最大值原理的矛盾论证将失效，表明这是该方法适用的必要条件。
• 作者证明了在 $ \bb{H}^n $ 中具有有界解的OEP的极值区域，要么有界，要么表现出受控的无界性，其几何结构受临界半径 $ R_{\lambda,n} $ 的约束。