三维Blaschke–Lebesgue问题的谱方法与对偶视角下的改进下界

《Journal of Mathematical Analysis and Applications》：An improved lower bound for the three-dimensional Blaschke–Lebesgue problem from spectral and dual perspectives

　　

摘要翻译：
Blaschke–Lebesgue问题要求在具有给定常宽的所有凸体中寻找体积最小的凸体。在平面情形，最小化体为Reuleaux三角形，而相应的三维问题仍未解决，也称为Meissner猜想。本文建立了任意三维常宽为d的凸体体积的下界(4π/33)d³?0.380799d³。这一结果改进了Chakerian的下界，约为0.364916d³，但仍低于猜想的最小化体——Meissner四面体——的体积，其体积约为0.419860d³。证明基于支撑函数表述、球谐函数的谱估计以及Bochner公式。研究人员还表明，所得下界可解释为相关凹二次极小化问题的拉格朗日对偶界。这一对偶视角为获得更尖锐的下界提供了可能途径。

论文解读文章：

**研究背景与问题**

Blaschke–Lebesgue问题是凸几何中的经典问题，它要求在所有具有给定常宽d的凸体中寻找体积最小的凸体。在二维情形，Lebesgue和Blaschke于1914-1915年独立证明了Reuleaux三角形是唯一的最小化体。然而，三维情形至今悬而未决。1934年，Bonnesen和Fenchel提出猜想：Meissner四面体（一种具有常宽的圆滑化四面体）应是三维常宽凸体中体积最小者，该猜想被称为Meissner猜想。尽管许多解析和数值研究对此进行了探索，但尚未给出严格证明。现有的最佳下界由Chakerian于1966年给出，为(π/3)(3√6?7)d³?0.364916d³，而Meissner四面体的体积约为0.419860d³，两者之间存在明显差距。因此，改进这一下界是常宽凸体体积问题的重要研究方向。

**研究内容与结论**

本文旨在改进三维Blaschke–Lebesgue问题的下界。研究人员建立了新的下界(4π/33)d³?0.380799d³，该值优于Chakerian的旧下界，但仍低于Meissner四面体的体积。这一改进基于三个关键工具：支撑函数的新表述、球谐函数的谱估计以及黎曼几何中的Bochner公式。此外，研究人员证明了这个下界可以解释为相应凹二次极小化问题的拉格朗日对偶界，为后续改进提供了新视角。该论文发表在《Journal of Mathematical Analysis and Applications》上。

**主要技术方法**

研究人员采用了以下关键技术方法：(1) 将三维Blaschke–Lebesgue问题转化为以零均值支撑函数h为变量的凹二次极小化问题，约束条件为Hessian张量A_h满足?d/2·Id?A_h?d/2·Id；(2) 利用球谐函数展开对支撑函数进行谱分解，将体积泛函E(h)和约束张量A_h的范数表示为各阶球谐系数的加权和；(3) 应用Bochner公式将A_h的L²范数与Laplace算子及梯度联系起来；(4) 通过旋转不变性简化拉格朗日对偶问题，证明最优乘子可化为标量乘子zId，从而解析求解对偶问题。

**研究结果**

**1. 谱估计（Proposition 1）**

研究人员证明了对于任意h∈X（零均值、奇函数且与一次球谐函数正交的光滑函数），有E(h)≤(1/2√2)‖Ah‖L22成立，等号当且仅当h∈H3（三次球谐函数空间）时取得。该不等式通过对h的球谐展开逐项计算E(Y?)和‖AY?‖2，并利用最小允许奇数阶?=3对应的λ3=12推导得到。

**2. 体积下界的证明（Theorem 1）**

利用约束条件中Ah的特征值界，研究人员得到|Ah(u)|2≤2(d/2)2，从而‖Ah‖L22≤2πd2。结合谱估计和体积公式V(h)=πd3/6 ? (d/2)E(h)，得到V(h)≥(1/6 ? 1/(2√2))πd3 = 4π/(3√3)d3。利用光滑逼近引理，该下界推广到所有常宽凸体。

**3. 拉格朗日对偶解释（Section 5）**

研究人员将原问题转化为带二次约束的凹二次极小化问题，构造拉格朗日函数L(h,Z)=πd³/6 ? (d/2)E(h) + ∫tr(Z(A_h² ? d²/4·Id))dσ。通过对偶理论，下界问题化为sup_Z?0 inf_h∈X L(h,Z)。利用旋转平均技术，证明最优乘子Z可化为zId（z≥0），从而对偶问题简化为标量问题，最优z^?=d/4，最终得到相同的下界4π/(3√3)d³。这一对偶解释揭示了谱估计与对偶方法之间的内在联系。

**讨论与结论**

研究人员指出，当前下界并非尖锐。若要使下界达到最优，需要谱估计和矩阵估计同时取等号，但这会导致h恒为零，与约束矛盾，因此不可能达到Meissner四面体的体积。对偶问题中的旋转平均简化限制了乘子的灵活性，改进下界需要引入对称性破缺的约束或附加变量，可能需借助计算机辅助验证。该问题与有限维凹二次规划（如最大割问题）的结构相似，未来的moment-SOS层级方法或许能提供进一步的改进。总之，本文通过谱分析和对偶技术将三维Blaschke–Lebesgue问题的下界提升了约4.4%，为最终解决Meissner猜想提供了新的分析工具和思路。