On the optimal sets in Pólya and Makai type inequalities

这是一份关于论文《On the optimal sets in Pólya and Makai type inequalities》（关于 Pólya 和 Makai 型不等式中的最优集）的详细技术总结。

1. 研究背景与问题 (Problem)

本文主要研究定义在 $\mathbb{R}^n$ ($n \ge 2$) 中有界、开且凸集 $\Omega$ 上的形状泛函。这些泛函涉及两个经典的几何量：

• 扭转刚度 (Torsional Rigidity) $T(\Omega)$
• 第一 Dirichlet-Laplacian 特征值 (First Dirichlet-Laplacian Eigenvalue) $\lambda(\Omega)$

作者关注以下四个特定的形状泛函（由 Pólya 和 Makai 引入）：

1. Pólya 扭转泛函: $J_1(\Omega) = \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3}$
2. Pólya 特征值泛函: $J_2(\Omega) = \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)}$
3. Makai 泛函: $J_3(\Omega) = \frac{T(\Omega)}{R_\Omega^2 |\Omega|}$
4. Hersch 泛函: $J_4(\Omega) = \lambda(\Omega)R_\Omega^2$

其中 $P(\Omega)$ 是周长，$R_\Omega$ 是内切圆半径，$|\Omega|$ 是勒贝格测度。

核心问题：
已知这些泛函在特定几何约束下存在上下界（例如，Pólya 扭转泛函的下界为 $1/3$，上界为 $2/3$）。然而，这些极值通常不是由某个特定的“最优集”达到的，而是由极小化序列（minimizing sequences）渐近达到的。

• 例如，Pólya 扭转泛函的下界由“变薄”的矩形序列（thinning rectangles）或“扁平”的圆柱序列达到。
• 由于不存在一个固定的最优集（如球体）作为参照，传统的定量稳定性分析（即证明泛函值接近极值时，集合形状接近某个最优集）变得非常复杂。

本文旨在建立定量不等式，通过引入两个几何余项（remainder terms），来刻画这些极小化序列的结构特征，特别是它们如何趋向于“变薄”或“扁平”的状态。

2. 方法论 (Methodology)

作者采用了以下主要数学工具和策略：

1. 定义几何余项：

   • $\alpha(\Omega) = \frac{w_\Omega}{\text{diam}(\Omega)}$：最小宽度与直径之比。当 $\alpha \to 0$ 时，表示集合是“变薄域”（thinning domains）。
   • $\beta(\Omega) = \frac{P(\Omega)R_\Omega}{|\Omega|} - 1$：基于周长、内切圆半径和体积的几何量。当 $\beta \to 0$ 时，表示集合趋向于某种极值状态。

2. 变分法与测试函数：

   • 利用距离函数 $d(x, \partial\Omega)$ 构造测试函数（test functions）。
   • 对于扭转刚度，使用 $f(x) = g(d(x, \partial\Omega))$；对于特征值，使用类似的径向依赖函数。
   • 结合共面积公式 (Coarea Formula) 将体积分转化为沿水平集（superlevel sets）的积分。

3. 内平行集与几何不等式：

   • 研究距离函数的水平集 $\Omega_t = \{x \in \Omega : d(x, \partial\Omega) > t\}$ 的测度 $\mu(t)$ 和周长 $P(t)$。
   • 利用 Brunn-Minkowski 不等式 和 Aleksandrov-Fenchel 不等式 推导 $P(t)$ 和 $\mu(t)$ 的凸性及导数性质。
   • 关键引理：在特定的水平 $t = |\Omega|/P(\Omega)$ 处，建立 $\mu(t)$ 和 $P(t)$ 与余项 $\beta(\Omega)$ 之间的定量关系（Lemma 3.1）。

4. 精细的积分估计：

   • 在证明定理时，作者没有丢弃经典论证中的某些项，而是通过精细处理这些被忽略的项，得到了包含 $\beta(\Omega)$ 的精确上下界。
   • 对于 Hersch 泛函，利用 Pólya 特征值泛函的下界结果进行推导。

3. 主要贡献与结果 (Key Contributions & Results)

A. 余项之间的关系

命题 1.1：建立了 $\beta(\Omega)$ 和 $\alpha(\Omega)$ 之间的不等式：
$$\beta(\Omega) \ge C_0(n) \alpha(\Omega)$$
这表明任何使 $\beta$ 极小化的序列必然是“变薄”的（$\alpha \to 0$）。但反之不成立，即 $\beta$ 不能仅由 $\alpha$ 控制（存在反例，如坍缩的金字塔）。

B. 针对 $\beta(\Omega)$ 的定量不等式

作者证明了三个主要定理，完全刻画了前三个泛函的极小化序列：

