查看“WikiEdge:ArXiv-0903.4284”的源代码

* '''标题'''：The Blaschke-Lebesgue problem for constant width bodies of revolution
* '''中文标题'''：对于恒定宽度的旋转体的Blaschke-Lebesgue问题
* '''发布日期'''：2009-03-25 10:00:08+00:00
* '''作者'''：Henri Anciaux, Nikos Georgiou
* '''分类'''：math.DG, 52A15
*'''原文链接'''：http://arxiv.org/abs/0903.4284v1
'''摘要'''：我们证明，在所有的常宽度旋转体中，体积与宽度立方的比值最小的是通过将Reuleaux三角形绕着对称轴旋转得到的常宽度体。

== 问题与动机 ==
作者的研究问题包括：
* 如何在[[三维欧几里得空间]]中，对所有具有[[恒定宽度]]的[[旋转体]]，找到体积与立方宽度比值最小的情况？
* [[Reuleaux三角形]]通过对称轴旋转得到的恒定宽度体是否是体积与立方宽度比值最小的恒定宽度旋转体？
* 在三维空间中，是否存在其他类型的恒定宽度体，其体积与立方宽度比值小于通过Reuleaux三角形旋转得到的恒定宽度体？
* 如何证明或反驳在三维空间中，具有最小体积与立方宽度比值的恒定宽度体不是旋转体？

== 背景介绍 ==
这篇文献的背景主要集中在以下几个方面：
# '''常宽体问题的历史与重要性'''：
#* [[常宽体]]是指在所有方向上具有相同宽度的凸体。这类几何体在[[数学]]和[[工程学]]中具有重要的应用。
#* 历史上，[[Blaschke]]和[[Lebesgue]]的工作表明，在二维空间中，[[Reuleaux三角形]]是具有最小体积比的常宽体。
#* 确定任意维度中体积比最小化的常宽体是著名的[[Blaschke-Lebesgue问题]]，这个问题在三维空间中仍然开放。
# '''三维空间中的Blaschke-Lebesgue问题'''：
#* 三维空间中的Blaschke-Lebesgue问题比二维情况更为复杂，求解难度更大。
#* 该文献旨在证明在所有旋转对称的常宽体中，通过Reuleaux三角形旋转得到的常宽体具有最小的体积比。
# '''数学方法的应用'''：
#* 该研究使用了[[变分法]]和几何论证，提供了一种新的视角来解决三维空间中的Blaschke-Lebesgue问题。
#* 通过分析支持函数和凸体的几何性质，作者能够推导出新的结论。
综上所述，这篇文献的背景强调了在三维空间中解决Blaschke-Lebesgue问题的[[数学]]挑战，以及使用新的数学工具和方法来寻找解决方案的重要性。

== 章节摘要 ==
这篇论文是关于固定宽度旋转体的[[Blaschke-Lebesgue问题]]的数学研究，主要内容包括：
# 引言
## 介绍了[[凸体]]的宽度定义和固定宽度的性质，以及固定宽度体的体积与[[球体]]体积之比I(B)的同态不变性。
## 回顾了[[Blaschke]]和[[Lebesgue]]的工作，以及[[Reuleaux三角形]]在二维空间中最小化I(B)的事实。
## 提出了Blaschke-Lebesgue问题在三维空间中的挑战，并指出了本文的主要目标。
# 主要定理
## 证明了在所有固定宽度的旋转体中，体积与立方宽度之比的最小值由Reuleaux三角形绕对称轴旋转得到的固定宽度体BReul实现。
# 预备知识：固定宽度旋转体
## 描述了固定宽度旋转体的数学表示和参数化。
## 引入了[[支持函数]]的概念，并展示了如何用它来描述固定宽度体。
## 提出了固定宽度体的数学条件，并定义了相关的函数空间E。
# Blaschke-Lebesgue问题
## 计算了固定宽度旋转体的体积，并用支持函数表示。
## 引入了加权[[Wirtinger不等式]]，并证明了其在固定宽度体中的应用。
## 通过不等式证明了体积比I(B)随宽度w的增加而增加。
# 主要定理的证明
## 通过分析支持函数的二阶条件，证明了|h'' + h|必须为常数。
## 讨论了h'' + h的不连续性，并证明了Reuleaux三角形是唯一可能的最小化I(B)的旋转体。
# 结论
## 总结了主要定理的意义，并指出了Reuleaux三角形在固定宽度体中的特殊地位。
## 提出了对Blaschke-Lebesgue问题在三维空间中的进一步研究方向。

