[论文解读] On the $L_p$ Geominimal surface area and related inequalities

Deping Ye|arXiv (Cornell University)|Aug 20, 2013

Point processes and geometric inequalities参考文献 36被引用 5

一句话总结

本文为所有 $p \neq -n, 1$ 引入了 $L_p$ 几何最小表面积，扩展了凸几何中的 $L_p$ 仿射表面积概念。通过循环不等式证明单调性，建立了关键不等式——仿射等周不等式与桑塔洛型不等式，并将 $L_p$ 几何最小表面积与形式 $p$-表面积进行比较，推动了 $L_p$ 仿射几何理论的发展。

ABSTRACT

In this paper, we introduce the $L_p$ Geominimal surface area for all $-n eq p 1$). Our extension of the $L_p$ Geominimal surface area is motivated by recent work on the extension of the $L_p$ affine surface area -- a fundamental object in (affine) convex geometry. We prove some properties for the $L_p$ Geominimal surface area and its related inequalities, such as, the affine isoperimetric inequality and the Santal\'{o} style inequality. Some cyclic inequalities are established to obtain the monotonicity of the $L_p$ Geominimal surface area. Comparison between the $L_p$ Geominimal surface area and the (formal) $p$-surface area is also provided.

研究动机与目标

• 将 $L_p$ 几何最小表面积的概念扩展至经典范围之外，特别针对 $p \neq -n, 1$ 的情形，在仿射凸几何背景下进行。
• 建立控制 $L_p$ 几何最小表面积行为的基本不等式——仿射等周不等式与桑塔洛型不等式。
• 利用循环不等式研究 $L_p$ 几何最小表面积的单调性性质。
• 比较 $L_p$ 几何最小表面积与形式 $p$-表面积，阐明其在 $L_p$ 框架下的关系。

提出的方法

• 作者通过变分法定义 $L_p$ 几何最小表面积，将经典几何最小表面积推广至所有 $p \neq -n, 1$。
• 他们利用涉及支持函数与曲率测度的循环不等式，分析 $L_p$ 几何最小表面积的单调性。
• 通过 $L_p$ 空间中的对偶性与布拉施克–桑塔洛不等式推导出仿射等周不等式。
• 通过体积积估计及 $L_p$ 设置下对偶体的应用，建立桑塔洛型不等式。
• 通过积分表示与极限论证，实现 $L_p$ 几何最小表面积与形式 $p$-表面积的比较。
• throughout 应用 $L_p$ 布鲁姆-闵可夫斯基理论与混合体积理论的技术，以保持几何一致性。

实验结果

研究问题

• RQ1 如何有意义地将 $L_p$ 几何最小表面积扩展至所有 $p \neq -n, 1$？
• RQ2 哪些不等式，如仿射等周不等式与桑塔洛型不等式，控制着 $L_p$ 几何最小表面积？
• RQ3 $L_p$ 几何最小表面积关于 $p$ 的单调性在不同 $p$ 值下如何表现？
• RQ4 $L_p$ 几何最小表面积与形式 $p$-表面积之间的精确关系是什么？
• RQ5 循环不等式能否有效用于推导 $L_p$ 几何最小表面积的结构性质？

主要发现

• 成功地将 $L_p$ 几何最小表面积扩展至所有 $p \neq -n, 1$，为 $L_p$ 仿射表面积理论提供了统一框架。
• 仿射等周不等式对 $L_p$ 几何最小表面积成立，确立其在 $L_p$ 几何中的自然极值对象地位。
• 证明了桑塔洛型不等式，将 $L_p$ 几何最小表面积与凸体及其对偶体的体积积联系起来。
• 通过涉及支持函数的循环不等式，确立了 $L_p$ 几何最小表面积关于 $p$ 的单调性。
• 在某些极限情形下，证明了 $L_p$ 几何最小表面积被形式 $p$-表面积上下界控制。
• $L_p$ 几何最小表面积与形式 $p$-表面积的比较揭示了在特定几何条件下其渐近等价性。