1. 引言
Steiner对称化是由Steiner [1] 提出的概念,用于证明等周不等式。一个多世纪以来,Steiner [2] [3] [4] [5] 对称化在等周不等式和相关几何不等式问题的证明上发挥了重要作用;戴进 [6] 使用Steiner对称化研究混合体积并证明了混合体积的Minkowski不等式;类似地,我们使用Steiner对称化来研究对偶Minkowski不等式和对偶混合体积;E. Lutwak [7] [8] 提出了对偶混合体积的定义和相关的经典不等式。
本文中,我们试图通过Steiner对称化来获得对偶混合体积的不等式关系;利用该关系,经有限次数的Steiner对称化后构建单调序列,对特殊的星体证明对偶Minkowski不等式,我们用
来表示
中星体(见第2部分)的集合。
定理1 如果
,
,则
。
定理2 如果
,且K与L互为膨胀,有
。
2. 准备工作
我们记
为n维欧式空间,用
,
表示
中的单位球体和单位球面,
表示
。
中的集合C是凸的,如果对于任意两个点
,连接它们的线段
包含在C中,即:
,
;具有非空内部的紧凸集称为凸体,用
表示
中所有凸体的集合。
中集合K的点z,如果通过z的每条线与K的交是线段,称K相对于点z是星型的;相对于原点来说,与
中的紧集(星型的) K相关联的是其径向函数
,定义在
上,对于
, (1.1)
对于K的径向函数,我们用
来代替
,如果
是连续的,K称作星体。我们用
来表示
中星体的集合,显然
时,
当且仅当
。
由E. Lutwak [8] ,我们介绍一种定义在
上的向量加法,称之为径向加法。如果
,则
被定义为
的向量和,其中
都位于
中的1维子空间中,否则都为零向量。
如果
,并且
,那么径向Minkowski线性组合
被定义为
, (1.2)
我们将这种加法称之为径向Minkowski加。我们注意到,对于凸体来说,径向Minkowski乘法跟Minkowski标量乘法是一致的;虽然对于向量的径向加法是不一致的,但是对于
上的径向Minkowski加法却是相关的,对于
且
有:
,
, (1.3)
容易验证当
且
有
, (1.4)
通过使用体积的极坐标公式和(1.3)容易证明对于
,
,径向Minkowski线性组合的体积在
下是一个n阶齐次多项式,
, (1.5)
这里的和是取自所有的n元数组
,其项是不超过r的正整数。如果我们要求(1.4)中多项式的系数在其自变量下是对称的,那么它们是唯一确定的。系数
是非负的且仅取决于星体
,
称为
的对偶混合体积,这里我们可以看出对偶混合体积的定义与混合体积的定义相似,仅是定义的加法不同。
令
是
的一个单位向量,K是
中的一个凸体,相对于超平面
,K的Steiner对称化记作stK,是由K中平行于
的所有弦生成的集合,并使弦的中点落在超平面
上。
对偶混合体积有如下定义:
定义1 [7]
.
定义2 [7]
.
定义3 [7] 由定义1,
是一个映射,
,该映射有如下性质:
1)
是连续的;
2)
;
3)
;
4) 如果
,对于所有的i,
,当
时,等号成立;
5)
。
推论1 [9] 令
,凸体关于给定超平面H的Steiner对称化具有以下性质:
1) 对于
有
;
2) 对于
,
有
;
3) 对于
有
。
3. 主要定理证明
我们给出后续过程中需要使用的引理。
引理1 (高斯球逼近定理)令
,存在对于超平面(相对于原点)
的Steiner对称化
,使得
引理1的详细证明可见Gruber ( [9] , P. 172, P. 174)本文不过多阐述,引理1的思想也被应用于证明经典Brun-Minkowski不等式
详情可见 [10] 。
引理2 如果
,有
.
证明:由(1.4)式
考虑Steiner对称化后的情形,自然的有
。
引理3 如果
,K与L互为膨胀,则
,并且
。
引理3的证明需利用定理1,所以我们先证明定理1。
定理1证明:
![](//html.hanspub.org/file/7-1251972x105_hanspub.png?20230719092300009)
Figure 1. Radial addition of unit circle and star body after their respective projections on the hyperplane
图1. 单位圆与星体在超平面上各自投影后的径向加法
![](//html.hanspub.org/file/7-1251972x106_hanspub.png?20230719092300009)
Figure 2. Radial addition of ellipsoid and star body after their respective projections on the hyperplane
图2. 椭圆与星体在超平面上各自投影后的径向加法
当两个星体互为膨胀时,定理1平凡;
在图1中,我们不妨设L是单位圆,K是星体,
是方向v与
的夹角,沿着方向v有
并且
,即
。
在图2中,我们不妨设L是椭圆,K是星体,
是方向v与
的夹角,沿着方向v有
即
。
综上所述,我们有
,定理1证明完毕。
引理3证明:
当K与L是互为膨胀的星体时,不妨考虑简单的情况,两个以原点为圆心的不同半径圆,对于任意方向上的径向加法,由径向加法的定义,显然
;由于Steiner对称化本就是与
上的投影相关,由定理1,选取任意星体在
上的投影并做径向加法后,
,则
不可能成立,当K与L是互为膨胀的星体时,
成立;由推论1的(1) (2)式,任取
,有
,
又因混合体积是连续的、非负的,对偶混合体积是正的、连续的,且Steiner对称化是保单调性的 [9] ,利用推论1中的(3)式,得到以下关系:
,
令
,左右两式取极限,由引理2以及 [10] 中混合体积的相似等式,有
,引理3证明完毕。
定理2证明:
作为引理1和引理3的应用,我们证明特殊星体(互为膨胀)的对偶Minkowski不等式:
令
,K与L互为膨胀,由高斯球逼近定理,序列
,
,
,并且
,
,
,
表示第n次Steiner对称化,有
.
由引理3
。
因此我们得到一个正的并且单调递增的序列
,收敛到其上确界。
即
,证明完成。
致谢
感谢我的导师蔺友江教授对本篇论文的指导。
基金项目
国家自然科学基金(11971080);重庆市教委基金项目(KJQN202000838);重庆市自然科学基金项目(cstc2018jcyjAX0790, cstc2020jcyj-msxmX0328);重庆工商大学研究生创新型科研项目(yjscxx2022-112-72)。