[论文解读] Embedded cmc hypersurfaces on hyperbolic spaces

Óscar Perdomo|ArXiv.org|Mar 28, 2009

Mathematics and Applications参考文献 3被引用 3

一句话总结

本文通过双曲型旋转超曲面，在 $n+1$ 维双曲空间 $H^{n+1}$ 中构造了微分同胚于 $H^{n-1} \times S^1$ 的嵌入常平均曲率（CMC）超曲面。证明了对每个 $n > 1$，存在 $H_0 < -1$，使得所有 $H < H_0$ 均可实现为这种嵌入的平均曲率，且通过一个可计算函数 $\xi_n(H)$ 给出明确的数值准则：若 $\xi_n(H) > -2\pi$，则此类嵌入存在。

ABSTRACT

In this paper we will prove that for every integer n&gt;1, there exists a real number H_0-2π, then, H can be realized as the mean curvature of a embedding of H^{n-1} imes S^1 in the (n+1)-dimensional spaces H^{n+1}.

研究动机与目标

• 建立在双曲空间中微分同胚于 $H^{n-1} \times S^1$ 的嵌入 CMC 超曲面的存在性，其平均曲率 $H$ 足够负。
• 利用数值可计算函数 $\xi_n(H)$ 描述此类嵌入存在的 $H$ 值范围。
• 通过 $H^{n+1}$ 中双曲型旋转超曲面的显式构造实现这些嵌入。
• 确定临界阈值 $H_0$，使得所有 $H < H_0$ 均可实现此类嵌入，其中当 $n=2$ 时 $H_0 \simeq -1.0158$。

提出的方法

• 通过求解控制径向与角向分量的二阶常微分方程，构造一个单参数族的浸入映射 $\phi: \mathbb{R} \times S^1 \to H^{n+1}$。
• 通过积分 $\lambda(t)r(t)/(r^2(t) - 1)$ 定义径向函数 $r(t)$ 和角向函数 $\theta(t)$，其中 $\lambda(t) = H + (f(t))^{-n}$，且 $f(t)$ 是含参数 $C$ 的非线性常微分方程的解。
• 利用解 $f(t)$ 的周期性（周期为 $T = \pi / \sqrt{H^2 - 1}$）确保浸入在 $u$-变量上下降为 $S^1$。
• 引入函数 $K(C,H) = \int_0^T \frac{\lambda(s)r(s)}{r^2(s) - 1} ds$，其决定 $\theta(u)$ 的单值性；当 $K(C,H) = -2\pi/m$（$m$ 为整数）时，$u$ 方向实现周期性。
• 定义 $\xi_n(H)$ 为当 $C \to \tilde{C} = -(-H)^{-2/n}$ 时 $K(C,H)$ 的极限，该函数在 $H$ 上连续且可计算。
• 应用介值定理：若 $\xi_n(H) > -2\pi$，则存在 $C^* \in (C_0, \tilde{C})$ 使得 $K(C^*, H) = -2\pi$，从而保证 $\theta(u)$ 的周期性与单射性，最终实现嵌入。

实验结果

研究问题

• RQ1 对于哪些 $H < -1$ 值，存在嵌入于 $H^{n+1}$ 中、平均曲率为 $H$ 的超曲面 $H^{n-1} \times S^1$？
• RQ2 能否对一般 $n$ 显式计算或估计此类嵌入存在的阈值 $H_0$？
• RQ3 是否存在一个数值可计算的函数 $\xi_n(H)$，使得通过条件 $\xi_n(H) > -2\pi$ 可确定此类嵌入的存在性？
• RQ4 在 $H^{n+1}$ 中，双曲型旋转超曲面的几何结构如何导致嵌入的 CMC 结构？

主要发现

• 当 $n=2$ 时，临界值被显式计算为 $H_0 \simeq -1.0158136657178574$，低于此值的所有 $H < H_0$ 均可实现 $H^1 \times S^1$ 超曲面在 $H^3$ 中的嵌入。
• 对一般 $n > 1$，函数 $\xi_n(H)$ 定义在 $(-\infty, -1)$ 上，且满足 $\lim_{H \to -\infty} \xi_n(H) = -\pi$，从而保证对足够负的 $H$ 有 $\xi_n(H) > -2\pi$。
• 条件 $\xi_n(H) > -2\pi$ 是嵌入 $H^{n-1} \times S^1 \to H^{n+1}$ 具有平均曲率 $H$ 的存在性的充要条件。
• 数值计算显示 $\xi_3(-1) \approx -5.971$，$\xi_4(-1) \approx -4.599$，$\xi_5(-1) \approx -4.130$，均小于 $-2\pi \approx -6.283$，表明在这些维度中所有 $H < -1$ 均存在此类嵌入。
• 该构造确保 $\theta(u)$ 的单射性与浸入的周期性，当 $K(C^*, H) = -2\pi$ 对某个 $C^* \in (C_0, \tilde{C})$ 成立时，可得到良定义的嵌入。
• 主曲率为 $\lambda$（重数 $n-1$）和 $nH - (n-1)\lambda$，确认平均曲率为常数 $H$。