Weighted centro-affine Poincaré inequalities

技术摘要：加权中心仿射庞卡莱不等式

问题陈述
本文研究了在光滑严格凸超曲面上，针对球面帽及其交集的加权庞卡莱不等式问题，特别是在中心仿射几何的背景下。作者旨在为一类取决于超曲面位置向量 $X$ 的权重推导这些不等式。其主要动机是利用这些解析不等式，在以往方法（如 Reilly 方法或全球面上的标准 Bochner 公式）无法处理或得到的常数并非最优的范围内，证明对对偶测度 $\tilde{V}_q$ 的新 Brunn–Minkowski 不等式。具体而言，这项工作针对的是无条件凸体的 $q > n$ 范围，以及 $q \in (0, n)$ 范围，旨在刻画等式成立的情况并建立 $L_{p,q}$-Minkowski 问题的唯一性。

方法论
作者结合使用了中心仿射微分几何、加权 Bochner 公式和变分方法。

1. 中心仿射 Bochner 公式： 核心解析工具是在球面帽（由 $\langle X, w \rangle > 0$ 定义的区域）及其交集上推导加权 Bochner 公式。作者在单位球面 $S^{n-1}$ 上定义了一个无挠中心仿射联络 $\nabla$ 和一个度量 $g$。他们为算子 $L_\Phi = \Delta - g(\nabla \Phi, \nabla \cdot)$ 建立了加权 Bochner 恒等式，其中权重由势函数 $\Phi$ 决定。
2. 基于帽的逼近： 为了处理与球面帽交集（具有分段光滑边界）相关的奇异性和边界问题，作者通过光滑子域来逼近这些区域。一个关键的技术步骤是构造一个交集的平滑定义函数，该函数能够保持所需的凹性性质，以确保 Bochner 积分分部积分中的边界项（第二基本形式）是非负的。
3. 对数中心仿射几何： 该研究的一个重要方法论创新是在正象限 $(0, \infty)^n$ 上引入了“平坦对数中心仿射几何”。通过将位置向量 $X$ 映射到 $Y = \log X$，作者构造了一个适应于 $L_0$-和乘法结构的平坦等仿射结构 $(g_{\log}, \nabla_{\log})$。在这种几何中，横截向量是常数，且联络是平坦的，从而允许导出常数为 $n$ 的锐利庞卡莱不等式。
4. 变分与不等式技术： 用于证明 Brunn–Minkowski 不等式的证明利用了 Prékopa–Leindler 不等式和 Borell–Brascamp–Lieb (BBL) 不等式。对于 $L_0$-和情况（$q \in (0, n)$），对数变量替换将径向密度转化为对数凹密度。对于 $q > n$，作者在正象限上采用 $L_p$ 型变量替换，在对数坐标系与欧几里得坐标系之间进行插值，从而建立特定参数范围内的对数凹性。

主要贡献与结果

• 加权庞卡莱不等式：

  • 定理 1.1： 建立了对于形式为 $\omega(\ell_{w_1}, \dots, \ell_{w_m})$ 的权重的球面帽交集上的加权中心仿射庞卡莱不等式。谱常数取决于 $\omega$ 的齐次性和凹性性质。
  • 定理 1.5： 证明了对于第 $q$ 对偶测度（$q \in (0, n)$）且权重为 $|X|^{q-n}$ 的加权庞卡莱不等式。对于无条件体，常数从 $q-1$ 提升至 $q$。
  • 推论 3.22： 推导了对于无条件体、带有权重 $|X|^2$ 的中心仿射庞卡莱不等式，这一结果对于证明 $\tilde{V}_{n+2}$ 的 Brunn–Minkowski 不等式至关重要。

• Brunn–Minkowski 不等式：

  • 定理 1.2： 证明了无条件凸体的第 $(n+2)$ 对偶测度的 Brunn–Minkowski 不等式：$\tilde{V}_{n+2}(K+L)^{1/(n+2)} \geq \tilde{V}_{n+2}(K)^{1/(n+2)} + \tilde{V}_{n+2}(L)^{1/(n+2)}$。当且仅当 $K$ 和 $L$ 是相似体时等式成立。
  • 定理 1.3： 建立了对于无条件体的第 $q$ 对偶测度（$q \in (0, n)$）的 $L_0$-Brunn–Minkowski 不等式，其中等式仅对相似体成立。
  • 定理 1.4： 将 Brunn–Minkowski 不等式扩展到 $L_p$-和，其中 $q = n + \alpha$ 且 $0 < \alpha \leq \frac{2p(1-p)}{2-p}$。这涵盖了对于合适的 $p \in (0, 1)$ 时 $q \in (n, n + 6 - 4\sqrt{2}]$ 的范围。

• 唯一性结果：

  • 定理 1.6： 证明了无条件类中 $L_{p,q}$-Minkowski 问题的唯一性。具体而言，对于 $q = n+2$ 且 $1 \leq p < q$，或者 $q \in (0, n)$ 且 $0 \leq p < q$，存在至多一个 $C^2_+$ 无条件凸体解给定曲率方程。文中指出，$q=n+2, p=1$ 的情况即使对于 $f=1$ 且 $n \geq 3$ 也是新的结果。

• 对数几何：

  • 本文引入了对数中心仿射几何，表明它是平坦且等仿射的。它展示了该几何中的庞卡莱不等式（常数为 $n$）意味着对于无条件体，具有相同常数的中心仿射庞卡莱不等式。函数 $p_i - 1/n$（其中 $p_i = x_i X_i / h$）被确定为对数拉普拉斯算子的特征函数，类似于二次球面调和函数。

意义与主张
作者声称其主要贡献是引入了平坦对数中心仿射几何，该几何自然地适应了 $L_0$-和的乘法结构。这种几何框架允许导出此前使用标准中心仿射 Bochner 公式在全球面上无法获得的锐利庞卡莱不等式（因为后者在没有额外的紧缩假设的情况下，无法控制某些负项）。

论文断言，这些解析结果提供了一种统一的方法，用于证明在先前难以进入的范围（$q > n$）内以及对于 $L_p$-和的对偶测度的 Brunn–Minkowski 不等式。此外，导出的不等式导致了 $L_{p,q}$-Minkowski 问题在无条件设定下的新唯一性结果，将已知结果扩展到了此前需要对称性假设或唯一性未知的情形。这项工作架起了 $L_1$ 结构（经典中心仿射）与 $L_0$ 结构（对数）之间的桥梁，为无条件凸体的无穷小几何提供了新的视角。