[论文解读] Some higher order isoperimetric inequalities via the method of optimal transport

Sun‐Yung A. Chang, Yi Wang|arXiv (Cornell University)|May 14, 2013

Point processes and geometric inequalities参考文献 9被引用 3

一句话总结

该论文利用最优传输方法，为 $\mathbb{R}^n$ 中的 $k+1$-凸域建立了精确的高阶等周不等式。研究证明，对于 2-凸域，体积被一个常数乘以平均曲率的积分所上界控制，且仅当区域为球体时取等；类似地，对于 3-凸域，体积被一个常数乘以第二基本形式的第二初等对称函数的积分所上界控制，且同样在球体时取到精确等号条件。

ABSTRACT

In this paper, we establish some sharp inequalities between the volume and the integral of the $k$-th mean curvature for $k+1$-convex domains in the Euclidean space. The results generalize the classical Alexandrov-Fenchel inequalities for convex domains. Our proof utilizes the method of optimal transportation.

研究动机与目标

• 将经典的 Alexandrov-Fenchel 不等式推广至非凸域，通过建立精确的高阶等周不等式。
• 研究形如 $\left(\int \sigma_{k-1} d\mu\right)^{1/(n-k)} \leq C \left(\int \sigma_k d\mu\right)^{1/(n-1-k)}$ 的精确不等式是否对 $k$-凸域成立。
• 利用最优传输方法证明，对于 $(k+1)$-凸域，这些不等式在精确常数下成立，从而推广了以往的非精确结果。
• 确定额外的凸性假设（即使用 $(k+1)$-凸性而非 $k$-凸性）是否为该方法成功所必需。

提出的方法

• 将域 $\Omega$ 上的测度通过最优传输映射到单位 $n$-球上的均匀测度。
• 证明依赖于构造 Kantorovich 潜势 $\phi$，并通过 Monge-Ampère 方程分析传输代价。
• 关键几何量如平均曲率 $H = \sigma_1(L)$ 和 $\sigma_2(L)$ 通过二阶导数和曲率不变量与传输势相关联。
• 分析涉及对势函数的 Hessian 算子 $\nabla^2\phi$ 进行估计，并利用 $\Sigma_2$ 和 $\sigma_2$ 对称函数来控制曲率项。
• 一个关键步骤是证明一个涉及 $[T_2]_{\alpha\beta}(L)$ 的二次型非正性，该步骤依赖于 $\phi_n \leq \psi$ 及曲率不变量的非负性。
• 证明使用了 $\psi = 1 - \sum C_k |\nabla\phi|^{2k}$ 的级数展开，并对所得项进行估计，以证明 $P \leq -1/4$，从而得出能量泛函的非正性。

实验结果

研究问题

• RQ1 对于 2-凸域，精确的高阶等周不等式 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq C \int_{\partial\Omega} H \, d\mu$ 是否成立？
• RQ2 最优传输方法能否用于推导出凸性情形之外的高阶等周不等式中的精确常数？
• RQ3 $(k+1)$-凸性假设是否为最优传输证明成功所必需，还是可弱化为 $k$-凸性？
• RQ4 传输势的 Hessian 及其与第二基本形式的相互作用在推导曲率不等式中起什么作用？
• RQ5 该方法能否推广至所有 $k$-阶不等式，并对 $k+1$-凸域给出精确常数？

主要发现

• 对于 $\mathbb{R}^n$ 中的 2-凸域，不等式 $\mathrm{Vol}(\Omega)^{(n-2)/n} \leq \left(\frac{1}{\omega_n}\right)^{2/n} \frac{1}{n(n-1)} \int_{\partial\Omega} H \, d\mu$ 成立，且常数为精确值。
• 当且仅当 $\Omega$ 是 $\mathbb{R}^n$ 中的球体时，该不等式取等，从而证实了常数的精确性。
• 对于 3-凸域，建立了不等式 $\mathrm{Vol}(\Omega)^{(n-3)/n} \leq \left(\frac{1}{\omega_n}\right)^{3/n} \frac{1}{3\binom{n}{3}} \int_{\partial\Omega} \sigma_2(L) \, d\mu$，且常数为精确值。
• 该不等式中的常数是精确的，且仅当区域为球体时取等，从而证明了边界的最优性。
• 证明表明能量泛函 $L_3$ 被一个包含 $\int \sigma_2(L) \, d\mu$ 减去一个非正项的表达式所上界控制，从而确认了不等式成立。
• 该方法依赖于 $\Sigma_2(\bar{\nabla}^2\phi, L)$ 和 $\sigma_2(L)$ 的非负性，以及不等式 $\phi_n \leq \psi$，以证明最终能量为非正。