[论文解读] The Obata equation with Robin boundary condition

Xuezhang Chen, Mijia Lai+1 more|arXiv (Cornell University)|Jan 8, 2019

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

一句话总结

本文研究了黎曼流形上具有罗宾边界条件的奥贝塔方程，证明了非平凡解不仅存在于球面对称区域，也存在于其他紧致流形上，其存在性取决于罗宾参数 $ a $ 的符号。关键结果建立了一个刚性定理，表明当 $ a > 0 $ 时，流形必须等距同构于球面对称区域，其边界分量等距同构于广义克利福德环面或球面，具体取决于函数的临界点结构与维度。

ABSTRACT

We study the Obata equation with Robin boundary condition $\frac{\partial f}{\partial ν}+af=0$ on manifolds with boundary, where $a \in \mathbb{R}\setminus\{0\}$. Dirichlet and Neumann boundary conditions were previously studied by Reilly \cite{R}, Escobar \cite{Es} and Xia \cite{X}. Compared with their results, the sign of $a$ plays an important role here. The new discovery shows besides spherical domains, there are other manifolds for both $a>0$ and $a<0$. We also consider the Obata equation with non-vanishing Neumann condition $\frac{\partial f}{\partial ν}=1$.

研究动机与目标

• 将奥贝塔刚性定理推广至罗宾边界条件情形，推广先前关于狄利克雷与诺伊曼条件的研究结果。
• 确定在罗宾边界条件下，哪些紧致黎曼流形允许奥贝塔方程存在非平凡解。
• 刻画当罗宾参数 $ a $ 非零时，边界与底层流形的几何结构，特别区分 $ a > 0 $ 与 $ a < 0 $ 的情形。
• 建立解 $ f $ 在边界上临界点数量与流形的拓扑结构（包括覆盖映射与粘合构造）之间的联系。
• 通过刚性结果刻画罗宾边界条件下李赫诺维奇型特征值估计中等号成立的情形。

提出的方法

• 分析在具有边界且满足罗宾条件 $ \frac{\partial f}{\partial \nu} + a f = 0 $（其中 $ a \neq 0 $）的紧致流形上，奥贝塔方程 $ \nabla^2 f + f g = 0 $ 的性质。
• 在边界附近使用法向测地坐标，推导度量与函数 $ f $ 的渐近展开式，递归表达高阶项。
• 应用关于径向变量 $ r $ 的形式幂级数展开方法，系数由初始数据 $ f_0, f_1 $ 与曲率项确定。
• 利用联络系数与曲率张量的结构，推导 $ f $ 的泰勒系数与度量分量 $ \bar{g}_k $ 的递推方程。
• 建立一个关于具有匹配狄利克雷与诺伊曼数据的流形的粘合定理，表明若一个解可被粘合，则两个具有相同边界数据的解可被光滑拼接。
• 利用在稠密子集上非零诺伊曼数据可保证渐近展开式的唯一性，从而实现光滑粘合。

实验结果

研究问题

• RQ1 哪些紧致黎曼流形允许奥贝塔方程在罗宾边界条件下存在非平凡解？
• RQ2 罗宾参数 $ a $ 的符号如何影响流形及其边界可能的几何结构？
• RQ3 罗宾边界条件下李赫诺维奇型特征值估计的等号情形能否通过奥贝塔方程刻画？
• RQ4 解 $ f $ 在内部最大点的数量在决定流形的覆盖结构中起什么作用？
• RQ5 在何种条件下，两个在边界上具有匹配狄利克雷与诺伊曼数据的流形可沿边界被光滑粘合？

主要发现

• 当 $ a > 0 $ 时，任何允许奥贝塔方程在罗宾条件下存在非平凡解的紧致流形 $ (M,g) $ 必须具有常曲率 $ 1 $ 的截面曲率，即 $ \mathrm{sec}_g \equiv 1 $。
• 若 $ f|_{\partial M} $ 为常数，则边界连通且等距同构于 $ T^{n-1}(\theta) $，且 $ (M,g) $ 等距同构于 $ \mathbb{S}^n $ 中半径为 $ \pi/2 - \theta $ 的测地球。
• 若 $ f|_{\partial M} $ 不为常数，且所有边界分量满足 $ m(S) < n-2 $，则 $ (M,g) $ 等距同构于 $ \mathbb{S}^n \setminus \bigsqcup_{i=1}^l D^{m_i}(\theta) $，其中 $ m_i < n-2 $。
• 当某个边界分量满足 $ m(S) = n-2 $ 时，流形是 $ \mathbb{S}^n \setminus D^{n-2}(\theta) $ 的 $ k $ 重等距覆盖，其中 $ k $ 等于 $ f $ 在内部的最大点数。
• 当 $ n = 2 $ 时，每个边界曲线为具有常测地曲率 $ -\cot\theta $ 的闭曲线，其长度为 $ 2\pi k \sin\theta $，其中 $ k $ 为 $ f $ 在该分量上的最大点数。
• 在罗宾边界条件下，任-徐型李赫诺维奇特征值估计的等号情形由刚性结果刻画：等号成立当且仅当 $ (M,g) $ 如上所述等距同构于球面对称区域。