• 定理 1.2 (Pólya 扭转泛函)：
  $$\frac{1}{23 \cdot 3^4 n^3} \beta(\Omega)^3 \le \frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \le \frac{n+1}{3} \beta(\Omega)$$
  结论：该泛函接近下界 $1/3$ 当且仅当 $\beta(\Omega) \to 0$。下界指数为 3，上界指数为 1。

• 定理 1.3 (Pólya 特征值泛函)：
  $$\frac{\pi^2}{25 \cdot 3^4 \cdot n^3(2n-1)} \beta(\Omega)^4 \le \frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \le \frac{\pi^2}{2} \beta(\Omega)$$
  结论：该泛函接近下界 $\pi^2/4$ 当且仅当 $\beta(\Omega) \to 0$。下界指数为 4，上界指数为 1。

• 定理 1.4 (Makai 泛函)：
  $$\frac{n+1}{3n(2n-1)} \beta(\Omega) < \frac{1}{3} - \frac{T(\Omega)}{R_\Omega^2 |\Omega|} \le \frac{2}{3} \beta(\Omega)$$
  结论：该泛函的上下界指数均为 1，完全由 $\beta(\Omega)$ 线性控制。

C. 针对 $\alpha(\Omega)$ 的定量不等式

命题 1.5：证明了对于 Pólya 扭转和特征值泛函，存在常数 $C_1(n), C_2(n)$ 使得：
$$\frac{T(\Omega)P^2(\Omega)}{|\Omega|^3} - \frac{1}{3} \ge C_1(n) \alpha(\Omega)$$
$$\frac{\pi^2}{4} - \frac{\lambda(\Omega)|\Omega|^2}{P^2(\Omega)} \ge C_2(n) \alpha(\Omega)$$
意义：这改进了之前文献中关于 Pólya 扭转泛函的指数猜测（之前猜想指数为 1，之前已知结果为 $n-1$ 或 3）。作者证明了指数为 1 是最优的（sharp）。

D. Hersch 泛函的修正

推论 1.6：利用上述结果，给出了 Hersch 泛函关于 $\beta(\Omega)$ 的上界：
$$\lambda(\Omega)R_\Omega^2 - \frac{\pi^2}{4} \le \frac{\pi^2(n+1)}{4} \beta(\Omega)$$

E. 最优性证明

第 5 节：通过构造具体的几何序列（如变薄的长方体 $\Omega_a = [0,1]^{n-1} \times [0,a]$ 和坍缩的金字塔 $C_\alpha$），证明了上述不等式中 $\alpha$ 和 $\beta$ 的指数是最优的 (sharp)，并给出了反例说明某些反向不等式不成立。

4. 结果总结表 (Summary of Results)

泛函	目标 (极值)	余项 $\alpha(\Omega)$ (变薄)	余项 $\beta(\Omega)$ (几何)
Pólya 扭转	$1/3$	下界指数 1 (最优)	下界指数 3, 上界指数 1
Pólya 特征值	$\pi^2/4$	下界指数 1 (最优)	下界指数 4, 上界指数 1
Makai	$1/3$	下界指数 1 (最优)	上下界指数均为 1
Hersch	$\pi^2/4$	下界指数 2 (已知)	上界指数 1 (本文新证)

注：$\beta$ 无法作为某些泛函的下界（如 Hersch 泛函），因为存在 $\beta \to 0$ 但泛函不趋于极值的反例（如坍缩金字塔）。

5. 意义与结论 (Significance & Conclusion)

1. 无最优集情况下的定量分析：本文成功解决了在没有单一最优集（optimal set）的情况下，如何定量描述极小化序列结构的问题。通过引入 $\beta(\Omega)$，作者证明了这些序列本质上是由几何形状决定的“变薄”或“扁平”过程。
2. 指数最优性：文章不仅给出了不等式，还严格证明了这些不等式中余项的幂次（exponents）是最优的，填补了该领域定量分析的空白。
3. 统一框架：将 Pólya 和 Makai 提出的经典定性不等式推广为定量的稳定性不等式，揭示了扭转刚度和特征值在凸集上的精细行为。
4. 未来方向：作者指出，虽然 $\beta(\Omega)$ 刻画了极小化序列的存在性，但关于这些序列具体几何轮廓（profile）的更精确描述（例如是否严格趋向于圆柱体）仍是一个开放问题。

总结：这篇论文通过引入新的几何余项 $\beta(\Omega)$ 和精细的变分估计，建立了一系列关于 Pólya 和 Makai 型不等式的定量稳定性结果，精确刻画了凸集上扭转刚度和特征值泛函的极小化序列特征，是谱几何和形状优化领域的重要进展。