[论文解读] An necessary condition for isoperimetric inequality in warped product space

Chunhe Li, Zhizhang Wang|arXiv (Cornell University)|Oct 7, 2016

Point processes and geometric inequalities被引用 4

一句话总结

本文证明了在度量扭曲积空间中，等周不等式成立的必要条件是 $(\phi')^2 - \phi''\phi \leq 1$。通过在测地球面上施加微扰构造显式反例，作者表明当该条件不成立时，存在体积大于对应测地球的超曲面，从而破坏了等周不等式。该结果完成了对这类空间中等周稳定性必要与充分条件的完整刻画。

ABSTRACT

In this note, we show that there is some counterexample for isoperimetric inequality if the condition $(ϕ')^2-ϕ"ϕ\leq 1$ does not hold in warped product space.

研究动机与目标

• 确定在扭曲积空间中，等周不等式成立的条件 $(\phi')^2 - \phi''\phi \leq 1$ 是否为必要条件。
• 研究当该条件被违反时，等周不等式是否可能失效。
• 构造显式反例，其中微扰后的超曲面体积超过对应测地球的体积。
• 通过证明已知充分条件的必要性，完成对扭曲积空间中等周不等式的完整刻画。

提出的方法

• 作者在扭曲积空间中的测地球上使用微扰方法，通过小参数 $\epsilon$ 对径向坐标进行变形。
• 定义一个共形 Killing 向量场 $X = f(r) r \partial_r$，并计算其在微扰后超曲面上的支撑函数 $\varphi = X \cdot \nu$。
• 利用关于 $\epsilon$ 的二阶泰勒展开，将微扰凸体 $M_\epsilon$ 的体积表示为原始测地球体积与一个包含 $\Phi(r) = \frac{f(r)f'(r)}{r} + \frac{1 - f^2(r)}{r^2}$ 的二次校正项之和。
• 关键方程为 $\text{Vol}(M_\epsilon) = \text{Vol}(\mathbb{B}^n(r)) - \frac{r^{n+1} \epsilon^2 \Phi(r)}{2(n+1)f^3(r)} \text{Area}(\mathbb{S}^n) + o(\epsilon^2)$，该式表明体积变化取决于 $\Phi(r)$ 的符号。
• 分析 $\Phi(r)$ 的符号：若 $\Phi(r) < 0$，则体积增加，从而违反等周不等式。
• 验证 $\Phi(r) < 0$ 恰好对应于 $(\phi')^2 - \phi''\phi \leq 1$ 条件的失效，从而完成必要性证明。

实验结果

研究问题

• RQ1 在扭曲积空间中，条件 $(\phi')^2 - \phi''\phi \leq 1$ 是否为等周不等式成立的必要条件？
• RQ2 当条件 $(\phi')^2 - \phi''\phi \leq 1$ 失效时，能否构造出违反等周不等式的超曲面？
• RQ3 当曲率条件失效时，微扰后测地球的体积会发生什么变化？
• RQ4 在反 de Sitter 或修改版 de Sitter 度量的空间中，若该条件不满足，等周不等式是否失效？
• RQ5 等周不等式的失效是否可通过径向微扰下体积增加来检测？

主要发现

• 当 $\Phi(r) < 0$ 时，微扰后超曲面 $M_\epsilon$ 的体积超过测地球 $\mathbb{B}^n(r)$ 的体积，从而违反等周不等式。
• 条件 $(\phi')^2 - \phi''\phi \leq 1$ 是扭曲积空间中等周不等式成立的必要条件。
• 对于度量 $f^2 = 1 + \frac{m}{r+1}$（$m > 0$），有 $\Phi(r) < 0$，表明在微扰下体积会增加。
• 在反 de Sitter 空间中，$\Phi(r) > 0$，因此体积减小，与等周不等式一致。
• 当 $\phi'(\tilde{r}) = 0$ 且 $\phi''(\tilde{r}) < 0$ 时，存在附近点 $\tilde{r}'$ 使得 $\phi' > 0$ 且条件不成立，从而允许体积增加。
• 反例构造证实，Guang-Li-Wang 等周不等式在 $(\phi')^2 - \phi''\phi > 1$ 时必然失效。