== 研究方法 ==
这篇论文通过[[数学分析]]和[[变分法]]来解决[[Blaschke-Lebesgue问题]]。以下是该研究方法论的主要组成部分：
# '''数学建模和分析'''：
#* 定义了常宽体在n维[[欧几里得空间]]中的宽度，并探讨了常宽体的性质。
#* 引入了[[支撑函数]]的概念，用以描述具有常宽的凸体。
#* 利用支撑函数的对称性，简化了问题的数学描述。
#* 通过[[积分]]和[[微分]]计算，建立了体积与支撑函数之间的关系。
# '''变分法的应用'''：
#* 使用变分法来寻找使体积与立方宽度比最小的凸体。
#* 利用二阶最小化条件（即稳定性）来证明映射|h'' + h|必须为常数。
#* 通过分析h'' + h的不连续性来确定I(h)的值。
#* 证明了除非h'' + h的不连续性数量最少，否则总能减小比率I，从而完成了证明。
# '''几何论证'''：
#* 通过几何论证，比较了任意常宽凸体的体积与具有相同宽度的旋转[[Reuleaux三角形]]的体积。
#* 利用Reuleaux三角形的几何特性，证明了其在二维情况下的最小化性质。
#* 通过修改论证，证明了Reuleaux三角形在平面上最小化I的事实。
# '''问题的特殊化'''：
#* 将问题特殊化为三维空间中的旋转体，简化了计算。
#* 通过分析旋转对称性，将问题转化为一维问题。
#* 利用了旋转对称性来简化问题的数学处理。
这篇论文的方法论分析结果表明，旋转Reuleaux三角形在三维空间中实现了体积与立方宽度比的最小化，解决了Blaschke-Lebesgue问题。

== 研究结论 ==
根据提供的文献内容，这篇论文的主要结论可以概括如下：
# '''旋转体的等宽问题'''：在所有[[旋转体]]中，等宽体的体积与立方宽度比的最小值是由关于对称轴旋转的[[Reuleaux三角形]]得到的。
# '''最小化问题的解'''：证明了在三维[[欧几里得空间]]中，所有等宽旋转体中，体积与立方宽度比的最小值是由旋转的Reuleaux三角形得到的。
# '''Blaschke-Lebesgue问题的非旋转体解'''：推论表明，[[Blaschke-Lebesgue问题]]的解不是一个旋转体。
# '''等宽旋转体的体积计算'''：计算了等宽旋转体的体积，并以函数形式表达了体积与宽度的关系。
# '''加权Wirtinger不等式'''：证明了一个加权版本的[[Wirtinger不等式]]，表明体积与宽度比的表达式中的某项是负的。
# '''最小化条件的几何解释'''：证明了当等宽曲线的曲率半径为常数时，对应的曲线部分是半径为2w的圆弧。
# '''Reuleaux三角形的体积计算'''：计算了旋转Reuleaux三角形的体积，并得出了其体积与宽度比的具体数值。
这些结论为理解等宽旋转体的[[几何]]特性和体积最小化问题提供了重要的理论依据。

