[论文解读] A positive solution to the Busemann-Petty problem in R^4

Gaoyong Zhang|arXiv (Cornell University)|Mar 1, 1999

Point processes and geometric inequalities参考文献 20被引用 24

一句话总结

该论文通过使用修正后的球面Radon变换与傅里叶分析，解决了R⁴中的Busemann-Petty问题，证明了四维空间中所有中心对称凸体均为截面体，从而在四维空间中给出了该问题的正解，完成了该问题在所有维度上的分类。

ABSTRACT

H. Busemann and C. M. Petty posed the following problem in 1956: If K and L are origin-symmetric convex bodies in R^n and for each hyperplane H through the origin the volumes of their central slices satisfy vol(K cap H) < vol(L cap H), does it follow that the volumes of the bodies themselves satisfy vol(K) < vol(L)? The problem is trivially positive in R^2. However, a surprising negative answer for n <= 12 was given by Larman and Rogers in 1975. Subsequently, a series of contributions were made to reduce the dimensions to n >= 5 by a number of authors. That is, the problem has a negative answer for n >= 5. It was proved by Gardner that the problem has a positive answer for n=3. The case of n=4 was considered in [Ann. of Math. (2) 140 (1994), 331-346], but the answer given there is not correct. This paper presents the correct solution, namely, the Busemann-Petty problem has a positive solution in R^4, which, together with results of other cases, brings the Busemann-Petty problem to a conclusion.

研究动机与目标

• 纠正Zhang（1997）先前在R⁴中对Busemann-Petty问题所提出的错误负解，该解依赖于一个错误的引理。
• 确立R⁴中所有中心对称凸体均为截面体，从而确认了该维度下Busemann-Petty问题的正解。
• 解决R⁴中Busemann-Petty问题长期悬而未决的特殊情况，完成该问题在所有维度上的完整分类。
• 通过纠正球面Radon变换理论的早期误用，澄清截面体与Busemann-Petty问题之间的关系。

提出的方法

• 利用Helgason在S³上对球面Radon变换的反演公式，将凸体K的径向函数ρK的逆Radon变换表示为R⁻¹ρK = (1/16π²)R(1−∆)ρK。
• 通过柱坐标系与旋转对称性，将问题简化为涉及函数Au(z)（即K ∩(zu + u⊥)的体积）的一元分析。
• 推导出关键恒等式(R⁻¹ρK)(u) = −1/(16π²) A′′u(0)，适用于C²边界体，将截面体积的二阶导数与逆Radon变换联系起来。
• 利用若A′′(0) < 0，则ρK的逆Radon变换为正连续函数的性质，该条件由截面体积函数的严格凹性保证。
• 通过光滑且具有正曲率的C²凸体的均匀逼近，将结果从C²体推广至所有中心对称凸体。
• 依赖Koldobsky的结果（即R⁴中的立方体为截面体），揭示并纠正了早期工作（Zhang, 1997）中的错误。

实验结果

研究问题

• RQ1 鉴于该问题在n ≥ 5时不成立，而在n = 3时成立，R⁴中Busemann-Petty问题是否成立？
• RQ2 R⁴中所有中心对称凸体是否均为截面体，这是Busemann-Petty问题正解所必需的？
• RQ3 R⁴中凸体的径向函数的逆球面Radon变换是否产生一个非负测度，从而确保其为截面体？
• RQ4 能否利用现代工具（如球面上的傅里叶分析）纠正早期错误断言R⁴中的立方体不是截面体的说法？
• RQ5 中心截面体积函数的二阶导数在判断一个体是否为截面体时起什么作用？

主要发现

• R⁴中所有中心对称凸体均为截面体，因为其径向函数的逆球面Radon变换为非负测度。
• Busemann-Petty问题在R⁴中具有正解，即若K的所有中心超平面截面体积小于L的对应截面，则vol₄(K) < vol₄(L)。
• 关键恒等式(R⁻¹ρK)(u) = −1/(16π²) A′′u(0)对C²体成立，且A′′(0)的负值确保了逆变换的正性。
• 体积函数Au(z)是严格凹的，意味着A′′(0) < 0，从而保证了逆Radon变换为正。
• 通过具有正曲率的C²体的均匀逼近，该结果可推广至R⁴中所有中心对称凸体。
• 由于截面体性质，广义Busemann-Petty问题在R⁴中对所有截面维数i = 2, 3以及i = n−1 = 3均有正解。