== 术语表 ==
这篇文章的术语表如下：
* [[常宽体]]（Constant width body）：在n维欧几里得空间中，如果凸体B在任意方向⃗u上的宽度（即与⃗u正交的两个支撑平面之间的距离）是常数，则称B具有常宽。
* [[支撑平面]]（Supporting plane）：与凸体表面相切的平面，且凸体完全位于该平面的一侧。
* [[凸体]]（Convex body）：在欧几里得空间中，一个集合，其中任意两点之间的线段完全包含在该集合内。
* [[旋转体]]（Body of revolution）：通过围绕某一轴旋转某个曲线生成的三维几何体。
* [[Reuleaux三角形]]（Reuleaux triangle）：通过三个圆盘在等边三角形的顶点处相交形成的常宽体。
* [[Blaschke-Lebesgue问题]]（Blaschke-Lebesgue problem）：确定在所有常宽体中，体积与宽度立方比值的最小值的问题。
* [[同态不变]]（Homothetic invariant）：如果一个几何量在所有相似变换下保持不变，则称其为同态不变的。
* [[等周比]]（Isoperimetric ratio）：一个几何体的面积与包围它的最小圆的面积之比。
* [[支撑函数]]（Support function）：定义为凸体上一点处外法线方向向量与该点处支撑平面的法向量之间的点积。
* [[曲面演化]]（Flow of the boundary）：沿着凸体的内法线向量场移动其边界，保持凸体的常宽性质。
* [[Meissner四面体]]（Meissner's tetrahedron）：一个已知的凸体，具有相对较小的体积与宽度立方比值。
* [[Reuleaux三角形旋转体]]（Rotated Reuleaux triangle）：通过围绕Reuleaux三角形的对称轴旋转得到的常宽体。
* [[C1,1函数空间]]（C1,1 function space）：具有连续一阶导数和利普希茨连续二阶导数的函数空间。
* [[体积比]]（Ratio of the volume）：常宽体的体积与其等宽球体积的比值。
* [[宽度]]（Width）：凸体在特定方向上与两个支撑平面之间的距离。
* [[单位外法向量]]（Unit outward normal vector）：凸体表面上某点处垂直于表面的单位向量。
* [[凸性]]（Convexity）：如果凸体上任意两点间的线段完全位于凸体内部，则称该凸体是凸的。
* [[最小化问题]]（Minimization problem）：寻找使给定函数达到最小值的变量值的问题。
* [[变分法]]（Calculus of variations）：研究函数空间中泛函极值的数学分支。
* [[Wirtinger不等式]]（Wirtinger inequality）：在给定函数空间内，函数平方的积分与其导数平方的积分之间存在的关系。

== 参考文献 ==
这篇文章的主要参考文献如下：
* [Ba] T. Bayen, PhD Dissertation, Optimisation de formes dans la classe des corps de largeur constante et des rotors, Universit´e Pierre et Marie Curie - Paris 6, 2007.
** 该文献为作者提供了关于常宽体和转子形状优化的深入研究，为本文提供了理论基础和方法论支持。
* [CCG] S. Campi, A. Colesanti, P. Gronchi, Minimum problems for volumes of convex bodies, in Partial differential equations and applications, Vol. 177 of Lecture Notes in Pure and Appl. Math., Dekker, New York, 1996, p. 43-55.
** 该文献探讨了凸体体积的最小化问题，为本文提供了重要的理论支持和参考。
* [CG] G.D. Chakerian and H. Groemer, Convex bodies of constant width, in Convexity and its applications (Ed. P. Gruber and J. Wills) Birkha¨user, Basel 1983, 49-96.
** 该文献详细讨论了常宽凸体的性质，为本文提供了重要的理论背景。
* [GK] B. Guilfoyle, W. Klingenberg On C2-smooth Surfaces of Constant Width, to appear in Tbilisi Math. Journal.
** 该文献研究了C2光滑常宽表面的相关性质，为本文提供了重要的理论参考。
* [Ha] E. Harrell, II. A direct proof of a theorem of Blaschke and Lebesgue, J. Geom. Anal. 12(2002), no 1, 81-88.
** 该文献提供了Blaschke和Lebesgue定理的一个直接证明，为本文提供了重要的理论支持。